首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 390 毫秒
1.
利用格论中滤子的相关知识,对公式集D(Г)的性质进行研究。通过对D(Г)和R0代数中MP滤子相似性的比较分析,证明了L*-L indenbaum代数[F]中的MP滤子都是形如D(Г)形式的,其中D(Г)={[A]|Г├A,A∈F(S)};又进一步证明了[F]中的极大滤子(格论意义下)是极大MP滤子,而且给出了刻画[F]中极大滤子的一个充分条件.  相似文献   

2.
利用F(S)中运算的定义给出了F(S)关于逻辑等价(可证等价)~所得的商代数F(S)∕~中的运算,在F(S)∕~中定义了滤子,讨论了滤子的性质,得到了F(S)∕~中的滤子都有形如的形式.  相似文献   

3.
MTL代数的性质及其滤子   总被引:1,自引:0,他引:1  
讨论了MTL代数的性质,并在其上引入了MP滤子、素MP滤子、布尔滤子的概念;刻画了包含F及α的最小MP滤子的结构;讨论了极大MP滤子与素MP滤子的关系;证明了当F是布尔滤子时,M/~F成为布尔代数.  相似文献   

4.
《河南科学》2016,(8):1211-1214
研究了效应代数和其对偶效应代数的理想和滤子的关系,模糊理想和模糊滤子的关系,强模糊理想和强模糊滤子的关系.证明了:效应代数与其对偶是同构的;每个效应代数都是自反的;效应代数的理想(滤子)的补元之集是对偶效应代数的理想(滤子);效应代数E的模糊子集f是其对偶效应代数E*的模糊理想(模糊滤子)当且仅当f是E的模糊滤子(模糊理想).  相似文献   

5.
对拓扑空间中的序列、网、滤子基和滤子的收敛性质进行了研究,证明了网收敛与网对应的滤子收敛是一致的,并证明了网导出滤子与对应滤子是完全一致的.  相似文献   

6.
∑*上由语言族(特别地,半滤子)定义的各种二元关系是研究∑上语言的代数结构的有用工具。在本文中,我们首先研究了∑*上由语言族 F 和语言 L 定义的二元天系~_(F,L)的一般性质。然后研究了半滤子的分类及对应关系的一些有用性质,如丰满性和有限离异性  相似文献   

7.
一个负的有序关联半群(S,≤,.,)称为单的,设S是交换关联半群,如果S的所有滤子是{1}和S本身,则S是单的当且仅当S的所有*-同余是IS和S×S.  相似文献   

8.
 利用MP滤子F在R0代数M上诱导一致拓扑JF,得出了(M,JF)是不连通的、零维的、局部紧的、完全正则的第一可数空间, (M,JF)是T0空间当且仅当F={1}。 证明了R0代数M中的运算′, ∨与→在(M,JF)中均连续。 最后, 讨论了商代数中一致拓扑的性质。  相似文献   

9.
进一步研究了模态R0代数的一些重要性质,证明了:当函数y=□x在R0单位区间[0,1]内部有n个间断点时,在R0单位区间上能使([0,1]R0,□)成为模态R0代数的模态算子□共有2n种;F是模态R0代数中的模态滤子当且仅当F≠Φ,F是上集(即当a∈F,b≥a时,b∈F),且当a、b∈F时,□(a*b)∈F.并证明了任意一族模态滤子之交仍为模态滤子,所有素模态滤子之交为单点集{1}.  相似文献   

10.
引入了严格滤子的概念,给出了严格滤子与SBL-代数的关系,证明了若BL-代数L的滤子F是奇异的和严格的,则L/F是Godel代数。揭示了严格滤子与整滤子、素滤子等的关系。  相似文献   

11.
构造了BCI-代数范畴中一种自然的粘合,先前许多作者定义的粘合是这种构造的特殊情况,这种构造的自然性表现在:任一BCI-代数与BCK-代数能以此法粘合;导出同态的粘合;保留两个代数的许多性质.  相似文献   

12.
讨论了连续时间Guichardet-Fock空间L2(Γ;η)中修正随机梯度算子及修正点态随机梯度算子族{s;s∈R+}的性质。讨论表明:修正随机梯度算子是L2(Γ;η)中的稠定无界线性算子,而修正点态随机梯度算子族{s;s∈R+}及其共轭族{*s;s∈R+}是L2(Γ;η)中的有界线性算子,具有很多性质:满足典则反交换关系和幂零性;{s;s∈R+}与{*s;s∈R+}的不等时复合可交换,即s*s=*ss,对∠s≠t;同时{*ss;s∈R+}是L2(Γ;η)上一族正交投影。另外,利用{s;s∈R+}和{*s;s∈R+},构造了L2(Γ;η)上一个酉算子群。  相似文献   

13.
引入下(上)根元、极大渗透、极大序理想等概念,讨论了极大渗透、极大序理想的结构。证明了BCI-代数是互不相交的极大渗透的并,处于不同极大渗透中的序链互不相交。  相似文献   

14.
基于双PC机的包过滤器研究   总被引:5,自引:0,他引:5  
首先对以太网上的PC包过滤器(PC Filter,PF)在不同的网络传输速度下的吞吐量进行了分析,由此提出了一种基于双PC机的包过滤器(Dual-PC Filter, D-PF)模型和实现方法.对已实现的D-PF的测试表明,在吞吐量、丢包率和过滤延迟方面,D-PF性能要优于PF.  相似文献   

15.
用OTA宏模型模拟LC梯形滤波器   总被引:1,自引:0,他引:1  
对比地研究了用IOTA器件模拟接地电感、浮地电感、接地D元件和浮地D元件所实现的各种低通、高通及带通滤波器的特性。对大量实例进行了分析发现,接地D元件的特性较差,浮地D元件和电压型运放实现一样,在高频时性能有所下降,而采用模拟电感,效果非常好,有着很好的高频特性。  相似文献   

16.
设X*是字母表X上的自由幺半群,以X*为顶点集构造一个语言图Γ(X*),引入语言图Γ(X*)的模截集的概念,给出了信号码的一个性质,从而推广了文献[1]中的一个结果。  相似文献   

17.
设X*是字母表X的自由幺半群,以X*为顶点集构造一个语言图Γ(X*),引入语言图Γ(X*)的模截集的概念。利用语言图Γ(X*)的模截集与极大前缀码的关系,即前缀码A是极大前缀码的充要条件是A是语言图Γ(X*)的模截集,给出了信号码的一个刻划。  相似文献   

18.
提出了一种新型的可调谐偏振光滤波器,通过在对称结构的一维光子晶体中引入电光晶体缺陷层,利用电光晶体的横向泡克尔斯效应实现对线偏振光的窄带调谐滤波,用传输矩阵法分析了这种滤波器的调谐特性,结果表明这种可调谐偏振滤波器具有结构简单、调谐方便、透射率高且透射峰半高宽度窄等突出优点.  相似文献   

19.
设{x_n}是一个递推的适应性滤波序列,本文将给出在较一般信号条件下,n~(1/2)(x_o-x~*)具有渐近正态性,这儿x~*是最小均方意义下的最优值。  相似文献   

20.
研究由具有一个参数紧支撑的博雷尔概率测度族构成的调和分析中的伯努利测度μλ(λ∈(0,1))的性质.针对给定的λ,考虑在Lμ2λ空间中的正交指数函数系的最大化与极大化.通过对Γ和μλ零点的分析,证明E(pΓ(1/8))(p是奇数)是L2μ8p空间的最大正交指数函数系.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号