Lβ集合套与La集合套理论及应用

本文在Ｌ是完全分配格时，借助极小集与极大集概念引入了Ｌβ集合套与Ｌａ集合套，它们是集合套概念的推广，但不同于Ｌ集合套。得到了一般Ｌ－ｆｕｚｚｙ集的若干新的分解定理与表现定理，进一步又给出了它们在Ｌ－ｆｕｚｚｙ代数，Ｌ－ｆｕｚｚｙ拓扑等方面的若干应用。     

带核集分划问题的一个线性1／7近似算法

设有整数集Ｓ＝｛ｒ１，ｒ２；ｐ１，ｐ２，…，ｐｎ｝，这里ｒｉ≥０，ｐｊ＞０（ｉ＝１，２；ｊ＝１，２，…，ｎ），寻找一个Ｓ的最优分划Ｐ＝（Ｓ＊１，Ｓ＊２）使得：（１）ｒｉ属于不同子集，（２）Ｓ＊１与Ｓ＊２中元素总和较大者尽可能地小．这是一个ＮＰ－完备问题，本文给出一个线性时间近似算法，它的近似界为８７．     

关于阶数为奇数的布尔矩阵行空间的基数

设Bn表示所有的n阶布尔矩阵的集合，R(A)表示A∈Bn的行空间，|R(A)|表示R(A)的基数．设m，n为正整数，本文证明了(1)Vm∈[1，46]，[1，78]，分别存在A∈B7，A∈B8，使得|R(A)|=m．(1)当n≥9为奇数时，则V m∈[1．2^(n 3)/2 2^(n 1)/2 … 2^3]．存在A∈Bm，使得|R(A)|=m．     

关于Levesque的信念逻辑的完备性

Ｈ．Ｊ．Ｌｅｖｅｓｑｕｅ最近为了研究非单调推理提出了含有两个模态词Ｂ，Ｎ的信念逻辑系统，并猜想它是完备的．本文提出了Ｔ~＊－集合的概念，并证明一句子集合如果是Ｔ~＊－集合，那么是可满足的．本文的定理是［１］中定理Ａ２的推广．并得到［１］中定理Ａ．２的一个简单的证明．     

电子号码簿服务及号码簿信息的管理

本文介绍我国公用电子号码簿所提供的服务,包括业务类型、电子号码簿的基本服务和用户选用设施、服务控制和服务质量。此外对号码簿信息的管理(包括子模式管理、集合属性管理和访问控制管理),也做了简述。     

布尔函数的线性结构的特征

本文首先利用布尔函数的特征集合对布尔函数的线性结构进行了刻划，给出了寻找布尔函数的线性结构的一种方法，其次引入了布尔函数的ｒ型线性结构的概念，并对其进行了研究，同时还指出了布尔函数的ｒ型线性结构的密码学意义。     

一种抗误码能力强的视频压缩SPIHT改进算法

基于小波域的3D-SPIHT算法是一种高效的视频压缩编码方法,但其抗误码能力仍有待提高.本文提出了一种改进的3-D DWT-SPIHT分树编码方法.在不改变原算法小波树结构的前提下,插入编解码链表同步点,将整个帧组分为多棵子树独立编码和传输,从而将差错传播局限在每棵独立子树内,控制了差错传播范围.通过仿真实验证明了该算法与原算法相比具有较高的抗误码能力.     

集合中常见错误剖析

集合是高中数学的起始课,同时也是学习后续知识的基础．学生初次接触它,不免会产生各种各样的错误,笔者现将这些常见的错误归纳出来,并进行简要的剖析,希望会对大家有所启发．     

集合解题的“五个优先”

学习数学离不开解题,而解题时应优先考虑哪些条件,哪些方法,是解题者十分关注的问题．下面就涉及集合问题的几个优先考虑进行归纳,以期抛砖引玉．