论文部分内容阅读
证明了当X是稳定空间,M是一个特定的既不是L-domain也不是B-domian的DCPO时,[X→M]是连续DCPO.
函数空间连续性的一个注记
【摘 要】
：
证明了当X是稳定空间,M是一个特定的既不是L-domain也不是B-domian的DCPO时,[X→M]是连续DCPO.
【机 构】
：
四川大学数学学院
【出 处】
：
四川大学学报：自然科学版
【发表日期】
：
2004年4期
【基金项目】
：
国家自然科学基金，高等学校博士学科点专项科研项目
其他文献
从数据库加密入手,讨论了数据库的加密存储模型、密文数据库的密文查询和客户端SQL语句的分析,并在此基础上实现了数据库加密通用接口插件,用户可应用此接口进行数据库应用程
利用Robin特征值方法，对如下的脉冲时滞方程{uu(x，t)=a(t)△u(x，t)+b(t)△u(x，t-δ)，-h(x，t)u(x，t-σ)-q(x，t)f[u(x，t-ρ)]，t≠tk，u(x，tk^+-u(x，tk^+)=cku(x，tk)，k=1，2，3，…，ut(x，tk^+)-ut(x，tk^+)
研究了在初始企业价值固定的情况下,当企业破产成本和企业债务及免税价值存在时的企业总价值模型,该模型给出了债务免税价值与财务危机成本的数学表达式.通过模型的优化,求得
"Metamaterial"是本世纪物理学领域出现的一个新的学术词汇.拉丁语"meta-",可以表达"超出…,亚…,另类"等含义.对于metamaterial一词,目前尚未有一个严格的、权威的定义,但一
通过对Domain上μ拓扑性质及信息导数的研究,回答了Keye Matin于2000年提出的有关μ拓扑及信息导数的问题.
设{Xi}是标准化平稳正态序列,pn=EX1Xn+1,作者就pnlogn→∞的一种特殊情形得到了最大值与部分和的渐近联合分布.
本文针对一类带有未建模动态的非线性系统,在文献[1]的基础上设计了一种鲁棒自适应算法,并在理论上证明了系统的稳定性,利用这种算法,只要适当选择设计参数,可以使输出均方误
本文对一类严参数反馈系统或经过变换可化为该种类型的非线性系统,基于backstepping递推设计方法,进行了自适应控制的设计.在此过程中,我们获得了对参数进行修正的规则.应用L
1965年R.M.White和F.W.Voltmer发明叉指换能器以后,SAW技术引起学界广泛关注,SAW传播理论、叉指换能器分析的数理模型研究、各种基本结构、基本器件研究和应用研究旋即进入高
期刊
作者以数值计算为基础,对单纯形算法的思想、构建和迭代运算过程作了简单的介绍.通过传输线理论,分析得出对土壤复介电常数测试中所满足的复数超越方程,进而对该复数超越方程