您的位置： 专家智库 > >

姚宁

作品数：2 被引量：8H指数：1
供职机构：中国计量学院更多>>
发文基金：国家自然科学基金浙江省自然科学基金更多>>
相关领域：理学自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 1篇自动化与计算...
  • 1篇理学

主题

  • 1篇定理
  • 1篇度量空间
  • 1篇重言式
  • 1篇伪度量
  • 1篇伪度量空间
  • 1篇相似度
  • 1篇逻辑系统
  • 1篇函数
  • 1篇函数理论
  • 1篇乘积

机构

  • 2篇中国计量学院

作者

  • 2篇罗敏霞
  • 2篇姚宁

传媒

  • 1篇电子学报
  • 1篇计算机工程与...

年份

  • 2篇2011
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
乘积逻辑系统中公式的真度函数理论
2011年
基于乘积逻辑系统研究公式的真度函数理论。在乘积逻辑系统中给出真度函数的概念,得到真度函数的一系列性质,证明τ-完备性定理,说明τ-语构与τ-语义的和谐性。
罗敏霞姚宁
L~＊系统中公式的语构程度化方法被引量：8
2011年
本文从语构角度出发,给出L*系统中公式的语构真度的概念,讨论其相关的一系列性质,并进一步研究L*系统中由语构真度诱导的公式间的相似度及伪度量,证明由语构真度诱导的伪度量空间中运算的连续性,从而为在L*系统中基于语构理论展开近似推理提供可能的框架.
罗敏霞姚宁
关键词：相似度伪度量伪度量空间
全选 清除 导出
共1页<1>
聚类工具0