您的位置: 专家智库 > >

国家自然科学基金(10871121)

作品数:79 被引量:146H指数:7
相关作者:吴洪博赵彬王昭海韩胜伟张琼更多>>
相关机构:陕西师范大学西安文理学院安康学院更多>>
发文基金:国家自然科学基金博士科研启动基金西安市科技计划项目更多>>
相关领域:理学自动化与计算机技术更多>>

文献类型

  • 79篇中文期刊文章

领域

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

主题

  • 20篇QUANTA...
  • 18篇代数
  • 17篇模糊逻辑
  • 10篇算子
  • 10篇完备格
  • 8篇拓扑
  • 7篇映射
  • 6篇正则
  • 6篇滤子
  • 6篇逻辑代数
  • 6篇闭包
  • 5篇蕴涵算子
  • 5篇真度
  • 5篇剩余格
  • 5篇逻辑系统
  • 5篇BR
  • 4篇等价
  • 4篇正则蕴涵算子
  • 4篇模糊滤子
  • 4篇模糊推理

机构

  • 74篇陕西师范大学
  • 11篇西安文理学院
  • 6篇安康学院
  • 5篇西安邮电学院
  • 3篇榆林学院
  • 2篇商洛学院
  • 2篇汉中职业技术...
  • 1篇南阳师范学院
  • 1篇西安科技大学
  • 1篇西南大学
  • 1篇延安大学

作者

  • 39篇吴洪博
  • 15篇赵彬
  • 7篇王昭海
  • 7篇韩胜伟
  • 6篇李生刚
  • 6篇张琼
  • 5篇于鸿丽
  • 5篇潘芳芳
  • 4篇马巧云
  • 4篇汪开云
  • 4篇梁少辉
  • 3篇周异辉
  • 3篇崔艳丽
  • 3篇赵虎
  • 3篇马崛
  • 3篇郝加兴
  • 2篇乔希民
  • 2篇刘杰
  • 2篇安军龙
  • 2篇陈冬青

