基于多融合模型的图像语义描述研究

图像语义描述可以自动生成图像的自然语言描述,对场景理解具有重要意义。本文主要针对图像语义描述的特征学习和语义学习等进行改进,提出一种新的多融合模型。实验结果表明,本文提出的模型有较好的描述效果,但模型在训练时时间过长,有待改进。     

模糊逻辑不等式解的讨论

首次在代数([0,1], ,·,-)上提出了“β”算子,研究了“β”算子与“α”算子、“δ”算子之间的关系,得到了判别一般的模糊逻辑不等式解的存在性的充要条件;给出了在有解的条件下求所有解的一个可行方法。     

直觉模糊时态逻辑算子及其性质

将always，sometime，until，unless等时态算子引入到直觉模糊逻辑中，提出了直觉模糊时态逻辑系统，并研究了该系统中时态算子的一些性质．     

扰动模糊逻辑中的连续算子

本文提出了扰动模糊命题逻辑的概念,定义了扰动模糊命题的运算,然后将一维模糊逻辑算子推广到二维的扰动模糊逻辑算子中去,提出了扰动模糊连续算子,同时对这些逻辑算子的性质做了较为系统的研究,从而使模糊逻辑的概念及性质得到进一步的推广。     

模糊逻辑函数中文字的可消性质（Ⅰ）

设Ｆａｙｐ’ａ１ｐ１＋…＋ａｍｐｍ是非冗余析取范式，文字ｙ可消等价于文字ｙ在Ｆ‘＝ａｙｐ’＋ａ１ｐ１…ａｔｐｔ中要消，这里α≤ｍｉｎ｛ａ１，…，ａｔ｝，ｐ１，…，ｐｔ不含文字ｙ。     

描述逻辑ALC基于RBox的推理

针对RBox表达能力受限于简单角色的问题,研究了在角色包含公式中允许出现一类由合取和析取构造子连接的复杂角色,并且TBox和ABox均为空集的情况下ALC概念的可满足性问题,设计了可满足性检测表算法,分析了算法的终止性,证明了可靠性和完备性,最后讨论了复杂度.理论分析表明,此时ALC概念的可满足性问题是可判定的,并且复杂度为ExpTime.     

电子电路故障诊断的模糊Petri网模型

提出了一种适用于电子电路故障诊断系统的模糊Petri网模型,用模糊Petri网表示故障诊断的模糊知识与推理机。     

基于PVS的时序逻辑语义模型及其实现

时序逻辑作为一种规格说明语言,能够很好地描述程序性质.为了能够利用现有的定理证明器PVS(prototype verification system)对用时序逻辑公式描述的程序性质予以证明,从而达到程序验证的目的.文中在PVS中建立了时序逻辑的语义模型,同时给出了其语义解释.然后通过一个简单的例子(求解整数平方根的程序),应用时序逻辑公式对该程序的部分性质进行了描述,取得了较好的效果.实现了程序性质的时序逻辑公式表示,为使用PVS验证程序的性质打下了一个好的基础.     

基于区域包含的语义距离构造及其在模糊数据库中的应用

提出了在模糊数据自身自然语义表示基础上，利用数据间语义范围相互包含关系得到的一种语义距离计算方法．将此方法引入模糊关系运算符的定义，并应用于模糊数据数据库语言FSQL的多种操作命令中．     

半导体致冷堆双向调节恒温模糊逻辑控制器的实现

介绍一种温度控制器，它在微控制器８０３１硬件上采用模糊逻辑控制算法与传统ＰＩ算法相结合的软件对半导体致冷堆实现控制，并已成功地应用于微波移相器和衰减器的恒温控制中，在环境温度为－１０－４０℃范围内，温度设定值在１５℃时，其控温精度为±０．２℃。     

基于语义网格的高校信息资源共享探索

该文针对如何消除各高校之间的“信息孤岛”问题进行研究，并构造了一个语义网格模型，利用本体整合分布式异构数据库资源的机制，理论上能有效地解决这一问题．     

一种新的模糊数排序方法及其在模糊线性规划问题中的应用

讨论了一类在约束条件中系数为模糊数的模糊线性规划问题.由于系数是模糊数,必须考虑模数的排序。给出一种新的排序方法,基于各种不同的排序方法,模糊线性规划问题得到了解决.     

模糊值函数级数的绝对一致收敛性

基于模糊值函数的研究,利用模糊数的度量以及模糊数的绝对值概念,讨论了模糊值函数级数绝对一致收敛性,给出了模糊值函数级数绝对一致收敛性的一个充要条件和几个推论。     

改进的高精度单本体概念相似度计算模型

概念相似度评估广泛应用于概念分类、概念聚合、概念合并等工作中.以往面向单本体概念相似度计算模型的工作虽然集中在概念特征匹配和语义分析之上,但考虑的要素单一或考虑要素的内容不全,所以计算结果精度不高,不利于概念关系的深层挖掘.该文完善概念的共性匹配,把概念间同时不具备的特征作为共性的一部分,并对概念格中不同层次的语义特征进行加权,从而提出一种具有高精度的面向单本体的概念相似度计算模型.实验数据表明该模型具有较高的精度.     

基于MDA的模糊本体生成方法

该文提出一种基于MDA的模糊本体生成方法。该方法将本体定义元模型ODM扩展为模糊本体定义元模型FODM,采用元对象设施MOF定义模糊本体建模语言FOML,并分别建立FODM与FOML及FOML与模糊本体描述语言FOWL之间的映射。这样在可视化的FOML的环境中创建模糊本体模型,根据FOML与FOWL之间的映射可以直接生成对应的OWL本体文档。该方法可以提高模糊本体创建效率。     

网页结构树相似度计算

提出了一种针对网页结构树的相似度计算方法,首先把网页标签结构表示成树,然后通过动态规划算法,使两棵树在每一层上最相似的儿子节点继续进行比较,而那些没有找到匹配节点的儿子节点则产生距离,累加这些距离作为两棵树之间的距离,以此来衡量两个网页之间的相似程度。实验证明本方法可以正确区分同类网页和不同类网页。     

关于Vague集的新模糊熵

Vague集是fuzzy集的推广,但是与fuzzy集不同的是,它同时提供支持和反对的证据.因此,Vague集的模糊熵应该既有Vague集的未知性又有fuzzy集的不确定性.提出了一个考虑未知性和不确定性因素的Vague集模糊熵的公理化定义,给出一种新的Vague集模糊熵计算公式,得到了新的Vague熵一些良好的数学性质.通过定理证明和实例分析,表明新公式的定义是合理的.     

模糊数空间中的收敛关系

研究模糊数序列{un}关于上确界度量,Skorohod度量,Lp型度量(1≤p∞)的收敛与水平收敛之间的关系。证明了:如果模糊数序列{un}的极限u是连续模糊数,那么模糊数序列{un}关于上述的四种收敛是等价的。     

剖析三种非经典逻辑的思想来源与特征

论述了概率逻辑,模糊逻辑和不确定逻辑的思想来源;揭示了它们的思想本质特性;比较分析了它们的长处和不足.     

一类重复模糊n人合作对策的Shapley值

以模糊结盟为工具,建立了重复模糊合作对策理论,把带加权函数的模糊n人合作对策的Shapley值推广到重复模糊n人合作对策中,并提出了模糊支柱序列的定义以及Shapley值在重复模糊合作对策下应满足的三条公理的概念,进而给出重复模糊n人合作对策下的Shapley值的计算公式及证明,最后给出一个例子予以应用。