分层强化学习研究进展

首先介绍了半马尔可夫决策过程、分层与抽象等分层强化学习的理论基础;其次,较全面地比较HAM、options、MAXQ和HEXQ四种典型的学习方法,从典型学习方法的拓展、学习分层、部分感知马尔可夫决策过程、并发和多agent合作等方面讨论分层强化学习的研究现状;最后指出分层强化学习未来的发展方向。     

结合城市设计的珠江啤酒厂旧址更新利用

以珠江啤酒厂及琶醍的改造、发展为核心,剖析珠江啤酒厂改造实践,提出通过城市设计策略及方法,基于已有的控规框架结合工业旧址提升公共空间品质.在现场勘测评估的基础上,通过土地规划利用调整,结合现有工业建筑及构筑物进行公共空间整合与品质提升,进行多样性功能策划与周边片区功能互补等策略,使工业旧址在保留价值元素的同时融入城市体...     

基于ASM模型的协议一致性测试研究

针对协议测试中,状态机描述、测试集成环境和被测实现彼此独立带来的问题,提出了在可视化编程环境下利用抽象状态机模型和桩函数结合实现协议一致性测试方法。在分析抽象状态机测试理论的基础上,给出基于抽象状态机和remoting技术的协议分布式测试模型。以抽象状态机语言描述简单文件传输协议为例,采用分布式测试模型,实现了被测协议的远程一致性测试。     

循环不变式开发技术研究

高可靠性软件是当今软件开发的热点问题。确保算法程序逻辑结构正确最理想的途径是算法程序的形式化推导和证明,而循环不变式是算法程序形式推导和证明的关键。循环不变式的开发一直是算法程序设计领域中最具挑战性、最富有创造性、也是最困难的问题之一。本文研究了众多现有循环不变式开发方法中较为典型的几种方法,指出了它们的基本原理、技术难点、特点及效果,旨在探寻循环不变式本质特征,从而为研究更简单、有效的生成方法提出指导。     

论景观设计艺术的多功能性

景观设计是景观设计学的核心,它作为一门艺术而存在,是景观形式与功能有机结合的艺术表达,它具有艺术的多功能性,这正是景观艺术价值的体现。     

基于结构比对的软件同源综合检测工具的设计与实现

文章对基于文本、Token和抽象语法树的同源性检测技术进行探讨,详细介绍了关于抽象语法树的同源性检测技术。同时,在对实际应用大量研究的基础上,文章着重介绍了源代码同源性检测系统的架构设计,以及引擎比对、比对结果分析和比对结果输出等主要功能模块,并对开发的系统进行了系统测试和分析,验证了算法的可行性。     

基于软件交互行为日志的动态模型构建

建立软件交互行为模型是认识软件的内部机理和运行规律的基础。根据监控收集的典型的电子商务软件交互日志文档,挖掘其中的不变量约束规则,借鉴有限状态机构造方法构建动态模型。为确保模型的确定性和完备性,对模型进行精化和抽象,并给出了相应的建模算法。通过实例证实了该方法的正确性和有效性。     

Chord协议的抽象状态机模型

P2P是构筑于互联网的大规模分布计算协议,采用形式化方法对P2P协议的本质原理进行分析,将有助于P2P协议的优化和改进。本文采用抽象状态机(ASM)对经典P2P协议Chord进行分析,用基于抽象状态机语言(Asml)对其建模,设计了核心运行规则,并得到了该协议的有限状态机模型。本文的工作有助于分析、优化P2P协议。     

项目教学法在数字媒体艺术专业教学上的应用——以《民族文化虚拟仿真创作平台建设》课题为例

项目教学法是可以让学生在实践中学习,掌握更新的知识技能以便更好的适应社会,作为民族院校以《民族文化虚拟仿真创作平台建设》为项目课题有助于更好地促进多民族院校学生民族文化交流,从而达到促进民族融合的作用。     

基于抽象和搜索空间划分的安全性判定方法

为满足访问控制策略安全性快速判定的要求,提出一种基于谓词抽象和验证空间划分的访问控制策略状态空间约减方法,将在访问控制策略原始状态机模型上的安全性分析工作转移到包含较少状态的抽象模型上,并进一步划分抽象模型的验证空间,以提高效率.理论分析和实验数据均表明,其安全性分析所需的时间和空间都得到有效约减.与传统方法相比,它具有速度更快、自动化程度更高等优点.