论文部分内容阅读
讨论了R0代数的滤子以及相应的可证等价类.在R0代数里给出了一些滤子的具体例子,得到:F是R0代数M的超滤当且仅当F是M的固执滤子;当F是R0代数的蕴涵滤子时,M/F是布尔代数;当F是R0代数的极大布尔滤子时,M/F是只有两个元的布尔代数.
R_0代数的可证等价类
【摘 要】
：
讨论了R0代数的滤子以及相应的可证等价类.在R0代数里给出了一些滤子的具体例子,得到:F是R0代数M的超滤当且仅当F是M的固执滤子;当F是R0代数的蕴涵滤子时,M/F是布尔代数;当F
【机 构】
：
中国计量学院理学院
【出 处】
：
中国计量学院学报
【发表日期】
：
2010年2期
其他文献
<正> 近年来,各医院为配合临床的需要,普遍开展了自制大输液。大多数单位对输液的成品,按中国药典规定,做了无菌试验,澄明度检查,热原试验,含量和重金属测定等,合格者才供临
在浆细胞瘤中，多发性骨髓瘤（mm）常见，而髓外浆细胞瘤（EMP）及骨的孤立性浆细胞瘤（SPB）则罕见。1985—1995年间，作者治疗髓外浆细胞瘤7例，骨的孤立性浆细胞瘤2例。单纯放疗4例，手术加放疗5
目的为提高立体放射治疗质量,减少治疗并发症和不良反应,探讨联合放射治疗中存在的问题与对策.方法对普通放疗或故息放射治疗后80例病人采用立体定向放射治疗,其中肝癌30例,
基于阶跃阻抗谐振器SIR(stepped impedance resonators)的基本原理,采用λg/4型SIR作为基本谐振单元,设计了一款小型化同轴腔体带通滤波器.仿真结果显示,相比实际长度λg/4该
摘要：随着林南仓矿120万吨达产的深入，原煤产量不断地增加，从而加大了对提升系统的挑战。为了保证提升系统的正常运行，杜绝或降低因提升事故对生产的影响，林南仓矿主井提升机交流绕线式双机系统在原有转子双馈变频系统的基础上，引进了这一新系统。新系统将与原有系统独立并互为备用。 关键词：变频；备用 前言 林南仓矿作为开滦集团的发展型矿井，其生产地位日趋提高，在核定能力之内的产量要求也不断提高。200
目的 评价左开胸治疗中段食管癌，方法 自１９９２年１月至１９９８年１２月采用单纯左胸入路治疗中段食管癌８９例，全组病人均行食管钡餐造影检查，病变上缘均位于气管分叉以下长３～８ｃｍ右侧卧位，左后外侧切口，先经
反流性食管炎是贲门癌切除食管胃吻合口术后常见的严重并发症,我科于1996年2月至1999年12月在食管胃吻合口处形成瓣膜抗反流与传统食管胃"套入式"吻合作对照,取得满意效果.