【摘 要】
：
本文走从语言文字描述到符号化再到形式化的崭新道路来探索智能机器人系统的建模问题。首先，为智能机器人系统建立了更全面、确切的语言文字描述，然后，通过直现地符号化，为智能机
【机 构】
：
上海交通大学自动控制系,华东理工大学自动化研究所
论文部分内容阅读
本文走从语言文字描述到符号化再到形式化的崭新道路来探索智能机器人系统的建模问题。首先，为智能机器人系统建立了更全面、确切的语言文字描述，然后，通过直现地符号化，为智能机器人系统提出并建造成了一种新型的结构模型，命名为环递阶模型，最后，利用形式语言理论，将环递阶模型形式化，从而，首次将智能机器人系统整体形式化地建模成了一种上下文无关文法，为智能机器人系统的建模问题开发成了一种解析的框架。形成了一种新的理论，命名为环递阶模型理论。
其他文献
会考制度是中学期间一项重要的考试制度。它是考查学校教学情况,考核学生学习成绩,衡量学校办学质量的重要手段,也是保证高等教育生源质量,为社会提供合格毕业生的重要方式。
软件工程提倡的工程化和代码复用思想,已经促使代码自动生成技术成为软件科学研究的新领域。在航天领域,系统复杂度非常高,系统间及系统内部的接口问题已成为影响工程成败的
墨兰Cymbidium sinense是我国主要的传统花卉之一,通过对我国墨兰的主要产地福建和广东两个地区的调查,发现大部分兰场生产技术粗放,尤其在栽培基质上,基质配比上较为随意,基
<正>1.应用微课教学是否一定会获得理想教学效果当代教育正在从"知识本位"走向"综合素质本位",即走向知识、能力和情感、态度与价值观融为一体的教育。微课的应用极大地提升
八卦庙金矿是秦岭造山带唯一的超大型金矿床,曾被认为是微细浸染型(卡林型)金矿。但最新研究表明该矿床金为粗粒可见金,矿床空间定位和矿体展布受二里河—长沟—八卦庙—空棺
<正>公元八世纪至十三世纪,云南洱海区域曾先后建立过南诏(752——902)、大理(937——1253)两个与中原唐宋王朝保持臣属关系的地方政权。统治南诏,大理国的历代王族在统一云
<正>品德与社会课是一门以学生生活为基础,以学生良好品德形成核心,促进学生社会性发展的综合课程。其中,帮助学生参与社会、学会做人是课程的核心。新修订的《品德与社会课
介绍了热泵技术的原理,并结合某发电厂应用实例,说明了在电厂中可以采用热泵技术,循环水不再全部依靠冷却塔降温,而是部分作为各级热泵的低温热源,提高热电厂额定供热能力,减
求参数的取值范围是高职数学中的一个难点,而双参数问题更是函数问题中比较难也非常重要的一类问题,学生处理这类问题,往往感到无从下手,但只有掌握好这类问题,才能更好的掌