张媛 李新明 王增印 杨健 李志德 杨凡德 师俊芳 刘争元 樊天晴 闫舒 安宜贵

过程模型 路由 图形用户界面 一致性测试 可信计算组织 装备体系 安全操作系统 测试模型 工作流 多智能代理 可信平台模块 临近空间装备 Petri网 Web信息检索 临近空间 有限状态机 用户兴趣 测试脚本 自动测试

装备指挥技术学院重点实验室 西北工业大学计算机科学与工程系 装备指挥技术学院装备指挥系 装备指挥技术学院航天装备系