排序方式: 共有12条查询结果,搜索用时 15 毫秒
1.
本文进一步讨论BCI—代数的拟结合部分的特征性质,引入正规BCI—代数的概念。同时给出一种构造正规BCI—代数的“拟—广结合并”方法。 相似文献
2.
零对称BZ-代数元素周期的性质 总被引:1,自引:0,他引:1
在BZ 代数中引入元素周期的概念 ,并讨论了零对称BZ 代数元素周期的重要性质 .研究表明 ,零对称BZ 代数子系统是一类比BCI/BCK、BCC 代数弱的逻辑代数系统 相似文献
3.
本进一步讨论BCI-代数的拟结合部分的特征性质,引入正规BCI-代数的概念。同时给出一种构造正规BCI-代数的“拟-广结合并”方法。 相似文献
4.
5.
远程证明方法是可信计算理论中一个重要的组成部分,本文追踪该领域的最新发展方向,重点剖析了四大类远程证明模型,并就其优缺点做出了详细的分析,横向上对所有模型进行了比较,从而进一步得到了现有远程证明模型的不足,展望了其未来的发展方向,为该领域的研究奠定了很好的基础. 相似文献
6.
引入周期BZ-代数和BZ-代数的周期部分概念,研究了闭理想和周期零对称BZ-代数的关系。得到如下主要结果:设(X;*,0)为零对称BZ-代数,P(X)={x∈X:x<∞}。则P(X)为X的闭理想;(零对称BZ-代数)X为周期BZ-代数的充要条件是X中的每一个理想都是闭理想;X/P(X)为非周期P-半单BC I-代数。 相似文献
7.
8.
9.
作为各种非可换模糊逻辑代数的推广,引入剩余BCC-代数及强剩余BCC-代数的概念,研究了它们与psMTL-代数、pseudo-hoop等代数结构的关系.研究了剩余BCC-代数滤子的基本性质,建立了剩余BCC-代数的商代数理论;引入剩余BCC-代数的正规滤子概念,证明了强剩余BCC-代数的正规素滤子定理,从而拓广了相应逻辑代数滤子理论的已有结果. 相似文献
10.
隔离开关是高压电网中常见的重要组成设备,由于其检修工作一般随主设备(所在间隔)进行,在日常工作中往往忽视其维护、巡视工作,尤其是对支柱瓷瓶的巡视的重要性。但是,隔离开关的安全稳定运行却往往直接影响系统的供电可靠性和安全性。本文通过介绍一起隔离开关缺陷发现及其处理经过,分析隔离开关的操作重点和注意事项,抛砖引玉,引起同行足够重视,为保障人身安全,电网、设备稳定运行作出贡献。 相似文献