赵岭忠 李勇坚 张敬谊 柳永坡 周伟 王一川 梅宏 王怀民 危辉 齐治昌 钱俊彦 彭小青 张申生 晏海华 毛新军 邵志清 刘雪梅 张黔 王晨 王聪 王戟 陈纯 常志明 张懋 朱福喜 孙永强 李留英 李磊 石纯一 袁华强

加标记的变迁系统 互模拟 进程等价 消息映射 同余性 ARX CAD 递归程序 计算语言学 格局 数据共享 CR性 函数变元 变迁 谓词逻辑 指称语义 SystemC 观察模型 协同工作 函数式语言 测试 事件驱动 SN性 并发对象演算 仿真器算法 变换语义 AOP UML（unifiedmodelinglanguage） 模型检验 流程管理