工作流失败恢复的研究

工作流在某一点发生错误,导致工作流运行失败.通过调用失败路径上节点的补偿逻辑,以便将工作流恢复到先前的一个上下文环境.因为补偿节点是相当复杂和耗时的工作,减少工作流补偿节点的数量可大大提高工作流的补偿效率.基于工作流的数据和流程定义者所提供信息,文中提出了多种补偿范围,以便在不同条件下有效地减少补偿节点的数量.     

建筑工程量的科学计算模型

论述了建筑工程量的科学计算模型的实现过程,给出了计算工程量的算法公式,并介绍了算法的主要特点,这种方法依据的数学模型是双向非正交网格图,采用定积分计算面积,准确,可靠。     

基于构件的医院信息系统应用平台HISPF的研究

采用了基于构件理论的软件开发方法,运用ActiveX技术、系统集成技术、人工智能技术以及XML语言,对医疗卫生机构信息系统应用平台HISPF的结构进行了深入研究,在程序设计自动化领域做了有益的尝试、探索与应用。     

基于C／S模式的自动排课系统的研究

阐述了采用微机自动排课的用户需求,提出了一种依据教学计划,由微机自动选取各学期课程、选择教师、安排授课时间及教学场地的可行设计方案,给出了基于C/S模式的系统的逻辑模型,并对教学计划的自动生成和排课算法进行了描述。     

基于ESB的SOA架构的企业应用研究

提出了当今IT环境面临的问题并指出SOA是解决问题的方案,接着介绍了SOA相关技术和理论基础,分析了SOA的特性;其次,引出了企业服务总线概念,指明为何采用ESB技术来构建SOA,最后提出了一种基于ESB的SOA架构参考框架(WE-SOA).结合项目实践,给出了该方案的应用实例.通过服务设计、服务的实现,以及在服务总线上的部署和使用,体现了这种SOA架构的优越性以及构建企业级应用的灵活性和快捷性.WE-SOA能为企业应用提供一个灵活的架构, 具有敏捷性、松耦合、跨平台、分布式的特点,更能适应企业信息系统发展的需要.     

不确定性推理技术在医学诊断中的应用研究

介绍了不确定性推理技术中几种主要方法,根据不同医学诊断的特点,设计了基于动态模糊逻辑和加权模糊逻辑相结合的计算机辅助医学诊断系统,最后通过一个实例说明了该方法的有效性。     

基于离散粒子群算法的工作流任务调度研究

工作流系统可以实现企业的业务过程的自动化,好的调度算法可以提高整个工作流系统的执行效率。对工作流任务调度的研究具有重要的意义。离散粒子群优化算法是一种收敛速度快、调整参数少、易实现及理解的优化算法。结合工作流特点,通过置换因子的概念,将离散粒子群算法与工作流任务调度相结合,给出了基于离散粒子群算法的工作流任务调度的定义。并结合保险理赔处理进行实验,得到了良好的效果,验证了应用的有效性和可行性。     

工作流迁移问题的研究

为了提高工作流对动态不确定因素的处理能力和解决运行中工作流流程发生变化的问题,重点对工作流的迁移问题进行了研究.为了使运行中的工作流能够向新工作流顺利迁移,以满足企业的实际应用,在动态工作流模型的基础上,提出了一种基于事件-条件-活动规则和活动选取规则的动态工作流模型的迁移算法.通过一系列的规则,使运行中的工作流在保证执行路径的查询完整性和未执行活动的业务完整性的基础上能够顺利迁移到新的工作流中,以解决企业实际运行中流程发生变化的问题.     

基于树型模型的黑盒测试用例自动生成

软件测试是保证软件质量的重要手段,尤其是自动化测试可以提高测试效率,降低成本.测试用例的自动获取尤其是黑盒测试用例的自动生成是软件测试的关键和难点.在借助边界值和等价划分等数学原理得到的典型值的基础上,结合自定义的树型模型设计了全面覆盖算法和快速搜索有效用例算法两种面向不同方面的算法.并通过在假设的模型下运用两种算法进行测试数据的生成与测试结果的对比.测试结果表明两种算法各有其自身的优势,有可适用的测试场合、轮次.