关系数据库系统数据类型的抽象

对人工智能应用中的有关知识采用抽象数据类型进行描述，并在对关系数据库系统进行不同层次抽象的基础上，提出了一种用户自定义关系数据库的抽象数据类型机制，运用这个机制可以灵活地处理复杂的数据类型，以构造适合人工智能应用的关系数据库。

抽象数据类型的双代数结构及其计算

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

抽象数据类型条件方程的求取

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

抽象数据类型形式变换系统

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

对象技术与抽象数据类型的实现

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

抽象数据类型的双代数结构

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

抽象类型在程序开发中的应用

本文讨论程序开发中的抽象类型，并给出了类型更改的方法和类型实例化的方法．本文还用例子说明了具体计算结构实现的方法．

复合抽象数据类型的构造型说明

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

用抽象质量类型构建高质量网构软件(英文)

在开发基于因特网的软件系统(文中称为网构软件)时,在开发过程的各个阶段都需要考虑软件系统的多种质量属性,这样网构软件的质量才能在软件系统的规约和设计阶段进行推导和预测,从而在部署和运行阶段进一步进行评估和验证。提出了一种新的抽象概念,即抽象质量类型,将软件实体的数据状态、相关的操作、质量属性以及保证质量得以实现的环境封装在一个统一的语法单元中,从而为建模软件实体以及推导其功能和非功能属性提供了一种严格的手段。探讨了基于软件体系结构及软件交互过程的抽象质量类型的组合,这为构建高质量网构软件提供了一定的形式化基础。最后,还描出了一个系统原型来展示如何利用抽象质量类型构造网构软件,并验证和提高网构软件系统的相关质量属性。

一类新型抽象数据类型:有序二叉决策图

有序二叉决策图OBDD(Ordered Binary Decision Diagram)是布尔函数的一种规范表达形式、一种的新的数据结构。基于OBDD能够完成布尔函数的有效表述和操作运算,可以看作为一类新的抽象数据类型。OBDD在VLSI逻辑综合和验证的成功应用结果引起了学术界和工业应用界的极大关注。迄今为止,OBDD技术及其工业应用已有了长足的发展、产生了不少的研究结果。本文对OBDD相关技术问题、OBDD扩展形式、OBDD应用等方面的研究现状进行了综述和讨论。

背景关联世界中抽象数据类型的关联性

基于背景关联世界理论,本文提出了认识模式中抽象数据类型的关联等价与关联性扩充的概念。并认为关联等价揭示了思维活动中的模式识别过程和再认现象;关联性扩充则揭示了科学的发现过程;以及关联性扩充思想在计算机软件工程中的应用。

模块、抽象数据类型和类

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

抽象数据类型概念的教学探索

本文针对“数据结构”课程中抽象数据类型概念这一教学难点，分析抽象数据类型与具体数据类型的区别及联系，主要结合抽象数据类型概念的面向对象特性，详细讲述在实际授课过程中如何引导学生去理解这一概念。

抽象数据类型森林研究

抽象数据类型森林研究刘坤起，兰贞才（河北地质学院计算机科学与技术系，河北师范大学职技学院应用电子系）抽象数据类型（ａｂｓｔｒａｃｔｄａｔａｔｙＰｅ，简称ＡＤＴ）是计算机科学中非常重要的概念，它体现了程序设计技术中“分解、抽象和信息隐蔽”的原则。近年来...

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

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

抽象数据类型Petri-Net

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

多个栈共享空间的抽象数据类型

本文分析总结了两个栈共享空间的顺序存储结构和多个栈共享空间的链式存储结构 ,建立了其抽象数据类型 ,提供了具体的实现方法 。

抽象数据类型概念多角度理解的教学探索

该文针对"数据结构"课程中抽象数据类型概念这一教学难点,分析抽象数据类型概念引入的原因,并从数学角度、程序设计角度以及面向对象的角度深刻理解这一概念,为学生把握"数据结构"课程内容的整体安排以及后续课程的铺垫奠定了坚实的基础。

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

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

抽象数据类型的面向对象特性

本文从面向对象程序设计和数据结构抽象数据类型概念出发，阐述了抽象数据类型的面向特性，结合具体例子和面向对象程序设计的C＋＋语言，介绍了抽象数据类型的高级语言描述。