【摘 要】
：
本文研究了连续d-cone的Sandwich性质,证明连续d-cone的Sandwich性质关于乘积和连续线性收缩封闭.特别地,本文证明了：设X是连续domain,C是连续d-cone,下述两条等价：（1）任给Scott
【基金项目】
：
国家自然科学基金（11371262）
论文部分内容阅读
本文研究了连续d-cone的Sandwich性质,证明连续d-cone的Sandwich性质关于乘积和连续线性收缩封闭.特别地,本文证明了：设X是连续domain,C是连续d-cone,下述两条等价：（1）任给Scott连续映射∧q∧p,：X×C→-R＋满足∧q≤∧p,若对任意x∈X,∧q（x,-）,∧p（x,-）：C→-R＋分别是超线性的和子线性的,则存在Scott连续函数∧∧：X×C→-R＋使得∧q≤∧（A）≤∧p且对任意x∈X有∧（A）（x,-）：C→-R＋是线性函数;（2）X是
其他文献
本文在自反Banach空间中对可数族Bregman弱相对非扩张映象的不动点集与均衡问题解集的公共元引入一种新的混合迭代算法.在对参数进行适当限制后,本文证明了此迭代算法产生的
确定有限域上的正规基,特别是高斯正规基的复杂度是一个有趣的问题.本文利用有限域的性质给出了有限域上一类（n,k）（k≥3）型高斯正规基的对偶基的复杂度的上下界,由此确定了有限域
通过T0空间的特殊化序定义了一类新的拓扑空间——定向空间.该拓扑空间满足定向完备偏序集赋予Scott拓扑所具有的一些性质.特别地,本文证明了所有定向空间及连续函数构成的范
本文应用锥上的不动点定理研究了三阶四点边值问题{um（t）＋f（t,u（t）_=0,t∈[0,1],u（0）=αu（ξ）,u（1）＋βu（η）=0，un（0）=0正解的存在性，其中α和β是正的参数，0≤ξ≤η≤1．在f满足适当的增长条件下，本
在domain理论中，事件结构和信息系统是domain的逻辑表示的主要工具．通过研究事件结构和它所对应的domain结构之间的关系，作者提出了L-稳定事件结构以及L-映射的概念，证明了L-稳定
图像加密技术一直是图像处理中的热点问题,把分数阶微积分引入图像加密技术中更是当代前沿研究课题.本文基于分数阶微积分及分数阶Fourier变换的方法,提出了一种新的数字水印
作者引入了多项式数列的概念,给出并证明了它的一些性质.在此基础之上通过利用门限秘密共享的思想和非循环多项式数列的特性设计出具有两类不同访问权限的（u＋v,t＋1）秘密共享门限
本文对于稳态自然对流问题建立了一种内罚有限元格式.该方法通过在通常的混合Galerkin形式中添加能够对速度、压力和温度的梯度跳跃加以L^2-控制的稳定项有效地解决了对流占
本文讨论了一类具有时滞的二阶微分方程的脉冲稳定化问题,分别得到了在脉冲和周期脉冲控制下的指数稳定性的判别准则,推广和改进了最近的一些结果.例子及数值模拟表明所得理
利用MATHEMATICA里的Nsolve命令计算出满旗流形G2/T在差常数倍的情况下有十二个G-不变的爱因斯坦度量,其中六个是Khler爱因斯坦度量,六个非Khler爱因斯坦度量.同样用此方