非幂零的S*-群的性质

在非幂零条件下研究有限和无限的S^＊-群，得到S^＊-群的可解性以及一些其它性质．     

关于获得静态电磁真空解的一个生成技术

本文证明了静态电磁真空解的一个生成技术，这一生成技术是由一个已知的Ｅｉｎｓｔｅｉｎ场方程的静态真空解生成一个静态电磁真空解，并对其应用和物理意义作了讨论。     

ZY3代数中有限生成的理想

讨论了在ZY3代数中如何由集生成理想及其有限生成理想的特征。并指出ZY3代数中理想的定义与BCI-代数和BCK-代数中理想的定义相同。     

防空模拟训练系统中空袭模块的实现与分析

由于客观条件的限制，用真实装备进行操作训练花费巨大而且适用范围有限，运用模拟训练系统能高效地完成武器装备操作训练任务，提供逼真的空袭实体和对现代战场必然存在的电子对抗进行仿真是防空模拟训练的重要环节，论文以我们研制的陆军防军模拟训练系统为背景，较详细地介绍了其中空袭目标模拟模块的系统构成及信息交互机制，借助3DEM地地形环境生成技术，空袭兵器行为控制和空袭航路仿真及电子对抗仿真的建思想和实现技术。     

A CRITERION FOR DISCRETE SPECTRUM OF A CLASS OF DIFFERENTIAL OPERATORS

In this paper,a sufficient and necessary condition is obtained to ensure that the spectrum of a class of 2n-order weighted differential operators is discrete.The proof is based on the method of certain weighted Sobolev spaces to be compactly embedded in weighted L^2(R).     

论莱布尼茨充足理由原则的哲学意蕴

充足理由原则是莱布尼茨哲学思想大厦的基石。莱布尼茨的充足理由原则包含三层涵义:作为本体论意义的充足理由,以说明每一存在的理由来自于自身;作为认识论意义的充足理由,以说明每一真理成立的理由;作为方法论原则的充足理由,要求理性思维必须满足充足理由原则。     

正交对称紧支撑双向小波的构造

介绍了双向多分辨分析以及双向小波的概念,研究了正交双向小波的相关性质,给出了正交双向小波对称性的判别条件,最后,基于双向加细函数的紧支撑性,利用双向多分辨分析以及矩阵理论,给出了一种构造正交对称双向小波的方法.     

三维光场的计算全息设计与再现研究

三维全息成像是利用全息术在空间形成立体图像的技术。一个三维物体,可以沿光轴方向分为一系列二维断层图像的组合。利用高效、快速的三维Gerchberg-Saxton算法,生成位相型傅里叶计算全息图,并加载在液晶空间光调制器上,理想地重构出高质量的三维光场,实验结果表明,图像清晰连贯,对比度高,噪声小。该技术在医学、军事、三维显示、微加工以及显微技术等领域有重要应用价值。     

MapGIS绘制地类符号新方法

结合绘制土地利用总体规划等多种图件的实际案例,对比分析了MapGIS绘制土地利用总体规划图中地类符号常用方法的优缺点,并组合利用MapGIS的制图功能,提出了新的地类符号自动绘制方法—复合生成法。该方法既能够保证成果图件的高质量,又可以大大提高制图工作效率,对其它一些类似图件的制作也具有一定的借鉴意义。