A High Speed Detection Scheme for Point Targets in a Multitarget Environment

The purpose of this paper is to develop a high speed detection scheme for moving and / or stationary point targets in a multitarget environment as registered in an IR image sequence. An iterative approximate 3-D line searching algorithm based upon the geometric representation of lines (for non-maneuvering targets in space) in a 3-D space is derived. The convergency of the algorithm is proved. An analysis is performed of the theoretical detection performance of the algorithm. The statistical experiment results show high effectiveness and computational efficiency of the algorithm in the case of low SNR. The idea may be employed to satisfy the real-time processing requirement of an IR system.     

石油微观渗流数值模拟实验

应用基于骨架隐曲面造型技术，构造了一种抽象的孔隙空间模型，在此基础上运用系统模拟技术开发了一个石油微观运移数值模拟实验平台，用于模拟和展示石油在饱含水孔隙介质中的运移过程，并验证了以浮力为主要运移动力的动力学模型的适用性。     

弗里德曼空间和宇宙论

利用弗里德曼空间理论，讨论了宇宙学中的一些问题，主要内容：（１）弗里德曼空间的度规张量；（２）弗里德曼空间的能量动量张量；（３）弗里德曼空间的演化和温度的关系；（４）红向移动的理论公式．     

S桶空间的几个性质(Ⅱ)

讨论了S桶空间在归纳限和稠密子空间方面的一些基本性质．     

N阶幻体及其初等性质

幻方和幻立方是组合数学中古老问题,它们体现了数字间关系的优美性与和谐性.本文基于幻方和幻立方的理论引入了幻体,给出了其存在性定理的证明,并进一步讨论了幻体的初等性质.     

co—H空间上自同伦等价群的若干结果

研究有关co H 空间上的自同伦等价.当co H 空间X是1 连通的有限CW 复形时,εSP(SX)是有限生成的群.另外本文还得到εco H(X)是有限群的一个充分条件.     

展览建筑中受众选择性注意的应用研究

分析了展览建筑设计中受众选择性注意的社会因素,提出了展览建筑设计中针对受众选择性注意的设计原则。     

交换子在Morrey-Herz空间上的有界性

T^mb表示由函数b∈BMO（R^n）和强奇异积分算子T生成的m阶交换子。T^mb在L^q（R^n）上的有界性结果已经存在。利用不等式技巧进一步研究了T^mb在Herz和Morrey-Herz空间上的有界性质，所得结果更具有一般性。     

BAN逻辑与串空间的比较

研究了2种安全协议的分析方法,即BAN逻辑和串空间.利用这2种方法分别分析了Needham-Schroeder公钥协议,指出了这2种方法各自的优点和缺点.在对这2种方法进行了比较后,指出了这2种方法有2种结合方式.1种是利用串空间给出BAN逻辑的语义,另外1种结合方式是串行,即对于需要分析的协议,先利用BAN逻辑进行分析,然后再利用串空间进行分析,使分析出的结果更加可靠.