计算机集成制造系统
計算機集成製造繫統
계산궤집성제조계통
COMPUTER INTEGRATED MANUFACTURING SYSTEMS
2005年
11期
1520-1525
,共6页
虚拟企业%模型化%检验规则%一致性
虛擬企業%模型化%檢驗規則%一緻性
허의기업%모형화%검험규칙%일치성
针对人工方法检查虚拟企业模型一致性耗时长、正确性和完整性难以保障的问题,提出了一种虚拟企业模型一致性检查算法.首先给出了虚拟企业模型的形式化描述,进而提出基于资源导航的虚拟企业模型,说明了其各个视图之间的关联.在虚拟企业模型一致性分类的基础上,提出了虚拟企业模型一致性检查的检验规则及其修正策略,从而提出一种基于检验规则的虚拟企业模型一致性检查算法,分析了算法的时间复杂性.最后,利用一个系统验证了算法的可行性.
針對人工方法檢查虛擬企業模型一緻性耗時長、正確性和完整性難以保障的問題,提齣瞭一種虛擬企業模型一緻性檢查算法.首先給齣瞭虛擬企業模型的形式化描述,進而提齣基于資源導航的虛擬企業模型,說明瞭其各箇視圖之間的關聯.在虛擬企業模型一緻性分類的基礎上,提齣瞭虛擬企業模型一緻性檢查的檢驗規則及其脩正策略,從而提齣一種基于檢驗規則的虛擬企業模型一緻性檢查算法,分析瞭算法的時間複雜性.最後,利用一箇繫統驗證瞭算法的可行性.
침대인공방법검사허의기업모형일치성모시장、정학성화완정성난이보장적문제,제출료일충허의기업모형일치성검사산법.수선급출료허의기업모형적형식화묘술,진이제출기우자원도항적허의기업모형,설명료기각개시도지간적관련.재허의기업모형일치성분류적기출상,제출료허의기업모형일치성검사적검험규칙급기수정책략,종이제출일충기우검험규칙적허의기업모형일치성검사산법,분석료산법적시간복잡성.최후,이용일개계통험증료산법적가행성.