抽象数据类型的双代数结构及其计算 被引量：10

1

作者 苏锦钿 余珊珊 《计算机研究与发展》 EI CSCD 北大核心 2012年第8期1787-1803,共17页

程序语言中的许多抽象数据类型包含了可递归定义的语法构造和可共递归定义的动态行为特征,因此单纯利用代数或共代数难以给出完整的描述.双代数是同一载体集上的代数和共代数对,提供了一种从范畴论的角度探讨抽象数据类型上的语法构造... 程序语言中的许多抽象数据类型包含了可递归定义的语法构造和可共递归定义的动态行为特征,因此单纯利用代数或共代数难以给出完整的描述.双代数是同一载体集上的代数和共代数对,提供了一种从范畴论的角度探讨抽象数据类型上的语法构造和动态行为关系及性质的可行途径.给出抽象数据类型的双代数结构,并利用代数函子对共代数函子的分配律描述了语法构造与动态行为之间的自然转换关系;利用分配律对共代数和代数函子进行函子化提升,给出一种构造初始代数(或终结共代数)上的共代数(或代数)结构,并将其提升为初始(或终结)λ-双代数的方法.在此基础上,进一步将函子化提升应用于各种递归(包括迭代和原始递归)及共递归函数(包括共迭代和原始共递归)的定义及计算中,并给出相应的计算定律. 展开更多

关键词 抽象数据类型 代数 共代数 双代数 递归 共递归

在线阅读 下载PDF 职称材料

对象技术与抽象数据类型的实现 被引量：5

2

作者 朱振元 朱承 《计算机工程》 CAS CSCD 北大核心 2007年第15期88-90,共3页

讨论了抽象数据类型的实现方案,并以"线性表"为例,说明对象技术在抽象数据类型实现中的应用。对于一种抽象的数据类型,先将它定义成一个抽象类,再结合某一种具体的存储方式加以实现。采用这种对象技术的特点是,任何存储方式... 讨论了抽象数据类型的实现方案,并以"线性表"为例,说明对象技术在抽象数据类型实现中的应用。对于一种抽象的数据类型,先将它定义成一个抽象类,再结合某一种具体的存储方式加以实现。采用这种对象技术的特点是,任何存储方式或实现细节的改变都不会影响外界对类的使用。这种设计原则已应用于面向对象版的"数据结构"课程之中,取得了良好的效果。 展开更多

关键词 对象技术 抽象数据类型 抽象类 数据结构 程序设计

在线阅读 下载PDF 职称材料

抽象数据类型条件方程的求取 被引量：4

3

作者 刘定飞 夏红霞 钟珞 《小型微型计算机系统》 CSCD 北大核心 1994年第4期17-23,共7页

抽象数据类型的代数规格说明关键在于条件方程的求取。如果能获得简明的条件描述，那么就容易写出条件方程。本文讨论了抽象数据类型的规格说明问题，并提出了基于串和数组求取条件方程的方法，同时给出了若干典型实例，并对求取条件方... 抽象数据类型的代数规格说明关键在于条件方程的求取。如果能获得简明的条件描述，那么就容易写出条件方程。本文讨论了抽象数据类型的规格说明问题，并提出了基于串和数组求取条件方程的方法，同时给出了若干典型实例，并对求取条件方程方法的正确性作了讨论。 展开更多

关键词 抽象数据类型 程序设计方法

在线阅读 下载PDF 职称材料

抽象数据类型形式变换系统 被引量：4

4

作者 钟珞 吴锡琪 盛苏华 《小型微型计算机系统》 CSCD 北大核心 1993年第7期37-45,共9页

程序设计自动化是计算机科学研究中的热点,也是软件工作者们追求的目标。抽象数据类型是一种新的、重要的程序设计方法,是程序设计自动化的重要手段。 本文对抽象数据类型的代数规格说明进行了讨论,并形式化的研究了代数规格说明。然后... 程序设计自动化是计算机科学研究中的热点,也是软件工作者们追求的目标。抽象数据类型是一种新的、重要的程序设计方法,是程序设计自动化的重要手段。 本文对抽象数据类型的代数规格说明进行了讨论,并形式化的研究了代数规格说明。然后,针对现有抽象数据类型的实现方法,提出了一种抽象数据类型形式变换方法,思想是将用代数规格说明的抽象数据类型变换为一种特定的中间抽象数据类型MLIST的形式,规格说明简单的MLIST的最终实现可直接使用已有的各种方法和系统来完成。 展开更多

