工作流系统时间管理

时间管理是工作流管理软件系统的关键部分,也是工作流技术实施复杂企业应用的严重局限.开展时间管理研究,对于增强工作流管理软件系统的柔性、确保工作流计划的高效执行和提高企业的竞争力具有重要意义.时间管理的关键在于时间信息的有效建模.首先介绍了工作流管理系统的时间问题.其次,综述了时间建模与分析的研究现状,包括时间约束的建模、时序一致性验证与时间违反的处理.最后,基于对现有研究方法的分析与评价,指出了工作流系统时间管理的发展方向.时间管理的支持对于开发灵活性和实用性的工作流管理系统具有重要的指导意义.  

基于时间Petri网的工作流模型分析

工作流管理的最终目的是实现适当的人在适当的时间执行适当的活动.企业要获得竞争力,需要在工作流模型中考虑与业务过程相关的时间约束.一个考虑时间因素的工作流模型,需要在投入运行前进行时间规范与验证,以保证工作流执行的时间协调.通过为工作流网元素扩展时间属性,得到集成业务过程时间约束的工作流模型??时间约束工作流网(TCWF-nets).基于对业务活动的可调度性分析,提出了时序一致性验证方法,确保工作流执行中活动之间时间交互的安全性.在所附加的时间约束下,该可调度分析方法不仅能够检测某一给定工作流调度的时间可行性,还能对特定的实例给出一个最优调度,使工作流执行延迟最小.研究结果表明,该方法支持业务过程的时间建模与分析,对于丰富现有工作流系统的时间管理功能以及增强现存工作流软件对动态业务环境的适应性具有重要意义.  

化工批处理过程调度综述

综述了化工批处理过程调度问题的特点、 难点及一般框架，总结了近年来该领域取得的进展和存在的问题，并指明了将来的发展方向 ．  

基于赋时Petri网的化工批处理过程建模与控制优化

分析了化工批处理过程的特点，以过程设备为核心将整个过程操作划分为若干个子进程，用赋时Ｐｅｔｒｉ网来建立以子进程表示的批处理过程，并提出启发式动态 经自救对过程进行控制。仿真结果表明，基于赋时Ｐｅｔｒｉ网模型与启发式动态 经算法的Ｐｅｔｒｉ网控制器，不仅能准确描述批处理过程的同步、并发及资源工人享关系，而且Ｐｅｔｒｉ网的运行能给出过程生产的最优控制序列。  

时间约束Petri网的可调度性分析研究

1 引言时间约束Petri网(Timing Constraint PetriNets,TCPN’s)是具有广义时间约束的Petri网,它综合了时间Petri网)(Time Petri Nets)和赋时Petri网(Timed Petri Nets)的共同特点,具有经典Petri网的理论基础和额外的时间约束能力。在实时系统建模中,它可对其它与时间有关的Petri网所不能描述的冲突结构进行建模和分析。TCPN’s使用弱触发规则,即:使能的变迁可触发也可不触发,完全由调度者决  

无线传感器网络中基于博弈论的路由建模

在资源受限的无线传感器网络中,路径的可靠度,网络能耗和生存时间是路由问题中需要考虑的三个关键因素.我们把智能传感器节点在路由中联合优化以上三个因素的行为动机提炼为节点的理性偏好,基于该理性偏好,给出了一个动态路由博弈模型.针对该模型的博弈分析表明,对于节点个数有限的无线传感器网络,其路由博弈存在一个纯策略的纳什均衡且最优路径就是纳什均衡的结果.  

时间约束Petri网的可调度性分析方法研究

在系统地研究了时间约束Ｐｅｔｒｉ网的基础上，提出了一般的状态可达性分析方法。通过讨论任意拓扑结构ＴＣＰＮ′ｓ的可调度分析，克服了以往ＴＣＰＮ′ｓ可达性分析方法的局限性，显示了该方法的准确性和实用性。  

自动总机语音信箱系统的研制

介绍了利用电话语音卡，计算机设计具有语音信箱功能的自动总机系统的方法及其实现，并给出了应用实例。使用结果表明，自动总机系统的增加，不仅提高了电话转接的速度，语音信箱功能使用户更加方便。  

HJ-1/CCD地表反照率估算及其与NDVI关系分析

参照TM地表反照率反演算法,建立了适用于HJ-1/CCD传感器估算地表反照率的算法。通过应用6S辐射传输模型建立查找表,对覆盖内蒙古自治区锡林浩特市的HJ-1/CCD数据进行大气校正,并根据反照率定义,回归分析得到可见光波段地表反照率;通过与地面实测数据进行对比分析,表明该算法估算得到的地表反照率精度较高,其最大相对误差为14.32%。同时,本文将估算结果与同时期NDVI进行拟合分析,得出地表反照率与NDVI存在较高的负相关关系。  

分布式对象模型CORBA和RMI的应用研究

本文对当前流行的两种分布式对象模型CORBA和RMI的性能进行了研究。在C/S模式下,我们分别对有无参数的方法调用的响应时间、以Applet作为客户端的响应时间以及多客户端请求相同服务的响应时间进行了实验分析,从而为开发基于Web的分布式实时应用提供参考。