基于GMA的监听模型研究

分析和研究了网格环境中故障检测、性能改变等问题，探讨了基于GMA的三种典型监听结构模型，结合监听的关键技术，针对局部监听提出了相应的参考模型。     

缺陷需求分析与管理模型

需求管理是软件过程改进的重要活动,需求缺陷管理是需求管理的重要组成部分,其目的在于检测、分析、解决和预防需求缺陷.从社会因素和技术因素两大方面分析了需求工程阶段缺陷产生的原因,对缺陷进行了分类.建立了需求(模型)缺陷列表、缺陷需求分析模型和基于需求缺陷管理的需求过程模型.指出需求缺陷列表所反映的需求分析过程的数量特征,能够为评估需求工程师能力、准确和全面地定义需求成熟度、研究需求演化波及效应、研究需求模型复杂度和需求缺陷分布规律提供必要数据和有益启示.     

支持LRT的失败恢复算法及其事务性质分析

研究人员已经致力于组合事务的恢复问题研究,但是大多数成果集中通过向后恢复来维持事务的一致性,补偿是向后恢复通常使用的一种手段,但是向后恢复的最大缺陷就是导致代价相当高,且向后恢复策略不能完全满足各种不同恢复需求。提出一种基于失败类型的恢复算法(包括向前、向后和替代恢复),其是一种基于扩展Petri网的形式化建模方法,为实现松弛ACID属性,引入状态托肯、数据托肯和QoS托肯,增加失败变迁和补偿变迁。失败发生时,动态计算终止依赖点TDP和补偿集,依据任务之间的控制流、数据流、时序、状态和行为依赖,获取任务的失败类型,选择合适的恢复策略,构造一个支持无缝添加/删除失败恢复的可执行模型。     

一种支持组合事务的执行语义分析方法

为了保证组合事务应用需求,不可避免引入失败恢复机制,以提供可靠的执行语义.本文提出一种基于向前、向后和替代恢复的综合事务恢复机制的执行语义分析技术,借助Petri网的动态执行推演技术和数据流分析技术,讨论聚合模式执行语义,最终实现组合事务失败恢复行为的无缝添加/删除.通过对旅行预订组合事务实例分析,表明该语义分析方法是可行的.     

基于XML的排课系统研究与实现

分析了XML的构成和相关技术，探讨了排课信息数据结构和存储模型．针对排课系统业务需求，将XML技术应用于其中，阐发了使系统优化的具体实施方案。     

一种基于聚类分析的高维事务对象的有效降维方法

对于给定的多维事务数据对象的庞大数据集,有效选取显著特征因子是非常关键的,提取相关的主成分,替代原有的模式,能显著降低计算维数,使复杂问题简单化,达到良好的分类效果.结合一消费事务数据库,采用这种聚类降维技术,收到了较好的效果.     

基于J2ME技术的UniJa机制研究与实现

针对嵌入式设备及消费类电器的J2ME技术，首先介绍了基于J2ME技术的UniJa的体系结构及其规范，然后探讨了UniJa平台手机游戏关键技术，最后通过实例给出了三星手机游戏的实现效果。     

基于语义扩展类型论的云服务替换性判定研究

云计算环境下服务的动态性和易失效性是云应用的重要挑战,服务替换是其主要对策和关键研究问题。在类型论的支持下提出了一种新的云服务替换判定方法,该方法首先对会话类型论进行语义扩展以建模云服务行为,设计了典型云服务QoS类型实现服务质量判断,然后构造了语义会话类型和QoS类型的各子类型规则,最后以此完成了服务一致性和上下文兼容性命题判定与实施。通过应用判定实例展示和实验效果分析,表明该判定方法可行,并能为组合服务应用带来更高的执行成功率。     

基于动态规则构造的排课系统设计与实现

将面向对象技术应用于排课系统，讨论了排课实现过程及关键算法，分析了冲突产生的原因，给出了问题解决方案及实验分析结论。     

网络环境下的考试系统应用设计与实现

论文主要讲述了网络环境下的考试系统中的应用实现,分析了网络考试系统需要解决的问题,给出了系统功能实现的总体设计,结合实际存在问题,对考试系统中教师端、学生端以及专家决策群间实现分别加以论述,通过对实现结论的分析和测试,证实文中介绍的描述方法可行,并显示出了很好的应用前景。