排序方式: 共有74条查询结果,搜索用时 0 毫秒
1.
针对机械臂在障碍物环境下的轨迹规划问题,提出了一种基于ROS环境的机械臂避障方法。该方法使用Realsense D435深度相机与机械臂构成手眼系统,通过点云数据构造OctoMap空间概率地图,在ROS环境下使用Moveit对机械臂进行运动规划,实现了机械臂在障碍物环境下的实时避障,在真实机械臂上验证了避障效果。 相似文献
2.
在第一代自组装模块化群体机器人Sambot的设计基础上,采用激光定位和摄像头模块进行信息采集,重新设计出了新一代自组装模块化群体机器人SambotⅡ。详细叙述了SambotⅡ机器人的视觉控制算法,通过相关的摄像头和激光实验验证了该算法的可行性。最后设计了两个SambotⅡ机器人的自主对接实验,展示了实验结果并对结果进行了分析,证明了SambotⅡ机器人整体方案的可行性。 相似文献
3.
计算几何算法经常用于机器人避碰运动规划等安全攸关领域,对这些算法进行正确性证明非常重要.用形式化方法对算法进行验证是一种十分有效的手段,尤其是定理证明的方法用严格的数学公理和定理推理证明逻辑模型的性质,对所验证的性质而言是完备的.基于GJK算法设计了计算空间两条线段间距离的算法,用定理证明器HOL4对其相关的定义和定理进行形式化定义和证明,进而基于霍尔逻辑完成形式化表示和证明,对该算法的正确性实现了形式化验证.最后,给出了这一经过验证的算法在双臂机器人无碰撞运动规划中的应用. 相似文献
4.
覆盖控制是无线传感器网络中的基本问题之一,动态覆盖问题又在很多领域有其独到的应用价值。为了更好地实现动态覆盖,基于集中式Voronoi网格细分( CVT)理论,结合Lloyd算法,提出了一种无线传感器网络动态覆盖算法,通过调整目标覆盖区域几何边界,协同调度无线传感器网络节点,从而实现目标区域无线传感器网络动态覆盖。在仿真中,进行了正方形、正方形—圆形障碍静态边界区域覆盖实验和正方形—长方形目标区域、正方形—十字形目标区域、正方形—H形目标区域动态边界覆盖实验,验证了控制算法的有效性,并对不同目标覆盖区域形状、节点数量、覆盖程度、覆盖效率进行了分析。 相似文献
5.
空间总线(SpaceWire)协议是应用于航空航天领域的高速通信总线协议, 保证其可靠性至关重要。但是由于通信系统具有队列量、分布控制和并发性等特点,传统仿真模拟的验证方法存在不完备性的问题,采用模型检测方法对高层次属性进行验证时,通常会出现状态爆炸的问题。基于xMAS模型对SpaceWire通信系统中的信誉逻辑进行形式化建模、验证,xMAS模型既保留了底层的结构信息,又可以验证高层次的属性。对通信系统中信誉逻辑进行抽象进而建立了xMAS模型,提取了可发送性、可接收性和数据一致性等3个关键属性,运用定理证明工具ACL2对关键属性的正确性进行了自动验证。该方法为验证指导下的系统设计提供了有效的参考。 相似文献
6.
针对永磁同步电机伺服系统的机械参数经常发生变化的情况,提出了一种通过辨识转动惯量和摩擦系数实现速度控制器系数自校正的方法.辨识转动惯量和摩擦系数采用的是根据波波夫超稳定理论设计的一种转动惯量和摩擦系数的模型参考辨识算法.辨识中引入了负载转矩观测器的观测值,使辨识算法不需要附加条件.参数辨识的结果用于速度控制器的校正.通过实验分析了速度环采用比例积分(PI)控制器时控制器的系数不等于理论计算值的问题,得出了一种简单的控制器系数自校正规律--比例系数和转动惯量成正比,且积分系数和摩擦系数也成正比.这种方法能够根据机械参数的变化校正控制器,提高速度控制的性能.仿真结果证明了参数辨识方法和控制器系数校正规律的有效性. 相似文献
7.
8.
9.
10.