摘要
摘要
AC17型 Affeldt R，Cohen C（2017）《机器人操纵器三维几何建模的正式基础》。 收件人：ACM认证程序和证明sigplan会议，第30-42页 谷歌学者 
公元16年 Isabelle/HOL中矩阵梯形计算的形式化 表单Asp计算 2016 28 6 1 22 3551249 2007年10月10日/00165-016-0383-1 谷歌学者 数字图书馆 
AMC+12 基于Grassmann-Cayley代数和Grassmann几何的3T2R并联机构奇异性分析 机械-马赫理论 2012 52 326 340 10.1016/j.机械原理2011.11.015 谷歌学者 交叉引用 
BKL08型 模型检查原则 2008 剑桥 麻省理工学院出版社 1179.68076 谷歌学者 数字图书馆 CGH+15 模型检查飞机控制器软件：一个案例研究 软实际经验 2015 45 7 989 1017 10.1002/spe.2242 谷歌学者 数字图书馆 CR12号机组 基于扩展6×6雅可比矩阵的四自由度并联机器人奇异性分析 机械-马赫理论 2012 57 51 61 10.1016/j.机械原理2012.06.008 谷歌学者 交叉引用 CWZL09型 雅可比矩阵的模块化计算及其在锻造机器人性能分析中的应用 高级机器人 2009 23 10 1261 1279 10.1163/156855309X462574 谷歌学者 交叉引用 图13 基于二自由度并联机床的优化设计与开发 国际先进制造技术杂志 2013 67 5–8 1609 1621 10.1007/s00170-012-4594-1 谷歌学者 交叉引用 频率13 二连杆平面机械手的形式化运动学分析 形式化方法与软件工程 2013 柏林，海德堡 施普林格-柏林-海德堡 347 362 10.1007/978-3-642-41202-8_23 谷歌学者 FT03（飞行时间03） 低自由度串联机器人的逆速度和奇异性分析 J机器人系统 2003 20 4 177 188 10.1002/罗布10079 谷歌学者 交叉引用 GG97型 一类机器人重力矢量雅可比的统一界 Trans-Am Soc Mech Eng J动态系统测量控制 1997 119 110 114 10.1115/1.2801200 谷歌学者 交叉引用 GM93公司 高阶逻辑的定理证明环境HOL简介 1993 剑桥 剑桥大学出版社 779.68007 谷歌学者 数字图书馆 哈雷05 欧氏空间的HOL理论 计算机科学课堂讲稿 2005 柏林，海德堡 施普林格-柏林-海德堡 114 129 谷歌学者 HL14型 奇异位形3UPS-S并联机构的几何条件 Chin J机械工程师 2014 27 1 130 137 10.3901/CJME.2014.01.130 谷歌学者 交叉引用 HLC11型 低机动性机器人的广义雅可比分析 机械-马赫理论 2011 46 6 831 844 10.1016/j.机械原理2011.01.09 谷歌学者 交叉引用 卫生+15 一种确定低导纳串联运动链未知扭/扭子空间的方法 J机械机器人 2015 7 三 031003 10.1115/1.4028622 谷歌学者 交叉引用 MLSS94型 机器人操作数学导论 1994 博卡拉顿 出版社 858.70001 谷歌学者 数字图书馆 RA15型 FUM 3-PSP并联机器人的雅可比、奇异性和运动学灵敏度研究 机械-马赫理论 2015 86 211 234 10.1016/j.机械原理.2014.11.009 谷歌学者 交叉引用 RRL15号机组 新型多点装置2-DOF机构的运动学和基于工作空间的尺寸优化 机电一体化 2015 28 103 114 10.1016/j.机电设备.2015.04.011 谷歌学者 交叉引用 RTD11型 Denavit–Hartenberg方法与机器人运动学建模中基于螺旋的方法的比较 机器人计算机集成制造 2011 27 4 723 728 2016年10月10日/j.rcim.2010.12.009 谷歌学者 数字图书馆 SLG+14号机组 Shi Z，Liu Z，Guan Y，Ye S，Zhang J，Wei H（2014）HOL中函数矩阵理论的形式化。 应用数学杂志，2014 谷歌学者 SSL13型 基于几何方法的冗余驱动3-RRR并联机器人最优转矩分配方法 机器人 2013 31 04 549 554 2017年10月17日/0263574712000562 谷歌学者 交叉引用 SWH14型 基于代数观点的3-RPS并联机器人 机械-马赫理论 2014 75 161 176 10.1016/j.机械原理2013.12.007 谷歌学者 交叉引用 SZL+14号 HOL4中矩阵理论的形式化 高级机械工程师 2014 6 195276 10.1155/2014/195276 谷歌学者 交叉引用 Tsa99型 机器人分析：串联和并联机械手的力学 1999 纽约 威利 谷歌学者 数字图书馆 WSL+15 Wu A，Shi Z，Li Y，Wu M，Guan Y，Zhang J，Wei H（2015）使用螺旋理论对一般6R机械手进行形式化运动学分析。 数学问题工程，2015 谷歌学者 ZMG13型 线性空间理论在高阶逻辑证明系统中的形式化 应用数学杂志 2013 2013 1 1 10 3045431 1315.03021 谷歌学者
建议
3-PSP空间并联机器人的位置、雅可比和工作空间分析 研究了空间型3-PSP并联机器人的运动学、雅可比、奇异性和工作空间分析问题。 首先，研究了机器人的结构和运动变量。 两种操作模式，非纯。。。 螺旋理论中雅可比矩阵的形式化分析及其在运动奇异性中的应用 2017 IEEE/RSJ智能机器人和系统国际会议（IROS） 精确的雅可比矩阵描述和严格的分析对于保证对机械手运动学性能的正确评估是必不可少的。 本文提出了螺旋理论中雅可比矩阵的形式化分析方法。。。
