基于DSPN的多阶段任务系统测试性需求建模与分析

针对多阶段任务系统(PMS)的测试性需求分析问题,提出了一种基于确定与随机Petri网(DSPN)的系统级测试性需求模型(PMS-DSPN)和指标确定方法.PMS-DSPN模型包括系统网(SN)和阶段网(PhN)两部分,每个SN对应于各个子阶段任务的GSPN测试性需求模型;PhN对应于各个阶段任务间的转换过程,并通过关联矩阵进行描述.基于该模型得到PMS任务成功率计算方法,并结合PMS维修代价、测试性设计代价计算方法,构造了系统级测试性指标优化分析模型,进而确定PMS系统级测试性指标.最后通过实例验证该方法的有效性.     

现场通信系统的仿真建模及其性能评价方法

由于Petri网适于描述系统冲突和竞争，故在较多场合中引入了Petri网对通信协议及系统进行建模，但目前采用Petri网对现场通信系统建模和评价还很少，通过Petri网协议描述实现现场通信和评价系统性能双重功能更无先例，本文在时间Petri网的基础上加以拓展，提出了现场通信协议的类时间Petri网描述方法，针对多协议现场通信控制装置FCCD，从理论上建立了FCCD系统的类时间Petri网模型，实现了多协议智能设备的互连及其系统的性能仿真评价。     

基于ExSpect的排队系统建模与仿真

随着petri网理论与应用研究的不断发展,petri网已经成为排队系统建模和仿真的有力工具。介绍了基于petri网的可执行的规格说明语言Exspect及其软件,提出了基于Exspect的排队系统建模的方法,并进行了实例研究。     

基于CPN仿真的排队系统建模及性能分析

排队网络模型是一种经典的性能分析模型,提出按照队列的输入过程、排队规则和服务机构三要素,将排队系统转换为层次颜色Petri网模型的建模规则,利用CPN Tools 工具在模型中加入monitor监视器监视模型运行情况,使用Data Collector采集相关数据,进行队列模型的相关指标的性能分析和评价工作,最后给出基于仿真的建模与分析方法的一般操作步骤.这种建模和分析方法不需要对系统作任何的假设和限定,可以对模型的任何方面进行性能分析,扩展了传统排队系统的研究范围,具有很强的灵活性;一些扩展排队网络的建模和分析,如考虑服务台损坏和维修时间的扩展模型,只需对基础的排队网络稍加修改即可完成建模和性能分析,提高了模型的复用性;层次化的建模方法克服了基本Petri网组合状态爆炸的缺点,可以用于大规模的复杂排队系统.     

基于Petri网的物流自动化系统建模与仿真研究

本文简要地介绍了物流自动化系统的研究状况,基于Petri网理论,对烟草行业的卷接包车间的AGVS进行了分析,并对该系统构造了一Petri网模型,并进行了仿真研究,仿真结果表明该模型是合理且高效的。     

基于HTCP-net的multi-agent调度系统建模与仿真

从企业收集、监测互联网信息的实际需求出发,提出了基于multi-agent的分布式环境扫描系统的结构模型;同时,为满足系统重复采集更新信息的特殊需要,借鉴经典的Min-min启发式调度算法,设计了循环任务最早完成时间调度算法。依据赋时层次有色Petri网(HTCP-net)的理论,应用建模、仿真工具CPN tools建立了调度系统模型。对模型进行仿真,得到任务平均等待时间和各agent等待队列平均长度,与轮转调度和最短等待队列调度模型仿真结果的比较表明,所建立的调度模型既提高了企业用户满意度,又有效满足了系统周期性重复访问网站的任务需求。     

防空武器系统网络化协同交战建模与仿真

对网络化作战条件下，防空武器系统协同交战的过程进行了建模与仿真研究。首先综合运用IDEF0和IDEF3建立了系统的静态模型，然后通过提出一种随机着色Petri(SPN)，建立了协同交战过程的动态仿真模型。建模仿真分析表明，上述建模仿真方法为多防空武器系统的集成与分析提供了一种行之有效的方法。     

基于随机赋时Petri网的车辆交通系统建模与仿真

针对普通道口的车辆交通系统,将各道口描述为资源库所,车辆到达（离开）道口的事件描述为发生时间间隔服从泊松分布的赋时变迁,从而建立了该系统的随机赋时Petri网模型,并根据该模型开发了VB仿真系统平台,仿真实验显示该系统能够模拟道路口的车流动态过程,可以为交通调度算法提供了实验平台。     

基于ASP的复杂供应链系统的混合建模与仿真实现

Agent建模、系统动力学（System Dynamics,SD）建模和Petri网建模单独应用于供应链系统或企业系统建模都存在一定局限性。根据供应链和核心企业系统的特点以及上述三种建模方法的特点,提出基于ASP（Agent-SD-Petri net）的核心企业及其供应链系统的混合动态仿真模型,重点讨论准时制生产方式下核心企业的生产模型和库存模型,可供供应链各实体间以及核心企业系统内部各部门间的相互作用及其耦合的分析;解决JADE软件环境下系统集成仿真的关键技术,验证核心企业及其供应链系统混合动态建模的可行性。     

面向对象Petri网建模与仿真的可视化环境

