论文研究多值逻辑系统.pdf
用户评论
推荐下载
-
论文研究逻辑代数01上的度量结构.pdf
提出一种激光扫描数据匹配的概率模型,用于移动机器人的全局地图建立。大多数的激光扫描匹配算法都需要利用特征(点或线)来建立对应关系,例如ICP算法。利用正态分布转换概率模型来表示激光扫描,不需利用特征对
13 2020-09-21 -
论文研究基于格值一阶逻辑.pdf
基于谓词逻辑的归结推理方法是目前理论上较为成熟、可以在计算机上实现的推理方法之一。针对格值一阶逻辑LF(X)中归结自动推理问题,以格值一阶逻辑LF(X)的α-归结原理为理论基础,通过对例子进行分析,提
15 2020-05-02 -
论文研究改进的描述逻辑框架RoughSHOIN.pdf
针对具有不完备、多粒度特点的不确定知识表示,设计了一个粗糙描述逻辑框架——Rough-SHOIN,利用粗糙相似关系作为概念描述的基础,定义概念的粗糙上近似和下近似,实现不完备概念表达,在概念解释中引入
15 2020-06-15 -
论文研究安全学演绎逻辑体系的构造.pdf
论文研究-安全学演绎逻辑体系的构造.pdf, 清晰严谨的原理体系是安全科学立足的根本,基于这一认识,梳理安全学的9个核心
20 2020-05-26 -
论文研究离散时间区间时序逻辑模型检查.pdf
离散时间区间时序逻辑模型检查,朱维军,段振华,目前还没有模型检查的方法自动检测时间自动机模型是否满足时间区间时序逻辑描述的性质。我们约束时间域到离散时间,证明了离散时
17 2020-07-17 -
论文研究Mosaid逻辑芯片测试设计与实现.pdf
Mosaid逻辑芯片测试设计与实现,陈燕军,,本文提出了一种利用存储器测量机台Mosaid来测量逻辑芯片的工程分析的方法。通过这种方法,既可以跟测试厂做correlation分析,还可以配�
20 2020-03-28 -
论文研究基于模糊逻辑判决的垂直切换.pdf
基于模糊逻辑判决的垂直切换,原雪洲,徐慧,在异构无线网络中,一个良好的垂直切换技术是建立在良好的切换决策方法和切换动作机制基础之上的。而在异构网络环境下多种网络在
36 2019-09-09 -
论文研究Lukasiewicz区间值命题逻辑的.pdf
保持解集的多样性和分布性是多目标进化算法的关键之一。在NSGA-II的基础上,提出了一种用混合距离来估计个体的拥挤度,并使用优先队列根据个体的混合距离来逐个删除种群中超出的非劣解以保持解的多样性,实验
6 2020-07-17 -
论文研究AFS模糊逻辑理论及其应用.pdf
AFS模糊逻辑理论及其应用,宋明丽,刘晓东,自1995年AFS理论(公理模糊集理论)被提出以来,国内外许多学者对AFS理论及其应用进行了深入的研究,并发表了一系列的论文.本文对AFS理
21 2020-05-25 -
论文研究值命题逻辑中公式的.pdf
提出了一种加入了禁忌表、并且采用了新的温度控制机制的用于求解TSP问题的模拟退火算法。新算法增加了搜索结束阶段进行“爬坡”移动的概率,吸收了禁忌搜索具有较强局部搜索能力的优点和模拟退火算法产生优质解的
25 2020-07-16
暂无评论