基于可拓理论的不相容问题的求解初探

传统的人工智能方法在处理矛盾问题、策略的生成方面有许多不足.如何更准确地表示知识和智能化的推理已成为当今研究的热点和难点问题.可拓学的的创立为知识表示和推理的理论研究提供一条新的途径,用可拓学思想对知识进行表示,对不相容问题进行分析,并给出了检查含圈矛盾知识的算法.     

Improved compressed sensing for high-resolution ISAR image reconstruction

For inverse synthetic aperture radar （ISAR）, an ISAR signal in the crossrange direction has the characteristic of sparsity in the azimuth frequency domain. Due to this property, a Fourier basis is adopted as a kind of sparse basis, and high crossrange resolution imaging is achieved by using the compressed sensing （CS） method. However, the Fourier expanding for signal with finite length will result in energy leaking and spectrum widening. As a result, the Fourier basis cannot obtain the optimum sparse representation for signals of unknown frequencies in most cases. In this paper, we present an improved Fourier basis for sparse representation of the ISAR signal, which is constructed by frequency shift and weighting of the Fourier basis and available to obtain the robust recovery performance via CS. Simulation results show that the improved CS method outperforms conventional CS method that uses the Fourier basis.     

基于本体的虚拟环境概念建模

由于目前常用的概念建模对于虚拟环境中物体方位、行为和交互模型等信息缺乏足够的描述方法,该文在吸取现有概念模型建模概念和技术的基础上,提出了虚拟环境概念模型建模框架,给出了虚拟场景静态结构和动态行为的概念建模方法,并通过虚拟化学实验平台的设计和实现验证了方法的可行性。通过在虚拟环境设计阶段引入概念建模阶段,使不具备专业编程知识的普通人员通过使用图形化的建模语言也能够进行虚拟环境的开发,为虚拟环境的顶层设计提供了一个科学、有效的手段。     

基于多维数据列向量2D图表示的多维筛可视化组合分类器

提出一种新型的可视化组合分类器--多维筛分类器.该分类器集成了属性数据的2D图表示、图像处理与模式识别技术.其根本思想是将数据矩阵的属性数据映射为2D多元图,然后将多元图通过像素图及图像处理技术转换为子分类器,利用组合分类器规则将各子分类器构成多维筛可视化组合分类器.通过引入交互式方法,选择最优多元图用于分类.通过对Iris数据集的分类试验表示,散点图多维筛与极坐标多维筛的分类精度可以达到98.67%和97.33%.     

基于事例推理的短期负荷预测

将人工智能中的事例推理(CBR)技术引入到电力系统短期负荷预测中，针对传统规则专家系统知识获取的“瓶颈”问题，事例推理充分利用另一种知识资源(以往预测成功的例子)来解决新的预测问题．以前的预测行为作为历史事例以一定的结构和方式存储在事例库中，对于新的预测问题，从事例库中找寻相似事例，并利用其结论，确定新问题的解决方法．实际算例表明，对于短期负荷预测问题，基于事例推理的预测系统在预测精度上优于单一的数学模型，具有较强的实用性．     

基于知识表达系统的序列比对研究

序列比对是生物信息学中基本的信息处理方法,对于发现生物序列中的功能、结构和进化信息具有重要的意义。该文对典型的双序列比对算法以及多序列比对算法进行了描述和评价;针对目前序列比对算法普遍存在的不足,提出了一种新的思想--基于知识表达系统的序列比对研究,应用知识表达系统对序列比对相似性发现进行定义及其处理。     

基于关系数据库的专家系统骨架设计

本文提出了一种基于关系数据库的专家系统骨架设计方法，采用关系模式来描述知识库，用数据库操纵语言设计推理机，为设计紧密耦合结构的专家数据库系统提供基础，能克服专家系统不能有效地利用现有的使用常规数据库技术建造起来的数据库的局限。     

p-adic典型群上轨道积分的若干性质(英文)

研究了p-adic典型群上调和分析中轨道积分的一些基本属性,证明了轨道积分中的里兹表示定理,验证了它们的不变性.     

区间值模糊集合的扩展原理

针对区间值模糊集合的分解定理和表现定理,给出了区间值模糊集合的极大、极小扩展原理,并讨论了其基本性质,进而提出了区间值模糊集合的一般扩展原理的公理化定义,给出了其相应的应用实例.     

基于知识的支持自顶向下的级进模结构设计技术

针对级进模结构设计的特点，将知识工程引入变量化装配设计，提出了基于知识支持自顶向下的级进模结构设计方法；建立了一种有效的基于SolidWorks软件开发环境的级进模结构装配模型；给出了级进模结构设计的知识表示方法、模具典型组合设计与动态装配约束等关键技术．