故障检测的Petri网模型与Petri网故障进程

Petri网进程是分析网系统运行规律的有力工具,能够准确的模拟系统的动态运行过程,且能反映故障传播的固有特性.分析故障在Petri网进程中的表现特征,提出了故障检测的Petri网模型和故障进程,并给出了故障检测、定位方法.首先,对Petri网进行扩展,提出了带输入输出的Petri网和故障检测的Petri网模型,为了描述该类Petri网的动态行为特征,给出了Petri网故障进程、2-进程以及故障检测进程的定义和构造方法;然后,基于故障检测进程给出了故障检测和故障定位的检测方法;最后采用该方法,给出了时序电路故障检测应用实例.

交互式多媒体动态同步Petri网模型——扩展的IMDSPN

将优先权输入事件Petri网引入到IMDSPN模型中,建立了D-IMDSPN模型。D-IMDSPN模型可以解决在分布式多媒体环境中,出现在用户交互作用下的媒体来源于各种资源或是要到达多个目的地时的异步,以更高效的方式保证了多媒体同步。

基于Petri网的五笔画输入法算法优化研究

将Petri网理论和五笔画输入法结合起来,提出了一个较完整的用Petri网建立的笔画输入法算法模型。该模型借助Petri网有关理论成果,完成笔画输入法的建模与并行化分析,便于计算机处理。其实质是在五笔画输入之间和查询过程中加入变迁元素,使其更反映汉字查询的本质。首先给出了基于Petri网的整体输入框架建模的步骤和详细过程,然后利用所建立的模型对五笔画输入法算法过程进行了分析,最后把基于Petri网的五笔画输入法算法与手写、拼音输入算法进行比较,证明本文算法具备更优的检索效率。