基于CPN的CBTC地面数据通信系统仿真和分析

数据通信系统是影响CBTC系统的控制精度,效率和可靠性.安全性的主要因素.充分利用分层赋时有色Petri网(HCPN),综合CBTC系统的实际通信需求,建立了CBTC地面数据通信系统的分层模型,并在HCPN中引入消息的时间标志,实现对数据传输时间特性的分析.对模型进行实时仿真的结果表明基于以太网的DCS地面通信系统的实时性可以满足CBTC系统的需要,而且影响数据帧传输延迟的主要因素是数据帧长度,而与行车密度关系不大.     

基于服务集成的C4ISR系统仿真环境研究

未来的C4ISR系统将建立在使用服务集成技术的信息栅格环境下,相应地,C4ISR建模与仿真系统也将基于服务集成技术构建.介绍了服务集成技术的原理,基于仿真服务总线技术,提出一个基于服务集成的C4ISR系统仿真环境,分析了该环境的技术体系结构和关键技术,为支持面向服务体系下的C4ISR系统仿真实验提供了一种可选解决方案.     

基于GSPN方法的柔性制造系统过程模型和性能分析

应用广义随机Petri网方法,对柔性制造系统进行建模和分析,提出了控制策略和优化方法.针对柔性制造系统的离散性,对整个系统的过程模型进行分析.利用广义随机Petri网结合马尔可夫链的方法,确立了系统的配置参数,得出了系统的平均运行时间,机床的平均使用率,系统的生产率,故障概率,对系统的优化和生产效率的提高以及柔性的提高提供了理论支持.最后,通过柔性制造系统实例,对该方法进行了检验.     

基于Petri网和GASA的JSP动态分类调度研究

针对车间作业的加工受到机床、操作工人等双资源制约条件下出现多种扰动的JSP调度问题,提出了基于受控Petri网和GASA对不同扰动进行分类处理的新方法。首先通过构建带有控制器的Petri网模型使系统的运行满足期望的目标,然后基于该模型把遗传算法和模拟退火算法相结合,以最小化最大完工时间为目标,基于机床故障修复时间、工人离岗时间及取消订单包含任务的多少进行分类调度,然后根据扰动恢复后剩余任务的多少决定是否进行再次调度,避免大范围调整造成的生产不稳定状态,最大限度的维持车间的生产能力。最后通过实例验证了算法的有效性和可行性。     

基于嵌套网的对抗模拟模型

为了对多Agent系统中的交互流程、本体(Ontology)语言与通信协议的设计进行可视化的分析和优化,嵌套网(Nested Petri nets)作为建模工具被应用于多Agent系统。使用三层的嵌套网对基于多Agent的对抗模拟模型ISAAC(Irreducible Semi-Autonomous Adaptive Combat)进行层次化建模,其层次的划分为Agent的生存环境(战场)、Agent和Agent的内部推理机。通过实例充分说明了嵌套网表达多Agent系统的可行性与有效性,可以实现多层次、多角度的图形化多Agent系统,并探讨了复杂适应系统理论与嵌套网理论的适应性。     

Data fusion control and guidance of surface-to-air missile under the complex circumstance based on neural-net technology

Under the complicated electromagnetism circumstance, the model of data fusion control and guidance of surface-to-air missile weapon systems is established. Such ways and theories as Elman-NN, radar tracking and filter＇s data fusion net based on the group method for data-processing （GMRDF） are applied to constructing the model of data fusion. The highly reliable state estimation of the tracking targets and the improvement in accuracy of control and guidance are obtained. The purpose is optimization design of data fusion control and guidance of surface-to-air missile weapon systems and improving the fighting effectiveness of surface-to-air missile weapon systems.     

单向S-粗集对偶与数据筛选-过滤的扩展应用

S-粗集(singular rough sets)是对Z.Pawlak粗集的改进,单向S-粗集对偶(dual of one direction sin-gular rough sets)是S-粗集的基本形式之一。利用单向S-粗集对偶,给出数据属性,数据筛选-过滤概念,数据筛选-过滤序定理,合成数据筛选-过滤定理,及数据筛选-过滤准则。利用这些结果,给出应用。单向S-粗集对偶是动态数据筛选-过滤研究的一个新工具。     

基于MCMC模拟的相关系数平稳序列模型及其应用

提出了基于MCMC方法来估计相关系数平稳序列模型的参数;给出基于贝叶斯分布的相关系数平稳序列模型参数的算法;在无信息先验分布下,模拟证明了用此方法估计相关系数平稳序列模型参数的优良效果。最后对实际的广西电网-月负荷数据,分别用基于相关系数平稳序列模型的MCMC方法和极大似然估计法以及基于经典的ARMA模型建模,结果表明采用MCMC方法得到的模型给出的预测是最好的。     

面向对象Petri网离散制造系统生产调度建模研究

将面向对象技术与Petri网结合作为建模工具,针对离散制造业的研究现状及其生产调度特点,进行离散制造系统生产调度建模;选用满足交货期的成本最低原则作为调度目标,运用最优化方法进行目标优化.通过对FMS的建模及目标优化,证明利用该方法建模能准确反映生产调度的加工路径及其资源约束,将复杂系统高度抽象,模型易于扩展.     

基于扩展Petri网的建筑产品设计过程工作流模型

针对建筑产品设计过程工作流的动态性和不确定性的管理与控制,提出基于扩展Petri网的建筑产品设计过程工作流模型,并以一般商用办公楼的设备设计过程为例构建模型,应用CPN Tools仿真软件进行仿真分析和过程优化.结果表明,提出的工作流模型对建筑产品设计过程管理和优化具有明显效果.