|
|||||
|
|
| 信息流模型中推理矩阵的建立 | |
| 引用本文： | 徐仁飞,冷颖,吴进华. 信息流模型中推理矩阵的建立[J]. 海军航空工程学院学报, 2001, 16(3): 328-329 |
| 作者姓名： | 徐仁飞 冷颖 吴进华 |
| 作者单位： | 1. 华中科技大学计算机学院,湖北,武汉,430000 2. 海军驻232厂代表室,北京,100083 3. 海军航空工程学院自动控制系,山东,烟台,264001 |
| 摘 要： | 信息流模型方法是系统测试性分析中的基本模型分析方法,得到了广泛的应用.文中介绍了信息流模型的基本建模过程. |
| 关 键 词： | 信息流模型 传递闭包 逻辑闭包 增量闭包 推理矩阵 |
| 修稿时间： | 2001-04-08 |
BUILDING OF INFERENCE MATRIX IN INFORMATION FLOW MODEL |
|
| XU Ren-fei,LENG Ying,WU Jin-hua. BUILDING OF INFERENCE MATRIX IN INFORMATION FLOW MODEL[J]. Journal of Naval Aeronautical Engineering Institute, 2001, 16(3): 328-329 | |
| Authors: | XU Ren-fei LENG Ying WU Jin-hua |
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |