基于贝叶斯网的离港航班滑行时间动态估计

为提升离港航班运行效率，根据机场协同决策规范（A-CDM）中关于离港航班可变滑行时间（EXOT）的有关规定，分析了相关影响因素。根据数据分析处理和民航专家知识建立了一种基于贝叶斯网的离港航班滑行时间动态估计模型。贝叶斯网是一种将概率统计应用于复杂领域、进行不确定性推理和数据分析的工具。应用其增量学习特点对模型进行动态调整，实现了对场面实时变化的把控。以国内某大型枢纽机场为例，使用期望优化（EM）算法实现了对随机缺失数据的处理，并验证了模型的有效性。对实验结果与该机场实际运行数据对比表明，所建模型能有效地估计离港航班滑行时间且具有较高的置信度。     

协同模型在航班进离港调度系统中的应用

针对当前航班进离港调度系统中调度效率较低等问题,引入了基于角色的协同模型,利用这个模型提出了基于协同模型的航班进离港调度系统.利用关注点分离的思想,通过将系统分为3个层次,即底层飞机实体,对飞机协同和监控的角色以及负责协同角色行为的协调器,将系统的功能行为与协同行为分离,可以对飞机实体动态绑定,动态调整系统的协同行为,动态配置系统的决策规范,解决了系统的开放性和动态性等问题.     

航班延误波及链的有色出现网模型

针对基本Petri网的出现网在描述有色Petri网动态行为时的局限性,在基本出现网的基础上定义了一种扩展的出现网,即有色出现网,直观地反映了有色Petri网系统中资源流动及变化之间的顺序和并发关系,也大大减小了图形的复杂程度.同时,将有色Petri网和这种有色出现网应用于航班延误波及链的建模中,反映了航班执行时所需的多种资源的分布及流动情况,描述了航班在执行过程中与机场之间的相互影响及延误的链式波及反应.     

基于TCPN的复杂航班推出问题的建模与仿真

为了解决对机场实际运营中存在的共用同一中间机坪滑行道的航空器相对推出型冲突问题,文中根据时间有色Petri网的相关理论,分析了导致机场的运行效率降低的航班的推出问题,结合成都双流国际机场的相对推出型廊桥,提出了基于时间有色Petri网（Timed—ColoredPetri Net,TCPN）的复杂情况下航空器推出模型。依据此模型将航空器从滑行道到停入机位的全过程进行模拟和说明。最后结合TCPN仿真软件CPNTools中的状态空间分析法,对模型的可行性进行分析,对保障航班推出过程的运行安全、提高繁忙机场的运行效率具有重要的现实意义。     

基于 TCPN 的复杂航班推出问题的建模与仿真

为了解决对机场实际运营中存在的共用同一中间机坪滑行道的航空器相对推出型冲突问题,文中根据时间有色Petri 网的相关理论,分析了导致机场的运行效率降低的航班的推出问题,结合成都双流国际机场的相对推出型廊桥,提出了基于时间有色 Petri 网(Timed -Colored Petri Net,TCPN)的复杂情况下航空器推出模型.依据此模型将航空器从滑行道到停入机位的全过程进行模拟和说明.最后结合 TCPN 仿真软件 CPN Tools 中的状态空间分析法,对模型的可行性进行分析,对保障航班推出过程的运行安全、提高繁忙机场的运行效率具有重要的现实意义     

基于贝叶斯网络的航班离港延误预警分析

贝叶斯网络是一种有效的概率预测方法,尝试将其应用于航班数据分析预警,应用Netica软件工具构建实际航班及其关联的贝叶斯网络,特别是针对航班延误的最主要环节——离港延误,分时间段对国内某航空公司在某机场的离港数据进行了延误原因分析和延误预警分析。     

自动组合装置赋时有色Petri网模型的建立分析

半导体制造中的自动组合装置是半导体制造的关键设备和瓶颈设备.对其性能进行量化的直观的分析对于半导体制造的效率和成本预测具有重要意义.文章阐述了如何利用Aarhus大学开发的CPN Tools对单臂双处理仓的自动组合装置建立赋时有色的佩特里网模型.文中按照不同建模思想建立起抽象型和具象型两个结构不同的模型,通过比对进行验证,最后利用CPN Tools自带的仿真功能进行仿真得出模拟运行的结果.文中的研究方法和结论对于复杂的自动组合装置的有色佩特里网的分析具有一定的参考价值.     

机场航站楼旅客离港流程仿真研究

机场航站楼容量多少直接影响着航空公司以及机场的收益,将计算机仿真技术Service Model应用于机场管理,就是建立整个机场系统及其子系统的仿真模型,对航站楼的旅客离港流程进行了计算机仿真,并利用计算机和设计好的模型,建立了航站楼旅客离港仿真系统模型,对已有的设想的机场系统和管理策略进行模拟试验,输出统计和决策信息,以便对设计的方案和出现的问题进行分析和判断.     

进路建立过程的时间有色petri网建模与仿真

