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

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

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

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

关于矩阵范数的几个问题

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

P—SASAKIAN流形的CR子流形

讨论了Ｐ－Ｓａｓａｋｉａｎ流形的ＣＲ子流形的微分几何，得到了ＣＲ子流形的平行法截面及法连络的平坦性方面的一些结果。     

发动机排气歧管热负荷数值模拟

某发动机运行期间，由于不合理的结构设计导致排气歧管关键部位的热疲劳失效，为此采用CFD技术模拟排气歧管工作时的外流场；通过热力学计算得到排气歧管的入口和出口边界条件。计算排气歧管的三维瞬态内流场；将内外流场计算的等效传热边界条件影射到排气歧管的内外表面生成传热边界条件，计算出结构温度场；将固体边界的温度作为流场边界条件重新进行内外流场计算，反复迭代多次，最后，求解结构的热应力．对原方案提出了改进意见，结构改进后，排气歧管热疲劳失效得到排除．     

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

提出一种新的人脸识别方法———灰度-梯度共轭不变矩法,克服了传统方法的缺点,在不增加复杂度的前提下,将灰度信息和梯度信息有效地结合起来,并将其共轭分布反映的纹理特征作为对灰度特征的补充参与特征分类.同时,对经典不变矩组进行分析并改进,消除了离散状态下比例因子的影响.以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质子轰击固定铍核的实验数据,通过质子与π介子对的搭配,并用一种新的循环迭代的混合事件方法,从复杂的背景中,提炼出共振态领头粒子Λ的产生.     

具有立方非线性机翼颤振的局部分岔

针对飞机飞行时机翼振动问题，研究了在不可压缩流中有立方非线性刚度二元机翼颤振系统的局部分岔，取空气速度和线性俯仰刚度系数作为分岔参数．采用后继函数法对降维后求得系统分岔点类别进行定性分析，结果表明3个分岔点都为稳定的焦点．对分岔点处中心流形约化方程进行化简得到霍普分岔的A规范形，研究了系统参数对极限环颤振的稳定性及幅值的影响，得到了机翼颤振系统在普适开折参数平面的分岔图．发现了抑制颤振振幅和临界颤振速度大小的系统敏感参数，提出了降低颤振幅值和避免不稳定极限环运动的措施。     

关于量子力学中效应代数上的收敛理论及不变量

本文介绍了量子力学中效应代数的研究进展。指出利用无穷矩阵理论研究其上的收敛理论和不变量，对建立量子力学的数学基础有重要意义。