陆志伟
- 作品数：4 被引量：5H指数：1
- 供职机构：南京航空航天大学民航学院更多>>
- 相关领域：航空宇航科学技术自动化与计算机技术更多>>
- Petri网在制造系统和工作流建模中的应用
- 2012年
- Petri网是对离散并行系统的数学表示,既有严格的数学表达方式,又有直观的图形表达方式,适合于描述异步并发、分布式和不确定计算机系统模型。Petri网理论在制造系统与工作流建模中的应用是当今研究的热点。本文在介绍Petri网基本概念的基础上,对制造系统中各类网模型的应用进行了总结,重点阐述了基于着色Petri网的工作流建模语言对当前流行的工作流模式的支持情况。
- 郑罡韩云祥李印凤陆志伟王利李强赵晶晶房岩
- 关键词：PETRI网工作流建模
- 基于极大代数的终端区离场优化分析被引量：1
- 2012年
- 针对终端区离场排序问题,提出了一种基于极大代数的简化终端区离场模型,在此基础上建立了相应的单航路极大代数模型,解决了同高度同航迹航空器离场的冲突问题,最后对模型进行了算例验证。结果表明,极大代数能够较好的解决航空器离场排序问题,实现全局最优性。
- 陆志伟
- 关键词：极大代数
- 基于极大代数的多航空器无冲突4D航迹生成被引量：1
- 2012年
- 航空器在同高度汇聚飞行时总会存在飞行冲突,文中根据极大代数法的思想,将航空器到达交叉点离散的过程线性化,并且针对同一终端区航空器离场向同一导航点汇聚的实际航路结构,给出了问题的具体描述,建立了具体的终端区单航路极大代数服务模型,并将其推广到通用情况下。在单航路模型基础上根据极大代数思想设计了终端区航路汇聚模型,解决了同高度航空器汇聚的冲突问题,可以将2条线型航线在交叉点的冲突规避,实现4D航迹的无冲突预测。对模型进行了算例验证,结果表明,极大代数能够较好的解决航空器航迹冲突的问题,实现航空器到关键点的无冲突放行,从而一定程度上提高了空域资源的利用率。
- 陆志伟汤新民韩松臣韩云祥
- 关键词：极大代数
- 航空器无冲突4D航迹推测与生成
- 为了提供更精确的航空器位置和状态信息，生成无冲突4D航迹飞行，实现空中交通管制的自动化系统，本课题主要对航空器航迹推测算法进行了研究。本课题根据民用航班飞行是按照飞行计划程序和航路结构飞行的特点，利用动力学、运动学原理、...
- 陆志伟
- 关键词：航空器自动化系统
