用CIMOSA和随机PETRI网对CIM系统进行行为建模

利用ＣＩＭＯＳＡ建模框架和建模语言，一个企业的集成模型能够被建立．用过程规则集能够对企业模型进行行为分析．为了进一步对ＣＩＭＯＳＡ企业模型的操作进行分析，本文提出了将ＣＩＭＯＳＡ企业模型转换为等价的随机Ｐｅｔｒｉ网模型的系统方法．这种方法是一种将“ｂｏｔ－ｔｏｍ－ｕｐ”和“ｔｏｐ－ｄｏｗｎ”建模方法混合使用Ｐｅｔｒｉ网综合技术．由这种方法得到的Ｐｅｔｒｉ网模型能够保持初始Ｐｅｔｒｉ网的某些定性结构性质     

基于模糊神经Petri网的C~3I信息融合模型

本文将模糊技术、多层感知器理论与Ｐｅｔｒｉ网相结合,提出了一种关于Ｃ３Ｉ信息融合的模糊神经Ｐｅｔｒｉ网的模型。将模糊逻辑规则应用到多传感器融合系统中得到模糊Ｐｅｔｒｉ网,并在此基础上将人工神经网络引入到Ｐｅｔｒｉ网中,从而提高了系统的学习能力以及对外界环境的自适应能力。     

冗余可修系统可用度的随机Petri网建模与分析

基于随机Ｐｅｔｒｉ网，提出了一种较为简单的计算冗余可修系统稳态可用度的方法．该方法由于利用了随机Ｐｅｔｒｉ网作工具来分析系统状态之间的转移过程，从而使过程清晰明了，鉴于Ｐｅｔｒｉ网模型，利用Ｍａｒｋｏｖ理论可方便地得到状态概率矩阵方程     

随机Petri网:研究现状和面临的挑战

近来,随机Ｐｅｔｒｉ网正逐渐成为描述和分析那些具有并发、同步和冲突等特征的系统的广泛而强有力的工具,其在Ｃ３Ｉ系统、柔性制造系统、计算机系统及通讯等诸系统中的各个领域的应用都已取得了显著的成功。然而,随机Ｐｅｔｒｉ网的状态空间的组合爆炸作为主要问题正阻碍着大型随机Ｐｅｔｒｉ网精确解的求取,进而限制了该类Ｐｅｔｒｉ网作为建模和性能评估工具的广泛使用。在本文中,首先回顾了随机Ｐｅｔｒｉ网的发展历程以及随机Ｐｅｔｒｉ网的主要子类和相应的解决方法,然后明确指出了目前随机Ｐｅｔｒｉ网在理论和应用中遇到的困难,并进一步阐述了克服该困难的三种主要方法的研究现状和发展前景。     

随机Petri网仿真分析方法的研究

本文主要讨论的是用计算机仿真技术作为随机Ｐｅｔｒｉ网分析工具的新方法，介绍了用ＧＰＳＳ程序块来仿真一个随机Ｐｅｔｒｉ网的模型。并给出了用这种方法分析通信模型的实例。     

用Petri网研究组织结构形式

从一般管理组织结构出发，得出其结构的本质，并且将它与Ｐｅｔｒｉ网和随机Ｐｅｔｒｉ网联系．用Ｐｅｔｒｉ网来研究组织结构问题．     

Petri网：一种可视化建模支持工具

Ｐｅｔｒｉ网作为建模工具已有广泛的应用，本文把Ｐｅｔｒｉ网引入到决策支持系统之中，把它作为ＤＳＳ的可视化模型管理和建模支持的工具．文中讨论了基于Ｐｅｔｒｉ网的模型表示方法，研究了Ｐｅｔｒｉ网表示的模型的循环和连通问题，并给出了模型求解过程和模型生成的算法     

离散、连续和混合Petri网的一致性描述

本文引入的混合动态系统的Ｐｅｔｒｉ网模型,以建立混合控制系统的整体Ｐｅｔｒｉ网结构,和Ｐｅｔｒｉ网上附加离散、连续和混合动态时描述的一致性与继承性为目标．令牌及其标记概念上的具体化,是统一多种动态描述的基础．权为零有向弧的引入简化了监控结构．依赖混合动态网建立复杂控制系统的整体Ｐｅｔｒｉ网模型,为采用Ｐｅｔｒｉ网理论进行系统的分析、验证和设计提供了基础．     

Pet ri 网在物资调运问题中的应用

将Ｐｅｔｒｉ网应用于物资调运问题的建模与仿真。阐述了如何将Ｐｅｔｒｉ网模型同数学规划模型进行相互转化。给出了ＤＳＰＮ仿真器的基本数据结构和算法。     

自动化立体仓库输送系统调度的优化仿真及其应用研究

