基于FHPN的道路交叉口交通流信号实时控制优化研究

为了合理控制道路交叉口的交通流,结合模糊时延Petri网、连续Petri网和模糊推理Petri网这3种Petri网的优势构造了模糊混合Petri网,以此来建立一个FHPN模型并把它用于道路交叉口交通流信号实时控制.通过实例仿真分析了FHPN模型的有效性,能够实时控制交叉口的运行情况,最大程度地利用道路资源且大幅度地降低了交叉口的停车次数.     

电子电路故障诊断的模糊Petri网模型

提出了一种适用于电子电路故障诊断系统的模糊Petri网模型,用模糊Petri网表示故障诊断的模糊知识与推理机.     

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

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

基于模糊Petri网的事故树模糊分析方法研究

为了降低获取现场采样数据精确值的难度并提高事故诊断的准确性,根据模糊事故树和模糊Petri网均具有描述事件发生因果关系链这一共同特征,采用模糊Petri网来表示事故树,建立了事故树的模糊Petri网模型,在Petri网中对事故树进行了模糊分析研究.该方法不仅可以对顶上事件各特征量进行估算,还能利用模糊Petri网推理算法进行事故诊断,实现了Petri网与事故树的紧密结合,使事故诊断更加切合实际.引入模糊集合理论到事故树分析方法,用模糊数来表示事件发生的概率,减小了获取底事件发生概率精确值的难度,在一定程度上修正了事故概率统计数据的误差.该方法可以将生产现场的实测数据与专家经验数据结合起来,使得分析结果更接近于工程实际.图2,表1,参13.     

加权模糊Petri网的正向推理算法

通过引入补弧,使加权模糊Petri网能够处理含有非命题的规则.提出一种建立在加权模糊Petri网模型上的形式化正向推理算法,将加权模糊Petri网与矩阵运算结合,通过矩阵运算来实现推理.     

基于新型扩展模糊Petri网的食品冷链故障诊断方法

针对生鲜食品在冷链配送过程中容易发生变质的问题,并考虑冷链过程的时序性特点,提出一种基于新型扩展模糊Petri网(EFPN)的故障诊断方法.该方法通过将模糊规则映射到扩展模糊Petri网,对故障诊断过程中的不确定性问题进行定量分析,从而得到引起故障的原因.利用库所带有的关键因素开始时间信息可排除未发生的因素,降低诊断推理过程的复杂程度.最后通过实例对该模型进行了验证和分析.     

基于Petri网和模糊模拟的协同维修进度预测

为了解决协同维修过程中维修作业时间不确定、工序衔接时机不容易把握的难点,避免传统的模糊Petri网理论和方法在进度分析时依托模糊合成规则带来的问题,提出将模糊模拟技术引入到Petri网理论中的建模思想,形成协同维修进度预测的模型。首先,在确定维修任务分解结构、工序接口关系和维修工序作业模糊时间的基础上,利用着色Petri网描述协同维修过程;然后,设置相关颜色集、函数和代码实现模糊模拟技术嵌入Petri网模型的条件;最后,通过多次仿真,记录相应的维修时间和隶属度,完成可信性分析步骤。研究结果表明:所建立的协同维修进度预测模型能将模糊工期型有效转化为与隶属度相关的肯定工期型,克服了传统模糊工期分析中存在模糊合成规则复杂多变等问题;预测结果不仅可以提示维修工序的衔接时间规律,而且能确定在约束条件下按时完工的可信性。     

基于模糊Petri网的误用入侵检测方法

提出了基于模糊Petri网的误用入侵检测方法,并将类似于神经网络的学习引入模糊Petri网,以调整攻击知识模型参数. 理论分析表明,基于模糊Petri网的误用入侵检测系统具有更高的推理效率,能从环境中动态学习调整知识模型的相关参数,如阈值、权值、确信度. 仿真结果表明,在大多数情况下,学习调整后的知识模型能够提高误用检测系统的检测率.     

一种基于不确定Petri网的推理算法

传统的Petri网运用确定的信息进行推理,而现实生活中存在大量不精确的、不确定的信息.在采用模糊Petri网模型解决此类问题时,可能会使一个能够发生的命题被判断成不会发生,从而出现错误的结果.不确定理论是解决主观不确定性问题的数学工具.本文结合不确定理论与Petri网,提出不确定Petri网模型,用于表示不确定产生式规则系统.在此模型上,提出了一种不确定推理算法,并给出实例进行说明.     

基于改进时间模糊Petri网配电网故障诊断方法

配电网设备可靠性地区差异大,故障诊断自动化程度低.为保证能够快速精确地做出故障诊断,提出了一种基于改进时间模糊Petri网配电网故障诊断新方法.首先利用保护断路器信息、报警信息、状态信息和电气量来纠正断路器动作信息,确定停电区域;然后根据动作的断路器能够保护的范围确定可疑故障元件,利用带时标的保护断路器信息,针对可疑故障元件建立时间模糊Petri网模型进行故障诊断.模拟测试表明,此方法提高了配电网故障诊断速度和准确度,具有良好的实用价值.     

