关于单侧检验拒绝域的证明及假设检验的概率实质

根据假设检验的基本思想 ,阐明了“检验规则”的实质 ;根据小概率原理 ,完善了对单总体参数单侧检验拒绝域的理论证明 ;根据假设检验中的参数是一个未知的常数而不是一个变量的观点 ,揭示了单侧检验的概率实质 .同时 ,还提出了单侧检验中的两个易被忽视的问题及其解决方法 .最后 ,对假设检验中的一些基本概念给出了几点简要的评注 .     

矩阵的单侧逆及其算法

本给出了矩阵单侧逆的具体通式和实际算法．     

用初等方法解决一个猜想

文[1]末的猜想1为：若a^n b^n=2，n，b∈R，n∈N，n≥2，则a b≤2，ab≤1．最近，文[2]用导数证明了此猜想成立，并给出了a b及ab的下界，得到命题若a^n b^n=2，a，b∈R，n∈N，n≥2．     

相关特征的物证检验方法及其应用

本文用多元统计的方法 ,将物证检验中彼此相关的特征转化为不相关的新特征 ,再利用L和L 检验方法 ,大大拓广了L和L 检验方法的使用范围 ,提高了破案率。     

求解单侧障碍问题的隐式投影方法

利用不动点原理,得到了求解一类障碍问题的隐式投影算法.采用中心差分格式将障碍问题离散为一个线性互补问题,从而得到了基于投影形式的隐式算法.该方法的每一步迭代只需要求解一个线性方程组.用投影性质很容易证明算法收敛性.给出了具体的算法过程,数值算例结果和理论分析是一致的.     

正态性检验的图示方法及其应用

用图示方法进行正态性检验，不需要作复杂的运算、简单直观、近年来，正态性的图示又有了许多发展，本文在这些发展的基础上，给出了一些图形的接受区间，提高了使用效率，排除了对图形解决的直观性，并且适合在计算机上作图，ＭｏｎｔｅＣａｒｌｏ模拟结果和两个实例也说明了这些方法是用的。     

单侧接触问题的拟有效集方法

单侧接触问题可以模型化为一个带不等式约束的数学规划问题。针对不等式约束问题求解的困难,提出了一个拟有效集方法。在每次迭代中,先利用上次迭代得到的解将问题转化为一个无接触问题,然后以其解作为当前迭代的初始解,且在每次迭代里可以同时更换一组接触点对,而不是象Lemke方法那样每次迭代仅更换一个接触点对。因而,该算法极大地提高了求解效率,算例表明了该算法的高效性和可靠性。     

AHP的检验方法及其比较分析

介绍了目前较有影响的三种ＡＨＰ一致性检验算法,并对其作了比较分析,最后提出了一种检验算法的选择准则     

关于单侧导数的一种求法

介绍了求单侧导数的一种方法并加以证明;举例说明定理的应用及应用时需注意的问题     

比较两个对数值大小的一种通用方法

介绍比较两个对数值的大小的一种通用方法,并举例说明这种方法的应用.     

有资格限制的指派问题的求解方法

在实际的指派工作中，常会遇到某个人有没有资格去承担某项工作的问题，因此，本建立了有资格限制的指派问题的数学模型。在此数学模型中，将效益矩阵转化为判定矩阵，由此给出了判定此种指派问题是否有解的方法；在有解的情况下，进一步将效益矩阵转化为求解矩阵，从而将有资格限制的指派问题化为传统的指派问题来求解。最后给出了一个数值例子来说明这样的处理方法是有效的。     

退化抛物型方程与单侧约束系统

本文讨论了一类非线性非自治多值的退化抛物型方程解的存在性和解的正则性等。它代表一类具非线性本构约束及不可微外约束的能量耗散的物理、力学和优化等问题。     

Groups of Congruences and Restriction Matrices

Let be a domain of the Euclidean space R ^m sent onto itself by a finite group G of congruences. In this paper we first define M elementary restriction matrices related to the group G and to a system of irreducible matrix representations of G. We then describe a general procedure to generate M restriction matrices for any finite-dimensional space V() of real functions defined on , when V() is invariant with respect to G. The number M depends only on the group G. Restriction matrices for the space V() have a block structure and all blocks can be obtained as from an elementary restriction matrix. Restriction matrices related to V() define a decomposition of V() as the sum of M subspaces. Finally, owing to restriction matrices, we propose a result of decomposition for linear systems. Several examples are presented.This revised version was published online in October 2005 with corrections to the Cover Date.     

血样二次分组检验的探讨

提出了血样的二次分组检验方法,建立了二次分组验血法预期人均检验次数最小的模型,给出了二次分组法的最佳小组人数和最佳小组数的范围,得到了求二次分组最佳方案的方法.计算结果表明模型和方法是可信的,在单个人血样呈阴性概率较大时,采用二次分组验血法能比一次分组验血法更进一步地减少检验次数,有较大的实用价值.     

Test homogeneity of order-restricted means

Suppose that an order restriction is imposed among several p-variate normal mean vectors. We are interested in testing the homogeneity of these mean vectors under this restriction. This problem is an extension of Sasabuchi, Tanaka and Tsukamoto＇s problem.     

Global Matching of Random Restriction Maps

Sequence alignment has been studied for some time and there is a developed theory of alignment statistics. DNA restriction maps are aligned by comparing locations of cut sites or restriction fragment lengths. The statistical theory of their alignments is less well developed than that of sequence alignment. In this paper we estimate the probability that two random restriction maps match under certain matching model.     

Banach空间中二元算子方程组解的存在唯一性及其迭代解法

利用锥理论与半序方法对Banach空间中几类二元算子方程组解的存在唯一性进行探讨,给出它们的迭代求解法,得到了一些新结果.     

双参数半线性高阶椭圆型方程的奇摄动解

讨论了一类具有双参数的半线性高阶椭圆型方程边值问题.利用微分不等式理论,研究了边值问题解的存在性和渐近性态.     

扰动系统概周期解和有界解的存在性

该文研究扰动系统．在适当条件下给出扰动系统概周期解和有界解的存在性证明．