主理想整环上的线性方程组

对主理想整环上的线性方程组作了初步探讨，推广了域上线性方程组的已知结果，并给出求解的几种新方法。     

超对称量子力学中─维形状不变势与严格解

找到几个具有形状不变性的一维势，用超对称量子力学理论求得其束缚态能量的严格表达式．给出已知所有形状不变势中束缚态数为有限者的数目，丰富了形状不变势的家族．     

手写印刷体汉字识别中特征及提取方法的改进

通过对汉字整体结构的分析及描述，在传统的特征点基础上，我们双提出了一种新的特征点，并对常用的特征点判别方法进行了改进。这种方法可以应用于印刷汉字及允许一定变形的手写体汉字，经实验表明，提取精度较高。     

有限补空间与可数补空间的若干讨论

本文讨论了有限补空间与可数补空间的连通性、分离性、紧性及可数性等拓扑不变性质．     

故障诊断中几种征兆自动获取技术研究

研究了故障诊断系统中几种诊断征兆的自动获取机制，给出了对不同类型的征兆实现自动获取的有效方法．着重研究了轴心轨迹图形的自动识别问题，提出了利用图形的不变性矩特征的识别技术，构造了基于不变性特征矩的特征向量，定义了特征矩向量之间的距离，提出了置信度的度量方法．通过对轴心轨迹的仿真和实际识别，表明该方法是可行的     

关于矩阵范数的几个问题

矩阵算子范数和矩阵酉不变范数是两大类矩阵范数。它们既有区别又有联系。本文首先讨论了一个矩阵范数‖·‖既是算子范数又是酉不变范数的条件。另外，文[4]中在讨论正规矩阵谱变分问题时，用到单调范数和单调酉不变范数的概念。本文证明了，只有F－范数是单调的酉不变范数。另外，在所有的p－范数中，只有1－范数和∞－范数是单调范数。     

基于灰度和梯度不变矩的人脸识别

提出一种新的人脸识别方法———灰度-梯度共轭不变矩法,克服了传统方法的缺点,在不增加复杂度的前提下,将灰度信息和梯度信息有效地结合起来,并将其共轭分布反映的纹理特征作为对灰度特征的补充参与特征分类.同时,对经典不变矩组进行分析并改进,消除了离散状态下比例因子的影响.以BP网络作为分类器进行试验,结果表明,与传统方法相比,该方法具有更高的识别率.     

A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS

A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions.     

19GeV/c能量下质子-铍碰撞中领头奇异超子Λ的产生

利用在美国布鲁克海汶国家实验室的环型加速器(Brookhaven/AGS)上进行的19.6 GeV质子轰击固定铍核的实验数据,通过质子与π介子对的搭配,并用一种新的循环迭代的混合事件方法,从复杂的背景中,提炼出共振态领头粒子Λ的产生.