RFID读写器防冲突问题的混沌神经网络建模与求解

针对密集读写器环境下的RFID读写器冲突情况,提出了一种通过中央计算机集中控制读写器分时操作来避免读写器冲突的方法,并设计了基于退火策略的混沌神经网络算法进行读写器时隙分配的求解.首先,根据平面图着色问题与读写器防冲突问题的相似性,确定四时隙分时操作的防冲突原理;然后采用二维Hopfield神经网络建立四时隙分配问题模型,并构造了满足冲突约束条件的神经网络能量函数;最后,通过引入混沌机制和模拟退火策略进行问题求解以使得算法具有较好的搜索能力和收敛速度.与现有的分布式防冲突算法相比,该方法能够保证读写器具有更多的扫描标签时间和更高的标签扫描频度.仿真实验结果表明用该算法求解读写器防冲突问题是可靠的、高效的.     

服务环境下基于数据约束的遗留系统形式化封装

针对目前企业遗留系统服务化封装的正确性因缺少形式化描述而导致无法验证的不足,在分析Web服务描述语言(WSDL)语法规范的基础上,给出了遗留系统的形式化表示和基于数据约束子集的系统分解和封装模型,进一步给出了基于形式化描述的企业遗留系统的服务化封装方法,为系统封装模型的正确性验证提供了形式化基础.上述方法在操作上的可行性在一个应用案例中得到了验证.     

支持服务应用关联的服务选择方法

随着面向服务思想在业务领域的不断应用,服务的数量急剧增加,海量业务服务形成了一个庞大复杂的业务网络,服务间的动态组合和协作形成了面向服务的业务生态系统,为了高效地进行服务选择,充分发挥服务关联对于服务选择和组合的重要作用,提出了一种支持服务应用关联的服务选择方法。基于服务选择历史信息构建服务关联网络;基于服务关联网络,建立支持服务应用关联的服务选择目标规划模型,并采用遗传算法对所建模型进行求解。通过实验进行了算例分析,验证了所提方法的可行性和有效性。     

工作流多过程动态时序一致性的实时模型检测

现实企业中通常存在多个并行的工作过程,并且它们之间可能存在资源冲突。在运行阶段,动态验证资源约束下多个过程的时序一致性具有重要意义。基于实时模型检测技术,提出一种工作流多过程时序一致性动态验证方法。采用时间自动机(Time automata,TA)对多个并发过程建模,并将所需验证的时序约束转化为对TA模型的性质查询。当运行到检测点,依据已知的时间信息更新TA模型,再进行相关性质查询,从而完成时序约束的验证。该方法实用性较强,能够有效处理现实业务环境中资源约束情况下多个业务过程的动态时序验证问题。具有较好的柔性和扩展性,当时序约束发生变化时,仅需改变相应TA模型。本方法有多种实时模型检测工具或软件的支持。     

无线传感器网络中信息获取关键问题的研究

无线传感器网络是信息技术研究领域的一个重要方向,具有广阔的应用前景。给出了无线传感器网络信息获取的体系结构,重点论述了信息获取的关键问题,分析了其不足以及发展方向。特别总结出网络通信的重要问题,并进行了详细的介绍。     

基于COM和ASP技术的工作流管理系统的设计与实现

工作流管理系统是支持企业实现业务过程管理和自动化的强有力的软件工具,在它的设计与开发过程中,需要解决一系列问题以保证系统易实施和易维护,并具有优良的性能。该文提出了一种基于COM和ASP技术的工作流管理系统CIMFlowII的设计和实现方法,重点介绍了基于COM组件的设计框架和并发工作流执行服务的实现技术。     

工作流管理系统Web客户端的设计与实现

工作流技术通过使用计算机来支持企业经营过程的运行,并实现了对企业经营过程的管理与控制。随着Internet应用的普及和Web技术的发展,基于Web的工作流管理服务为异地办公及跨企业的合作提供了良好的基础,采用Web技术已成为新一代工作流管理系统的主要特征。文章研究开发的工作流管理系统原型CIMFlow将Web技术与CORBA相结合,给出了基于Web的过程访问和控制功能的设计与实现方法。     

分布式工作流执行服务的设计与实现

工作流执行服务的实现方案是实施工作流技术最为关键的一个方面,工作流管理系统的应用特点决定了它必须与各种分布的、异构的应用进行通信或与其集成。为了给用户提供透明的工作流执行服务而隐藏工作流执行服务实现的复杂性,文章提出了一种具有三层层次结构的工作流执行服务实现方案,其中的分布式通信服务层由通信中间件实现,使开发者无需关心程序间通信的复杂性,从而将精力放在解决业务问题和优化业务逻辑方面,提高了应用开发的效率。     

基于Web Service的异构工作流管理系统的集成和互操作研究

本文首先分析了分布、异构工作流管理系统的互操作对各种交互模式的需求，针对 现有的工作流管理系统的分布式应用解决方案的不足之处，提出了一种基于Web Service的支持分布、异构工作流管理系统之间集成和互操作的实现方法．Web Service因其开放、标准化而受到业界广泛重视，已成为新一代基于Internet建立分布式应用的规范．本文从异构工作流管理系统之间的信息集成、工作流引擎之间调用语义的实现、工作流执行服务的描述、发布和绑定等方面，论述了Web Service对异构工作流管理系统之间集成和互操作的支持．     

FMS可靠性指标计算的有色广义随机Petri网方法

ＦＭＳ中靠性分析和故障诊断技术的研究对于提高ＦＭＳ的生产率具有重要意义，本文通过分析ＦＭＳ可靠性研究中存在的问题，针对ＦＭＳ的运行特点，提出了两个衡量ＦＭＳ可靠性的指标－ＦＭＳ停机概率和可靠生产率，给出了利用有色广义随机Ｐｅｔｒｉ网建立ＦＭＳ中靠性模型和计算可靠性指标的方法，这种方法从系统角度研究了ＦＭＳ的可靠性，能够明确反应ＦＭＳ运行中各种故障对于ＦＭＳ生产率的影响，具有良好的理论意义及应用前景