基于Petri网的计算机支持的协同设计仿真技术研究

协作模型的分析和优化是提高协同工作效率的关键技术,可以广泛应用于协同设计等工程领域。利用贴近度理论和Petri网技术,分析了协同活动事件间的模糊时间关系,研究了协同设计过程建模方法,采用面向对象方法描述模型元素的数据结构,设计了系统仿真算法。实验表明,该建模和仿真方法提高了对协同设计过程的描述能力,实现了对协同设计过程时序推理和定量分析。     

一种新型的混合Petri网:步混合Petri网

Petri网是一种图形的和数学的建模工具,适合于许多系统的建模．为了提高Petri网建模能力引入运行步概念,并在连续Petri网的基础上提出一种新型混合Petri网——步混合Petri网,分析该网特点及其运行规则,并用该网分别对数字型PID控制器和模拟型PID控制器进行建模．     

基于角色的访问控制Petri网及协商树模型

针对基于角色的访问控制自动机等模型存在的缺陷,对Petri网进行了改进,并将改进后的Petri网应用于基于角色的访问控制中,实现了基于角色的访问控制Petri网.在角色转换过程的条件控制中,提出了协商树的方法,描述双方证书协商、形成协商树、满足角色转换条件、使角色转换得以实现的过程,实现了较为完整的基于角色的访问控制Petri网.     

基于Petri网结构分析的死锁避免控制研究

该文基于Ｐｅｔｒｉ网的结构特性,针对柔性制造系统中共享多种资源的串行过程提出了一种死锁避免方法。通过在原Ｐｅｔｒｉ网的基础上增加局部控制库所以保证无陷井的极小死锁带有标识,将扩展网限制到安全标识,从而避免了全局死锁的发生。     

一种并发Java程序控制流模型

研究了并发Java程序控制流模型的建模问题.通过深入分析并发Java程序设计语言的语义以及带抑止弧Petri网的建模能力,提出了一种并发Java程序控制流模型--CJCFM,并给出了从并发Java程序构造该模型的方法.CJCFM以带抑止弧Petri网为基础,简单直观,可模拟程序实际运行过程,对并发程序的理解、分析和测试有很大帮助.通过对现有开源Petri网实验平台PIPE的功能进行扩展,可在该平台中直接构造并执行CJCFM.借助成熟的Petri网理论与算法,可验证CJCFM的各种性质,从而达到对源程序进行分析的目的.实验表明:CJCFM能有效协助理解、分析和测试并发Java程序.     

基于Petri网的测试路径选择标准

首先介绍了Petri网在分析系统方面的优点，给出基于Petri网进行测试研究的相关概念，提出了基于Petri网的考虑控制流进行测试的标准，也给出了考虑数据流进行测试的标准．然后通过例子，给出了基于各个标准产生的测试路径，最后给出了结论以及下一步应考虑的问题．     

基于随机Petri网的资源竞争分析

文章以随机Petri网理论为基础,构建了在分布式控制系统中资源竞争环境下的排队网络模型,并通过一个应用实例对模型进行了定量分析;利用该模型对分布式系统设计进行了探讨,其估计算法可以较为全面的分析系统的性能,并能得到更为直观的综合信息。     

基于局部关联矩阵的Petri网监控器的综合

针对具有定义在库所标识上的最一般情况下不等式约束的离散事件系统,给出了它的Petri网控制器设计方法.该方法通过简化离散事件系统的Petri网关联矩阵以减少控制器设计的复杂性.通过一个应用实例将该控制器设计方法与Moody提出控制器设计方法进行比较,结果表明该方法更简便、有效.     

基于改进的网重写系统的Petri网逻辑控制器的自重构方法

提出一种基于改进的网重写系统的可重构制造系统的Petri网模型的自重构方法。通过改进,克服了网重写系统的若干固有缺陷,提出了Petri网逻辑控制器的自重构方法,这种方法能保证重构中逻辑控制器的正确性,避免复杂的数学分析验证。通过可重构制造单元的实例演示了该方法,并验证了其有效性。     

基于Modem的电压监测系统软件平台设计与实现

介绍了基于调制解调器的电压监测系统的上位机设计与实现方法以及系统软件结构框图 使用AT命令对调制解调器进行编程 ,用微软的ActiveX控件MSComm实现了串行通信 为了确保可靠的通信 ,构造了系统的Petri网通信模型 ,分析的结果表明 ,本文建立的通信模型不会发生死锁现象 还根据实际公共电话网的通信情况 ,介绍了一种如何从受干扰的数据中提取正确数据的方法 ,此方法可大大提高通信效率 最后介绍了软件控制Access数据库进行报表打印的方法 ,这种方法使得打印的报表更加美观和专业化