切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
关于概率幂domain的一个注记
关于概率幂domain的一个注记
来源 :四川大学学报:自然科学版 | 被引量 : 0次 | 上传用户:pppxulan
【摘 要】
:
概率幂domain是domain理论中一类非常重要的幂domain.1989年,Jones和P10t—kin证明了连续domain的概率幂domain连续.本文证明了若D是拟连续domain或SL—do—main,则D的概率幂doma
【作 者】
:
赵浩然
寇辉
【机 构】
:
四川大学数学学院
【出 处】
:
四川大学学报:自然科学版
【发表日期】
:
2012年4期
【关键词】
:
概率幂domain
拟连续DOMAIN
交连续
连续DOMAIN
probabilistic powerdomain
quasicontinuous doma
【基金项目】
:
国家自然科学基金(10871137)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
概率幂domain是domain理论中一类非常重要的幂domain.1989年,Jones和P10t—kin证明了连续domain的概率幂domain连续.本文证明了若D是拟连续domain或SL—do—main,则D的概率幂domain连续当且仅当D连续.
其他文献
一维半线性色散耗散波动方程的紧致差分格式
作者对一维半线性色散耗散波动方程建立了一类紧致差分格式,讨论了差分解的存在唯一性,分析了该格式的收敛性、稳定性,得到了收敛阶为O(τ^2+h^4).数值试验验证了方法的有效性.
期刊
色散耗散波动方程
半线性
紧致差分格式
稳定性
收敛性
dispersion dissipation wave equation semilinear com
HPLC同时测定虎耳草中的岩白菜素、原儿茶酸和没食子酸的含量
建立了以离子液体1-丁基-3-甲基咪唑六氟磷酸盐([BMIm]PF2)为萃取剂,结合超声辅助萃取,利用高效液相色谱法同时分离测定虎耳草中的岩白菜素、原儿茶酸和没食子酸三种有效成分的方
期刊
离子液体
超声辅助
高效液相色谱
虎耳草
Ionic liquid
Ultrasonic-assisted
High performance liquid
芒果苷对人肺腺癌A549细胞增殖的抑制作用及其机制研究
利用相差显微镜观察细胞形态变化情况;用MTT法测定芒果苷对A549细胞增殖作用的影响以及Western-Blot法检测芒果苷对Caspase-3、Caspase-8、Caspase-9蛋白分子表达水平的影响.
期刊
芒果苷
A549
细胞凋亡
CASPASE-3
CASPASE-8
CASPASE-9
mangiferin
human lung cancer cell l
一类整数矩阵的最小奇异值的界
令正整数集S=(x1,x2,…,xn)(n≥1,xi∈Z+)为因子封闭集,即对任意的xi∈S,它的所有正因子都包含在S中,S上的幂GCD矩阵及倒数幂GCD矩阵分别定义为(S^e):=((xi,xj)^e)及(1/S^2):(1/(xi,xj)^e).本文给出矩阵(S^
期刊
幂GCD矩阵
倒数幂GCD矩阵
奇异值
因子封闭集
power GCD matrix
reciprocal power GCD matrices
singu
鹿茸对小鼠脑组织抗氧化指标和凋亡相关蛋白表达的影响
【目的】研究鹿茸对小鼠脑组织抗氧化指标和凋亡相关蛋白表达的影响,为鹿茸的抗氧化和抗凋亡作用研究提供资料。【方法】选用48只6周龄雌性昆明小鼠,随机分为正常组(灌胃生理
期刊
鹿茸
免疫组化
单胺氧化酶(MAO)
谷胱甘肽过氧化物酶(GSH-Px)
Bax
Bcl-2
Pilose antler
immunohistochemis
其他学术论文