论文部分内容阅读
证明了：（1）具有性质M的dcpo为拟连续domain当且仅当其上的下拓扑开集格在集合包含序下为连续格；（2）对于dcpo L，L为拟连续domain当且仅当∑L的Hoare空间为局部强紧空间。
关于拟连续Domain的一个注记
【摘 要】
：
证明了：（1）具有性质M的dcpo为拟连续domain当且仅当其上的下拓扑开集格在集合包含序下为连续格；（2）对于dcpo L，L为拟连续domain当且仅当∑L的Hoare空间为局部强紧空间。
【机 构】
：
江西师范大学数学系,南昌教育学院
【出 处】
：
模糊系统与数学
【发表日期】
：
2010年3期
【基金项目】
：
国家自然科学基金资助项目（10331010,10861007）,全国优秀博士学位论文作者专项资金资助项目（2007814）,江西省自然科学基金资助项目（2009GZS0012）2007GZS0179）,江西省教育厅资助项目（GTT08162）
其他文献
现代资讯的发展，使得保持企业发展的优势成为刻不容缓的诨题。破除传统意义上的资本定义，智慧资本和知识产能更应该引起我们的关注。知识管理在团队学习中的集体决策将提升组织
目的分析彩色多普勒超声检查在颈动脉粥样硬化检测中的应用效果。方法选取2014-07-01至2015-07-01桂林市人民医院行彩色多普勒超声检查患者45例作为观察组,另选取同期桂林市
虽然国家出台r一系列扶持中小企业发展的政策，并配套了相应的资金渠道支持，然而中小企业融资难一直是制约中小企业发展的主要瓶颈，从最近大量温州中小企业资金链断裂可以暴漏出
大学英语教学改革的不断推进促使大学英语班级规模不断扩大、课时不断压缩,进而导致无法为大学生提供一个良好的学习环境,学习者也就很难提高自身的英语写作积极性。随着信息
首先就双枝模糊集和直觉模糊集的定义和运算进行了比较和讨论，对于它们不同的地方我们通过重新定义直觉模糊集的一些概念使得双枝模糊集能几乎完全地统一到直觉模糊集上来。从
国内高校与CGA 的合作办学模式满足了国内培养国际化会计人才的需求。但由于CGA 课程全部采用加拿大原版教材，教学中采用双语教学，这给教师和学生都带来极大的挑战。文章通过分
目的探讨卡托普利联合氨氯地平治疗2型糖尿病合并高血压的临床疗效。方法入选的所有患者均在饮食、运动治疗基础上,给予磺脲类与双胍类口服降糖药联合控制血糖后,按照贯序法8
为了更好地描述信息的聚合,有限链上的左（右）nullnorm的概念被引入。然后,各种光滑的左（右）nullnorm的结构定理被给出,即给出了一个二元运算是光滑的左（右）nullnorm的充要条件。
目的探讨颅脑创伤后大面积脑梗死患者外周血白细胞计数的数值及血浆D-二聚体的变化及临床意义。方法测定比较50例颅脑创伤后大面积脑梗死患者及50例正常健康人外周血中白细胞