| 面向并行工程的知识库校验模型与方法研究 |
| |
| 引用本文： | 段华,曾庆田,贺国平.面向并行工程的知识库校验模型与方法研究[J].系统工程理论与实践,2004,24(3):79-86. |
| |
| 作者姓名： | 段华 曾庆田 贺国平 |
| |
| 作者单位： | (1)山东科技大学计算机系; (2)上海交通大学应用数学系 |
| |
| 基金项目： | 国家自然科学基金 (60 2 740 63，1 0 1 71 0 5 5 )，山东省中青年科学家科研奖励基金 (0 2 BS0 69) |
| |
| 摘 要： | 主要研究并行工程知识管理中底层领域知识的分析和验证问题 .将 Petri网技术应用于领域知识库的建模和分析 ,基于高级网系统给出了知识库各种异常现象 (包括 :规则冗余、规则冲突、循环规则等 )检测的建模技术和验证方法 .
|
| 关 键 词： | 并行工程 知识管理 领域知识 验证 Petri网 高级网系统 |
| 文章编号： | 1000-6788(2004)03-0079-08 |
| 修稿时间： | 2003年4月6日 |
Knowledge Verification Model and Method for the Knowledge Base of Concurrent Engineering |
| |
| DUAN Hua\ \{,\},ZENG Qing-tian\ ,HE Guo-ping\ \{,\}.Knowledge Verification Model and Method for the Knowledge Base of Concurrent Engineering[J].Systems Engineering —Theory & Practice,2004,24(3):79-86. |
| |
| Authors: | DUAN Hua\ \{ \} ZENG Qing-tian\ HE Guo-ping\ \{ \} |
| |
| Institution: | (1)Department of Mathematics, Shanghai Jiaotong University;(2)Department of Computer Science, Shandong University of Science of Technology |
| |
| Abstract: | 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. |
| |
| Keywords: | concurrent engineering knowledge management domain knowledge verification model Petri net high-level net system |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《系统工程理论与实践》浏览原始摘要信息 |
| 点击此处可从《系统工程理论与实践》下载免费的PDF全文 |
