随机Petri网对装备维修保障的建模与分析

利用Petri网与马尔可夫链的同构关系,采用Petri网与马尔可夫链理论相结合的维修保障系统性能分析方法,对系统性能有效评估提供了理论依据。通过两个不同实例分析了系统状态空间、各状态在稳态下的期望概率、系统可靠性和维修人员的工作强度。实例表明,相比传统的建模方法,在分析装备维修保障各状态间的逻辑关系和系统动态过程中,随机Petri网具有显著的有效性和优越性。     

基于随机Petri网的冗余备份系统可信赖性研究

可信赖性的度量能客观反映冗余备份系统的可信性,是评价冗余系统服务能力的主要准则.随机Petri网(SPN)对系统的并发性、异步性和不确定性具有很强的动态分析能力,特别适合系统建模和可信赖性分析.讨论了冗余备份系统的概念及其随机Petri网描述,采用SPN对冗余备份系统进行建模和分析,在模型分析的基础上给出冗余备份系统的可靠性、可用性、可生存性、平均故障间隔时间等各种可信赖性重要指标.实例研究表明备份部件所处不同的状态会导致冗余备份系统具有不同的可用性.     

Petri网的一种硬件实现方法

Petri网是一种信息流模型，广泛应用于离散事件动态系统建模及控制领域．随着CPLD、FP-GA等可编程逻辑器件的出现，为Petri网的硬件实现提供了可能．从Petri网的原理出发，根据库所与变迁的本质特点，提出了一种Petri网硬件实现的框架，并详细阐述了如何用硬件描述语言VHDL实现C／E系统、P／T系统以及T-时延等几种典型的Petri网系统．最后用一个带有时延的P／T系统来验证此种方法的正确性．采用这种方法对离散事件动态系统控制器的设计，以及片上并行控制器、多处理器芯片的设计都具有十分重要的意义．     

基于广义随机Petri网的轨道车辆门系统可靠性分析

轨道车辆车门系统的安全性和可靠性极为重要。采用广义随机Petri网建立轨道车辆车门系统工作过程的可靠性模型,描述系统的静态结构及动态运行过程;对该模型进行Monte-Carlo仿真计算,计算系统在各时间段的可靠性指标。研究表明,应用Petri 网建立的车门系统可靠性模型结构清晰,拓展性强,便于仿真实现,能够为车门系统设计及维保安排提供指导。     

基于随机Petri网的煤仓储运系统可靠性分析

由于影响煤仓储运系统的故障因素多带有并发性、异步性及随机性的特点,所以定性和定量分析煤仓储运系统的可靠性较为复杂.该文利用随机Petri网构建了煤仓储运系统的模型.该模型直观地反映了煤仓储运系统的实际组成及其运行状态,讨论了可修复条件下系统的状态及其转换关系,揭示了煤仓储运系统可靠性的构成并对其可靠性问题进行深入地分析,从而得出系统可靠度的表达式.最后,结合具体煤仓实例分析了模型及其算法的可行性,得出了改善实际煤仓储运系统的相关建议.结果表明,此方法为分析煤仓储运系统可靠性提供新的途径.     

基于通信的列车控制系统数据安全影响分析

为在设计阶段验证交互数据在系统中的安全特性，基于有色Petri网与失效传播模型提出了一种对系统模型自动分析得到输入数据失效最小割集的安全影响分析方法。首先，建立系统的有色Petri网模型，通过对库所数值离散化处理得到用例，对变迁进行单元测试得出失效行为函数，获得具有失效行为变迁的失效传播有色Petri网；然后基于有色Petri网模型的状态空间，通过失效空间生成算法与变迁回溯法，实现由模型状态空间到失效状态空间，再到失效状态树的转换，并通过失效状态树的合并与计算，获得系统失效最小割集。最后通过实验，比较不同数据安全保障措施下系统的失效最小割集变化，验证了安全保障措施对系统安全的作用，实验结果证明了该分析方法的正确性与有效性。     

一种基于离散事件模型的柔性装配系统容错控制策略

深入研究了柔性装配系统中错误检测和自恢复的同步Petri网模型．通过将系统中的传感信息和状态持续时限建模为事件集，讨论了通过过程监控生成错误恢复子网的系统容错设计方法，并对具体的错误恢复子网实施的外部条件进行了讨论．试验表明，该方法有助于提高柔性装配系统的可靠性，并为柔性装配系统布置提供了相应的设计依据．     

基于时序模拟法和Petri网的电气主接线可靠性评估

提出了用时序模拟法对电气主接线进行可靠性评估。首先按照系统运行的时间顺序进行采样，得到随时间变化的系统状态，并用离散的时间步长法模拟系统状态，不仅可以反映系统的实际运行过程，而且便于考虑与时间有关的问题；其次利用有色Petri网模型以及基于该Petri网的电网拓扑分析算法，对主接线由于开关变化引起网络变化的动态过程进行分析。计算结果表明了该算法的正确性和有效性。     

基于一阶流体随机Petri网的回报建模

