基于时间Petri网的电-气综合能源系统薄弱环节辨识

为有效辨识电-气综合能源系统薄弱环节,防止级联性重大事故,提出一种基于时间Petri网的电-气综合能源系统薄弱环节辨识方法。利用Petri网对系统做抽象化建模,确定故障源的关联区域子系统,并构建基于级联故障路径的时间Petri网模型,描述电-气系统故障传播的动态特性和时序差异,将级联危害评价计算融入到Petri网的运行过程中,寻找引发级联失效的关键环节,以IEEE30节点和25节点天然气系统组成的电-气耦合系统仿真分析,验证所提方法的有效性。

基于时间-有色Petri网的电梯系统的建模与分析

根据时间Petri网和有色Petri网的知识 ,提出了基于时间 -有色Petri网 (TCPN)的电梯运行模型。依据此模型将电梯在每层的运行情况分类说明。电梯如何运行是由控制命令统一调度 ,控制命令是由与电梯运行状态相应的颜色集组成。最后举例说明此模型可在单台电梯控制系统和电梯群控系统中应用。

CB3463-1车床转塔刀架故障诊断Petri网模型研究

在具有大量先验知识和经验的基础上,为解决不确定条件下CB3463-1车床转塔刀架的故障诊断问题,引入了Petri网理论,建立了针对CB3463-1车床转塔刀架故障的诊断模型,并用实例证明了该模型的可行性和有效性。运用Petri网的逻辑推理和矩阵运算功能,在一定程度上解决了故障与其原因的"非一一对应"问题。

时间Petri网与GA-PSO算法相结合的并行测试

并行测试任务调度方案在自动测试系统中一直是尚未解决的难题。基于Petri网理论的基础,建立了并行测试的时间Petri网模型,并且首次将遗传-粒子群优化(GA-PSO)算法引入到时间Petri网的变迁序列的寻找过程中,快速地求得了最优调度方案。仿真结果表明,本算法能够以较大的收敛概率快速地收敛,最终得到最优变迁序列。

有色—时间Petri网航班延误模型与波及分析

基于有色Petri网和时间Petri网理论,给出了单个机场起飞的多架飞机执行航班的有色Petri网模型,建立了多机场多航班有色—时间Petri网模型,提出了航班延误波及分析方法,用于判断当源机场发生航班延误时,从源机场起飞的各个飞机的下游机场是否出现航班延误,并分析和预测延误时间。仿真实验表明,松弛时间越大,越能够有效吸收延误波及;初始延误时间越长,波及下游机场个数越多。

基于时间参数的CTCS-1级RDC设置方式的研究

既有线车站分布情况复杂,存在一站多场、多站密集分布的情况,仅依据CTCS-1级区域列控数据中心(RDC)技术规范参数设置RDC,无法满足CTCS-1级列车在RDC切换时车地通信与控车数据更新需求.深入剖析基于单电台的CTCS-1级RDC列车切换场景,采用时间有色Petri网形式化方法对控车权移交过程参与对象进行模型抽象,通过CPN-Tools环境下的模型仿真,挖掘时速200km以下CTCS-1级列车移交过程车地通信中断时间范围,并将通信中断时间约束转化为距离约束,通过分析时间与距离约束探究既有线一站多场、多站密集分布场景下RDC的设置方式,为既有线RDC管辖边界点的选定提供理论依据与数据参考.

用Petri网方法解决资源量确定的时间资源优化问题

本文利用Petri网便于描述并发现象和模拟平行系统的特点,在文献的基础上,用Petri网理论和分析技术解决网络计划中的时间—资源优化问题,给出了资源量确定的时间—资源优化的Petri网方法。

求解0－1规划的Petri网方法

本文提出了０－１规划的Ｐｅｔｒｉ网模型，并用Ｐｅｔｒｉ的可达性树来求０－１规划的最优解。此方法优于隐枚举法和分枝定界算法，因此为０－１规划的求解提供了更好的方法。

一种兼顾协议正确性验证和性能评估的Petri网方法

基于Petri网的协议形式化分析方法由于其精炼、简洁和无二义性逐步成为分析协议的一条可靠和准确的途径,但是协议的形式化分析目前研究还不够深入,协议分析的两个重点内容正确性验证和性能评估所需要的模型不同,一种模型只能解决一方面的工作。为了有效地解决这一问题,文中提出了一种用原型Petri网作为协议验证模型的思路和方法,在不改变原型Petri网结构的基础上对变迁赋予发生时延,解决了协议的性能评估问题。本文还给出了协议验证内容与Petri网分析方法的对应关系,并对0-1停止等待协议进行了详细的分析,最后把0-1停止等待协议的原型Petri网模型转化为时延Petri网,对协议的性能进行了评估。

GJBD-6-1型高压接地保护开关柜的研制

GJBD—6—1型露天矿高压电网单相接地保护多路供电开关柜,将电力、电子、无线电技术相结合,在技术上有突出的实质性特点和显著的进步,获得了国家发明专利。达到了国际80年代矿用开关柜水平,将于1990年5月在第十四届国际采矿学术会议展览会上展出。 露天矿采用本开关柜可以缩小停电范围,减少停电时间,提高设备作业率,有较好的经济效益,是矿山采场一种较理想新型保护设备。 本文介绍该开关柜研究的目的意义,工作原理,技术性能,生产考核工业试验和结论。

基于WF-SPN的装备调拨供应模型

装备调拨供应是部队装备保障的重要组成部分,其时间性能对装备保障有重要影响。总结了工作流-随机Petri网模型的定义和4个基本结构形式,分析了其性能,进而在分析装备调拨供应特点的基础上,从顶层和部队自领2个部分对装备调拨进行了分析,运用工作流-随机Petri网模型对装备调拨供应的流程进行描述,分析了模型的平均时间性能。该模型的应用,可以为提高装备调拨供应效率,保障部队战斗力提升提供支持。

基于RCEPN的资源配置优化模型与方法

由于系统资源变化会限制传统随机Petri网的应用,在对传统随机Petri网研究的基础上,提出一种带有资源约束的扩展Petri网(RCEPN)方法,使RCEPN中的每个变迁都有一类资源关联,并且变迁的实施速率与资源数量密切相关.RCEPN不仅使状态空间缩小,降低复杂性,也可使系统中任务和资源间的逻辑关系更加清晰,便于流程描述.利用排队论和数学规划给出了流程优化的数学模型,形成了解决资源优化配置问题的0-1规划,使RCEPN系统的响应时间最短.通过采购业务流程实例,验证了模型建立和优化方法的有效性.

K(0,1)-TPN方法在三防系统安全性分析应用

三防系统软件是坦克装甲车辆防护系统中的安全关键软件,对其安全性分析是十分必要的.定义了k(0,1)—时间Petri网(K(0,1)-TPN),该网是对时间Petri网的一种扩展,对于输入不同、运行过程相同及其控制机构相同或不同的系统分析建模具有普遍的应用价值.应用k(0,1)—时间Petri网及其动态的运行规则,并采用合成技术建立起了三防系统的模型.通过对运行时序、状态转移等的分析,得出了若干个三防软件系统存在的危险状态,并对软件及其系统的修改提出了建议.