正规BCI-代数的“拟-广结并”构造

本文进一步讨论BCI—代数的拟结合部分的特征性质,引入正规BCI—代数的概念。同时给出一种构造正规BCI—代数的“拟—广结合并”方法。     

零对称BZ-代数元素周期的性质

在BZ 代数中引入元素周期的概念 ,并讨论了零对称BZ 代数元素周期的重要性质 .研究表明 ,零对称BZ 代数子系统是一类比BCI/BCK、BCC 代数弱的逻辑代数系统     

正规BCI—代数的“拟—广结并”构造

本进一步讨论ＢＣＩ－代数的拟结合部分的特征性质，引入正规ＢＣＩ－代数的概念。同时给出一种构造正规ＢＣＩ－代数的“拟－广结合并”方法。     

关于BCI－代数的似零理想

本文在ＢＣＩ－代数中引入似零理想和反固执理想的概念，并研究了它们的重要性质和特征．     

远程证明方法的研究综述

远程证明方法是可信计算理论中一个重要的组成部分，本文追踪该领域的最新发展方向，重点剖析了四大类远程证明模型，并就其优缺点做出了详细的分析，横向上对所有模型进行了比较，从而进一步得到了现有远程证明模型的不足，展望了其未来的发展方向，为该领域的研究奠定了很好的基础.     

5阶BZ-代数

应用美国Wolfram公司的软件Mathematica4.0，通过编写计算机程序给出22个5阶真BZ-代数并进行了适当分类，这不仅对BZ-代数的进一步研究具有重要参考价值，而且将对相关代数系统的研究产生积极影响。     

闭理想与周期零对称BZ-代数

引入周期BZ-代数和BZ-代数的周期部分概念,研究了闭理想和周期零对称BZ-代数的关系。得到如下主要结果:设(X;*,0)为零对称BZ-代数,P(X)={x∈X:x<∞}。则P(X)为X的闭理想;(零对称BZ-代数)X为周期BZ-代数的充要条件是X中的每一个理想都是闭理想;X/P(X)为非周期P-半单BC I-代数。     

零对称BZ—代数

将原子及其分支的概念引信ＢＺ－代数，提出零对称ＢＺ－代数，得到若干重要特征。研究零对称ＢＺ－代数Ｘ关于其理想Ｎｚ（Ｘ）＝｛ｘ∈Ｘ│０－ｘ≤ｘ｝所作为的商代数Ｘ／Ｎｚ（Ｘ０的结构，证得Ｘ／Ｎｚ（Ｘ）≌｛ｙ│ｙ＝（０－ｘ）－ｘ，ｘ∈Ｘ｝。     

一起隔离开关支柱瓷瓶缺陷事故引起的深思

隔离开关是高压电网中常见的重要组成设备,由于其检修工作一般随主设备（所在间隔）进行,在日常工作中往往忽视其维护、巡视工作,尤其是对支柱瓷瓶的巡视的重要性。但是,隔离开关的安全稳定运行却往往直接影响系统的供电可靠性和安全性。本文通过介绍一起隔离开关缺陷发现及其处理经过,分析隔离开关的操作重点和注意事项,抛砖引玉,引起同行足够重视,为保障人身安全,电网、设备稳定运行作出贡献。     

模糊逻辑函数中文字的可消性质（Ⅰ）

设Ｆａｙｐ’ａ１ｐ１＋…＋ａｍｐｍ是非冗余析取范式，文字ｙ可消等价于文字ｙ在Ｆ‘＝ａｙｐ’＋ａ１ｐ１…ａｔｐｔ中要消，这里α≤ｍｉｎ｛ａ１，…，ａｔ｝，ｐ１，…，ｐｔ不含文字ｙ。