具有交换幂零根基的完备李代数的表示

讨论了具有可换幂零根基的完备李代数的有限维与无限维不可约表示。     

求解绝对极小拟合问题的神经网络方法

提出了一个解绝对极小拟合问题的神经网络，并证明它的全局收敛性，该网络的优点是没有选择惩罚参数的困难，稳态解对应最优解，及网络电路中不含变量间的模拟乘法器。     

地道的相对绝对论

地道的相对绝对论同时包括Ｎｅｗｔｏｎ来日方长 Ｅｉｎｓｔｅｉｎ的积极成果，承认相对一绝对一对相互依存的矛盾，本文以质量相当性为基本前提，根据量子力学导出了基础坐标底变换Ⅱ。     

Groupoid C-代数中的三角子代数的表示

研究了ｇｒｏｕｐｏｉｄＣ＊－代数中三角子代数的表示，这些表示是ｇｒｏｕｐｏｉｄＣ＊－代数的＊表示的约束，且把ｇｒｏｕｐｏｉｄＣ＊－代数中的Ｃａｒｔａｎ子代数映成Ｂ（Ｈ）中的一个ｍａｓａ中的弱稠子集．     

二值神经网络的推理和矛盾分析

由节点和约束组成的约束满足网络(Constraint satisfaction networks,简称CSNs)能够描述许多问题,在AI中具有十分重要的地位.神经网络(Neural networks,简称NNs)能够被看作CSNs,而且被认为是适合于求解约束满足问题,因此NNs中必然有一个相应的逻辑理论.本文通过对比CSNs提出了弱推理理论和矛盾分析法,以研究二值神经网络的定性逻辑行为.文中用神经元(称为判决元)表示判决,连接表示判决元之间的柔性约束并执行     

因素空间理论与知识表示的数学框架（Ⅰ）──因素空间的公理化定义与描述架

系统地研究因素空间理论及其在知识表示中的应用。介绍因素空间理论的基本思想，修改了原有的因素空间的公理化定义，提出了表达概念的基本工具－－描述架，为建立知识表示的数学框架奠定了基础。     

一种电机设计领域的知识模型

在分析电机设计特点的基础上，提出了一种电机设计领域知识模型。该模型能在同一级上描述定性与定量知识，适合于描述电机设计领域知识。该模型具有结构上的层次性和描述上的相对封闭性，可以保证知识表达的清晰、直观以及系统推理的高效率。同时，文中也给出了模型的推理与控制策略。最后，文章给出了按上述模型建立的异步电动机电磁设计中有关效率目标参数专家决策经验的知识表示实例。     

Liouvile可积发展方程族的换位表示

文中研究了由谱问题所产生的Ｌｉｏｕｖｉｌｅ可积发展方程族。通过一个改进的算子方程的算子解给出了其Ｌａｘ换位表示的结构，同时研究了一些换位表示的应用     

浮选厂自学习咨询控制专家系统知识库设计

分析了影响浮选厂生产过程各因素的因果关系．根据浮选知识的特性提出了规则／框架表示法，设计了相应的知识库．该方法能自然、完整地表示浮选过程的知识，又便于知识库的维护     

基于模糊Petri网络的分布式知识表示方法

从模糊产生式系统出发，引入模糊Ｐｅｔｒｉ络（ＦＰＮ）的定义，进而给出了模糊产生式规则的各类型的ＦＰＮ表示模型，在此基础上提出了一种基于ＦＰＮ的交互式推理方法。该方法为模糊知识的表示提供了一种有效方法。