有机物同分异构体生成算法及其实现

介绍一种自动生成有机物同分异构体的算法，提出了一种可以惟一表示有机物分子结构的表示方法有效解决了如何对两个有机分子进行比较的问题．     

一种基于TAN的文本分类方法

提出了一种基于TAN模型的文本分类方法，朴素贝叶斯分类器是当前流行的一种文本分类算法，但是它的属性独立性假设使其无法表达文本词语之间的依赖关系，TAN（Tree Augmented Naive Bayes）是综合了朴素贝叶斯的简易性以及贝叶斯网表示依赖关系的能力，其分类性能可与当前流行的一些分类器相竞争，介绍了TAN模型，将其引入到文本分类中，并用实验比较了朴素贝叶斯和TAN，实验结果表明：该方法具有较好的分类性能。     

论可裂G2的基本态

设G为连通线性单Lie群,Knapp和Speh在文献[1]中指出,若P=MAN为G的一尖抛物子群,则唯一存在M的基本态,并讨论了基本态和G的酉表示之间的关系.除了G为     

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

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

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

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

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

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

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

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

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

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

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

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

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

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