收藏本站
《陕西师范大学》 2012年
收藏 | 手机打开
二维码
手机客户端打开本文

逻辑度量空间中的仿射变换和几类特殊公式的性态研究及其应用

王庆平  
【摘要】:计量逻辑学从基本概念的程度化入手,系统地引入了公式的真度理论和公式间的相似度理论,定义了公式间的伪距离,最终建立起了逻辑度量空间(Logic Metric Space,简称LMS)理论.由于有了度量工具,在LMS中就可以研究给定的逻辑理论r的发散度和相容度问题,可以研究各种类型的近似推理问题,等等.当前LMS理论已从经典的二值命题逻辑推广到了多种n值命题逻辑之中(n2). 值得注意的是,作为度量空间,LMS自身结构的研究似尚未展开.最近已见到从反射变换入手探讨经典LMS结构的研究,虽然只是起步性的研究,但却是一个新的开端.本文将上述研究进行推广,进一步研究经典LMS中的仿射变换问题,得到了包括真度不变性和相似度不变性在内的较为系统的研究成果.同时,本文还将经典LMS中的反射变换理论推广到了(?)*-Lindenbaum代数之中. 另一方面,由于布尔函数理论既是经典LMS中真度理论的基础,又是密码学中常用的基本工具,可见计量逻辑学与密码学之间存在着紧密的联系.基于这种思想,本文在LMS中先后引入了线性逻辑公式、对称逻辑公式和雪崩逻辑公式的概念,并从它们在整个空间中的分布得出了各类公式稀疏程度的描述,这又可反馈到密码学中,使得从事密码学研究的学者对是否使用相应的函数传送密码有更全面的掌握. 此外,本文还将布尔函数的Shannon展开式的巧妙思想应用到了Lukasiewicz n值逻辑系统Ln中,给出了MaNaughton函数的表示方法,解决了m元n值MaN-aughton函数的计数问题. 全文共分五章. 第一章介绍了有关计量逻辑学与密码学中布尔函数的基本知识,这些知识是阅读后续内容所必须的,是概述性的. 第二章首先将反射变换的概念引入到连续值逻辑系统£*之中,研究了£*逻辑度量空间中反射变换的性质.然后将仿射变换的概念引入到经典逻辑系统之中,定义了公式集F(S)到F(S)上的仿射变换φ,证明了该仿射变换φ:F(S)→F(S)是F(S)上的自同构变换.而且公式的真度,公式间的相似度与伪距离在仿射变换下保持不变.在经典逻辑系统中,反射变换是仿射变换的特殊情形,即,仿射变换是公式集F(S)到F(S)上的一类更广泛的变换. 第三章基于线性布尔函数的概念,在经典逻辑度量空间中提出了线性逻辑公式的概念,并给出了n元线性逻辑公式的构造方法.研究了反射变换下线性逻辑公式的性质,证明了所有线性逻辑公式的真度等于1/2,而全体n元逻辑公式的真度共有2n+1种之多,这表明线性逻辑公式在全体逻辑公式之中的分布很稀疏.这就从计量学的角度验证了线性布尔函数的结构比较简单.而且,我们可以通过线性布尔函数作乘积得到一类代数次数等于k的布尔函数,这类布尔函数所对应的逻辑公式的真度为1/2k,这表明这类代数次数等于k的非线性布尔函数所对应的逻辑公式在全体逻辑公式之中的分布也很稀疏,可在密码设计中使用该类布尔函数. 第四章将符号化计算树逻辑中的Shannon展开式做了推广,在n值Lukasiewicz逻辑系统L。中,研究了由逻辑公式导出的n值McNaughton函数的展开式,给出了m元n值McNaughton函数的准析取范式和准合取范式.在此基础上,给出了m元n值McNaughton函数的计数问题.并在n值Lukasiewicz逻辑系统Ln中,给出了m元逻辑公式的构造方法及其逻辑等价类的计数问题. 在弄清楚了多值McNaughton函数的构造方法和结构之后,我们将对称布尔函数的概念引入到多值McNaughton函数之中,提出了对称三值McNaughton函数的概念.在此基础上,在三值Lukasiewicz逻辑系统L3中,提出了对称逻辑公式和准对称逻辑公式的定义.研究了在逻辑等价意义下对称逻辑公式的性质,比较了L3和经典逻辑系统L中对称逻辑公式之间的关系及其计数问题,证明了n元对称逻辑公式占全体n元逻辑公式的比例随n的增大而趋向于零,而且全体对称逻辑公式的真度之集在[0,1]中稠密.但是,全体对称逻辑公式之集又是逻辑度量空间中的无处稠密集.最后,给出了L3中对称逻辑公式的构造方法. 第五章将密码学中满足严格雪崩准则的布尔函数的概念引入到计量逻辑学之中,提出了雪崩逻辑公式的概念,并研究了雪崩逻辑公式的真度及其性质.证明了雪崩逻辑公式A的真度T(A)满足条件1/4≤τ(A)≤3/4特别是证明了至少含有三个原子公式的雪崩逻辑公式的真度之集为H1={k/2n-1|2n-3≤k≤3×2n-3;n-3,4,…},或者用密码学的术语来说,n(n≥3)元雪崩布尔函数的汉明重量之集为w(n)={ω(f(x))|2n…2≤ω(f(x))≤3×2n-2且ω(F(x))为偶数},这就排除了不满足此条件的n元布尔函数的个数计算,从而在一定程度上简化了雪崩布尔函数的计数问题.然后,我们通过引入函数ξ建立了n(n≥3)元雪崩布尔函数个数的表达式,并给出了不同真度的雪崩逻辑公式的构造方法.研究了k阶雪崩逻辑公式与反射变换下k阶雪崩逻辑公式的性质.最后,研究了满足严格雪崩准则的布尔函数的计数问题,得到了满足严格雪崩准则的n元布尔函数个数的上界和下界.
【学位授予单位】:陕西师范大学
【学位级别】:博士
【学位授予年份】:2012
【分类号】:O141.1

