相容连续Domain的序同态扩张

对相容Domain引入了相容定向极小集的概念,证明了相容Domain D是相容连续Domain当且仅当D中的每个元在D中存在相容定向极小集,并给出了相容连续Domain的序同态扩张定理.     

相容连续Domain的特征与浓度

引入相容连续Domain的权与稠密子集的概念,在此基础上定义相容连续Domain的特征与浓度.给出局部基的刻画,并讨论相容连续Domain的特征、浓度与相容连续Domain带上Scott拓扑或Lawson拓扑时拓扑空间的特征与浓度之间的关系.证明相容连续Domain的特征、浓度分别带上Scott拓扑时拓扑空间的特征、浓度相等,它们分别小于相容连续Domain带上Lawson拓扑时拓扑空间的特征与浓度.     

相容连续范畴

本文给出了相容定向完备范畴的概念及在此结构下的way-below关系与连续性,讨论了相容定向完备范畴上的way-below关系的一些性质,证明了在相容连续范畴中way-below关系满足强插值性质.最后给出了相容连续范畴的一个刻画定理,即相容定向完备范畴L是相容连续的当且仅当对任意的x∈obL,↓x是连续的.     

相容连续偏序集及其定向完备化

引入了相容连续偏序集及其定向完备化等概念,证明了相容连续偏的定向完备化是连续偏序集;利用主理想及Ｓｃｏｔｔ拓扑刻画了相容连续偏序集,得到相容定向完备偏序集是相容连续的当且仅当它的任一主理想是连续偏序也当且仅当它的Ｓｃｏｔｔ拓扑是一个完全分配格;考察了相容性连续偏序集的定向完备化的范畴意义,得到相容连续偏序集范畴以连续偏范畴作为为满的反射子范畴。     

相容双有限domain及相关范畴性质

将建立在dcpo上的双有限domain等概念推广到相容定向完备偏序集上,定义了相容定向完备偏序集上的逼近单位、有限分离、相容双有限domain等概念,给出了相容双有限domain的等价命题．并从范畴学的角度考察证明了以相容双有限domain为对象,Scott连续映射为态射的范畴CBF是笛卡儿闭范畴．还讨论了相容定向完备偏序集及相容代数domain上的几个性质．     

极大相容度关系模型及其属性约简

经典粗集理论以等价关系为基础,它们在处理不完备信息系统时存在一定的局限性.从扩展粗集理论的适应范围角度出发,引入信息系统对象的先验概率,结合量化相容关系的思想,提出了极大相容度关系模型,然后以该模型为基础研究了不完备信息系统的属性约简,通过严格的数学证明,提出了一种不完备信息系统的启发式属性约简算法.最后通过一个实例验证了该相容关系模型及其基于启发式的属性约简算法.     

相容关系与相容核

给定论域上的相容关系,本文提出了相容核的概念。较之于相容关系的最大相容类,相容核是一个局部化的相容类。我们还讨论了有关相容核的若干数学性质,并且给出了相容关系与其相应的相容核族之间相互唯一确定的充分必要条件。     

有限集合的相容关系与完全覆盖

非空有限集合A的完全覆盖S={A1,A2,…,An}决定了A上的相容关系R=∪ni=1(Ai×Ai).研究了R的最大相容类集合和完全覆盖S之间的关系,给出相容的完全覆盖、极大相容完全覆盖、极小相容完全覆盖和恰当完全覆盖的定义,证明了相容的完全覆盖其成员均为R的最大相容类,而极大相容完全覆盖恰为R的最大相容类的全体,并给出这几种完全覆盖之间的关系.     

拟相容半连续格

给出了拟相容半连续格的概念以及它的若干性质,讨论了拟相容半连续格的像集是拟相容半连续格的条件.     

相容半连续格

给出了相容半连续格的概念以及它的若干性质,利用相容半素极小集的方法阐述了映射的相容半连续性、保c关系和保相容半素极小集之间的联系,并得到相容半连续格的任意收缩仍是相容半连续格的结论.     

数字控制器设计方法浅析

分别采用连续域—离散化设计和直接离散域设计两种方法,设计某伺服系统的数字控制器以校正系统的性能.通过对比分析,可以得到各自的特点：连续域—离散化设计方法必须采用较小的采样周期,可以利用已积累了丰富经验的连续域设计技术;直接离散域设计避免了离散化误差,采样周期可以不必选得太小,但设计经验相对不足.     

基于自动查询扩展的专利文档检索方法

