共查询到19条相似文献,搜索用时 78 毫秒
1.
为提升离港航班运行效率,根据机场协同决策规范(A-CDM)中关于离港航班可变滑行时间(EXOT)的有关规定,分析了相关影响因素。根据数据分析处理和民航专家知识建立了一种基于贝叶斯网的离港航班滑行时间动态估计模型。贝叶斯网是一种将概率统计应用于复杂领域、进行不确定性推理和数据分析的工具。应用其增量学习特点对模型进行动态调整,实现了对场面实时变化的把控。以国内某大型枢纽机场为例,使用期望优化(EM)算法实现了对随机缺失数据的处理,并验证了模型的有效性。对实验结果与该机场实际运行数据对比表明,所建模型能有效地估计离港航班滑行时间且具有较高的置信度。 相似文献
2.
针对当前航班进离港调度系统中调度效率较低等问题,引入了基于角色的协同模型,利用这个模型提出了基于协同模型的航班进离港调度系统.利用关注点分离的思想,通过将系统分为3个层次,即底层飞机实体,对飞机协同和监控的角色以及负责协同角色行为的协调器,将系统的功能行为与协同行为分离,可以对飞机实体动态绑定,动态调整系统的协同行为,动态配置系统的决策规范,解决了系统的开放性和动态性等问题. 相似文献
3.
4.
为了解决对机场实际运营中存在的共用同一中间机坪滑行道的航空器相对推出型冲突问题,文中根据时间有色Petri网的相关理论,分析了导致机场的运行效率降低的航班的推出问题,结合成都双流国际机场的相对推出型廊桥,提出了基于时间有色Petri网(Timed—ColoredPetri Net,TCPN)的复杂情况下航空器推出模型。依据此模型将航空器从滑行道到停入机位的全过程进行模拟和说明。最后结合TCPN仿真软件CPNTools中的状态空间分析法,对模型的可行性进行分析,对保障航班推出过程的运行安全、提高繁忙机场的运行效率具有重要的现实意义。 相似文献
5.
为了解决对机场实际运营中存在的共用同一中间机坪滑行道的航空器相对推出型冲突问题,文中根据时间有色Petri 网的相关理论,分析了导致机场的运行效率降低的航班的推出问题,结合成都双流国际机场的相对推出型廊桥,提出了基于时间有色 Petri 网(Timed -Colored Petri Net,TCPN)的复杂情况下航空器推出模型.依据此模型将航空器从滑行道到停入机位的全过程进行模拟和说明.最后结合 TCPN 仿真软件 CPN Tools 中的状态空间分析法,对模型的可行性进行分析,对保障航班推出过程的运行安全、提高繁忙机场的运行效率具有重要的现实意义 相似文献
6.
7.
自动组合装置赋时有色Petri网模型的建立分析 总被引:1,自引:1,他引:0
半导体制造中的自动组合装置是半导体制造的关键设备和瓶颈设备.对其性能进行量化的直观的分析对于半导体制造的效率和成本预测具有重要意义.文章阐述了如何利用Aarhus大学开发的CPN Tools对单臂双处理仓的自动组合装置建立赋时有色的佩特里网模型.文中按照不同建模思想建立起抽象型和具象型两个结构不同的模型,通过比对进行验证,最后利用CPN Tools自带的仿真功能进行仿真得出模拟运行的结果.文中的研究方法和结论对于复杂的自动组合装置的有色佩特里网的分析具有一定的参考价值. 相似文献
8.
机场航站楼旅客离港流程仿真研究 总被引:1,自引:0,他引:1
机场航站楼容量多少直接影响着航空公司以及机场的收益,将计算机仿真技术Service Model应用于机场管理,就是建立整个机场系统及其子系统的仿真模型,对航站楼的旅客离港流程进行了计算机仿真,并利用计算机和设计好的模型,建立了航站楼旅客离港仿真系统模型,对已有的设想的机场系统和管理策略进行模拟试验,输出统计和决策信息,以便对设计的方案和出现的问题进行分析和判断. 相似文献
9.
计算机联锁软件作为计算机联锁系统的核心主控软件,可靠性和安全性需建立在好的安全模型之上,提出了采用时间有色Petri网对进路建立的具体过程进行形式化建模,时间戳可以得知联锁设备的精确动作时刻以及操作持续时间,通过CPN Tools进行编辑和仿真,以VC++6.0为开发环境完成代码编写进行验证,体现时间有色Petri网描述联锁系统逻辑和性能特性的特点,以便在软件开发初期尽早发现系统的设计错误或缺陷,突出采用时间有色Petri网建模的可靠性和安全性。 相似文献
10.
现有航班延误预测方法大多是对航班延误进行非动态预测,不能随着航班数据的不断增加而有效更新,进而使得预测结果的实时性较差.因此,提出一种基于时间序列的航班延误动态预测方法.首先,利用小波分解技术对延误时间序列进行平稳化处理;然后,采用自回归滑动平均(ARMA)模型对离港航班延误进行预测;最后,利用支持向量机模型对预测结果进行修正,得到最终的离港航班延误预测值.结果表明,该动态预测方法能较好地提高预测精度. 相似文献
11.
基于着色时间Petri网的实时系统的形式验证 总被引:1,自引:0,他引:1
嵌入式实时系统多数应用在安全性要求较高的场合,因此需要保证系统的正确性.复杂性不断增加的实时系统迫切需要在系统开发早期引入形式化分析技术来验证系统的期望性质.时间Petri网是有严格数学基础的图形表达工具,适合对实时系统建模;时间自动机(Timed Automata,TA)有成熟的验证工具,被广泛用于实时系统的模型检验和验证.本文提出一种基于着色时间Petri网(Colored Time Petri Net,CTPN)的实时系统的验证方法,用CTPN对带有控制流和数据流的实时系统建模,通过转换规则将CTPN模型转换成语义等价的TA模型,利用模型检验工具UPPAAL验证系统的性质.最后,用实例证明此方法有效. 相似文献
12.
13.
报文审批系统(RAS)是一种典型的离散事件动态系统,适合用Petri网技术对其进行分析。考虑到传统Petri网具有一些固有的缺陷,文中基于高级Petri网———赋时着色Petri网(TCP-Net)理论,对RAS进行了分析,构造了RAS的赋时着色Petri网模型,给出了颜色转移函数。并且为了使用户能直观地了解当前报文的审批情况,还给出了流程跟踪算法。最终结果可以看出与传统Petri网模型相比,TCP-Net模型的复杂度已大大降低,并且结构简单清晰。 相似文献
14.
模糊着色Petri网及其在工作流建模中的应用 总被引:5,自引:1,他引:5
Petri网是当前工作流建模中广泛采用的工具之一,针对工作流过程定义中模糊信息的描述和处理问题,提出模糊着色Petri网的描述方法,并给出基于模糊着色Petri网的推理过程,最后给出一个简单业务流程的基于模糊着色Petri网的工作模型,并对该模型进行了分析。 相似文献
15.
16.
17.
18.