山东省优秀中青年科学家科研奖励基金(2006BS01019)
- 作品数：16 被引量：62H指数：4
- 相关作者：吴哲辉曾庆田鲁法明包云霞岳昊更多>>
- 相关机构：山东科技大学安徽理工大学漳州师范学院更多>>
- 发文基金：山东省优秀中青年科学家科研奖励基金国家自然科学基金山东省“泰山学者”建设工程项目更多>>
- 相关领域：自动化与计算机技术更多>>
- S-不变量求取的多项式算法被引量：2
- 2008年
- 首先给出一个求取同时是极小死锁和陷阱的库所子集的多项式算法(简记为FDMST算法);之后提出了能在多项式时间内判断给定库所子集是否为S-不变量极小支集的RCMSD算法,当给定库所子集被判定为极小支集时,该算法能求得立于该支集上的一个S-不变量;最后将FDMST算法与RCMSD算法结合,提出了能在多项式时间复杂度内求取部分极小支集上S-不变量的STRC算法。
- 鲁法明吴哲辉
- 关键词：PETRI网死锁
- 基于混合Petri网的城市交通网络建模与仿真被引量：4
- 2009年
- 提出了一种基于混合Petri网的面向控制的模块化信号控制城市交通网络仿真模型。采用层次化的建模方法:首先建立交通网络的轮廓模型,然后对轮廓模型中描述交通网络的关键要素(如交叉口、信号灯等)部位给出加细模型。这种建模方法清晰地描述了各个行驶方向的交通流在交叉口处的转向以及可能出现的冲突情况。此外,将时间因素加入系统模型中,使模型不仅能够反映交通流之间的逻辑关系,而且对车辆的位置、速度、通过时间等物理因素进行描述和计算。这样,就可以对各种具体的信号配时方案的性能指标进行比较和评估,以便找出最优或比较理想的交通控制方案。最后,通过一个仿真实例对系统模型的运行进行计算机仿真。
- 岳昊吴哲辉
- 关键词：混合PETRI网交通网络仿真
- 公平消息传递并行程序设计的Petri网方法被引量：1
- 2009年
- 公平性是并行程序正确的主要标准之一,但是并行程序执行的不确定性导致公平性验证较为困难。针对消息传递模式的并行程序,在建立相应Petri网模型的基础上,首先证明了并行程序的公平性与其Petri网模型的公平性之间的关系,然后提出了利用T-不变量判断并行程序公平性,以及通过添加控制库所实现并行程序公平的算法,最后指出了将改造后的模型转换为公平并行程序的方法,并用一个实例进行了验证。
- 崔焕庆吴哲辉方欢
- 关键词：PETRI网
- 谓词/变迁系统对一阶谓词公式的建模被引量：3
- 2007年
- 研究了利用谓词/变迁系统对一阶谓词公式建模的方法。借助于软件工程中"由粗到细,逐层分解"的思想,定义了对各种逻辑联结词进行处理的基本模型。给出了一阶谓词公式的二叉树表示方法,进而利用二叉树的递归性质,提出了递归构造一阶谓词公式对应的谓词/变迁级的"事实变迁"表示的方法,克服了已有相关建模方法中存在的不足,为一阶谓词公式的自动化建模提出了新的思路。最后,探讨了一阶谓词公式的谓词/变迁系统模型在谓词逻辑推理领域的应用及其意义。
- 耿霞吴哲辉张继军
- 关键词：逻辑联结词二叉树
- 公平Petri网中同步距离计算的一个实现算法被引量：1
- 2007年
- 同步距离是对两组事件间同步程度的定量描述,也是刻画系统动态行为的工具。提出了公平Petri网中同步距离的求解方法,利用观察库所的原理来求变迁之间的同步距离。我们在原Petri网的基础上通过给变迁和观察库所之间的弧引入适当的权值构造出一个带观察库所的加权网系统SWNet,并且提出了增广(可覆盖)树的概念。在原网系统的可覆盖的基础上构造出一个增广(可覆盖)树,通过增广(可覆盖)树可以准确的得到观察库所初始标识,最后给出了对观察库所配置初始标识的算法和计算同步距离的算法。
- 王丽丽吴哲辉
- 关键词：PETRI网
- 同步及共享合成操作对Petri网汇合性质的保持性被引量：1
- 2007年
- 若对于一个Petri网的任意两个可达标识,都存在一个标识是从这两个标识可达的,则称该Petri网具有汇合性质。汇合性质在研究Petri网的可达标识集及家态时具有重要的意义,并且重写系统的汇合性与Petri网的汇合性质具有紧密的联系,因此对Petri网汇合性质的研究就显得更加重要了。组合化设计思想是复杂系统建模的一种有效途径,Petri网的组合化研究也甚为人们重视,其中同步与共享合成操作是结构复杂Petri网系统分析的两种有效手段。我们首先分析了Petri网的汇合性质,然后分别讨论了同步合成与共享合成操作对汇合性质的保持问题,并得出了若干结论。
- 王鹏伟吴哲辉
- 关键词：PETRI网共享合成
- 库所耦合网的T-不变量求解算法被引量：1
- 2007年
- 首先定义了库所耦合网及相关概念,其次揭示了库所耦合网N中各个分支网的T-不变量同N的T-不变量之间的关系,然后给出了一个库所耦合网的T-不变量求解算法,最后将该算法实现并给出初步实验数据,以说明所提算法比现有算法节省计算时间和存储空间。
- 岳昊吴哲辉
- 关键词：PETRI网不变量
- 可达性与状态方程可满足性等价的两个Petri网子类被引量：4
- 2007年
- 可达性是Petri网最基本最重要的动态性质之一,但一般Petri网的可达性判定问题至少具有指数空间复杂度,且目前尚无有效的判定算法。不过,存在某些Petri网子类,其可达性判定问题要相对简单,寻找这样的Petri网子类具有重要意义。为此,提出极小陷阱回路网与后向回路网的概念,并证明了初始标识下不含空极小回路的这两个Petri网子类,其可达性判定问题等价于状态方程的可满足性问题。
- 包云霞鲁法明曾庆田
- 关键词：PETRI网可达性
- T-时延离散Petri网的运行原理及其性质被引量：6
- 2007年
- T-时延离散Petri网(TTDPN)常用来描述与时间有关的离散系统,因而研究其运行原理及性质是必要的。首先给出了变迁可激发的定义及激发规则,然后讨论了T-时延离散Petri网的运行原理和可达标识图的构造方法,最后给出了两个性质。
- 赵义军吴哲辉
- 关键词：可达标识图激发频率
- 过程挖掘的研究现状与问题综述被引量：23
- 2007年
- 过程挖掘又称工作流挖掘,是工作流再设计与分析方法的一项关键技术,能够根据日志中记录的过程实例的执行信息,来重构出一个工作流过程模型,并使得日志中记录的所有轨迹符合这个过程模型的一个实例。总结了过程挖掘的研究内容、系统架构、算法以及现有挖掘工具。对过程挖掘研究目前存在的问题从日志数据、挖掘技术和挖掘结果等三个方面进行了分析和讨论。并介绍了过程挖掘的一个分支—分布式过程挖掘的相关研究内容。
- 曾庆田
- 关键词：工作流PETRI网
