PASCAL-655(Ⅱ)设计简述

一、设计的动机 七十年代以来,结构程序设计和PASCAL语言受到了世界各国的高度重视,并在实践中取得了好的效果.PASCAL的特点是: 1.概念级的简明性——语言本身能够用 合理化定义描 述,因而有利于 程序正确性的验 证。 2.用户级的简明性——易于理介,易于 阅读、易于设计 结构良好的程 序。     

程序设计语言併发PASCAL

1.併发PASCAL的目的 1.1 背景 从1972年以来,我一直在研究一种为计算机操作系统进行结构程序设计的新程序语言。这个语言叫作併发Pascal。它扩充了顺序程序设计语言Pascal,使其具有称为进程(pr-ocess)和管程(monitor)的併发程序设计的工具。 本文是对併发Pascal的非形式描述,它使     

结构微程序设计语言SMPL

本文提出了一种高级微程序设计语言SMPL。该语言以程序设计语言PASCAL为蓝本,考虑到计算机微级结构和微程序设计的特点,对原有的PASCAL数据结构和语句类型进行了舍取,增加了一些适于微程序设计的语言特色,讨论了微语言的设计方法,给出了SMPL的基本语法描述。最后,介绍了在NOVA-Ⅲ机上实现的一个SMPL交叉微编译系统的概况。     

智能程序设计语言VISUAL PROLOG 编程解析

VISUAL PROLOG具有很强的逻辑推理能力,且易于编程,操作界面友好,近年来得到程序设计行业的广泛 关注。本文对VISUAL PROLOG程序设计语言的主要特征进行概述,在此基础上,对基于VISUAL PROLOG语言的程序编 程展开较为深入的探究。     

程序设计语言C和PASCAL的比较

C语言和PASCAL语言是目前日趋流行的两种程序设计语言,尤其在小型计算机的程序设计者中广泛采用。本文从以下几个方面概述和比较C语言和PASCAL语言:设计思想;数据类型处理;各自所提供的程序设计设施;这些设施对程序质量的影响;以及这些设施在各种应用领域的程序设计中的作用。     

对象作为自动机及面向对象程序设计风格作为自动机网构形

本文从自动机和自动机网络的观点,来揭示面响对象程序设计风格和语言中诸如类,对象,消息传递,继承等基本概念的实质。面向对象的程序设计风格不一定非要用面向对象的程序设计语言(如Smalltalk-80,Act-2等)才能表演出来。文中对PROLOG语言提出具体的方法,使之在运用PROLOG语言进行程序设计时体现面向对象程序设计风格。     

NPU-PROLOG2.0解释系统的知识库管理

NPU—PROIOG 2.0是作者在IBM—PC/XT上用PASCAL语言实现的一个PROLOG解释系统。该系统的知识库管理采用了虚拟存贮管理技术。本文内容主要包括:(1) NPU—PROLOG 2.0的知识库总体设计;(2) NPU—PROLOG 2.0的外存知识库管理;(3) NPU—PROLOG 2.0的内存知识库管理。     

机器人程序设计语言PASRO

“机器人程序设计软件系统PASRO”是用PASCAL写成的。PASRO是PASCAL语言的扩展,因此它具有很强的程序设计功能,并且移植性好,可用于各类机器人的控制。     

GKD—PROLOG／SUN模块系统的设计与实现

模块化是大型程序设计的关键问题之一。本文在GKD—PROLOG/VAX解释器的基础上,详细分析了PROLOG模块系统的基本语法,知识的模块封装,信息隐藏等特性,实现了GKD—PROLOG/SUN模块系统,该系统以国际上流行的QUINTUS—PROLOG为蓝本,在解释器一级直接支持模块的动态及静态创建,模块间的交互及模块系统运行环境间的切换,使PROLOG适用于大型软件课题的需要,本系统不仅支持模块化的程序设计风格,也为实现面向对象的逻辑程序设计环境奠定了基础。     

图形库管理系统GL

图形库管理系统GL利用NRPR0系统提供的图形库,能将该库二千多幅常用图形中任何一幅选取出来,进行自由缩放、旋转、修改、保存及格式转化,使其能在Windows下调用(BMP格式),也可以用Turbo PASCAL(C,PROLOG)语言调用。大大简化和方便了用户在     

嵌入式C语言中的面向对象与多线程编程

面向对象与多线程编程的诞生大大提高了软件开发的效率,降低了开发复杂应用的难度,但在一些小型的嵌入式系统中很难得到应用,其中最重要的限制因素就是微控制器的代码空间有限,使得适用于计算机的软件架构不适合嵌入式设备.本文将介绍一种能够使用在嵌入式场合的面向对象与多线程的编程机制,通过构造特殊的宏定义来模拟面向对象和多线程编程的软件环境,开销小,效率高.以此为基础进行二次开发的软件代码可读性和移植性更好,可以加快嵌入式软件的更新与迭代.     

汇编语言在当今软件设计领域中能否生存

