L_0^*-Lindenbaum代数的结构与性质

来源 :四川大学学报:自然科学版 | 被引量 : 0次 | 上传用户:nomaryo
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
讨论了L系统的等价简化形式系统L0系统中Lindoedbaum代数的结构与性质,证明了:(1)L0-Lindenbaum代数 一个有界分配格;(2)在L0系统中,(F(S)/,是一个含零元和和单位元的Abel半群,这里对A,B∈F(S),[A]B=([A]→[B])进一步,若设T是L0中的定量,A∈F(S),则[A]×[T]=[A],[A][T]=[T]。
其他文献
【目的】建立桔梗RAPD-PCR反应的最佳体系并应用于桔梗遗传图谱的构建。【方法】以2个桔梗亲本GS16和GS106的叶片DNA为模板,对桔梗DNA的提取及对影响桔梗RAPD-PCR扩增的重要
设非均质Euler-Bernoulli梁的两端是自由的,在其内部受局部Kelvin-Voigt阻尼作用,在梁的一端作用以转角和位移的反馈控制。结合频域方法与乘子技巧,给出梁的能量一致指数衰减的
研究了Hilbert空间(不必为Hilbert格)中一类集值非线性补问题,利用投影技巧和不动点定理,证明了这类非线性补问题解的存在性.
以1961-2003年伊春林区逐日平均气温、最高气温、最低气温、降水量、平均气压、平均相对湿度、平均风速和平均辐射量为气象资料,探讨了气温、降水量、日平均辐射量等表征气候
针对DDos的分布式特性提出了进行分布式防御的方案,并初步进行了实验,结果表明,该方法能够有效检测和阻止攻击数据流进入网络主干形成会聚攻击流. 提出了如何动态部署该策略
针对目前城市污水处理过程某些重要出水水质指标参数因缺乏可靠的专用在线仪表而只能靠人工化验来确知的现状,本文引入了软测量技术并根据污水处理工艺运行的实际情况,设计了
作者用多体微扰理论(MBPT),对开壳层钠和钾原子的最外满壳层单光子电离过程进行了研究和理论计算.利用多体微扰理论的Goldstone图示法,对主要的电子关联作用进行了分析,给出
本文分析了自动化学科的内涵,论述了自动化学科的作用及其在信息科技时代的重要地位,指出应从信息的控制观点认识自动化学科的本质.具体介绍自动化技术在当前面临的机遇与挑