IDEF5 txheej txheem. Graphic lus

nkag

Kab lus no yog npaj rau cov neeg uas paub txog lub tswv yim xws li ontology, yam tsawg kawg ntawm theem pib. Yog tias koj tsis paub txog ontologies, feem ntau koj yuav tsis to taub lub hom phiaj ntawm ontologies thiab cov lus no tshwj xeeb. Kuv qhia koj kom paub koj tus kheej nrog qhov tshwm sim no ua ntej koj pib nyeem tsab xov xwm no (tej zaum txawm tias ib tsab xov xwm los ntawm Wikipedia yuav txaus).

Yog li Ontology yog ib qho kev piav qhia ntxaws txog tej yam kev kawm nyob rau hauv kev txiav txim siab. Xws li tus cwj pwm yuav tsum tau muab rau hauv qee yam lus qhia meej. Txhawm rau piav qhia txog ontologies, koj tuaj yeem siv tus txheej txheem IDEF5, uas muaj 2 hom lus hauv nws cov arsenal:

  • Schematic lus IDEF5. Cov lus no yog qhov pom thiab siv cov duab nraaj.
  • Cov ntawv nyeem IDEF5. Cov lus no yog sawv cev raws li cov ntawv sau.

Kab lus no yuav xav txog thawj qhov kev xaiv - lus schematic. Peb yuav tham txog cov ntawv hauv qab no.

Yam khoom

Hauv cov lus schematic, raws li twb tau hais lawm, cov duab nraaj tau siv. Yuav pib nrog, peb yuav tsum xav txog cov ntsiab lus tseem ceeb ntawm cov lus no.

Feem ntau, ontology siv ob qho tib si dav dav thiab cov khoom tshwj xeeb. Cov chaw dav dav hu ua hom. Lawv tau piav qhia raws li lub voj voog nrog daim ntawv lo (khoom npe) hauv:

IDEF5 txheej txheem. Graphic lus

Views yog ib qho kev sau ntawm ib qho piv txwv ntawm ib qho kev pom. Ntawd yog, xws li kev pom zoo li "Lub Tsheb" tuaj yeem sawv cev rau tag nrho cov tsheb ntawm tus kheej.
Raws li a cov ntawv luam hom no tuaj yeem yog cov tsheb tshwj xeeb, lossis qee yam khoom siv, lossis qee hom. Nws tag nrho yog nyob ntawm cov ntsiab lus, thaj chaw kawm thiab nws qib ntawm kev nthuav dav. Piv txwv li, rau lub khw kho tsheb, cov tsheb tshwj xeeb raws li lub cev lub cev yuav yog qhov tseem ceeb. Yuav kom tswj tau qee qhov kev txheeb cais ntawm kev muag khoom hauv lub tsheb, cov qauv tshwj xeeb, thiab lwm yam yuav yog qhov tseem ceeb.

Cov piv txwv sib cais ntawm cov kev pom tau raug xaiv zoo ib yam li cov kev xav ntawm lawv tus kheej, tsuas yog lawv tau qhia los ntawm ib qho chaw nyob hauv qab ntawm lub voj voog:

IDEF5 txheej txheem. Graphic lus

Tsis tas li ntawd, ua ib feem ntawm kev sib tham ntawm cov khoom, nws tsim nyog hais txog cov khoom xws li txheej txheem.

Yog tias cov kev xav thiab qhov tshwm sim yog cov khoom zoo li qub (tsis hloov lub sijhawm), ces cov txheej txheem yog cov khoom dynamic. Qhov no txhais tau hais tias cov khoom no muaj nyob rau hauv ib lub sij hawm nruj me ntsis.

Piv txwv li, koj tuaj yeem xaiv cov khoom xws li cov txheej txheem ntawm kev tsim lub tsheb (vim peb tab tom tham txog lawv). Nws yog intuitively tseeb hais tias cov khoom no tsuas muaj nyob rau hauv lub sij hawm tiag tiag zus tau tej cov tsheb no heev (lub sij hawm nruj me ntsis raws li lub sij hawm). Nws yuav tsum tau nco ntsoov tias qhov no txhais tau hais tias muaj cai, vim hais tias cov khoom xws li lub tsheb kuj muaj lawv tus kheej lub neej kev pab cuam, txee lub neej, muaj sia nyob, thiab lwm yam. Txawm li cas los xij, peb yuav tsis mus rau hauv lub tswv yim, thiab nyob rau hauv lub moj khaum ntawm feem ntau cov kev kawm, nws muaj peev xwm txais tau tias piv txwv, thiab txawm ntau hom, muaj nyob mus ib txhis.

