山东省科技发展计划项目(2010GSF10811)
- 作品数：4 被引量：4H指数：2
- 相关作者：鲁法明包云霞王静静曾庆田林海伦更多>>
- 相关机构：山东科技大学中国科学院更多>>
- 发文基金：山东省科技发展计划项目山东省博士后创新项目国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种面向应急领域的业务流程组合模型
- 针对应急预案管理和执行的特征,本文提出支持流程灵活组合和人机协同的业务流程组合模型,定义了业务流程资源的概念,将应急预案抽象为业务流程资源、资源的组合规则和约束。在业务流程资源集合上定义了包含四种操作的代数系统。在讨论了...
- 陈欣崔宾阁张峰徐学辉付珊珊
- 关键词：应急
- 文献传递
- 基于路网划分的交通流数据处理模型被引量：2
- 2012年
- 为了满足交通流数据处理的实时性、可扩展性的要求,基于路网划分提出交通流数据处理方法,并以此为基础设计并实现交通流数据处理原型系统。试验表明,所设计的交通流数据处理系统具有良好的可扩展性,并且能够有效地提高交通流数据处理的效率。
- 王静静林海伦
- 关键词：智能交通系统数据流数据处理
- 应急响应系统的规则冗余检测技术研究
- 2011年
- 在应急响应系统(ERS)中,规则及规则推理用于确定应急事件的响应级别。当系统的规则库增加规则时,会出现冗余的规则,冗余规则的存在导致响应级别的判断不准确,影响推理的效率和准确性。针对该问题,提出一种规则的冗余检测方法,使规则库中的规则始终保持无冗余状态;同时,给出了冗余规则的处理方法。最后给出该算法的一个应用实例,结果表明该算法能快速检测出冗余规则,有效降低规则数目。
- 付珊珊孙忠林陈欣
- 关键词：产生式规则冗余规则库
- 求取S-不变量基的新算法
- 2011年
- S-不变量是进行Petri网结构性质分析的重要工具,但S-不变量的求取尚无有效算法。作者在S-不变量的极小支集的判定、极小支集上S-不变量的求取等方面创新性地提出了一些多项式解决算法。将在上述工作的基础上,结合枚举思想给出一个求取S-不变量基的算法,并提出一些筛选规则以提高枚举的性能。
- 包云霞鲁法明
- 关键词：PETRI网
- 判定工作流网S-可覆盖性的有效算法被引量：2
- 2012年
- 为有效判定工作流网的S-可覆盖性,将工作流网的S-可覆盖性判定转化为线性规划问题,借助单纯形方法给出一个判定工作流网S-可覆盖性的有效算法。对单纯形算法进行扩展,在判定工作流网S-可覆盖性的同时可以求出一组S-不变量的极小支集。只要给定的工作流网满足S-可覆盖性,上述算法就可以求出一组覆盖所有库所的S-不变量的极小支集。结合投诉处理业务流程实例对算法进行了验证。
- 鲁法明曾庆田包云霞
- 关键词：工作流网PETRI网
