闻英友 王国俊 夏幼明 李晶 刘健勤 朱福喜 谭扬林 夏幼安 傅建明 李俊山 施伯乐 魏敏洁 谢冬青 曾文飞 马学强 徐天伟 陈计 陈书义 韩光鹏 王永丽 周湘南 刘其兴 潘久辉 张春霞 丁志军 潘美芹 赵宏 蔡自兴 秦晓燕 颜玲

进化计算 有限解释 合成规则 准真度 面向对象 时序逻辑 分配律 图灵机多项式安全 推理规则 直接和 全称量词 数据管理 存在量词 命题 人工生命 数据库 相对真度 关系代数 死锁 并行计算 命题逻辑 遗传编程 自动化 可信计算 安全引导 推论规则 移动可信模块 可信计算模块 线性组合 Maple软件ⅤRelease51