朱山风 王焕宝 张孝红 张佑生 刘文宝 李谢华 张超 邓超 梁先忠 吴家皋 王亚弟 邓敏 熊选东 眭鸿飞 张妍 赵恒 陈宰萌 方兴 李信满 李晓微 陈松乔 冯学智 杨鹏 刘积仁 孙莉 孙铁利 姜东胜 蒋韬 王振宇 赵宇

Petri网 谓词逻辑 包装器 规划系统 图元 语义 表格化 规划问题 基本消息元素 改进认证测试方法 双向身份认证 规格说明 Z记号系统 EAP-AKA 通信协议 交互 化学抽象机 面向对象 网络服务体系结构 下一代网络 软件体系结构 地理信息系统 拓扑关系 事件图 信息提取 超媒体 形式化方法 信息安全 软件连接件 歧义