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

？主要研究并行工程知识管理中底层领域知识的分析和验证问题.将petri网技术应用于领域知识库的建模和分析,基于高级网系统给出了知识库各种异常现象(包括:规则冗余、规则冲突、循环规则等)检测的建模技术和验证方法.