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

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

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

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

企业诊断专家系统的实现

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

稀疏线性方程组求解的逐次超松弛迭代法

针对稀疏线性方程组求解问题，在论述迭代法离散化处理基础上，以二维热传导方程为例，导出了热传导方程离散化后线性方程组，用超松弛（SOR）迭代法对产生的稀疏线性方程组进行迭代法求解，并分析了收敛性和收敛速度，将超松弛迭代算法在计算机上实现，得出了一组与精确解较接近的数值解，验证了逐次超松弛（SOR）迭代法的精确性。     

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

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

空间群Fm3m

利用陈氏本征函数法计算了空间群链Fm3m(∪)Fm3(∪)F23的母分系数.C-G(克莱布施-高登)系数是群不可约表示基组成高阶不可约表示基底的变换系数,而母分系数是由两个子群链不可约表示基底组成大群不可约表示基的变换系数.最后的计算结果表明,用陈金全教授的本征函数法所求得的母分系数确实满足正交归一性,从而证明了本征函数法对于求母分系数同样适用 .     

具有适应能力的Web课件设计与关键技术

传统的基于网络的CAI系统由于缺乏推理机制和学生模型的支持,不能根据学生的知识水平、认知特点和理解能力提供适合该生的学习材料并作出有针对性的指导.介绍了一种基于Web的具有适应能力的课件模型,它综合利用人工智能技术、多媒体技术、数据库技术和网络技术所设计的课件,能让学生根据各自的学习情况动态组织教学内容,为学生提供个性化的服务.讨论了实现过程中的关键技术.     

非线性演化方程族的零曲率表示

利用泛函梯度,从一般的谱问题ψx=U(u,λ)ψ出发,通过直接计算,得到了两族非线性演化方程的零曲率表示。这种方法方便有效且对于其它非线性演化方程同样适用。     

n次积分C-半群的表示定理

利用指数有界的n次积分C-半群的基本性质，用两种不同的方法证明了它的指数公式。     

智能桌面元搜索引擎中个性化研究

随着WWW信息量的急剧膨胀,当前的搜索引擎已经不能够很好的满足人们信息搜索的需求,元搜索引擎作为下一代功能更强大、更具智能的方案而成为当前的研究热点.本文针对桌面搜索引擎易于获得单个用户个性化信息的特点,提出了个性化桌面元搜索引擎的解决方案,从它的体系结构到局部的技术难点都作了详细描述,同时最后给出总结和展望.