不可数域的一个紧致性定理

给出关于不可数域上无限个线性方程及多项式不等式所成之集的可解性的一个紧致性定理,把全集的可解性化归其诸有限子集的可解性.并举例说明这一定理在无限维线性代数中的应用.     

一种新的物体连续切片图象的截面三维重建

描述了一种新的截面三维重建方法,它是在截面重建法的基础上,引入仿射变换作为旋转、投影变换,利用线性插值消隐填充算法,生成物体的可视侧面,直接利用重建图象的深度信息计算可视侧面的灰度,在显示平面获得物体可视侧面的三维结构及形状信息.并可通过旋转投影变换获得物体任一可视侧面的重建显示图象.     

螺旋桨的流固耦合动力分析

采用２０节点三维等参元离散系统，在结构表现上布置源汇，应用Ｇｒｅｅｎ函数的边界积分法计算流体－结构的相互影响，用湿模态法对螺旋桨在水中的动力特性进行了计算；比试验验证表明，计算结果与试验结果吻合良好。     

序列空间中的有限维分解性质

本文讨论可分Ｂａｎａｃｈ空间中的有限分解性质（ｆ、ｄ、ｄ、ｐ），并证明了：如果Ｘ具有ｆ、ｄ、ｄ、ｐ，则序列空间ｌｐ（Ｘ）（１≤ｐ〈∞）、ｃｏ（Ｘ）及Ｃｅｘｐ（Ｘ）（１〉ｐ〈∞）也具有ｆ、ｄ、ｄ、ｐ。     

综合评判的属性测度四维阵列模型及权重确定方法

属性集和属性测度理论［１］是一套全新的描述不确定性现象的理论,本文在此基础上建立了群体决策综合评价的属性测度四维阵列模型,并给出了一种新的权重确定方法.     

二维对流扩散方程的分步交替分组显式格式

将求解二维对流扩散方程的差分方法，分解成两个一维的情形进行处理，简化了计算。该格式还具有绝对稳定性与并行性质，以及较高的计算精度。     

面向武器装备系列研制的灵境仿真研究

首先阐明面向武器装备系列研制的灵境仿真研究的重要性及其学科归属.根据实施约束条件,将本项研究定位于应用基础研究.基于90年代的计算技术基础设施,将VR仿真开发系统的技术目标设定为自学习、自优化、目标驱动的自产生式建模与仿真环境.在1995年已实现的人工智能嵌入面向对象编程AI+OOP形式化体系中,通过知识封装赋予对象以知识禀赋和似人的精神属性.把AIOOM开发平台提升到面向智能体层次.文章给出Agent设计及实现的形式化描述,并通过二个实例说明该系统的可行性和优势.最后,展望系统发展方向并指出待努力解决和问题.     

多元函数的对称性研究

在n维欧氏空间内,给出了多元函数分别关于点、n-1维超平面对称的充要条件。     

系统辩证论新议

系统辩证论是在批判还原论和机械论中诞生和发展的，这方面，在认识上还表现出不彻底、不深入、不完善性：阐述了系统辩证认识的一些新看法，在彻底相对传统科学上，提出系统辩证律——相对传统学科中传统事物（组分事物）与系统特征事物（统性事物）的对立统一律；在深入矛盾网络分析中，提出系统矛盾网络多维辩证律——纵向一分为二、横向一分为多、立体切向结构功能耦合辩证法；在实际辩证法运用中，提出系统矛盾两部分析法；它们共同构成系统辩证论体系。