面向教育资源云存储系统的副本管理

根据教育领域中资源访问的聚集性等特征,以教育资源云存储系统架构为基础,设计了副本热度表征副本访问聚集性程度,实现了基于时空特征的副本相关数值计算;同时运用服务集概念和Hadoop分布式文件系统(HDFS)的存储机制提出了三方面的副本管理策略;最后在已开发的教育云存储系统ERS-cloud上进行了一系列实验,结果表明该策略能有效提升教育云存储系统应用效率.     

时态查询语言的并发Lambek演算及范畴语法

时态逻辑不可递归公理化的性质,造成它的公理化系统和证明论方法不适于时态查询语言的建模．这使得时态逻辑无法利用公理化系统的良好性质及相关证明论方法对时态数据库的推理和查询做更为严谨和细致地刻画．因此寻找时态逻辑的替代者,以公理化的方式对时态查询语言做句法和语义的分析是必要的．考虑的2个主要工具是作为句法分析工具的以Lambek演算为核心的范畴语法系统,和作为语义分析工具的类型演算λ－演算．这主要是基于类型论的演算特点、SQL语句与陈述句的相似性、Lambek演算和λ－演算的公理化与证明论方法,及它们作为句法和语义分析工具之间的密切联系与对应性决定的．据此从Lambek演算出发,结合时态的处理,构建了并发的Lambek演算（LCTQ）及相应的范畴语法,对以公理化系统为基础的时态查询语言的句法分析做相关研究,并从证明论性质上保障了计算性资源,使得系统更为严谨和完善．     

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

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

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

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

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

人工智能是驱动教育评价创新的重要引擎,智能技术赋能课堂测评是新时代教育评价深化改革的重要组成部分。对智能技术赋能课堂测评进行了系统研究的本质是对传统课堂测量与评价的颠覆式创新与变革,实施关键为面向智能服务的多维度测评指标制定、全方位课堂数据获取,以及多元化核心技术应用。基于智能技术的课堂测评相关研究主要集中在课堂参与主体行为识别、认知与情感状态诊断、教学核心过程分析等方面。目前,主要在测评指标体系的可量化与可定制、测评数据的完整性与隐私性,以及智能技术的联结性与适应性等方面存在一定挑战。未来,需要在智能技术支持的全景多模态数据融合分析、课堂认知、情感等多维度可解释性测评、基于人机协同的智能课堂精准测评定制化服务等方面加以重视和扩展。     

需求演化排队模型研究

用定量手段研究需求演化需要相关方法加以指导。利用排队论来分析需求变化请求从提出到实现的整个过程所具有的排队模型特征。在M/M/1/m/m假设之下,改进了现有需求成熟度的计算方法,并通过实例计算了该排队模型的特征指标,分析了这些数量对评价需求分析的效率及需求工程师的能力所具有的借鉴意义,并指出排队论在指导用定量手段研究需求变化管理上的作用。     

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

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

AO系统的侵入耦合测量框架

AOP具有模块化横切关注点的能力,能很好地解决面向对象编程中固有的代码散乱与代码纠缠问题.这种能力伴随着一种新的耦合,此耦合发生在方面与基础程序之间.与一般耦合不同的是,这种耦合对基础程序具有侵入影响,破坏了基础程序的信息隐藏,严重影响到整个软件系统的质量.现有的关于AO系统的耦合度的测量的研究极少关注这种耦合,现有的测量指标也甚少能用于测量这种耦合.提出一个AO系统的方面与基础程序的交互框架,并在此基础上,提出一个测量方面对基础程序的侵入耦合的框架.框架从单个或多个方面与基础程序的单个实体、单个或多个方面、整个基础程序等多个侧面反映出方面对基础程序的侵入影响.     

网格环境中基于移动Agent的工作流架构研究

传统的工作流架构有很多弱点,比如架构严重降低了系统性能,在动态环境中缺少灵活性。本文提出了一个集成了WebServices,网格,工作流和移动代理技术的分布式工作流架构。在这个架构中,我们可以通过移动代理间的通讯来达到工作流之间协同工作,而且这个架构增强了工作流的灵活性和可靠性。最后,以这个新的模型为基础实现了一个具体的工作流工作站。     

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

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