工作流系统异常处理实现方法

随着业务过程的不断复杂和多变,工作流管理系统需要提供一套有效的异常处理机制应对由此而带来的各类异常情况。在分析工作流系统异常的基础上,结合高级编程语言的异常处理方法、工作流任务的事务特征和组织层次的异常处理协调三个方面,提出了一种工作流系统异常处理的实现方法。     

基于概率主题模型的景点知识挖掘及其可视化

针对旅游文本噪声多、景点多且展示不直观的问题,提出一种基于概率主题模型的景点-主题模型。模型假设同一篇文档涉及多个具有相关关系的景点,引入“全局景点”过滤噪声语义,并利用Gibbs采样算法估计最大似然函数的参数,获取目的地景点的主题分布。实验通过对景点主题特征进行聚类,评估聚类效果从而间接评价模型训练效果,并定性分析“全局景点”对模型的作用。实验结果表明,该模型对旅游文本的建模效果优于基准算法TF-IDF与隐含狄利克雷分布（LDA）,且“全局景点”的引入对建模效果有明显的改善作用。最后通过景点关联图的方式对实验结果进行可视化展示。     

分布式本体库存储模型的设计与优化

针对如何高效地构建用于语义交互的分布式本体库展开了研究。首先,分析了基于本体的语义交互平台的通用体系结构,进而明确分布式本体库在平台中的作用,提出了一种分布式本体库存储模型。围绕该模型,详细讨论了网络本体库与本地本体库的映射方法,语义数据的编码方法,然后详细分析了该模型中指令分发和数据演化组件的工作机制,最后通过实验验证了:在集群存储模式下,对于大数据量查询,网络数据传输对查询时间开销的影响远远小于查询本身,从而为分布式本体库存储效率的优化奠定了基础,即在本体库中采用分布式集群存储可以达到优化检索效率的目的。该存储模型已经在STASIS平台中得到应用。     

分布式工作流执行站点多目标随机决策

针对面向服务的企业(SOE)环境下工作流在分布式执行性能方面存在的不足,提出了一种基于随机决策的动态(运行时)执行站点优化方法。该方法以扩展服务工作流网,增加软约束和硬约束作为站点优化的基础,对环境的动态性和服务随机性进行分析,针对分片的四种结构,以组合服务质量最优为目标,建立多目标动态执行站点随机线性规划模型,并进行求解。应用实例验证了该方法的可用性。与现有工作相比,所提出的算法使工作流执行性能得到了明显提高,并消除了活动并行执行中存在的资源瓶颈。     

H2最优控制器的不唯一性及闭环性能的改善

本文研究了H~2最优控制器的不唯一性问题,给出了H_2最优控制器集合存在的条件,并给出了一种将多变量H~2最优设计问题化为一组单变量的H~2最优设计问题的方法,给出了最优控制器集合的参数化公式,本文还给出了利用最优控制器集合中的自由参数提高闭环系统鲁棒性能及求取稳定最优控制器的方法。实例表明,这种设计方法可以充分利用控制器的自由度,实现提高系统鲁棒性以及求取稳定控制器的目的。     

整体解决方案下的集成平台技术研究

首先介绍企业信患化整体解决方案和集成平台的概念以及它们之间的关系，并讨论了当前集成平台的技术现状，为实现业务策略与信息系统支持的业务操作之间的匹配，给出了在整体解决方案指导下的企业集成平台的实施步骤，并讨论了企业业务框架模型驱动的企业集成平台演进模式。     

一种工作流模型的性能分析方法

在讨论了工作流模型分析的相关问题后，基于工作流网的定义，给出了包含资源、时间等信息的多维工作流网的概念，并讨论了由基于工作流联盟(WfMC)过程定义的一种有向网络图模型到自由选择多维工作流网模型的映射．为了处理工作流模型中的循环结构，对具有无环自由选择工作流网到一组变迁组件网(T—component)的分解算法进行了扩展，以处理工作流网中存在的循环结构．进而在模型结构分析的基础上，根据工作流模型的实际业务输入速率计算得到工作流网中每个变迁的输入速率．进而，结合开环Jackson排队网络理论，详细讨论了对工作流模型进行系统静态性能分析及基于系统资源状态的连续时间马尔科夫链(CTMC)的系统动态性能分析的方法，并以一个实例验证了作者提出的模型性能分析方法的有效性．     

Web下基于XPDL的工作流建模技术研究

介绍了一个Web下基于XPDL的工作流建模工具的设计思想和实现技术,并给出了Web下工作流建模工具模型.使用Rational Rose进行系统建模与数据建模,综合应用XML、SOAP、SVG、Applet、Servlet等关键技术实现本系统,并编制了可视化的工作流建模工具.     

工作流时序约束模型分析与验证方法

为了解决工作流时间建模与时序一致性验证问题,以时序逻辑和模型检查为基础,提出了一种工作流时间建模与时序一致性验证方法.该方法用一阶逻辑描述工作流模型及其时间信息,用时序逻辑描述工作流的时序约束,用模型检查算法对时序约束进行验证与分析.该方法不是针对某一种时序约束提出来的,而是能够验证任何用时序逻辑描述的工作流时序约束.该方法还能够对未通过验证的时序约束提供工作流运行实例作为反例,帮助用户定位模型的问题.以一个工作流时间建模和时序一致性验证的实例证实了所提出方法的有效性.     

CIMS应用集成平台中基于代理机制的运控系统研究

在制造业ＣＩＭＳ应用集成平台的项目背影下，深入研究了其底层系统使能的运行管理与控制系统的体系结构及实施方案，结合目前国际上在软件代理及工作流方面的研究工作提出了ＣＩＭＳ分布环境下的运控系统的代理体系结构。