【摘 要】
：
函数式语言的突出特点是特别适合于并行处理.本文着重讨论函数式语言——FP在多处理机系统中并行实现的方法.文中的FP语言是在John Backus’FP的基础上增加了流的功能和类型
【机 构】
：
上海交通大学计算机科学与工程系,上海交通大学计算机科学与工程系上海200030,上海200030
论文部分内容阅读
函数式语言的突出特点是特别适合于并行处理.本文着重讨论函数式语言——FP在多处理机系统中并行实现的方法.文中的FP语言是在John Backus’FP的基础上增加了流的功能和类型定义.在[1,2]原有的理论基础上,提出了一个改进的结合LE计值语义的多步向前驱动法.LE计值中由于引进了延迟对象,使得延迟计值统一为函数对对象的作用,因而简化了编译系统的代码生成.多步向前驱动法是一种结合需求驱动和数据驱动的方法,该方法在开发了尽可能多的并行的同时,又保证了程序并行归约的终止性.根据这些方法,一分布式内存的多处理
其他文献
将逻辑程序系统由一阶逻辑中解放出来是复杂对象推理所迫切需要的.本文提出扩展的逻辑程序语言HILOG并建立其语义理论,扩充了逻辑程序系统的形式语义.HILOG为一带类型语言.通
本文把模糊集合论的知识应用于自组织人工神经网络,提出一个模糊人工神经网络算法.新算法克服了一般人工神经网络方法共同面临的学习时间长、对网络参数的敏感性弱点,广泛适
针对海洋平台模块钻机基座焊接工艺复杂、焊接变形不易控制等问题,以渤海某7000m模块钻机为例,基于API等相关规范,通过ANSYS Workbench有限元软件构建了基座局部结构响应面模
传统的计算机图形学中的明暗描绘方法都基于逐点计算.它不仅费时,也不易调节与控制.本文提出一种新的明暗描绘方法.它使用知识,通过演绎,能对实体体素迅速地进行明暗描绘,而
本文以脉动处理定理为基础,给出了一阶递归问题的脉动阵列算法的正确性证明,并证明了最优方案与问题尺寸及目标函数的独立性,从而降低了优化搜索的复杂度。文中提出了两个新
一位名牌大学中文系的高才生，因考研和出国失利，几经周折在一家中等规模的网站找到了立足之地。后因表现不俗，不到两年就被提拔成网站的业务部经理。但由于专业的限制，她感到在这
程序转化是软件自动化中具有生命力的一条途径,但目前存在的问题是如何提高转化系统的自动化程度.为此,本文给出了一种基于解释的程序转化方法,通过对实例进行解释推广来指导
对于由p个处理机模块和b根全局总线组成的分布式公用存贮器型多总线多处理机系统,提出处理效率(PE)的张弛迭代公式。应用不动点理论,证明了该公式的收敛性。并将计算结果与仿
根据《刑法》第20条规定，正当防卫是为了使国家、公共利益、本人或者他人的人身、财产和其他权利免受正在进行的不法侵害，而对不法侵害者实施的制止其不法侵害且为明显超过必要
本文以笔者近年来设计并实现的面向对象的程序设计语言为基础,讨论了我们在面向对象的程序设计语言中处理强类型问题的设计方法和实现技术.