关键词 抽象数据类型 程序设计 自动化

在线阅读 下载PDF 职称材料

抽象数据类型的双代数结构 被引量：5

5

作者 苏锦钿 余珊珊 《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2011年第12期44-50,共7页

对抽象数据类型的语法构造和动态行为的性质及两者的关系而言,单纯利用代数或共代数方法进行研究存在一定的不足.文中结合范畴论及分配律给出抽象数据类型的双代数结构,并通过λ-双代数自然地描述了语法构造与动态行为之间的转换关系;... 对抽象数据类型的语法构造和动态行为的性质及两者的关系而言,单纯利用代数或共代数方法进行研究存在一定的不足.文中结合范畴论及分配律给出抽象数据类型的双代数结构,并通过λ-双代数自然地描述了语法构造与动态行为之间的转换关系;分别利用分配律对共代数函子及代数函子进行函子化提升,证明这种函子化提升可以将初始代数(或终结共代数)提升为初始(或终结)λ-双代数,并将其应用于递归及共递归函数的定义及计算中.实例表明,这种函子化提升可以扩展代数中的归纳原理和共代数中的共归纳原理,从而提高程序语言对抽象数据类型的描述与性质证明能力. 展开更多

关键词 抽象数据类型:共代数:双代数:共递归

在线阅读 下载PDF 职称材料

复合抽象数据类型的构造型说明 被引量：3

6

作者 蔡家楣 《浙江工业大学学报》 CAS 1996年第2期108-116,共9页

研究抽象数据类型的规范说明对于实现面向对象的软件开发及程序证明等具有重要意义。本文用构造型说明法讨论了原子和复合抽象数据类型的结构语义，并介绍了这种说明如何用一个函数型语言ＭＬ来实现的方法。

关键词 抽象数据类型 构造型说明 函数型语言

在线阅读 下载PDF 职称材料

模块、抽象数据类型和类

7

作者 梅宏 孙永强 《计算机科学》 CSCD 北大核心 1992年第6期17-21,共5页

本文分析了面向对象程序设计(OOP)中类(class)和传统程序设计模块(module)及抽象数据类型(ADT)间的差异,以便加深对 OOP 中类及对象的理解,进而讨论了类间继承关系。

关键词 模块 抽象数据类型 OOP 抽象数据类

在线阅读 下载PDF 职称材料

复合抽象数据类型结构化规约的形式语义及其模型

8

作者 蔡家楣 《计算机科学》 CSCD 北大核心 1998年第3期8-12,F004,共6页

本文用构造型说明法讨论了满足结构化要求的各种复合抽象数据类型应具备的语义特性。然后讨论了基于类型理论的ECC扩展构造逻辑和函数式语言两种方式下的模型。

关键词 抽象数据类型 构造型说明法 形式语义 数据结构

在线阅读 下载PDF 职称材料

抽象数据类型Petri-Net

9

作者 陈慧南 《南京邮电学院学报》 北大核心 1990年第4期70-76,共7页

Petri网是一种状态转移模型,与有限状态机(FSM)相比,Petri网更适于通过较自然的方法来描述并发、并行或不确定系统.系统模型化的目的在于进行系统分析.对于Petri网,不仅可以采用转移模型通常进行的可达性分析,还可用线性代数方法进行分... Petri网是一种状态转移模型,与有限状态机(FSM)相比,Petri网更适于通过较自然的方法来描述并发、并行或不确定系统.系统模型化的目的在于进行系统分析.对于Petri网,不仅可以采用转移模型通常进行的可达性分析,还可用线性代数方法进行分析,更给系统的特性分析提供了一条有效的途径,近年来成为很引人注目的建模工具.本文设计了一个抽象数据类型:Petri-Net,它将成为用Petri网技术进行分析的基础. 展开更多

关键词 PETRI网 抽象数据类型 数据结构

在线阅读 下载PDF 职称材料

用抽象数据类型实现子与父/兄二叉树的建立算法

10

作者 陈春玲 《南京邮电学院学报》 1997年第3期80-82,共3页

对二叉树的存储结构（称之为子与父／兄的存储结构）进行了描述，在此基础上给出了二叉树的算法。描述了栈的抽象数据类型，并以栈为辅助结构来实现子与父／兄二叉树的建立算法。该算法的执行时间与二叉树中的结点数成正比。

关键词 数据结构 堆栈 二叉树 存储结构 抽象数据类型

在线阅读 下载PDF 职称材料

