|
|||||
|
|
| 工业机器人模块化建模与验证 | |
| 引用本文： | 梁婷,王瑞,李晓娟,关永.工业机器人模块化建模与验证[J].计算机工程与设计,2019,40(1). |
| 作者姓名： | 梁婷 王瑞 李晓娟 关永 |
| 作者单位： | 首都师范大学 信息工程学院,北京,100048;首都师范大学 信息工程学院,北京,100048;首都师范大学 信息工程学院,北京,100048;首都师范大学 信息工程学院,北京,100048 |
| 基金项目： | 国家自然科学基金;国家自然科学基金;国家自然科学基金;国家自然科学基金;国家科技支撑计划;北京市科委基金项目;北京市教委科研基地建设项目;北京市市属高等学校创新团队建设与教师职业发展计划;国家国际科技合作专项基金 |
| 摘 要： | |
| 关 键 词： | 模块化建模 工业机器人 模型检测 时间自动机 UPPAAL |
| 本文献已被 万方数据 等数据库收录！ | |
