【摘 要】
：
定义了一类序结构—FS-交连续domain,讨论其相关性质并证明：（1）FS-交连续domain关于由Scott连续且保持非空有限交运算的函数构成的函数空间封闭,以（代数）FS-交连续domain为对象、
【机 构】
：
四川大学数学学院,四川大学数学学院长江数学中心
【基金项目】
：
国家自然科学基金（No.10871137）, 教育部新世纪优秀人才支持计划（No.070576）资助的项目
论文部分内容阅读
定义了一类序结构—FS-交连续domain,讨论其相关性质并证明：（1）FS-交连续domain关于由Scott连续且保持非空有限交运算的函数构成的函数空间封闭,以（代数）FS-交连续domain为对象、以Scott连续函数为态射的范畴是Cartesian闭范畴;（2）任意分配可乘的有界完备domain是FS-交连续domain,从而紧连续dcpo的Smyth幂domain是FS-交连续domain.这些结果表明,FS-交连续domain是关于保非空有限交的连续映射构成的函数空间封闭的最恰当序结构.
其他文献
首先给出Gage等周不等式的加强形式,即证明了Gage等周不等式中等号成立当且仅当凸曲线是圆周,然后利用Minkowski支撑函数把Gage等周不等式写成关于以2π为周期的周期函数的积
提要针对具有不等式约束的非线性规划，结合罚内点途径，且在牛顿法的基础上，提出一个算法,通过引入辅助变量松弛不等式约束，把约束集合转化为两个集合的交集：一个是容易计算内点的，
服装设计追求的境界是设计的风格定位,服装风格不仅反映了服装的功能性与艺术性的结合,也反映了一个时代的社会面貌和思想文明。在如今生活快节奏,工作高压力、生态失衡严重
随着我国海洋工作地位和作用的日益提升，海监执法工作任务也越来越重。如何寓服务于管理，在建设生态海洋、和谐海洋工作中发挥好作用，笔者认为，至关重要的是要带着情感执法，将“执
本文以教学有效性七规则作为标准,从教师的角度调查了Coursera平台提供的三十门x Moocs课程（十八门文科和十二门理科）,试图评估这些课程是否或在何种程度上具有教学有效性。调
0前言体育消费是现代人们生活消费的重要组成部分,也是体育运动得以存在和发展的前提和保证,还是体育产业与体育市场得以开拓和发展壮大的社会基础二随着社会生产力的发展、
2月1日,在传统的新春佳节即将来临之际,国务院副总理曾培炎来到国家海洋局,首次通过卫星视频电话连线遥远的南极和北极,向正在南、北两极进行考察的我国极地科考队员们致以新春的祝福和节日的问候。慰问活动
异丙醇作为性能优良的有机溶剂和重要的化工原料,被广泛应用于医药、农药和有机化工等生产过程中。本文以宁夏某精细化工企业排放的特征污染物-异丙醇尾气为研究对象,针对其当前使用吸收塔(主要是含异丙醇尾气)存在的传质效果差、气液有效接触面积小,需要多个塔串联吸收,导致占地面积大且异丙醇吸收率低、能耗和运行费用高,同时,由于异丙醇具有较大的饱和蒸汽压,易从水中再次逃逸,导致吸收液循环量大、富液浓度低,后续回
龟兹乐舞有着灿烂悠久的历史文化和独特的艺术魅力,高度体现着西域音乐文化的美学价值,是西域乐舞文化艺术的精华所在。唐朝,随着丝绸之路上繁荣的贸易往来,以龟兹乐舞为代表
目前,网络视频及其衍生产品已经成为整个网络娱乐产业内容消费领域的核心支柱。在行业的发展中,各市场主体先后完成了并购、上市、大数据互动、跨界联盟,但这也许并不是网络视频的终极归宿。而且在行业高速发展的同时我们也需要注意到在长期的视频体验下,用户需求日益增长,特别是在网络文艺需求的井喷与网络视频社交的迅速崛起的大背景下,更多视频平台却依旧停留在单纯供给影视视频的“线上好莱坞”和“网络电视台”的运营思路