您的位置: 专家智库 > >

国家自然科学基金(61103133)

作品数:8 被引量:9H指数:2
相关作者:折延宏王伟杨廉李婷石召更多>>
相关机构:西安石油大学西南交通大学西安航空学院更多>>
发文基金:国家自然科学基金陕西省自然科学基金博士科研启动基金更多>>
相关领域:理学自动化与计算机技术电子电信建筑科学更多>>

文献类型

  • 7篇中文期刊文章

领域

  • 3篇自动化与计算...
  • 3篇理学
  • 1篇电子电信

主题

  • 3篇代数
  • 3篇滤子
  • 3篇NORMAL
  • 3篇FANTAS...
  • 2篇刻画
  • 2篇BL-代数
  • 2篇粗糙逻辑
  • 1篇度量空间
  • 1篇移动机器人
  • 1篇摄像机
  • 1篇摄像机标定
  • 1篇视觉信息
  • 1篇图像
  • 1篇图像分割
  • 1篇拓扑
  • 1篇相容性
  • 1篇机器人
  • 1篇公理
  • 1篇公理化
  • 1篇公理化方法

机构

  • 6篇西安石油大学
  • 3篇西南交通大学
  • 1篇西北大学
  • 1篇西安航空学院

作者

  • 3篇折延宏
  • 2篇贺晓丽
  • 2篇石召
  • 2篇李婷
  • 2篇杨廉
  • 2篇王伟
  • 1篇李毅君
  • 1篇陈北莉
  • 1篇童丹
  • 1篇程晓燕
  • 1篇王伟
  • 1篇王伟

传媒

  • 2篇计算机工程与...
  • 1篇内蒙古师范大...
  • 1篇纯粹数学与应...
  • 1篇西安航空技术...
  • 1篇西安石油大学...
  • 1篇电子设计工程

年份

  • 2篇2015
  • 1篇2013
  • 4篇2012
8 条 记 录,以下是 1-7
排序方式:
基于Galois联络的粗糙集公理化方法
2012年
Galois联络与粗糙集是两个不同的研究分支,本文基于Galois联络,给出经典粗糙集的公理化刻画.提出了两组与Galois联络密切相关的公理GC与GC',用这两组公理刻画了经典粗糙近似算子.证明了满足公理GC或GC'的论域幂集上的一元算子总对应于某一经典二元关系,使得由二元关系诱导的粗糙近似算子就是该一元算子.
折延宏
BL代数的fantastic滤子和normal滤子被引量:1
2012年
滤子是研究逻辑代数的有效工具.本文研究了BL代数的fantastic和normal滤子的等价条件,得到了在MV-代数中两种滤子之间的等价性,给出了两个公开问题:"在什么样的合适条件下,一个normal滤子成为一个fantastic滤子?"和"在什么合适的条件下,normal滤子的拓展性成立?"结论成立的一种条件.
王伟杨廉杨廉石召
关键词:BL代数MV代数
粗糙逻辑中理论相容性的拓扑刻画
2015年
有关文献将计量化方法应用于粗糙逻辑之中,建立起了用以处理近似推理问题的粗糙逻辑度量空间理论。拟借助于粗糙逻辑度量空间理论,从拓扑学的角度给出粗糙逻辑理论相容性的等价刻画。
贺晓丽折延宏
关键词:相容性
粗糙逻辑的计量化研究被引量:1
2012年
将计量化方法引入到粗糙逻辑的研究当中,在一种典型的粗糙逻辑LR中引入了公式的粗糙真度概念。在此基础上,提出了公式之间的粗糙相似度、粗糙伪距离等概念,得到了粗糙逻辑度量空间。在粗糙度量空间中提出了两种不同的粗糙近似推理模式。这一结果实现了粗糙集与计量逻辑学这两种不同的处理近似问题理论的融合,同时对进一步丰富基于粗糙集的近似推理有一定启示。
折延宏贺晓丽
关键词:粗糙逻辑
BL-代数的obstinate滤子和ultra滤子被引量:2
2013年
针对一个公开问题:BL-代数中"一个normal滤子在什么合适条件下成为fantastic滤子?",通过研究BL-代数的fantastic滤子的等价条件,给出公开问题结论成立的两种条件.
王伟李毅君李毅君童丹
关键词:BL-代数
关于BL-代数的implicative滤子的一些结果
2012年
通过研究BL-代数的implicative滤子的等价条件,得到了normal滤子与implicative滤子之间的关系,并给出了两个公开问题"一个normal滤子在什么合适条件下成为fantastic滤子?"和"在什么合适的条件下,normal滤子的拓展性成立?"结论成立的一种条件。
王伟王伟杨廉李婷
关键词:BL-代数
基于视觉信息的移动机器人控制系统设计被引量:3
2015年
机器人的视觉相当于机器人的眼睛,机器人视觉系统是当下研究热点。本文主要研究基于视觉信息的机器人系统,通过对获得的图像信息的处理来实现对机器人的控制。详细讨论了摄像机标定、图像处理等方面的设计,实现了对机器人控制系统的设计。
陈北莉
关键词:视觉信息摄像机标定图像分割
共1页<1>
聚类工具0