伪距离

摘要： 命题逻辑及谓词逻辑计量化是逻辑系统的研究热点之一。在左连续三角模的谓词逻辑系统MTL■中,利用公理化方法提出了MTL■公式的真度,证明了该真度的MP规则、HS规则及交推理规则;同时在谓词逻辑系统MTL■的一阶闭逻辑公式集中引入了相似度和伪距离,证明了关于相似度的一些良好性质,并讨论了逻辑运算关于伪距离的连续性问题。

摘要： 对n值Goguen命题逻辑系统进行公理化扩张记为Goguen～,△.在该系统中添加了新的连接词～,△,给出了Goguen n值命题逻辑系统中命题公式的真度、相似度和伪距离的定义,证明了该真度的MP规则、HS规则及相关性质.

摘要： 针对传统的零空间避障方法无法根据障碍物距离提前采取避障行为同时保证末端跟踪精度的问题,提出一种零空间避障的机械臂末端轨迹跟踪算法.该方法采用伪距离代替欧氏距离作为距离接近度指标解决零空间避障问题,同时设计一种自适应正定系数矩阵K和速度误差饱和函数sat(e),将实时轨迹运行结果反馈给冗余机械臂运动学反解,根据反馈结果自适应调节关节角速度以减小末端轨迹跟踪误差.采用iiwa14机械臂进行仿真实验,仿真的结果表明,所提出的算法能够在完成冗余机械臂零空间避障的同时保证末端轨迹跟踪误差在1 cm以下,验证了所提算法的有效性和优越性.

摘要： 首先在G?del n值命题逻辑系统中添加了新的连接词Δ,～,给出了G?del n值命题逻辑系统中命题公式间的真度、相似度和伪距离的定义;讨论了在该系统下它们的一些相关性质,并给出了相应的证明.%The new connectorsΔand～are presented in G?del n-valued propositional logic system in this paper, the defi-nition of truth degree, similarity degree and pseudo-metric among formulas are given in G?del n-valued propositional logic system, some related properties of them among formulas are discussed under the system, and the corresponding certificate is presented.

摘要： A more intuitive concept of absolute truth degree relent to finite theory was given in n-valued proposi-tional logic system. its important properties and inference rules were discussed. Moreover, absolute similarity de-gree and pseudo-distance between two formulas were defined by using the absolute truth degree.%在n值R0-命题逻辑系统L?n中,给出公式关于有限理论的一个更为直观的Γ-绝对真度概念,讨论它的一些重要性质和推理规则,并利用Γ-绝对真度定义公式间的Γ-绝对相似度和伪距离.

摘要： By using the infinite product of uniformly distributed probability spaces of cardinal n,the theory of α-contradiction degrees in n -Valued Gödel propositional logic system is introduced in order to double -grade the concept of contradiction. MoreoVer,it is obtained that the general inference rules with contradiction degrees hold.%利用势为n的均匀概率空间的无穷乘积，在n值Gödel逻辑系统中引入公式的α-矛盾度概念，从而将矛盾式的概念进行双重程度化，进而给出广义矛盾度的推理规则。

摘要： 利用逻辑公式的Boole函数表示,给出了m元n值逻辑公式的真度和公式间伪距离的等价定义,说明了这种定义与原有的概率形式的定义等价,得到了公式间的伪距离的一些简单性质.

摘要： 以经典命题逻辑中公式的向量表示形式为基础，利用三值Łukasiewicz逻辑系统中公式的赋值及赋值顺序给出了公式的向量表示形式。利用向量表示形式给出了公式真度的定义和公式间的相似度、伪距离的计算公式；得到了公式的真度和公式间相似度、伪距离的一些简单性质；证明了在伪距离空间(F(S)'ρ)中，一元运算逻辑连接词Ø和二元运算逻辑连接词®、Ú、Ù均关于ρ是连续的。相关结论为进一步研究多值Łukasiewicz逻辑系统中近似推理打下了夯实的基础。%Based on vector representation of formula of classical propositional logic system, this paper gives a vector representation of formula by using assignment and assignment order of formula in three-valuedŁukasiewicz propo-sitional logic system. Firstly, this paper defines the truth degree of formula and gives the formula to calculate the similarity degree, pseudo-metric among formulas. Secondly, this paper obtains some simple properties of truth degree and similarity degree pseudo-metric among formulas. Thirdly, this paper proves that unary logical connection Ø , binary operation logical connections ® , Ú , Ù are continuous in pseudo-metric space (F(S)'ρ) . The related conclusions of this paper lay a solid foundation for further research of multi-valuedŁukasiewicz propositional logic system.

