%0 Journal Article
%T Knowledge Verification Model and Method for the Knowledge Base of Concurrent Engineering<br>面向并行工程的知识库校验模型与方法研究
%A DUAN Hua
%A {
%A }
%A ZENG Qing-tian
%A HE Guo-ping
%A {
%A }
%A <br>段华
%A 曾庆田
%A 贺国平
%J 系统工程理论与实践
%D 2004
%I 
%X Knowledge management is important to the whole concurrent engineering. We have a research on the domain knowledge analysis and verification,which is the grounded part of the knowledge management in the concurrent engineering. We introduced a high-level Petri net model for modeling and verification domain knowledge,which can detect the abnormities,such as redundancy,conflict of the knowledge base effectually.
%K concurrent engineering
%K knowledge management
%K domain knowledge
%K verification model
%K Petri net
%K high-level net system<br>并行工程
%K 知识管理
%K 领域知识
%K 验证
%K Petri网
%K 高级网系统
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=01BA20E8BA813E1908F3698710BBFEFEE816345F465FEBA5&cid=962324E222C1AC1D&jid=1D057D9E7CAD6BEE9FA97306E08E48D3&aid=2DF29A67FCB070C9&yid=D0E58B75BFD8E51C&vid=B91E8C6D6FE990DB&iid=38B194292C032A66&sid=9C65ADEB5990B252&eid=7AA74D31F1FF2DCE&journal_id=1000-6788&journal_name=系统工程理论与实践&referenced_num=6&reference_num=17