切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于Monad的非确定性进程网描述方法
基于Monad的非确定性进程网描述方法
来源 :湘潭大学自然科学学报 | 被引量 : 0次 | 上传用户:sbsb5503564
【摘 要】
:
非确定性进程网是纯函数数式操作系统中的一个重要问题,但是纯函数式语言缺乏处理非确定性的功能,本文给出了一个非确定性Monad用此Monad在纯函数式语言中描述了非稳定性进程网。
【作 者】
:
袁华强
孙永强
【机 构】
:
湘潭大学计算机科学系,上海交通大学计算机科学工程系
【出 处】
:
湘潭大学自然科学学报
【发表日期】
:
1997年3期
【关键词】
:
非确定性
MONAD
程序设计
进程网
操作系统
non-determinsm
monad
pure functional programming
pro
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
非确定性进程网是纯函数数式操作系统中的一个重要问题,但是纯函数式语言缺乏处理非确定性的功能,本文给出了一个非确定性Monad用此Monad在纯函数式语言中描述了非稳定性进程网。
其他文献
“碗式”太阳能电池模组的设计
本文通过3D绘图的方式构建了一种“碗式”太阳能电池模组,这种形状的太阳能电池模组可以在不增加成本投入的情况下减少由于一天中太阳光入射方位角变化所带来的能量浪费。我
期刊
太阳能
发电板
转换效率
功率
形状
入射角度
通风机
solar energy
power generation board
conversion effic
钢筋混凝土偏心受压构件受力性能模拟研究
本文利用通用有限元软件ANSYS,针对GFRP约束钢筋混凝土构件的力学性能,结合试验,建立了三维有限元数值分析模型,得到了GFRP约束钢筋混凝土构件的极限承载力值以及其荷载-跨中挠度
期刊
GFRP
约束混凝土
非线性有限元分析
GFRP
Confined concrete
Nonlinear finite element analysis
符号结构的关联网络构造与检索
本文旨在使用动态符号结构构造一个数据递归分布表示的关联网络,以精馏中N_-组分分腐方法生成为例示,阐述了关联网络构造的有关规则、定义、符号变量的约束函数,引进了模式映象的概念,最后对不定的m_-枝与或图的检索给出了动态的递归算法描述。实验结果表明与期望相符。
期刊
符号结构
关联网络
数据结构
检索
dynamic symbol structures
connectionical network
variable bin
粘弹—粘塑相似性的一个非线性原理
期刊
热流变性材料
蠕变势
流变
非线性
建筑设计中视觉审美元素的构建研究
在平面设计中,正确把握视觉元素可以使设计作品获得更多审美价值,丰富受众的审美体验。为此,文章分析了平面设计中视觉审美元素的重要作用及审美特征,针对文字、图形、色彩等几项
期刊
平面设计
视觉审美元素
构建
Graphic design
Visual aesthetic elements
Construction
基于单片机的智能温控风扇系统设计
本文以STC89C52单片机作为主控制器,应用温度传感器、红外传感器、LCD1602显示模块等,对常用的电风扇加以改进,设计了一种智能温控风扇系统。实现当用户在风扇前一定距离、且
期刊
STC89C52单片机
温度传感器
红外传感器
智能控制
水利工程施工中混凝土裂缝防治技术
泥中游离氧化钙和氧化镁的熟化程度、混凝土热胀冷缩性能、施工过程中温差大是混凝土产生裂缝的主要原因。为提高施工质量,减少裂缝,施工过程中,应采取优化原材料配比、控制
期刊
水利施工
混凝土裂缝
防治技术
Water conservancy construction
Concrete crack
Prevention and c
某大型输水工程膨胀岩土滑坡处理技术
某大型输水渠道工程在经过膨胀岩土的地区时,根据此工程各个环节所发生的滑坡情况,总共可以分为三种类型。笔者结合多年的工作经验,分析和研究了输水渠道工程中,膨胀岩土滑坡
期刊
渠道工程
膨胀岩土
滑坡处理
Channel engineering
Expansive rock and soil
L'andslide treatmen
铁电极耦合过硫酸盐降解典型PPCP的效能及机理
本文研究了铁电极活化过硫酸钠(EC/PS)产生自由基降解奥卡西平的反应,该方法10 min内对奥卡西平的去除率(75%)远远高于单独电絮凝(10%)和单独过硫酸盐氧化(2%)﹒探究了反应体系中奥卡西
期刊
奥卡西平
自由基
电化学
动力学
oxcarbazepine
radicals
electrochemical
kinetics
ZQSn10—2合金致密性的研究
本文采用加合金元素铋的方法对ZQSn10-2合金致密性进行了研究,结果表明加入适量的金属性能大大提高ZQSn10-2合金的耐油压性能。
期刊
铋
合金
致密性
铸件
bismuth
ZQSn10-2 alloy
compactness
与本文相关的学术论文