排序方式: 共有13条查询结果,搜索用时 31 毫秒
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.
城市突发事件响应急需高时效性的地理空间数据支持.传统遥感数据受时效性、精细度、获取性等方面约束,往往在面临此类事件时无法发挥关键作用.本文提出了一种基于城市天际线固定平台的动态对地遥感模式.该方法通过在超高层建筑(>300m)上架设遥感传感器,经过遥感数据处理过程,获取实时动态的标准化遥感产品.这种遥感方式具备成本低、... 相似文献
8.
9.
10.
隔离开关是高压电网中常见的重要组成设备,由于其检修工作一般随主设备(所在间隔)进行,在日常工作中往往忽视其维护、巡视工作,尤其是对支柱瓷瓶的巡视的重要性。但是,隔离开关的安全稳定运行却往往直接影响系统的供电可靠性和安全性。本文通过介绍一起隔离开关缺陷发现及其处理经过,分析隔离开关的操作重点和注意事项,抛砖引玉,引起同行足够重视,为保障人身安全,电网、设备稳定运行作出贡献。 相似文献