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

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

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

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

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

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

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

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

标准序列逻辑系统S3中命题的真度值之集在[0,1]上的分布

利用势为3的均匀概率空间的无穷乘积在三值标准序列逻辑系统中引入了公式的真度概念,给出了真度推理规则,证明了全体公式的真度值之集在[0,1]上是稠密的,并给出了公式真度的表达通式,为进一步建立三值命题逻辑的近似推理理论奠定了基础.     

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

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

三值标准序列逻辑中的α-真度理论

基于均匀概率空间的无穷乘积,在三值标准序列逻辑系统中引入命题的α-真度概念,讨论了α-真度和α-重言式及矛盾式间的关系,给出了一般真度推理规则,为进一步引入命题间的α-相似度及伪度量奠定了基础.     

逻辑系统L~＊中公式的随机真度

在赋值格为[0,1]的模糊逻辑系统L＊中,利用序结构和赋值集的随机化方法提出了公式的随机真度,引入公式间的随机相似度和伪距离,导出随机真度和伪距离的若干性质,证明了随机逻辑度量空间中逻辑运算的连续性,拓宽了随机真度的近似推理理论的研究思路.     

四值非全序逻辑系统中公式的条件随机真度

基于条件概率的思想,利用赋值集的随机化方法,在四值非全序逻辑系统中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则.引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,推导出条件伪距离的若干性质,证明了条件随机逻辑度量空间中逻辑运算的连续性,并初步研究了给定条件下的近似推理理论.     

三值乘积逻辑系统中公式关于有限理论的Γ-绝对真度

借助逻辑公式所诱导出的函数,在系统π₃中给出了公式关于有限理论的Γ-绝对真度、Γ-绝对相似度和Γ-伪距离的定义,并探讨了Γ-绝对真度的MP规则、HS规则及相关性质。从而丰富了乘积逻辑系统中真度的研究成果。     

关于试卷质量的分析方法

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

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

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

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

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

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

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

存在强不可交的分支度

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

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

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

一类n值命题逻辑系统中改进的相似度及伪距离

基于均匀概率空间的无穷乘积在一类n值命题逻辑系统中定义了公式的真度,并利用真度给出一种改进了的相似度定义,进而导出全体公式集F(S)上的一种伪距离,最后讨论了相似度及伪距离的重要性质.     

Sucker浆纱机上浆机理浅析

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

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

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