算子模糊逻辑定量模型的局限性

在定量的意义下讨论了算子模糊逻辑的语义解释方法,证明了多项式意义下模糊算子运算定义方法的唯一性,并以此为基础重新修正和改进了已有的算子模糊逻辑定量模型及其归结方法。     

一个模态非单调逻辑

基于一种关于典型与例外的经验模态语义提出一个模态非单调逻辑，给出了它的语义和语形，证明其它全性定理以及它与主要非单调逻辑的关系定理。它直接地形式化非单调推理的直观意义，提供了一种缺省逻辑和自知逻辑的一阶扩展形式，同时具有限制逻辑停顿同称句子的能力，而且在逻辑程序与演绎数据库中有重要应用。     

开放逻辑及其与限制逻辑的关系

基于模型论定义开放逻辑作为一种进程非单调逻辑,给出一些开放逻辑的新概念和结果,研究了逻辑与限制逻辑之间的相互关系,并由此指出开放逻辑和其他主要非单调逻辑的关系问题。     

语义Web的逻辑基础

分析了目前语义Web理论的研究现状和存在的问题, 分析了用传统描述逻辑作为语义Web逻辑基础的不充分性, 根据语义Web的特点和需求, 提出了一种新的动态描述逻辑DDL, 该DDL将静态知识和动态知识表示与推理有机地整合在一起. 特别的是, 给出了具体的动作描述方法, 并按照传统描述逻辑的语义解释方法给出了动作的语义解释, 从而该DDL形成了一种能同时处理静态知识和动态知识的统一的形式化逻辑框架. 该DDL具有清晰的语义特征, 既提供了可判定的推理服务, 又能有效地对静态知识、动态过程和运行机制进行表示和推理(动作的可实现性和动作之间的包含关系), 因此, 提出的动态描述逻辑DDL可以为语义Web提供合理的逻辑基础, 弥补了传统描述逻辑作为语义Web逻辑基础的不足.     

析取逻辑及析取逻辑程序的语义研究

在用不完全知识进行常识推理时，常用缺省方式推导结论，然而当缺省否定算子ｎｏｔ被定义成ｎｏｔ ｐｒｏｖｂｌｅ（不可证）时，析取逻辑程序（ａＶｂ，ｎｏｔ ａ，ｎｏｔ ｂ）应该是一致的，因为ａ不可证且ｂ不可证并不意味ａＶｂ不可证，虽然这是一个很重要的事实，但现有主要的析取逻辑程序语义理论却不能支持它。其主要原因是这些理论都基于传统的一阶谓词逻辑，其中否定ａ且否定ｂ将导致否定ａＶｂ，现提出一种支持上述事实     

基于析取逻辑程序设计的诱导推理

利用辨论推理模式,将负文字的析取式作为诱导推理的假设,建立了析取逻辑程序设计的一种诱导语义框架ＤＡＳ。它不仅是实现辩论推理（诱导）的一种简单直观语义而且为析取程序的语义了一个统一的框架。特别地,证明了著名的良基语义和ＥＧＣＷＡ等都可以嵌入ＤＡＳ。     

基于隶属度比较的描述逻辑SHOIQ模糊扩展

语义Web模糊知识的表示和应用经常需要涉及多个模糊隶属度值及其比较的复杂模糊知识描述,但现有的描述逻辑模糊扩展缺乏描述和使用这类复杂模糊知识的能力.文中提出新的描述逻辑SHOIQ模糊扩展SHOIQFC语言.SHOIQFC不仅具有模糊描述逻辑FSHOIQ的全部表达能力,还支持涉及多隶属度值及其比较的复杂模糊知识的表示与推理,拓展了描述逻辑模糊扩展的应用范围.证明了SHOIQFC知识库一致性问题的可判定性并给出Tableau推理算法,为实现语义Web复杂模糊知识的表示与推理提供理论基础.     

基于动态语义服务描述的服务匹配的研究

本文将动态描述逻辑与语义服务描述语言相结合,提出了一种动态语义描述方法来描述Web服务,并在经典服务匹配基础上进行改进,完善了服务匹配的类型,提高了Web服务的查全率与查准率。     

基于模糊相关的彩色图像检索

报道了一种基于彩色直方图模糊相关的彩色图像检索方法. 应用模糊集理论中的α-级关系来定义彩色直方图的匹配色彩峰, 从而得出色彩峰的高度匹配关系, 通过综合所有色彩峰的高度匹配得出彩色直方图的相关值. 实验证明该方法可以有效地提高检索效率. 其中, 通过改进色彩矢量分区比较的实验方法, 把整个RGB色彩空间分为六个子区, 减小了色彩漏判的可能性.     

基于完备剩余格值逻辑的自动机理论

建立了基于完备剩余格值逻辑的自动机理论的基本框架. 首先延拓状态转移关系, 特别是得到了模糊(l值)自动机对剩余格的一个刻画; 然后讨论了模糊(l值)子机, successor和source算子的基本性质及它们相互的等价关系, 并由此推出这两类算子是模糊(l值)闭包算子; 最后给出了模糊自动机的L双模糊拓扑刻画, 从而建立了较为宽泛的模糊自动机理论.     

基于知识点本体的语义扩展研究

