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

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

旅游规划图件及其编制内容之我见

旅游规划图件是旅游规划的成果之一,其编制的内容涉及到规划意图与成图质量.虽然《旅游规划通则》规定了规划图幅,但未对图幅内容作出具体指引.该文将规定图幅相应划分为2个一级层次、3个二级层次,并对层次中的区位图、旅游资源图等13类规划图件的编制内容阐述个人看法,同时提出适当调整与增删的必要性.     

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

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

浅析游戏引擎开发

该引擎的开发技术主要是使用C 语言,DirectX8.1开发包与软件工程思想,并综合运用了计算机图形学,人工智能等知识.该引擎的主要工作是进行游戏中的数字建模、碰撞运算、物体成像、玩家角色控制等操作,以及播放正确的音量和声音输出等必要的功能.     

σ1-空间及其性质

作为m1 空间的推广,定义了σ1 空间，给出了它的充分条件，并研究了它的基本性质.     

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

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

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

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

动物基因图谱的研究现状及其应用

随着人类基因组测序的完成，近年来，动物基因组计划也取得了巨大进展．目前已有猪、牛、羊、马、鹿、鸡等动物绘制了较完善的遗传图谱。这些图谱的建立对了解动物整个基因组结构和对家畜中与重要经济性状相关的基因或遗传标记的鉴定及对家畜开展分子标记辅助选择均十分重要，该文从国内外构建动物基因图谱的方法、研究现状及发展趋势等方面对动物基因图谱的研究作了简要阐述；并探讨了其在基因定位、遗传分析、分子标记辅助选择和研究动物染色体行为等方面的应用。     

关于弱J-空间的一些性质

目的　研究弱J 空间、半弱J 空间及其乘积空间和J 空间的锥空间的一些性质。方法　在前人研究J 空间的基础之上,用类比的思想以及构造新空间(乘积空间与商空间)的方法来研究与弱J 空间有关的一些性质。结果　得到了有关弱J 空间和半弱J 空间的一些等价命题及乘积性质,也得到了J 空间的锥空间的性质。结论　①设{X1,X2,K}是空间X的闭覆盖并且满足K紧,X1∩X2= ,则X是弱J 空间当且仅当X1和X2是弱J 空间,且X1或X2紧;②判断乘积空间X1×X2是弱J 空间的一些充分必要条件;③如果X是连通的J 空间,那么Δ(X)是半弱J 空间。