论文部分内容阅读
弱逼近元在完备格中有许多重要的性质，对于刻划连续格、完全分配格起着重要的作用。在Domain中引入弱逼近元的概念，研究了弱逼近元的一个重要性质，从而得到连续Domain的一个充要条件。最后，以Scott开滤子为基础，得到了连续Domain的一个刻划定理。
连续Domain的一个刻划
【摘 要】
：
弱逼近元在完备格中有许多重要的性质，对于刻划连续格、完全分配格起着重要的作用。在Domain中引入弱逼近元的概念，研究了弱逼近元的一个重要性质，从而得到连续Domain的一个充要
【机 构】
：
南京气象学院数学系
【出 处】
：
南京气象学院学报
【发表日期】
：
2004年1期
【基金项目】
：
江苏省教育厅自然科学研究指导性计划项目(01KJD110002)
其他文献
作为优化营商环境的重要内容,辽宁省将对各级政府和公务员加强政务诚信考核,在招商引资时以政府换届、相关责任人更替等理由毁约等政务失信行为将被追责。此外,辽宁省还将探
本文将结合公路工程中路基路面等关键部分质量控制意义进行分析,在此基础上,对公路工程施工过程中软土路基的处理技术进行了探讨,并针对公路工程关键部分容易出现的问题进行
介绍了SQ-80/75B型无极绳绞车的工作原理、结构及特点,提出该型号绞车在安装和使用过程中存在的问题及解决方法,降低了工人劳动强度,提高了工作效率,保证了安全生产。
通过对煤与瓦斯突出矿井煤矿岩巷综掘技术的研究,结合矿井地质条件与地层分析,提出了底板岩巷的掘进层位;结合综掘机作业循环进尺,利用围岩控制方法与应力产生机理的既有经验
针对目前煤矿井下喷射混凝土综合降尘现状,研究粉尘产生和化学抑尘机理,引入化学抑尘技术。通过对化学抑尘剂的合理组配,在喷射混凝土综合降尘试验应用中,取得了良好的效果。