搜索到45篇“ 计量逻辑学“的相关文章
- 计量逻辑学中的反射变换
- 2018年
- 首先在连续值L*逻辑度量空间中,给出了公式集F(S)上的反射变换φ:F(S)→F(S)的概念,证明了该反射变换φ是F(S)上的自同构映射。其次证明了计量逻辑学中公式的真度,公式间的相似度与伪距离在反射变换下保持不变,而且证明了在反射变换下三种近似推理是等价的。最后,研究了反射变换φ的不动点的性质。
- 王庆平
- 关键词：计量逻辑学真度不动点
- 经典计量逻辑学中的仿射变换
- 2016年
- 首先给出了(0,1)-矩阵和(⊥,┬)-矩阵的定义,并研究了这两类矩阵的性质。在此基础上,给出了经典计量逻辑度量空间中仿射变换Φ的定义,证明了仿射变换Φ是逻辑公式集F(S)上的自同构映射,而且逻辑公式的真度、逻辑公式之间的相似度和伪距离在仿射变换Φ下保持不变。
- 王庆平张敏
- 关键词：计量逻辑学仿射变换伪距离
- 计量逻辑学中的旋转对称逻辑公式及其构造
- 布尔函数作为研究密码学的重要工具得到了广泛的关注.旋转对称布尔函数是一类多输入单输出布尔函数,具有良好的密码学性质，已经被应用在了各种密码学系统中，并且关于其轨道计数问题的研究对密码算法的安全性有重要意义. 同时，布尔...
- 何金龙
- 关键词：布尔函数计量逻辑学密码算法
- 文献传递
- 计量逻辑学中的旋转对称逻辑公式被引量：1
- 2015年
- 密码学中的旋转对称布尔函数是一类具有多输入单输出性质的函数,本文以此类函数为基础提出了旋转对称逻辑公式的概念。初步研究了此类公式的性质,并给出了此类公式真度的轨道刻画。接着给出了全体旋转对称公式等价类的个数统计。最后证明了旋转对称逻辑公式经过反射变换后得到的公式依然是旋转对称逻辑公式。
- 李骏何金龙
- 关键词：旋转对称布尔函数真度
- 计量逻辑学中的形式化推演方法
- 2014年
- 基于经典逻辑系统中的计量逻辑学,探讨了计量逻辑学中的形式化推理问题.结果表明,在注重数值计算的计量逻辑学中同样存在类似于语构理论的形式化推演方法,并给出了形式化推演的性质.
- 于鹏
- 关键词：计量逻辑学
- 计量逻辑学的基本思想和研究综述
- 介绍计量逻辑学的形成、特点及其与模糊逻辑的异同。关于命题逻辑的计量化理论，针对不同的系统论述了真度理论和相似度理论，特别是介绍了作者提出的命题逻辑系统(L°)以及与其配套的R0代数理论和完备性定理。介绍了逻辑理论在逻辑度...
- 王国俊
- 关键词：真度相容度谓词逻辑
- 文献传递
- 计量逻辑学中的雪崩逻辑公式被引量：4
- 2012年
- 将密码学中满足严格雪崩准则的布尔函数的概念引入到计量逻辑学之中,提出了雪崩逻辑公式的概念,并研究了雪崩逻辑公式的真度及其性质。证明了至少含有三个原子公式的雪崩逻辑公式的真度之集为H1={k/2n-12n-3≤k≤3×2n-3;n=3,4,…},在此基础上,通过引入函数ξ建立了n(n≥3)元雪崩布尔函数个数的表达式,给出了雪崩逻辑公式的构造方法。最后,研究了反射变换下k阶雪崩逻辑公式的性质。
- 王庆平王国俊
- 关键词：计量逻辑学真度
- 计量逻辑学中的雪崩逻辑公式
- 将密码学中满足严格雪崩准则的布尔函数的概念引入到计量逻辑学之中,提出了雪崩逻辑公式的概念,并研究了雪崩逻辑公式的真度及其性质。证明了至少含有三个原子公式的雪崩逻辑公式的真度之集为H1={k/2n-1|2n-3≤k≤3×2...
- 王庆平王国俊
- 关键词：计量逻辑学真度
- 文献传递
- 计量逻辑学的基本思想和研究综述被引量：10
- 2012年
- 介绍计量逻辑学的形成、特点及其与模糊逻辑的异同。关于命题逻辑的计量化理论,针对不同的系统论述了真度理论和相似度理论,特别是介绍了作者提出的命题逻辑系统L*以及与其配套的R0代数理论和完备性定理。介绍了逻辑理论在逻辑度量空间中的发散度和相容的理论以及三种近似推理模式。回顾了谓词逻辑计量化的进程和有待解决的问题。提出了模态逻辑和模型检验的计量化问题以及有待进一步探讨的几个研究课题。
- 王国俊
- 关键词：计量逻辑学真度相似度逻辑度量空间相容度谓词逻辑
- 计量逻辑学中的线性逻辑公式被引量：6
- 2012年
- 基于密码学中的线性布尔函数概念,在经典逻辑度量空间中提出了线性逻辑公式的概念,给出了n元线性逻辑公式的构造方法.研究了反射变换下线性逻辑公式的性质,证明了所有线性逻辑公式的真度等于1/2,并研究了一类代数次数等于k的布尔函数所对应的逻辑公式的性质,证明了该类公式的真度等于1/2k.
- 王庆平王国俊
- 关键词：布尔函数真度不动点
相关作者
- 惠小静
- 作品数：103被引量：233H指数：10
- 供职机构：延安大学数学与计算机科学学院
- 研究主题：真度 相似度 命题逻辑系统 随机真度 伪距离
- 王国俊
- 作品数：240被引量：1,684H指数：29
- 供职机构：陕西师范大学数学与信息科学学院
- 研究主题：真度 模糊推理 代数 相似度 模糊逻辑
- 韩邦合
- 作品数：13被引量：69H指数：3
- 供职机构：西安电子科技大学数学与统计学院
- 研究主题：计量逻辑学 真度 相似度 伪度量 条件真度
- 王庆平
- 作品数：39被引量：52H指数：4
- 供职机构：江西财经大学统计学院
- 研究主题：模糊推理 蕴涵算子族 逻辑公式 计量逻辑学 真度
- 于鹏
- 作品数：30被引量：94H指数：6
- 供职机构：陕西科技大学
- 研究主题：真度 计量逻辑学 三I算法 F I
