论文研究Π系统中公式的真值函数及真度分布.pdf
以Π系统为背景，针对由单个原子生成的公式，解决了王国俊教授提出的函数决定公式的问题（VDF问题），即满足什么条件的函数可由逻辑公式导出，或逻辑公式的真值函数的特征如何；进而按照逻辑等价的关系将由单原子生成的公式集进行细致地分类；最后又给出了由单个原子生成的公式的真度分布情况。
用户评论
相关推荐
论文研究中公式集上的真度函数.pdf
针对网络设计和组合优化中的度约束最小生成树问题,基于第k最小生成树的求解算法,提出了一种求解网络G关于指定节点的最小k度生成树的新算法。该算法通过对网络G的最小生成树作最优可行变换,逐步构造出指定节点
PDF
527KB
2020-08-30 04:01
论文研究L系统中由单个原子生成公式的真度分布.pdf
以L*系统为背景,针对由单个原子生成的公式,解决了公式的真度分布情况。得到任一单原子生成公式的真度必为0,1/8,2/8,3/8,...7/8,1之一。进而按照真度将由单原子生成的公式集进行了细致地分
PDF
291KB
2020-08-08 03:04
论文研究乘积逻辑系统中公式的真度函数理论.pdf
在分析风电机组变桨距调节原理的基础上，建立了包含风力机、变桨距执行系统、变桨距控制算法、变桨速率、动态尾流、塔架动态、传感器响应的变桨距风电机组整体动态数学模型。以此为基础，运用MATLAB/SIMU
PDF
633KB
2020-07-17 14:55
论文研究模态逻辑中公式的模态真度.pdf
在模态逻辑中提出了公式的模态真度理论，即Δ真度与930;真度。先给出在一个给定Kripke模型之下的模态真度理论，此后利用均匀概率思想，提出了更为合理的(n)模态真度理论，定义了两公式之间的(n)模态
.PDF
0B
2020-06-15 19:18
论文研究系统中的函数决定公式问题.pdf
基于L*系统，针对由两个原子生成的公式，解决了王国俊教授提出的函数决定公式问题，给出了逻辑公式真值函数的特征，进而按照逻辑等价的关系将两个原子生成的公式集进行了细致的分类并给出了此类公式真度的特征。
PDF
448KB
2020-07-21 16:03
论文研究值命题逻辑中公式的随机真度.pdf
针对目前指定验证者签名权可授权的问题，基于双线性对提出一种高效的基于身份不可授权的强指定验证者签名方案，采用密码学上安全性分析的方法，结果证明了新方案在保持了强指定验证者各种安全特性的条件下，其效率高
PDF
0B
2020-02-22 07:55
论文研究Gödel中单个或两个原子生成公式的真度分布.pdf
概念学习可以形式化为寻找与训练实例最适合的可能假设的预定义空间，已有的多种算法（比如：Find-S、List-Then-Eliminate、candidate-Elimination等等）都是考虑Bo
PDF
335KB
2020-07-17 00:31
论文研究模态逻辑公式的真度理论.pdf
在模态逻辑系统中，对可能世界进行了深入的分析，首次提出了完整模型的概念，并且在这个完整模型的框架下定义了模态公式的真度概念，建立了公式的真度理论。并且证明了：若模态公式[φ]不含任何模态词，即经典逻辑
PDF
0B
2020-01-12 17:57
论文研究命题公式的随机真度与推理规则.pdf
在[n]值Lukasiewicz命题逻辑系统中，引入命题随机真度的概念，给出了随机真度的一个计算公式，研究了命题随机真度的若干性质。证明了命题逻辑的分离规则、三段论规则以及交推理规则在[n]值Luka
PDF
513KB
2020-07-16 17:54
论文研究_Lukasiewicz逻辑系统中理论的平均真度及偏差.pdf
在[n]值Lukasiewicz命题逻辑系统中引入了有限理论的平均真度和偏差的概念，讨论了有限理论的平均真度和偏差各自的重要性质。研究表明，利用平均真度可以刻画有限理论的可靠度，而利用偏差可以刻画有限
PDF
470KB
2020-07-16 04:57
论文研究公式概率真度的相似度及伪距离.pdf
通过引入赋值密度函数、边缘密度函数等概念，给出了连续值命题逻辑系统L*中公式概率真度的定义，研究了概率真度的推理规则，在此基础上给出了三种相似度，讨论了其性质及关系，并由此定义了三种伪距离，讨论了逻辑
PDF
549KB
2020-07-18 12:10
论文研究中公式的.pdf
在移动终端内容安全检测中，“黑名单”过滤是一种常用的手段，但有限的存储空间制约了它的应用。根据“黑名单”过滤特点研究了一种多串匹配算法的改进，以Aho-Corasick算法为例，采用两种启发式策略从不
PDF
0B
2019-09-26 05:20
论文研究Lukasiewicz n值命题逻辑中公式的条件随机真度.pdf
基于条件概率的思想，利用赋值集的随机化方法，在Lukasiewicz n值命题逻辑系统中引入公式的条件随机真度，证明了条件随机真度的MP规则和HS规则。引入公式间的条件随机相似度和条件伪距离，建立了条
PDF
594KB
2020-07-16 17:54
论文研究真度理论.pdf
从定量数据到定性概念的转换必然涉及到样本数据的划分问题，当样本数据维数较高时，对其合理划分是从中提取定性规则的难点问题。针对此问题，改进了尺度云变换算法，提出二维尺度云变换算法，使之可以处理二维数据。
PDF
529KB
2020-07-20 17:14
论文研究连续值命题逻辑中公式的概率真度及相似度.pdf
连续属性离散化是知识发现研究中重要的预处理过程，基于最近邻聚类和粗集的相关理论，提出一种新的有监督的多属性离散化方法。该算法分两个阶段来处理，首先利用最近邻聚类动态调整聚类的类别数，生成初始聚类。然后
PDF
371KB
2020-07-18 12:10