Z-拟代数Domain

来源 :四川大学学报：自然科学版 | 被引量 : 0次 | 上传用户：douliangster

【摘要】

：

对一般的子集系统Z,引入Z-拟代数domain的概念,证明了Z-domain P是Z-拟代数的当且仅当P上的Z-Scott拓扑σz(P)在集包含序下是代数的超连续格,即超代数格;Z-拟代数domain P上

【作者】

：

杨金波罗懋康

【机构】

：

四川大学数学学院

【出处】

：

四川大学学报：自然科学版

【发表日期】

：

2005年2期

【关键词】

：

Z-拟代数domain 超代数格 Z-Scott拓扑 Z-quasialgebraic domain hyperalgebraic lattice Z-Sc

【基金项目】

：

国家自然科学基金，国家自然科学基金，高等学校博士学科点专项科研项目

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

对一般的子集系统Z,引入Z-拟代数domain的概念,证明了Z-domain P是Z-拟代数的当且仅当P上的Z-Scott拓扑σz(P)在集包含序下是代数的超连续格,即超代数格;Z-拟代数domain P上的Z-Scott拓扑σz(P)是Sober的当且仅当空间(P,σz(P))具有弱Rudin性质.

其他文献

一类非线性三阶常微分方程的多重正解

考察了一类三阶常微分方程的n个正解的存在性,其中非线性项含有一阶导数,n是一个任意的自然数.结论的主要条件是局部的.换句话说,如果非线性项在某些有界集上的"高度"是适当

期刊

非线性三阶常微分方程边值问题正解存在性nonlinear third-order ordinary differential equation bou

几种重金属离子对组培盾叶薯蓣叶绿素含量的影响

研究了重金属离子Cd^2＋、Hg^2＋、Cr^6＋污染对组培盾叶著蓣叶绿素含量的影响．结果显示：当重金属离子浓度较低时，组培盾叶薯蓣叶绿素含量随重金属浓度增加而增加．随着重金属离子浓度增

期刊

重金属盾叶薯蓣叶绿素影响heavy metal chlorophyll i impact Dioscorea zingiberensis

一种基于DSP的软件无线电调制解调实验平台

设计实现了一套基于软件无线电的软件化MODEM实验系统，该系统硬件以TMS320C6711数字信号处理器（DSP）为核心，实现软件无线电多制式调制解调功能，并设计硬件接口完成与主机实时通信．

期刊

软件无线电虚拟仪器DSPMODEMsoftware radio virtual instrument DSP MODEM

四阶P—Laplacian算子方程正解的存在性与多解性

利用锥拉伸与锥压缩不动点定理讨论了一类非线性四阶p-Laplacian算子方程正解的存在性与多解性,得到了新的结果.

期刊

四阶p-Laplacian算子不动点正锥正解fourth-order p-Laplacian operator fixed point positi

超短脉冲3次谐波转换研究

针对由三阶非线性效应引起的Ⅰ类角度失谐3次谐波转换进行了研究，讨论了群速度失配、自相位调制和交叉相位调制、晶体厚度以及失谐角度对3倍频光脉冲波形、频谱及转换效率的影

期刊

群速度延迟自相位调制交叉相位调制失谐角度飞秒激光group-velocity mismatch self-and cross-phase modul

创新食品安全“四位一体”机制探索梅州现代农业发展新路

摘要：“民以食为天，食以安为先”，食品安全事关国计民生。加大食品安全监管，落实从田头到餐桌的全程监管责任是保障食品安全的治标之法，而加快转变农业发展方式，推动食品产业集约化、规模化、标准化的建设，通过产业化组织把分散农户带进大市场则是解决食品安全问题的治本之策。该文就广东省梅州市的现状，提出搭建一个“政府+科研+企业+社会”四位一体资源共享平台，以走出一条现代农业发展新路。　　关键词：食品安全；

期刊

食品安全“四位一体”创新机制

基于DPPEJ的并行计算研究

对DPPEJ（Distributed Parallel Programming Environmentfor Java）软件包的工作原理作了详细的介绍，并采用Java语言实现了运行于DPPEJ环境下的FFT迭代算法和递归算法的并行计算

期刊

JAVADPPEJFFT并行计算Java DPPEJ FFT parallel computing

关于有限域Fp^2上的原根求法的注记

在四川大学学报(自然科学版)2003年第3期"关于有限域Fp2上的原根"一文中,霍家佳等给出了一个从有限域Fp的原根出发求Fp2的原根的算法,这个算法共含三大步.在本文中,在不改变

期刊

有限域原根算法分析运算量finite fields primitive roots algorithm analysis arithmetic l

异构数据库数据交换的安全解决方案

目前各种软件所使用的操作系统和数据库，都存在很大的差异，而在此基础上安全数据交换就成为了一个必须解决的问题．本文论述了如何利用Java，XML和DOM技术来解决医保系统跨平台异构

期刊

异构数据库数据交换网络安全heterogeneous databases data exchange network security

Z-拟代数Domain

其他学术论文