基于CPN的飞机驾驶操纵过程建模及工效分析

作者： 刘宇婕   孙有朝   来源： 航空计算技术 年份： 2017 文献类型 ： 期刊 关键词： Petri网   驾驶操纵   过程建模   人机工效分析  

描述： 驾驶舱人机界面的设计直接关系到飞行员在飞行任务中的操纵表现和飞行安全。分析了飞机驾驶操纵过程中的人机交互特性,基于着色Petri网构建了飞机操纵过程模型并给出了模型的公理化定义。提出了任务可达性,飞行员认知负荷和基于熵值的操纵程序复杂性评估方法,能够实现在驾驶舱设计初期对飞行员认知负荷与操纵过程的分析。结合某型飞机的起飞中断过程给出了操纵过程建模与工效分析实例,表明模型与方法的有效性。

禁止弧及库所不变Petri网航空终端区入侵检测

作者： 斯进   卢涤非   袁莹   来源： 控制工程 年份： 2018 文献类型 ： 期刊 关键词： 库所不变   Petri网   入侵检测   禁止弧  

描述： 在终端区入侵检测应用中,因其结构较为复杂,且航空器的运行数量较多,存在防御冲突危险,研究影响航空安全,对此基于禁止弧及库所不变Petri网框架构建终端入侵检测方案。首先,对终端区的航空运行结构进行分析,基于Petri网模型框架构建终端区的约束模型,并以此作为终端入侵检测基础;然后,利用所构建的终端区航空约束模型,利用禁止弧及库所不变原理,建立终端区入侵检测控制策略,并基于变迁使能对航空指令进行控制决策;最后,通过在实际案例中的实验分析表明,所提终端入侵检测方案能有效处理终端入侵检测问题,并可有效降低管制员工作负荷。

机场飞行区的航空器滑行路径规划技术

作者： 邱梦琦   来源： 中国民航大学 年份： 2018 文献类型 ： 学位论文 关键词： Petri网   机场场面建模   模拟退火算法   滑行路径规划  

描述： 机场飞行区的航空器滑行路径规划技术

通用航空维修保障资源分配方法及应用研究

作者： 徐文强   来源： 中国民用航空飞行学院 年份： 2019 文献类型 ： 学位论文 关键词： 维修保障   Petri网   遗传算法   资源分配  

描述： 通用航空维修保障资源分配方法及应用研究

南京邮政航空快递物流集散中心分拣系统建模与仿真分析

作者： 李聪   来源： 中国民航大学 年份： 2020 文献类型 ： 学位论文 关键词： Petri网   航空快递   分拣系统   Flexsim仿真  

描述： 南京邮政航空快递物流集散中心分拣系统建模与仿真分析

北京空港航空地面服务有限公司货站业务流程优化研究

作者： 蔡云   来源： 中国民航大学 年份： 2019 文献类型 ： 学位论文 关键词： ECRS分析法   Petri网   流程优化   机场货站  

描述： 北京空港航空地面服务有限公司货站业务流程优化研究

面向智能化的天津机场航空物流系统优化

作者： 周偲   来源： 中国民航大学 年份： 2020 文献类型 ： 学位论文 关键词： Petri网   智能化   航空物流系统   灰色系统理论  

描述： 面向智能化的天津机场航空物流系统优化

同向区域停放运行模式下的航空器免冲突路由规划研究

作者： 李涵   来源： 中国民用航空飞行学院 年份： 2021 文献类型 ： 学位论文 关键词： Petri网   遗传算法   同向区域停放运行模式   免冲突路由规划  

描述： 同向区域停放运行模式下的航空器免冲突路由规划研究

基于Petri网的综合航空电子系统性能分析

作者： 刘晓斌   来源： 西北工业大学 年份： 2016 文献类型 ： 学位论文 关键词： Petri网   系统性能   性能评价   综合航空电子系统   数据总线  

描述： 系统性能评价是计算机系统和计算机网络发展的重要理论基础和支撑技术。对系统进行性能评价的目的主要有三个：选择、设计和改进。通过系统的性能评价可以在众多的设计方案中，选择性能价格比较好的系统；可以为系统的设计和实施提供必要的理论基础，以实现系统的最佳

民机高升力系统状态机建模仿真及测试校准

作者： 梁森   王婧茹   姚鷁   郑保   来源： 计测技术 年份： 2020 文献类型 ： 期刊 关键词： Petri网   状态机   测试   校准   建模  

描述： 对某型民机高升力系统的系统接口和控制逻辑进行分析,利用状态机建模工具对该系统进行了建模,同时对原模型进行了修正和优化。仿真验证和系统试验结果一致。该建模方法使得系统状态流程变得简单、清晰,同时提高了测试及校准效率,为后续系统开发,特别是嵌入式机载软件的实现,提供了清晰的状态流程和测试校准过程参考。为状态机系统相关研究奠定了一定的基础。