教学课程资源库 更多>>

关键词： 并行处理   程序设计语言   并行程序语言  

摘要： 本文介绍并行的程序设计语言的基本概念、并行执行以及功能要素。作为例子,简单地介绍了著名的并行程序语言,如Concurrent Pascal、Occam等。

关键词： 并行处理   并行计算机   硬件   程序设计语言  

摘要： 本文介绍了并行处理中的新技术——Transputer硬件及开发语言Occam。

关键词： PASCAL语言   程序设计  

ISBN: (纸本)756060059X

关键词： 程序设计语言   仿真   仿真技术  

摘要： 本文通过实例研究,介绍并发系统的仿真工具——Occam语言,并介绍了该系统的设计和编程方法。

关键词： 数据结构   信息交换   文献   文献工作   数据处理   人工语言   程序设计语言   正文处理   办公系统   程序设计   信息交流  

标准号: ISO 8879 AMD 1-1988

摘要： Enhances the technical content of ISO 8879. Changes are listed in order by page number and clause or sub-clause number. Clauses of concern are: 4, 7, 9, 10, 11, 12, and 15.

关键词： FORTRAN   图形屏幕   运算速度   图形显示   程序设计语言   驱动程序   堆栈段   段地址   偏移量   软中断  

摘要： <正> 一、引言FORTRAN 语言是国际上应用最为广泛的程序设计语言之一,运算速度快,而且程序是快式结构,便于各种运用软件的设计。但是 FORTRAN 语言缺乏图形显示以及通过 RS232接口与其它设备通讯等功

关键词： 系统程序   程序语言   解释程序  

摘要： PROLOG/KET是我们在E(?)e MV/8000Ⅱ小型计算机系统上用C语言实现的一个PROLOG解释系统,本文介绍该系统的合一算法及推理过程,讨论了实现技术方面的几个问题,包括子句的存储与搜索,控制栈的优化处理,以及程序库的管理和程序状态的处理,最后对系统的性能进行了分析,提出了几点改进设想.

关键词： 谓词   定义   实词   多型   PROLOG   自然演绎系统   程序设计语言  

摘要： 本文从理论转向实用的角度,将“表达成自然演绎系统这种形式的程序设计语言同式多型(polymorphic)类型检验的推理法则集”相当直接地转换成PROLOG程序。解同式多型类型问题一般地可有两种观点:作为类型方程组和作为类型推理系统。采用后一种观点,同式多型类型检验可归结为消解,。而PROLOG的内部解释程序,如所周知,是基于消解原理之上的。既然如此,用PROLOG来实施同式多型类型检验是很自然的(透明地完成消解过程而无需由程序表达出来),得到的PROLOG程序是十分简明的。

关键词： 分析能力   创造性思维能力   综合分析   教学内容   有机结合   有限元理论   计算机程序设计语言  

摘要： 根据教学改革的需要,为了培养学生的能力,我校各系都陆续开设了许多选修课。这些选修课的开设,有利于培养高年级学生提高解决实际问题的综合分析能力和创造性思维能力,有利于促进教育与生产实际相结合。下面结合自己给毕业班开设《有限元与程序设计》选修课的教学实践,针对选修课的教学目的和教学任务、教学内容的组织和教学方法的改革等问题,谈几点粗浅体会。

关键词： 面向对象程序设计   信息学   信息过程   信息科学   定义   程序设计语言   属性   思维形式   概念   型式   对象   系统描述语言  

摘要： 1.历史面向对象程序设计这一术语来自Simula67语言中的对象概念.在该语言中,一个计算机程序的执行是将对象的(可变)集合组织成联合执行体.集合的整体由系统对象表示,享有共同结构的对象组成一个类(class),在程序中类由通常的类声明来描述. 然而这个概念还可进一步追溯到40年代,在提出数字模拟作为重要的分析工具时就有了类的概念.