Cov txheej txheem raug tso tawm ua ib daim duab plaub nrog daim ntawv lo (lub npe) ntawm cov txheej txheem:

IDEF5 txheej txheem. Graphic lus

Cov txheej txheem yog siv nyob rau hauv schemes rau kev hloov ntawm ib yam khoom mus rau lwm tus. Xav paub ntxiv txog qhov no yuav tham tom qab.

Ntxiv nrog rau cov txheej txheem, xws li cov txheej txheem siv logical operators. Txhua yam yog yooj yim txaus rau cov neeg uas paub txog cov predicates, Boolean algebra lossis programming. IDEF5 siv peb lub tswv yim yooj yim cov tswv yim:

  • logical THIAB (AND);
  • logical LOS YOG (OR);
  • tshwj xeeb LOSSIS (XOR).

Tus txheej txheem IDEF5 (http://idef.ru/documents/Idef5.pdf - feem ntau ntawm cov ntaub ntawv los ntawm qhov chaw no) txhais cov neeg sawv cev ntawm cov neeg ua haujlwm logical raws li lub voj voog me me (piv rau cov kev xav thiab cov piv txwv) nrog rau daim ntawv lo hauv daim ntawv cim . Txawm li cas los xij, hauv kev txhim kho ntawm IDEF5 graphical ib puag ncig, peb tau ncaim ntawm txoj cai no rau ntau yam. Ib qho ntawm lawv yog qhov nyuaj rau kev txheeb xyuas cov neeg ua haujlwm no. Yog li, peb siv cov ntawv sau ntawm cov neeg ua haujlwm nrog tus lej cim:

IDEF5 txheej txheem. Graphic lus

Tej zaum qhov no yog qhov kawg ntawm cov khoom.

Kev sib raug zoo

Muaj kev sib raug zoo ntawm cov khoom, uas nyob rau hauv ontology txhais tau hais tias cov cai uas txiav txim siab kev sib cuam tshuam ntawm cov khoom thiab los ntawm cov kev txiav txim tshiab tau txais.

Feem ntau, kev sib raug zoo yog txhais los ntawm hom schema siv hauv ontology. Lub tswv yim yog ib txheej ntawm ontology khoom thiab kev sib raug zoo ntawm lawv. Muaj cov hom phiaj tseem ceeb hauv qab no:

  1. kev sib xyaw ua ke.
  2. Kev faib cov txheej txheem.
  3. Cov kev hloov pauv.
  4. Daim duab ua haujlwm.
  5. Kev sib xyaw ua ke.

Tsis tas li ntawd, qee zaum muaj xws li hom schemes li existential. Ib qho schema existential yog ib phau ntawm cov khoom uas tsis muaj kev sib raug zoo. Xws li daim duab tsuas qhia tau tias muaj qee yam khoom muaj nyob rau hauv ib qho kev kawm.

Zoo, tam sim no nyob rau hauv kev txiav txim txog txhua yam ntawm cov schemes.

Cov txheej txheem sib xyaw

Hom kab kos no yog siv los sawv cev ntawm cov khoom, qhov system, qauv, thiab lwm yam. Ib qho piv txwv yog lub tsheb qhov chaw. Nyob rau hauv qhov loj tshaj plaws muaj pes tsawg leeg, lub tsheb muaj ib lub cev thiab kis tau tus mob. Nyob rau hauv lem, lub cev yog muab faib ua ib tug ncej, qhov rooj thiab lwm yam. Qhov kev puas tsuaj no tuaj yeem txuas ntxiv mus ntxiv - nws tag nrho nyob ntawm qhov xav tau ntawm cov ntsiab lus hauv qhov teeb meem tshwj xeeb no. Ib qho piv txwv ntawm xws li scheme:
IDEF5 txheej txheem. Graphic lus
Cov kev sib raug zoo sib xws tau tshwm sim raws li ib tug xub nrog lub ntsis ntawm qhov kawg (tsis zoo li, piv txwv li, kev sib faib kev sib raug zoo, qhov twg lub ntsis yog nyob rau hauv qhov pib ntawm xub, ntxiv rau tom qab ntawd). Cov kev sib raug zoo no tuaj yeem kos npe nrog daim ntawv lo raws li hauv daim duab (ib feem).

Kev faib cov txheej txheem

Cov txheej txheem kev faib tawm yog npaj los qhia cov ntsiab lus ntawm hom, lawv cov subspecies, thiab hom piv txwv. Piv txwv li, tsheb tuaj yeem yog tsheb thiab tsheb thauj khoom. Ntawd yog, "Lub Tsheb" saib muaj ob hom subspecies. VAZ-2110 yog ib qho piv txwv ntawm cov subspecies "Tsev", thiab GAZ-3307 yog ib qho piv txwv ntawm subspecies "Tsheb":

IDEF5 txheej txheem. Graphic lus

Kev sib raug zoo nyob rau hauv kev faib tawm tswv yim (subspecies los yog ib qho piv txwv) muaj daim ntawv ntawm ib tug xub nrog ib tug ntsis nyob rau hauv thaum pib thiab, raws li nyob rau hauv cov ntaub ntawv ntawm muaj pes tsawg leeg schemes, muaj peev xwm muaj ib daim ntawv lo nrog lub npe ntawm kev sib raug zoo.

Cov kev hloov pauv

Schemes ntawm hom no yog qhov tsim nyog los tso saib cov txheej txheem ntawm kev hloov pauv ntawm cov khoom ntawm ib lub xeev mus rau lwm qhov raws li kev cuam tshuam ntawm qee cov txheej txheem. Piv txwv li, tom qab cov txheej txheem ntawm painting nrog xim liab, ib lub tsheb dub ua liab:

IDEF5 txheej txheem. Graphic lus

Qhov kev hloov pauv yog qhia los ntawm ib tug xub nrog lub ntsis ntawm qhov kawg thiab ib lub voj voog nyob hauv nruab nrab. Raws li koj tuaj yeem pom los ntawm daim duab, cov txheej txheem xa mus rau kev sib raug zoo, tsis yog khoom.

Ntxiv rau qhov kev hloov pauv zoo tib yam uas pom hauv daim duab, muaj kev hloov pauv nruj heev. Nws yog siv rau hauv cov xwm txheej uas qhov kev hloov pauv hauv ib qho xwm txheej tsis pom tseeb, tab sis nws yog ib qho tseem ceeb rau peb kom hais txog nws. Piv txwv li, mounting lub rear-saib daim iav ntawm lub tsheb tsis yog ib qho tseem ceeb ua hauj lwm yog hais tias peb xav txog cov txheej txheem ntawm assembling lub tsheb thoob ntiaj teb. Txawm li cas los xij, qee zaum nws yog qhov tsim nyog los xaiv txoj haujlwm no:

IDEF5 txheej txheem. Graphic lus

Ib qho kev hloov pauv nruj yog qhia zoo ib yam li kev hloov pauv ib txwm, tshwj tsis yog rau ob lub ntsiab lus kawg.

Kev hloov pauv tsis tu ncua thiab nruj kuj tuaj yeem raug cim ua tam sim. Ua li no, ib daim duab peb sab ntxiv rau lub voj voog nruab nrab. Kev hloov pauv tam sim no yog siv rau hauv cov xwm txheej uas lub sijhawm hloov pauv luv luv uas nws tsis tseem ceeb hauv qhov kev kawm raws li kev txiav txim siab (tsawg dua qhov tsawg kawg nkaus lub sijhawm tseem ceeb).
Piv txwv li, txawm tias me ntsis kev puas tsuaj rau lub tsheb, nws tuaj yeem suav tias yog kev puas tsuaj thiab nws cov nqi poob qis heev. Txawm li cas los xij, feem ntau kev puas tsuaj tshwm sim tam sim ntawd, tsis zoo li kev laus thiab hnav:

IDEF5 txheej txheem. Graphic lus

Cov piv txwv qhia tau hais tias muaj kev hloov pauv nruj, tab sis koj tuaj yeem siv qhov kev hloov pauv ib txwm ua ib qho kev hloov tam sim.

Daim duab ua haujlwm

Cov tswv yim zoo li no yog siv los qhia cov qauv ntawm kev sib cuam tshuam ntawm cov khoom. Piv txwv li, tus kws kho tsheb ua haujlwm kho tsheb, thiab tus neeg saib xyuas tsheb yuav thov kev kho thiab xa mus rau tus kws kho tsheb:

IDEF5 txheej txheem. Graphic lus

Kev sib raug zoo ntawm kev sib raug zoo yog piav qhia raws li txoj kab ncaj nraim tsis muaj qhov taw qhia, tab sis qee zaum nrog daim ntawv lo, uas yog lub npe ntawm kev sib raug zoo.

Kev sib xyaw ua ke

Combined schemes yog ib qho kev sib txuas ntawm cov txheej txheem yav dhau los. Feem ntau ntawm cov schemas hauv IDEF5 txheej txheem yog ua ke, txij li ontologies uas siv tsuas yog ib hom schema yog tsawg.

Tag nrho cov circuits feem ntau siv cov tswv yim logic. Los ntawm kev siv lawv, koj tuaj yeem siv kev sib raug zoo ntawm peb, plaub lossis ntau dua khoom. Tus neeg teb xov tooj muaj peev xwm tuaj yeem nthuav qhia qee qhov chaw dav dav ntawm qhov txheej txheem uas tau ua los yog koom nrog lwm txoj kev sib raug zoo. Piv txwv li, koj tuaj yeem muab cov piv txwv yav dhau los ua ib qho raws li hauv qab no:

IDEF5 txheej txheem. Graphic lus

Nyob rau hauv ib rooj plaub tshwj xeeb, kev sib xyaw ua ke siv cov tswv yim sib xyaw (daim iav + lub tsheb tsis muaj daim iav = lub tsheb nrog daim iav) thiab txoj kev hloov pauv (lub tsheb nrog daim iav dhau los ua lub tsheb liab nyob rau hauv lub zog ntawm cov txheej txheem xim liab). Tsis tas li ntawd, lub tsheb nrog daim iav tsis qhia meej meej - hloov, tus neeg teb xov tooj AND yog qhia.

xaus

Hauv tsab xov xwm no, kuv sim piav qhia txog cov khoom tseem ceeb thiab kev sib raug zoo hauv IDEF5 txheej txheem. Ua piv txwv, kuv tau siv cov ncauj lus hais txog tsheb, txij li nws tau ua kom yooj yim dua los tsim cov duab kos ntawm lawv qhov piv txwv. Txawm li cas los xij, IDEF5 schemas tuaj yeem siv rau hauv lwm qhov chaw ntawm kev txawj ntse.

Ontologies thiab kev tshawb xyuas kev paub txog kev sau npe yog ib lub ntsiab lus dav dav thiab siv sijhawm. Txawm li cas los xij, nyob rau hauv lub moj khaum ntawm IDEF5, txhua yam hloov pauv tsis yooj yim, yam tsawg kawg cov ntsiab lus ntawm cov ncauj lus no tau kawm yooj yim heev. Lub hom phiaj ntawm kuv tsab xov xwm yog kom nyiam cov neeg tuaj saib tshiab rau qhov teeb meem ntawm kev tshawb xyuas kev paub, txawm hais tias tus nqi ntawm xws li cov cuab yeej IDEF5 tseem ceeb ua hom lus.

Qhov teeb meem ntawm cov lus nraaj yog tias nws tsis tuaj yeem siv los tsim qee qhov kev sib raug zoo (axioms) ntawm ontology kom meej txaus. Txhawm rau ua qhov no, muaj cov ntawv nyeem IDEF5. Txawm li cas los xij, nyob rau theem pib, cov lus graphical tuaj yeem muaj txiaj ntsig zoo rau kev tsim cov txheej txheem pib ontology thiab txiav txim siab cov vector rau kev tsim cov ncauj lus kom ntxaws ntxiv hauv IDEF5 cov lus ntawv lossis lwm yam cuab yeej.

Kuv vam tias tsab xov xwm no yuav muaj txiaj ntsig zoo rau cov neeg pib tshiab hauv daim teb no, tej zaum txawm rau cov neeg uas tau cuam tshuam nrog qhov teeb meem ntawm ontological tsom xam rau lub sijhawm ntev. Tag nrho cov ntaub ntawv tseem ceeb ntawm tsab xov xwm no tau raug txhais thiab nkag siab los ntawm tus qauv IDEF5, uas kuv tau xa mus rau yav dhau los (luam tawm). Kuv kuj tau txais kev tshoov siab los ntawm ib phau ntawv zoo los ntawm cov kws sau los ntawm KNOW INTUIT (txuas rau lawv phau ntawv).

Tau qhov twg los: www.hab.com

Ntxiv ib saib