汇编语言是一门低级程序设计语言,它主要的功能是直接对硬件进行控制.虽然它是一门面向机器的语言,在可读性和移植性方面不及高级程序设计语言好,但用它所编写出来的程序能够在各种控制芯片上直接执行,具有效率高、反应快的特点,这是其它高级程序设计语言所无法超越的,所以汇编语言在当今软件设计领域中是无法被其它高级程序设计语言所替代的.     

基于ADA语言的星载软件在轨编程技术研究

随着ADA编程语言被引入到星栽软件的开发中,相比较汇编编程语言,用ADA编程语言可以大大提高软件的可复用性,缩短开发周期并进而降低开发成本。但同时,如何利用ADA编程语言更好地实现对卫星的计算机软件的在轨编程功能这一课题也被提到了桌面上来了。该文对如何利用ADA编程语言实现对卫星的计算机软件的在轨编程功能进行了研究,并提出了一种设计方案和实现技术,使其能够充分利用ADA编程语言的可复用性高的特点并同时能够满足高安全性和高实时性的要求。     

基于自然语言的分拣机器人解析器技术研究

工业机器人通常采用特定的机器人语言进行示教编程与控制,对于操作人员需要具有较高专业与技能要求,并且示教周期长导致工作效率降低。为了提高工业机器人使用效率与易用性,提出一种基于受限自然语言解析器的设计方法。该系统通过对受限自然语言进行词法解析、语法解析、语义解析,得到所需求的工作意图,然后与实时生成的三维空间语义地图进行匹配,结合机械臂轨迹规划,生成能够完成工作任务的机器人作业程序,并完成了机器人作业程序的解析与实际机械臂的控制。通过实验证明设计的基于受限自然语言处理的分拣机器人解析器能够正确解析自然语言命令,实现对机械臂的控制。     

EuLisp in education

We present our experience withEuLisp as a teaching language, focussing on the level of the language which was specifically designed for this purpose (level-0).EuLisp has been used in undergraduate and postgraduate teaching since 1990, in lectures and laboratories, where in many cases it has replaced Scheme or Common Lisp. It has been used extensively in programming courses, parallelism courses, as a vehicle for advanced courses in symbolic computing and programming language design; it has also been used as a platform for final year undergraduate projects. This experience has demonstrated thatEuLisp is well suited to teaching and far reaching in its capabilities: it supports the relevant concepts in a consistent and versatile framework, so that the language serves to facilitate the educational process. The discussion is illustrated with examples, and where appropriate we draw a comparison with the Lisp dialects used previously in these courses.     

计算机二级考试程序设计语言分析

计算机二级考试科目分为两类,一类是程序设计语言,包括C、C＋＋,Java、Visual Basic、Delphi,另一类是数据库程序设计,包括Visual FoxPro、Access。本文分别对第一类中的五种程序设计语言从背景、应用、评价、前景四个方面作了介绍,使学生更好地认识这几种语言．从而根据实际情况选择二级考试科目。     

足球机器人决策系统专用程序设计语言

介绍了足球机器人决策系统的结构,详细介绍了RS语言系统的组成和翻译器的工作原理,该语言是以功能部件库为依托,在C 语言子集中引入“RS描述语句”和“装配语句”而形成的,使得程序员可以方便的利用功能部件库中的部件来开发软件,减轻编程难度,提高编程效率。     

Micro MUMPS: An interactive database language for micro-computers

A simple interactive language named Micro MUMPS has been implemented on a microcomputer system. Its powerful facilities for data base manipulation and character handling make programming easy for end users who are unfamiliar with computers. Micro MUMPS is a practical subset of the language MUMPS which has been implemented on many minicomputers, and it also has some additional capabilities indispensable to micro-computer applications. A modified prefix B-tree is used in Micro MUMPS database and its organization can be changed according to the requirements of space and time efficiency. The design criteria of Micro MUMPS and micro-computer based implementation techniques are discussed in this paper.     

C语言编程技巧在C语言学习中的应用

C语言是功能强大、应用广泛的编程语言,也是目前高校理工类的公共必修课程之一,可见其重要性,C语言集高级编程语言和汇编语言的特点于一身,目前市面上的许多软件也是在C语言的平台上产生的,所以高校在C语言的教学中也可谓是＂不遗余力＂的。但是从近年来的教学效果来看,学生的普遍反映却让人大跌眼镜,大部分人认为C语言晦涩难学,学起来是非常吃力,经常是非常努力学习却达不到想要的效果,课程过后没有任何收获,甚至连一个小程序都写不出来,针对上述情况做了初步分析,并从C语言的编程技巧上提出了相关改善对策。     

基于O''Caml语言的通用编程技术

O’Caml语言是一门优秀的函数式程序语言,具有计算模型简单、语法语义描述清晰等特点,而通用编程技术方法通过高度抽象算法、数据结构及其他软件组件可以避免功能相似代码的重复编写。针对如何将通用编程技术方法和O’Caml语言相结合来提高O’Caml程序复用程度的问题,通过对O’Caml语言语法进行扩展引入类型标记1函数,然后运用类型结构化转换和类型映射机制,实现通用函数,从而达到在O’Caml语言中引入通用编程技术的目的。实例结果表明,在O’Caml语言中实现通用编程技术,有效提高了编程效率和程序的通用性。