论文部分内容阅读
formalball构成的偏序集为度量空间理论和domain理论提供了联系．作者考察了Ω-范畴的tensor完备化，证明了当度量空间被视为Ω-范畴时，其formalball构成的偏序集正好是它的tensor完备化．
关于度量空间的formal balls构成的偏序集
【摘 要】
：
formalball构成的偏序集为度量空间理论和domain理论提供了联系．作者考察了Ω-范畴的tensor完备化，证明了当度量空间被视为Ω-范畴时，其formalball构成的偏序集正好是它的tensor
【机 构】
：
四川大学数学学院
【出 处】
：
四川大学学报：自然科学版
【发表日期】
：
2010年1期
【基金项目】
：
Acknowledgement The author is grateful to Pro- fessor Dexue Zhang for his helpful guidance.
其他文献
基于局部压力梯度稳定化方法，作者提出了Navier—Stokes方程的一种新的有限元方法，其中速度V属于H^1连续的空间，压力P属于L2非连续的空间．利用Brouwer不动点定理，作者证明了离散解
在小波变换轮廓术中,采用一维小波变换去解调变形结构条纹包含的物体面形分布时,小波处理所带来的误差分布同被测物体的面形分布及其变化率存在联系.为了减小小波变换轮廓术中相位提取的误差,从小波变换的相关实质出发,提出了利用神经网络的强大学习能力和函数逼近功能来校正相位.该方法以提取相位的一阶和二阶差分、小波尺度因子等相关计算量作为多层前馈型反向传播网络的输入,通过对复杂样本的训练,实现了输入与误差之间的
我们使用转移矩阵方法，详细研究了纳米结构中的弹性电子的透射几率、自旋极化和电导，发现这些物理量敏感地依赖于周期性的磁电垒的周期数．随着周期数增加，共振劈裂数目增加，共振峰
DTMSN中现有基于历史记录路由策略所评估的投递率不能准确反映节点近期投递能力的变化情况．据此，提出一种根据节点能耗和队列占用评估的投递率进行数据包转发决策的路由策略．针
带缺陷的高强度X80管线钢基体相α—Fe裂纹顶端的变形机理对于揭示该材料的失效机理是非常重要的．采用嵌入原子方法（EAM）描述原子间作用势，由大型分子动力学并行软件LAMMPS（Large-
研究了微波在一级化学反应体系中的传播特点．首先将化学反应等效为组分随时间变化的混合物，利用Maxwell—Garnett理论和一级化学反应速率方程得到了反应体系等效介电常数随时间
研究了符号的观测长度、成形滤波器的滚降因子和过采样率对定时估计算法的影响，并对非线性方式采用平方律、四次方、绝对值和对数的四种前馈符号定时估计算法进行了分析，比较了
提出了用遗传算法优化的神经网络和PSO算法优化的神经网络图像复原算法,并对它们的复原效果进行了比较.先用优化算法对神经网络的结构进行优化,然后利用优化后的神经网络的学习和泛化能力,用一组样本图像对网络进行训练,建立退化图像与原图像之间的非线性映射关系,最后用训练好的进化神经网络对待复原的退化图像进行图像复原.实验结果表明复原的图像无论在主观视觉还是定量分析上都取得了很好的效果.
本文利用量子克隆机（QCM）在Bloch球表象中的描述，导出了最优态有关量子克隆机的通用幺正变换，该幺正变换仅需6个自由参数，它们的值与具体的输入态分布有关，可由Fiurdgek最优化条件
本文主要是研究金属铁经历冲击-卸载到熔化压力区，其内部发生熔化相变时，铁／蓝宝石界面的辐亮度和温度随时间演化特性，发现辐亮度随时间持续增强而界面却经历了一个慢降温过程，该