基于形式概念分析构建本体的方法研究

本体作为语义网的基础是共享概念模型的明确的形式化规范说明,用于表达数据源的语义、识别和建立概念间的语义关联等。有效地构建本体成为本体应用的关键问题,本文采用形式概念分析构造本体,并利用多值背景的转换算法对词语-文档的二元关系表进行转换导出单值背景,从而更大程度上保留关系表带有的信息。     

用Lattice Boltzmann方法计算矩形柱的绕流问题

采用二维9速度Lattice Boltzmann模型, 数值模拟流体流过矩形截面柱体的绕流问题. 在边界处, 采用二阶精度的插值边界处理方法, 计算了流动的Strouhal数及柱体受到的升力和阻力系数, 给出了流场的流线和等涡线图. 使来流方向与矩形柱的长边方向平行, 计算结果表明, 改变矩形的长/宽比, 流场的Strouhal数随长/宽比呈线性变化.     

一维双原子链晶格振动u_(2n 1)(q)≠u_(2n 1)(q (2π/2a))谬误的分析

对一维双原子链晶格振动的u2n 1(q)≠u2n 1(q 2π2a)谬误进行分析 ,给出了正确的关系式 ,进一步给出了一维三原子链晶格振动的波矢q振动模与相差一个倒格矢的振动模等同的有关关系式 .     

粗糙群的同态与同构

主要讨论粗糙集理论在代数统一群上的应用,介绍了粗糙群粗糙同态及粗糙群粗糙同构的概念,提出并证明了与此相关的性质。     

关于U-neat同态

给定一个左Ｒ－模Ｕ,引进Ｕ－ｎｅａｔ同态概念,并给出了Ｕ－ｎｅａｔ的若干等价条件,这些条件推广了Ｇｏｌａｎ的若干结果。     

环上模的Fuzzy同态

在环的Fuzzy同态基础上 ,给出了环上模的Fuzzy同态和F 子模、F 线性空间等概念 ,进而得到R 模的模糊同态基本定理及其模糊同构定理 .     

图的广义字典序积的强不可缩回性

通过对图的广义字典序积的强不可缩回性的讨论 ,得到了如下结果 :若对每个x∈V(X) ,图Yx 是非平凡的连通图 ,则X[Yx x∈V(X) ]是强不可缩回的充要条件是每个Yx 都是强不可缩回的 ;若对每个x∈V(X) ,图Yx 有两个连通分支 ,其中恰有一个分支是孤立点 ,则X[Yx x∈V(X) ]是强不可缩回的充要条件是每个Yx 及X都是强不可缩回的 .     

Hom-结合代数与Hom-余结合余代数的性质

首先简要地概述了文献中A．Makhlouf和S．D．Silvestrov引入的Hom-结合代数与Hom-余结合余代数的相关概念,接着进一步讨论了Hom-结合代数同态与Hom-余结合余代数同态之间的关系．     

L (Q)格值模型的初等子模型

将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上,对有限的线性序弱可补格,讨论了关于L(Q)模型的初等子模型的一些性质,如强升和强降L－S－T定理,初等图像在初等扩充下的保持性等。     

多单环的一种嵌入扩张方法及性质

首先给出了一种建立多单环的嵌入扩张方法,并利用该方法构造出一类多单环,然后讨论了多单环的性质,得到判别一类多单环的同态像是多单环的充要条件。