论文部分内容阅读
借助于Dcpo上的Scott拓扑,引进Scott吸收Dcpo的概念,并证明了函数空间上Scott拓扑与Isbell拓扑一致的必要条件是该函数空间的值域Dcpo是Scott吸收的。结果表明,Scott吸收性是Lawson-Mislove问题的一个必要性刻画。
Lawson-Mislove问题的一个必要条件
【摘 要】
：
借助于Dcpo上的Scott拓扑,引进Scott吸收Dcpo的概念,并证明了函数空间上Scott拓扑与Isbell拓扑一致的必要条件是该函数空间的值域Dcpo是Scott吸收的。结果表明,Scott吸收性是
【机 构】
：
湖南文理学院数理学院,南华大学数理学院
【出 处】
：
湖南文理学院学报:自然科学版
【发表日期】
：
2021年1期
【基金项目】
：
国家自然科学基金项目(11901194&11801264),湖南省自然科学基金(2019JJ50406),湖南省高校青年骨干教师资助项目
其他文献
【摘 要】计量是指实现单位统一、量值准确可靠的活动。而计量管理就是指计量部门对计量实施的管理办法，包括对所有测量手段和方法，以及通过测量的获得及结果的条件进行的管理。换言之，就是在当代先进的科学技术、法制制度下，通过对当地计量技术的发展特点及规律的调查研究，进行正确的决策和计量工作，使当地计量工作得以发展和进步，以实现国家的计量工作方针、政策和目标。 【关键词】计量管理；特点；措施；制度；素质
【摘 要】为客观衡量西藏七地市的金融协调效应，文章对有关金融服务协同效应的经济原理和实证文献进行了综述，从区域年贷款总额和区域年存款余额的视角，利用单位根检验的方法对西藏七地市金融服务协同效应进行了测度分析。 【关键词】西藏；金融服务；协同 【中图分类号】F832.1 【文献标识码】A 【文章编号】1674-0688（2017）12-0125-03 1 研究综述 国际货币基金组织（IMF）
目的比较经皮多裂肌间隙入路与传统开放术式在治疗胸腰椎骨折中对椎旁肌损伤的影响。方法方便选择自2013年1月—2014年12月无神经损伤的胸腰段脊柱骨折患者60例,随机分为两组
韩国《韩国教育报》2005年8月21日报道：为提高教育部专职人员的专业性，即将引进适应于一般公务员的公费留学制度。同时，还将推行向国内的大学和研究机构派遣专职和管理教师的制
目的分析探讨在冠心病合并心脏瓣膜病的治疗中采用冠状动脉旁路移植术同期行心脏瓣膜手术的临床疗效。方法方便选取该院2014年5月—2016年5月收治的进行冠状动脉旁路移植和心
为了给消费者信贷决策提供合理依据,基于真实的客户信贷数据,运用逐步Logistic回归方法依据AIC准则进行变量选择建立经典决策树、条件推断树、随机森林、支持向量机等分类模
美国的SAT考试是从1926年起实行的大学升学考试,历经几度修改以适应时代的变化,目前正在改革当中的新SAT将于2005年春季正式实行.改革包括四项具体考试内容的变化以及总体记
工业脱硫石膏水分大,用混凝土圆库储存容易堵料,石膏断料现象频繁,出磨水泥SO3含量波动大,影响水泥质量。为解决工业脱硫石膏配料中的断料问题,从节约成本方面考虑,在2台水泥
平等就业权是人权的核心内容之一.坚持公平就业、反对就业歧视,既是保障劳动者平等就业权的要求,也是维护劳动力市场公正秩序的需要.近年来,我国的反就业歧视立法取得了很大