信念系统—一个演绎模型及其在计算机上的实现
-
1管惠维,何世达,程亮.信念系统模型研究及与专家系统的异同[J].计算机工程,1991,6(3):6-12. 被引量：2
-
2李建平,史济民.软件开发方法模型及其性能评价[J].计算机应用研究,1991,8(1):6-7.
-
3王精明,江怡顺.基于Petri网的非演绎安全模型的分析与验证[J].滁州学院学报,2012,14(2):21-23.
-
4姜小将,王红辉.企业软件开发方法模型剖析[J].河南科技,2000,19(6):23-24.
-
5刘清.基于Rough集理论的模态逻辑与Rough逻辑[J].南昌大学学报（理科版）,1998,22(4):333-339. 被引量：3
-
6管惠维,何世达,程亮.基于目标的联想规划方法[J].计算机应用,1992,12(1):1-4.
-
7徐明迪,张焕国,赵恒,李峻林,严飞.可信计算平台信任链安全性分析[J].计算机学报,2010,33(7):1165-1176. 被引量：18
-
8管惠维,何世达,程亮.信念系统中对抗规则及其策略的构造和实现[J].计算机工程,1992,18(6):21-25.
-
9王精明,虞慧群.基于安全进程代数的非演绎安全模型的分析与验证[J].计算机科学,2012,39(2):56-58. 被引量：1
-
10张云华,何世达.模拟抽象思维行为的形式系统[J].上海工业大学学报,1993,14(5):382-388.
;
