论文部分内容阅读
首先论证了区间集上Ro-代数的一组有趣特征性质及任意元与其相应的补的最小蕴涵关系式。其次，在引入两个新的运算算子的基础上，进一步讨论了区间集上Ro-代数的又一组基本特征性质。最后，运用公理化思想方法简化了区间集上Ro-代数表示形式的公理条数，以彰显其公理系统的相对独立性。
区间集RO代数的特征性质及其简化表示定理
【摘 要】
：
首先论证了区间集上Ro-代数的一组有趣特征性质及任意元与其相应的补的最小蕴涵关系式。其次，在引入两个新的运算算子的基础上，进一步讨论了区间集上Ro-代数的又一组基本特
【机 构】
：
商洛学院
【出 处】
：
中国计算机学会多值逻辑与模糊逻辑专业委员会第十四届学术会议
【发表日期】
：
2014年期
其他文献
We are concerned with the optimal detector design for the all-bit-line MLC flash memory.We provide a channel model of the MLC flash memory,where the channel
会议
环己基苯是重要的精细化学品，广泛应用于石油化工、胶黏剂、涂料、塑料以及液晶等领域，其附加值大，具有巨大的市场潜力。本文研制了适合于苯加氢烷基化合成环己基苯的双功能型催
在点对点通信和中继通信场景下,本文提出了一种基于Hilbert谱的特定辐射源识别(specific emitter identification,SEI)算法。该算法采用相关性作为识别特征,用以衡量Hilb
The outage probability(OP)for dual-hop cognitive amplify-and-forward(AF)relay networks over independent non-identically distributed(i.n.i.d)η-μ fading cha
会议
Space Information Flow(SIF)is a new research paradigm that studies network coding in a geometric space,which is different with Network Information Flow(NIF)
会议
With the increase of physical antenna and subcarrier numbers in MIMO-OFDM systems,the signal precoding complexity overburden and channel side information fe
会议
Silkworm belongs to Lepidoptera,an important economic insect,which could produce hundreds billions of dollars for Chinese agriculture and industry.In order
会议
近年来网络编码技术因其可以提高网络吞吐量的特性,而被逐渐引入到量子网络中。针对蝶形网络结构,量子网络编码已取得突破性进展,同时量子信息传输的安全性日益引起研究
Development of microsatellite loci for the nipa palm hispid, Octodonta nipae (Coleptera: Chrysomelid
Seven polymorphic microsatellite markers were isolated from Octodonta nipae(Maulik)(Coleoptera: Chrysomelidae),an insect from Malaysia that has invaded seve
会议