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

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

几个三值命题逻辑系统中命题真度的分布

利用势为3的均匀概率空间的无穷乘积在W3、G3、П3及S3系统中引入了公式的真度概念，得到了命题真度分布的一些性质，同时给出了三值真度推理规则．证明了以上各系统中的全体公式的真度值之集在[0，1]上是稠密的，并给出了其中公式真度的表达通式，即若A∈F（S），则τ（A）=k/3^n（n=1,2,…，k=0,1,…,3^n）．此项研究为进一步建立三值命题逻辑的近似推理理论奠定了基础，并且使W3，G3，П3及S3系统中公式的真度有了统一的理论体系．     

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

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

匕ukasiewicz三值命题逻辑中公式的可靠真度理论

基于均匀概率空间的无穷乘积在匕ukasiewicz三值命题逻辑中引入了公式的可靠真度概念,证明了全体公式的可靠真度值之集在[0,1]中没有孤立点;利用可靠真度定义了可靠相似度和伪距离,进而建立了逻辑度量空间,证明了该空间中没有孤立点,为进一步在三值命题逻辑中展开近似推理奠定了基础。     

根与F（S）中的近似推理

基于一组公式集的根的理论与公式的真度理论，讨论了二值命题逻辑系统L，Fuzzy命题逻辑系统L^*中根与命题集的发散度、相容度之间的内在联系，重点论述了其在F（S）的近似推理误差分析中所起的作用．     

ヒukasiewicz三值命题逻辑中公式的可靠真度理论

基于均匀概率空间的无穷乘积在ヒukasiewicz三值命题逻辑中引入了公式的可靠真度概念,证明了全体公式的可靠真度值之集在[0,1]中没有孤立点;利用可靠真度定义了可靠相似度和伪距离,进而建立了逻辑度量空间,证明了该空间中没有孤立点,为进一步在三值命题逻辑中展开近似推理奠定了基础.     

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

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

五值非线性序集逻辑系统中命题真度的分布

利用势为5的均匀概率空间的无穷乘积在五值非线性序集逻辑系统L25中引入了公式的真度概念,给出了真度的一些推理规则,并证明了全体公式的真度值之集在［0,1］上是稠密的,给出了全体公式概率真度的表达通式,为在非线性序集逻辑系统L25中建立近似推理理论提供了一种可能的框架。     

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

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

四值非线性序集逻辑系统中命题真度的分布

证明了非线性序集逻辑系统中全体公式的真度值之集在[0,1]上是稠密的,为进一步建立该系统中的近似推理理论奠定了基础。     

特征标次数与正规P－补

证明了定理设Ｇ是一个有限群，ｐ是一个素数，Ｐ是Ｇ的一个Ｓｙｌｏｗｐ－群．那么，Ｇ的每一个非线性不可约特征标的次数被ｐ整除当且仅当Ｇ有正规ｐ－补，使得Ｏｒ（Ｇ）∩ＣＧ（Ｐ）为Ａｂｅｌ群并且｜Ｇ：Ｇ″｜＝｜Ｐ：Ｐ′｜·｜Ｏｒ′（Ｇ）∩ＣＧ（Ｐ）｜还研究了当Ｇ有正规ｐ－补时，Ｇ的全体线性特征标是如何分配在具有最高亏数的ｐ－块中的．     

The background brightness of the milky way near 2500 A between lparallel= 72 degrees and 126 degrees

Data from a rocket experiment show details which were not known from ground-based observations.     

回弹值的不确定度

回弹法检测混凝土抗压强度,是目前建筑行业广泛应用的一种无损检测混凝土质量的方法。而回弹值测量的质量,至今没有评估的方法。用不确定度可以评估回弹值测量的质量。分析了用回弹仪检测混凝土抗压强度时回弹值的不确定度,提出了用不确定度评估回弹值的方法。     

一类指数和的代数次数

万大庆教授最近研究了高斯和~$S_q(f)$ 的代数次数. 本文基于万大庆的结果研究了~$q=p^2$ 及~$p\equiv1\pmod 4$ 情形的高斯和, 得到一类次数为 $1$ 的高斯和~$S_q(x^d)$ 的两种可能取值. 我们还延拓了 Myerson 在1981 年提出的方法, 得到了除~$d$ 为奇数的某些特定情形外, 所有高斯和代数次数的准确值.