王庆平

作品数：35被引量：48H指数：4
导出分析报告
供职机构：江西财经大学统计学院更多>>
发文主题：模糊推理蕴涵算子族逻辑公式计量逻辑学真度更多>>
发文领域：理学自动化与计算机技术更多>>
发文期刊：《山东大学学报（理学版）》《计算机工程与应用》《聊城大学学报（自然科学版）》《软件学报》更多>>
所获基金：教育部科学技术研究重点项目国家自然科学基金山东省自然科学基金重庆市自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
计量逻辑学中的反射变换
《模糊系统与数学》2018年第6期33-40,共8页王庆平 
国家自然科学基金资助项目(61562030)
首先在连续值L*逻辑度量空间中,给出了公式集F(S)上的反射变换φ:F(S)→F(S)的概念,证明了该反射变换φ是F(S)上的自同构映射。其次证明了计量逻辑学中公式的真度,公式间的相似度与伪距离在反射变换下保持不变,而且证明了在反射变换下...
关键词：计量逻辑学 反射变换 真度 近似推理 不动点 
经典计量逻辑学中的仿射变换
《模糊系统与数学》2016年第1期129-136,共8页王庆平 张敏 
国家自然科学基金资助项目(61562030;11171200;61103133);江西省科技厅青年自然科学基金资助项目(20144BAB2020002);江西财经大学校级课题
首先给出了(0,1)-矩阵和(⊥,┬)-矩阵的定义,并研究了这两类矩阵的性质。在此基础上,给出了经典计量逻辑度量空间中仿射变换Φ的定义,证明了仿射变换Φ是逻辑公式集F(S)上的自同构映射,而且逻辑公式的真度、逻辑公式之间的相似度和伪距...
关键词：计量逻辑学 仿射变换 自同构映射 伪距离 
迁移系统关于一类时态逻辑公式的满足度被引量：1
《陕西师范大学学报（自然科学版）》2013年第4期1-10,共10页王国俊 王庆平 时慧娴 罗清君 王伟 
国家自然科学基金资助项目(10771129;11171200)
从分析Words(φ)的结构入手,引入用线性时态逻辑(LTL)公式φ表示的规范的特征概念,证明了一类LTL公式特征的存在性定理以及特征的计算方法.引入了LTL公式的T-范式概念,证明了这类LTL公式均可等价地表示为T-范式的形式,从而为简化φ的特...
关键词：规范 特征 最终自由 动态模型序列 T-范式 满足度 
雪崩布尔函数的构造方法及个数估计被引量：2
《计算机工程与应用》2013年第12期21-24,共4页王庆平 
国家自然科学基金(No.11171200;No.61005046;No.61103133);江西财经大学校级课题资助
研究了满足严格雪崩准则布尔函数的性质,证明了雪崩布尔函数的汉明重量只能为偶数,并且得到了雪崩布尔函数的汉明重量之集,给出了不同汉明重量的雪崩布尔函数的构造方法。改进了雪崩布尔函数个数的下界。
关键词：严格雪崩准则 布尔函数 构造方法 界 
L3^＊中逻辑公式的范式表示及对称逻辑公式的构造方法被引量：2
《计算机学报》2013年第4期851-861,共11页王庆平 
国家自然科学基金(11171200;61005046;61103133);教育部高等学校博士学科点专项科研资金(20100202120012)资助~~
将符号化计算树逻辑中Boole函数的Shannon展开式做了推广,研究了三值逻辑系统L3*中由公式导出的三值R0函数的展开式,给出了L3*中逻辑公式的准析取范式和准合取范式表示.研究了n元三值R0函数以及n元逻辑公式逻辑等价类的计数问题.在此基...
关键词：Shannon展开式 三值R0函数 对称逻辑公式 范式表示 计数问题 
多值Lukasiewicz逻辑公式的范式表示和计数问题被引量：4
《软件学报》2013年第3期433-453,共21页王庆平 王国俊 
国家自然科学基金(11171200;61005046;61103133)
将符号化计算树逻辑中的Shannon展开式做了推广,在n值ukasiewicz逻辑系统n中,研究了由逻辑公式导出的n值McNaughton函数的展开式,给出了m元n值McNaughton函数的准析取范式和准合取范式.在此基础上,给出了m元n值McNaughton函数的计数问题...
关键词：Shannon展开式 n值McNaughton函数 准析(合)取范式 逻辑等价类 计数问题 
计量逻辑学中的雪崩逻辑公式被引量：4
《模糊系统与数学》2012年第4期12-19,共8页王庆平 王国俊 
国家自然科学基金资助项目(10771129;11171200;61005046;61103133);陕西省教育厅自然科学基金资助项目(09JK439)
将密码学中满足严格雪崩准则的布尔函数的概念引入到计量逻辑学之中,提出了雪崩逻辑公式的概念,并研究了雪崩逻辑公式的真度及其性质。证明了至少含有三个原子公式的雪崩逻辑公式的真度之集为H1={k/2n-12n-3≤k≤3×2n-3;n=3,4,…},在...
关键词：计量逻辑学 雪崩逻辑公式 真度 反射变换 雪崩布尔函数 
计量逻辑学中的线性逻辑公式被引量：6
《陕西师范大学学报（自然科学版）》2012年第2期1-5,共5页王庆平 王国俊 
国家自然科学基金资助项目(10771129;61005046;11171200)
基于密码学中的线性布尔函数概念,在经典逻辑度量空间中提出了线性逻辑公式的概念,给出了n元线性逻辑公式的构造方法.研究了反射变换下线性逻辑公式的性质,证明了所有线性逻辑公式的真度等于1/2,并研究了一类代数次数等于k的布尔函数所...
关键词：布尔函数 线性逻辑公式 真度 反射变换 不动点 
对称逻辑公式在L3^＊逻辑度量空间中的分布被引量：10
《计算机学报》2011年第1期105-114,共10页王庆平 王国俊 
国家自然科学基金(10771129)资助
在三值逻辑系统L3*中引入了对称三值R0函数的概念,在此基础上给出了对称逻辑公式和准对称逻辑公式的定义.研究了在逻辑等价意义下对称逻辑公式的性质,给出了L3*和经典逻辑系统L中对称逻辑公式之间的关系及其计数问题,证明了n元对称逻辑...
关键词：对称三值R0函数 对称逻辑公式 准对称逻辑公式 同类向量 稠密 
n值标准逻辑系统中的随机化研究
《计算机工程与应用》2010年第30期16-19,60,共5页王庆平 
国家自然科学基金No.10771129~~
利用赋值集的随机化方法,在n值标准逻辑中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的DGRn-相似度与伪距离的概念,并建立了DGRn-逻辑度量空间,证明了此空间没有孤立点。
关键词：DGRn-随机真度 DGRn-相似度 DGRn-逻辑度量空间 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部