交错群A4在K3曲面上的作用

利用Seiberg-Witten理论，给出了具有交错群A4作用的同伦K3曲面的Dirac算子的等变Index的一个限制．     

三维Minkowski空间中的圆纹曲面

在三维闵可夫斯基(Minkowski)空间中定义了以类时曲线为脊线的圆纹(canal)曲面,并对温加顿(Weingarten)圆纹曲面进行了分类.与三维欧氏空间类似,首先以类时曲线的伏雷内(Frenet)标架为基础,结合圆纹曲面的几何定义,得到了伪正交标架下以类时曲线为脊线的圆纹曲面的参数方程.然后,建立此类圆纹曲面的基本理论,包括第一、第二基本量,高斯曲率和平均曲率等.在此基础上,得到了高斯曲率和平均曲率之间的关系,并对Weingarten圆纹曲面进行了详细的讨论.得到了三维Minkowski空间中以类时曲线为脊线的Weingarten圆纹曲面是管道曲面或者旋转曲面的结论.     

超构表面设计及其应用

超构表面作为二维形式的超构材料,在分界面处可以对透射、反射电磁波产生特定的相位分布,因此能够灵活调控电磁波前。超构表面的低剖面二维平面结构,在电磁调控领域具有广泛的应用前景,一系列的超构表面应用应运而生。主要介绍了超构表面的设计发展以及其应用,主要包括天线应用、RCS减缩、特殊波束、有源超构表面等4个方面。首先,在天线应用方面,超构表面可用于实现高增益透镜和极化转换功能;其次,从吸波型和散射调控型2种不同工作机理的角度介绍了应用于RCS减缩的超构表面;然后,针对特殊波束,主要介绍了超构表面在涡旋波束和全息成像中的应用;最后,从加载不同有源原件的角度分析有源超构表面的发展,并未来超构表面发展值得深入研究的方向。     

HLA/RTI中分布资源的存取机制研究

HLA(High Level Architecture)作为分布交互仿真领域最新的技术规范，促进了不同领域、不同类型仿真应用的互操作与可重用，RTI(Run Time Infrastmcture)是HLA的软件实现，其运行效率直接影响仿真应用的整体性能。我们对RTI中涉及的数据资源进行了定义，探讨了资源管理所面临的问题，设计出高效存储、快速索引这些资源的存储方案，改善了RTI数据管理效率，并成功地应用于自行开发的分布仿真支撑平台AST—RTI中。     

A Dynamic Object Behavior Model and Implementation Based on Computational Reflection

A dynamic object behavior model based on computational reflection is proposed. This model consists of function level and meta level, the meta objects in meta level manage the base objects and behaviors in function level, including dynamic binding and unbinding of base ohject and behavior. We implement this model with RoleJava Language. which is our self linguistic extension of the Java Language. Meta Objects are generated automatically at compile-time, this makes the reflecton mechanism transparent to programmers. Finallyan example applying this model to a banking system is presented.     

Hilbert空间中二次曲面及其不变量

给出了无限维Hilbert空间中二次曲面的概念，利用广义逆给出了Hilbert空间中二次曲面的一个不变量αn＋1,n＋1-α^TA^＋α（当α∈R（A）），推广了有限维空间R^n中二次曲面的相应的不变量。     

两个轴异面圆柱面的拼接(Ⅰ)

证明了两个轴线异面的圆柱面在与轴线垂直的平面截口处不存在二次GC^0拼接曲面。     

用还原论与整体论相结合的方法探索复杂性

科学研究方法论从古至今经历了一个超越还原论、发展整体论、实现还原论与整体论辩证统一的演化过程。实现还原论与整体论的辩证统一是有坚实的哲学依据与客观基础的；实现还原论与整体论的辩证统一，体现在认识过程中，就是从具体到抽象、再从抽象到具体的分析与综合交织互动的辩证思维途径。     

TRANSFORMATION THEOREMS AMONG CAYLEY-KLEIN GEOMETRIES

A theorem of transformation between two geometries is proved on the basis of Wu's method of mechanical theorem proving.By using this theoremfor Cayley-Klein geometries of dimension two,we prove that the nine Cayley-Klein geometries can be divided into three groups within which the geometries aremutually equivalent in the sense that certain geometry statements are correct inone geometry if and only if they are correct in the other geometries of the samegroup.This means that for each group we only need to choose a model geometryto study and the theorems of other geometries in the same group can be obtainedfrom the model geometry automatically.The three model geometries chosen forthe nine Cayley-Klein geometries are:Euclidean geometry,Riemann geometry,andGalilean geometry.