首页   |   期刊介绍   |   编 委 会   |   投稿指南   |   学术活动   |   期刊订阅   |   检索与收录   |   联系我们   |   专栏投稿 
小型微型计算机系统  2022, Vol. 43 Issue (3): 475-482    DOI:
最新目录| 下期目录| 过刊浏览| 高级检索 |
群机器人区域覆盖算法高阶逻辑建模与验证
尹晓娜,王国辉,施智平,关永,张倩颖,张景芝
(高可靠嵌入式系统技术北京市工程研究中心,首都师范大学信息工程学院,北京100048)
High-order-logical Modeling and Verification of Region Coverage Algorithm with Swarm Robots
YIN Xiao-na,WANG Guo-hui,SHI Zhi-ping,GUAN Yong,ZHANG Qian-ying,ZHANG Jing-zhi
(Beijing Engineering Research Center of High Reliable Embedded System,Capital Normal University,Beijing 100048,China)


版权所有 © 《小型微型计算机系统》编辑部
主办单位:中国科学院沈阳计算技术研究所 主编:郭锐锋
国内邮发代号:8-108 国外发行代号:M349 通信地址:沈阳市浑南区南屏东路16号 邮编:110168
联系电话:(024)24696120 E-mail: xwjxt@sict.ac.cn
本系统由北京玛格泰克科技发展有限公司设计开发  技术支持:support@magtech.com.cn