论文部分内容阅读
本文证明了（1）在合适的态射下,拟连续domain范畴与广义完全分配范畴等价;（2）对有界完备的拟连续domain P,（P,σ（P））为极大极限空间.
拟连续Domain与广义完全分配格
【摘 要】
：
本文证明了（1）在合适的态射下,拟连续domain范畴与广义完全分配范畴等价;（2）对有界完备的拟连续domain P,（P,σ（P））为极大极限空间.
【机 构】
：
四川大学数学学院,四川大学长江数学研究中心
【出 处】
：
数学进展
【发表日期】
：
2007年4期
【基金项目】
：
Supported by NSFC（No.10331010） and The Research Fund for the Doctoral Program of Higher Education.
其他文献
在中国的西北有一处地方很特别,这里高山与大河交汇,荒原与绿川相连,戈壁与草原交接,农耕与畜牧分界,湖泊与沙漠共处。地方虽不著名,却有一个响当当的名字——石嘴山。 从银川市驱车北上80公里,走到银川平原的尽头、贺兰山的脚下,便到了石嘴山市的惠农区。惠农因清代修建的引黄灌溉工程——惠农渠而得名。沿惠农区北大街径直北上,在石嘴山黄河大桥西端进入滨河大道,北行1.5公里,向东望去,有一片绿色的土地,这便
位于新疆哈巴河县境内的白哈巴村,距离哈巴河县城77公里,因地处西北边陲,与哈萨克斯坦的大山遥遥相望,被人们称为“西北第一村”。 白哈巴村坐落a在一条沟谷之中,村民住的木屋和圈养牲畜的栅栏错落有致地散布在松林和桦林之中,安宁、祥和,如同一幅美丽的油画。 白哈巴村是一个蒙古族图瓦人和哈萨克族聚居的村庄。据当地蒙古族图瓦人介绍,他们的祖先是随成吉思汗西征的蒙古骑兵中的一支,他们西征途经白哈巴,见到这
中小企业作为我国社会经济的组成部分，日益发挥出其主体的重要作用，促进中小企业的健康快速发展具有很大的现实意义。我国的中小企业以其规模小、体制多样、经营方式灵活、对市
目前，我国对医院的财务管理制度制定了一些新的相关管理规章制度，有效的加强了医院财务管理的规范化程度。在这样的制度背景下，就需要在进行医院的成本核算的过程之中，严格的按照
在目前的网站开发和网页设计中,Dreamweaver是最常用的工具之一。本文结合作者在日常教学中所总结的经验,向读者介绍一些使用Dreamweaver的技巧。另外在所见即所得的网页制作
本文研究了Banach空间中一类新的Ф-强增生型变分包含问题．在实自反Banach空间中，证明了这类变分包含问题解的存在唯一性及其带有混合误差项的Ishikawa迭代程序的收敛性．本文结
ah—hoc网络具有网络拓扑结构易变的特性，苒加上移动网络本身具有的通信带宽有限，电池能源有限等特性。使得设计适合ad-hoc的路由协议具有一定的难度。AODV（Ad Hoc On—demand D
当今社会是一个信息社会,各种交往、交际活动日益频繁,大到世界、国家,小到个人日常生活的各个方面,越来越离不开交往、交流、对话、沟通等活动,而这一切活动都必须借助语言
本文介绍了Web Services的协议栈及存在的安全问题,指出了WS-Security存在的原因,介绍了Web Services安全规范,解释了WS-Security如何实现消息层安全即端到端的安全。最后给