论文部分内容阅读
本文在定向完备偏序集上引入网的广义S收敛的概念,并给出了拟连续domain的如下网式刻画：定向完备偏序集是拟连续的当且仅当广义S收敛关于Scott拓扑是拓扑的.该结果推广了Domain理论中关于连续domain的类似刻画.
拟连续domain的网式刻画
【摘 要】
：
本文在定向完备偏序集上引入网的广义S收敛的概念,并给出了拟连续domain的如下网式刻画：定向完备偏序集是拟连续的当且仅当广义S收敛关于Scott拓扑是拓扑的.该结果推广了Domai
【机 构】
：
四川大学数学学院
【出 处】
：
四川大学学报：自然科学版
【发表日期】
：
2014年3期
其他文献
计算了DDσ相互作用的形状因子和耦合常数.为了把D0介子具有内部结构的效应考虑进去,用Bethe-Salpeter振幅来描述重介子态.夸克流在重介子态之间的矩阵元通过Mandelstam修正
在本文中，我们提出了一种新的同步类型（混合函数投影同步），其中响应系统含有标度因子矩阵，驱动系统含有标度函数矩阵．从保密通信的角度来讲，更多的标度因子可以进一步增加通信的保密
根据大型脉冲功率装置中的绝缘堆的结构特点,设计了一个新的四层轴向小型绝缘堆.它由四层绝缘环构成,分隔水界面与真空界面.在该绝缘结构开展静电场计算和电路仿真计算后,进
设置不同的外电场参量,采用B3P86/cc-PV5Z方法优化计算,获得不同外电场中NH分子的键长、偶极矩、振动频率和红外光谱等物理性质参数.在此基础上采用单双取代耦合团簇CCSD（T）方
本文应用分子动力学（MD）模拟方法，研究耐热炸药六硝基芪（HNS）与常用高聚物粘结剂三元乙丙橡胶（EP-35型）所构成的HNS／EP-35高聚物粘结炸药（PBXs）的力学性能随温度和高聚物浓度而变化的规
周期边值问题是非线性分析中的一个重要问题.作者借助广义Green函数,研究了二阶周期边值问题{u′′（t）＋λu（t）=f（t,u（t））,0〈t〈1,u（0）=u（1）,u′（0）=u′（1）,的广义Green函数和其可解性,其中λ
本文利用具有线性结构的多项式和线性化多项式得到了一种形式为L1（x）＋L-1（γ）h（f（x））的置换多项式,该结果推广了Kyureghyan在2011年得到的一个结果.本文还利用具有线性结构的多项式和
本文作者考虑了独立同分布情形下广义logistic分布和混合广义logistic分布最大值的渐进分布及其赋范常数，并得到了相应的最大值收敛到极值分布的点点收敛速度．
通过透明圈法从长蛸胃肠道内筛选出4株产蛋白酶的菌株,L-1、L-2、L-3、L-5,采用偶氮酪蛋白法测定粗酶液蛋白酶活力,采用SDS-PEAG活性电泳测定粗酶液中具有蛋白水解活性的蛋白
本文针对双定子单转子旋转型超声电机工作时存在的径向滑移现象,采用有限元法对其进行了分析.首先,通过建立单一定子的有限元模型并在定子中性面上施加行波运动方程,得到定子