湖南省自然科学基金(08JJ3124)
- 作品数：32 被引量：110H指数：7
- 相关作者：乐晓波周恺卿莫礼平傅作为刘武更多>>
- 相关机构：长沙理工大学吉首大学湖南农业大学更多>>
- 发文基金：湖南省自然科学基金国家自然科学基金湖南省教育厅科研基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于Petri网的扩展工作流模型研究被引量：4
- 2013年
- 为了满足工作流模型在建模能力上的要求,提出一种添加复位弧对工作流网进行扩展的方法,并给出该方法的形式化表示方法。通过一个保险索赔模型,利用可达图对该方法进行合理性分析。最后,证明了带复位弧工作流模型的合理性是不可判定的。
- 傅作为乐晓波
- 关键词：PETRI网工作流工作流网可达图
- 基本图灵机的Petri网建模研究被引量：2
- 2009年
- 该文采用Petri网这种系统描述和分析工具对基本图灵机进行了建模与分析。首先介绍了基本图灵机和Petri网的基本概念与定义,然后给出了一个利用Petri网对基本图灵机进行建模的有效算法,研究了用Petri网为基本图灵机建模的一般方法,说明了该方法的优越性,并最终以一个建模实例验证了该方法的有效性和可行性。
- 赵东旭乐晓波
- 关键词：PETRI网形式语言自动机
- 基于Petri网模型的随机数生成器被引量：1
- 2010年
- 以连续Petri网概念为基础,引入带弧权和禁止弧的扩展连续Petri网,将扩展连续Petri网作为工具对随机数生成器进行研究。选用随机数学中的乘同余法产生服从[0,1]均匀分布的随机变量,从而解决Petri网的规模因随机变量的精度增加而急剧增大的问题,针对某些逆变换法无法实现的分布,引入拒绝法,对现有的随机数发生器Petri网模型进行改进。
- 邹峥乐晓波刘石坚
- 关键词：PETRI网随机数生成器
- 蚁群和BP算法相结合的模糊Petri网参数寻优被引量：3
- 2008年
- 在模糊Petri网(FPN)的建立过程中如何确定模糊产生式规则的各项参数是尚未解决的热点问题。在研究蚁群算法和反向传播算法的基础上首次将二者结合,形成ACA-BP算法,并将其运用于FPN的参数寻优过程中。该算法的实现不依赖于经验数据,对初始输入无要求。仿真实例表明,经ACA-BP算法寻优结果令人满意,且得到的FPN模型具有较强的泛化能力和自适应功能。
- 周恺卿乐晓波唐铭
- 关键词：模糊PETRI网蚁群算法反向传播算法
- 基于多机制与策略约束的任务分派元模型被引量：1
- 2009年
- 任务分派是工作流系统的重要工作内容。以往的任务分派研究由于缺乏对任务分派内容的全面分析与定义,由此导致相应任务分派系统的开发质量低下。通过对任务分派机制与策略的严格区分与定义,定义了基于多机制与策略约束的工作流任务分派元模型,并给出该模型的参考实现。
- 李春芳谭庆平乐晓波肖晓丽
- 含抑制弧和测试弧Petri网的建模及其行为分析被引量：3
- 2008年
- 由于原型Petri网在一些实际应用中不能满足设计的需要,人们在其概念上进行扩充形成了增广的Petri网。带抑制弧和带测试弧的Petri网正是其中的一种。分析总结了带测试弧Petri网的基本行为特征。针对零检测装置以及FIFO栈实例,应用测试弧、抑制弧对系统进行了合理的建模与分析。
- 刘石坚乐晓波邹峥
- 基于Petri网的工作流模型优化被引量：9
- 2012年
- 为了使工作流模型更简洁,在工作流网WFPN的定义的基础上,给出了利用可达性分析技术对WFPN进行合理性分析的有效方法,提出了一种通过添加抑制弧对WFPN进行优化的算法.该算法为Petri网在大规模复杂模型中的应用及其理论分析提供了一条新的思路.最后,通过一个实例说明了其优化过程,验证了该优化算法的有效性.
- 傅作为乐晓波
- 关键词：PETRI网工作流工作流网可达图
- 加权的时间Petri网工作流模型研究被引量：10
- 2014年
- 时间性能分析是工作流模型分析和评价的重要方面。介绍了Petri网和工作流网的基本概念,提出了加权时间扩展工作流网,对加权时间扩展工作流网的基本组件进行了时间分析,给出了平均时间的计算方法。通过网上订购商品和生产车间工作流模型,利用基本组件的时间性能分析方法,对这两个工作流模型进行了时间性能分析。
- 傅作为乐晓波王慧英
- 关键词：PETRI网工作流工作流网
- 时间Petri网与遗传—蚁群算法相结合的并行测试研究被引量：9
- 2009年
- 自动测试系统中并行测试任务调度方案一直是尚未解决的难题。在基于Petri网理论的基础上,建立了并行测试的时间Petri网模型,并且首次将遗传—蚁群算法引入到时间Petri网的变迁序列的寻找过程中,快速地求得了最优调度方案。仿真结果表明,该算法能够以较大的收敛概率快速地收敛,最终得到最优变迁序列。
- 肖良清乐晓波
- 关键词：并行测试任务调度时间PETRI网
- 一种基于模糊Petri网的双向并行推理算法被引量：4
- 2014年
- 基于模糊Petri网的并行推理算法的矩阵维数越大,其算法的时间复杂度也就越高。针对反向搜索压缩模糊Petri网模型的相关理论和并行推理算法的特点,结合矩阵命令提出一种实现双向推理的矩阵运算机制,以及其对应的基于模糊Petri网的双向并行推理算法。在使用一般模糊推理算法的过程中,推理矩阵为(11×8)维的模糊Petri网模型,而使用改进算法进行双向推理时所涉及的推理矩阵阶数仅为(7×6)。实验结果表明,与一般的模糊推理算法和反向搜索算法相比,该算法能够提高整个推理过程的并行度,降低算法的时间复杂度,从而提高推理效率。
- 王慧英乐晓波周恺卿
- 关键词：模糊PETRI网矩阵运算反向搜索
