论文部分内容阅读
非确定性进程网是纯函数数式操作系统中的一个重要问题，但是纯函数式语言缺乏处理非确定性的功能，本文给出了一个非确定性Ｍｏｎａｄ用此Ｍｏｎａｄ在纯函数式语言中描述了非稳定性进程网。
基于Monad的非确定性进程网描述方法
【摘 要】
：
非确定性进程网是纯函数数式操作系统中的一个重要问题，但是纯函数式语言缺乏处理非确定性的功能，本文给出了一个非确定性Ｍｏｎａｄ用此Ｍｏｎａｄ在纯函数式语言中描述了非稳定性进程网。
【机 构】
：
湘潭大学计算机科学系,上海交通大学计算机科学工程系
【出 处】
：
湘潭大学自然科学学报
【发表日期】
：
1997年3期
其他文献
本文通过3D绘图的方式构建了一种“碗式”太阳能电池模组,这种形状的太阳能电池模组可以在不增加成本投入的情况下减少由于一天中太阳光入射方位角变化所带来的能量浪费。我
本文利用通用有限元软件ANSYS，针对GFRP约束钢筋混凝土构件的力学性能，结合试验，建立了三维有限元数值分析模型，得到了GFRP约束钢筋混凝土构件的极限承载力值以及其荷载－跨中挠度
本文旨在使用动态符号结构构造一个数据递归分布表示的关联网络,以精馏中N_-组分分腐方法生成为例示,阐述了关联网络构造的有关规则、定义、符号变量的约束函数,引进了模式映象的概念,最后对不定的m_-枝与或图的检索给出了动态的递归算法描述。实验结果表明与期望相符。
在平面设计中，正确把握视觉元素可以使设计作品获得更多审美价值，丰富受众的审美体验。为此，文章分析了平面设计中视觉审美元素的重要作用及审美特征，针对文字、图形、色彩等几项
本文以STC89C52单片机作为主控制器,应用温度传感器、红外传感器、LCD1602显示模块等,对常用的电风扇加以改进,设计了一种智能温控风扇系统。实现当用户在风扇前一定距离、且
泥中游离氧化钙和氧化镁的熟化程度、混凝土热胀冷缩性能、施工过程中温差大是混凝土产生裂缝的主要原因。为提高施工质量,减少裂缝,施工过程中,应采取优化原材料配比、控制
某大型输水渠道工程在经过膨胀岩土的地区时,根据此工程各个环节所发生的滑坡情况,总共可以分为三种类型。笔者结合多年的工作经验,分析和研究了输水渠道工程中,膨胀岩土滑坡
本文研究了铁电极活化过硫酸钠（EC/PS）产生自由基降解奥卡西平的反应,该方法10 min内对奥卡西平的去除率（75%）远远高于单独电絮凝（10%）和单独过硫酸盐氧化（2%）﹒探究了反应体系中奥卡西
本文采用加合金元素铋的方法对ＺＱＳｎ１０－２合金致密性进行了研究，结果表明加入适量的金属性能大大提高ＺＱＳｎ１０－２合金的耐油压性能。