铁路信号域形式化方法研究

铁路信号系统作为安全关键系统。它的失效可能带来灾难性的后果或重大经济损失，因此，安全关键系统的软件开发对可靠性和安全性的要求非常苛刻，而需求分析及描述是软件生命周期的一个重要环节，它所确立的系统逻辑模型是设计和实现目标系统的基础，提出了一种适合于计算机处理的铁路信号域知识的形式化表达方法，希望代替以往继电器接点电路表示的逻辑关系处理方式。     

注塑模模架设计KBE系统及其智能关键技术

结合当前工程设计领域 KBE技术的发展和模架设计的数据流图 ,给出了注塑模模架设计KBE系统的基本框架 ,并对其关键技术进行了分析 :模架设计知识采用框架 -规则的方法表示 ,并给出了推理的流程图 ,通过面向子目标的方法提高了 KBE系统的知识表示和推理能力 ;将事例推理的方法结合在 KBE系统中 ,提高了系统对以往成功事例的参考能力 ;利用神经网络的自学习能力 ,解决了模架中镶块和前后模设计的计算问题 .通过实际的应用 ,该系统能够有效地提高模具企业的模具设计和分析能力     

基于VC和VIP的面向对象知识表示

知识表示是人工智能研究的基本问题之一。通过在 Visual C+ +的类中引入Visual Prolog的推理机制提出了一种基于 VC和 VIP的面向对象知识表示方法 ,完善了 Visual C+ +对象的推理功能 ,进一步增强了面向对象的知识表示能力以及 VisualProlog的接口和计算能力 ,并通过实验验证了方法的性能     

C6H6高频谱的代数方法计算

利用lachello-Oss的代数模型描述了振子数高达10的C6H6分子和C6D6分子C－H拉伸键的能谱达到了很好的精度，并在对称玻色表象里计算了分子的哈密顿量。     

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

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

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

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

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

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

几何造型中的裁剪曲面

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

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

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

Dirac表象理论新观

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