一种基于逻辑Petri网的过程挖掘方法

逻辑Petri网是抑制弧Petri网和高级Petri网的抽象和扩展,可在过程挖掘中简洁准确的表示活动之间复杂的业务逻辑关系.本文在传统Petri网挖掘方法的基础上,为了进一步提高复杂系统挖掘模型的简洁度和拟合度,尤其是对并行活动间存在复杂与或关系的系统,提出了一种基于逻辑Petri网的过程挖掘方法,并给出了逻辑Petri网中逻辑变迁的挖掘算法.它可以充分挖掘活动之间的业务逻辑,并且业务逻辑可用逻辑表达式表示.通过与相应Petri网模型的实例比较分析,例证了本文方法的正确性和有效性,且逻辑Petri网模型更加适合日志行为.     

一种可以挖掘隐含任务的算法研究

业务流程中存在的隐含任务在业务执行时并没有在日志中体现,这种任务主要服务于路由,不能被忽视。如果不能对它有效挖掘,可能影响最终的挖掘结果和模型的建立。文章对α算法进行改进,提出一种能发现并添加隐含任务的算法—。该算法参考任务间序关系矩阵确定并行任务;根据并行任务的位置分析了隐含任务可能出现的情况,向流程中添加隐含任务;然后合并相同隐含任务,去掉冗余隐含任务。文章用一个案例解释了算法的执行过程,通过实验验证了算法的可行性和有效性。最后分析了算法的局限性。     

工作流挖掘与Petri网表示的对偶交换

将对偶交换的观点引入工作流挖掘的研究可以获得新的认识。其在工作流结构验证中并行和选择互换后仍保持结构的正确性。工作流挖掘α算法先挖掘选择结构,余下并行结构,通过对偶交换得到算法,先挖掘并行结构,余下选择结构,算法能够减少非自由选择结构。不同情况下两种算法结果比较取优,能够使工作流挖掘的并行和选择的嵌套关系更为简练。以任务为变迁的Petri网能够最简洁地表示α算法挖掘结果,以任务为库所的Petri网能够最简洁地表示算法的挖掘结果。这两种Petri网表示也体现出对偶性。     

基于Petri网和有限状态机方法构建工作流引擎

首先指出工作流在系统建设中的重要作用,其次介绍了Petri网理论和基于事件驱动的有限状态机实现工作流引擎,并将该引擎应用到科研管理系统的开发中,在原有的业务逻辑与表现层之间加入流程控制层.该引擎的引入较之传统信息系统,更容易适应科研业务流程的改变,方便实现某些重点项目特事特办的要求,同时调配资源更加方便.之后介绍了基于这个引擎之上的系统整体架构和运行环境,以及最终的开发技术.最后介绍了本系统比较有独创性的异构数据同步技术.     

基于Petri网的工作流过程建模

工作流是对一组有关联的工作任务间的依赖关系进行的形式化描述。通过对目前流行的一些工作流产品的分析,针对现有工作流模型表达能力差,缺乏严格的形式化数学定义以及没有科学分析手段的缺点,引入有色Petri网的相关理论,建立一个工作流逻辑网以实现工作流的过程建模,该模型有严格的理论基础,并可以利用成熟的Petri网分析方法对业务流程进行分析,同时还具有一定的灵活性和可扩展性。     

一种基于时间序列的RFID供应链数据分析方法

通过挖掘海量RFID(Radio Frequency Identification)数据来优化供应链已经成为一个研究热点.本文针对供应链流通中出现的若干周转异常并且难以发现的问题,提出了一种基于时间序列的RFID供应链数据分析方法.将供应链的RFID数据统一成反映各环节周转状况的时间序列格式,然后通过分段趋势分解方法分解提取的时间序列数据,并根据分解后的随机项建立阈值来判断数据是否异常,从而建立相应的时间序列分析模型;最后基于模型检测数据异常.通过多样本和多数据集的实验检测,结果表明这种方法有效并具有较高的效率.     

基于工作流网的电子商务系统建模

针对电子商务企业业务过程重组对电子商务系统建设提出的更高要求,应用工作流网对电子商务交易流程建模.工作流网基于Petri网,把任务关系归纳为顺序、并行、选择、迭代等4种路由结构,可表达电子商务系统的各种依赖关系,其图形直观、易于理解,数学基础严密、易于分析和验证.文中对给出的B2C(企业到客户)业务流程建立了基于工作流网的模型,可在此基础上进行分析和验证,有利于进一步的系统设计.因此,工作流网在电子商务系统建模中有较好的发展前景.     

基于RFID技术的核心物品实时监控管理系统

从RFID技术应用角度出发,提出了一种RFID技术和嵌入式技术相结合的核心物品实时监控管理系统.规划了整个系统的总体架构,详细说明了中控模块的硬件设计,分析了整个系统的主要功能.用户能通过Ethernet查询到核心物品的实时信息,并能管理分配使用人员的各种权限,为事业单位和大型企业等对核心物品的监控管理提供了高安全性和...     

CBR:一种支持工作流过程语义验证的组件级 化简方法

目前的工作流过程验证方法多数侧重控制流特性验证,与数据或资源信息相结合的验证尚未得到很好发展.然而,业务过程的目标实现依赖于控制流、数据流和资源三维基本观点的协作.保证过程的目标实现需要验证这三维观点协作的正确性,称为语义验证.该文侧重讨论大型、灵活的过程语义验证问题.首先,形式化定义过程模型,综合体现三维基本观点,表达完整的过程语义,并使用基于组件的思想,具有一定可扩展性和灵活性.然后,通过探讨组件间的协作逻辑,提出基于组件的化简方法(Component Based Reduction,CBR)和化简规则,为过程语义验证提供有力支持.     

