张媛 李新明 王增印 杨健 李志德 杨凡德 师俊芳 刘争元

过程模型 路由 图形用户界面 一致性测试 可信计算组织 装备体系 安全操作系统 测试模型

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