摘要： The present paper introduces the notion of probabilistic truth degree of formulas in the unified framework of n-valued S-MTL logic by means of Borel probability measures on the space of all valuations endowed with the usual product topology. The integral expression of truth degree of formulas is given, similarity degree and pseudo metric between formulas are introduced based on the probabilistic truth degree of formulas, this makes it possible to construct a kind of model behaved both randomly and globally for approximate reasoning in the unified framework of n-valued S-MTL logic.%在n值S-MTL逻辑系统的统一框架下，通过视全体赋值之集为通常乘积拓扑空间，给出了命题的Borel概率真度定义。通过构造公式所诱导的阶梯函数给出了公式真度的积分表达式，进而利用命题的Borel概率真度在该逻辑系统中引入公式间的相似度及其伪距离，使得在n值S-MTL逻辑系统的统一框架下搭建起融随机性和整体性于一体的近似推理模型成为可能。

摘要： It is different from that the usual similarity degree is defined based on truth degree, this paper puts forward the integral similarity degree by use of S-implication operator in S-implication fuzzy logic system. Then the paper discusses the relationship between integral similarity and logical equivalence, gives the inference properties of the integral similarity degree, proposes the pseudo-metric corresponding to the integral similarity degree. The continuity of the logical operators in pseudo-metric space is proved.%与通常相似度定义在真度基础上不同，在S-蕴涵模糊逻辑系统中提出了基于S-蕴涵算子的积分相似度。讨论了积分相似与逻辑等价的关系，给出了积分相似度的推理性质，提出了与积分相似度对应的伪距离。论证了伪距离空间中逻辑算子都是连续的。

摘要： 在G(o)del区间值命题逻辑系统中引入了(a-)-真度,论证了区间值真度MP规则和区间值真度HS规则,在(a-)-真度基础上给出了(a-)-相似度及其性质,说明了在G(o)del区间值命题逻辑系统中建立伪距离是可行的.

摘要： 以公式真度为基础,给出了分别基于真度和条件真度的伪距离的真度表示式，讨论了基于真度、条件真度的伪距离和非对称伪度量的理论Γ的误差不大于ε结论的近似推理模式的关系问题。

摘要： 支持向量机训练中样本集过大将会导致训练过程非常缓慢问题，本文研究支持向量机训练中样本集分布的几何特征,在不影响分类性能的前提下,提出一种适合大样本集训练的Quasi Choosing算法,该算法能剔除大部分与训练结果无关的样本,可有效加快训练速度。

摘要： 支持向量机训练中样本集过大将会导致训练过程非常缓慢问题，本文研究支持向量机训练中样本集分布的几何特征,在不影响分类性能的前提下,提出一种适合大样本集训练的Quasi Choosing算法,该算法能剔除大部分与训练结果无关的样本,可有效加快训练速度。

摘要： 支持向量机训练中样本集过大将会导致训练过程非常缓慢问题，本文研究支持向量机训练中样本集分布的几何特征,在不影响分类性能的前提下,提出一种适合大样本集训练的Quasi Choosing算法,该算法能剔除大部分与训练结果无关的样本,可有效加快训练速度。

摘要： 支持向量机训练中样本集过大将会导致训练过程非常缓慢问题，本文研究支持向量机训练中样本集分布的几何特征,在不影响分类性能的前提下,提出一种适合大样本集训练的Quasi Choosing算法,该算法能剔除大部分与训练结果无关的样本,可有效加快训练速度。

摘要： 支持向量机训练中样本集过大将会导致训练过程非常缓慢问题，本文研究支持向量机训练中样本集分布的几何特征,在不影响分类性能的前提下,提出一种适合大样本集训练的Quasi Choosing算法,该算法能剔除大部分与训练结果无关的样本,可有效加快训练速度。

摘要： 支持向量机训练中样本集过大将会导致训练过程非常缓慢问题，本文研究支持向量机训练中样本集分布的几何特征,在不影响分类性能的前提下,提出一种适合大样本集训练的Quasi Choosing算法,该算法能剔除大部分与训练结果无关的样本,可有效加快训练速度。

摘要： 本发明公开了一种基于伪码移位相乘性的距离‑多普勒二维匹配滤波方法，该方法利用了伪码的移位相乘性，可对微弱目标回波进行相参积累，获得距离‑速度两维分辨能力。相比于已有的匹配滤波方法，完全消除了伪码调相连续波波形的多普勒敏感性带来的脉压增益损失和距离副瓣恶化问题，并可适用于强地杂波和多目标环境，工程实用性强。