抽象数据类型的作用及其在PDL/M2系统中的类属化实现

11

作者 过敏意 《计算机工程与应用》 CSCD 北大核心 1989年第3期20-27,共8页

本文介绍了抽象数据类型的一些基本概念,并讨论了它在软件设计阶段和结构程序设计中的重要作用。最后,介绍了抽象数据类型在软件设计支撑系统PDL/M2申作为类属程序单元的实现方法。

关键词 抽象数据类型 PDL/M2 程序设计

全文增补中

抽象数据类型的代数规格说明

12

作者 李中华 李玉茜 《计算机研究与发展》 EI CSCD 北大核心 1991年第7期6-11,共6页

本文提出抽象数据类型的代数规格说明的一种新的语义。以该语义为基础,讨论代数方法的说明能力,并证明:所有部分可计算代数都存在代数规格说明。最后,文章还将论证代数规格说明的充分完备性、协调性、独立性的不可判定性。

关键词 抽象数据类型 代数 规格 软件

在线阅读 下载PDF 职称材料

抽象数据类型的代数方法研究

13

作者 宋群 聂承启 杨茵 《江西师范大学学报（自然科学版）》 CAS 1993年第3期218-225,共8页

抽象数据类型是实现面向对象程序设计方法的有力工具.本文的目的在于利用抽象代数结构来描述抽象数据类型并给出它的数学含义;同时,指出任意可见标志Σ的一个抽象数据类型是一个Σ一计算结构的同构类,从而在基本项 T(Σ)上的等价概念基... 抽象数据类型是实现面向对象程序设计方法的有力工具.本文的目的在于利用抽象代数结构来描述抽象数据类型并给出它的数学含义;同时,指出任意可见标志Σ的一个抽象数据类型是一个Σ一计算结构的同构类,从而在基本项 T(Σ)上的等价概念基础上,得出了抽象数据类型与有关计算结构等价的一系列结论. 展开更多

关键词 抽象数据类型 程序设计 数据结构

在线阅读 下载PDF 职称材料

ML语言环境下抽象数据类型的构造型说明 被引量：2

14

作者 蔡家楣 《浙江工学院学报》 1994年第3期67-75,共9页

用和经典的代数说明法及操作说明法不同的构造型说明法为抽象数据类型提供了一种具体的描述，这种描述可以用函数型语言ＭＬ加以实现。文章介绍了构造型说明法的特点以及关于一个代数系统的类别及操作的语义，以及如何用ＭＬ的函于（ｆ... 用和经典的代数说明法及操作说明法不同的构造型说明法为抽象数据类型提供了一种具体的描述，这种描述可以用函数型语言ＭＬ加以实现。文章介绍了构造型说明法的特点以及关于一个代数系统的类别及操作的语义，以及如何用ＭＬ的函于（ｆｕｎｃｔｏｒ）来完成从输入代数到输出代数的扩充。 展开更多

关键词 抽象数据类型 ML语言 数据结构

在线阅读 下载PDF 职称材料

C++中verylong的数据抽象分析和扩展

15

作者 李晓虹 李世奇 杨有 《三峡大学学报（自然科学版）》 CAS 2006年第2期174-176,共3页

在C++中扩展整型类型,使该种类型定义的数据在操作上不受数据范围的限制.采用的原理是面向对象技术,用字符串存放数据,运算符重载来提供运算,并将数据和操作进行封装,以标准的接口提供服务.最终用户可以象使用基本类型一样的使用它,同... 在C++中扩展整型类型,使该种类型定义的数据在操作上不受数据范围的限制.采用的原理是面向对象技术,用字符串存放数据,运算符重载来提供运算,并将数据和操作进行封装,以标准的接口提供服务.最终用户可以象使用基本类型一样的使用它,同时在计算机代数中广泛使用. 展开更多

关键词 面向对象技术 抽象数据类型 超长整型数

在线阅读 下载PDF 职称材料

对象—关系型数据库系统的类型扩展

16

作者 刘靖侨 周波 董金祥 《计算机应用研究》 CSCD 北大核心 2002年第4期23-26,共4页

由于应用的要求 ,需要对传统的关系型数据库系统进行功能扩展。介绍了自主开发的面向对象工程数据库OSCAR中类型扩展的一般方法 ,并从类型存储、类型操纵和类型管理等方面对数据类型的扩展进行了讨论。

关键词 类型扩展 面向对象 数据库系统 对象关系数据库系统 用户定义抽象数据类型

在线阅读 下载PDF 职称材料

