课程文献中心 更多>>

关键词： 自然语言理解   数据类型   人工智能   关键字   算法   语法分析   形式定义   二义性   类自然语言   循环语句   词法分析   过程语句   字符数组   领域  

摘要： 算法领域的自然语言理解主要是理解算法描述的处理及其规定的数据类型与结构等,用于由算法自动地生成程序。在分析了各种算法书写的基础上,我们定义了一种用于描述算法的类自然语言,并给出了理解类自然语言的方法。该方法是利用理解知识,通过关键字的匹配实现理解的。我们还根据理解方法研制了一个理解系统,作为自动编程系统的一部分。理解系统是用 PASCAL 语言写成,在IBM-PC/AT 计算机上实现。本文介绍了上述内容。

关键词： 形式描述技术   SDL   CCITT   数据类型   状态转移模型   ISO  

摘要： 本文着重介绍ISO和CCITT两个组织的形式描述技术之间,在系统模型、扩展状态转移模型以及语言成分等方面的差别。了解这些差别,对正确理解两个组织的协议形式描述文本以及两种形式描述技术之间的互相转换,是有帮助的。

关键词： 面向对象   子类   实例变量   数据抽象   程序员   信息隐藏   消息发送   数据类型  

摘要： 面向对象的程序设计范例与逻辑程序设计范例和函数程序设计范例是当今人工智能程序设计的三大主要范例。对于面向对象的程序设计语言,环境,以及机器系统的研究日益广泛和强烈。面向对象的程序设计(语言)的主要特征是信息隐藏,数据抽象,数据类型的动态汇集(晚期汇集或动态汇集),以及性质继承。——译者

关键词： AT   抽象数据   所有   同构的   约简   分层抽象   等价性   代数   初等数学   数据类型  

摘要： 三、抽象数据类型及其模型§1 抽象数据类型及其模型定义1 一个抽象数据类型T=(∑,E)是一个由一个基Σ和一个由一些Σ-公式组成的集合E构成的有序对。定义2 一个Σ-代数A称为T=(Σ,E)的代数,如对所有e∈E,A=e,A称为T的模型,如它是T的代数,而且是项生成的。我们用GEN(T)表示一个抽象数据类型T的所有模型的类。在应用中特別受到注意的是所谓初始模型和终止模型。

关键词： 代数规格说明   抽象数据   描述方法   数据类型  

摘要： 本文介绍抽象数据类型及其规格说明技术中很活跃的一个研究方向——代数描述方法.给出基于抽象数据类型的代数规格说明的语法和语义,讨论一致性、完备性等问题.最后探讨规格说明的实现以及正确性证明的方法.

关键词： 抽象数据   数据类型   概念   思维形式   结构转换   数据结构  

摘要： 本文根据笔者近几年来从事数据结构研究和教学的体会,对数据结构的概念和范畴进行了讨论;对数据结构的体系进行了全面的分析;最后从问题求解的角度探讨了数据结构与抽象数据类型的关系。

关键词： 内码   数据类型   汉字字符串   字串   码制  

摘要： 汉字化是NLS(National Languages Support)潮流中的重要组成部分。汉字化的中心任务是以汉宇内码为基础,树立汉字数据类型。本文提出了理想汉字内码的若干特征,并以此为基础,对主要的实用汉字的内码进行了分析比较,进而阐明了汉字内码与汉字数据类型的区别与联系,指出了汉字数据类型与相应操作的匹配问题。 作者认为汉字内码的研究与规范化是当前汉字化的瓶颈问题和信息系统建立的当务之急。

关键词： 定义蕴涵   抽象数据   任意项   子代数   数据对象   代数的   自然数集   函数符号   同态   当且仅当   数据结构   数据类型  

摘要： 联邦德国巴沙大学计算机科学系主任***教授,不来梅大学计算机科学系教授兼联合国关于中国大学发展计划的特聘顾问***-Brückner应中国科学院数学研究所和贵州教育学院数学系邀请曾来我国讲学,讲座内容:第一部分抽象数据类型;第二部分程序变换。原数学所研究生叶锋、吕文进整理了讲稿,最后由袁崇义同志审定,今分期连载如下。

关键词： 等式逻辑   规范语言   抽象数据   精化   数据类型   代数规范   规范描述   态射   递归定义   对象   逻辑系统   基本运算   程序开发  

摘要： 本文简要地论述了机构理论,对规范语言的发展进行了分析,论述了基于机构的规范语言特点,这类规范语言的文本指称是机构中多类理论而不是程序。分层规范可以解决规范描述的复杂性,本文讨论了如何采用分层机制描述规范。最后本文提出了一种代数开发方法的开发过程及其相应正确性论证技术。

关键词： 远程过程调用   远程调用   进程   文件   控制台   远程程序   局域网   局部计算机网络   计算机通信网   RPC   数据类型   调用者   管理模块  

摘要： 远程过程调用(以下简称RPC)这一名词是伴随ARPANET的出现而出现的,而真正引起人们的重视却是最近的事。1985年3月,由ACM SIGOPS和IBM Zurich研究实验室联合发起,有美、英、法、西德等十余个国家近百人参加组写了“计算机网络操作系统文集”,Andrew Herbert对文集中有关分布式应用和通讯的程序设计环境问题作总结时指出: