首页> 中文期刊> 《机器人》 >基于过程代数的智能机器人系统建模

基于过程代数的智能机器人系统建模

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文描述用于智能机器人系统建模的过程代数ＡＣＰＲ，给出ＡＣＰＲ的语法规则和语义解释，研究了过程组合操作子的性质及ＡＣＰＲ的过程演化特性，讨论了开放式ＩＲＳ问题求解．最后给出移动机器人协调级建模实例．

著录项

来源
《机器人》 |1998年第1期|9-14|共7页
作者
叶文; 杨叔子;
展开▼
作者单位

华中理工大学机械学院;

中国科学院机器人学开放实验室;

展开▼
原文格式 PDF
正文语种 chi
中图分类智能机器人;
关键词
智能机器人系统; 过程代数; 建模; IRS模型;

相似文献

中文文献
外文文献
专利

1. 基于过程代数的智能机器人系统建模 [J] . 叶文 ,杨叔子 . 机器人 . 1998,第1期
2. 基于代数的软件过程建模系统的设计与实现 [J] . 杨国伟 ,杨秋松 ,翟健 . 计算机工程与设计 . 2008,第3期
3. 基于极大代数的MVB网络过程数据通信建模与分析 [J] . 胡黄水 ,常玉琪 ,王宏志 . 吉林大学学报（理学版） . 2018,第5期
4. 基于过程代数的可变业务流程建模方法 [J] . 姚青 ,洪余柯 ,王海洋 . 计算机集成制造系统 . 2009,第9期
5. 基于随机进程代数的在线客服系统建模及优化 [J] . 严博 ,周大伟 ,付钰 . 海军工程大学学报 . 2022,第4期
6. 基于系统调用和进程代数CCS的行为建模方法 [C] . 张帆 ,徐明迪 ,游林 . 2011年第五届中国可信计算与信息安全学术会议(CTCIS2011) . 2011
7. 基于进程代数和模型检验的系统建模与评价 [A] . 刘园 . 2008

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号