基于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三角模(三角余模)分配性方程的解类似于上述结果.     

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-代数的定义．     

重叠和分组函数的分配性方程求解

运用区间值模糊集的方法和原理, 通过引入可表示的区间值重叠函数和分组函数的概念, 结合乘法生成元对生成的重叠和分组函数, 在边界条件下给出方程I(G(x,y),z)=O(I(x,z),I(y,z))和 I(x,O₁(y,z))=O₂(I(x,y),I(x,z))的解, 并讨论重叠和分组函数的相关性质.     

(T,N)-蕴涵及其基本性质

模糊蕴涵在模糊逻辑和近似推理领域中发挥着非常重要的作用。 不同的构造方法可以生成不同的模糊蕴涵, 其中常见的模糊蕴涵类有(S,N)-蕴涵、 R-蕴涵、 QL-蕴涵和Yager蕴涵等。 从经典逻辑中的重言式p→q≡(p∧q)出发, 在模糊逻辑中研究由三角模T和模糊否定N按上述方式生成的模糊蕴涵, 称为(T,N)-蕴涵, 进而研究(T,N)-蕴涵的一些基本性质, 包括输入律与分配性等。 最后讨论(T,N)-蕴涵与 f-蕴涵、 g-蕴涵、(S,N)-蕴涵和R-蕴涵间的关系。     

BR0-分配性及其推广

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