论文部分内容阅读
逻辑程序设计语言的并行性是研究和开发并行推理机的重要内容之一。本文介绍了逻辑型语言的一般概念和特点,比较和分析了被 ICOT 确定为五代机核心语言的 Prolog、CP、GHC以及东京大学新提出的语言方案 SPL 的并行性。最后强调了并行基本处理单位的粒度与计算模型、体系结构的关系。
逻辑程序设计语言的并行性分析
【摘 要】
：
逻辑程序设计语言的并行性是研究和开发并行推理机的重要内容之一。本文介绍了逻辑型语言的一般概念和特点,比较和分析了被 ICOT 确定为五代机核心语言的 Prolog、CP、GHC以
【机 构】
：
哈尔滨工业大学; 哈尔滨工业大学;
【出 处】
：
计算机研究与发展
【发表日期】
：
1988年10期
其他文献
针对该炉型在燃烧方面普遍存在的问题,介绍了正反烧锅炉点火与供风操作控制,火床工况燃烧控制,启、停炉操作控制等,提出了正确的操作方法,对使用单位具有一定的参考作用。
汽轮机调峰运行采用滑压运行方式是较经济的方式，而蒸汽初压的优化确定很有意义。利用汽轮机变工况计算结果，给水泵特性，循环水泵特性等曲线的拟合，以实际供电功率与计划调度负荷
结合国内外地下水污染场地的修复经验,综合考虑当地社会经济条件、地下水脆弱性、污染物特征等因素,采用层次分析法建立了修复技术优化指标体系;在此基础上运用多准则决策分
从设计数据的审查、材料、保温措施和旧罐利用几个方面，探讨了如何在压力容器设计中既保障容器的安全性，又能满足《固定式压力容器安全技术监察规程》提出的节能降耗要求。
对热电联产规划编制的普遍性原则进行总结,并对具体个案提出规划的发展策略。
Summarize the principle of universality of cogeneration planning and put forward planni
本文采用机械活化处理的钼、铜粉末，通过液相烧结和致密化处理，研制成了和国外产品性能一致的集成电路用钼铜合金。分析表明：经机械活化法处理的钼、铜粉末，为片展状组织，具有较高
从热力管网集中控制调节水力及热力工况的角度,设计其监控系统。并对系统的性能及配置进行详细的介绍,提出系统设计的基本思路。
<正>案例简介:2002年8月,某市公安交警大队干警康某(党员),从本单位拿出一张罚款收据交给了个体户刘某。刘某持该罚款收据后找到一个体印刷厂,以每本6元的价格私自印制了公路
结合当前市场煤质特点,分析了电厂燃煤发热量、粒度、灰份、挥发份对CFB锅炉运行造成的影响,从提高运行操作水平,加强煤质管理方面提出建议,保障了CFB锅炉的正常运行。