耦合不动点

摘要： 巴拿赫空间中混合单调算子的不动点理论已经有了广泛的研究,并且有很多应用。混合单调算子是一类非常重要的算子,广泛存在于非线性积分方程和微分方程的研究中。研究拓展了一类混合单调算子的不动点定理,对压缩条件的不等式两侧都分别进行了改进,应用对称性将不等式左侧单项变成两项和的形式,不等式右侧用函数进行限制,其适应范围更广。在完备度量空间内通过证明柯西列的收敛性,进而得出不动点定理,并应用到非线性积分方程中。

摘要： 在对半序集的定义及一些性质了解的前提下,本文给出半序集上集值算子的几种混合单调性的定义,并给出了集值映射下混合单调迭代序列的证明.再由半序拓扑空间上的一些性质,在不假设任何连续性的条件下,给出了单值和集值混合单调超限迭代序列收敛于耦合不动点的几个充分条件.

摘要： 研究了一类0-完备的偏距离空间中推广的(ψ,Φ)-压缩映射原理,通过引入比较函数得到了相应的耦合不动点定理,并通过得到的结论研究了一类二人博弈非合作均衡问题.

摘要： 利用锥理论和半序方法,讨论了Banach空间中,当序关系是由某个非零线性连续泛函导出时的混合单调算子的一些耦合不动点定理.

摘要： 研究在半序拓扑空间下,形式为A=CB的集值混合单调算子的耦合不动点以及它的最小最大耦合不动点的存在性.

摘要： 在偏序2-距离空间中,研究了一类压缩型映象不动点的存在性和唯一性问题.利用映象对的ω-相容性条件,获得了此类映象的一个新的耦合重合点和耦合公共不动点定理.所得结果是度量空间中某些经典结果在偏序2-距离空间的进一步推广和发展.

摘要： 本文研究了一类含积分边值条件的非线性分数阶微分方程耦合系统{cDαu(t)+f(t,u(t),v(t))=0,cDαv(t)+f(t,u(βt),v(βt))=0,u(0)=u'(0)=…=u(n-2)(0)=u(n)(0)=0,u(1)=λ∫10 u(s)ds,v(0)=v'(0)=…=v(n-2)(0)=v(n)(0)=0,v(1)=λ∫10 v(s)ds正解的唯一性.利用广义耦合不动点定理,本文得到了该边值问题正解的唯一性的充分条件,并在举例说明了定理的有效性.

摘要： 给出了s-度量空间中几种形式的公共耦合不动点定理,改进并推广了前人的结果.

摘要： 在相对良序完备集和良序完备集的概念的基础上,利用混合单调映射的迭代方法,给出了偏序集上混合单调映射的耦合不动点的若干存在性定理.

摘要： 基于有序度量空间上的耦合不动点理论，讨论一类奇异非线性分数阶微分方程组正解的存在性与唯一性，得到了该类方程解的存在性与唯一性两个定理。%On the basis of a coupled fixed point theorem on ordered metric spaces,we studied the existence and uniqueness of a positive solution for a kind of singular nonlinear fractional differential system of equations boundary value problem and obtained 2 theorems the existence and uniqueness of solutions of such equations.

摘要： 讨论了部分序线性系统中集算子的耦合不动点存在性问题，其结果统一和推广了有关文献中的相应结论。

摘要： 本发明公开了一种不动点平台在水性高分子材料施工性的检测和应用，检测方法包括a)提供上样底材、旋转流变仪、不动点平台和待测样品；b)使用装有不动点平台的旋转流变仪测定待测样品的不动点曲线，确定真空度和剪切力；c)按照步骤b)确定的真空度、剪切力，使用装有不动点平台的旋转流变仪测试待测样品在水分不断渗透，固体份含量不断上升过程中的流变学信息，得到粘度随时间的变化曲线；d)对粘度随时间的变化曲线进行函数模拟和计算，得到待测样品的不动点时间，以其时间的长短评估待测样品的施工流平性能。本发明的方法能够快速、准确进行检测。

摘要： 本发明公开了一种光组件自动点胶耦合设备及其自动点胶耦合方法，包括顶板，所述顶板的顶部固定连接有点胶台，所述顶板顶部的后侧固定连接有L型连接杆，所述L型连接杆的底部固定连接有液压杆，所述液压杆的活塞端固定连接有点胶头，所述点胶台的顶部设置有组件板，所述顶板顶部的右侧设置有自动往复清理机构；所述自动往复清理机构中包括固定连接在顶板顶部前后侧的竖板，两个所述竖板相对侧之间的右侧转动连接有双向丝杆，本发明涉及点胶耦合设备技术领域。该光组件自动点胶耦合设备及其自动点胶耦合方法，通过自动往复清理机构的设置，实现了自动化清理点胶台上凝固的胶水，提升了工作效率，操作方便，实用性很强。

