论文部分内容阅读
该文建立了一类新的Domain范畴--代数Domain和保逼近序的Scott连续函数的范畴AlgD<,<<>,及其满子范畴--有底(最小元)的代数Domain 和保逼近序的Scott连续函数的范畴AlgD<,<<>,并且给出了它们的极大的笛卡儿 闭的满子范畴.
一类Domain范畴
【摘 要】
：
该文建立了一类新的Domain范畴--代数Domain和保逼近序的Scott连续函数的范畴AlgD
【机 构】
：
首都师范大学
【出 处】
：
首都师范大学
【发表日期】
：
1999年期
其他文献
本文主要研究了有限点方法和数值激波不稳定现象.主要结果有: 1.对二维光滑函数，推导与给出了在任一点上二阶方向微商的极值公式，即一阶微商的梯度公式.设给定三个互不平行
该文是用微分包含的方法来描述股票价格的变动并利用终端财富效用最大化以及动态规划的方法来给带交易费用的欧式看涨期权定价,所考虑的模型与Aubinⅰ12ⅱ的模型基本上一致,
具有多个工作部件和温贮备部件的可修系统是可靠性理论中的一类典型系统，在电力系统、航空系统和工业系统中有着广泛的应用背景。修理工是可修系统的一个必要组成部分，在实际的
该文主要研究三维非定常半周期Stokes方程组.它描述的是不可压流体的蠕流(Creeping Flow).它还可以看成是线性化的非定常不可压Navier-Stokes方程组.因为在用时间积分格式离
鉴于递阶优化问题鲜明的实际背景和广泛的应用性，众多研究者对此进行了深入地研究，并且已广泛地应用在社会经济、工程技术、管理部门及军事等领域中。论文的主要研究对象为递阶
该文共分三章.第一章研究共轭波系,主要目的是找出展开Hardy空间论的基本对象;第二章建立了系统的Hardy空间理论;第三章是高维共轭温度系,做为一个典型的范例,它是前两章的基
论文较系统地研究了利用广义线性混合模型(GLMM)检测空间聚类和空间效应的问题，给出了一对基于Poisson模型的调整数据的Moran I空间聚类检测方法。这是一种全新的空间聚类检测
该文针对模糊系统理论研究的基础-模糊逻辑的形式演绎系统,将模糊集(概念的模糊化)和包含度(关系的模糊化)结合在一起,得到了一些结果.