作者：娄晨辉,李晓娟,关永 单位：中国计算机自动测量与控制技术协会 出版：《计算机测量与控制》2016年第06期 页数：4页  （PDF与DOC格式可能不同） PDF编号：PDFJZCK2016060870 DOC编号：DOCJZCK2016060879 下载格式：PDF + Word/doc 文字可复制、可编辑

    • 随着机器人应用在越来越多的领域，人们对其安全性的要求越来越高，作为机器人的核心，控制系统设计的可靠性对整个系统的安全至关重要；针对一种模块化设计的机器人控制系统架构，利用xMAS(eXecutable MicroArchitecture Specification，可执行微架构描述)模型在定理证明器ACL2中对其功能正确性进行验证，首先对Xmas在ACL2中的形式化理论做了阐述，然后对该机器人控制系统中的加速度传感器数据采集模块建立xMAS模型，提取关键属性并进行验证；将xMAS模型和定理证明器ACL2相结合，可以很好地解决机器人控制系统的验证问题，为机器人控制系统的形式化验证提供一个有效的方法参考。

    📙 相关资料

    1. 《四轮移动机器人控制系统的设计》PDF+DOC 针对一些中小企业机器人应用的实际情况，设计了一个四轮移动机器人控制系统，该系统由微控制器模块、电机驱动模块、传感器模块与无线通信模块组成.微控制器模块是控制系统的核心，能无线接收监控平台传来的指令信号，通过传感器模块实时采集机器人移动路径及其障碍物信号，进行数据分析与处理，通过电机驱动模块控制机器人......
    2. 《工业机器人技术的发展及其应用》PDF+DOC 当前，机器人技术在制造业中发挥着重要作用.机器人综合运用机械、控制、检测、系统工程等方面的技术，通过其机械装置、伺服单元、控制系统和传感器系统等组成部分的协调运作，实现控制系统的指令要求.机器人依靠软件系统进行信息处理，依靠执行机构来完成既定的工作任务.机器人技术的使用保证了加工的准确性，大大提高了......
    3. 《应用于桥梁检测的分布式传感网设计》PDF+DOC 本文设计了一种分布式传感网，能够应用于桥梁检测，对桥梁的振动和压力进行测量，相比于传统的检测方式，本文所采用的方法具有一定的优越性。...
    4. 《基于加速度传感器的智能摇床设计》PDF+DOC 为了将大人从看护小孩时的疲倦中解脱出来，本文设计基于加速度传感器的智能摇床，该设计能够自动提醒大人小孩尿床和自动播放音乐等控制的多功能摇床，整个系统由数据采集和电机控制模块、显示模块、电压比较模块等组成。数据采集模块采集的数据交给控制模块，控制模块控制电机运动和音乐播放，通过加速度传感器对宝宝的当前......
    5. 《基于Google Glass的远程解放双手式机器人控制系统》PDF+DOC 随着人机交互技术的发展，解放双手的技术也日益繁荣。在面对复杂任务时，解放双手的技术提供了新的交互渠道，丰富了交互信号的来源。利用Google Glass穿戴式的特点，搭建了一个解放双手的移动机器人远程控制系统。该系统运用互补滤波器融合加速度传感器、陀螺仪以及地磁传感器的测量数据检测操作者的头部运动，......
    6. 《基于虚拟仪器的水电机组振动监测系统设计》PDF+DOC 介绍了基于C++Builder开发平台和研华PCI-1715U数据采集卡的水电机组振动测试系统，通过设计相应的系统硬件和软件，可以对水电机组的运行状态进行实时振动监测和各种数据分析，为水电机组的状态监测提供了很好的技术手段。...
    7. 《移动机器人控制系统设计与分析》PDF+DOC 移动机器人的核心是控制系统，如何设计出低耗、高效和低成本的机器人控制系统一直是机器人应用的重要瓶颈，本文阐述和分析了机器人控制系统的主要设计思路，提出了一些新的方法。...
    8. 《基于MSP430的移动式弹跳机器人控制系统设计》PDF+DOC 为了提高机器人在未知环境中的运动和生存能力，设计用于燃爆式移动弹跳机器人的控制系统，以MSP430单片机为控制主体，实现弹跳驱动、行走驱动和实时采集周围环境信息等功能。试验表明：控制系统能实现机器人的弹跳和行走驱动等功能的控制。...
    9. 《基于步态加速度的步态分析研究》PDF+DOC 介绍了基于加速度传感器的便携式步态数据采集模块的设计方案。重点分析了步态加速度信号的特征，以及利用步态加速度的无偏自相关特性提取步态参数方法，并通过分析、对比人单步(左、右脚步)与步态周期间的相关系数，实现了步态对称性的评估。...
    10. 《基于数据采集系统芯片的新一代汽车行驶记录仪》PDF+DOC 对研制新一代基于数据采集系统芯片ADμC812和单片加速度传感器IC的汽车行驶记录仪的技术要求和技术难点进行讨论，并提出了解决方案。经过对软硬件多次调试和完善后，试制产品可以更精确、更完整地记录汽车行驶时的车速与加速度等参数，且具有体积小、可靠性高的特点。...

    提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。