基于过程代数的智能机器人系统建模
文献类型:期刊论文
作者 | 叶文; 杨叔子 |
刊名 | 机器人
![]() |
出版日期 | 1998 |
卷号 | 20期号:1页码:9-14, 19 |
关键词 | 智能机器人系统,过程代数,系统建模,模型分析 |
ISSN号 | 1002-0446 |
其他题名 | PROCESS ALGEBRA BASED INTELLIGENT ROBOT SYSTEM MODELLING |
产权排序 | 1 |
中文摘要 | 本文描述用于智能机器人系统建模的过程代数ACPR,给出ACPR的语法规则和语义解释,研究了过程组合操作子的性质及ACPR的过程演化特性,讨论了开放式IRS问题求解.最后给出移动机器人协调级建模实例. |
收录类别 | EI ; CSCD |
语种 | 中文 |
CSCD记录号 | CSCD:445580 |
公开日期 | 2015-03-17 |
源URL | [http://ir.sia.cn/handle/173321/15700] ![]() |
专题 | 沈阳自动化研究所_沈阳自动化所知识产出(2000年前) |
推荐引用方式 GB/T 7714 | 叶文,杨叔子. 基于过程代数的智能机器人系统建模[J]. 机器人,1998,20(1):9-14, 19. |
APA | 叶文,&杨叔子.(1998).基于过程代数的智能机器人系统建模.机器人,20(1),9-14, 19. |
MLA | 叶文,et al."基于过程代数的智能机器人系统建模".机器人 20.1(1998):9-14, 19. |
入库方式: OAI收割
来源:沈阳自动化研究所
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。