您的位置: 专家智库 > >

惠小静

作品数:98 被引量:226H指数:10
供职机构:延安大学数学与计算机科学学院更多>>
发文基金:国家自然科学基金陕西省自然科学基金陕西省教育厅科研计划项目更多>>
相关领域:理学文化科学自动化与计算机技术农业科学更多>>

文献类型

  • 90篇期刊文章
  • 3篇会议论文
  • 1篇学位论文

领域

  • 80篇理学
  • 5篇自动化与计算...
  • 4篇农业科学
  • 3篇文化科学
  • 2篇社会学
  • 1篇建筑科学

主题

  • 38篇真度
  • 28篇逻辑系统
  • 21篇相似度
  • 18篇命题逻辑
  • 17篇命题逻辑系统
  • 13篇度量空间
  • 13篇伪距离
  • 12篇随机真度
  • 10篇逻辑度量空间
  • 10篇公理
  • 10篇公理化
  • 10篇DEL
  • 8篇模糊推理
  • 7篇随机逻辑度量...
  • 7篇注记
  • 7篇谓词
  • 7篇计量逻辑学
  • 7篇N
  • 6篇真度理论
  • 6篇数学

机构

  • 91篇延安大学
  • 9篇陕西师范大学
  • 1篇黄淮学院

作者

  • 94篇惠小静
  • 9篇李顺琴
  • 8篇高晓莉
  • 6篇王国俊
  • 4篇高姣
  • 3篇徐世才
  • 3篇马保国
  • 2篇袁旭华
  • 2篇常健
  • 2篇郝国平
  • 1篇刘长海
  • 1篇马乐荣
  • 1篇刘兴祥
  • 1篇张根耀
  • 1篇崔志明
  • 1篇任潘龙
  • 1篇齐龙
  • 1篇李延清
  • 1篇刘军和
  • 1篇李丽

传媒

  • 18篇模糊系统与数...
  • 12篇计算机工程与...
  • 7篇延安大学学报...
  • 6篇计算机科学
  • 4篇电子学报
  • 3篇数学的实践与...
  • 3篇应用数学学报
  • 3篇湖北大学学报...
  • 3篇贵州大学学报...
  • 3篇宁夏大学学报...
  • 3篇计算机科学与...
  • 2篇安徽农业科学
  • 2篇江苏农业科学
  • 2篇好家长(创新...
  • 1篇数理天地(初...
  • 1篇西北工业大学...
  • 1篇云南师范大学...
  • 1篇系统科学与数...
  • 1篇浙江大学学报...
  • 1篇河南农业科学

年份

  • 3篇2024
  • 5篇2023
  • 7篇2022
  • 4篇2021
  • 1篇2020
  • 5篇2019
  • 8篇2018
  • 4篇2017
  • 3篇2016
  • 16篇2015
  • 3篇2014
  • 5篇2013
  • 2篇2012
  • 3篇2011
  • 1篇2010
  • 4篇2009
  • 5篇2008
  • 8篇2007
  • 4篇2006
  • 1篇2003
98 条 记 录,以下是 1-10
排序方式:
K^(*)■谓词逻辑系统公理化真度的运算性质研究
2023年
以一阶谓词逻辑中公理化真度的定义和性质为基础,对K^(*)■谓词演算系统中的公式真度进行了研究,分析了含量词、交算子和蕴涵算子的公理化真度的运算性质,给出了将复杂公式的真度转换为几个简单公式的真度进行计算的方法.
鲁星惠小静王波
关键词:真度
n值G?del命题逻辑系统中公式的条件随机真度
2015年
基于条件概率的思想,利用赋值集的随机化方法,在n值命题G(o|¨)del逻辑系统中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则.引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,证明了条件随机逻辑度量空间中二元运算的连续性.
贺锦瑞惠小静双靖宁
关于三值R_0命题逻辑系统的若干注记
2011年
在三值R0命题逻辑系统中证明了随机真度的M P、HS和交推理规则;提出了随机开放度,指出随机开放度与随机发散度是从两个不同的角度刻画了理论的相容程度,并得出对同一个理论而言,二者取值相等的结论。
惠小静
关键词:随机真度随机逻辑度量空间
K^(*)∀谓词逻辑系统中相似度及伪距离研究
2022年
从一阶逻辑系统的相似度出发,结合谓词演算系统K^(*)∀,以公理化真度为基础讨论了公式之间相似度和伪距离的运算性质,对相似度性质进行了简化,并对K^(*)∀中闭公式相似度及伪距离的计算方法和性质作进一步推广。
鲁星惠小静王波
关键词:相似度伪距离
Fuuzy数学在预测沙芥生长期菜蚜发生量中的应用被引量:1
2007年
通过对降雨量和平均气温与沙芥生长期菜蚜发生量之间的分析,运用模糊数学的方法预测沙芥生长期菜蚜的发生量。经检验,2005年预报与实际完全吻合。历史符合率达100%。
徐世才惠小静刘军和刘长海
关键词:菜蚜发生量
n值Gdel命题逻辑系统中的F度累积理论被引量:2
2013年
在n值Gdel命题逻辑系统中指出概率逻辑学基本定理成立,并提出了与真度相对应的F度,证明了F度累积定理。并比较了概率逻辑学基本定理与F度累积定理的异同。
惠小静
关键词:真度
一阶Łukasiewicz演算系统中的相似度及伪距离
2023年
在Łukasiewicz谓词演算系统中引入公理化真度,在此基础上讨论公式之间相似度和伪距离的运算性质,并举例说明将相似度与伪距离转化为公式真度进行计算的方法.
马硕惠小静郝娇
关键词:真度相似度伪距离
MTL∀谓词逻辑系统公理化真度及其相似度的性质研究
2023年
命题逻辑及谓词逻辑的计量化是近期的一个研究热点,本研究基于左连续三角模的谓词演算系统MTL∀,给出特定形式公式的真度取值范围,并研究含量词公式的相似度性质.
王波惠小静马田雨鲁星
关键词:相似度
Gdel n值命题逻辑系统中命题公式的t真度及近似推理
2016年
通过增加两类算子~和Δ对Gdel n值命题逻辑系统进行公理化扩张Gdel(~,Δ),简记为G(~,Δ)。在Gdel^(^,Δ)中提出了命题公式的t真度的定义(t任取~,Δ),讨论了t真度的MP规则、HS规则、交推理规则、并推理规则以及它的一些相关性质;得到了命题公式间的t相似度和t伪距离的概念以及它们的一些相关性质;最后在t逻辑度量空间中提出了3种不同的近似推理模式,并证明了3种近似推理模式间的等价性。
朱乃调惠小静高晓莉
n值Lukasiewicz命题逻辑系统中公式的矛盾度理论被引量:3
2015年
在n值Lukasiewicz命题逻辑系统中运用公式的矛盾度概念,讨论了公式矛盾度的部分重要性质,给出了Lukasiewicz命题逻辑系统中的矛盾度并推理规则,进而讨论了矛盾度与推理规则之间的关系.
李顺琴惠小静
关键词:计量逻辑学
共10页<12345678910>
聚类工具0