摘要： 本发明提供一种光组件自动点胶耦合设备和光组件自动点胶耦合方法，光组件自动点胶耦合设备包括工作台、点胶装置、夹持装置、夹具、平移组件和转摆组件，平移组件包括X轴平移机构、y轴平移机构和z轴平移机构，转摆组件包括α轴摆动机构、β轴摆动机构和γ轴转动机构，平移组件设在工作台上，点胶装置和夹持装置均设在平移组件上，转摆组件设于工作台与夹具之间，点胶装置和夹持装置均可移动至夹具上方。处理器获取X轴平移机构、y轴平移机构、z轴平移机构、α轴摆动机构、β轴摆动机构和γ轴转动机构各自的最大光功率值位置，保证成品均为合格品且具有最好的光传导功率，同时避免不必要的加工节省加工时间和加工材料，提高生成效率。

摘要： 一种用于微创手术的基于钢带传动的远心不动点结构，涉及微创手术器械技术领域，其能够有效解决现有的平行四边形杆件式远心不动点结构具有回程差，且运行平稳性差、重复定位精度低的技术问题。所述的用于微创手术的基于钢带传动的远心不动点结构，采用平行四边形钢带传动，由两级钢带轮组传动，组成平行四边形结构，在后级带轮的半径延长线上一点，形成一个自由度的远心不动点；并且，使得机器人的手臂结构可带动手术器械等，完成绕该远心不动点的运动，可靠性高，运动平稳性佳，刚性好，结构间隙小，能够有效消除回程差，重复定位精度高，远心位置精确，同时结构紧凑，容易控制，适合微创手术中的实际需求。

摘要： 本申请公开了一种机器人远心不动点的校验控制方法及相关装置，所述方法包括：离线采集机器人的机械臂的RCM点的起始位置，并利用光学传感器采集床体的传感标记起始位置；利用转换关系、RCM点的起始位置和传感标记起始位置得到RCM点和传感标记的初始相对位置；在线采集RCM点的当前位置，根据RCM点的当前位置和RCM点的起始位置计算RCM点的相对位置变化量；根据RCM点的相对位置变化量确定传感标记的期望位置，根据期望位置控制床体运动。本申请能够提高机械臂RCM点和传感标记的坐标匹配精度，实现机械臂与床体的高精度跟随。

摘要： 本发明公开了基于不动点逻辑的混成系统性能评价方法。在定义映射值域为实数区间的状态函数以及带有状态函数的KripkeAF结构的基础上，本发明通过将CTML和μ演算结合提出一种新的混成系统性能评价语言μML。KripkeAF作为μML的语义解释结构，一般的迁移系统Kripke结构作为系统模型。本发明将μ演算的输出值从布尔值推广至实数区间，以对混成系统实值相关的性质进行性能评价。通过扩展经典的计算不动点的改进算法，提出一种基于μML公式的性能评价算法，并在一定程度上提高了计算不动点的效率。

摘要： 一种基于远心不动点约束的手术机器人运动控制方法，所述方法采用一种手术机器人实施，所述方法包括：手术工具位姿的标定；手术工具结合手术目标位置初始位姿的校准；远心不动点约束方法；控制手术工具运动。所述手术机器人包括工控机(1)、人机交互设备(2)和机械臂台车(3)；所述机械臂台车(3)包括7轴冗余机械臂(31)、末端执行器(32)和手术工具(33)。由于采用运动控制算法实现远心不动点约束，避免了采用复杂的机械结构，也就解决了采用复杂机械结构实现远心不动点约束带来的种种问题。

摘要： 本发明涉及一种不动点机构、机械臂和手术机器人；手术机器人包括机械臂和与机械臂连接的不动点机构；不动点机构包括第一和第二直线运动装置；第一直线运动装置包括至少两个平行设置的第一直线运动机构，第二直线运动装置包括至少两个相串联的第二直线运动机构，至少一个第二直线运动机构与第一直线运动机构平行设置或部分重合设置；如此配置，可以提高不动点机构的结构刚度，并简化机械结构，提升运动控制精度，降低成本。

摘要： 本发明公开了一种面向具有远心不动点约束的手术机器人手眼标定方法。通过相机图像计算手术器械的三维位姿，并根据远心不动点结构约束构建损失函数，实现对多种摆位下手术器械空间姿态的同步式优化，利用其独有的远心不动点结构特征，通过手术器械在机器坐标系下的姿态和优化后的手术器械中心线的公垂点位置实现手眼关系的计算，与传统方法相比能够大幅提升手术机器人手眼标定的精度，解决了运用传统方法进行手眼标定时因腹腔镜手术机器人运动空间狭窄、姿态变化较小而导致的病态矩阵问题，从而为图像引导的手术任务自主化发展提供了技术基础。

摘要： 一种光纤耦合器自动点胶耦合装置，其特征在于包括伺服模块、点胶触头模块、X行程模块、Y行程模块、点胶耦合模块、承托平台、视觉点胶模块；其中点胶耦合模块在承托平台上，点胶触头模块在点胶耦合模块上部，视觉点胶模块在点胶触头模块右侧并与其连接，伺服模块和点胶触头模块通过Y行程模块连接控制触头模块纵向移动，X行程模块与伺服模块连接控制伺服模块横向移动。本实用新型设计巧妙简单，通过巧妙装置通过视觉方式把原有繁杂重复的显微式毫米级点胶工作通过一体化设备代替人工完成，且能保证点胶质量偏差度控制在0.5mm范围内。本实用新型是一种准确度高、效率高、设计巧妙、自动操作程度高的光纤耦合器自动点胶耦合装置。