三值乘积逻辑系统中绝对真度的理论研究

在三值乘积逻辑系统π3中,回避均匀概率空间中的无穷乘积测度,借助逻辑公式A所诱导的函数引入逻辑公式A的绝对真度概念.利用绝对真度定义了公式间的绝对相似度和伪距离,并讨论了绝对相似度和伪距离的性质以及绝对真度与绝对相似度,伪距离的关系.     

二值命题逻辑系统中公式的语构真度理论

从语构的角度给出公式的真度的形式化定义,并由语构真度诱导出相似度和伪距离,给出相似度和伪距离的基本性质,讨论了语构真度在推理中的应用。     

Frank三角范数的三值模糊逻辑系统的真度理论

本文在Frank三角范数的三值R-蕴涵模糊逻辑系统中,借助逻辑公式A所诱导的函数,建立逻辑公式A的真度概念,得到一些三值R-蕴涵逻辑系统下的真度推理规则。同时,利用真度定义公式间的相似度和伪距离,给出相似度和伪距离的性质,为Frank三角范数命题逻辑系统中的近似推理提供了一种理论框架。     

n值标准序列逻辑系统中的近似推理理论

在n值标准序列逻辑系统中引入公式的真度概念,利用真度定义了公式间的相似度和伪距离并证明了真度推理规则,同时给出一种推理误差的定义,这就为进一步在n值标准序列逻辑系统中展开近似推理奠定了基础.     

■ukasiewicz n值命题逻辑中公式的α-随机真度理论

给出■ukasiewicz n值命题逻辑中公式的α-随机真度的概念和性质,利用α-随机真度定义了公式间的α-Dn相似度,进而导出全体公式集上的一种伪距离。     

n值Lukasiewicz命题逻辑系统中公式的绝对真度理论

在n值Lukasiewicz命题逻辑系统中,回避均匀概率空间中的无穷乘积测度,借助逻辑公式A所诱导的函数引入逻辑公式A的绝对真度概念,并利用绝对真度定义公式间的绝对相似度和伪距离.讨论绝对相似度和伪距离性质.证明┑,→,∧,∨运算在伪距离空间中是连续的.     

标准序列逻辑系统S3中的相似度及伪距离

在三值标准序列逻辑系统中引入了公式的真度概念,并利用真度定义了公式间的相似度,进而导出全体公式集上的一种伪距离,证明了伪距离空间中没有孤立点,从而可以考虑用一列公式去逼近某个公式,这就为进一步在三值标准序列逻辑系统中展开近似推理奠定了基础。     

n值Lukasiewicz逻辑中命题的条件真度理论

利用条件概率的思想在n值Lukasiewicz命题逻辑中引入公式的条件真度概念,并给出条件真度的一些性质;利用条件真度定义公式相似度,进而导出全体公式集上的一种伪距离,这为n值Lukasiewicz逻辑系统中给出在信息∑下的近似推理理论提供了一种可能的框架.     

一种非均匀概率空间下二值命题逻辑中命题的真度理论

将经典二值命题逻辑中公式的真度概念推广到势为2的非均匀概率空间上,定义了二值逻辑p-测度和其上的命题的真度;在p=1/3的情形下证明了全体公式的真度之集在[0,1]中是稠密的,并给出了公式真度的表达通式;利用真度定义公式间的相似度,进而导出全体公式集上的一种伪距离,为近似推理理论提供一种可能的框架.     

三值Lukasiewicz逻辑中命题的条件真度理论

利用条件概率的思想在Lukasiewicz三值命题逻辑中引入公式的条件真度概念,并给出条件真度的一些性质;以条件真度定义公式相似度,进而导出全体公式集上的一种伪距离,这为三值Lukasiewicz逻辑系统中给出在信息Г下的近似推理理论提供了一种可能的框架.     

关于试卷质量的分析方法

