教学课程资源库 更多>>

关键词： 数据处理   程序设计语言   术语  

标准号: GB/T 5271.15-1986

摘要： 本标准适用于有关电子计算机及信息处理各个领域的设计、生产、使用、维护、管理、科研、教学和出版等方面。

关键词： 智能计算机   功能   第五代计算机   电子数字计算机   智能机   逻辑推理机   数据库机   人工智能   程序设计语言  

摘要： 本文首先论述了智能计算机出现的社会意义和背景.接着在给出数据、信息和知识的定义的基础上讨论了智能机的功能、体系结构和相应的技术等问题,介绍了智能计算机的软件及要求.最后本文展望了智能计算机的未来发展,把第五代计算机称为第一代智能机;提出了更高级智能机的功能和结构,以集合论作为归纳抽象的工具,把集合概念纳入智能机程序设计语言,而形成一种崭新的语言,以适应更高级或新一代智能机的要求.

关键词： 基于   层次   知识表示模型   程序设计语言   教学专家系统  

关键词： 逻辑程序设计   推理数据库   合一算法   关系数据库   查询语言  

摘要： 逻辑程序设计语言HPROLOG是一种类prolog语言,它将主要作为一种推理数据库的查询语言.HPROLOG1是HPROLOG的一个基本子集,它具有逻辑程序设计语言prolog的基本功能和特点.本文将主要介绍在实现逻辑程序设计语言HPROLOG1中所采用的一种合一算法,目标栈的回溯控制方式以及循环检测的有关理论及其算法.

关键词： VDM   开发软件   软件工程   程序设计语言   程序员   数据类型   二叉查找树   形式定义   软件系统  

摘要： 众所周知,软件工程中有“务实派”及“学院派”两大研究派别之分。鉴于“管理常常是决定软件开发项目成功与失败的关键”这一认识, “务实派”十分强调软件开发的计划和管理。该派认为软件工程理论要解决的第一号问题不是某种具体的设计和编程的方法技术,而是如何正确地选择、实现、控制这些方法和技术,如何为软件开发过程的所有活动提供指

关键词： 变量名   唯一性  

摘要： 众所周知,计算机的用途可以概括为数据处理,而作为计算机上广泛使用的程序设计语言,自然就要有表达这些数据的字。

关键词： 多处理机   分布式系统   进程间通信   程序设计语言   消息传递机制   并发程序设计   共享变量   管程   并行处理   网络系统  

摘要： 当今硬件技术的发展使人们能容易地构成经济的多微处理机系统。本文介绍一种适合于分布式系统的新程序设计语言(并发C)。这种分布式系统是由具特有的局部存贮器的处理机松散连接的网络系统。并发C是程序设计语言C的扩充版本,增加了并行处理和进程间通信性能。