论文部分内容阅读
概率幂domain是domain理论中一类非常重要的幂domain．1989年，Jones和P10t—kin证明了连续domain的概率幂domain连续．本文证明了若D是拟连续domain或SL—do—main，则D的概率幂domain连续当且仅当D连续．
关于概率幂domain的一个注记
【摘 要】
：
概率幂domain是domain理论中一类非常重要的幂domain．1989年，Jones和P10t—kin证明了连续domain的概率幂domain连续．本文证明了若D是拟连续domain或SL—do—main，则D的概率幂doma
【机 构】
：
四川大学数学学院
【出 处】
：
四川大学学报：自然科学版
【发表日期】
：
2012年4期
【基金项目】
：
国家自然科学基金（10871137）
其他文献
本文提出了集值映射的一种二阶导数，并讨论了其相关性质．运用此二阶导数以及二阶相依导数，作者建立了实赋范空间中集值优化问题的二阶必要最优性条件；同时，在有限维赋范空间中，建立
提高跟踪精度是雷达发展的重要方向之一.本文建立的雷达跟踪模型，将不同时刻的状态变量联合进行处理，通过改变状态转移矩阵，给出了一种使用多状态矢量的Kalman滤波以提高雷达跟
正电子湮没技术（PA T ）是一种无损的材料探测技术，它可以反映正电子所在处电子密度信息，而电子密度信息能反映材料内部微尺寸变化，正电子对于纳米尺寸缺陷的变化非常敏感。本文用
本文用密度泛函理论计算了32个三硝基芳香族炸药分子的原子化能Ae和其原子化能与分子结构能的比值Ae/E，并将理论计算值与对应炸药的撞击感度实验数值进行相关性分析，发现原子化
为了研究ΔNp63γ、ΔNp63a及其C端（p63aCT）在细胞凋亡中的作用,本研究扩增出人ΔNp63γ、ΔNp63a和p63aCT编码序列,并克隆至慢病毒表达载体pLVX-HA-Flag.通过将构建的pLVX-ΔN
作者对一维半线性色散耗散波动方程建立了一类紧致差分格式，讨论了差分解的存在唯一性，分析了该格式的收敛性、稳定性，得到了收敛阶为O（τ^2＋h^4）.数值试验验证了方法的有效性.
建立了以离子液体1-丁基-3-甲基咪唑六氟磷酸盐（[BMIm]PF2）为萃取剂，结合超声辅助萃取，利用高效液相色谱法同时分离测定虎耳草中的岩白菜素、原儿茶酸和没食子酸三种有效成分的方
利用相差显微镜观察细胞形态变化情况;用MTT法测定芒果苷对A549细胞增殖作用的影响以及Western-Blot法检测芒果苷对Caspase-3、Caspase-8、Caspase-9蛋白分子表达水平的影响.
令正整数集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^
【目的】研究鹿茸对小鼠脑组织抗氧化指标和凋亡相关蛋白表达的影响,为鹿茸的抗氧化和抗凋亡作用研究提供资料。【方法】选用48只6周龄雌性昆明小鼠,随机分为正常组（灌胃生理