基于MAXQ方法的分层强化学习

强化学习是机器学习领域的一个重要分支,但在强化学习系统中,学习的数量会随着状态变量的个数成指数级增长,从而形成"维数灾".为此提出了一种基于MAXQ的分层强化学习方法,通过引入抽象机制将强化学习任务分解到不同层次上来分别实现,使得每层上的学习任务仅需在较小的空间中进行,从而大大减少了学习的数量和规模.并给出具体算法--MAXQ-RLA.     

基于TLA的正确性验证方法

随着面向服务的体系结构的发展,有效地组合单个分布的web服务以提供更有价值的服务成为新的热点问题.然而,在这一研究领域还存在诸多问题,比如web服务用哪种方式组合,能否实现自动组合,对组合服务进行正确性验证等等.文中主要是针对组合服务的正确性验证问题,引入时序逻辑TLA.通过把组合服务的BPEL描述转换为TLA可以理解的自动机的形式,这种方法可以很好地验证组合逻辑的正确性以及快速发现死锁等问题.     

关于高校计算机基础课程实验的研究

计算机技术的迅速发展与广泛应用,已使其成为每位高校学生的必修课。计算机基础课程的实验教学具有专业性强、应用性广的重要特点。由于各院系专业多、实验内容、要求不同,怎样加强实验教学,如何科学的设计和组织实验课,将直接影响至计算机实验教学效果和学生动手能力的培养。经过多年的实践,这里总结出一套适应院系计算机基础课程的实验教学的模式,并取得较好的教学效果。