计及死区故障的3/2接线变电站的Petri网故障诊断方法

现有针对3/2接线系统的故障诊断方法较少考虑死区故障,在基于保护和断路器动作信息进行故障诊断时易造成误判。提出一种计及死区故障的3/2接线变电站的Petri网故障诊断方法,除了系统中母线、线路和变压器等元件,对死区位置也建立其加权模糊时序Petri网模型。针对3/2接线系统不同死区位置、不同类型故障的跳闸策略,利用保护动作信息和断路器辅助节点开合状态信息构造死区故障辨识逻辑。通过死区故障的逻辑辨识和保护及断路器的时序约束检查,对诊断模型的结构和参数进行修正。测试系统仿真算例和电网实际故障案例表明,该方法能够在保护和断路器不正确动作和警报信息不完整等复杂状态下识别真实故障元件,提高了诊断的准确度和容错性。

粗糙集结合Petri网的3/2接线变电站故障诊断研究

500kV及以上的变电站多采用3/2接线方式,其主接线结构和保护配置具有自身的特点。本文在分析了3/2接线系统保护动作策略的基础上,建立了故障诊断的初始决策表,并利用粗糙集的属性优选对该表进行最小约简,构建最优的Petri网模型,从而实现故障诊断。变电站故障诊断实例证明了该方法不仅能够准确诊断出3/2接线系统的故障元件,而且诊断速度快,容错性好。

基于随机Petri网的P2P存储系统可靠性模型和分析

可靠性是可信性研究的基本内涵之一,也是P2P(Peer-to-Peer)存储系统研究的关键。P2P存储系统结点具有高动态特征,结点频繁地上下线给系统的可靠性分析带来困难。结点的暂时离线会增加副本数量,从而导致系统不必要的损耗。较多的副本数量会增加系统的可靠性,但是同时会导致系统的一致性维护成本增加。而较少的副本数量又会导致系统的可靠性显著降低。针对副本的数量和可靠性之间的关系,采用随机Petri建立了P2P存储系统的可靠性模型并加以分析,围绕数据可靠性度量要求和数据副本的数量建立关系模型,从理论上指明研究系统可靠性的目的和基本原则,这可以在系统组建之初帮助优化系统的设计。

基于随机Petri网的SPN^2软件建模方法研究

随机Petri网(SPN)在进行系统性能分析时,其状态空间随着系统规模的增大而呈指数性增长,造成系统建模复杂。针对该问题,结合面向对象Petri网理论(OOPN)提出一种SPN2方法,与传统SPN方法相比,SPN2方法可进行分层及面向对象网中网建模,并应用该方法仿真高速列车在移动闭塞区间条件下GSM-R铁路无线通信系统的可靠性。

基于Petri网的C^2S性能分析方法研究

给出了用时间连续随机 Petri网和时间离散随机 Petri网计算系统稳态概率的方法 ,并将其应用于指挥控制系统(C2 S)的性能分析中 。

基于Petri网的模式编程在J2EE中的应用

目前普遍使用的软件开发模式(GOF的23种设计模式)由于应用场景的限制、语义不清、理论基础缺乏以及工具支持性的欠缺等原因,使得模式无法在软件开发过程中尤其是在复杂情况下进行进一步复用。文章提出了一种基于Petri网的模式编程,籍助于Petri网的理论基础,在实际的编程过程中使用Petri的基本风格,再针对具体的应用情况形成模式。因此模式的应用场景不再受限于GOF的创建、结构、行为的硬性划分,从而使得编程知识可以针对具体的状态、事件、对象等进行便捷的复用。文中首先介绍了模式的基本理论、Petri的基本知识,并给出了在J2EE应用中处理线性、环形、切离的应用实例,最后将模式编程与传统编程做了相应的比较。

2PL协议的Petri网模型

2PL协议是目前并发事务数据库广泛采用以保证并发调度正确性的封锁协议,该文给出了2PL协议的Petri网模型,并利用该模型给出可预防死锁的封锁序列。

AB协议的Petri网描述与J2ME可视化实现

在J2ME(Java 2 Mobile Edition)开发环境-J2ME Wireless Toolkit中,研究了Robert Esser[1]的Petri网开发软件包,在手机(或其他手持移动设备)上实现Petri网的可视化设计的原理,实现了著名的AB(交替比特)通信协议[6],并对该软件包的若干功能进行了改进.

满足2PL协议的无死锁事务并发控制Petri网模型

在建立满足2PL协议的数据库事务并发控制的Petri网模型后,通过分析资源的调度过程得到可能产生死锁的资源集,在模型上对其进行控制,从而得到无死锁的满足2PL协议的事务并发控制的Petri网模型.

A Petri Net Model for Part Sequencing and Robot Moves Sequence in A 2-Machine Robotic Cell

This paper deals with part sequencing and optimal robot moves sequence in 2-machine robotic cells according to Petri net graph. We have assumed that the robotic cell is capable of producing same and different parts. We have considered a new motion cycle for robot moves sequence which is the development of existing motion cycles in 2-machine robotic cells. The main goal of this study is to minimize the cycle time by determining the optimal part sequencing and robot moves sequence in the robotic cell. So, we have proposed a model based on Petri network.

