论文部分内容阅读
对任意一族具有小元的dcpo {Li}i∈I,证明了若每个σ(Li)是连续格,则∏Li上的Scott拓扑恰是诸Scott拓扑σ(Li)的积拓扑,得到了关于连续函数way-below关系的一些结果.
关于积Domain上的Scott拓扑和连续函数Way-below关系的一点讨论
【摘 要】
：
对任意一族具有小元的dcpo {Li}i∈I,证明了若每个σ(Li)是连续格,则∏Li上的Scott拓扑恰是诸Scott拓扑σ(Li)的积拓扑,得到了关于连续函数way-below关系的一些结果.
【机 构】
：
四川大学数学学院
【出 处】
：
四川大学学报：自然科学版
【发表日期】
：
2004年6期
【基金项目】
：
高等学校博士学科点专项科研项目
其他文献
当前中波广播发射机的频率合成器一般都采用直接数字频率合成技术（DDS）设计,频率合成器输出的射频信号用作中波发射机工作的RF载波,同时调幅立体声广播和多部发射机并机工作时
通过构造具有指数函数因式的V泛函,研究了一类具时滞的变系数非线性微分系统,得到了该系统的全局指数稳定性和周期解存在的充分条件,并给出若干判据.
研究了具阻尼及动态边界条件的弹性板的指数可稳定性.运用C0-半群指数稳定性的频率域判据,得到了这种弹性系统的指数稳定性.
采用水热合成技术,以钛酸四丁酯和三水醋酸铅为原料,NaOH为矿化剂,合成了直径约12nm的钙钛矿结构钛酸铅纳米线.通过X射线衍射,扫描电子显微镜,X射线光电子能谱等技术对纳米线
研究了一类带调和势的、与Bose-Einstein凝聚的研究有密切的关系的Schroedinger方程：iφt=-1/2Δφ+1/2|x|^2φ+f(|φ|^p)φ的解,运用能量守衡定律和质量守衡定律和矢量分析的
提出了一种基于推广的粗糙集理论直接在不完备信息系统上进行数据挖掘的方法,并给出了该方法的算法和实例.该方法利用粗糙集理论直接对不完备信息系统进行知识约简,然后根据
讨论了基于数字信号处理器的自适应差分脉冲编码算法在语音采集应用中的实现.实现过程中,充分利用了C62xDSP的优点,对算法进行了更好的简化和优化.通过定点DSP实现浮点运算、
证明了一类与一阶导数x′有关的二阶奇异边值问题正解的存在性,这里的奇异问题是指在x=0和x′=0是奇异的.
作者对目前国际研究热点的Metamaterials(有特异材料,奇异材料,超常材料,左手性材料,负折射率材料,异向材料,元材料等多种中文译名)与光子晶体材料(即光子带隙材料、电磁波带
以产气量为指标测试了10种邻苯二甲酸酯的厌氧生物降解性状,发现随分子结构的变化,其厌氧终极降解速率和降解半衰期表现出较大差异,厌氧生物降解难易程度依次为:DMP=DEP＞DnPP＞D