Capacitated stochastic coloured Petri net-based approach for computing two-terminal reliability of multi-state network

Classical network reliability problems assume both networks and components have only binary states,fully working or fully failed states.But many actual networks are multi-state,such as communication networks and transportation networks.The nodes and arcs in the networks may be in intermediate states which are not fully working either fully failed.A simulation approach for computing the two-terminal reliability of a multi-state network is described.Two-terminal reliability is defined as the probability that d units of demand can be supplied from the source to sink nodes under the time threshold T.The capacities of arcs may be in a stochastic state following any discrete or continuous distribution.The transmission time of each arc is also not a fixed number but stochastic according to its current capacity and demand.To solve this problem,a capacitated stochastic coloured Petri net is proposed for modelling the system behaviour.Places and transitions respectively stand for the nodes and arcs of a network.Capacitated transition and self-modified token colour with route information are defined to describe the multi-state network.By the simulation,the two-terminal reliability and node importance can be estimated and the optimal route whose reliability is highest can also be given.Finally,two examples of different kinds of multistate networks are given.     

基于同步网的虚拟拆卸过程建模方法研究

针对大型复杂装备虚拟拆卸过程建模问题,分析了其在拆卸作业的顺序关系、逻辑关系和语义表示等方面的需求。基于同步网给出了虚拟拆卸网(VDN)的定义和规则,其中变迁表示了维修作业中的拆卸动作,库所表示拆卸过程中部件的状态,同步器定义了拆卸序列的选择和并行关系。VDN能够确定拆卸序列、描述维修动作之间的逻辑关系,具有拆卸作业的具体语义,包含了维修知识信息。详细给出了VDN建模的步骤和简化规则,并通过一个VDN建模实例对方法和可行性进行了验证。     

电力系统故障的计算机新算法

本文提出了计算电力系统对称和不对称故障的一种新算法,其特点是数学模型非常简单,既可计算正常潮流又可计算故障潮流,把正常潮流和故障潮流统一在一个数学模型中.     

Horn子句逻辑程序的Petri网模型

Horn 子句逻辑程序 H 可以逻辑等价地转化为 Petri 网模型 M,在 M 中从初始标识 N_0到目标变迁/g(?)形成的发射序列对应着求解 H 的调用序列,在 M 中存在变迁不变式 X≥(?),并且 X(tg)≠0是 H 有解的充要条件。     

关于变形监测网网形的动态优化设计问题

本文针对变形监测网的特点,阐述了变形监测网的网形设计问题。根据变形参数的要求精度和允许的误差相对变化量,计算出网点的允许变化量,指出,只有当变形点的位移量小于同点的允许变化量时,才可进行监测网网形设计。     

C1000H可编程控制器上位机通讯的开发与研究

可编程控制器联网系统中的上位通讯功能，是实现控制系统上位计算机集中监视、集中控制和集中管理的关键．本文以ＳＹＳＭＡＣ－Ｃ系列中的Ｃ１０００Ｈ可编程控制器上位通讯为例，探讨了有关软件硬件的原理及组成．在通讯协议及网络硬件的基础上，作者通过上位机的可编程异步通讯接口８２５０开发了以查询式和中断式两种方式分别实现的Ｃ１０００Ｈ上位通讯软件．经过系统的调试与运行，证明方法正确、方案可行，可以方便地进一步实现各种上位操作功能．     

基于Petri网的离散事件系统控制理论

建立在Ｐｅｔｒｉ网逻辑模型上的离散事件系统控制理论是近年来发展起来的离散事件系统控制理论的重要组成部分，具有适应面广和易于实用化的特点，本文首先介绍该理的Ｐｅｔｒｉ网模型，然后概述该理论的主要成果。     

设计方案静态分析公式的改进

本文分析了动态分析法、静态分析法对收入不同各设计方案经济效果评价的不同原因,建立了三个改进的静态分析公式.     

用收敛类描述第二可数公理

用由敛类刻划了满足第二可数公理的空间，并得到一个充要条件。     

Petri网的广义笛积运算（Ⅱ）

本文提出Ｐｅｔｒｉ网的两种新的广义笛积运算，讨论了它们的代数性质，这些结果可以作为受控Ｐｅｔｒｉ网的分析或合成的依据。