从回报机制与回报变量的定义、回报模型的建立等方面提出了基于一阶流体随机Petri网的回报模型的一般性建模方法．该方法既可用于建模马尔科夫随机系统，也可用于建模非马尔科夫随机系统．在一阶流体随机Petri网回报模型中，可建模率回报和冲量回报，并可允许累积回报影响被建模系统的动态行为以及回报率本身．     

基于随机Petri网的流通加工系统建模研究

流通加工系统是一个动态离散系统,影响该系统的因素多具有并发性、异步性及随机性的特点,所以定性和定量分析流通加工系统较为复杂.以三华农副产品加工基地农副产品的一次流通加工为研究背景,利用随机Petri网构建了反映该企业流通加工系统的实际组成及运行状态的随机Petri网模型,并对该模型进行了定性分析和定量分析.其中,定性分析是根据连续时间的随机Petri网同构于连续时间马尔科夫链的特点对模型的活性、可达性、有界性等进行了分析;定量分析是利用带有模糊参数的随机Petri网求解出库所繁忙的概率、系统变迁的利用率、系统平均延时时间及流入系统的标记流速.根据所得数据分析可知:应进一步优化加工环节,流入系统的标记流速还应加快.     

基于随机Petri网的系统性能评价

性能评价是计算机网络和计算机系统研究与应用的重要理论和支撑技术。综述了作者在基于随机 Petri网(SPN)的系统性能评价方面的研究工作 ,内容包括多服务器多队列网络、 SPN非乘积解系统的判定与界限求解、非乘积解系统模型的分解和近似求解、网络系统自相似业务到达、SPN模型的精化设计、含有非 Markov过程的排队 Petri网、基于 SPN的工作流系统、基于 SPN模型的缓冲优先调度策略、扩展时段时序逻辑的推理机制等方面。今后应加强对非Markov模型、综合模型及分解压缩技术等的研究     

互谱密度矩阵间关系的一个新推法

本文对一般线性阻尼、激励为弱平稳随机过程的多自由度振动系统,用状态空间法和传递函数法进行分析,得到了(自)互谱密度矩阵间关系的完整表示式。     

基于知识管理的校园网络系统模型

以知识管理理论为指导,提出了一个以知识共享系统模式构建的校园网络系统管理层次模型,并利用随机Petri网的理论和分析技术对所提出的层次模型进行了形式化描述和性能分析,进而获得使校园网络系统达到平稳状态的参数条件.     

数据网格中存储I/O的SPN建模与性能评价

针对数据网格中存储资源的结构、协议和I/O模式的复杂性问题,分析了存储网络的并行存储I/O请求模型,采用随机Petri网(SPN)建立了SPN并行存储I/O传输的数学模型,描述了系统请求响应时间与系统负载、网络带宽和节点处理能力之间的关系,然后通过排队论进行了并行I/O的性能分析,最后归纳了影响存储网络系统I/O性能的因素,在并行策略和数据组织与分配等方面提出了提高整体存储性能的改进方法.为改进提高数据网格的整体存储I/O性能提供了有效的建模方法和具体的理论依据.     

运用时空观分析排球成功拦网的实质

运用科学的时空观对排球比赛中的成功拦网实质进行研究和分析。发现在拦网的分析时空、争夺时空、反限制时空3个过程中,分析时空过程是一种心理过程,属于排球意识的范畴;争夺时空过程空间是关键因素;反限制时空过程时间是关键因素。排球成功拦网的实质是一种守方对时间、空间和球的三维反限制,它包含着拦网队员与进攻队员之间的技术对抗、意识对抗、心理对抗和身体素质的对抗。     

基于SPN的软件过程模型及蒙特卡洛仿真

研究了软件过程的随机petri网(SPNs)模型及仿真分析方法，利用SPN基本原理与描述方法，分别建立了软件过程基本活动SPN模型以及各种关系诸如顺序、并列、选择等的SPN模型；讨论了SPN模型的仿真策略；采用蒙特卡洛方法分析了过程系统的进度与资源冲突等问题，并讨论了该方法的精度。     

具有随机切换的泛函Liénard方程的平均法

利用分离-聚合的思想、泛函Itô公式和平均法,研究具有随机切换的泛函Liénard方程的平均法.由于此系统 Markov链所处的状态空间很大且具有泛函项,直接处理原系统是非常复杂的.在一定条件下, 证明原系统收敛到一个极限过程,此极限过程相较于原系统更利于计算和分析,进而通过研究极限过程得到原系统的性质.     

工业计算机控制器及其通讯网络设计

利用状态空产是转移理论设计工业计算机控制器（下位机）主控程序和通讯网络程序，该控制器与上位连连网可构成分散型控制系统，应用于工业锅炉和化工生产过程控制，都取得了满意的结果。     

多级保障系统的广义随机Petri网建模与分析

针对多级保障系统的建模及其优化问题,基于广义随机Petri网建立了三级维修二级库存保障系统的工作流模型. 根据不同等级的维修工作流,提出了广义排队时间的概念,运用扩展的排队模型分析各维修流程的性能等价时间. 为了保证单元的可用度,提出了以最小化缺货次数为目标的优化策略. 采用随机Petri网分析方法对模型进行规约优化,并构造同构的马尔可夫链,求解稳定状态概率分析系统性能,获得一种单元可用度的新计算方法.