基于Petri网的工作流过程建模和时间性能分析

介绍了基于Petri网的工作流建模技术,并针对一个复杂的企业生产经营活动的流程构建了一个简化灵活的模型,利用随机Petri网的性能分析方法对建立的模型进行了时间性能分析。结果表明,文中的性能分析方法可对复杂的模型进行有效地简化分析。     

基于Petri网的测井资料处理工作流建模

基于Petri网的建模方法,具有直观的图形表示和坚实的数学基础,是工作流建模和分析的有力工具。文中通过对测井资料处理流程的描述,提出了一个基于Petri网的测井资料处理流程的工作流模型,并利用Murata化简技术对该模型进行了合理性验证。     

基于RFID技术仓储管理的数据挖掘

伴随着RFID技术的应用,它的各种优点也给其他技术的利用带来了方便。RFID技术作为一种先进的信息采集手段使得数据信息更加概念化,更加准确,更具有及时性,由此使得数据挖掘层面更加开阔。本文从这些方面着重论述了仓储管理中如何应用RFID技术,和应用RFID技术后对数据挖掘低层的数据仓库产生的影响,并着重说明了RFID技术下的多层关联规则挖掘和货位的优化配置。     

基于RFID发现服务的一种供应链建模技术

RFID发现服务负责从供应链不同合作伙伴的信息服务中搜集与某个(些)物品相关的动态RFID事件,作为数据集.为了便于对发现服务获得的数据集进行可视化分析,本文给出了一种供应链建模技术.规约了发现服务获得的数据集,这种数据集描述了物品的移动、包装/解包装、加工制造;同时,采用P2P和并行处理技术,给出了一种新的分布式RFID发现服务;然后,基于Petri网提出了一种新的建模工具"Supply-Net",并给出了构建Supply-Net的算法.算法分析和实验表明这种构建Supply-Net的算法具有较高的效率和可用性.     

一种基于不变量的从工作流网到PERT图的转换方法

 工作流管理系统为现代企业提供了一种协同工作环境,可以管理企业的业务过程,并提高企业的商业竞争能力.为了有效管理业务过程的进度,需要提供一种基于工作流过程模型的进度估算方法.基于Petri网的工作流网模型难以直接估算工作流过程模型的进度与工期,而在传统的项目进度计划中,PERT图是一种成熟的技术,为此,本文在工作流网的基础上增加了时间的概念,基于LMST-不变量的分解技术,提出了一种将LMST-不变量分解得到的子网转换为PERT图的算法,由此达到估算工作流过程模型的进度与工期的目的.     

商品价格数据的两种WEB挖掘算法比较

其他网络商店的商品实时价格是Web商店店主所关注的重要数据,Web数据挖掘使得这一需求变为现实.通过正则表达式算法与分词算法的比较研究,给出了基于正则表达式的商品价格抽取算法和基于分词的网站目录树抽取算法、HTML网页商品抽取算法与商品价格抽取算法.应用系统的实践表明,正则表达式算法的挖全率与正确率较低,而分词算法的挖全率与正确率都达到99%以上,完全满足应用需求,同时可以为商品的市场预测与分析提供依据.     

基于Petri网的RFID中间件中复合事件检测研究

探讨了一种利用复杂事件处理技术处理RFID高层业务逻辑的机制.通过用复合事件来表达RFID应用系统中常见的高层业务逻辑,将对业务逻辑的处理转化为RFID中间件对复合事件的检测.从RFID中间件检测行为的角度探讨了在这一转化过程中事件定义和事件检测的若干关键问题.基于有色网定义了RFID事件流检测网系统作为RFID事件检测模型的描述工具.给出了事件检测模型的构造规则.根据检测模型的网结构特征对具有复杂层次的复合事件的可检测性进行了分析.     

一种基于资源约束的工作流建模及分析方法

资源约束是工作流正确实施的一个瓶颈问题,因此工作流系统的资源建模及模型正确性验证方法显得非常重要.为此,基于Petri网和工作流建模方法,提出了一种资源约束的工作流系统的形式化建模和分析技术,定义了资源空间(RS)、资源子网、资源工作流网和资源工作流网完整性(soundness)的概念,建立了资源调用视图以及Petri网影射模型,得到了资源工作流网保持完整性判定的一个充要条件.该方法将系统资源建模和过程建模合成到一个模型中,解决了工作流系统资源和过程分别建模给系统的正确性验证带来的困难,为工作流系统资源状态的可视化和进行有效的系统验证提供了模型依据.给出的实例验证了模型的有效性.     

基于生成图的工作流多过程动态时序一致性验证方法

 提出了基于生成图的多过程动态时序一致性验证方法.首先从多过程的时间工作流网构建生成图,以图形化方式表达实例可能经过的路径和时间信息.在动态检测时,依据已经完成活动对生成图进行部分更新,再利用图中节点相关信息进行时间约束的验证.该方法可以解决资源约束情况下多过程时序一致性动态验证问题,而且能定位模型中出问题的路径,指导用户进行工作流时序异常处理或优化工作流模型;另一方面,生成图可供多个时序约束进行验证使用,具有较好的可重用性.     

一种改进的基于 RFID 中间件的冗余数据清洗算法

针对RFID中间件冗余数据处理问题,提出一种改进的基本临近有序法（SNM ）算法。通过对大量RFID数据进行分组,采用随机因子改变窗口大小对数据进行清洗,并在算法的实现过程中采用循环处理方式。经实验证明该改进算法能有效提高数据处理效率,并在召回率和数据处理时间上均优于原SNM算法。