导数的介值定理的几种证明

连续函数有“介值定理”,某些不连续函数也有其“介值定理”。这里介绍的导数的“介值定理”即是一例。但应该注意不是每一函数都必是某函数的导数。闭区间上的可微函数的导数〔区间端点考虑左、右导数〕,可能有间断点,但“介值定理”成立。即: 导数的介值定理若f(x)在〔a,b〕上可微,且(?),则对于f′(a)与f′(b)之     

“中介”谓词逻辑演算MF的特征问题

本文通过引入三值结构获得并证明了“中介”逻辑系统 MF(MF~*)的可靠性与完全性定理。     

以"权"分担三个公共值的亚纯函数的进一步结果

研究了以“权”分担三个公共值的亚纯函数的唯一性问题，所得结果改进了仪洪勋，I．Lahiri等的相应定理．     

集值拟增算子的新不动点定理的推广

引用伪下可分概念，借助于李福义的“集值增算子的一个不动点定理”一文中的方法，推广了郑雄军的“集值拟增算子的新不动点定理”一文中的结果．     

中值定理“中间点”的唯一性

本文给出了拉格朗日中值定理、柯西中值定理及积分中值定理“中间点”唯一的充要条件。     

三双曲线定理

著名的“Hadamard三圆定理”指出:复变解析函数在圆周上的最大模满足一个凸性不等式[1]。研究表明,调和方程的解以及热传导方程的解也有与此相仿的性质,(即关于调和方程的“三圆定理”以及关于热传导方程的“三抛物线定理”[2]。更一般地,对于高维的情形,则有Е.М.Ландис关于椭圆型方程的“三球面定理”[3][4]以及Р.Я.Γлаголева关于抛物型方程的“三柱面定理”[5]。)然而,对于双曲型方程,却未见有过类似的研究。本文给出了关于一类双曲型方程的“三双曲线定理”,定理的证明用到了S.Agmon,L.Nirenberg,M.H.Protter等三人所证明的关于一类双曲型方程的极值原理[6]。     

三值逻辑的Craig中插定理与Herbrand定理

作者获得并证明三值命题逻辑MP与MP^*、三值谓词逻辑MF与MF^*以及带等词的三值谓词逻辑ME与ME^*的Craig中插定理与Herbrand定理。     

关于微分中值定理"中值点"的讨论

在罗尔定理、拉格朗日中值定理给出“中值点”ξ的存在性的基础上,给出并证明了在一定条件下“中值点”ξ的唯一性,并对ξ的个数问题及高阶导数相应的“中值点”的存在性问题进行了探讨.     

"Ljung"型随机算法的收敛性

本文研究了“Ｌｊｕｎｇ”算法的收敛条件,给出了两类条件下的收敛定理,并将收敛定理推广到观察值更复杂的情形     

“Ljung”型随机算法的收敛性

本文研究了“Ｌｊｕｎｇ”算法的收敛条件，给出了两类条件下的收敛定理，并将收敛定理推广到观察值更复杂的情形。     

基于三值语义的非单调逻辑

本文给出一种三值非单调逻辑形式，它一方面可推广标准非单调逻辑到三值情形，另一方面它能捕捉各种非单调逻辑作为特殊形式，特别地，我们证明了三值非单调逻辑与模态非单调逻辑具有密切的关系．     

A Three—valued Extension of ECWA

ＡＴｈｒｅｅ－ｖａｌｕｅｄＥｘｔｅｎｓｉｏｎｏｆＥＣＷＡ￥ＨｅＪｉａ；ＱｉｕＹｕｈｕｉ（ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒｓｃｉｅｎｃｅ，ＳｏｕｔｈｗｅｓｔＣｈｉｎａＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ，Ｃｈｏｎｇｑｉｎｇ６３０７１５）Ａｂｓｔｒａ...     

C_B代数与Lu3代数同构定理的证明

本文给出C_B代数与Lu3代数同构的详细证明,并得到了Lukasiewivcz三值逻辑代数在二值逻辑代数上的可构造性。     

用神经网络实现三值PMC模型的计算机系统诊断

本文系统地研究了如何构造一个神经网络来实现三值ＰＭＣ（ｐｒｅｐａｒａｔｅ－Ｍｅｔｚｅ－ｃｈｉｅｎ）模型的计算机系统诊断。大量模拟实验表明，用神经网络来解决计算机系统诊断问题非常有效；同时，，模拟实验还得出了电容，，Ｃ电阻Ｒ，放大系数Ｋ与网络收敛时间的关系。     

三值T门组合网络一种自动综合方法的理论和算法

本文给出三值Ｔ门组合网络的一种自动综合方法的理论和算法．该算法可以使待实现的三值Ｔ门组合网络化简达到最小化或接近最小化，而且易于编程，上机操作．     

从射影观点看三角形“五心”定理的变形

本文用射影观点考察三角形的“五心”定理,通过配极变换推出五个新的命题。     

人染色体图像的一种分割方法

1975年美国喷气推进实验室根据与美国国家儿童卫生和人类发展协会签订的合同,研制出世界上第一台染色体计算机识别系统,接着比利时、意大利、日本等国也研制了相应的系统,所有这些均由于染色体的复杂性而采用了人机交互方式分析,而完全的自动分析尚难实现.因此,用于改善染色体图像质量的预处理,具有重要的意义.本文利用Freeman码跟踪染色体图像边缘,在此基础上提取染色体.及研究了染色体图像的精化处理.1 染色体提取为了提取染色体,必须对其边界轮廓进行跟踪,一般用Freeman方向码(图1)跟踪.任一曲线链码符号为:     

修正的Szasz—Mirakjan算子Ln的局部饱和定理

利用Bajsanski-Bojanic的抛物线技巧和概率论中的广义中心极限定理,建立Szasz-Mirakjan算子L_N的局部饱和定理。     

含空值关系数据库中的多值逻辑的研究

论述了含空值关系数据库中的多值逻辑推导及演化过程 ,并且定义了基于三值逻辑运算的处理规则以及多值逻辑的应用