搜索结果: 1-5 共查到“信息科学与系统科学 机器人系统”相关记录5条 . 查询时间(0.289 秒)
提出了简易的机器人三维定位算法。机器人利用简易的通信设备通信，获取一跳邻居节点和两跳邻居节点估计位置值，再利用这些值，判断自己位置的偏差。运用吸引力、排斥力或协调力这三种修正力修正自己的位置。通过不断迭代通信和修正，估算自己的位置。最后，通过变化机器人通信半径和机器人数量，重复仿真，分析SRDL算法的性能。仿真结果表明，SRDL算法的定位精度依赖于两个参数：通信半径和机器人密度。当通信半径为7 m...
2017年，北京大学信息科学技术学院网络与信息系统研究所肖臻研究员课题组发布并开源了一款针对于海量数据处理任务的分布式机器学习系统xLearn，仅48小时之后即在全球最大开源社区Github收获近750颗星，并在Github趋势（Github trending）的排名超越了谷歌开发的开源软件库TensorFlow；其主要开发者、信息学院博士研究生马超在Github排行榜上跻身前五甲，与微软、脸书、...
针对高度非线性多关节机器人的轨迹跟踪问题, 提出一类输出反馈重复学习控制算法, 使得在只有位置信
息可测以及模型信息不确定的条件下即能获得良好的控制品质. 非线性滤波器的引入解决了现实中速度信号较难获
得的问题, 重复学习控制策略实现了对周期性参考输入的渐近稳定跟踪. 应用Lyapunov 直接稳定性理论证明了闭环
系统的全局渐近稳定性. 三自由度机器人系统数值仿真结果表明了所提出的输出反馈...
我国研发成功超高压输电线路巡检机器人系统
2008/1/17
新华网兰州8月29日电（记者宋常青）中国科学院兰州分院科技人员最近成功研制出了超高压输电线路巡检机器人系统，这个系统能够满足一般超高压输电线路巡检的需要，填补了国内空白。 记者从中科院兰州分院科技合作处了解到，目前在我国，超高压线路的巡检、维护基本上采用人工沿线逐塔巡视的作业方式，劳动强度大、费用高且危险性大，急需有可以取代人力进行线路维护的巡检设备。在输电线路的巡检中使用机器人，不仅可以减...
构造型几何定理及其机器证明系统
2007/8/27
Hilbert 机械化定理表明,Pascal 几何中构造型交点定理可以机器证明。1982年,吴文俊教授给出了机械化定理的构造性证法。本文指出,通过添加若干新的构造类型,有更广泛的一类平面几何定理,其机器证明可以按照同样的构造性证法实现,我们称这类定理为构造型几何定理。作者适当调整吴文俊算法的步骤,在 HP1000小型计算机上建立了构造型几何定理的机器证明系统,效率大大提高,从而成功地证明了许多不平...