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

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

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

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

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

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

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

通过研究知识工程(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…     

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

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

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

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

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

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

关于一类三角级数的一个渐近和

本文在文[1]基础上讨论付立叶系数满足。Σ^∞k=m|Ck-Ck 1|≤M(C)|Cm|的三角级数f(x)=Σ^∞n=0Cne^inr的渐近和。     

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

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