基于带抑止弧的Petri网的软件保护技术应用序列构建方法

基于软件保护领域中多种软件保护技术之间存在不同依赖关系的情况,针对求解有效的软件保护技术应用序列问题,提出了一种基于带抑止弧的Petri网建模分析的求解方法。首先分类并建立4种基本的软件保护技术依赖关系的Petri网模型,包括前向/后向必须依赖关系和前向/后向禁止依赖关系;根据实际应用场景建立相应的复合依赖关系Petri网模型,并绘制其可达标识图;在可达标识图中定位满足需求的标识,求解得从初始标识到此标识的一条变迁序列所对应的软件保护技术应用序列即为所求序列。最后,通过实验证明了此方法的有效性。

基于带抑止弧时间Petri网的IEEE802.2LLC3型协议的建模

该文定义了一种扩展的时间Petri网———带抑止弧的时间Petri网,这类扩展的时间Petri网可以用作网络协议描述的工具。作为一个例子,笔者在对IEEE802.2LLC3型协议做简单分析的基础上,给出了一个基于带抑止弧时间Petri网的IEEE802.2LLC3型协议的形式描述。

基于带抑止弧Petri网的C#多线程程序分析

在.net开发环境中使用C#语言编写多线程代码可以大大提高代码的运行效率,更好的利用计算机的资源。但是多线程代码在运行过程中有着不确定性会导致代码中的潜在错误难以发现,使得代码的正确性和健壮性受到影响。本文通过Petri网对一个C#多线程程序建立模型并且通过对该模型的结构和行为进行分析从而对程序中的错误进行定位,然后分析了引发错误的原因并给出了解决方案。

带抑制弧Petri网的保性变换

Petri网的保性化简是Petri网分析的一种重要途径。带抑制弧的增广Petri网在计算能力上与图灵机等价。针对带抑制的增广Petri网中串联变迁和串联库所两类情况进行了较深入的分析,在给出了相关化简方法的基础上,证明了通过这些化简规则所得到的网系统与原网在活性、有界性、弱公平性等动态性质上仍保持一致。

基于带抑制弧的Petri网的min-min算法模型研究

为了解决已有的min-min算法Petri网模型不能模拟min-min算法运行过程的问题,根据min-min算法的调度特点,利用带抑制弧的Petri网提出了一种算法模型,该模型运行过程可以严格模拟min-min算法对独立任务集的调度顺序,能够正确地描述独立任务调度系统使用min-min算法的情况。最后对该模型的空间复杂度以及每调度一个任务模型的变化情况进行了分析,随着独立任务的调度执行,该基于带抑制弧的Petri网的变迁数和弧数会随之减少,模型的空间复杂度会不断降低。

带弧标识的时钟同步Petri网

针对以往的时间Petri网对时钟同步系统描述能力不足的情况,提出了一种带弧标识的时钟同步Petri网(CSPN)。

基于FTU故障信息的Petri网故障诊断方法

针对基于输电网的继电保护与断路器的动作信息的建模不适用于配电网络的问题,结合配电网络的结构和运行特点,提出了基于FTU(feeder terminal unit)故障信息的Petri网建模方法。综合利用FTU上传的过电流信号和幅值量测信息,实现了配网故障诊断的快速性和容错性。根据配网的拓扑结构特点采取分层故障诊断的方法,先后诊断出故障馈线、故障单元和故障区段;采用了基于概率信息和带有抑止弧的Petri网模型,增强了网系统的模拟能力。通过对典型算例进行故障诊断,证明了此方法的有效性和可行性。

改进的哲学家进餐问题无饥饿解的Petri网模型

哲学家进餐问题是计算机科学中反映同步与并发的经典示例,活性与无饥饿是求解此问题的基本要求。基于两个许可卡轮转的策略,已经给出了一个无饥饿解的Petri网模型。此模型中可能出现两种情况:一个哲学家正在进餐时,另一张许可卡也轮转到他手中,但此卡只能在进餐后传下去;当两个相邻的哲学家都持有许可卡,并都希望进餐时,被竞争的那根筷子不能确定分配给谁。针对这两种情况,对原模型作了修改,提高了系统的效率。

应用于PLC控制程序的Petri网执行模型

