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

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

粗集理论及其应用（三）──知识表达系统

知识表达在智能数据处理中占有十分重要的地位。本文主要讨论知识处理框架中的知识表达方法，首先介绍用数据表描述的知识表达系统及形式化定义，然后给出知识表达系统中属性的重要性概念。在文中我们还根据粗集理论讨论了决策理论中的一些基本问题和决策表简化的方法，介绍决策表的形式化定义和一些性质。     

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

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

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

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

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

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

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

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

基于案例推理的知识管理咨询系统

在分析基于案例推理技术特点和知识管理咨询系统含义的基础上,提出了基于案例推理的知识管理咨询系统架构,并分析了架构的组成,给出了基于案例推理的知识管理咨询系统的定义。研究了实现系统所采用的案例知识表示、检索、存储和案例学习等关键技术。依据提出的架构及其关键技术,企业易于实现其知识管理咨询系统,从而有效地支持知识重用和知识创新,提高知识管理的有效性,以及知识资源的共享和充分运用。     

Research on system-of-systems combat simulation model formal specification and representation

1. INTRODUCTION Weapon equipments acquisition and demonstration has become more and more prominent in the informationalized war conditions while operational effectiveness evaluation is its core part. The compl- exity and uncertainty of weapon systems operational effectiveness evaluation make traditional analysis methods or expert evaluation methods less effective to solve problems. Simulation based operational effe- ctiveness evaluation is an efficient solution. The increased complexity o…     

一种混合稀疏置零的自适应声回波对消算法

对稀疏路径的自适应声回波对消算法进行了讨论,提出一种稀疏置零归一化解相关LMS自适应滤波算法(简称SSKNDLMS).该算法综合了稀疏算法,置零算法及归一化解相关算法的优点,在增加少量计算量的情况下,其收敛速度和稳态失配比常用的LMS算法都有明显的改善.计算机仿真证实了这一结果.     

非线性常微分方程数值解的渐近表示以及应用

对于非线性常微分方程一般不存在解析解,但是通过数值方法发现,有些非线性常微分方程的振荡渐近解是有规律的.因此,可以用最小二乘法等方法对这些数值解拟合出渐近解,在此基础上,再通过理论分析得出更具体的结果,为非线性微分方程的研究提供了一种途径.为了提高计算精度、避免计算过程出现崩溃,我们引入了数值解的函数变换和自变量变换的方法,这也保证了数值结果的可靠性.本文通过对数值解的渐近表示,验证了Painlevé方程振荡渐近解的一些现有结果,并得出一些新的结果.