方宏昌 吴霞 赵咪 韦娜 刘红 王安荣 于锡峥 郑建华 贾建援 闫明明 刘苏洋 蒋云 周刚 胡核算 朱森

死锁避免 借力飞行 信标 Petri网 瀑布模型 非阻塞 基本信标 混合整数规划法 虚拟仪器 自动制造系统 结构分析 快速原型法 “演化原型-瀑布”综合开发模型 轨道设计 仿真 柔性制造系统 多天体交会 严格极小信标 死锁预防 活性和公平性 死锁控制 频率响应 预防死锁 模型优化 非冗余严格极小信标 数据采集

西安电子科技大学机电工程学院 陕西西安 辽阳石化分公司芳烃厂 辽阳石化分公司热电厂 中国科学院研究生院 中国科学院空间科学与应用研究中心 辽宁石油化工大学