也谈出栈序列的计算

在《数据结构》的教学中,采用类模板作为抽象数据类型的实现技术,能极大地方便抽象数据类型的实现和应用。通过教案设计可以为教学增添趣味,为实践增添成果,还可以为一些经典难题提供较好的解决方案。该文给出了《数据结构》的一个典型教案,基于栈类模板解决了求解所有出栈序列的问题。     

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

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

也谈“数据结构”课程教学的几个问题

本文针对困扰"数据结构"课程教与学的几个问题,作者根据自己的认识和多年的实际教学经验,进行深入浅出的分析和论述,以其对提高课程的认识和兴趣、牢固掌握课程知识及其灵活运用、提高利用计算机解决问题的能力具有很好的指导作用。     

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

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

迭代算子及其在可重用软件研究中的应用

迭代算子在循环控制机制抽象和可重用软件研究中有十分重要的作用，已有１０多年研究历史，然而，至今对什么是迭代算子尚无确切和统一的定义，严重影响了对这一概念的理解，也阻碍了它的广泛应用，本文在分析研究现有各种迭代算子概念局限性的基础上，将迭代算子定义为包含于组合数据类型内部的抽象数据类型，得到了一种通用迭代算子模式，并给出了分立迭代算子和集成迭代算子的概念和模式，最后以实例说明了它们在可重用软件开发中的作用和使用方法.     

一种基于时间戳的面向对象数据库的并发控制算法

本文提出了一种基于时间戳的面向对象数据库（ＯＯＤＢ，ｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄｄａｔａｂａｓｅ）的并发控制算法．设计这一算法时，我们首先按照ＯＯＤＢ的数据模型对传统的时间戳算法进行扩展，然后利用抽象数据类型的语义定义了相容性矩阵，对不同级别的并发性冲突操作进行不同的处理，从而达到在系统开销尽可能小的情况下，尽可能大地增加数据库存取操作的并发度的效果．这一算法的优点是：①利用对象版本的时间信息减少了数据项的读写时间戳所需的额外存储空间；②消除了封锁算法带来的封锁及死销预防或死锁检测所需要的系统开销。本文还用模拟的方法给出了新算法和ＯＲＩＯＮ中使用的封锁算法之间的性能比较     

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

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

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

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

基于关系数据库的空间对象处理技术研究

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

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

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