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

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

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

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

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

通过研究知识工程(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,λ)ψ出发,通过直接计算,得到了两族非线性演化方程的零曲率表示。这种方法方便有效且对于其它非线性演化方程同样适用。     

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

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

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

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

减少多普勒信号时频分布斑点的研究

 商用多普勒分析仪应用短时傅立叶变换(STFT)对多普勒信号进行分析,其所得出的信号时频分布图上存在较多的多普勒斑点;为了减少或抑制这些多普勒斑点,得出较精确的医用参数或指标,讨论了一种基于维纳辛钦定理加窗函数对多普勒信号进行分析的新方法,并将分析结果与STFT法做了对比;最终,我们发现应用这种新方法能有效地减少多普勒斑点,得到更光滑精确的信号时频分布图.