替换定理的三种证明

高等代数的教材里，“替换定理”常常采用数学归纳法证明，本给出另外三种证明，以不同的方法揭示定理中向量组之间的内在联系。     

一种实时战场仿真的层次结构及算法研究

在实时战场仿真环境下提出了一种基于智能体的战场交互通信模型，在此基础上采用组队工作的思想，将任务分解为各Agent能够执行的子任务，并对其进行了角色定义、算法描述，采用任务表示语言TRL将知识表达出来，实现了应用智能Agents对战场交互式通信模型进行实时战场仿真。     

几何造型中数据结构自动转换的实现

立体几何造型系统是集成化 CAD/CAM 的核心,而内部描述物体的数据结构则是几何造型系统的核心。本文介绍了将立体几何造型中结构立体几何(CSG)数据结构转换成边界表示(B-Reps)数据结构的方法。作者采用了 CTIPS 系统的二层数据结构的 CSG 作为转换的基础,而作为转换结果是一种对称形式的 B-Reps 数据结构。由于该 CSG 数据结构是由网格信息组成,完整物体的 B-Reps 的产生将依赖于网格信息,因此转换分两步进行:首先从 CSG 信息生成一个网格单元的 B-Reps,然后将网格单元的 B-Reps 合并生成完整零件的 B-Reps。目前已在超小型机上实现了这个转换。     

基于知识的遥感图像分类系统

本文应用问题求解的黑板模型并利用产生式系统作为基本软件结构,设计并实现了一个基于知识的遥感图像分类系统;对知识获取与表示进行了研究;通过实验论证了系统的可行性.     

面向对象专家系统中知识的不确定性

通过把模糊概念引入到面向对象的知识表示的框架中,全面论述了利用模糊逻辑对面向对象专家系统中的静态和动态关系进行处理的方法.为了处理继承和类、实例及特征间的模型关系,还扩展了一些新的模糊概念,从而使知识的表示、继承更容易、自然、有效.     

几何构形对量子自旋系统临界性质的影响

将离散路径积分表示(DPIR)下的有效场重整化群(EFRG)技巧推广应用于平面三角晶格上量子自旋横向Ising模型的相变研究,在这个方法中,注意区分了两种具有相同配位数而不同几何构形的晶体,并且考虑了起伏的影响,在二阶累积量近似下,得到了接近于精确解的临界值。     

中逐块光滑拟凸拟上具有局部全纯核的Leray—Norguet公式

利用修正的Ｏｎｏ局部化方法和Ｈｅｎｋｉｎ方法，讨论Ｆ＾ｎ中具有农块光滑边界的拟凸域上可微分函数和全纯函数的具有局部全纯核积分表示，作为应用获得了ａ－方程局部解的Ｌｅｒａｙ－Ｎｏｒｇｕｅｔ积分公式并证明在含参数局部意义下存在一致估计。     

面向机械设计的知识组织方法

针对机械设计领域的知识特点，提出了框架引导的层次知识组织的方法、相对应的完整性知识组织方法、规则库及设计对象的链式组织方法。     

可积族零曲率表示的统一结构

设x,t〔R,u一(“,,…,u,)T,u、一“‘(x,,),l提i镇宁,令男表示C.可微函数p(r-:,“)的全体,劣”一{(P:,…,Pr)丁!尸,‘男},笋·表示C,可微线性算子少~少(x,t,司:男,一男‘的全体【1],用梦产(;)表示所有矩阵乘积算子,一,(,,劝一(,力,xr,这里留‘,~,“(二,几)关于作为x的函数“是c“一Gateaux可微且关于谱参数孟是c”可微的函数.设K,;〔男,,,〔(护产(,),定义G‘teaux导数为K·。‘,一晶1。_。‘(·+一,,留尹〔!,一景{。一。留(·+一,,男q关于运算[K,s]~K,[s]一s,[K],K,‘〔劣甲是一个Lie代数〔2,. 考虑谱间题丁甲’一U甲一‘执劝,,‘甲:…