秦俊奇 谢川 马吉胜 倪世宏 凌伟 曹立军 龚振和 谢立 孙钟秀 郑宇华 王彦鸿 王兴贵

逻辑程序 “或”并行 专家系统 “与”并行 证据理论 布尔矩阵 多Agent 飞行数据 多处理机系统 并行产生式系统 故障诊断 矩阵表示 路径数 PROLOG 子句集