针对现有专利检索中的用户意图理解及查询扩展不足问题,提出了一种基于自动查询扩展的专利文档检索方法。首先结合专利文档特点,采用基于改进TF-IDF公式的专利领域词表提取方法,构建专利领域词表。在检索阶段,对查询输入串进行分析得到查询关键词汇,同领域词表相结合,确定查询所在领域及查询扩展难度。利用基于伪相关反馈的自动查询扩展技术,根据伪相关文档的术语分布差异分析,生成查询扩展项并排序,最后将扩展项与原始查询条件相结合,重新组成查询条件,完成专利查询。实验结果表明,该方法具有较高的召回率和平均准确率。     

利用URL-Key领域术语识别方法

首次提出利用URL-Key进行领域术语识别的方法。以URL作为媒介, 借助已知URL-Key的领域性来判断未知领域候选术语的领域性。首先, 借助互联网中已有的人工分类领域URL, 根据URL-Key在各领域汇总使用的频度, 采用基于方差的领域URL-Key识别方法, 构建领域URL-Key词表; 然后, 利用伪反馈技术, 收集候选领域词检索得到的URL结果集, 根据URL结果集构建候选领域术语的URL-Key特征向量; 最后, 利用SVM对候选领域术语进行提取。在4个领域进行实验, 都取得不错的效果。新提出的方法可以有效地解决低频术语识别问题, 为低频术语的识别提供新的思路。     

有界完全Domain及其相关性质

介绍了有界完全Domain的相关性质,用函数空间的研究方法证明了以ScottDS连续映射为态射,以有界完全Domain为对象的范畴的笛卡儿闭性;同时指出它是一个FS Domain,而FS Domain及其之间的ScottDS连续映射构成的范畴是笛卡儿闭的,从而有界完全Domain范畴BC Domain是FS Domain范畴的笛卡儿闭的满子范畴.     

连通代数domain上相容紧元及范畴的研究

基于连通集的定义,引入了c-理想的概念,得出了连通代数domain中每一个元都是相容紧元,当且仅当它的每个c-理想都是主c-理想,给出了连通代数domain满足升链条件.研究了连通完备偏序集A中的每个元是相容紧元的充要条件是A与A的c-理想格同构.最后,证明了连通代数domain范畴与偏序集范畴等价.     

前向动力方程在外区域问题的解对模型的连续依赖性

研究不适定前向动力问题中的连续依赖性,对Frandchi&Strangha等人在有界区域内连续依赖性的结论加以推广,证明了前向动力方程在外区域问题的解对模型的连续依赖性.     

连续偏序集及其Smyth幂的特征与浓度

推广连续domain的特征与浓度的概念到连续偏序集上,探讨了连续偏序集及其定向完备化和Smyth幂的特征、浓度.得到了几个关系定理:1)连续偏序集的特征(浓度)等于其上Scott拓扑的特征(浓度),但小于等于其上Lawson拓扑的特征(浓度);2)连续偏序集的浓度大于或等于它的定向完备化的浓度,而特征小于或等于它的定向完备化的特征;3)连续domain的浓度大于或等于它的Smyth幂domain的浓度.     

Scott连续自映射不动点集的性质研究

主要研究了一些连续domain上Scott连续自映射的不动点集的性质．证明了若L是双有限domain,f：L→L是一致交换映射,则Fix（f）是双有限domain;提出了连续cpo上不动点集的一个例子;并证明了若L是有界完备domain,f：L→L是稳定映射且max（L）CFix（f）,则Fix（f）是L的收缩等性质．     

一种局部与全局特征相结合的主题域识别模型

传统的主题域识别技术主要局限于单一领域，缺乏领域间的交互式协同，难以保证识别结果的准确性，因此提出一种局部与全局特征相结合的主题域识别模型.该模型一方面基于实体在领域内的局部特征进行局部识别，另一方面基于领域间协同作用、领域相关度等全局特征对各个局部识别结果进行一致化趋近，从而使识别结果更全面、有效.另外，针对相似矩阵的更新时机、协同作用的量化以及迭代终止条件的设定三个方面对主题域识别算法进行了优化.通过实验验证了本文所提出的关键技术的可行性和有效性.     

拓扑空间的计算环境

讨论了Tychonoff空间的计算环境.主要结论有：Choquet完备的弱domain，其极大点空间也是Choquet完备的；拓扑空间X是Tychonoff空间当且仅当X有一有界完备的弱环境；Tychonoff空间的Hausdorff紧化可以通过其计算环境实现.