关于集值映射的Caristl定理

借助于Ky Fan技巧，将Caristl定理推广到集值映射的情形，获得了两个很有意义的结论。     

伪欧空间中类空向量、类空子空间的夹角

文章给出了伪欧空间中两个类空（类时）向量之间夹角的定义，给出了伪欧空间中两个类空（类时）子空间之间的单维角、多维角的定义并得到单维角、多维角之间的关系的公式。证明了伪欧空间Ek^n k中两个n维类空子空间的夹角等于与它们正交的两个k维类时子空间之间的夹角。     

多媒质区域介质子网格时域有限差分法

介绍了应用于多媒质区域电磁问题的介质子网格时域有限差分法．该方法在保证精度的前提下，节省了大量计算时间及计算机内存，尤其在处理多媒质界面方面具有很大的优势．     

李群G在流形M上左作用的相关性质

本通过李群G在流形M上左作用，构造了M上单参数可微变换群，证明了其诱导向量场与李代数g之间存在同态映射，且诱导向量场是—李代数。     

到酉群实形式的调和映射

研究从单连通区域Ω R2 ∪ {∞ }到酉群U(N)的某一类实形式G(包括正交群和辛群 )的调和映射 ,引入了G uniton和扩张G uniton的概念 ,并通过两次dressing作用和奇异Darboux变换给出了G uniton及其旗因子的纯代数构造方法 .证明了任意具有有限uniton数的调和映射 φ :Ω →G可因子分解为有限个G uniton的乘积     

计算网格的抽象定义

计算网格是第三代因特网和高性能并行计算的研究热点,它提供了一个有效的平台,共享资源,支持全球范围内分布异构应用程序的运行,其动机和目标是明显的,并被人们广泛认同和接受。但是目前网格系统尚无一个清楚的定义,因此基于网格语义,通过高层抽象,用谓词/变迁系统给出计算网格的框架模型。     

演绎数据库虚关系的内部表示

介绍了演绎数据库的系统结构，并着重介绍了基于SQL Serverr之上的递归查询算法和将以规则形式存放于外存的虚关系转化为内部表示的过程。     

基于离散智能的自重构机器人变形策略

在总结自重构机器人系统结构本质特点的基础上，提出了一种描述模型，对几种典型的同构和非同构系统进行统一的描述．探索了自重构机器人的基本变形方法，给出一种建立在全离散的局部智能基础上的变形策略，使机器人通过模块局部之间的交互产生整体自组织的结果，并且能够减低变形算法的计算复杂度．以一个9模块系统的变形过程为例进行了验证．     

用事件-条件-动作规则表示模糊知识的方法

提出了模糊触发器的概念，采用模糊事件、模糊条件和模糊动作来对触发器进行模糊推理，为在主动数据库及其应用领域表达不精确的应用语义特性提供了可行的方法．通过一个“过热警报”的应用实例说明了模糊事件-条件一动作(ECA)触发器的建立及其实现方法．     

关于一维射影映射的一个注记

给出了一维射影映射的一个等价刻画，证明了射影直线ξ1到ξ2上的连续映射φ:ξ1→ξ2是射影映射当且仅当存在常数κ≠0，1，使得φ保持交比κ，这一刻画改进了STEINER及VAN STAUDT关于一维射影映射的一些相关结果。