论文部分内容阅读
Ｄｏｍａｉｎ理论作为计算机程序设计语言研究的数学基础，序和拓扑的相互结合在这一领域中起着基本而重要的作用，本文力图从Ｄｏｍａｉｎ理论产生的背景，它在几个方面的发展，反映Ｄｏｍａｉｎ理论与拓扑的紧密联系，使我们看到序和拓扑的结合怎样应用于程序设计语言研究。
Domain理论与拓扑
【摘 要】
：
Ｄｏｍａｉｎ理论作为计算机程序设计语言研究的数学基础，序和拓扑的相互结合在这一领域中起着基本而重要的作用，本文力图从Ｄｏｍａｉｎ理论产生的背景，它在几个方面的发展，反映Ｄｏｍａｉｎ理论与拓扑的紧密联系，使我
【机 构】
：
四川联合大学数学研究所
【出 处】
：
数学进展
【发表日期】
：
1999年2期
【基金项目】
：
国家自然科学基金,国家教委博士点基金,国家教委高等院校数学研究中心资助项目
其他文献
以自上而下的方式展开的城市化过程中,农村土地被政府大量征用,导致了大量的农民失去土地而被动的进入城市生活。面对身份从农民到市民的转变,多数人表示对城市生活的不适应
Painleve方程是六类最重要的二阶代数常微分方程。虽然Painleve是从纯粹数学的考虑发现这些方程的，但如今它们与许多数学和物理问题密切相关，且许多解析的，代数的和几何的性质不
不同网络之间的切换问题是网络间互操作的重要组成部分，尤其是当前备受关注的TD-LTE与TD-SCDMA的切换问题。该文在对常规切换机制剖析的基础上，通过详尽的理论分析，根据现有切换
解放思想的过程,实质上也是思维方式的发展过程.在促进思维方式发展的过程中,必须始终反对形式主义,彻底清除人们头脑中的愚民意识,在东西方物质文化的交流中不断更新、提高
本文用筱原一男的三种建筑原空间来讨论他思想的转型：通过抽象，找到了象征的精髓，再转入即物性。如同题记中筱原对本质的关心，以及德勒兹把表达从象征带回直白，从第一样式到第二样
近十年来，特别是近几年完备Ｌｉｅ代数的研究取得了许多进展，本文分以下六个方面介绍这一领域的研究状况，０）引言；１）完备Ｌｉｅ代数的分解和唯一性；２）一些完备Ｌｉｅ代数。３）可解完备Ｌｉｅ代数；４）完备Ｌｉｅ代数的极大环面子
当今关于Ad Hoc网络中的路由协议在无线Mesh网络中受到了广泛的使用,将其应用与无线Mesh网络环境中,由于Ad Hoc与无线Mesh的区别,这种直接的应用不可避免的会出现许多的问题,
本文综述谱逼近的某些新进展，非线怀计算不稳定性，数据的不连续性和解的奇异性会破坏谱方法的高精度，各种滤波方法，本质不振荡多项式插值，正交逼近的重构造方法和某些Ｈｉｌｂｅｒｔ空间中的Ｊａｃｏｂｉ逼近
本文介绍复Ｂａｎａｃｈ空间几何学近年来的发展状况及其与向量值调和分析、Ｂ值鞅理论的联系。文章包括以下内容：１．几个反例；２．复凸性与复凸模；３．解析Ｒａｄｏｎ－Ｎｉｋｏｄｙｍ性质的分析特征；４．解析Ｒａｄｏｎ－Ｎｉｋｏｄｙｍ性质的几何特征；５．几种ＲＮ性质的比
三商映射是完备映射和开映射的共同推广。本文综述三商映射的理论，论术这三商映射，开映射，紧覆盖映射，诱导完备映之间的一些转换关系，提出了几个供进一步研究的问题。