论文部分内容阅读
作者考查了两类重要拓扑即Hausdorff拓扑、Scott拓扑的对偶及它们各自何时可以看作对偶拓扑，并由此对Mislove和Lawson提出的一个公开问题作了部分回答．
Hausdorff拓扑与Scott拓扑的对偶
【摘 要】
：
作者考查了两类重要拓扑即Hausdorff拓扑、Scott拓扑的对偶及它们各自何时可以看作对偶拓扑，并由此对Mislove和Lawson提出的一个公开问题作了部分回答．
【机 构】
：
四川大学数学学院,电子科技大学应用数学学院,四川大学长江数学中心
【出 处】
：
四川大学学报：自然科学版
【发表日期】
：
2008年2期
【基金项目】
：
国家自然科学基金（10331010）,教育部博士点基金
其他文献
作者对Rosenau-Burgers方程的初边值问题进行了数值研究，提出了一个三层平均隐式差分格式，讨论了差分解的存在唯一性，并分析了该格式的二阶收敛性与稳定性，数值试验验证了该方法
本文用一致抛物型算子逼近退化型抛物算子的方法，研究了一类变系数退化Kolmogoroff算子所对应的退化抛物方程解的存在性，并给出了解的局部Schauder估计．
作者对广义对称正则长波方程的初边值问题提出了三层守恒型差分格式，该格式能很好模拟原问题的守恒性质，然后分析了该格式的二阶收敛性与稳定性．数值算例表明，本文的格式是可行的
旁瓣对消技术是一种广泛应用于阵列雷达中的空域滤波技术，在理想干扰背景下有良好的抑制干扰的性能．然而在非理想干扰背景下，其抑制干扰的性能将急剧下降．此时若沿用匹配滤波器进
基于确定输油管道多个漏失点的实际背景,首次提出一种描述具有多个点热源的抛物型偏微分方程源反问题新模型,再利用热变换将之转换成相应的双曲型点波源反问题,进而在给定条
针对多人非合作对策难以求Nash均衡解的问题,作者对遗传算法中的种群分化算法进行改进,以解决这个问题.仿真实验的结果表明,对于求解Nash均衡解,此算法有了比较良好的效果.
作者提出了一种基于标准论域确定隶属函数的新方法．该方法对语言值集进行通盘考虑，而不是孤立地确定某一个语言值的隶属函数．作者首先明确提出了标准论域的概念，在标准论域上，语言
作者在LF拓扑空间中引入了u闭包算子，并由此定义了u闭集、u开集，从而导出了LF-u拓扑空间．然后作者讨论了由诱导的LF拓扑空间导出的u拓扑与原空间导出的u拓扑所诱导的LF拓扑之间
对Darcy—Stokes方程，作者利用局部压力梯度投影的技巧，提出了稳定的P1-P1有限元格式，证明了方法的稳定性，导出了误差估计．数值实验验证了该方法对Darcy—Stokes方程有效．
作者讨论了一类具耗散项的非线性四阶波动方程utt＋△^2u＋u＋δut=｜u｜^p-1u边值问题的爆破性质．依据势井理论，通过构造修正的不稳定集，作者给出了解爆破的一个充分必要条件．