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

被引:8
作者
段华
曾庆田
贺国平
机构
[1] 上海交通大学应用数学系
[2] 山东科技大学计算机系
关键词
并行工程; 知识管理; 领域知识; 验证; Petri网; 高级网系统;
D O I
暂无
中图分类号
TP391.7 [机器辅助技术];
学科分类号
摘要
主要研究并行工程知识管理中底层领域知识的分析和验证问题 .将 Petri网技术应用于领域知识库的建模和分析 ,基于高级网系统给出了知识库各种异常现象 (包括 :规则冗余、规则冲突、循环规则等 )检测的建模技术和验证方法 .
引用
收藏
页码:79 / 86
页数:8
相关论文
共 7 条
[1]   无界Petri网的进程表达式 [J].
曾庆田 ;
吴哲辉 .
计算机学报, 2003, (12) :1629-1636
[2]   Petri网的进程网系统 [J].
曾庆田 ;
吴哲辉 .
计算机学报, 2002, (12) :1308-1315
[3]   面向并行工程的知识管理研究 [J].
熊光楞 ;
王昕 .
高技术通讯, 2002, (06) :38-42
[4]   基于库所指标的Petri网分解方法 [J].
曾庆田 ;
吴哲辉 .
计算机科学, 2002, (04) :15-17+23
[5]   一种基于同步合成Petri网的FMS建模方法 [J].
王化冰 .
系统工程理论与实践, 2001, (02) :35-42
[6]  
世纪之交的知识工程与知识科学.[M].陈汝钤主编;.清华大学出版社.2001,
[7]  
Petri网原理.[M].袁崇义著;.电子工业出版社.1998,