基于证据理论的纠错输出编码解决多类分类问题

针对多类分类问题,利用纠错输出编码作为分解框架,把多类问题转化为多个二类问题加以解决;同时提出一种基于证据理论的解码策略,把每一个二分器的输出作为证据之一进行融合,并讨论在两种编码类型(二元和三元编码矩阵)下证据融合的不同策略.通过实验分别对UCI数据集和3种一维距离像数据集进行测试,并与几种经典的解码方法进行比较,验证了所提出的方法能有效提高纠错输出编码特别是三元编码矩阵的分类正确率.     

基于XPDL的建模技术在软件开发过程的应用

XPDL是工作流管理联盟推出的需由开发商共同遵守的一个统一的过程定义语言规范,由它定义的接口能在开发和运行环境之间提供形式上的分离.此外,用建模工具产生的过程定义可以用于多个工作流产品.分析了软件开发过程模型和工作流基本过程定义元模型,提出了通过XPDL来描述和实现软件开发过程的工作流建模.     

工作流中的长事务模型

本文首先分析了工作流长事务的特性,并针对工作流中频繁出现的长事务问题基础上提出了一种多层事务模型FLTM。该事务模型并不要求所有事务都遵循严格的ACID特性,它可以刻画从松弛到严格的各种事务要求,用户可以根据具体的应用定制事务补偿的终点和事务失败时的处理方式。本文给出了松弛的原子性、一致性和隔离性的定义,并形式地描述了FLTM事务的补偿和执行过程。     

基于XPDL的建模技术在软件开发过程的应用

XPDL是工作流管理联盟推出的需由开发商共同遵守的一个统一的过程定义语言规范，由它定义的接口能在开发和运行环境之间提供形式上的分离．此外，用建模工具产生的过程定义可以用于多个工作流产品．分析了软件开发过程模型和工作流基本过程定义元模型，提出了通过XPDL来描述和实现软件开发过程的工作流建模．