付新华 严隽薇 邹德鹏 夏安邦 刘敏 武昌 刘金萍 董成喜 王骏 高东飞 张乾 蔡强 刘学程 郑志海 袁大勇 黄小庆 陈煜 肖明清 罗楠 祝新成 罗卫华

FIFO栈 通信装备 Web服务 形式化验证 1553B 综合电子系统 Web服务组合 Petri网 建模 效能评估 建模与仿真 Web服务本体描述语言 过程仿真 优化 硬件实现 战场抢修 CPN Tools 服务组合