试卷质量分析是教育统计中的一个重要的组成部分，本文利用教育统计和教育测量中度量指标对2004级《高等代数》试卷进行了分析，具体以信度、难度和区分度进行定量化分析，分析表明此次考试试卷是合理的．     

国家学位制度的现实考察与立法完善

国家学位制度与大学学位制度是根据学位颁发权力来源而划分出的两种截然不同的学位制度形态。尽管现行《学位条例》确立的是统一的国家学位制度,但鉴于生源质量、教学资源、培养水平等方面的区域和校际差异,不同高校学位授予的具体标准千差万别,甚至作为大学自治的重要内容为部分司法判例所肯认。同时,学位管理的“放管服”改革也在不断深化,高校的自主权限不断扩大,导致国家学位制度在实施逻辑上呈现出大学学位制度的色彩。形式逻辑与实践逻辑的分野,折射出两种不同学位制度之间的内在张力,也决定了我国在学位法制建设中必须于二者之中作出审慎抉择。由国家学位制度迈向大学学位制度是学位形态发展的历史趋势,但鉴于我国目前高等教育发展不均衡不充分的现状,国家学位制度在学位质量保障、公平公正实现、管理秩序维护等方面的作用不容忽视,较为理性的做法是在坚持国家学位制度的前提下,适度吸纳大学学位制度的有益经验,在扬弃中实现两种学位制度张力的平衡。当前学位立法的重点在于:保障学位授予单位自主权,允许各个高校之间有差异的学位授予标准的存在;实现学位授权审核活动向行政许可的回归,由指标分配转向基本标准设置;弱化政府对学位授予工作的直接管理,支持社会组织参与学位认证、学位质量评估、学位信息提供和咨询等服务工作,逐渐适应公共权力由国家向社会转移的时代潮流。     

二值命题逻辑的D-条件发散度理论

在二值命题逻辑中引入D-条件发散度的概念,讨论了D-条件真度与D-条件发散度之间的关系;同时讨论了理论Γ是D-全发散与理论Γ基于∑是D-全发散之间的关系.     

(L)ukasiewicz命题集的积分真度、发散度与相容度的分布

研究了Lukasiewicz命题集的积分真度、发散度与相容度在[0,1]中的分布问题.利用一组公式所对应的McNaughtom函数,证明了Lukasiewicz逻辑系统中积分真度之集在[0,1]中稠密、发散度取值之集在[0,1]中稠密.结果表明,当Γ有限且相容时,相容度取值之集在[1/2,1]中稠密.     

存在强不可交的分支度

结合Ｋ．Ａｍｂｏｓ－Ｓｐｉｅｓ构造强不可交度的方法和分支度构造方法证明了定理：存在强不可交的分支度。     

教学效果测试统计分析系统的研究和开发

教学效果测试统计分析系统是对教学效果测试数据统计的分析说明,它通过原始数据的输入来计算若干参数指标,包括信度、效度、各题的难度和区分度等参数。     

包含度及其在人工智能中的应用

不确定性推理是人工智能中的关键问题。在总结各种不确定性推理方法的基础上，引进了包含度的概念，并给出了包含度的几种生成方法，指出了包含度在专家系统的检索与推理中的应用。     

Sucker浆纱机上浆机理浅析

将细号经纱在两种浆纱机上进行上浆工艺对比。通过上浆机理分析,阐述了Sucker浆纱机“四高”（即高压浆力、高温、高浓、高速）的上浆工艺特点。说明细号经纱在高压上浆条件下以“渗透为主,适量被覆”的上浆更利于提高织造效率。     

图的拉普拉斯谱半径的新可达上界

设G是n阶简单连通图,顶点度序列为d1≥d2≥…≥dn.本文利用矩阵变换的方法给出了图G的拉普拉斯谱半径的新上界,并证明了达到该上界的极图仅有正则二部图或星图.同时还证明了在一定条件下,该上界改进了Li,Liu和Shu等人同类的结论.