de Sitter空间的2-调和类空子流形

研究de Sitter空间的2-调和类空子流形,得到一个较为理想的积分不等式,从而改进相关作者的结论.     

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

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

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

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

一类非线性SEIRS流行病传播数学模型

目的 研究一类具有饱和接触率且潜伏期、染病期均传染的非线性SEIRS流行病传播数学模型动力学性质。方法 利用Lasalle不变集原理和Routh-Hurwitz判据探讨系统的渐近性态。结果 得到了疾病绝灭与持续的阈值——基本再生数，证明了无病平衡点的全局渐近稳定性和地方病平衡点的局部渐近稳定性，揭示了潜伏期传染的影响。结论潜伏期有传染的疾病，不但要注意控制染病期的病人，还要注意控制潜伏期的病人。只有这样，才能有效地控制疾病的蔓延。     

超球上关于不变度量的（0，q）-Green式的性质

证明了：对任一（0,q)式g(z)=1/q!g_Aq(z)dz^Aq,其系数gAq-(z)满足:gAq(z)/1-|z|^2在B^n-连续，则有□w∫Bng(z)∧*N(z,w)=g(w)。     

伪脐子流形的两个Pinching定理

设Mn+p+q2是n+p+q维拟常曲率的黎曼流形,Mn+p1(c1)为Mn+p+q2中的n+p维常曲率为c1的子流形,Mn为Mn+p1(c1)中具有平行平均曲率向量的紧致伪脐子流形,给出了Mn是Mn+p1(c1)的全脐子流形的几个充分条件.     

完整约束奇异广义力学系统的Poincare'-Cartan积分

对受完整外在约束并用奇异Lagrange量描述的广义力学系统,基于完整外在约束满足的约束加在虚位移上的条件,并考虑到系统的内在约束,导出了该约束奇异广义力学系统的广义Poincare'-Cartan积分不变量,并证明了该不变量与约束奇异广义力学系统的广义正则方程等价.     

基于SIFT的车标识别算法

针对车标识别过程中匹配阈值难、识别速度慢的问题,提出一种基于尺度不变特征变换(SIFT)的特征匹配车标识别算法.利用SIFT算子对图像的视角、平移、放射、亮度、旋转等不变特性进行提取,并采用BP神经网络算法自主选取车标图像特征进行分类、匹配和识别.仿真实验结果表明,简单车标和复杂车标的识别率平均值均达90%以上,该算法识别速度较快、识别率较高,能满足实际应用的需要.