双重半伪补de Morgan-代数滤子同余关系的注记

双重半伪补de Morgan代数是将双重半伪补代数类与de Morgan代数类相结合而形成的一个新的代数类,是一个有界分配格上赋予三个一元运算:双重半伪补运算与de Morgan运算。对双重半伪补de Morgan代数的滤子同余关系作进一步的研究:首先,基于双重半伪补de Morgan代数的运算规律以及双重半伪补运算与de Morgan运算的关联性,论证了双重半伪补de Morgan代数正则p-滤子同余关系的保序性以及同余置换性,根据双重半伪补de Morgan代数所体现的运算属性,论证了正则p-滤子格对格的二元运算是封闭的,获得了正则p-滤子格是滤子格的子格的结论。其次,在格与序代数理论中,涉及滤子,必然伴随着滤子同余关系,同余关系是保持运算的等价关系。借助于双重半伪补de Morgan代数的正则p-滤子同余关系,论证了正则p-滤子与正则p-滤子同余关系是同构的。所得结论为其他分配格代数类正则滤子性质的研究提供了方法,同时,为研究多元运算代数类结构提供理论支持。

半伪补de Morgan代数的素理想及同余性质

素理想是研究序代数同余关系的一个重要工具。在半伪补de Morgan代数上引入两类素理想,以半伪补de Morgan代数本身的运算属性为基础获得了半伪补de Morgan代数上素理想的运算特征。利用素理想构造出了半伪补de Morgan代数上的一类同余关系等式,从而借助素理想集刻画半伪补de Morgan代数的每一个同余关系,获得了半伪补de Morgan代数上的同余关系判别定理。得到次直不可约的半伪补de Morgan代数的结构特征,其元素个数小于或等于8。所得结论为其它序代数类理想性质的研究提供了方法,丰富了序代数的发展,为进一步研究序代数类的代数结构提供理论支持。

DE MORGAN ALGEBRAS WITH DOUBLE DEMI-PSEUDOCOMPLEMENTATION

The variety ddpM of de Morgan algebras with double demi-pseudocomplementation consists of those algebras （L; ∧ , ∨ , , , ＋ , 0, 1） of type （2, 2, 1, 1, 1, 0, 0） where （L; ∧ , ∨ , , 0, 1） is a de Morgan algebra, （L; ∧ , ∨ , , ＋ , 0, 1） is a double demi-p-lattice and the operations x → x , x → x and x → x ＋ are linked by the identities x = x , x ＋ = x ＋ and x ＋ = x ＋ . In this paper, we characterize congruences on a ddpM-algebra, and give a description of the subdirectly irreducible algebras.

几种医疗设备系统备份工具的应用研究

为保证医疗设备系统及应用的稳定运行,方便工程师选择合适的备份工具,为医院节约维修经费。本文根据医疗设备的系统、文件类型及备份速度,对GHOST、Acronis、Disk Genius、Win Hex、DDCOPY、硬盘拷贝机等工具进行横向对比分析其优劣。根据实际使用情况及工作经验,Windows环境下推荐使用GHOST、Acronis;非Windows环境推荐使用硬盘拷贝机。

双重半伪补de Morgan代数的滤子同余关系

首先,在双重半伪补de Morgan代数上引入余核滤子,正则滤子和p-滤子的概念,证明了p-滤子成为余核滤子的充要条件是该p-滤子是正则的。其次,给出了余核p-滤子生成的同余关系的表达式。最后,证明了具有余核滤子的最小同余关系具有同余一致与同余凝聚性质。