切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于Monad的纯函数式语言通道系统设计
基于Monad的纯函数式语言通道系统设计
来源 :计算机科学 | 被引量 : 0次 | 上传用户:oliu1113
【摘 要】
:
本文通过状态转换器来定义I/O的文件系统,并用非确定性Monad描述了操作系统的进程网,从而给出了通道系统的语义.
【作 者】
:
袁华强
孙永强
【机 构】
:
东莞理工学院计算机科学与技术系,上海交通大学计算机科学与工程系
【出 处】
:
计算机科学
【发表日期】
:
2004年3期
【关键词】
:
纯函数式语言
通道系统
设计
文件系统
MONAD
操作系统
进程
Pure function language
Monad
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文通过状态转换器来定义I/O的文件系统,并用非确定性Monad描述了操作系统的进程网,从而给出了通道系统的语义.
其他文献
气流床干煤粉气化技术的发展
简述了气流床煤气化技术的应用状况和研究进展,分析了干煤粉气化的技术优势和存在的问题,并提出一些改进建议.
期刊
煤气化
气流床
干煤粉
SHELL
PRENFLO
技术发展
coal gasification
entrain bed
dry coal pulveriz
新型锅炉炉前型煤机的研制
根据黑烟形成与燃烧的机理以及现有机械炉排影响燃烧的不利因素,设计了CT/n型锅炉炉前型煤机。它适用于链条炉排取暖锅炉、工业锅炉或炉窑,是一种由燃烧散煤改为直接燃烧型煤的
期刊
锅炉
原煤散烧
炉前型煤机
boiler
scatter fire of raw coal
coal briquette machine before boil
褐煤改质制备炭分子筛的研究
研究了褐煤原料经热处理改质后制备炭分子筛的可能性,并考察了热解改质的工艺条件对产品空分性能的影响.结果表明,与褐煤改质前相比,热解改质后的褐煤制备的炭分子筛具有炭分
期刊
炭分子筛
褐煤
空分
CMS
lignite
air separation.
滴道选煤厂浮选煤泥综合利用的探索
介绍了中国销售总公司滴道选煤厂浮选煤泥销路窄,储存难等问题,提出了利用配煤型煤技术改善选煤厂浮选煤泥煤质特性,优化产品结构,提高煤炭综合利用的社会效益和经济效益的途径。
期刊
选煤石
综合利用
浮选煤泥
配煤
型煤
产品结构
效益
floatation slime
coal blending
briquette
product
国家经贸委提出今年煤炭产业目标
期刊
国家经贸委
煤炭产业
煤炭产量
煤炭生产秩序
供求信息
煤炭出口
日本勿来电厂8号机组燃用水煤浆的实践
从水煤浆的制备、贮存、运输和燃烧等各个方面阐述了日本勿来电厂8号机组燃用水煤浆的实践,着重介绍了8号机组的设备、燃料构成、水煤浆燃烧系统、运行评价.并对近几年的该厂
期刊
水煤浆
火力发电厂
制备
贮存
运输
燃烧
燃料
coal water mixture
utilization
Nakoso.
热水锅炉炉拱对炉内燃烧的影响及改进
以一台1.4MW热水锅炉作为研究对象,利用七孔探针测试了不同工况时炉拱下部的空气动力场,测试结果表明炉拱下部空气动力场对炉内燃料燃烧有较大影响。根据测试结果对炉拱进行
期刊
热水锅炉
炉拱
七孔探针
空气动力特性
水煤浆市场开发中的问题探讨
笔者就枣庄矿业集团公司在市场开发实践中遇到的一些具体问题:如煤矿就地建浆厂、在用户集中地区建浆厂及水煤浆销售的经济合理辐射范围等进行了探讨,并就水煤浆下一步发展提
期刊
水煤浆
市场开发
枣庄矿业集团公司
资源利用率
销售
coal water mixture
market development
problem explo
尾煤泥水煤浆高效制浆工艺在临涣选煤厂的应用
分析了临涣选煤厂浮选尾煤的性质及成浆性.为了把高粘性尾煤泥滤饼制备成水煤浆,研制了循环剪切桶和剪切泵.实践证明,浮选尾煤泥可以制备出浓度高、稳定时间长和流变性好的水
期刊
浮选尾煤
滤饼
水煤浆
高粘性
floatation tailings
filtration cake
coal water mixture
多重循环的软件流水:比较和提高
循环并行化是并行编译的核心问题之一.许多科学计算程序的大部分执行时间花费在循环上,有效开发循环中的并行性将提高整个程序的执行效率.多重循环最为常见,因此并行化多重循
期刊
软件流水算法
循环并行化
并行编译
软件开发
Software pipelining
Initiation interval
Parallelism
Multi
与本文相关的学术论文