课程文献中心 更多>>

关键词： 数据校验   会计电算化系统   技术手段   物资   会计信息   必要性   会计数据   计算机   自动校验   数据类型  

摘要： 在物资会计电算化系统,数据校验是一种不可忽视的技术手段,它对于保证会计数据和会计信息的真实可靠是十分必要的。本文试就物资会计电算化系统数据校验的必要性和如何进行数据校验两个问题予以探讨。

关键词： Ada语言   数据类型   程序设计语言  

关键词： PASCAL   软件工程   数据类型   结构程序设计   用户自定义   计算机操作   程序结构   大型软件系统   可维护性   复杂度问题  

摘要： PASCAL语言是实现强数据类型、支持结构程序设计的第一实用语言。本文介绍了PASCAL语言的主要语言结构——程序结构、控制结构、简单数据类型和构造数据类型等等,以及它们对软件工程实践的支持。文章最后还给出模拟一台简单计算机操作的程序。

关键词： 计算机科学   程序设计语言   语言课   研究程序   FORTRAN   参数传递   数据类型   保留字   作用域   数据结构  

摘要： <正> 一、缘由程序设计是计算机科学与工程的中心活动,而高级程序设计语言是进行程序设计的主要工具。计算机科学发展的每一步都在程序设计语言中得到体现。也就是说,计算机科学的发展史紧密联系着程序设计语言的发展史,计算机科学的许多问题都涉及程序设计语言的问题。因此学习与研究程序设计

关键词： 解题能力   PC-1500   程序处理   数据长度   程序运行   数据类型   保存数据   字符转换   母差   代码表  

摘要： <正> 目前普遍使用的PC-1500袖珍机,经扩容处理后,能直接使用的空间只有28k.若求解算题较大,就会因容量不足而无法解算,要使解题过程实现,一般采用分段进行.但这种办法往往因磁带机不可靠而影响整个解算.本文提出的方法,既能提高解题规模又可避免磁带机或磁带不可靠所带来的许多麻烦.其实质就是拨动机器的程序长度指针,使一部分RAM空间能够重复使用,从而达到扩大解题能力的目的一、PC-1500机RAM使用的特点

关键词： 变量名   数据类型   delete   执行结果   字符型   选择项   库文件   变换过程   语言程序   数值型数据  

摘要： <正> 在汉字数据库 C—dBASE 中,有一个功能特殊而又十分有用的函数——宏代换,其格式是:&(内存变数)。虽说它只是一个简单的标识符,其作用也仅仅是替换字符串。可是,它一工多能的本领大得很。在计算机内部,它能替换以字符串面目出现的任何内存变数,如变量名、文件名、命令、语

关键词： 数据分析   企业   数据处理   企业管理   数据抽象   数学模型   概念模型   数据类型   信息需求分析   数据对象   资源   四个阶段   数据元素   概念设计   数据库系统   数据库  

摘要： 3.1 引言在软件设计中,根据所抽象的对象不同,可分为过程抽象、控制抽象和数据抽象。其中,数据抽象的思想在数据库设计中值得借鉴。在软件设计中,数据抽象就是把某种类型的数据对象从系统中分离和抽象出来,设计者所关心的只是什么样的信息能放入这种数据类型,以及能从中取出什么,而不考虑其内部的表示形式和存放的详细过程。这种抽象化思想实质上也就是控制论中黑箱概念

关键词： 定义   执行策略   逻辑程序   PROLOG   方程   ADT   证明系统   证明体制   变换规则   有效性   数据类型  

摘要： 抽象数据类型(abstract data type,以下简称ADT)和PROLOG都可作为数据类型的描述语言,本文旨在揭示二者间的关系。 本文给出ADT的形式定义及语义(执行策略),定义了一个证明系统用以表述执行策略,最后引入一个有效的从ADT到PROLOG的变换规则。

关键词： 完备性   抽象数据   数据类型   完全性   模型计算   等式   延拓   代数语义   相对完备   定义   定理   代数方法   等价类  

摘要： 完备性问题是抽象数据类型理论中的一个基本问题。本文提出了相对完备与基始完备的概念;讨论了描述的基始完备与模型的行为等价、描述的相对完备与模型的计算等价之间的一致性;证明了基始完备的描述可唯一地扩充成为相对完备,原描述的“终结模型”恰好就是其极大扩充的“初始模型”,从而揭示了“初始代数语义”与“终结代数语义”这两种不同方法之间的内在联系。

关键词： 实体   内部结构   高级语言   长度   程序语言   文件   DWG   AutoCAD   十进制数   读取   地址   数据类型   个数  

摘要： 一、前言AutoCAD绘图系统在我国是最流行的计算机绘图软件。但从用户角度看,它只相当于一个图形编辑工具,为了获得符合设计要求的图纸,往往还要由用户编程进行计算。AutoCAD是一个封闭的系统,编程计算功能也很差,因此分析计算等工作不得不借助于其他高级语言(如BASIC,FORTRAN或PASCAL等)去完成。为了使高级语言与AutoCAD互通信息,这就要求AutoCAD提供对外通讯的便捷的接口。在AutoCAD运行过程中,当由用户编辑好一个图形后,它便自动生成一个包含该图形全部信息的内