论文部分内容阅读
证明了L^*-Lindenbaum代数[F]是具有逆序对台对应的有界分配格．得出了L^*中的公理系统的一种简化形式．
L^＊-Lindenbaum代数的结构与L^＊公理系统的简化形式
【摘 要】
：
证明了L^*-Lindenbaum代数[F]是具有逆序对台对应的有界分配格．得出了L^*中的公理系统的一种简化形式．
【机 构】
：
陕西师范大学数学研究所
【出 处】
：
工程数学学报
【发表日期】
：
1998年1期
其他文献
对某高校宿舍楼的室内热环境进行实验研究,根据相变材料的最佳温度区间选择质量比为65：35的混合石蜡作为本实验的相变材料.通过对室内外温度及壁面温度进行分析,得出以下结论：
壁面滑移是复杂流体流动中的一种普遍现象.对壁面滑移现象及其机理进行了总结,并讨论了几种检测滑移的方法.壁面滑移产生的机理可分为壁面吸附失效与缠结破裂,其关系十分复杂
高温热网系统运行过程中常因补水不及时而发生热水锅炉汽化甚至爆管事故，系统的补水泵也常因补水频繁启动与停止而烧损其电机。针对这些问题，在热网系统中增设氮气稳压装置，以实现对高温热网系统较长时间的稳定补水和系统压力的相对稳定，避免其热水锅炉因缺水而发生汽化和爆管事故，以及避免系统补水泵因频繁启动和停止而烧损电机的现象。利用热力学理论对氮气稳压的原理进行了分析，论述了氮气在稳压过程中所经历的热力学状态和
黑龙江省牡丹江市老科协七届七次理事（扩大）会议结束后，工业老科协立即召开会长办公会，传达贯彻市老科协七届七次理事（扩大）会议精神，并联系实际，在总结上年工作的基础上，落实了2011年
英国《野生动物杂志》的一个评委小组评选出有史以来动物学研究的十项最伟大发现,包括发现微观生命、光合作用、过渡期物种、黑猩猩懂得使用工具以及热液喷口周围发现生命在
新年伊始,由本社举办的＂今日科苑杂志社2012年新春团拜会上＂,本社在探讨2012年如何办好《今日科苑》时提出,本年度要做两项重大调整,一是内容上要有重大调整;二是要与企事业单
兖矿集团坚持走大型化、集约化和现代化的发展道路,坚持依靠科技进步,以综采放顶煤技术为核心,先后研制成功和推广应用了多种具有国际先进水平的厚煤层综采放顶煤成套技术装
通过对泰罗科学管理理论的解读,发现农民合作社的建立前提与科学管理理论的提出具有异曲同工之效,均是通过提高个体效益而使得整体利益最大化。基于泰罗的科学管理理论对合作