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

利用势为 n的均匀概率空间的无穷乘积在 Lukasiewicz n值命题逻辑中引入了公式的真度概念,当3≤n≤17时证明了全体公式的真度值之集在[0,1]上是稠密的,并给出了公式真度的表达通式;利用真度定义了公式间的相似度,进而导出了全体公式集上的一种伪距离,为n值Lukasiewicz命题逻辑系统的近似推理理论提供了一种可能的框架。  

一个新的非常规Hermite型各向异性矩形元的超收敛分析及外推

本文对二阶椭圆问题构造了一个新的非常规Hermite型矩形单元并用各向异性插值基本定理证明了其各向异性特征,从而可用于任意的矩形剖分.同时还得到了与网格的正则性假设和拟一致假设无关的超逼近和超收敛性质以及外推.数值结果表明该单元确实是一个具有很好应用价值的单元且与理论分析是相吻合的.  

层次分析法权重计算方法分析及其应用研究

介绍层次分析法的基本概念,同时也分析了层次分析法权重的计算方法及应用,层次分析法的计算方法有四种方法:几何平均法、算术平均法、特征向量法、最小二乘法,以往的文献利用层次分析法解决实际问题时,都是采用其中的某一种方法求权重向量,不同的方法会导致结果有些偏差,将对一具体实例,采用四种计算方法分别得出权重向量再进行排序和综合分析,这样可以避免采用单一方法所产生的偏差,得出的结论将更全面、更有效。  

序压缩映射的不动点定理

本文在序Banach空间中引入了几种按序压缩的压缩型映射,证明了相应的不动点定理.  

选址问题研究的若干进展

中值问题、覆盖问题、中心问题是选址研究中的三个经典问题，它们的应用非常广泛，也是迄今为止大多数选址理论研究的坚实基础。本文综述了近年来它们的研究进展，包括模型、求解方法以及相关问题，最后，指出这一领域未来研究的一些问题与方向。  

具有连续变量的多时滞二阶中立型差分方程的振动准则

本文用分析的方法研究了一类具有连续变量的多时滞二阶中立型差分方程解的振动性，给出了该类方程解振动和差分算子振动的几个充分条件．  

一类种群系统的适定性及最优收获问题

本文研究了一类非线性时变种群扩散系统的适定性及最优收获问题.利用压缩不 动点原理讨论了该种群系统的解的存在唯一性.证明了最优收获控制的存在性,并且获 得了最优控制的唯一性和所满足的必要条件.  

利用局部加权拟合方法检验线性回归关系

利用局部加权技术拟合变参数回归模型,提出了一个检验线性回归关系的方法.基于残差平方和,构造适当的检验统计量,给出了计算检验p-值的精确方法及三阶矩x2逼近方法.随机模拟与实例分析表明计算p-值的逼近方法具有较高的精度,所提出的检验统计量在检测回归函数非线性性方面有满意的功效和可靠性.  

Semicontinuous lattices

In this paper we introduce and study a new type of lattices, semicontinuous lattices, by using semiprime ideals. Such lattices have many properties similar to that of continuous lattices, and are closely related to the theory of continuous lattices. Received November 3, 1995; accepted in final form March 13, 1997.  

Lawson-Hoffmann对偶定理的推广

本文讨论了Z－连续偏序集的一系列性质，主要证明了Z－连续偏序集范畴对偶等价于完全分配格范畴的一个满子范畴．