拟信息基,ω-代数Cpo,和SFP domain

来源 :数学的实践与认识 | 被引量 : 0次 | 上传用户：eric73384

【摘要】

：

G.Sambin引人了(代数)信息基的概念,并证明了代数Scott Domain范畴和信息基范畴是等价的.B.R.C.Bedregal给出了ω-代数cpo和SFP domain的刻划.而G.Q.Zhang通过序结构给出了SF

【作者】

：

陈学友李庆国曹永林

【机构】

：

山东理工大学数学与信息科学学院,湖南大学数学与计量经济学院

【出处】

：

数学的实践与认识

【发表日期】

：

2004年期

【关键词】

：

ω-代数cpo SFP domain 拟信息基

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

G.Sambin引人了(代数)信息基的概念,并证明了代数Scott Domain范畴和信息基范畴是等价的.B.R.C.Bedregal给出了ω-代数cpo和SFP domain的刻划.而G.Q.Zhang通过序结构给出了SFP domain的刻划.本文将引入了拟信息基的概念并给出了ω-代数cpo和SFP domain的刻划.

其他文献

贝雷片挂蓝主桁设计与施工

本文就贝雷片作公路大跨径连续梁挂蓝主桁进行设计和施工，按照理论计算的方法设计贝雷片挂蓝主桁，并通过实际施工对该设计结构进行了验证；同时根据施工过程中出现的一些情况，浅谈

期刊

贝雷片挂蓝主桁设计要点

浅议既有线站场改造封锁过渡施工

铁路站场在既有线改造施工中，工程规模大，涉及专业多，技术复杂，安全要求高，在首要保证行车安全的基础上还要确保设备安全、运输畅通等要求，使站场改造施工顺利进行，必须编制科学合理

期刊

既有线改造站场施工封锁过渡方案

高层建筑灌注桩地基加固施工处理技术

作者经过多年的探索和实践,总结了一套灌注桩后压浆法桩端地基加固的施工技术，文章介绍灌注桩后压浆法桩端地基加固施工技术适用的地质条件、加固机理,以及参数的确定与施工工

期刊

灌注桩后压浆压浆管地基加固

南水北调漳古段弱膨胀土换填施工质量控制

膨胀土具有吸水膨胀软化和失水收缩干裂的特性,同时具有超固结性和多裂隙性，素有“逢堑必滑，无堤不塌”之说，容易对衬砌结构造成破坏，影响渠道输水安全。南水北调中线一期工程高

期刊

弱膨胀土换填质量控制

桥梁抗震设计及对策分析

为保障公路桥梁设施的完好，发挥其在抗震救灾中的作用，需对公路桥梁设计进行深入的抗震计算和研究。本文介绍了桥梁抗震设计基本原理，分析了桥梁抗震设计对策。

期刊

桥梁抗震设计对策

箱涵大体积混凝土裂缝产生原因及对策分析

混凝土裂缝在施工中的不同阶段都不同程度存在，引起裂缝的原因比较复杂，本文旨在通过对裂缝产生的原因进行分析探讨，从配合比设计、原材料选用、温控措施以及加强大体积混凝土施

期刊

南水北调箱涵工程大体积混凝土裂缝控制

浅谈水利工程施工中存在的安全问题和解决方案

在我国的社会发展中，水利水电工程起着举足轻重的作用，水利工程的施工是一个技术量很高的工程，每一道工序的施工技术都有严格的规定和要求.正因为每一个大型的水利工程都是一项

期刊

水利工程施工过程安全问题解决方案

城市道路交通问题探讨

城市交通对于居民的日常出行甚至对于一个城市的形象都具有非常大的影响，本文以下内容将对城市道路交通问题进行探讨，仅供参考。

期刊

城市道路交通拥挤

浅谈如何加强市政道路建设中的施工质量

随着城市交通的日益便捷，这就在一定程度上对市政道路的质量提出了更高的要求，本文主要从在道路施工过程中对一些质量控制要点进行分析和探讨，并对如何加强市政道路建设提出了一

期刊

市政道路施工前施工中控制

基于软土工程预应力管桩的处理技术分析

近年来随着经济发展，土地的开发，以往管桩的施工技术已经不太合适现时的条件需要。管桩的施工方法需要不断改进与更新。本文通过软土地区偏斜预应力管桩实例,为同行者对处理类

期刊

预应力管桩锚杆静压桩加固处理缺陷桩

拟信息基,ω-代数Cpo,和SFP domain

与本文相关的学术论文