一种基于模型的形式化测试序列自动生成方法及在ETCS-2中的应用

随着中国铁路列车运行控制系统的发展,对列控系统的研究越来越受到学术界的关注。本文提出一种基于模型的形式化测试案例和测试序列生成方法,并应用于ETCS-2级系统的测试中。首先提出有色Petri网(CPN)的建模规则,保证CPN模型适应测试生成的要求;然后,提出一种自动化的测试生成方法,包括测试案例自动生成算法和测试序列搜索算法。为提高整个测试过程的自动化程度,实现测试生成与测试执行的无缝结合,整个测试生成方法的输出是XML格式文件集。最后,以ETCS-2系统的车载子系统为例,运用CPN Tools工具完成建模,实现相应的算法,实现测试生成过程。结果表明,本文提出的基于CPN的测试方法能够在很大程度上提高测试过程的自动化程度,并且生成的测试案例集能够覆盖CPN模型反映的所有ETCS-2系统需求规范信息。

故障检测的Petri网模型与Petri网故障进程

Petri网进程是分析网系统运行规律的有力工具,能够准确的模拟系统的动态运行过程,且能反映故障传播的固有特性.分析故障在Petri网进程中的表现特征,提出了故障检测的Petri网模型和故障进程,并给出了故障检测、定位方法.首先,对Petri网进行扩展,提出了带输入输出的Petri网和故障检测的Petri网模型,为了描述该类Petri网的动态行为特征,给出了Petri网故障进程、2-进程以及故障检测进程的定义和构造方法;然后,基于故障检测进程给出了故障检测和故障定位的检测方法;最后采用该方法,给出了时序电路故障检测应用实例.

基于DM2的体系结构可执行模型构建方法

基于元模型的体系结构设计思想和基于可执行模型的评估方法是体系结构领域研究的两个热点,但当前的研究没有将两者结合起来。文章基于DoDAF2.0提出的元模型数据(Meta-Model Data,DM2),将元模型的思想和基于可执行模型的评估方法相结合,分析了基于DM2的逻辑数据与可执行模型各构建要素的对应关系,构建了基于DM2的逻辑数据模型直接转可执行模型的过程框架,重点研究了如何直接从体系结构底层数据转可执行模型的方法,从而为进行基于元模型的体系结构可执行评估提供模型基础,也为进一步实现体系结构自动化验证评估提供技术支持。实例验证了文章提出的方法。

P2P-VPN虚拟网络架构模型分析

随着P2P技术应用范围的进一步扩大,P2P(peertopeer)网络的不安全因素逐渐为人们所重视。针对这个问题,结合VPN(virtual private network)技术的优势,提出了一种P2P-VPN虚拟网络架构模型,面向具体应用建立虚拟网络组,不仅实现了组内P2P安全传输,还把P2P技术扩展到局域网应用领域。利用Petri网等形式化方法证明了安全机制的完备性,提出了模型的基本性质。原型系统的仿真结果表明,P2P-VPN架构虽然在P2P网络上引进了一系列安全处理过程,但不会造成数据传输率的大幅下降。

B2B电子商务中的虚拟价值链研究

分析了B2B电子商务对传统价值链的影响 ,比较了物理价值链和虚拟价值链之间的异同 ,运用“协作-交易模型”来分析虚拟价值链转移过程中的参与实体间的关系 ,在此基础上建立了价值链整合、转移过程的企业价值网络模型 ,最后建立了基于Petri网的IPR_PN模型来对价值链迁移进行仿真分析。

基于Petri网的Tapestry系统性能评价

P2P(peer to peer)技术对网络资源的充分利用使得其越来越受到人们的关注,基于P2P的系统各自特点,Tapestry是优秀的结构化P2P系统之一,它可以实现与位置相关的资源共享。由于可以很容易的在其上面搭建一些P2P的应用,其应用广泛。采用比排队论更精确的Petri网模型对其性能进行分析和评价。

分布式A2C2决策队设计

现代战争的特点是高度的分布式协同作战。面对瞬息万变的战场需求 ,完成分布协同作战的指挥自动化系统 ,就必须能够自动适应战场需求变化 ,不断改变指挥系统组织结构。因此 ,实现指挥自动化系统的中心工作是建立 C2系统自适应变结构决策队组织。论述了建立自适应分布式指挥决策组织结构的有关问题 ,研究了在分布式条件下 ,自适应 C2决策队结构的设计。

基于Petri网的带宽共享系统设计

针对局域内网单台计算机下载外网资源速度慢的问题,本文以Petri网为系统逻辑设计工具,提出一种基于P2P(Peer to Peer)分布式结构的外网带宽共享协议。该协议指定内网多台计算机在外网下载所需文件的不同片段,再由局域内网传输给任务发起者所属计算机进行原文件整合。协议充分利用多台计算机的并行下载能力以及局域内网的快速传输能力,从逻辑层面提高了单台计算机的下行带宽。本文进一步通过基于Petri网的可达标志图,S_不变量和流程图方法对协议的逻辑正确性和行为许可性进行了验证。

自适应C2队结构分析

阐述了自适应队结构的一般性概念 ,并以“空中阻击计划”为例 ,讨论了C2队的自适应模式、冗余结构。