面向并行工程的知识库校验模型与方法研究

200433:100026788(2004)03200792081,22,1,2(1.,200030;2.,271019):LPetri,(:)L:;;;;Petri;:TP393:AKnowledgeVerificationModelandMethodfortheKnowledgeBaseofConcurrentEngineeringDUANHua1,2,ZENGQing2tian2,HEGuo2ping1,2(1.DepartmentofMathematics,ShanghaiJiaotongUniversity,Shanghai200030,China;2.DepartmentofComputerSci2ence,ShandongUniversityofScienceofTechnology,Tai’an271019,China)Abstract:Knowledgemanagementisimportanttothewholeconcurrentengineering.Wehaveare2searchonthedomainknowledgeanalysisandverification,whichisthegroundedpartoftheknowledgemanagementintheconcurrentengineering.Weintroducedahigh2levelPetrinetmodelformodelingandverificationdomainknowledge,whichcandetecttheabnormities,suchasredundancy,conflictoftheknowledgebaseeffectually.Keywords:concurrentengineering;knowledgemanagement;domainknowledge;verificationmodel;Petrinet;high2levelnetsystem:2003204206:(60274063;10171055);(02BS069):(1976-),,,,:,;(1976-),,,,:Petri;(1959-),,,,,:1(concurrentengineering)[1](time2to2market),L,,,(:),,,L[1]:,,,L(:)L,,,L[1]:1);2);3);4);5);6)L,L©1995-2005TsinghuaTongfangOpticalDiscCo.,Ltd.Allrightsreserved.22.11,3[2],1L1):,,:L,L,,LL2):,[3-5]L,;,;,,L3):LAgent,L2.2,,[6,7]L,,L,,,90%L,,L,,,,,,L2,:1):;2):;3):,;4):,(:),L,3,L4L,L,,0820043©1995-2005TsinghuaTongfangOpticalDiscCo.,Ltd.Allrightsreserved.,,L,,,,LL,,[8,9]L,LLPetri,(:)L,L3HLNSPetri[10,11]C.A.Petri1962L,Petri[11-15]L,Petri,(HLNS:HighLevelNetSystem)L3.1,HLNS,Petri[10,11]L1[11]N=(P,T;F)Petri,:1)PT=;2)PT;3)FA(PT)(TP);4)Domain(F)Codomain(F)=PT;PTPetri;FPetriL2[9](HLNS)HLNS=(P,T;F,C,I-,I+,M0),:1)N=(P,T;F)Petri;2)C:PT2D,DZHLNS,(token),PpP,C(p)p;PtT,t,C(t)t;3)I-I+Petri,,PT;4)M0HLNSLHLNSM,M(p,c)MpcL3[9]HLNS=(P,T;F,C,I-,I+,M0),PxPT,1)õx={yû(y,x)PTTP}x;2)xõ={yû(x,y)PTTP}xZ4[9]HLNS=(P,T;F,C,I-,I+,M0),PtTMPpõt:M(p)EI-(p,t)C(p)AC(t),tM(firing)L5[9]HLNS=(P,T;F,C,I-,I+,M0),tM,tM,:MtM,MMLMtM,õtpI-(p,t),tõpI+(t,p),:M(p)=M(p)-I-(p,t)põt-tõM(p)+I+(p,t)ptõ-õtM(p)-I-(p,t)+I+(p,t)põttõM(p)p|tõõt183©1995-2005TsinghuaTongfangOpticalDiscCo.,Ltd.Allrightsreserved.+-,[10]L3.2HLNSHLNS,:1)HLNS;2)HLNS;3)HLNS;4)HLNS;5)HLNSL(:),HLNSL:1),L,HLNSt,õtpptLHLNS=(P,T;F,C,I-,I+,M0):FF{(t,p)ûPtT,põt},tLHLNS,,L,L2):rtõtpr,t,t,rLM0(pr)=1L3),D={b,w},b,w(black)(white)L,PpP,p(õ),(ü)L,HLNSF:F=FbFw,,p(p,t)Fw(t,p)Fw(ü),p(p,t)Fb(t,p)Fb()L(t,p)Fw,t,p;(t,p)Fb,t,pL1r:abcd,(1),(2)(3),HLNS3,prrL2rHLNS3,,HLNS:1)HLNSabaw,HLNS=(P,T;F,C,I-,I+,M0)M:2820043©1995-2005TsinghuaTongfangOpticalDiscCo.,Ltd.Allrightsreserved.I-(p,t)=ab(t,p)Fbaw(t,p)FwI+(p,t)=ab(t,p)Fbaw(t,p)Fwt,õt,tõ,L2)HLNSHLNS,LR={r1,r2,,rk},ri(1FiFk)l,m,nq,:ri:c+i1c+i2+cilc-i1c-i2c-imd+i1d+i2d+ind-i1d-i2d-iqri(1FiFk)HLNSti,ti:õti={pri,c+i1,c+i2,,c+il,c-i1,c-i2,,c-im}priti;tiõ={d+i1,d+i2,,d+in,d-i1,d-i2,,d-iq,c+i1,c+i2,,c+il,c-i1,c-i2,,c-im}R={r1,r2,,rk}HLNSPTF=FbFw:P=ki=1(õtitiõ);T={t1,t2,,tk}Fb=ki=1{(c+ij,ti),(ti,c+ij)û1FjFl}ki=1{(ti,d+ij)û1FjFn}ki=1{(pri,ti)}Fw=ki=1{(c-ij,ti),(ti,c-ij)û1FjFm}ki=1{(ti,d-ij)û1FjFq}3)3HLNSHLNS,,;,HLNStpt,HLNS,L3HLNSL4HLNS4.1[8,9]LL4.1Rr,con(r),res(r)Z1)r1,r2R:con(r1)=con(r2)res(r1)Ares(r2),r1r2L2)r1,r2Rcon(r1)=con(r2)vAres(r1)Ares(r2)r1r2L3)r1,r2Rres(r1)=res(r2)cod(r1)Acod(r2),r2r1L4)riR(i=1,,n)r1]r2]ri]r1,r1,r2,,rnL5),rres(r),rL,L6)rres(r),L4.1,L383©1995-2005TsinghuaTongfangOpticalDiscCo.,Ltd.Allrightsreserved.L,LL4.2HLNS:RHLNS,R,HLNS,,HLNS()L:1)3.2RHLNS;HLNS:Pc;Pd;PcPdPm;2)HLNS,PpPc,p,p,p,pLPcL3)HLNS,L3.2HLNS,,HLNSL4)HLNS,1RL1HLNS,PS(x)x(),x;TS(x)x(),xL,HLNS,[9]L1HLNS(4.1(1))p1,tiõptjõp(ij)PS(ti)=PS(tj),R,TS(ti)TS(tj)L(4.1(2))p1,tiõptjõp(ij)PS(ti)PS(tj),R,TS(ti)TS(tj)L(4.1(3))p1,tiõptjõp(ij)PS(ti)PS(tj)PS(ti)PS(tj),R,TS(ti)TS(tj)L(4.1(4))p1,tiõp(i=1,2,),pPS(ti),R,TS(ti)L(4.1(5))PpPd,HLNSp,p,RL(4.1(6))Pp|Pd,pPdpp,pRL52R={riû1FiF11}:r1:abi;r2:abcef;r3:cdgh;r4:eij;r5:fjk;r6:fgl;r7:hm;r8:hm;r9:opps;r10:suv;r11:upo,RHLNS,HLNSRL4820043©1995-2005TsinghuaTongfangOpticalDiscCo.,Ltd.Allrightsreserved.1)3.2HLNS,RHLNS4,õ,;ü,L4RHLNS2)HLNSLHLNS,LHLNS5L5HLNS3)HLNSRL4.2,:i1,HLNSõi={t1,t4},PS(t1)={a,b},TS(t1)={t1},PS(t4)={a,b,c,e},TS(t4)={t1,t2,t4}:PS(t1)PS(t4)PS(t1)PS(t4)={a,b},PS(t1)PS(t4);TS(t1)TS(t4)={t1,t2,t4}r1,r2,r4Lj1,HLNSõj={t4,t5},PS(t4)={a,b,c,e},TS(t4)={t1,t2,t4},PS(t5)={c,f},TS(t5)={t2,t5},:PS(t5)PS(t4)={c},PS(t5)PS(t4);TS(t5)TS(t4)={t1,t2,t4,t5}r1,r2,r4,r5Lm1,HLNSõm={t7,t8},PS(t7)=PS(t8)={c,d,h},TS(t7)=TS(t8)={t3,t7,t8}TS(t7)TS(t8)={t3,t7,t8}r3,r7,r8Lo,p1,õo=õp={t9,t10,t11},o,PS(t9)=PS(t10)=PS(t11)={o,s,u}o{o,s,u};p,PS(t9)=PS(t10)=PS(t11)={p,s,u},p{p,s,u};{t9,t10,t11}r9,r10,r11LL6Petri,583©1995-2005TsinghuaTongfangOpticalDiscCo.,Ltd.Allrightsreserved.(:)L,Petri,3Petri:1):Petri;2):Petri,[16];3):Petri[17]LPetri,:1)3Petri:[16,17],Petri,Petri,L2)Petri:Petri3,1)L3):,PetriPetri,,L:[1],.[J].,2002,6:34-42.[2]AbeckerA,BemardiA,HinkelmannK,eta1.Towardatechnologyfororganizationalmemories[A].ProceedingsofIEEEIntelligentSystems[C],MayöJun,1998.[3]DeborahL.McGuinness,RichardFikes,JamesRice,SteveWilder.Anenvironmentformergingandtestinglargeontologies[A].ProceedingsoftheSeventhInternationalConferenceonPrinciplesofKnowledgeRepresentationandReasoning(KR2000)[