计算机联锁软件作为计算机联锁系统的核心主控软件,可靠性和安全性需建立在好的安全模型之上,提出了采用时间有色Petri网对进路建立的具体过程进行形式化建模,时间戳可以得知联锁设备的精确动作时刻以及操作持续时间,通过CPN Tools进行编辑和仿真,以VC++6.0为开发环境完成代码编写进行验证,体现时间有色Petri网描述联锁系统逻辑和性能特性的特点,以便在软件开发初期尽早发现系统的设计错误或缺陷,突出采用时间有色Petri网建模的可靠性和安全性。     

离港航班延误的动态预测研究

现有航班延误预测方法大多是对航班延误进行非动态预测,不能随着航班数据的不断增加而有效更新,进而使得预测结果的实时性较差.因此,提出一种基于时间序列的航班延误动态预测方法.首先,利用小波分解技术对延误时间序列进行平稳化处理;然后,采用自回归滑动平均(ARMA)模型对离港航班延误进行预测;最后,利用支持向量机模型对预测结果进行修正,得到最终的离港航班延误预测值.结果表明,该动态预测方法能较好地提高预测精度.     

基于着色时间Petri网的实时系统的形式验证

嵌入式实时系统多数应用在安全性要求较高的场合,因此需要保证系统的正确性.复杂性不断增加的实时系统迫切需要在系统开发早期引入形式化分析技术来验证系统的期望性质.时间Petri网是有严格数学基础的图形表达工具,适合对实时系统建模;时间自动机(Timed Automata,TA)有成熟的验证工具,被广泛用于实时系统的模型检验和验证.本文提出一种基于着色时间Petri网(Colored Time Petri Net,CTPN)的实时系统的验证方法,用CTPN对带有控制流和数据流的实时系统建模,通过转换规则将CTPN模型转换成语义等价的TA模型,利用模型检验工具UPPAAL验证系统的性质.最后,用实例证明此方法有效.     

基于TCPN的TCP协议形式化描述

提出一种基于赋时着色Petri网模型的TCP协议形式化描述方法。采用序号、确认号和数据3个参数对TCP报文进行更准确的描述,引入时间参数以便进行协议的性能评估,加入超时重传、流量控制和确认信息捎带传输等机制,使模型更符合协议的实际运行规程。通过CPN Tools对模型进行动态模拟,仿真结果证明了该模型的正确性。     

报文审批系统的赋时着色PN建模

报文审批系统(RAS)是一种典型的离散事件动态系统,适合用Petri网技术对其进行分析。考虑到传统Petri网具有一些固有的缺陷,文中基于高级Petri网———赋时着色Petri网(TCP-Net)理论,对RAS进行了分析,构造了RAS的赋时着色Petri网模型,给出了颜色转移函数。并且为了使用户能直观地了解当前报文的审批情况,还给出了流程跟踪算法。最终结果可以看出与传统Petri网模型相比,TCP-Net模型的复杂度已大大降低,并且结构简单清晰。     

模糊着色Petri网及其在工作流建模中的应用

Petri网是当前工作流建模中广泛采用的工具之一，针对工作流过程定义中模糊信息的描述和处理问题，提出模糊着色Petri网的描述方法，并给出基于模糊着色Petri网的推理过程，最后给出一个简单业务流程的基于模糊着色Petri网的工作模型，并对该模型进行了分析。     

Petri网模型与程序流程图的比较及应用研究

petri网是一种描述具有分布、并发、异步特点的信息流的系统模型,已得到了广泛的应用;程序流程图是依据算法描述问题求解过程的图解表示,是使用数字计算机求解问题的必要步骤。如何进行相互转换是应用中所关心的一个突出问题。文中对二者先做形式上的比较研究,分析它们的特点和异同,从中找出一些规律,用以归纳相互转换的方法要点。最后,通过实例分析来阐述转换的算法。     

着色Petri网对高性能集群的建模与性能评估

针对形式化建模方法导致的状态空间爆炸问题,提出了一种基于Petri网的高性能集群建模与性能评估方法.首先分析了高性能集群的系统架构,构建了模型的总体结构;然后针对集群系统建立了相应的任务产生子模型和调度子模型,并通过对Petri网进行着色,根据不同种类任务的执行特点设计了相应的任务处理模型.仿真结果表明,利用所建立的模型能够有效评估关键参数对集群性能的影响.     

基于时域Petri网的业务流程重组建模与评估方法

采用基于时域Petri网的流程建模方法,对业务流程重组过程的可行性进行了分析。在时域Petri网模型的基础上,从是否存在死锁、制造提前期、执行时间和资源成本等方面进行了评估方法研究。通过建模与评估,减少了流程重组的盲目性,降低了重组实施的风险。     

一种基于Petri网的安全协议验证方法

安全协议是实现网络安全的关键,如何验证安全协议的安全性是一个非常重要的工作。论文提出一种基于着色Petri网的安全协议形式化描述与安全验证方法,此方法建立在逆向状态分析和着色petri网可达性矩阵的基础之上,并采用具体协议来验证该方法的有效性。     

有色Petri网在渗透测试中的应用

渗透测试是常用的网络安全保障方法。该文细化现有渗透测试过程,针对传统渗透测试模型存在的不足提出一种基于有色Petri网的攻击测试网模型,用于模拟网络攻击并组织测试过程。探讨不同攻击场景的合成规则和测试用例的生成,结合实例分析其在渗透测试中的应用。