一种分析作战指控并发信息流的Petri网模型

目的对军事指挥控制系统进行评估和仿真。方法建立了一种描述系统的Petri网模型,进而分析在并发信息流中产生死锁的关节所在。结果为从理论上研究指控系统的效能、发现和排解死锁以及系统的评估和仿真等提供了可靠的根据,有效地保证了对系统的应用与研究。结论经部队仿真演习试用,效果良好,对于提高部队应急反应能力与组建新的指控系统具有重要的价值。     

基于时延Petri网的并行程序的分析

在分析并行程序时,很多问题需要考虑,如通信、同步、数据划分和分配、负载平衡、容错、异构、死锁及竞争等问题,采用一般方法是很困难的.时延Petri网能够很好地描述这些问题,使并行程序的分析变得简单,且有利于并行程序的分割.给出了并行程序的时延Petri网建模方法,并对一个实例进行了分析,得出了并行程序的Petri网模型,对并行程序的分析及验证打下了基础.     

排课系统的着色Petri网建模

根据玉林师范学院的实际情况,建立排课系统的模型,并利用建模工具着色Petri网对排课系统进行可视化建模,描述系统流程,以期对排课系统的开发有所帮助.     

作战融合系统的构成及其效能分析

给出了作战融合系统的主要构成对象的定义、作战系统的系统框图及运作过程，分析了天气和地形对作战融合系统效能的影响。并在此基础上，阐述了作战融合系统效能分析方法和过程。     

基于着色Petri网理论的通信装备维修系统建模

讨论了一种基于着色Petri网理论建立通信装备第二级维修子系统模型的方法。该方法通过运用着色Petri网理论的优势对原有的通信装备第二级维修子系统模型进行改造,克服了以往用普通Petri网建模的不足,细化了其系统模型的中间操作过程,有利于模型分析和仿真实现。     

基于时延Petri网的房地产业工期计划管理

分析目前用于工期计划管理的主要方法,并结合房地产开发项目的特点,提出基于时延Petri网(Timed Petri Net,TPN)的工期计划管理方法。该方法具有传统方法的特点,且解决了传统方法不能实时了解工期进展状况的缺点。论文最后通过模拟房地产开发项目验证了该方法在房地产开发工期计划管理中的适用性和有效性。     

用移位chebySheV正交多项式分析：非线性时延系统

本文有效地将移位chebyshev正交多项式应用于非线性时延系统的分析,给出移位chebyshev正交多项式的积分运算矩阵和时延矩阵,并将chebyshev正交多项式用于非线性时延系统的分析,将非线性时延系统的状态微分方程,转化为线性代数矩阵方程,从而完成了对非线性时延系统的分析,大大地简化计算量。给出实例说明这种方法的简便性,有效性。     

力觉临场感系统的小时延稳定性分析

从建立力觉临场感系统的时延动力学方程出发,利用差分微分方程组对力觉临场系统的时延稳定性进行分析,采用李亚普诺夫函数进行讨论,根据从机械手的动态状态自由运动状态及与环境作用状态两种情况分别进行讨论,确定了时延界限,实验结果验了时延界限的正确性。     

3级递阶舰艇作战系统控制结构

介绍了一种舰艇作战系统3级递阶集成控制结构,该结构自上而下包括系统组织级、资源协调级和设备执行级,形成了“信号-数据-知识”的3层信息递阶关系和“伺服-协调-组织”的3层控制递阶关系;同时融合了基于领域专家设计经验和指挥员作战知识的学习控制,结合“人在回路”设计实现人机智能的统一.针对作战系统分级递阶控制的信息度量、资...     

基于Petri网和定制技术的油田档案管理系统设计

针对油田数字化档案馆中的系统模块化程度低及灵活性差等问题, 提出基于 Petri 网和组件技术的功能定制开发方法。 采用面向对象着色 Petri 网实现档案管理的层次化建模, 并添加复位弧优化档案调用流程。利用关联矩阵和可达图及相关理论, 对模型进行合理性分析。 通过模型提取组件, 建立组件信息库。 利用信息库结合用户定制的业务逻辑, 实现系统对组件的有序调用, 完成业务定制功能。 应用结果表明, 该系统定制灵活、 适应性强、 档案调用速度快, 满足实际需要。     