主要介绍用面向对象方法开发的Ｐｅｔｒｉ网建模和仿真可视化环境ＰＮＳＥ（Ｐｅｔｒｉ Ｎｅｔ Ｓｉｍｕｌａ－ｔｉｏｎ Ｅｎｖｉｒｏｎｍｅｎｔ）。通过对一个实例的建模和仿真，说明了Ｐｅｔｒｉ网建模与仿真的可视化表示方法。     

双星定位系统的建模与仿真

双星定位系统是具有快速定位和简短报文通信功能的卫星定位系统。在研究其定位原理的基础上，建立了双星定位系统的误差模型和仿真系统，并对仿真系统的硬件结构、仿真软件和仿真方法进行了介绍。该仿真系统可以模拟双星定位系统大多数的工作环境和工作状态，并且可以时双星定位终端产品的各项技术指标进行定量测量。解决了定位终端的技术指标在实际系统中测量难的问题，对双星定位终端的研制有一定的参考意义。     

空面导弹系统的建模与仿真

简要介绍了模块化设计思想，然后将其应用于空面导弹系统的建模，分需求分析、功能分析与分解、模块划分及模块设计与开发四个步骤，建立了空面导弹仿真模型库，它主要包括导航系统、制导系统和弹体这三个子系统．最后，为了检验模型库的可用性，针对某型空面导弹进行了仿真研究。从仿真结果来看，各子系统的仿真模型具有较高的保真度，能够满足实时性、快速性的要求。     

DVD聚焦伺服系统建模与仿真

DVD伺服系统要求高精度和快速响应。为更好地进行DVD伺服系统设计，需要对其进行仿真建模研究，以便在实施硬件解决方案前检验控制算法、比较控制方案。聚焦伺服是整个DVD系统正常运行的基础。分析了DVD聚焦伺服系统中音圈电机和光头拾取器的数学模型，通过实验测定其模型参数，完成了DVD聚焦伺服系统的建模，并进行了仿真。     

逆合成孔径成像激光雷达系统建模及成像仿真

逆合成孔径成像激光雷达能突破传统成像激光雷达扫描体制的限制,实现对运动目标实时高分辨成像,对运动目标的探测与识别具有重要意义。分析了逆合成孔径成像激光雷达的高分辨成像原理,并综合考虑系统结构、大气衰减、背景噪声、目标散射特性等多方面因素,建立了仿真模型,对成像流程与分辨能力进行了详细分析。仿真实验证明了逆合成孔径成像激光雷达具有优于微波波段逆合成孔径雷达的成像效果以及文中建立的仿真模型的有效性。     

基于Agent的复杂系统智能仿真建模方法的研究

文章提出的包括仿真建模结构、控制结构和智能模型的基于Agent的复杂系统智能仿真方法，在借鉴了HLA体系结构同时，对HLA中的对象概念的做出扩展。文章提出的建模方法能最大限度的共享建模与仿真技术，提高建模与仿真的可重用性和互操作性，同时也弥补了HLA的不足之处，使得计算机仿真技术的辅助决策能力得到了充分的体现。针对智能仿真的体系结构，给出了相应的仿真实例模型。     

电子商务物流系统的建模与仿真

用系统的观点分析了电子商务物流系统的不确定性、非线性、复杂性、多样性、离散性、动态性的特点，并结合计算机仿真的特点，将电子商务物流系统的建模与仿真归纳为对排队、库存、网络或混合形式的仿真，还提出了仿真中要考虑到的两个要点，从而为电子商务物流系统的仿真研究提供了方法。     

步进梁加热炉的建模与系统仿真

对钢铁企业热轧生产中的加热炉,建立了冶金加热炉的仿真系统,并就系统中的藕合问题,采用多变量约束控制成功地进行解藕.文章对仿真系统中的关键部分,如炉温优化设定模块、多变量约束控制、DCS底层控制回路、加热炉动态数学模型作了一定的阐述.最后整个系统仿真结果是令人满意的.     

水箱液位系统的建模与仿真

应用流体力学原理对三容水箱液位系统进行分析,并在不同的工作点对水箱系统建立机理模型。基于不同的模型结构:线性模型、BP神经网络模型、非线性Hammerstein ARMAX模型,利用测量到的输入输出数据辨识对象的模型参数,对水箱系统建立数学模型,并通过仿真检验模型的有效性。不同的模型结构和相应参数及其辨识方法将对控制系统的设计具有很强的指导意义。     

试验温室温度系统建模与仿真

温室小气候具有强非线性、大时滞、强耦合、强干扰、时变等特点.为更好地设计温室小气候计算机监控系统,需要对其建模和仿真,以便比较控制方案、检验控制算法.在分析温室温度系统机理模型的基础上,选择MISO的ARIMAX模型描述温度系统,根据试验温室实测数据,采用"统计假设检验"和"模型拟合度检验"相结合的方法确定模型结构,通过递推增广最小二乘法估计模型参数,并进行了仿真研究.     

生物启发的多网安全体系建模与仿真

针对传统的单网安全体系日渐无法适应飞速发展的网络技术和日益恶化的网络环境的现状,基于BMNSM,提出了生物启发的多网安全体系模型(Bio-inspired Multi-Netn Security system,B-MNS),它通过"多网并行"(Multi-Net Paralleling,MNP)结构中时序阶段的状态跳变,实现不同安全维护功能的子网功能分流。首先引入隐Markov理论的参数估计和模型修正算法,建立了B-MNS的数学模型;在此基础上对模型进行了仿真实验,验证了其可行性与有效性,证明了其实用性与高效性。