基于对象关系数据库的时空数据模型研究 被引量：5

17

作者 高勇 林星 +3 位作者 刘瑜 邬伦 陈斌 马修军 《地理与地理信息科学》 CSCD 北大核心 2006年第3期26-30,共5页

一体化时空数据建模是新一代GIS理论与技术研究的重要基础。基于对象关系数据库探讨时空数据库的数据建模方法,提出综合考虑矢量和栅格数据一体化的时空数据模型。首先基于基本类型派生定义矢量和栅格抽象数据类型,在此基础上定义时空... 一体化时空数据建模是新一代GIS理论与技术研究的重要基础。基于对象关系数据库探讨时空数据库的数据建模方法,提出综合考虑矢量和栅格数据一体化的时空数据模型。首先基于基本类型派生定义矢量和栅格抽象数据类型,在此基础上定义时空数据类型为一系列空间类型的时间片序列。该抽象数据类型的定义包括其数据对象和相关操作,将其嵌入对象关系数据库中,扩展其时空数据的存储和查询能力。利用该数据模型,可以统一考虑矢量和栅格数据,建立基于对象关系的时空数据库,并支持矢量—栅格一体化时空数据访问和操作,进而对新一代GIS技术的研究与实现起到重要支撑作用。 展开更多

关键词 时空数据模型 对象关系数据库 空间数据库 抽象数据类型

在线阅读 下载PDF 职称材料

大型数据库对象关系技术的应用研究 被引量：10

18

作者 蒋丹 王兰成 《计算机应用研究》 CSCD 北大核心 2003年第3期31-32,40,共3页

对象关系数据库支持SQL语言,对复杂的SQL3查询进行查询优化以支持复杂查询,也支持用户定义自己的抽象数据类型,以及由基类组合成复杂的组合类型的能力,从而支持了复杂的数据。论述了对象关系数据库在RDBMS上进行扩展通常的四个方面,研... 对象关系数据库支持SQL语言,对复杂的SQL3查询进行查询优化以支持复杂查询,也支持用户定义自己的抽象数据类型,以及由基类组合成复杂的组合类型的能力,从而支持了复杂的数据。论述了对象关系数据库在RDBMS上进行扩展通常的四个方面,研究与讨论对象关系数据库的支持基类扩充技术和支持复杂对象技术,最后基于Oracle8i/9i对象关系数据库进行分析研究和示例操作。 展开更多

关键词 大型数据库 对象关系技术 对象关系数据库 基类扩充 复杂对象 Oracle RDBMS 数据查询 抽象数据类型 SQL语言

在线阅读 下载PDF 职称材料

基于关系数据库的空间对象处理技术研究 被引量：4

19

作者 高原 耿国华 董乐红 《计算机应用与软件》 CSCD 北大核心 2007年第6期12-13,共2页

关系型数据库是目前管理数据最有效的方式,但传统的关系模型却无法描述现实世界中存在的复杂空间对象。在研究了关系数据库扩展技术的基础上,以通用商用数据库为基础,在扩展的关系数据库中描述空间对象并使用SQL进行空间对象运算,为如... 关系型数据库是目前管理数据最有效的方式,但传统的关系模型却无法描述现实世界中存在的复杂空间对象。在研究了关系数据库扩展技术的基础上,以通用商用数据库为基础,在扩展的关系数据库中描述空间对象并使用SQL进行空间对象运算,为如何在关系数据库中处理空间对象提供了思路和方法。 展开更多

关键词 数据库 空间对象 抽象数据类型

在线阅读 下载PDF 职称材料

C＋＋中超长整型类型的构造与实现 被引量：1

20

作者 杨有 李晓虹 尚晋 《计算机科学》 CSCD 北大核心 2008年第1期301-302,F0003,共3页

在C++中对整型类型进行扩展,使该种类型定义的数据在操作上不受数据范围的限制。采用的原理是面向对象技术,用字符串存放数据,运算符重载来提供运算,并将数据和操作进行封装,以标准的接口提供服务,最终用户可以像使用基本类型一样地使... 在C++中对整型类型进行扩展,使该种类型定义的数据在操作上不受数据范围的限制。采用的原理是面向对象技术,用字符串存放数据,运算符重载来提供运算,并将数据和操作进行封装,以标准的接口提供服务,最终用户可以像使用基本类型一样地使用它。这种类型可广泛用于计算机代数中。 展开更多

关键词 面向对象技术 抽象数据类型 超长整型数

在线阅读 下载PDF 职称材料