业务流程的时延预测队列挖掘方法

过程挖掘是针对流程信息系统所记录下的日志进行分析,将业务流程真实过程还原的技术。目前已有的方法多是基于控制流与数据流的观点,针对任务运行状态的,无时延的业务过程进行挖掘。但在挖掘存在多任务的有时延的业务进程方面,目前的方法存在一定局限性。提出基于队列挖掘优化过程模型的方法,首先利用现有的基于过程挖掘的方法,挖掘业务流程的初始模型。再运用队列挖掘的观点对特定的顾客进行时延预测,挖掘出顾客的行为信息,以此对初始流程模型进行优化。最后通过实例验证了所提出的优化挖掘方法的有效性,优化后的流程模型不仅对事件日志有很好的重放效果,并且能够反应出多类别的,且存在时延的业务流程中任务的行为信息。     

基于Petri网的网络订票系统换乘问题的建模优化

针对网络订票系统换乘车次时只能换乘其他车次列车的问题,建立一种基于Petri网的流程模型对网络订票系统中换乘问题进行了优化.首先分析模型中各变迁行为轮廓的弱序关系; 然后在不影响订票流程的情况下,通过增加Petri网控制结构实现了换乘问题的优化,达到了合理的换乘目的.最后通过PIPE软件对优化模型进行了仿真模拟,结果表明优化模型安全、有界.     

胜利油田桩西联合站油气集输系统节能潜力分析

通过对胜利油田桩西联合站进行实地调研,把握原油处理和污水处理的主要工艺流程、设备性能及效率、供能设施及燃料消耗、来液及外排流体性质。通过能量结构分析寻找关键耗能环节和系统的用能薄弱环节,确定出系统最大的节能潜力在于减少罐体热量散失和污水携带的能量损失。针对桩西联合站的实际生产状况,提出在不影响生产的前提下利用岩棉对罐体进行保温减少热量散失的节能措施,经计算保温后罐体的热量散失仅为原来的1/3。针对油田污水直接回注地层大量热能浪费的问题,论证了利用吸收式热泵技术进行污水余热回收的可行性,回收的能量可以用于站内生活用能,也可以直接用于集输系统供热,若用热泵代替加热炉供热,则可减少将近1/2的天然气消耗量,并且极大地降低了加热炉的烟气排放,对减轻大气污染具有积极作用。     

基于模态Petri网的行为有效区间寻找最优路径的方法

为满足客户需求,在行为约束下的业务流程中寻找行为执行的最优路径具有一定的实际意义。已有的研究是建立在静态分析基础上,通过优化算法或是行为分析来寻找最优执行路径,忽略了行为约束条件对执行行为有效性的影响,所得结果具有一定的局限性。文中在已有方法的基础上,利用Petri网行为轮廓序关系描述约束条件并确定行为有效区间,提出了基于模态Petri网分支有效区间的业务流程最优路径选择方法。该方法以行为有效区间替代已有的固定值方法,以便更好地描述业务流程的行为约束以及约束下的有效行为。通过一个具体的业务流程分析实例分析了该方法的有效性。     

变频器在装船机行走控制系统改造中的应用

针对降压启动方式在起重机械行走机构中的缺陷，提出并设计一种应用变频调速的港口装船机行走控制系统方案，为大型装备各运行机构的控制系统的改造及更新提供了思路。     

数字集群通信在我国的使用和发展前景

介绍了数字集群的技术性能和在国外的发展概况，叙述了数字集群通信在我国的使用和发展前景。     

不锈钢的磨削加工与电解磨削复合加工比较

根据不锈钢的物理力学特性、不锈钢表面的工作特点和不锈钢表面加工特点,比较磨削加工和电解磨削复合加工二者的加工精度、表面粗糙度和生产率。经过理论分析和试验,选择电解磨削复合加工做为加工不锈钢表面的加工方法,生产的不锈钢表面粗糙度达到了产品质量要求。     

关于特征和定理的一个注记

阐述了模m的特征、模m的原特征与特征和的定义及其相关引理,然后指出了文献[1]中的特征和定理的证明过程中所存在的问题,同时给出了文献[1]中的特征和定理证明的关键步骤.     

两种公理化思想的比较对数学教育的启示

从实质公理化和形式公理化两种思想的比较出发,提出真正的数学课程是非形式化和形式化二者的统一,进一步阐述关注形式数学知识与所联系的实体对象的重要性,然后提出对"淡化形式、注重实质"的新的看法。