 上传我的文档
 下载
 收藏
该文档贡献者很忙，什么也没留下。
 下载此文档
正在努力加载中...
重新审视传统的影响力系数公式[J]
下载积分：1000
内容提示：重新审视传统的影响力系数公式[J]
文档格式：DOC|
浏览次数：4|
上传日期： 18:20:14|
文档星级：
该用户还上传了这些文档
重新审视传统的影响力系数公式[J].DOC
官方公共微信 上传我的文档
 下载
 收藏
该文档贡献者很忙，什么也没留下。
 下载此文档
正在努力加载中...
经典逻辑系统L中的MT问题及公式的真度理论
下载积分：900
内容提示：经典逻辑系统L中的MT问题及公式的真度理论
文档格式：PDF|
浏览次数：0|
上传日期： 15:22:17|
文档星级：
该用户还上传了这些文档
经典逻辑系统L中的MT问题及公式的真度理论.PDF
官方公共微信多值命题逻辑和直觉模糊命题逻辑公式的概率α真度真度,真值,概率,值命题逻辑,命题..
扫扫二维码，随身浏览文档
手机或平板扫扫即可继续访问
多值命题逻辑和直觉模糊命题逻辑公式的概率α真度
举报该文档为侵权文档。
举报该文档含有违规或不良信息。
反馈该文档无法正常浏览。
举报该文档为重复文档。
推荐理由：
将文档分享至：
分享完整地址
文档地址：
粘贴到BBS或博客
flash地址：
支持嵌入FLASH地址的网站使用
html代码：
&embed src='/DocinViewer-4.swf' width='100%' height='600' type=application/x-shockwave-flash ALLOWFULLSCREEN='true' ALLOWSCRIPTACCESS='always'&&/embed&
450px*300px480px*400px650px*490px
支持嵌入HTML代码的网站使用
您的内容已经提交成功
您所提交的内容需要审核后才能发布，请您等待！
3秒自动关闭窗口逻辑度量空间中的仿射变换和几类特殊公式的性态研究及其应用--《陕西师范大学》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【目录】：
摘要3-5Abstract5-10前言10-14第1章 计量逻辑学与密码学中布尔函数的简介14-26 1.1 计量逻辑学基本理论14-19
1.1.1 二值命题逻辑系统L中的计量逻辑理论14-17
1.1.2 多值Lukasiewicz命题逻辑系统L_n与Luk中的计量逻辑理论17-19
1.1.3 多值R_0—逻辑系统￡_n~*与￡~*中的计量逻辑理论19 1.2 密码学中的布尔函数介绍19-26
1.2.1 布尔函数的表示19-22
1.2.2 几类特殊的布尔函数22-26第2章 计量逻辑学中的反射变换和仿射变换26-46 2.1 ￡~*计量逻辑中的反射变换26-33
2.1.1 ￡~*中的反射变换26-29
2.1.2 反射变换下的近似推理29-31
2.1.3 ￡~*-Lindenbaum代数上的反射变换31-33 2.2 经典计量逻辑中的仿射变换33-46
2.2.1 (0,1)—矩阵和(0,1)—行列式33-38
2.2.2 (⊥,Τ)—矩阵38-41
2.2.3 L中的仿射变换41-46第3章 计量逻辑学中的线性逻辑公式46-58 3.1 经典逻辑度量空间中的线性逻辑公式46-51 3.2 一类代数次数等于k的布尔函数所对应的逻辑公式51-58第4章 计量逻辑学中的对称逻辑公式58-106 4.1 Shannon展开式的推广及其在多值逻辑公式范式表示中的应用59-86
4.1.1 Shannon展开式的推广59-62
4.1.2 n值Mcnaughton函数的范式表示62-76
4.1.3 n值Mcnaughton函数的计数问题76-83
4.1.4 L?中逻辑公式的构造及其逻辑等价类的计数问题83-86 4.2 三值计量逻辑学中的对称逻辑公式86-106第5章 计量逻辑学中的雪崩逻辑公式106-120 5.1 经典逻辑系统中的雪崩逻辑公式106-117 5.2 密码学中雪崩布尔函数个数的上界与下界估计117-120总结120-122参考文献122-130致谢130-132攻读博士学位期间的科研成果132-133
欢迎：、、)
支持CAJ、PDF文件格式
【参考文献】
中国期刊全文数据库
吴文玲，肖国镇;[J];电子学报;1998年04期
陈鲁生,徐汉良,符方伟;[J];电子学报;2001年04期
张文英;武传坤;于静之;;[J];电子学报;2006年01期
常祖领;柯品惠;张劼;温巧燕;;[J];电子学报;2008年01期
胡明娣;王国俊;;[J];电子学报;2009年11期
冯登国，肖国镇;[J];电子学报;1996年04期
冯登国,肖国镇;[J];电子科学学刊;1995年03期
王国俊;;[J];工程数学学报;2006年02期
马凤昌;[J];大学数学;2003年03期
裴道武,王三民;[J];高校应用数学学报A辑(中文版);2001年03期
中国博士学位论文全文数据库
马丽娜;[D];陕西师范大学;2011年
胡明娣;[D];陕西师范大学;2011年
惠小静;[D];陕西师范大学;2008年
中国硕士学位论文全文数据库
高香妮;[D];陕西师范大学;2010年
【共引文献】
中国期刊全文数据库
李龙澍;;[J];安徽大学学报(自然科学版);1997年03期
李龙澍,凌成;[J];安徽大学学报(自然科学版);2002年02期
马征杰;[J];安康师专学报;2001年04期
程玉胜,任广永;[J];安庆师范学院学报(自然科学版);2004年04期
程玉胜;[J];安庆师范学院学报(自然科学版);2005年02期
吴华;徐甜;;[J];安阳工学院学报;2006年02期
金纯;[J];浙江中医学院学报;2005年03期
张晓君;;[J];毕节学院学报;2010年05期
郑亚林;[J];宝鸡文理学院学报(自然科学版);2000年01期
郑亚林,白永成,黄宏科,黄德隆;[J];宝鸡文理学院学报(自然科学版);2000年02期
中国重要会议论文全文数据库
申艳光;司春景;;[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集（下）[C];2006年
曹明;谷利泽;胡正名;杨义先;;[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集（下）[C];2006年
宋士吉;冯纯伯;费树岷;孙长银;;[A];第十九届中国控制会议论文集（一）[C];2000年
王晟;陈勤;张旻;;[A];第十一届保密通信与信息安全现状研讨会论文集[C];2009年
王廷明;吴伟民;;[A];第一届中国智能计算大会论文集[C];2007年
郭秀敏;王国俊;;[A];第六届中国不确定系统年会论文集[C];2008年
段巧林;王国俊;;[A];第六届中国不确定系统年会论文集[C];2008年
任燕;王洪涛;;[A];第六届中国不确定系统年会论文集[C];2008年
惠小静;;[A];第六届中国不确定系统年会论文集[C];2008年
赖家俊;潘小东;徐开俊;徐扬;;[A];第六届中国不确定系统年会论文集[C];2008年
中国博士学位论文全文数据库
郑军红;[D];浙江大学;2010年
王永娟;[D];解放军信息工程大学;2009年
许有军;[D];吉林大学;2011年
何映思;[D];西南大学;2011年
吴新星;[D];华东师范大学;2011年
马丽娜;[D];陕西师范大学;2011年
胡明娣;[D];陕西师范大学;2011年
斯·劳格劳;[D];内蒙古大学;2011年
曾水玲;[D];南京理工大学;2011年
缪鹍;[D];中南大学;2011年
中国硕士学位论文全文数据库
潘俊任;[D];浙江理工大学;2010年
黄阿敏;[D];浙江理工大学;2010年
刘琪;[D];郑州大学;2010年
秦雪丽;[D];郑州大学;2010年
鹿文慧;[D];大连理工大学;2010年
袁英敏;[D];大连理工大学;2010年
王云涛;[D];大连理工大学;2010年
朱谦成;[D];湘潭大学;2010年
徐旭;[D];合肥工业大学;2010年
张丽珍;[D];江南大学;2010年
【二级参考文献】
中国期刊全文数据库
尤飞,冯艳宾,李洪兴;[J];北京师范大学学报(自然科学版);2003年05期
尤飞,杨昔阳,李洪兴;[J];北京师范大学学报(自然科学版);2004年04期
吴洪博;[J];纯粹数学与应用数学;2001年01期
王国俊;[J];纯粹数学与应用数学;1997年02期
王迎春,吉利久;[J];电子学报;2003年02期
常祖领,陈鲁生,符方伟;[J];电子学报;2004年10期
王国俊;宋建社;;[J];电子学报;2006年02期
汪德刚;谷云东;李洪兴;;[J];电子学报;2007年02期
王国俊;惠小静;;[J];电子学报;2007年07期
张东晓;李立峰;;[J];电子学报;2008年02期
中国重要会议论文全文数据库
惠小静;;[A];第六届中国不确定系统年会论文集[C];2008年
裴道武;;[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年
中国博士学位论文全文数据库
惠小静;[D];陕西师范大学;2008年
【相似文献】
中国期刊全文数据库
张安英;张兴芳;高芹;;[J];模糊系统与数学;2007年03期
任芳;[J];工程数学学报;2005年03期
徐扬;宋振明;;[J];数学季刊;1990年Z1期
李友雨;张兴芳;李成允;;[J];计算机工程与应用;2009年15期
李友雨;张兴芳;李成允;;[J];计算机工程与应用;2010年10期
张凤姣;张兴芳;;[J];聊城大学学报(自然科学版);2011年01期
李友雨;张兴芳;李成允;;[J];计算机工程与应用;2009年14期
吴凤干;;[J];金陵科技学院学报;2006年04期
陈图云;李慧玲;;[J];辽宁师范大学学报(自然科学版);2006年04期
张兴芳;张安英;韩红霞;;[J];模糊系统与数学;2008年02期
中国重要会议论文全文数据库
徐扬;;[A];模糊数学和系统成果会论文集[C];1991年
王国俊;;[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年
靳光瑾;;[A];语言文字应用研究论文集（Ⅱ）[C];2004年
谢先仁;;[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年
张金兴;;[A];1994年逻辑研究专辑[C];1994年
康巧茹;;[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年
王廷明;吴伟民;;[A];第一届中国智能计算大会论文集[C];2007年
何庸;;[A];1995年逻辑研究专辑[C];1995年
杨学渊;;[A];1993年逻辑研究专辑[C];1993年
许梅;曹子宁;;[A];2009年中国高校通信类院系学术研讨会论文集[C];2009年
中国重要报纸全文数据库
海路 中央民族大学教育学院;[N];中国社会科学报;2010年
宋俊岭;[N];中国房地产报;2007年
郭珊;[N];南方日报;2007年
彭劲荣;[N];人民法院报;2007年
本报特约记者　何天进　董聚山　通讯员　李祖斌　记者　喻国英;[N];光明日报;2004年
臧乐源;[N];中国教育报;2000年
袁跃;[N];财会信报;2005年
上海交通大学法学院教授、博士研究生导师
张绍谦;[N];检察日报;2009年
中国博士学位论文全文数据库
王庆平;[D];陕西师范大学;2012年
方细明;[D];中国科学院研究生院（武汉物理与数学研究所）;1999年
孟丹;[D];西南交通大学;2004年
江华;[D];贵州大学;2008年
郭建;[D];西安电子科技大学;2008年
康密军;[D];中国海洋大学;2009年
王馨;[D];国防科学技术大学;2005年
王小兵;[D];西安电子科技大学;2009年
彭新华;[D];中国科学院研究生院（武汉物理与数学研究所）;2003年
江敏;[D];武汉大学;2007年
中国硕士学位论文全文数据库
张东晓;[D];陕西师范大学;2006年
李慧玲;[D];辽宁师范大学;2007年
周丽莉;[D];辽宁师范大学;2007年
褚国嫘;[D];北京交通大学;2008年
任鹏飞;[D];西北大学;2008年
刘林霞;[D];兰州大学;2009年
李根;[D];西安电子科技大学;2008年
张丽;[D];西安电子科技大学;2007年
王永安;[D];陕西师范大学;2008年
郭晓燕;[D];广西师范大学;2006年
&快捷付款方式
&订购知网充值卡
400-819-9993
《中国学术期刊（光盘版）》电子杂志社有限公司
同方知网数字出版技术股份有限公司
地址：北京清华大学 84-48信箱 知识超市公司
出版物经营许可证 新出发京批字第直0595号
订购热线：400-819-82499
服务热线：010--
在线咨询：
传真：010-
京公网安备74号}