完备性论文

  • 组合逻辑电路和多态逻辑电路设计算法研究

    组合逻辑电路和多态逻辑电路设计算法研究

    论文摘要进化型硬件(EvolvableHardware,EHW)是能够根据外部环境变化而自动的调整自身结构,从而适应新环境的一种硬件。一方面,EHW具有自组织、自适应、自修复和...
  • 面向语义Web的描述逻辑本体构建

    面向语义Web的描述逻辑本体构建

    论文摘要本体是计算机科学和人工智能(特别是知识表示和知识推理)的一个重要研究课题,在语义Web、语义计算、搜索引擎、知识工程、软件工程、模式识别和自然语言理解等领域得到了很好的...
  • 无穷维Hamilton算子的特征值问题

    无穷维Hamilton算子的特征值问题

    论文摘要钟万勰院士将弹性力学和无穷维Hamilton算子相结合,提出了基于Hamilton系统的分离变量法,建立起弹性力学求解新(辛)体系,解决了许多实际问题.此方法的数学基础...
  • 部分四值逻辑中Sheffer函数的判定与构造

    部分四值逻辑中Sheffer函数的判定与构造

    论文摘要多值逻辑是一种逻辑取值数大于2的非经典逻辑系统。其研究内容主要包括多值逻辑理论、电路与系统和应用等三个方面。多值逻辑函数结构理论是多值逻辑理论的研究内容之一,它主要包括...
  • 基于粗糙集的约简优化计算方法研究

    基于粗糙集的约简优化计算方法研究

    论文摘要粗糙集理论是一种处理含糊和不确定性信息的新型数学工具,其理论提出以来得到迅速的发展和广泛的应用。知识约简是粗糙集理论重要研究内容之一,它的主要目的在于去除数据中的冗余信...
  • 无穷维Hamilton算子的谱与特征函数系的完备性

    无穷维Hamilton算子的谱与特征函数系的完备性

    论文摘要本学位论文以无穷维Hamilton算子特征函数系(辛正交系)的完备性为主题,围绕着无穷维Hamilton算子的谱理论以及完备不定度规空间中极大确定不变子空间的存在性问题...
  • 常型2×2 Sturm-Liouville问题的特征函数系的完备性

    常型2×2 Sturm-Liouville问题的特征函数系的完备性

    论文摘要本文研究下述2×2常微分方程的两种边值问题,其中u(x),v(x),w(x)是实连续函数。第一种边界条件如下:第二种边界条件是所谓的周期边界条件:上述方程分别和两种边界...
  • R~3中介于两平行平面之间的一个完备极小曲面

    R~3中介于两平行平面之间的一个完备极小曲面

    论文摘要R3中完备极小曲面理论是微分几何中一个非常漂亮的一个研究课题,其中一个著名的问题是Calabi在二十世纪六十年代提出的猜想:在R3的半空间中是否存在坐标函数有界的完备极...
  • 带Levy过程的BSDE以及带power-jump资产的Levy市场的完备性

    带Levy过程的BSDE以及带power-jump资产的Levy市场的完备性

    论文摘要本文主要研究了由布朗运动和与其相互独立的Teugels鞅共同驱动的倒向随机微分方程适应解的存在唯一性以及带power-jump资产的Levy市场的完备性。首先运用可料表...
  • GALILEO局域增强完备性监测网布设研究

    GALILEO局域增强完备性监测网布设研究

    论文摘要本论文系统的论述了局域增强完备性监测网布设的数据处理理论及结论。本研究工作得到了国家自然科学基金项目和山东省基础地理信息与数字化技术重点开放实验室开放基金资助项目的大力...
  • R0代数及Vague集的相似度理论

    R0代数及Vague集的相似度理论

    论文摘要长期以来,作为模糊推理的数学基础,模糊逻辑一直是人工智能界关注的热点,许多基于不同实际背景的模糊逻辑的形式演绎系统被提出,与之相对应的代数语义方面的研究也硕果累累,其中...
  • 部分多值逻辑中保三元完满对称关系函数集之最小覆盖的判定

    部分多值逻辑中保三元完满对称关系函数集之最小覆盖的判定

    论文摘要Sheffer函数的判定和构造是多值逻辑完备性理论中的一个重要问题,此问题的解决依赖于定出多值逻辑函数集中的所有准完备集,并可归结为定出所有准完备集的最小覆盖。完全多值...
  • 极小化分批排序问题的近似算法

    极小化分批排序问题的近似算法

    论文摘要排序问题一直受到国际学术界的重视,其中分批排序问题,因其明显的实际意义,更是吸引了国内外许多学者。本文主要考虑了两个单机分批排序问题。用国际上常用的三参数表示法可写为:...
  • 模糊控制中的一类自适应问题研究

    模糊控制中的一类自适应问题研究

    论文题目:模糊控制中的一类自适应问题研究论文类型:硕士论文论文专业:运筹学与控制论作者:张素芬导师:韩正忠关键词:模糊控制,遗传算法,自适应,完备性文献来源:东南大学发表年度:...