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

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

智能技术赋能课堂测评:现状、挑战与趋势

人工智能是驱动教育评价创新的重要引擎,智能技术赋能课堂测评是新时代教育评价深化改革的重要组成部分.对智能技术赋能课堂测评进行了系统研究的本质是对传统课堂测量与评价的颠覆式创新与变革,实施关键为面向智能服务的多维度测评指标制定、全方位课堂数据获取,以及多元化核心技术应用.基于智能技术的课堂测评相关研究主要集中在课堂参与主...     

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

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

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

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

云存储系统中数据副本服务的可靠性保障研究

以数据节点与网络链路的可靠性因素分析为基础,提出了云存储系统的数据副本服务可靠性模型。根据访问可靠性与数据副本数量、用户访问量之间的关系,设计数据服务可靠性、副本生成时机、存储节点选择的确定方法,实现了副本分布、删除算法,并在云存储系统ERS-Cloud上进行一系列实验,结果表明该方法能够有效保障数据服务的可靠性,进一步降低副本的冗余存储数量。