基于Petri网的航空器运行指令筛选方法与推演

为对航空器运行指令潜在的风险进行预警,对航空器运行指令进行逻辑分析,构建涉及指令及跑道的多种约束;建立多跑道运行全过程着色时延Petri网模型对进离港及场面运行流程进行分析;开发航空器起飞或复飞以及后续指令过程模块、航空器着陆指令过程模块以及航空器穿越指令过程模块;航空器运行指令进行筛选的同时采用实际数据设定模型中时延库所的时间参数,推演结果表明,航空器运行指令的时序对跑道状态产生影响,可对潜在的场面风险状态进行评估与预测。

最高人民法院 公安部关于建立快速查询信息共享及网络执行查控协作工作机制的意见

法[2016]41号各省、自治区、直辖市高级人民法院、公安厅(局),解放军军事法院,新疆维吾尔自治区高级人民法院生产建设兵团分院、新疆生产建设兵团公安局:根据《中华人民共和国民事诉讼法》《最高人民法院关于适用〈中华人民共和国民事诉讼法〉的解释》《中华人民共和国人民警察法》等相关法律规定。