一种不确定时段的扩展时段时序逻辑:时间Petri网模型表示和线性推理

针对点 -时段时序逻辑的不足 ,提出了一种新的时段时序逻辑——扩展时段时序逻辑 ,对不确定时间段发生的事件具有较好的描述能力 .时间 Petri网模型表示的引入 ,增强了扩展时段时序逻辑的描述直观性及分析能力 ,为进行线性推理提供了有利的工具 .同时还提出了几种变迁间的实施推理规则 .运用这些规则可以简化复杂时序关系的 Petri网模型 ,并在线性时间复杂度内定量地得到各变迁间的时序逻辑关系 。

基于时间扩展Petri网的实时嵌入式软件体系结构建模及可靠性评估

软件可靠性是软件质量评估最重要的指标之一,随着软件工程和组件重用技术的发展,近年来基于体系结构的软件可靠性评估已经成为工程研究的热点之一。为有效地提高软件可靠性,调研现有体系结构的可靠性评估模型,给出了现有体系结构模型的分类和模型代表,并分析了现有模型的不足。由于Petri具有良好的扩展性并且对异步和并行软件有良好的描述性,因此重点研究Petri网可靠性评估模型,通过划分时间变迁和瞬时变迁,并引入时间相关的可靠度,包括延时可靠度与时序可靠度,对Petri网进行了扩展,给出了时间扩展的Petri网进行体系结构建模方法。通过研究组件状态和系统可达状态的关系,创建可达状态转移矩阵,对系统进行可靠性评估。将所研究的方法应用于某航电嵌入式系统软件中,完成了体系结构建模及可靠性评估,并通过误差分析验证了该方法的有效性及准确性。

基于HTCPN和Extend的装备保障系统建模与仿真

构建支撑装备保障问题分析和决策的仿真平台是装备保障研究和实践的一条必由之路。装备保障系统仿真模型是仿真平台的重要组成部分。针对装备保障系统的运行流程及其层次性特点,基于层次时间着色Petri网(HTCPN)提出了一种建立在层次化、模块化和标准化基础上的保障系统Petri建模思路,在此基础上,基于Extend平台设计了装备保障系统仿真模型,说明了基本功能组成模块。最后,以舰艇海上巡航任务条件下的装备保障系统为例,实现了仿真模型NEISSM,开展参数敏感性分析仿真试验,获得了较好的结论,证明了仿真模型设计的合理性和可行性。

基于Petri网的关键路径求解算法

首先把工程规划中有向网络转换成带时间状态的Petri网,利用Petri网的分析方法对其不合理之处加以剖析,修正其中可能蕴含的错误,接着运行该网络并进行剪枝优化,自动获取关键路径。该方法比传统算法的执行效率要高,更易于实现。

扩展有色、时间Petri网及其在FMS建模中的应用

提出一种改进的有色、时间Ｐｅｔｒｉ网——扩展有色、时间Ｐｅｔｒｉ网，有效解决了模型规模和信息显示容量之间的矛盾，图形简洁紧凑，内涵丰富。

扩展Petri网在实时数据库并发控制中的应用

提出了初始化弧的概念,并将这一概念引入高级时间Petri网中,从而给出了扩展的高级时间Petri网(Extended High-Level Time Petri Nets-EHLTPN)。此外,在EHLTPN模型中,变迁所附加的常量时间区间扩展为变量时间区间。用EHLTPN对实时数据库系统的并发事务进行了建模,所建模型不仅可以描述并发事务在数据存取中所出现的各种现象,而且还可以实现2PL-LW协议所具有的可避免并发事务的无用重启、无用等待、无死锁的等功能。

基于扩展时间Petri网的软件潜在分析

针对SSA技术存在的缺陷,根据软件系统与Petri网的相似之处,提出了基于Petri网的SSA技术。首先概述了SSA技术的发展现状,然后定义了一类扩展时间Petri网,定义了软件的设计矩阵和Petri网的可达状态矩阵,通过比较设计矩阵与可达状态矩阵找到软件潜在状态。仿真分析证实了方法的有效性和可行性,最后提出了SSA技术有待解决的问题。

一种构造时间Petri网状态类的方法

提出一种基于全局时间的时间Petri网状态类构造方法——扩展时间戳状态类方法。该方法通过添加变迁的同步使能信息到时间戳状态类,并修改可实施条件和实施规则,解决了时间戳状态类方法中同步使能变迁的可实施性问题。

基于扩展模糊时间Petri网分析冲突事件的不确定性时间知识

为有效处理冲突相关的不确定性时间知识,在已有研究基础上,基于扩展模糊时间Petri网,引入变迁的模糊触发区间以表示使能变迁触发的不确定性,结合模糊时间函数和可能性值的运算来描述和分析各冲突事件发生的不确定性。能够针对冲突事件的各种时间不确定性问题进行定量分析,可以解决复杂情况下的时间知识推理和验证。其相对于已有方法具有冲突分析精确、计算简单、适用面广的特点。

基于扩展时间Petri网和故障信息网的保护动作分析方法

继电保护动作信息是电网故障后故障诊断和事故分析最重要的依据,随着继电保护和故障录波信息网的建立,丰富的录波信息为保护动作分析提供了基础。Petri网理论具有完善的理论证明依据,是离散动态系统建模的有效工具。文中提出了一种基于扩展时间Petri网(ETPN)的继电保护动作过程建模,综合利用故障信息,利用Matlab进行保护动作行为分析的方法。算例结果表明,该方法进行保护动作行为分析清晰直观、有效。

