期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
环境自动机的测试等价类
1
作者 沈虹 《计算机科学》 CSCD 北大核心 2002年第8期22-23,21,共3页
一、引言 在自动机理论中常常对于标准的Moore自动机增加某些装置构成用于各种不同用途的自动机,它们常用于语言的识别器、算法设计和分析、人工智能、机器学习、机器人的环境等等.R.L.Rivest和R.E.Schapire在文[1]中,引用了An-gluin[2... 一、引言 在自动机理论中常常对于标准的Moore自动机增加某些装置构成用于各种不同用途的自动机,它们常用于语言的识别器、算法设计和分析、人工智能、机器学习、机器人的环境等等.R.L.Rivest和R.E.Schapire在文[1]中,引用了An-gluin[2]提出的学习自动机的模型,建立了测试等价类的概念,应用这个概念,成功地描述了机器人的环境和复杂环境下的学习问题. 展开更多
关键词 机器人 自动机理论 环境自动机 测试等价类
在线阅读 下载PDF
基于自动机理论的分布式实时调度分析工具 被引量:7
2
作者 桂盛霖 罗蕾 +2 位作者 李允 于淼 徐建华 《软件学报》 EI CSCD 北大核心 2011年第6期1236-1251,共16页
分布式实时系统是广泛应用在众多关键领域的一类复杂实时系统.为保证其上运行任务的实时性,传统基于最坏响应时间的调度分析方法往往包含了实际系统运行过程中无法达到的最坏情况,因此在这些情况下的分析结果过于悲观.基于自动机理论的... 分布式实时系统是广泛应用在众多关键领域的一类复杂实时系统.为保证其上运行任务的实时性,传统基于最坏响应时间的调度分析方法往往包含了实际系统运行过程中无法达到的最坏情况,因此在这些情况下的分析结果过于悲观.基于自动机理论的模型检测方法的好处在于能够穷尽地搜索整个系统状态空间,得到精确的分析结果.为了利用形式化方法的优势来精确分析分布式系统上任务的调度性,建立了分布式系统上的任务形式化模型,提出了行为自动机和环境自动机以分别描述任务的执行语义及其外部到达关系,把任务的调度性分析转换为对自动机网络位置的可达性进行分析,证明了在某些调度策略下的调度性的可判定性,并给出了满足调度可判定性调度策略的条件和范围.基于上述结论,实现了一个支持分布式系统任务实时调度分析工具SCT(schedulability checking tool),并与其他工具进行了分析精确度和性能的比较.比较结果显示,SCT可以提供最为精确的分析结果,但同时也具有最长的分析时间. 展开更多
关键词 分布式系统 硬实时 调度性分析 行为自动机 环境自动机
在线阅读 下载PDF
Dyna-QUF:Dyna-Q based univector field navigation for autonomous mobile robots in unknown environments 被引量:1
3
作者 VIET Hoang-huu CHOI Seung-yoon CHUNG Tae-choong 《Journal of Central South University》 SCIE EI CAS 2013年第5期1178-1188,共11页
A novel approach was presented to solve the navigation problem of autonomous mobile robots in unknown environments with dense obstacles based on a univector field method. In an obstacle-free environment, a robot is en... A novel approach was presented to solve the navigation problem of autonomous mobile robots in unknown environments with dense obstacles based on a univector field method. In an obstacle-free environment, a robot is ensured to reach the goal position with the desired posture by following the univector field. Contrariwise, the univector field cannot guarantee that the robot will avoid obstacles in environments. In order to create an intelligent mobile robot being able to perform the obstacle avoidance task while following the univector field, Dyna-Q algorithm is developed to train the robot in learning moving directions to attain a collision-free path for its navigation. Simulations on the computer as well as experiments on the real world prove that the proposed algorithm is efficient for training the robot in reaching the goal position with the desired final orientation. 展开更多
关键词 Dyna-Q mobile robot reinforcement learning univector field
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部