论文部分内容阅读
本文通过对几种函数武操作系统(简称为FCS)模型的分析,并用统一的自动机观点来阐明彼此之间的联系和本质,从而表明,基于自动机风格的FFP 程序设计方法论是FOS 设计的重要策略,将FOS 描述成分层结构化、作用式的自动机网是范畴风格的设计在新一代语言操作系统中的体现。
自动机风格在函数式操作系统设计中的应用
【摘 要】
：
本文通过对几种函数武操作系统(简称为FCS)模型的分析,并用统一的自动机观点来阐明彼此之间的联系和本质,从而表明,基于自动机风格的FFP 程序设计方法论是FOS 设计的重要策略,将FOS 描述成分层结构化、作用式的自动机网是范畴风格的设计在新一代语言操作系统中的体现。
【机 构】
：
北京大学
【出 处】
：
计算机应用与软件
【发表日期】
：
1991年03期
其他文献
立体几何中,常有一些求极大、极小值问题,通常可以用下面几种方法来求.1应用二次函数求极值例:已知球的半径为R,要在球内作一个内接圆柱,问这个圆柱的底面半径和高为何值时,
烟雾病（Moyamoya Disease）具有特征性的经颅多普勒超声（transcranial Doppler，TCD）改变，应用其对疑似患者进行筛查，具有经济、无创及易操作的优点，特别对以缺血或非典型脑血管病为临
本文较详细地介绍了计算机辅助教学UNIX和C语言系统。该系统包括通用的课件开发和运行环境，以及辅助教学UNIX和C语言课件包两部分。本文还对面向课件作者的描述语言的设计及课
目的旨在通过回顾性研究卒中后癫痫发作及其复发情况，并分析其可能的影响因素，为临床治疗提供参考。方法将122例卒中后癫痫发作患者分组：单次癫痫发作（随访至少6个月只出现1次癫
目的 评估中国缺血性卒中(IS)或短暂生脑缺血发作(TIA)患者应用抗血栓药物(包括抗血小板药物和抗凝药物)的现况,并分析其影响因素.方法 采用横断面研究方法,调查2006年7月1日
并行处理是使大量处理机尽可能快地执行一个并行程序。如何合理地确定程序的并行粒度是并行处理机系统设计的关键。为了实现DDA 算法的并行处理,本文运用数据流模型表达该算法的计算过程,建立了一种改进的DDA 算法(PDDA),并对其并行性的有效发掘作了研究,提出了一种适宜的粗粒度并行思想,这个思想作为无耦合并行处理系统PACS研究的一部分已经得到验证。
在美国，医疗失误是第八大死因，据估计，每年可导致44000-98000位患者死亡。精确的死亡人数仍不确定，并存在争议，实际人数可能低于或高于上述数字。在美国，估计每年因可预防的用药不
PROLOG是一种逻辑程序设计语言,模块化是软件工程中的一个重要概念。本文介绍了PROLOG系统的模块化设计和实现技术,该系统已在IBM-4361中型机上实现。
图形服务是办公自动化系统所具备的主要功能之一,本文详细介绍了我们设计的一个图形服务站。文中首先从总体上介绍了以DPSS为中心的星型办公自动化信息管理系统,分析了微机同DPSS联机仿真软件,并根据部颁编码标准修改了原解码程序。基于JH3000的基本结构,完成了图形信息管理软件,使它作为该系统的图形服务站。