传媒

  • 23篇模糊系统与数...
  • 8篇陕西师范大学...
  • 7篇山东大学学报...
  • 6篇计算机工程与...
  • 5篇纺织高校基础...
  • 4篇云南师范大学...
  • 2篇数学学报(中...
  • 2篇电子学报
  • 2篇四川大学学报...
  • 2篇宁夏大学学报...
  • 2篇工程数学学报
  • 2篇科学技术与工...
  • 2篇吉林大学学报...
  • 2篇安康学院学报
  • 1篇数学的实践与...
  • 1篇江西师范大学...
  • 1篇河南科学
  • 1篇高师理科学刊
  • 1篇吉首大学学报...
  • 1篇Chines...

年份

  • 1篇2017
  • 1篇2015
  • 1篇2014
  • 3篇2013
  • 2篇2012
  • 24篇2011
  • 29篇2010
  • 18篇2009
79 条 记 录,以下是 1-10
排序方式:
Cartesian Closed Categories of F Z-domains
2013年
A subset systemZassigns to each partially ordered setPa certain collectionZ(P) of subsets. In this paper, a new kind of subset systems called directable subset systems is introduced. For a directable subset system Z, the concepts of F Z-way-below relation and F Z-domain are introduced. The well-known Scott topology is naturally generalized to the Z-level and the resulting topology is calledF Z-Scott topology, and the continuous functions with respect to this topology are characterized by preserving the suprema of directed Z-sets. Then, we mainly consider a generalization of the cartesian closedness of the categories DCPO of directed complete posets, BF of bifinite domains and FS ofF Sdomains to the Z-level. Corresponding to them, it is proved that, for a suitable subset system Z, the categories FZCPO ofZ-complete posets,FSFZ of finitely separated FZ-domains andBFFZ of bifiniteF Z-domains are all cartesian closed. Some examples of these categories are given.
Min LIUBin ZHAO
关键词:SCOTT拓扑子集系统完备集笛卡儿
Ln^*系统中理论的相对发散度和相对相容度被引量:3
2011年
利用公式的ΣΓ-真度(文中称为相对真度)理论,在模糊命题逻辑系统Ln*中提出了任意理论Γ相对于特定理论Γ0的相对发散度和ηΓ0-相容度概念。对于有限理论,给出了其相对于特定理论Γ0的δΓ0-相容度概念,并对两种相容度的性质作了初步探究,揭示了二者之间的内在联系。同时给出任意理论Γ相对于特定理论Γ0的相容、不相容及完全相容的定义及其等价刻画。
崔艳丽吴洪博
The Connectedness of Quantales
2009年
connectedness 并且局部地的概念 connectedness 为右边的幂等 quantales 被介绍。连接 quantale 的一些性质被学习,然后连接 quantale 的相等的描述也被给。
WANG Shun-qinZHAO Bin
关键词:QUANTALE幂等
Quantale上的基被引量:4
2010年
研究了子Quantale的性质及其具体结构,给出了Quantale上稠密子集和基的概念,讨论了稠密子集和基之间的关系以及稠密子集和基的性质。
韩胜伟潘芳芳
关键词:完备格QUANTALE稠密子集
£~*-Lindenbaum代数中的商理想
2010年
利用F(S)中运算的定义给出了F(S)关于逻辑等价(可证等价)~所得的商代数F(S)/~中的运算,在F(S)/~中定义了商理想,讨论了商理想的性质,得到了F(S)/~中的商理想都有形如<┐D(Γ)>的形式.
马巧云吴洪博
对偶Quantale上的Par运算及其性质被引量:3
2009年
在对偶Quantale上定义了Par运算凵,并研究了其性质。给出了单位Quantale是对偶Quantale的充要条件,在此基础上得出对偶Quantale的等价刻画。证明了在一定条件下对偶Quantale的子Quantale亦是对偶Quantale。
马崛赵彬
关键词:QUANTALE
强FS-Poset若干性质的研究被引量:1
2009年
本文给出强FS-Poset的定义,讨论强FS-Poset的一些性质,证明强FS-Poset不但是连续的,而且是Scott紧的。在强FS-Poset的基础上,给出了强FS-Lattice的概念,探讨强FS-Lattice的若干性质,用函数空间刻划了强FS-Lattice,得到了连续格是强FS-Lattice的充要条件。
梁少辉赵彬
关键词:连续格
QBL-代数及其与BL-代数的等价性被引量:6
2011年
根据命题逻辑系统BL与基础逻辑代数BL在语义方面相匹配的特征,将基础逻辑系统BL中的部分公理代数化,建立一种新的代数结构QBL-代数,并证明了QBL-代数与BL-代数的等价性,以两种二元运算,→为基础在一般集合上给出了基础逻辑代数BL的表示定理.
高李红吴洪博
关键词:模糊逻辑BL-代数剩余格
Quantale代数及其代数理想被引量:4
2010年
给出Quantale代数的概念,得到了单位Quantale是Quantale代数的充要条件,讨论了理想与代数理想的关系,找到了理想不是代数理想的具体例子以及理想是代数理想的充分条件。
王蕊赵彬
关键词:QUANTALE子模
WZ-Domain与WZ-Scott拓扑被引量:3
2010年
引入WZ-双小于关系,以此为基础给出WZ-Domain的概念,讨论它的基本性质,证明当子集系统Z满足一定条件时,WZ-Domain上的WZ-双小于关系具有插入性。其次,在Z-完备偏序集上定义WZ-Scott拓扑,证明在一定条件下一个映射关于该拓扑是连续映射当且仅当该映射保定向的Z集之并。最后对WZ-Domain上的WZ-Scott拓扑的性质进行研究,证明对一类子集系统,WZ-Scott拓扑空间是Sober空间当且仅当该拓扑空间具有Rudin性质。
刘敏赵彬
关键词:子集系统
共8页<12345678>
聚类工具0