基于Petri网的工作流建模及时间性能分析

为求得与实例到达率相关的工作流模型平均完成时间,对Petri网模型进行了扩展,定义了扩展时延Petri网,分析了工作流串联、并联、选择、循环4种基本模型,给出了利用排队论和随机Petri网理论计算工作流模型时间性能指标的新方法。应用该方法对工作流4种基本模型的实例进行时间性能评价,并在Exspect环境进行了模拟测试。实验结果表明,在4种模型中最大相对误差在2%左右,从而证明基于扩展时延Petri网的方法是分析工作流系统时间性能的有效方法。     

用于描述排队系统的广义Petri网

本文推广了Petri网的概念。新定义的广义Petri网可用于描述排队系统,文中给出了用广义Petri网描述排队系统,即建立排队系统的广义Petri网的步骤,还给出了关于广义Petri网的一些初步结果。     

基本拉动系统的Petri网模型及性能分析

基于Ｐｅｔｒｉ网理论,建立了基本拉动系统的Ｐｅｔｒｉ网模型;以基本拉动系统为对象,把其Ｐｅｔｒｉ模型转变为强连接事件图,对其性能进行了分析,从而寻求了一种利用所建Ｐｅｔｒｉ网模型对拉动系统性能进行分析的方法．为了验证分析方法的正确性,进行了案例仿真分析,证明了分析方法的正确性     

基于进程网系统的Petri网性质分析

Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集，以各个基本进程段集的输入和输出库所集的并集为新的库所集，以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念，讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。     

新型潜艇作战系统TMA功能设

文章在新型潜艇全综合、分布式作战系统的体系结构下，以声纳信息作为主要信息源，综述了纯方位TMA、多信息融合TMA、方位-多普勒TMA、噪声能量-方位联合估距、与匹配场声源定位相结合等几种实现TMA的方法，在此基础上对TMA功能提出了新设想，初步提出了一种TMA的功能设计。该功能设计从作战系统的角度出发开发TMA功能，充分利用了多传感器获得的信息，以及人的主观判断，增强了TMA的能力，使它能够更好地为指挥员战术决策服务，为武器的发射控制提供更加精确的目标运动要素解算结果。与通常的TMA设计相比，该项设计能够识别目标机动，增加了人机交互功能，并设计了便于观看TMA结果、监视目标机动和执行交互式跟踪改进的TMA显示画面。     

a阶时延逆系统的小波神经网络实现

研究采用小波神经网络（WNN）构造a阶时延逆系统的工程实现问题，并给出了a阶时延逆系统小波神经网络存在的充分条件。文中利用小波具有的时频局域化特性，完成小波神经网络的初始化，并去除网络中大量不必要的节点，使网络大大简化。仿真研究表明，该方法对a阶时延逆系统的实现具有良好效果。     

基于带抑制弧的时延着色Petri网的嵌入式系统建模与验证

结合着色Petri网和时延Petri网,提出了一种适合于复杂嵌入式系统建模方法。该方法在库所中表示数据、控制信息和时间戳,在变迁中引入时延、控制函数与变迁函数,利用抑制弧简化模型。该方法可以对复杂的嵌入式系统进行建模,还可以利用现有的Petri网技术分析系统性质。通过实际案例展示了该方法的应用和可行性。     

基于面向对象技术和Petri网的FMS系统建模

简述了面向对象技术及Petri网的优缺点,分析了利用Petri网进行传统FMS建模的缺陷,将面向对象技术与Petri网理论结合起来,并对实际的FMS建立了一个通用模型。     

线性时延系统用Hermite正交多项式的最优控制

本文论述了Hermite正交多项式的性质,并引入Hermite积分运算矩阵和时延运算矩阵,将Hermite正交多项式应用于具有二次型性能指标的时延系统的最优控制。该方法将函数积分的优化转为线性代数方程的优化,因此,大大减少计算的难度,文中给出了计算实例。     

PDM系统中动态工作流的分析与研究

针对产品设计流程与现实存在不一致而造成工作流在执行期间出现的动态变化问题,文章在深入分析和研究产品数据管理中动态工作流发生原因及其特征的基础上,重点研究了工作流动态变化的判定条件、实现方法以及工作流动态过程中异常冲突的解决方案,并通过实例验证了上述方法的有效性和可行性。