基于时间Petri网的物流系统建模与仿真实例

介绍一种使用时间Petri网对物流系统进行建模的方法。Petri网对带有并发性、异步性、分布式和非确定性的系统具有较强的描述能力。但在以往对物流系统的建模中,一般都采用原始Petri网,未考虑时间因素,因而只是从逻辑层面上描述物流系统,而缺少对系统的时间特性描述。选用时间Petri网对物流系统进行建模,模型能更加符合实际情况。实例和仿真结果验证了该方法的有效性。

基于扩展模糊时间Petri网的故障诊断

针对故障诊断中可能出现的故障原因漏判问题,提出一种基于扩展模糊时间Petri网的故障诊断算法。该算法通过检查模糊时间戳确定故障时刻所有故障原因的状态,结合正向和逆向推理最大程度地解决故障原因漏判问题,从而确定主要、次要和其他故障原因。燃气轮机的故障诊断实例验证了该算法的有效性。

扩展模糊时间Petri网的定义和性质

随着装备的复杂程度不断地提高,对装备的故障诊断难度也不断加大,容易出现故障原因漏判的现象。为解决此问题,文章在模糊时间Petri网的基础上,通过在库所和变迁中引入模糊时间戳对其进行扩展,建立扩展模糊时间Petri网模型,并给出相关计算和运行实例。

扩展时间Petri网在CSMA/CD建模中的研究

对CSMA/CD的建模有利于对协议本身进行分析和评价,在对存在冲突事件的系统建模时,利用普通Petri网不能很好地反映和解决冲突。该文介绍一种扩展时间Petri网(ETPN),它利用在弧上赋予时间函数来解决冲突事件发生,然后用ETPN来对CSMA/CD进行建模并对模型进行分析。在较复杂的系统中,ETPN能够反映并解决事件的冲突,具有灵活、直观、可扩展性好等优点。

不确定性时间知识推理和验证算法及列车群建模分析

时间知识的推理和验证技术对列车群行为建模分析具有重要意义,是其实施关键。本文在原来工作的基础上,引入模糊时间区间、扩展模糊时间Petri网(EFTPN)及可能性值运算等内容,提出了一种基于EFTPN的不确定性时间知识推理和验证算法。该算法效率高,占用空间少;不但能够进行不确定性时间信息的精确推理,而且适用面更广,可以较好解决复杂情况下的时间推理和验证问题。

基于EOPN的晶圆制造系统实时调度仿真平台

针对半导体晶圆制造系统(SWFS)的组织构成、加工过程和生产模式的典型特点,以拓展型面向对象Petri网(EOPN)为工具对该复杂系统建立了模型,在准确描述晶圆制造过程的基础上采用面向对象技术设计并开发了一套SWFS实时调度仿真平台.该平台不仅能够真实再现半导体晶圆的反复重入型加工过程,而且能够集成多种实时调度与派工控制算法,以准确高效的仿真计算进行算法测试和相应系统绩效的评价与预测.SWFS实时调度仿真平台的开发成功对SWFS的建模、调度和控制等相关研究起到积极的支持作用.

扩展时段时序逻辑的推理机制

该文在扩展时段时序逻辑的基础上提出了一种推理机制 ,这种推理机制基于时间 Petri网模型及基本不等式规则 ,可由一组已知的扩展时段时序关系推出一些未知的扩展时段时序关系 ,对不确定时间段内发生的事件及其相互关系具有较好的描述能力 .这种推理机制的优势在于定性地对扩展时段之间的时序关系进行推理分析 .利用时间 Petri网模型 ,可以对复杂时序逻辑关系进行化简 ,比单纯利用不等式规则的推理更直观 ,也更简单 。

一种基于EFPN的电力系统故障诊断方法

针对电力系统故障诊断中存在的告警信息错误或缺失,以及信息出现的时间不确定等问题,提出一种基于扩展模糊Petri网(EFPN)的故障诊断方法。该方法通过将模糊规则映射到扩展模糊Petri网,对故障诊断过程中的不确定性问题进行定量分析。首先,采用统计计算获得信号置信度,运用层次分析法设定权值,进而构建时间隶属函数定量分析信号的时间不确定性。由变电站故障诊断实例可知,该方法在处理不完备信号和误信号时,表现出较好的适应性和容错性,准确度高,且降低了直接使用专家经验的主观性。

求解非线性混合整数规划的算法设计与仿真

针对目标函数具有多峰值、变量规模较大的非线性混合整数规划问题,设计了一种序贯选择式的扩展时间Petri网模型,并给出了该模型的构建算法。改进了传统的蚁群算法,并引入遗传演化的思想,设计了局部和全局演化算子,提出了基于非线性混合整数规划问题的最优解搜索算法。该算法解决了离散变量和连续变量的进化问题,同时保证了搜索广度和收敛速度。仿真结果表明,该算法在求解准确性、普适性、稳定性以及收敛速度方面具有更好的性能,适应于解决复杂的大规模非线性混合整数规划问题。

基于EFTPN不确定性时间信息的线性推理方法及在列车群分析中的应用

针对列车群行为分析中的不确定性时间信息推理问题,结合线性逻辑和扩展模糊时间Petri网(EFTPN)等理论,提出了一种基于EFTPN的线性推理方法.该方法不但能对不确定性时间信息进行精确的、定量的建模和推理;而且效率高,可在线性时间复杂度内完成推导;另外其适用面广,可用于解决其它领域内时间推理和验证问题.