REGULAR RELATIONS AND MONOTONE NORMAL ORDERED SPACES

In this paper the classical theorem of Zareckii about regular relations is generalized and an intrinsic characterization of regularity is obtained. Based on the generalized Zareckii theorem and the intrinsic characterization of regularity, the authors give a characterization of monotone normality of ordered spaces. A new proof of the Urysohn-Nachbin lemma is presented which is quite different from the classical one.     

On tolerance lattices of algebras in congruence modular varieties

We prove that the tolerance lattice TolA of an algebra A from a congruence modular variety V is 0-1 modular and satisfies the general disjointness property. If V is congruence distributive, then the lattice Tol A is pseudocomplemented. If V admits a majority term, then Tol A is 0-modular. This revised version was published online in June 2006 with corrections to the Cover Date.     

基于Mobile Agent的新型分布式入侵检测方法

在分析一般入侵检测方法的基础上，提出了一种新的基于Mobile Agent的入侵检测方法，与AAFID等入侵检测方法相比，新方法提高了系统的抗毁坏性和自恢复能力。     

有限链上逻辑算子的分配性方程求解

主要讨论有限链L上的分配性方程F（ G1（ x，y），z）＝G2（ F（ x，z），F（ y，z））。分别针对以下情况对上述分配性方程的解进行特征刻画：（a） F为光滑三角模，G1＝G2为光滑三角余模（F为光滑三角余模，G1＝G2为光滑三角模）；（b）F为S-蕴涵（或R-蕴涵），G1为光滑三角模且G2为光滑三角余模；（c） F为S-蕴涵（或R-蕴涵），G1为光滑三角余模且G2为光滑三角模；（d） F为S-蕴涵（或R-蕴涵），G1和G2均为光滑三角模；（e） F为S-蕴涵（或R-蕴涵），G1和G2均为光滑三角余模。     

区间值模糊集中蕴涵算子基于重叠和分组函数的分配性

用区间值模糊集的方法和原理,通过引入可表示的区间值重叠函数和分组函数的概念,在边界条件下给出以下4种方程及类似方程的解:I(x,O_1(y,z))=O_2(I(x,y),I(x,z));I(O_(x,y),z)=G(I(x,z),I(y,z));I(G(x,y),z)=O_(I(x,z),I(y,z));I(x,G1(y,z))=G2(I(x,y),I(x,z)).并说明t-可表示的连续Archimedean三角模(三角余模)分配性方程的解类似于上述结果.     

Unsupported Boolean algebras and forcing

If κ is an infinite cardinal, a complete Boolean algebra B is called κ‐supported if for each sequence 〈b_β : β < κ〉 of elements of B the equality _{α<κ β>α} b_β = equation/tex2gif-inf-5.gif _β∈A b_β holds. Combinatorial and forcing equivalents of this property are given and compared with the other forcing related properties of Boolean algebras (distributivity, caliber, etc.). The set of regular cardinals κ for which B is not κ‐supported is investigated. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

BR_0-分配性及其推广

在BR0-代数结构中,BR0-分配性a→b∨c=（a→b）∨（a→c）具有十分重要的地位。本文证明了具有BR0-分配性的剩余格同样具备十分良好的性质。首先将BR0-分配性引入到剩余格中,并给出了BR0-分配性的等价形式。其次,在完备剩余格中将BR0-分配性进行了推广,提出了BR0-第一无限分配性和BR0-第二无限分配性。最后,分别在正则完备剩余格,单位区间[0,1]中讨论了两种BR0-无限分配性的关系及性质。     

半零模在2一致模上的分配性

鉴于2一致模是一致模和零模的公共推广,半零模是通过去掉零模的结合性和交换性而获得.对于一些特殊情况,给出了带有连续基本算子的半零模在2一致模上分配的充要条件.     

R0-代数的理想与其定义的简化

为了建立R0-代数的理想和同余之间的关系和简化它的原始定义，首先给出了R0-代数的若干基本性质，然后证明了R0-代数的理想之集与R0-代数上的同余关系之间，以及R0-代数的特殊理想之集与商R0-代数的理想之集之间分别存在一一对应关系．结果表明，R0-代数的原始定义中的逆序对合对应与分配性是不独立的，从而简化了R0-代数的定义．     

完全分配格序群的基和阿基米德核

本文对Redfield R.(Bases in completely distributive laffice-orderedgroups)定义的B-根作了推广,定义了B_n-根。在此基础上讨论了基和完全分配性及阿基米德核之间的关系,使该文中的主要结果只是本文的推论。