摘要： 本发明属于雷达目标识别领域，尤其涉及一种基于伪标签学习的雷达一维距离像目标识别方法。本发明的技术方案为：首先将单基地雷达获取的一维距离像信噪比SNR为22dB的数据作为训练数据，并对样本数据的标签做离散编码；然后利用CNN分别以两种目标标记方式进行训练得到预测模型，利用预测模型对待识别样本进行识别获得伪标签，对伪标签进行多级编码；并将待识别数据和伪标签一同作为训练数据重新训练，获得新的预测模型，以此作为最终的目标识别模型。

摘要： 本公开描述了用于使成像传感器能够执行飞行时间测量，同时需要更少的直方图存储器并且在许多情况下需要更少的功率消耗的方法和装置。光源被操作以引起多个光发射，并且根据基于第一光发射接收的第一回波来确定粗略/估计距离。直方图被保存，并且精密距离根据粗略距离和从第二光发射的回波导出的数据被计算。

摘要： 本发明公开了一种支持中长距离伪距差分定位的方法，在计算伪距差分改正数时，利用双频GNSS信号构建无电离层组合，以消除电离层延迟误差项，使伪距差分改正数的服务范围由50km扩大至200km，同时利用载波相位平滑伪距的方法，使用低噪声的载波相位观测值对无电离层组合伪距观测值进行平滑处理，降低了无电离层组合伪距观测值的观测噪声，可生成低噪声、高精度的差分改正数，有利于中长距离的伪距差分定位。

摘要： 本发明公开了一种基于伪码移位相乘性的距离‑多普勒二维匹配滤波方法，该方法利用了伪码的移位相乘性，可对微弱目标回波进行相参积累，获得距离‑速度两维分辨能力。相比于已有的匹配滤波方法，完全消除了伪码调相连续波波形的多普勒敏感性带来的脉压增益损失和距离副瓣恶化问题，并可适用于强地杂波和多目标环境，工程实用性强。

摘要： 本发明属于雷达目标识别领域，尤其涉及一种基于伪标签学习的雷达一维距离像目标识别方法。本发明的技术方案为：首先将单基地雷达获取的一维距离像信噪比SNR为22dB的数据作为训练数据，并对样本数据的标签做离散编码；然后利用CNN分别以两种目标标记方式进行训练得到预测模型，利用预测模型对待识别样本进行识别获得伪标签，对伪标签进行多级编码；并将待识别数据和伪标签一同作为训练数据重新训练，获得新的预测模型，以此作为最终的目标识别模型。

摘要： 本发明公开一种伪距离和多普勒组合差分定位系统及方法，该系统包括：用户站接收机、参考站接收机，还包括：GBAS服务器和移动网络，所述GBAS服务器与用户站接收机、参考站接收机均通过移动网络连接。本发明所提出的系统可以有效提高用户在城市复杂环境下的定位精度，提高廉价单频导航芯片的差分定位能力；本发明方法适用于高精度卫星定位，提高了用户站位置、速度、钟差和时钟钟漂的精度。

摘要： 本发明提供了一种基于伪距离函数的工业机器人路径规划方法和系统，使用凸多面体对机械臂连杆以及工作环境障碍物进行包络，将机械臂的几何形状以及环境障碍物以凸多面体顶点的形式记录下来，以传统RRT算法为基础在机器人的关节空间进行路径规划，利用机械臂的运动学方程将关节空间的关节参数映射成工作空间几何外形，使用GJK算法判断机械臂是否与环境障碍物发生碰撞，如果发生碰撞则计算碰撞点的伪距离对各关节参数的梯度，将碰撞点沿梯度方向做出修正作为新的路径点。本发明生成的路径更优，鲁棒性更好，在障碍物较多或存在狭窄通道的环境下优势更加明显。

摘要： 本发明公开一种伪距离和多普勒组合差分定位系统及方法，该系统包括：用户站接收机、参考站接收机，还包括：GBAS服务器和移动网络，所述GBAS服务器与用户站接收机、参考站接收机均通过移动网络连接。本发明所提出的系统可以有效提高用户在城市复杂环境下的定位精度，提高廉价单频导航芯片的差分定位能力；本发明方法适用于高精度卫星定位，提高了用户站位置、速度、钟差和时钟钟漂的精度。

摘要： 本实用新型公开一种伪距离和多普勒组合差分定位系统，包括：用户站接收机、参考站接收机、GBAS服务器和移动网络，所述参考站接收机和用户站接收机接收导航卫星发射的GNSS信号，所述GBAS服务器与参考站接收机和用户站接收机通过移动网络连接。本实用新型适用于GPS或北斗系统，具有定位速度快、精度高的优点。