李祥 邵惠鹤 鄢沛 任德祥 宫世豪 黄晓橹 刘莹 王明哲 刘敏 宁滨 文静华 宋安华 王彤彤 黄洪钟 严隽薇 古莹奎 孙玫 徐立云 祖旭 朱志良 刘琼波 罗楠 尤晋元 刘巍 李霄峰 王航 黎波涛 吴东勇 黄小庆 王自全

CPNTools 安全系统 形式定义 JavaBean技术 有限自动机 Web服务 仿真 物流 实时调度 COM DesignCPN 建模 形式化分析 并发系统 标记迁移系统 停-等协议 移动自动闭塞 入侵检测系统 状态方程 知识元 密码协议 组件 可替换性判定 形式化验证 JavaBean 模型 网络安全 接口 等价类 CBTC