Modeling workflow using XML and Petri net

Nowadays an increasing number of workflow products and research prototypes begin to adopt XML for representing workflow models owing to its easy use and well understanding for people and machines. However, most of workflow products and research prototypes provide the few supports for the verification of XML-based workflow model, such as free-deadlock properties, which is essential to successful application of workflow technology. In this paper, we tackle this problem by mapping the XML-based workflow model into Petri-net, a kind of well-known formalism for modeling, analyzing and verifying system. As a result, the XML-based workflow model can be automatically verified with the help of general Petri-net tools, such as DANAMICS. The presented approach not only enables end users to represent workflow model with XML-based modeling language, but also the correctness of model can be ensured, thus satisfying the needs of business processes.     

基于STL的快速分层处理软件的研发

分析了影响分层处理效率的主要因素,提出了基于三角形面片特征的快速排序算法、轮廓线快速生成算法和快速分层算法,并在此基础上开发了基于STL模型的快速分层处理软件.大量实际应用结果表明,该软件高效、稳定、可靠.     

电信BSS系统中间件MQ调优研究

电信业务支撑系统的企业应用集成平台运用的是MQ等技术，但现在MQ技术存在着池容量的限制和实时性问题，影响了电信业务的正常进展．本文设计了一种新的处理方案来解决这类问题，该方案是通过数据库优先级调度算法把MQ的队列下到海量的数据库中，在数据中进行模式的优先级排列和权重处理，从而解决了业务处理的延迟问题，提高了业务处理效率．     

一个数字档案馆中的数据挖掘系统工作流程

根据数字档案馆中的数据挖掘形式与实现方法分析,提出应用在数字档案馆中的数据挖掘系统工作流程。数字档案应用数据挖掘技术处理后,通过对档案情况和用户利用行为信息的分析,了解各档案形成特点、规律和档案利用范围,可以对用户未来利用趋势进行分析预测,为提高档案馆的服务水平提供依据,从而在更深层次上发挥数字档案的作用。     

搜索引擎技术研究的现状与展望

介绍了搜索引擎的基本原理,概括了搜索引擎的方法概念、发展现状,并就现阶段使用中的重点难点提出了基本思路.指出了搜索引擎技术未来发展的主要方向.     

面向对象的数据库系统设计的若干技术及安全性研究

分析了面向对象技术在数据库系统设计的一些技术，然后介绍了面向对象数据库的安全性，着重阐述了OO方法在现代企业的信息管理系统开发过程中的应用，并以工作流为例进行了说明。     

重载线路清筛机的作业方法及改进措施

介绍了当前使用的小型枕底清筛机的作业方法及工作流程,对清筛机在使用过程中常见的对施工影响比较大的故障原因进行了分析,并结合现场实际情况,提出了改进措施。     

GOS下集合预报网格工作流程系统设计

为解决集合预报因扰动产生的多样本模式预报计算量巨大问题,充分利用分布异地的网络高性能资源,基于国家网格操作系统(GOS),在门户中间件Gridshpere之上设计并实现了一种适合于集合预报应用系统的网格工作流系统.该系统实现了包括应用程序的服务封装功能,应用服务执行的节点资源动态绑定功能,应用服务之间的数据/控制相关管理功能、重启容错功能、流程监控功能等,已成功应用到集合预报应用网格门户系统,实践证明系统切实可行.     

一种面向通信开销的网格工作流调度算法

采用任务—资源分配图定义了网格任务调度模型,运用动态规划的方法提出了面向通信开销的工作流任务调度算法。采用扩展的拓扑排序算法对具有依赖关系的工作流任务进行划分,根据划分的任务子集得到相应的调度阶段,在每一阶段选择满足约束条件和以计算开销、通信开销以及任务执行成功率为最优目标函数的资源节点进行任务分配,从而使工作流任务调度目标函数最优。应用Grid Sim工具包实现了该调度算法,并与Min-Min算法进行对比分析。仿真结果表明,基于动态规划的网格工作流调度算法具有良好的适应性,且能较好地处理不同网络环境下任务间存在大量数据传输的网格调度问题。     

智能调度指挥系统中代理签名方案研究

设计了一种用于智能调度指挥系统的代理签名和代理多重签名方案,并根据业务的实际流程提出了灵活的代理权收回策略.方案解决了在特殊情况下,任务执行过程中单人和多人授权他人代替自己签名的问题,可以保持工作流执行的连贯性和有效性,满足智能调度指挥系统中代理签名多方面的安全要求.