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

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

基于Token的对象Euler网仿真策略

仿真策略是仿真研究的一个重要问题。本文针对Ｅｕｌｅｒ网对象建模方法，讨论了面向对象仿真器的基本原理，提出了面向对象的ｔｏｋｅｎ扫描仿真策略。这种仿真策略已经在面向对象的多媒体仿真环境ＳｉｍＳｔｕｄｉｏ中实际应用，其正确性得到证明     

SimStudio仿真建模环境的设计与实现

本文首先分析Ｅｕｌｅｒ网仿真模型的特点和结构，然后讨论了Ｅｕｌｅｒ网建模的有关问题，包括Ｅｕｌｅｒ网模型的定义和图形建模方法等内容。最后介绍了ＳｉｍＳｔｕｄｉｏ建模环境的设计与实现方法     

一种复杂系统研究方法——基于多智能体的整体建模仿真方法

本文在对一般复杂系统进行研究分析的基础上，针对目前国内外的研究现状，提出了一种研究复杂系统的新方法－基于多智能体的整体建模仿真方法，对这种方法的操作流程和步骤进行了详细的说明，并介绍了支撑这种方法的ＳＷＡＲＭ仿真平台，最后指出了这种建模仿真方法在军事和经济系统中的应用前景。     

基于通信的列车控制系统的有色Petri网模型的研究

基于通信的列车控制系统是我国铁路信号技术发展的一个重要方向，在分析了基于通信的列车控制系统结构的基础上，采用有色Petri网方法对该系统进行建模仿真研究。有色Petri网是一种以图形形式描述系统结构、功能的建模分析方法，特别适合大型异步并发系统的建模与仿真。为了使模型简洁清楚，提出了分整体层、处理层和功能层三部分建立相应的系统有色Petri网图的分析方法，并用CPN／Tools工具软件进行实现。通过建立一个基于通信的列车控制系统的有色Petri网模型，为最终开发出该系统的软件仿真平台奠定了良好的基础。     

IP网流量仿真与建模

针对网络仿真中的关键问题——流量的仿真与建模，分析了IP网络流量的特点和软件仿真系统OPNET的流量仿真建模机制，详细阐述了一种基于OPNET仿真平台建立IP网流量模型的方法。该方法将流量仿真分成背景路由流量建模、背景利用率流量建模和前景业务流量建模3部分，并综合利用网管导入流量和业务源建模来建立流量模型。最后通过仿真建模验证了该方法的有效性.     

闸门液压系统分布式物理图网建模及仿真研究

在对闸门液压系统的物理结构、工作原理进行分析的基础上，采用分 工物理图网建模方法建立了门液系统分布式物理网图模型，并在MATLAB的Simulink平台上对闸门液压系统进行了仿真研究，仿真结果表明，这种方法是对液压系统进行动态仿真的一条行之有效的途径。     

对象建模技术在分布交互仿真系统中的应用研究

在分析分布交互仿真系统的一般开发骤和面向对象技术的基本概念及特征的基础上，给出了对象建模的方法，步骤，并对其在ＤＩＳ系统开发中的应用进行了研究，最后给出了一个应用实例。     

基于混合Petri网的图形建模仿真系统

将VC＋＋的面向对象思想引入混合Petri网建模、仿真技术的研究和开发，给出了面向对象的混合Petri网软件结构，研究了Petri网的创建方法，讨论了Petri网的系统维护以及Petrl网的存储结构等关键问题。在此基础上，设计了基于图形界面的混合Petri网建模仿真软件。对于具体实例，给出了该软件以人机交互方式建立、编辑、分析混合Petri网模型的过程。     

组件化的变结构Petri网建模仿真方法

Petri网模型建立后,其结构相对固定,不易描述实际系统结构的动态变化。借鉴软件组件的设计思想,提出了组件化的变结构Petri网的描述规范、组合机制和仿真方法,实现了仿真运行中Petri网结构的动态变化。该方法增强了Petri网模型的重用性,支持层次化建模,便于实现与其他模型的集成,提高了Petri网的建模仿真能力。     

SIMSCRIPT仿真语言在混合仿真中的应用

分析了离散事件系统仿真的三种主要方法各自的特点，通过比较得出，进程交互法是适合混合仿真的离散事件系统仿真方法。接着介绍了仿真语言ＳＩＭＳＣＲＩＰＴⅡ．５的混合仿真功能，着重介绍了它对离散事件子系统的连续时间子系统仿真时间同步的支持。对多模型建模的有关参考文献中的一个实例，描述了其混合仿真模型，该混合仿真模型是多抽象层次的，与人们对建模对象的认识理接近。最后介绍了利用ＳＩＭＳＣＲＩＰＴⅡ．５对该实例     

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

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

PID参数自动寻优的可视化实现研究

研究复杂非线性系统ＰＩＤ控制器参数自动寻优环境的可视化建模及可视化计算问题。应用先进可视化计算软件ＭＡＴＬＡＢ５．２及图形化建模仿真工具箱ＳＩＭＵＬＩＮＫ２．２，实现了非线性系统ＰＩＤ参数自动寻优过程的高度一体化和全程可视化。     

基于CPN的联邦概念模型形式化建模与验证(英文)

提出了基于着色Petri网(CPN)的联邦概念模型(FCM)形式化建模与验证一体化方法。这种方法的提出主要基于下面两点:一是形式化的FCM与用自然语言描述的模型相比具有更完整、更准确和更规范的特点;二是形式化模型的验证需要专门的工具辅助完成。以一个简单的制造系统为例,采用CPN语言建立了该系统的形式化概念模型,利用辅助软件工具CPN Tools完成了该联邦概念模型的仿真和验证。应用研究表明,着色Petri网有助于描述联邦中各实体的行为和关系,CPN Tools辅助工具实现了形式化模型建模、仿真和验证的一体化过程。     

流体网络模块化图形建模软件FLOWNET在600MW仿真机中的应用

６００ＭＷ火电机组模拟培训装置中的流体网络模块化图形建模软件包ＦＬＯＷＮＥＴ适用于任意拓扑结构的热工流体网络系统，只需把系统的网络结构以图形方式输入，便能自动生成网络模型程序。软件包界面开放，使用方便、灵活，是电站仿真建模的强有力工具     

基于动力系统的无约束优化问题的方法分析

通过解由常微分方程构成的动力系统的稳定点得到等价的无约束优化问题的局部极小点 ,而动力系统的稳定点可以沿动力系统轨线上的任一点通过路径跟踪得到。我们发现 ,在用Euler方法求解二次优化问题的等价动力系统的方程时 ,由方法的步长确定的稳定区域对应于这些方法所得到的迭代公式的步长满足单调下降算法的条件确定的单调下降区域 ,因此我们可以利用这个性质构造解无约束优化问题的数值方法而不采用标准的常微分方程的数值求解公式。分析了一些基于微分方程的无约束优化方法并举例说明这些方法有些是数值不可行的。