排序方式： 共有14条查询结果，搜索用时 15 毫秒
1.
章萃 《计算机研究与发展》1987,(11)
本文给出核心语言KLND的操作语义,着重定义KLND程序的与并行执行和或并行执行的语义.为了保持逻辑式语言的程序设计风格,KLND不提供显式的通信设施,而并行执行程序时所必需的通信(其中包括方向和内容)均得到了严格的定义. 相似文献
2.
1.引言近几年来,规格说明特别是形式规格说明已经成为“热门”研究课题。在这个领域里已发表的大多数工作,一直集中于对一种特定的(或一类)规格说明语言的表示方面或评价方面。在奥尔胡斯举行的关于程序规格说明的专题讨论会上,我们的两次短暂的发言试图后退一步,以便采取比较全面的观点来评价形式规格说明在程序开发过程中的作用。这种观点,是我们试图应用我们在形式规格说明方面的早期成果时对遇到的问题加以解决而产生的。随着我们对形式规格说明的理论方面和语言学方面理解的深化,我们便开始试图将这些理解用于开发有趣的软件,这时,我们遇到了一些重大的难题。最后不得不得出这 相似文献
3.
章萃 《小型微型计算机系统》1985,(4)
本文简述高级调试工具的基本思想、目前的发展现状,着重介绍XCY的高级调试系统XCYTS。迄今所见到的高级测试系统的处理对象均为顺序程序,研制XCYTS的目的是解决对具有并发成分的、由分别编译生成的系统软件进行高级调试所存在的问题。本文对这些问题进行了讨论,并介绍已在DJS-200系列机上实现的解决方案。 相似文献
4.
章萃 《计算机研究与发展》1988,(6)
本文介绍并行推理系统 NDPIS 中 KLND 抽象机 KLND-AM 的并行性开发与软件格局设计。其主要特点如下:1)并行性开发策略与理论执行模型 LPT、ST 具有控制简单,开销较小的优点。2)置换驱动计算组织以及相应的基指令系统有效地解决了合一引起的不确定性问题。3)静态完成并行性分析,有利于提高推理速度。 相似文献
5.
本文提出了以逻辑式程序设计语言的与并行执行模型CCS为基础的半智能回溯方法,解决了分布式并行处理问题和通信问题,不仅提高了逻辑式程序设计语言的执行功效,又保证了语义的正确性与完备性。 相似文献
6.
7.
并行推理系统NDPIS的设计 总被引：1，自引：0，他引：1
本文介绍一个以KLND为核心语言的并行推理系统NDPIS。它在新型计算机系统的核心语言、理论模型、计算组织结构、程序组织结构、机器资源组织结构以及具体实现技术方面进行了研究,提出了若干新思想和处理方法。 相似文献
8.
9.
10.
本文论述了新一代计算机系统对其核心语言的主要需求,即:1.具有知识处理能力.2.反映并行性.3.计算模型具有良好的教学性质,并适于作为体系结构的设计依据.针对这些需求,对目前三种主要候选语言LISP、FP、PROLOG进行了分析,并提出了一些看法. 相似文献