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

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

描述： 测试及校准效率,为后续系统开发,特别是嵌入式机载软件的实现,提供了清晰的状态流程和测试校准过程参考。为状态机系统相关研究奠定了一定的基础。

基于状态机的民航飞行电报数据并发处理模型

作者： 何月娇   来源： 计算机应用与软件 年份： 2018 文献类型 ： 期刊 关键词： 并发解析   状态机   民航电报  

描述： 。针对上述问题,分析了民航飞行电报数据特征和逻辑关系,提出一种基于有限状态机的民航飞行电报数据并发处理模型,并给出相关处理的算法。采用实际民航飞行电报进行测试,实验结果表明,该方法可以提高数据处理的准确率和效率。

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

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

描述： ,飞行员认知负荷和基于熵值的操纵程序复杂性评估方法,能够实现在驾驶舱设计初期对飞行员认知负荷与操纵过程的分析。结合某型飞机的起飞中断过程给出了操纵过程建模与工效分析实例,表明模型与方法的有效性。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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