手机知网App
【参考文献】
中国期刊全文数据库 前10条
1 吴文玲,肖国镇;关于布尔函数的线性结构[J];电子学报;1998年04期
2 陈鲁生,徐汉良,符方伟;多输出布尔函数的相关免疫性[J];电子学报;2001年04期
3 张文英;武传坤;于静之;;密码学中布尔函数的零化子[J];电子学报;2006年01期
4 常祖领;柯品惠;张劼;温巧燕;;高非线性度多输出布尔函数的构造[J];电子学报;2008年01期
5 胡明娣;王国俊;;模糊模态逻辑中的永真式与准永真式[J];电子学报;2009年11期
6 冯登国,肖国镇;关于高度非线性平衡布尔函数的构造[J];电子学报;1996年04期
7 冯登国,肖国镇;布尔函数的线性结构的特征[J];电子科学学刊;1995年03期
8 王国俊;;计量逻辑学(Ⅰ)[J];工程数学学报;2006年02期
9 马凤昌;斯特林公式的一种简易证法及其高精度误差估计公式[J];大学数学;2003年03期
10 裴道武,王三民;形式系统L~*(n)的完备性[J];高校应用数学学报A辑(中文版);2001年03期
中国博士学位论文全文数据库 前3条
1 马丽娜;模糊推理方法及知识推理的计量化研究[D];陕西师范大学;2011年
2 胡明娣;逻辑度量空间的内蕴结构的研究[D];陕西师范大学;2011年
3 惠小静;计量逻辑学及其随机化研究[D];陕西师范大学;2008年
中国硕士学位论文全文数据库 前1条
1 高香妮;命题逻辑系统中理论的真度概念及其应用[D];陕西师范大学;2010年
【共引文献】
中国期刊全文数据库 前10条
1 李龙澍;;PROLOG线性归结的研究与设计[J];安徽大学学报(自然科学版);1997年03期
2 李龙澍,凌成;基于时态逻辑的知识表示研究[J];安徽大学学报(自然科学版);2002年02期
3 马征杰;大学生思想品德定量评价体系设计与程序[J];安康师专学报;2001年04期
4 程玉胜,任广永;基于ROUGH集的决策树测试属性选择方法[J];安庆师范学院学报(自然科学版);2004年04期
5 程玉胜;Rosetta实验系统在机器学习中的应用[J];安庆师范学院学报(自然科学版);2005年02期
6 吴华;徐甜;;机器翻译中源语分析的研究与探讨[J];安阳工学院学报;2006年02期
7 金纯;浅谈计算机自然语言理解[J];浙江中医学院学报;2005年03期
8 张晓君;;为什么语言学研究离不开逻辑学——2009语言学和逻辑学交叉研究研讨会侧记[J];毕节学院学报;2010年05期
9 郑亚林;Fuzzy逻辑新进展[J];宝鸡文理学院学报(自然科学版);2000年01期
10 郑亚林,白永成,黄宏科,黄德隆;基于带Fuzzy壳Boole代数和修正的Gaines-Rescher蕴涵算子的险象识别逻辑[J];宝鸡文理学院学报(自然科学版);2000年02期
中国重要会议论文全文数据库 前10条
1 申艳光;司春景;;关于提高一类Bent函数的非线性度的研究[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
2 曹明;谷利泽;胡正名;杨义先;;布尔函数的零化子[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
3 宋士吉;冯纯伯;费树岷;孙长银;;模糊推理的Zadeh型全蕴涵三Ⅰ算法[A];第十九届中国控制会议论文集(一)[C];2000年
4 王晟;陈勤;张旻;;多变量密码中布尔矩阵的一种新的构造方法[A];第十一届保密通信与信息安全现状研讨会论文集[C];2009年
5 王廷明;吴伟民;;基于主范式的二值命题逻辑公式的真度[A];第一届中国智能计算大会论文集[C];2007年
6 郭秀敏;王国俊;;关于描述逻辑中不动点语义的讨论[A];第六届中国不确定系统年会论文集[C];2008年
7 段巧林;王国俊;;根与几种命题逻辑系统中的近似推理[A];第六届中国不确定系统年会论文集[C];2008年
8 任燕;王洪涛;;二值命题逻辑中的极大命题集与完备命题集[A];第六届中国不确定系统年会论文集[C];2008年
9 惠小静;;关于命题独立性的一点注记[A];第六届中国不确定系统年会论文集[C];2008年
10 赖家俊;潘小东;徐开俊;徐扬;;基于十八元非链格值命题逻辑L_(18)P(X)中的归结方法的研究[A];第六届中国不确定系统年会论文集[C];2008年
中国博士学位论文全文数据库 前10条
1 郑军红;基于知识工程的智能夹具设计系统构建研究[D];浙江大学;2010年
2 王永娟;布尔函数代数免疫性质的研究[D];解放军信息工程大学;2009年
3 许有军;基于扩展规则的若干SAT问题研究[D];吉林大学;2011年
4 何映思;模糊推理方法及模糊逻辑形式系统研究[D];西南大学;2011年
5 吴新星;基于语言的软件可信性度量理论及其应用[D];华东师范大学;2011年
6 马丽娜;模糊推理方法及知识推理的计量化研究[D];陕西师范大学;2011年
7 胡明娣;逻辑度量空间的内蕴结构的研究[D];陕西师范大学;2011年
8 斯·劳格劳;现代蒙古语依存句法自动分析研究[D];内蒙古大学;2011年
9 曾水玲;训练模式的不确定性对模糊系统的影响[D];南京理工大学;2011年
10 缪鹍;公(铁)工程三维选线的群智能算法研究[D];中南大学;2011年
中国硕士学位论文全文数据库 前10条
1 潘俊任;基于相似度的模糊推理算法研究[D];浙江理工大学;2010年
2 黄阿敏;基于蕴涵算子族的模糊逻辑理论[D];浙江理工大学;2010年
3 刘琪;正态云模型模糊推理系统及其应用研究[D];郑州大学;2010年
4 秦雪丽;超高频RFID信息安全系统设计[D];郑州大学;2010年
5 鹿文慧;基于重心法的Boolean模糊系统及其概率表示理论[D];大连理工大学;2010年
6 袁英敏;基于CRI方法的重心法模糊系统及概率表示[D];大连理工大学;2010年
7 王云涛;基于二Ⅰ算法的模糊系统的构造及其概率表示[D];大连理工大学;2010年
8 朱谦成;基于CLIPS的注塑模具方案智能设计研究及程序实现[D];湘潭大学;2010年
9 徐旭;基于决策树的Web应用系统个性化身份验证研究[D];合肥工业大学;2010年
10 张丽珍;基于中介逻辑的模糊信息处理的研究[D];江南大学;2010年
【二级参考文献】
中国期刊全文数据库 前10条
1 尤飞,冯艳宾,李洪兴;模糊蕴涵算子及其构造(Ⅰ)——模糊蕴涵算子及其性质[J];北京师范大学学报(自然科学版);2003年05期
2 尤飞,杨昔阳,李洪兴;模糊蕴涵算子及其构造(Ⅲ)——由三角模或余三角模构造的模糊蕴涵算子[J];北京师范大学学报(自然科学版);2004年04期
3 吴洪博;L~*系统的一种改进系统L_0~*[J];纯粹数学与应用数学;2001年01期
4 王国俊;三角型模糊数空间的均匀性[J];纯粹数学与应用数学;1997年02期
5 王迎春,吉利久;一种基于简单移位的二——十进制相互转换算法[J];电子学报;2003年02期
6 常祖领,陈鲁生,符方伟;PS类Bent函数的一种构造方法[J];电子学报;2004年10期
7 王国俊;宋建社;;命题逻辑中的程度化方法[J];电子学报;2006年02期
8 汪德刚;谷云东;李洪兴;;模糊模态命题逻辑及其广义重言式[J];电子学报;2007年02期
9 王国俊;惠小静;;概率逻辑学基本定理的推广[J];电子学报;2007年07期
10 张东晓;李立峰;;二值命题逻辑公式的语构程度化方法[J];电子学报;2008年02期
中国重要会议论文全文数据库 前2条
1 惠小静;;关于命题独立性的一点注记[A];第六届中国不确定系统年会论文集[C];2008年
2 裴道武;;R_0代数中的MP滤子与同余关系[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年
中国博士学位论文全文数据库 前1条
1 惠小静;计量逻辑学及其随机化研究[D];陕西师范大学;2008年
【相似文献】
中国期刊全文数据库 前10条
1 张安英;张兴芳;高芹;;Gdel系统中由一个或两个原子生成的公式的真值函数的特征[J];模糊系统与数学;2007年03期
2 任芳;L~*系统中由单个原子生成的公式的真值函数的特征[J];工程数学学报;2005年03期
3 徐扬;宋振明;;格值逻辑公式中短语和文字的可消性[J];数学季刊;1990年Z1期
4 李友雨;张兴芳;李成允;;Π系统中公式的真值函数及真度分布[J];计算机工程与应用;2009年15期
5 李友雨;张兴芳;李成允;;L*系统中由单个原子生成公式的真度分布[J];计算机工程与应用;2010年10期
6 张凤姣;张兴芳;;Gdel逻辑系统中公式真度判断方法[J];聊城大学学报(自然科学版);2011年01期
7 李友雨;张兴芳;李成允;;Gdel中单个或两个原子生成公式的真度分布[J];计算机工程与应用;2009年14期
8 吴凤干;;直觉模糊命题逻辑公式的真度[J];金陵科技学院学报;2006年04期
9 陈图云;李慧玲;;直觉模糊命题逻辑公式的概率真度[J];辽宁师范大学学报(自然科学版);2006年04期
10 张兴芳;张安英;韩红霞;;模糊谓词逻辑中基于有限解释的公式的条件α-真度理论[J];模糊系统与数学;2008年02期
中国重要会议论文全文数据库 前10条
1 徐扬;;一阶 L 逻辑中的几个结论[A];模糊数学和系统成果会论文集[C];1991年
2 王国俊;;数理逻辑中的数值化方法(英文)[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年
3 靳光瑾;;计算机理解汉语需要语法理论支撑[A];语言文字应用研究论文集(Ⅱ)[C];2004年
4 谢先仁;;论辩证矛盾和逻辑矛盾的区别及识别[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年
5 张金兴;;类推是类比推理吗?[A];1994年逻辑研究专辑[C];1994年
6 康巧茹;;探讨描述禁止类型法律规范命题内涵语义的方法[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年
7 王廷明;吴伟民;;基于主范式的二值命题逻辑公式的真度[A];第一届中国智能计算大会论文集[C];2007年
8 何庸;;《广义模态逻辑》值得细读[A];1995年逻辑研究专辑[C];1995年
9 杨学渊;;辩证命题的语形、语义和语用分析[A];1993年逻辑研究专辑[C];1993年
10 许梅;曹子宁;;基于谓词μ演算和空间逻辑的模型检测算法研究[A];2009年中国高校通信类院系学术研讨会论文集[C];2009年
中国重要报纸全文数据库 前8条
1 海路 中央民族大学教育学院;多重视角下的认同概念[N];中国社会科学报;2010年
2 宋俊岭;独处场所——当今城市的缺项[N];中国房地产报;2007年
3 郭珊;假如王小波活到今天[N];南方日报;2007年
4 彭劲荣;法律适用中的解释与推理[N];人民法院报;2007年
5 本报特约记者 何天进 董聚山 通讯员 李祖斌 记者 喻国英;博士参谋砺剑尖兵[N];光明日报;2004年
6 臧乐源;提高学生的逻辑素养[N];中国教育报;2000年
7 本报记者 袁跃;遏制国有资产流失“路在何方”[N];财会信报;2005年
8 上海交通大学法学院教授、博士研究生导师 张绍谦;渎职犯罪案件中因果关系的判断[N];检察日报;2009年
中国博士学位论文全文数据库 前10条
1 王庆平;逻辑度量空间中的仿射变换和几类特殊公式的性态研究及其应用[D];陕西师范大学;2012年
2 方细明;量子计算的核磁共振实现[D];中国科学院研究生院(武汉物理与数学研究所);1999年
3 孟丹;基于格蕴涵代数的格值逻辑系统的归结自动推理研究[D];西南交通大学;2004年
4 江华;界程演算模型检测[D];贵州大学;2008年
5 郭建;在数字系统设计中断言验证的研究[D];西安电子科技大学;2008年
6 康密军;基于策略的普适计算隐私保护技术研究[D];中国海洋大学;2009年
7 王馨;基于实时规约的测试预言自动生成技术的研究[D];国防科学技术大学;2005年
8 王小兵;面向对象MSVL语言及其在组合Web服务验证中的应用[D];西安电子科技大学;2009年
9 彭新华;量子算法和量子信息处理的核磁共振实现[D];中国科学院研究生院(武汉物理与数学研究所);2003年
10 江敏;多视点需求工程中不一致性的检测与处理[D];武汉大学;2007年
中国硕士学位论文全文数据库 前10条
1 张东晓;逻辑公式的语构真度和构造性三I算法[D];陕西师范大学;2006年
2 李慧玲;多值命题逻辑和直觉模糊命题逻辑公式的概率α-真度[D];辽宁师范大学;2007年
3 周丽莉;两种模糊命题逻辑的公式的概率真度[D];辽宁师范大学;2007年
4 褚国嫘;归结反演中的可视化技术研究[D];北京交通大学;2008年
5 任鹏飞;命题逻辑公式集上的相似度、伪距离与近似推理[D];西北大学;2008年
6 刘林霞;基于模型检测的半结构化数据查询及其应用[D];兰州大学;2009年
7 李根;基于SPIN的命题投影时序逻辑模型检查[D];西安电子科技大学;2008年
8 张丽;命题投影时序逻辑的判定性和表达性[D];西安电子科技大学;2007年
9 王永安;二值命题逻辑公式在等价意义下的一般表示及其应用[D];陕西师范大学;2008年
10 郭晓燕;论比喻的逻辑特征[D];广西师范大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026