传统的基于关键字的信息检索不能很好地检索到相关的资源.通过分析教学领域知识点本体的语义相关性特点,提出了一种基于知识点本体的语义扩展算法.该算法通过将概念间关系进行分离,利用概念层次结构和关联关系并考虑多种影响因素分别计算语义相似度和相关度,进而综合量化成语义关联度进行语义扩展检索.实验表明,本文所提出的语义扩展算法能够有效地提高查全率、查准率,取得较好的检索效果.     

基于完备剩余格值逻辑的自动机理论

揭示了基于完备剩余格值逻辑的自动机(称l值自动机)与真值格(剩余格)之间的一些等价关系. 特别是建立了l值自动机的可恢复性(retrievability)的各种等价刻画. 最后澄清了l自动机之间的同态关系与连续映射和开映射之间的相互联系. 因此, 进一步建立了更为深刻的模糊自动机理论.     

基于完备剩余格值逻辑的自动机理论——Ⅰ.拓扑刻画

建立了基于完备剩余格值逻辑的自动机理论的基本框架.首先延拓状态转移关系,特别是得到了模糊(l值)自动机对剩余格的一个刻画;然后讨论了模糊(l值)子机,successor和source算子的基本性质及它们相互的等价关系,并由此推出这两类算子是模糊(l值)闭包算子;最后给出了模糊自动机的L双模糊拓扑刻画,从而建立了较为宽泛的模糊自动机理论.     

基于四元数表达的模糊矢量形态学算子

由于经典的形态学算子不能直接拓展到彩色图像处理中,提出一类基于四元数表达的模糊矢量形态学算子.该算子利用四元数表达彩色图像并结合其分解特性,将彩色图像的模值、四元数的垂直分量和角度信息作为词典编纂顺序的3个边缘分量.3个分量一方面去除了彩色图像多通道数据的相关性,另一方面更便于词典编纂顺序等级的划分.并利用模糊数学解决了现有词典编纂顺序存在的等级判定难以深层进入的问题,给出了基于四元数表达的模糊矢量排序算法.与现有的矢量排序算法相比,新的矢量排序算法同时考虑了各分量的作用,并将判定进行到词典编纂顺序的最后一层,实现了矢量的正确排序.基于新的矢量排序规则,定义了矢量形态学算子,并将新的矢量形态学算子应用于彩色图像滤波、分割中.实验结果表明,与现有的矢量形态学算子相比,新的矢量形态学算子在平滑彩色图像噪声的同时保留了图像细节,并能正确地分割多类彩色图像,具有较高的鲁棒性及实用性.     

基于完备剩余格值逻辑的自动机理论——Ⅱ.可逆性及同态

揭示了基于完备剩余格值逻辑的自动机(称值自动机)与真值格(剩余格)之间的一些等价关系.特别是建立了值自动机的可恢复性(retrievability)的各种等价刻画.最后澄清了自动机之间的同态关系与连续映射和开映射之间的相互联系.因此,进一步建立了更为深刻的模糊自动机理论.     

基于潜在语义索引的超链接分析模型

为了更合理的排名Web文档本文提出了一个新的链接分析模型。该模型结合了基于马尔科夫链的链接分析技术和基于潜在语义索引以及文档聚类分析的内容分析技术,能很好的适应新增Web页面,并且能用来解决基于链接和基于内容的搜索引擎作弊以及上下文搜索和主题相关搜索问题。     

基于能量算子的单信道重叠信号盲分离方法

针对单个信道的多个时、频重叠信号分量的分离问题,提出一种能量分离方法对各个信号分量进行瞬时频率和幅度估计,从而进行多个信号分量的分离。基于能量算子的计算简单,以及很好的时域分辨率的特点,该方法可用于实时处理和实际工程应用。仿真结果验证了该算法的有效性。     

基于区块位置与加权视觉语义映射的语义图像检索

提出了一种新的图像语义映射方法WVS—RSSVM,采用自适应的NCut分割方法自动发现并图像中的区域,提取出每个区域包含了位置信息的特征,达到消除一定歧义的目的。并将这些区域采用加权的方式映射为视觉语义空间中的一个点,然后通过SVM分类的方法进行语义学习,实现对图像的语义标注。并且以SVM分类时点到边界的距离作为该点属于某个语义的隶属度,实现检索的排序。实验结果表明,该方法对表达图像的主要语义以及发现有歧义的区块代表的语义,有很好的效果。     

ABS模糊自适应控制器的设计与仿真研究

基于最佳滑移率的ABS自适应控制器要解决的问题有：在制动过程中,滑移率被稳定的控制在目标滑移率附近;自动识别道路附着状况,调整目标滑移率值以达到利用最大道路附着系数的自适应效果.本文在建立车辆单轮防抱死仿真系统的基础上,使用模糊控制,设计了一个基于最佳滑移率的复合式模糊自适应控制器。经ABS系统仿真实验表明,该控制器的控制稳定性、鲁棒性和自适应性均取得了良好的效果。     

基于逻辑函数的量子纠错码构造

本文给出了利用逻辑函数构造p-态量子码的一种方法.利用文中的构造方法,对于任意APC距离d′≥2的逻辑函数,均能构造参数为((n,K,d))p的量子纠错码.对任意的2≤d≤d′,得到K的一个下界.进一步地,文中给出了构造的量子纠错码的一组基态,以及利用此方法能够构造达到量子Singleton界的量子码的充分条件.给出了[[1,3]]_p,其中p是素数,[[6,0,4]],[[6,2,3]]_p,其中p>2是素数和[[2n,2n-2,2]]作为利用此方法构造的例子.