因素空间理论与知识表示的数学框架(Ⅱ)──因素的充分性与概念的秩

系统地研究因素空间理论及其在知识表示中的应用．首先介绍因素的投影和柱体扩张；然后讨论因素在表达概念时的充分性并给出刻画因素充分性的等价条件；最后基于因素的充分性定义了概念的秩，它是表达概念的一种内在的量，在知识表示中起着基础性的作用．     

基于面向对象技术的知识表示模式

该文提出了一种基于面向对象技术的知识表示模式，采用结构对象类来表示知识单元，定义组合运算作为对象间的操作机制，并结合实例具体说明了该表示技术。     

n 维单形的两个几何不等式

利用优超理论将平面上关于三角形的彼得洛维奇不等式和达林——莫泽不等式推广到ｎ维欧氏空间中的ｎ维单形上，得到（１）１Ｎ≤∑Ｎｉ＝１ａ２ｉ（∑Ｎｉ＝１ａｉ）２≤１ｎ（２）Ｍ≤∑Ｎｉ＝１ａｉ２－ｄ∏Ｎｉ＝１ａｉＳ≤ｎＳ２式中ａｉ（ｉ＝１，２，…，Ｎ；Ｎ＝ｎ（ｎ＋１）２）为ｎ维单形∑Ａ的棱长，ｄ为任一非负实数，Ｓ＝１ｎ∑Ｎｉ＝１ａｉ，Ｍ＝ｎ２ＮＳ２－ｄＳ（ｎＳＮ）Ｎ。     

线性微分方程可积的一个充分条件

对于ｎ阶变系数线性微分方程，给出了可积的一个充分条件，并且推导出了解的具体表达式。     

关于n维单形宽度的一个结果

证明了关于ｎ维单形宽度的一个不等式，结果是Ｗ≤（ｓｉｎθ）＾１／２αｎ（１／ｎ＋１Σ↑ｎ＋１↓ｉ＝１Ｒｉ＾２）＾１／２。这一结果蕴含并推广了Ｓａｌｌｅｅ－Ａｌｅｘａｎｄｅｒ定理。     

企业诊断专家系统的实现

给出了用数据库技术实现企业诊断专家系统的方法，包括知识表示和推广理机。     

极小于子群的C—正规性对有限群结构的影响

Ｇ为有限群，本文证明了：若奇阶群Ｇ的Ｆｉｔｔｉｎｇ子群Ｆ（Ｇ）的每极小子群在Ｇ中Ｃ－正规，则Ｇ是超可解群。     

一个群论公式及其应用

一个群论公式及其应用①肖文俊（厦门大学数学研究所厦门３６１００５）在以下的讨论中，均假定Ｇ为一有限群，Ｓ为Ｇ的一个生成集，１Ｓ，Ｓ＝Ｓ－１．现设Ｌ为群Ｇ的任一子群，｜Ｇ：Ｌ｜＝ｎ，那么有如下公式定理ＡＧ＝Ｌ（１∪Ｓ）Ｓｎ－２．这一公式的证明相当简短...     

空间杆系结构稳定性的几何非线性分析

讨论了任意形状空间杆系结构由于荷载或支座位移等原因而发生大变形时的几何非线性问题，推导了平衡方程，给出了基于能量准则的稳定条件，并编制了有限元计算程序，对某实际结构发生支座沉陷时的稳定性进行了计算分析.     

产品设计知识的表示与重用技术

通过研究知识工程(KBE)技术在产品设计中的应用,根据产品设计知识的形式对其进行归类,利用面向对象的方法表达产品的总体参数、零件的独立参数、设计经验及规则,采用框架结构表示产品的结构配置树,将设计知识存储到模型库、数据库和规则库中.把编写好的KF(Knowl-edge Fusion)类加载到产品模型,并根据新设计条件和约束来驱动产品设计.最后,通过观光电梯的应用实例验证设计知识的重用.