论文部分内容阅读
研究了一些连续domain在幂等的连续自映射下的不动点集的性质,并证明了PF-domain在Scott连续自映射下的不动点集为连续的dcpo(定向完备集).
一些Scott连续自映射的不动点集的性质
【摘 要】
：
研究了一些连续domain在幂等的连续自映射下的不动点集的性质,并证明了PF-domain在Scott连续自映射下的不动点集为连续的dcpo(定向完备集).
【机 构】
：
徐州师范大学数学系
【出 处】
：
徐州师范大学学报：自然科学版
【发表日期】
：
2005年4期
【基金项目】
：
徐州师范大学校科研和教改项目
其他文献
建立健全企业全方位信息管理机构陶明德，陈霆当前正处于改革开放的形势下，企业的生产、经营范围不断扩大，信息在现代化管理中的作用越来越大。近年来全国各行各业都组建了经济技
在局部dcpo和相容dcpo中引入了交连续的概念,并证明了它们在半格情况下等价.本文的主要结果是定理1,定理2,定理3.
利用上下解方法以及解的渐近性质,讨论了一类时滞抛物型方程组的熄灭问题,证明了存在一个常齊*,当R<R*时,方程组存在唯一的全局解,当R>R*时,方程组的解熄灭.给出了解在有限时
风力发电系统往往安装在偏僻的、难以接近的或者气候不适合人类长期逗留的地域，传统的计划维修和事后维修方式不能满足要求。为保证风力发电系统可靠稳定运行，降低系统的维护成
高速公路是我国交通系统建设的重要组成部分,随着建设质量和建设水平的不断提高,为了保证经济成本投入能够得到最优化的回报,需要从高速公路工程建设前期开始,强化对其周围地
随着城市化建设进程的不断加快，市政路桥工程建设规模明显扩大，工程数量也日益增长，预应力施工技术作为市政路桥工程施工中的重要技术形式，该项施工技术的应用，直接关系着市政路桥
化合物C45H43NO17的晶体,在室温条件下,由[bpy][BF4]和L-（-）-二苯甲酰酒石酸合成并经95%乙醇重结晶而得.其结构通过元素分析、IR和1HNMR进行了表征,用X射线单晶衍射法测定了该
随着经济的快速发展,社会在不断的进步,煤与瓦斯突出现象作为深部回采中常见的安全问题,严重威胁矿井生产和人员安全。结合具体工程实际,在分析影响煤与瓦斯突出的地质因素的
中国特色文化自信，道路自信，理论自信，制度自信这“四个自信”是一个有机统一体，丰富和发展了中国特色社会主义的基本内涵。其中的“文化自信”是更基础，更广泛，更深厚的自信，同时也