在现有的工业控制系统中经常使用PLC实现顺序控制、定时等功能。控制程序经常需要执行同步操作且输入开关量的触发时机具有不确定性,因此无法充分描述真实的执行过程。为此提出下述解决方法:首先在控制程序的编译阶段,使用Petri网建立网模型以表示程序执行逻辑,其次在控制程序的执行阶段,根据程序真实执行状况动态运行上述网模型,当程序运行结束时网模型停止执行,由此判断程序中存在的逻辑错误。

发送-接收问题的Petri网建模与验证

发送者-接收者(S-R)问题可以看作处理共享通道的一个有代表性的问题。通过对文献[1]中模型的分析,结合Petri网的特点和网络环境下的系统,给出了一个实用性更强、功能扩展的Petri网模型。该模型允许外部环境加以控制,允许接收者强制取消接收以及发送者(接收者)按定量模式工作,可解决远程控制、流量控制,提高在实际网络环境中的通信质量。建立与Petri网模型相关联的关联矩阵,并使用关联矩阵对模型进行了验证。

基于Petri网的发送-接收问题的建模与验证

通过对文献[1]中模型的分析,给出了一个实用性更强,功能扩展的发送者-接收者问题模型。通过允许外部环境加以控制,允许接收者强制取消接收、发送者(接收者)按定量模式工作,解决远程控制、流量控制等问题,最后对模型进行了验证。

利用Petri网方法求解二次同余式:ax2+bx+c≡0(modp, p≥3,素数)

首先给出判定a是奇素数模p的平方剩余的增广Petri网模型,然后给出求解二次同余式x2≡a(modp,p≥3,素数,(a,p)=1)的增广Petri网模型.同时给出这种类型增广Petri网的矩阵分析和状态方程,从而导出由EXN网的输入求其输出的算法.

基于高级Petri网的继电器控制电路建模方法研究

根据继电器控制电路的特点,给出了利用带抑制弧的着色Petri网对继电器控制电路进行建模和分析的方法,并将其应用于某型船用柴油机控制系统的一典型继电器控制电路。建模及仿真分析结果表明,给出的带抑制弧的着色Petri网模型能对继电器控制电路进行准确的数学描述,利用建立的Petri网模型,借助Matlab平台,可以对被测电路的工作过程、输入输出特性等进行分析,为继电器控制电路的建模和特性分析提供了一种新的有效方法。

基于Petri网的列控系统形式化分析方法

利用原型Petri网对列车控制系统建模难于实现,用带抑止弧的增广Petri网则可以较好地描述问题。将带抑止弧的增广Petri网作为计算模型,对列车控制系统的一些关键问题进行了建模并给出了两个控制子系统:车站调度子系统与区间运行子系统。车站调度子系统实现了对列车请求进入和驶离车站的协调控制,区间运行子系统则实现了闭塞区间的车辆的安全性控制、突发事件时(如遭遇雷击,信号丢失的情况发生等)的安全性处理和公路铁路交叉口的调度等。最后,利用S-不变量对模型的活性、可达性和有界性等给予了形式化的验证。

基于Petri网的柔性制造系统混惑检测与控制

已有的混惑检测算法需要多次遍历Petri网中的所有变迁寻找混惑,比较耗时,不适合应用在复杂的柔性制造系统中。为此提出了一种新的混惑检测算法,根据混惑的基本结构特征,首先排除一些从结构上就不可能构成混惑的库所和变迁;然后在最有可能出现混惑的库所和变迁中去寻找混惑,从而降低了检测混惑的时间复杂度;再采用抑止弧对系统中出现的混惑进行了一定的消解控制;最后通过一个柔性制造系统实例验证了所提出的混惑检测算法及控制策略的高效性和正确性。

基于基础交互模式的间接交互模式

为了利用信任关系来建立间接交互模式,提出了3种基于基础交互模式的基础间接交互模式,即始终依赖中间人的间接交互模式、依赖中间人进行单项认证的间接交互模式和依赖中间人进行双向认证的间接交互模式.利用改进的基于抑止弧Petri网对后2种基础间接交互模式进行了建模,并提出了它们的确信度评估方法.以C2C电子商务为例,提出了基于基础间接交互模式组合复杂网络间接交互模式的方法.与一般的交互模式设计相比,间接交互模式专注于如何借助与其他实体的信任关系来建立可信间接交互模式,适用于直接信任不够的情景.