-
题名基于Petri网的航空器运行指令筛选方法与推演
被引量：4
- 1
-
-
作者
吴昊
汤新民
胡钰明
陈强超
-
机构
南京航空航天大学民航学院
中国民航大学交通科学与工程学院
中南民航空管通信网络科技有限公司通信网络中心
中国民用航空中南地区空中交通管理局技术保障中心
-
出处
《计算机工程与设计》
北大核心
2023年第8期2465-2474,共10页
-
基金
国家自然科学基金项目(61773202、52072174)
中国航空无线电电子研究所航空电子系统综合技术国防科技重点实验室基金项目(6142505180407)
+1 种基金
中国民航管理干部学院民航通用航空运行重点实验室开放基金项目(CAMICKFJJ-2019-04)
国家重点研发计划基金项目(2021YFB1600500)。
-
文摘
为对航空器运行指令潜在的风险进行预警,对航空器运行指令进行逻辑分析,构建涉及指令及跑道的多种约束;建立多跑道运行全过程着色时延Petri网模型对进离港及场面运行流程进行分析;开发航空器起飞或复飞以及后续指令过程模块、航空器着陆指令过程模块以及航空器穿越指令过程模块;航空器运行指令进行筛选的同时采用实际数据设定模型中时延库所的时间参数,推演结果表明,航空器运行指令的时序对跑道状态产生影响,可对潜在的场面风险状态进行评估与预测。
-
关键词
航空器运行指令筛选方法
指令推演
多跑道机场态势感知
场面风险评估
指令时序仿真
时延库所
指令风险预警
-
Keywords
aircraft operation order screening method
instruction deduction
multi-runway airport situational awareness
surface risk assessment
instruction sequence simulation
delayed place
command risk warning
-
分类号
TP399
[自动化与计算机技术—计算机应用技术]
-
-
题名应用Petri网模型解决向量处理器流水线冲突
被引量：1
- 2
-
-
作者
郭禾
李文甲
刘晓飞
邱铁
李强
-
机构
大连理工大学软件学院
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2008年第S2期144-147,共4页
-
文摘
针对自行设计的32位向量处理器流水线中的3种冲突:结构相关、控制相关和数据相关,建立了时延Petri网模型。该模型给出计算流水线所需停顿周期数的具体算法,根据所建模型中使用权的状态得出数据前递需要具备的条件。应用该算法计算流水线所需停顿周期数来消解冲突,并通过对向量处理器指令仿真时序图的分析验证了结果的正确性。
-
关键词
向量处理器
PETRI网
流水线冲突
指令时序仿真
-
Keywords
vector processors
Petri nets
conflicts in pipeline
instruction sequence simulation
-
分类号
TP332
[自动化与计算机技术—计算机系统结构]
-
