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

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

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

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

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

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

几何造型中的裁剪曲面

在深入研究裁剪曲面的基础上，本文引入３种关于裁剪曲面的规范化操作及相应的逆操作，并运用扩展的欧拉公式给予合理性验证，并进一步提出了构造裁剪曲面几何（ＣＴＳＧ）这一概念，探索边界表示向构造实体几何（ＣＳＧ）转换的新途径。     

四元数矩阵的特征值和特征向量

本文是继文献[6]～[8]的进一步研究。证明了对每一个四元数矩阵,至少存在一个右特征主值,存在一个属于它的特征向量,并给出了具体的求解方法。由此,把复数域上矩阵论的若干重要定理推广到了四元数体.     

Dirac表象理论新观

Dirac的表象理论是量子力学的数理基础。自本世纪三十年代以来一直是学习与研究量子力学的必读内容。但是该理论本身能否再发展呢?它现有的表述形式至善至美了吗?本文初步扼要地介绍如何发展该理论。     

方程(γ_μ _μ+m)M=0的通解

F.Sauter(1930)引入了方程,(-i γ_μ ~μ-e/cγ_μA~μ+imc)M=0,其中M是4×4矩阵,以代替Dirac方程,(-i γ_μ ~μ-e/cγ_μA~μ+imc)Ψ=0,其中Ψ是4×1矩阵.F.Sauter(1930),A.Eddington(194)和M.F.Ross(1986)分别给出了这个方程当A~μ=0时的一个特解.本文则借助于广义逆矩阵的理论,求出了这个方程当A~μ=0时的通解.     

可视化技术成为一种新的认知方式的哲学分析

从柏拉图、笛卡儿到胡塞尔一直都强调心灵之眼的内察,作为缸中之脑的计算机是这种传统的集中体现。通过与人的具身认知能力相对比,计算机对空间图像的识别能力遭到了德雷弗斯的身体现象学的质疑,然而,德雷弗斯所指出的人工智能的困境可由以图像为界面的人机互动来加以克服,现在的可视化技术正在人类的认知提供一种新的途径。     

基于模糊逻辑的产生式-框架的知识表示及推理的研究

知识表示是智能研究的基础,其表示方法往往直接影响到专家系统的能力和问题求解的效率,不同领域的问题通常具有不同的特点和属性,因而其知识的表示方法也不尽相同.与此同时,由于模糊知识本身的复杂性,模糊知识表示及处理技术仍然是目前热点研究课题之一.本文提出将产生式与框架结合的方法进行知识表示,并融合模糊逻辑理论进行推理.