一种基于Petri网模型的系统动态安全性分析方法

针对目前安全分析方法通常只能给出导致系统失效的事件发生序列,而对系统运行过程中的一些时序、动态等因素考虑不足等问题,提出了基于Petri网模型的系统安全性动态分析方法,并结合系统状态可达树,建立了系统动态安全性分析模型,得出导致系统失效的所有可能事件的序列及其发生概率.最后,以实例验证了该方法的可靠性和有效性.     

CPN在导航装备维修保障效能中的应用

有色Petri网(CPN)作为目前离散动态系统建模中最活跃的建模工具之一,不仅有充分的模拟能力和丰富的分析方法,还便于使用和理解.首先介绍了有色Petri网的一些基本知识,然后运用有色Petri网的建模理论对导航装备维修保障系统进行了描述和建模,并运用Design/CPN对具体实例进行了仿真实现,其维修保障效能结论证明了建模思想的可行性.     

令牌式计算机局部网的仿真研究

本文介绍了令牌式计算机局部网仿真模型的建立和某些初步的仿真结果,同时对令牌的顺序传递两种方案进行了比较。     

C4ISR分布式信息融合系统拓扑结构设计

提出一种构造分布式信息融合系统的拓扑结构的新方法.首先,简要介绍了该问题的研究现状;然后,在对目前使用的网络结构进行深入分析的基础上,提出了基于多层de Bruijn网的分布式信息融合系统网络拓扑结构及其构造方法;最后讨论了上述网络结构的路由问题.     

炮兵指挥自动化系统功能分析的Petri网表示

炮兵指挥自动化系统是C3I系统的一个重要组成部分 ,C3I系统需求的功能分析的方法也完全适用于炮兵自动化指挥系统。本文首先对C3I系统需求的功能分析的方法以及功能分析的Petri网表示作一个简单的介绍 ,而后运用这个方法结合我军的实际情况及战术原则对炮兵指挥自动化系统进行功能分析 ,并通过Petri网表示功能分析。     

可变比特率编码的视频信号在ATM网中的带宽分配

在ATM网中,是否接受一个新呼叫关键在于网络能否提供满足传输性能指标的带宽。因此,能够找到一个既简洁又准确的带宽分配算法是一个很吸引人的问题。对于可变比特率编码的视频信号,若已知比特率概率密度,可用卷积计算所需分配的带宽,但在网中很难实现卷积运算,幸运的是比特率概率密度函数近似正态分布,因此简化了带宽分配算法,本文对这种算法的合理性、误差问题进行了分析,对公式提出了修正看法。     

随机 Petri 网的瓶颈及其最大处理能力

介绍了随机Ｐｅｔｒｉ网瓶颈的概念,给出了一般随机Ｐｅｔｒｉ网最大处理能力的数学模型,针对一类特殊结构的随机Ｐｅｔｒｉ网,导出了分析其最大处理能力和瓶颈的快速算法,最后给出了一个防空决策组织信息处理瓶颈与处理能力分析的实例。     

Petri网的活跃性和非死锁性的判定算法及证明

用Petri网分析系统的逻辑特性时很重要的是分析它的活跃性、非死锁性及安全性。在此提出两个算法—Petri网深度优先算法和活跃性判定算法,并加以证明。     

遥感数据处理任务调度的Petri网模型及求解算法

为了对多源遥感数据的处理任务进行有效的调度和管理,提高处理资源的利用率,根据遥感数据处理任务调度问题的特点,采用Petri网对该问题进行形式化描述,建立了遥感数据处理任务调度的数学模型,根据该问题的多目标特性,采用蚁群算法进行求解.给出仿真实例,将蚁群算法的求解结果与启发式算法和模拟退火算法的求解结果进行比较,验证算法...