分析了自动化立体仓库输送系统的若干调度问题,给出了启发式调度规则和优化算法,建立了该离散系统的仿真Ｐｅｔｒｉ网模型,在此基础上,对系统进行了动态的优化仿真,仿真结果表明了调度规则和算法的正确性和有效性,使得系统物流更加畅通和平滑。     

大型冷冻站制冷控制仿真培训系统

结合研制“大型冷冻站制冷控制仿真培训系统”的实践,介绍了从数学模型、仿真模型的建立到系统软、硬件设计的仿真培训系统开发全过程,并首创了数学模型建模的“复合法”     

基于准时制的主生产计划方法

在当今的市场竞争中，能否及时供货和满足客户的要求关系到企业的信誉。为了提高企业的竞争能力，制造业都致力于采用日本的准时生产的策略。在前人研究的基础上，建立了适合于单件小批的主生产计划模型，这一模型有３个特点：（１）保证产品及时交货，也就是提前和滞后于交货期都要受到惩罚；（２）模型考虑了带有小批与单件并存的生产情况；（３）产品对能力的需求数据，考虑了分时段分布特点，并采用聚合算法从工艺路线和产品结构数据聚合而成。在对这一模型构造启发式算法的基础上，实现了主生产计划系统。该系统具有方便的人机界面，能够对由启发式算法产生的解进行修改。     

指控系统的结构对防空战性能的影响

指挥控制系统是决定现代高技术战争胜负的关键因素，其重要性越来越受到国防和军事部门的重视，而系统的决策模型又是整个系统性能好坏的基础。建立了某防空指挥控制系统的变结构Petri网决策模型，并通过性能评估验证了变结构模型在提高系统抗毁性和灵活性等性能指标方面的作用。     

C~3I系统评估中信息效用概念的提出

为了从用户使用信息的角度评价C3I系统 ,提出了C3I系统信息生产 -消费模型和信息效用概念。通过信息生产 -消费模型 ,可以将C3I系统转化为信息的生产和消费系统 ,在这一系统中生产和消费的是信息。借鉴微观经济学中效用的观念 ,引入信息效用的概念 ,以信息效用为手段对信息进行分析评估 ,进而可以对C3I系统中生产和消费信息的各部件及对整个系统进行分析评估     

基于神经网络的伺服系统控制研究

采用神经网络方法设计伺服系统逆动态控制器。判定了一类非线性伺服系统的可逆性。设计开环和闭环网络权值训练方案,使用Ａｌｏｐｅｘ随机学习算法在线训练对象逆动态模型。进行了基于反馈误差学习方法的伺服系统实时控制器设计,仿真结果表明神经网络方法辨识和控制伺服系统的有效性。     

舰艇电子对抗系统的仿真研究

根据现代高技术海战条件下电子对抗的特点,提出了建立电子对抗仿真系统的方法,并建立了相关的对抗数学模型和系统结构。该系统为电子对抗装备的设计、相应作战方案的制定以及指挥员电子对抗素质的提高提供了良好的平台。     

一类多站循环服务系统的队列状态转移函数

主要讨论了有关容量有限与服务受限的多站循环服务系统问题：（１）系统和队列排队服务模型及系统特点；（２）给出判断队列状态转移性质的条件；（３）提出服务策略数目、队列状态零和非零转移数目的函数表达式，分析函数的若干数学特征，并通过典型例子加以说明。     

综合服务通信系统资源控制建模与分析

基于QoS资源控制是保证网络综合应用服务质量的必要手段。深入讨论了基于QoS最优综合服务通信系统(ISCS)模型及其最优资源控制策略和评价方法。建立了ISCS最优动态资源控制系统模型。针对资源控制重要部件buffer,又提出了面向buffer资源控制策略,并取得了良好的模拟结果。     

基于神经网络的一类非线性系统的变结构控制

在已知名义系统的基础上 ,将小脑关节模型控制器 (CMAC)神经网络用于一类状态反馈可线性化的多输入多输出连续时间非线性系统的变结构控制中。利用自适应技术估计了估计误差的大小 ,减小了系统的不确定性 ,并利用模糊控制技术调整了变结构增益 ,改善了系统的性能。在很弱的假设条件下 ,应用Lyapunov稳定性定理证明了闭环系统内的所有信号为均匀最终有界。算法在导弹控制系统中的应用进一步证明了本文方法的有效性。     

对象-关系超媒体数据模型的研究及应用

在分析了NF2多媒体数据模型、面向对象的多媒体数据模型和超媒体数据模型的基础上 ,进一步提出了一种集上述三种模型优点的、能更有效地组织和管理多媒体信息的数据模型 ,即基于对象 -关系的超媒体数据模型 (Object-RelationHypermediaDataModel,O -RHDM)。论述了O -RHDM的基本原理、数学基础、组织和存储方法 ,并给出了具体的应用实例。