伪距离

作品数：110被引量：223H指数：7
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：李骏惠小静张兴芳王廷明吴洪博更多>>
相关机构：陕西师范大学延安大学聊城大学兰州理工大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金山东省自然科学基金陕西省自然科学基金国家级大学生创新创业训练计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
命题逻辑系统L_(n)^(*)中理论的p-随机发散度的分布研究被引量：1
《系统科学与数学》2023年第9期2310-2318,共9页惠小静 南琼 许倩 
国家自然科学基金(12261090)资助课题。
在命题逻辑系统L_(n)^(*)中提出了p-随机真度,p-随机相似度,p-随机伪距离的概念,建立了p-随机逻辑度量空间(F(S),ρp).在p-随机逻辑度量空间(F(S),ρp)中提出了理论的p-随机发散度的概念,指出理论的p-随机发散度是和随机n值分布序列p=(p...
关键词：p-随机真度 p-随机伪距离 p-随机逻辑度量空间 p-随机发散度 
一阶Łukasiewicz演算系统中的相似度及伪距离
《湖北大学学报（自然科学版）》2023年第2期193-197,共5页马硕 惠小静 郝娇 
国家自然科学基金(11471007,61763045);延安大学研究生教育创新计划项目(YCX2021056)资助。
在Łukasiewicz谓词演算系统中引入公理化真度,在此基础上讨论公式之间相似度和伪距离的运算性质,并举例说明将相似度与伪距离转化为公式真度进行计算的方法.
关键词：Łukasiewicz谓词演算系统 真度 相似度 伪距离 
NM理论中积分真度的统一理论
《西北工业大学学报》2023年第2期439-445,共7页王波 惠小静 鲁星 
国家自然科学基金(12261090)资助。
基于在幂零极小逻辑NM(nilpotent minimun)命题逻辑系统中,通过将公式诱导的函数进行积分的方法提出了公式的积分真度概念,利用积分不变性证明了积分真度MP规则、HS规则;在NM命题逻辑系统的全体公式之集上引入了积分相似度和积分伪距离...
关键词：NM命题逻辑系统 积分真度 伪距离 相容度 
三值乘积逻辑系统中公式关于有限理论的Γ-绝对真度
《延安大学学报（自然科学版）》2023年第1期63-66,73,共5页李顺琴 陈子涵 
国家自然科学基金项目(12261090);陕西省科技计划项目(2020JM-552);国家级大学生创新创业训练计划项目(202110719039)。
借助逻辑公式所诱导出的函数,在系统π_(3)中给出了公式关于有限理论的Γ-绝对真度、Γ-绝对相似度和Γ-伪距离的定义,并探讨了Γ-绝对真度的MP规则、HS规则及相关性质。从而丰富了乘积逻辑系统中真度的研究成果。
关键词：乘积逻辑 Γ-绝对真度 Γ-绝对相似度 伪距离 
K^(*)∀谓词逻辑系统中相似度及伪距离研究
《延安大学学报（自然科学版）》2022年第4期103-107,共5页鲁星 惠小静 王波 
国家自然科学基金项目(12261090)。
从一阶逻辑系统的相似度出发,结合谓词演算系统K^(*)∀,以公理化真度为基础讨论了公式之间相似度和伪距离的运算性质,对相似度性质进行了简化,并对K^(*)∀中闭公式相似度及伪距离的计算方法和性质作进一步推广。
关键词：K^(*)∀谓词逻辑系统 相似度 伪距离 
谓词逻辑系统MTL■中公式的公理化真度
《浙江大学学报（理学版）》2022年第5期521-526,548,共7页王波 惠小静 鲁星 
国家自然科学基金资助项目(11471007,61763045)。
命题逻辑及谓词逻辑计量化是逻辑系统的研究热点之一。在左连续三角模的谓词逻辑系统MTL■中,利用公理化方法提出了MTL■公式的真度,证明了该真度的MP规则、HS规则及交推理规则;同时在谓词逻辑系统MTL■的一阶闭逻辑公式集中引入了相似...
关键词：谓词逻辑系统MTL■ 公理化真度 相似度 伪距离 
一种零空间避障的机械臂末端轨迹跟踪算法被引量：6
《机械科学与技术》2021年第7期1009-1015,共7页刘雪飞 徐向荣 查文斌 江杨林 朱佐君 
国家重点研发计划项目(2017YFE0113200)。
针对传统的零空间避障方法无法根据障碍物距离提前采取避障行为同时保证末端跟踪精度的问题,提出一种零空间避障的机械臂末端轨迹跟踪算法。该方法采用伪距离代替欧氏距离作为距离接近度指标解决零空间避障问题,同时设计一种自适应正定...
关键词：冗余机械臂 零空间避障 轨迹跟踪 伪距离 
增加两类算子的Goguen n值命题逻辑系统的t真度及性质被引量：2
《模糊系统与数学》2021年第2期50-58,共9页南宁 惠小静 金明慧 
国家自然科学基金资助项目(11471007,61763045);国家级大学生创新创业训练计划项目(201910719023);研究生教育创新计划项目(YCX2020096)。
在n值Goguen命题逻辑系统中增加了两类算子对合否定~和Δ算子,将该系统记为Goguen_(~,Δ).在此系统中建立t真度的概念,基于此真度给出了命题之间的t相似度与t伪距离(t任取~,Δ)。证明了t真度的MP规则、HS规则及运算性质。接着,在证明t...
关键词：Goguen命题逻辑系统 t真度 t相似度 t伪距离 连续性 
n值乘积命题逻辑系统的真度研究
《延安大学学报（自然科学版）》2021年第1期61-64,共4页南宁 金明慧 惠小静 
国家自然科学基金项目资助(11471007,61763045);国家级大学生创新创业训练计划项目资助(201910719023);延安大学研究生教育创新计划项目(YCX2020096)。
对n值Goguen命题逻辑系统进行公理化扩张记为Goguen~,△。在该系统中添加了新的连接词~,△,给出了Goguen n值命题逻辑系统中命题公式的真度、相似度和伪距离的定义,证明了该真度的MP规则、HS规则及相关性质。
关键词：Goguen命题逻辑系统 真度 相似度 伪距离 
基于伪距离的冗余机器人避障算法被引量：12
《机械工程学报》2020年第17期59-70,共12页万俊 姚佳烽 余亮 张良安 吴洪涛 
国家自然科学基金资助项目(51706098)。
针对冗余机器人避障问题,提出一种基于伪距离且无需主从任务转换的冗余机器人避障算法。采用具有解析式的伪距离算法计算机器人与障碍物之间的接近程度,通过分析伪距离与欧式距离换算关系求取机器人与障碍物之间最小欧式距离,从而提高...
关键词：冗余机器人 伪距离 末端避障 零空间避障 
全选清除导出
共11页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部