SOME PROBLEMS IN PARTIAL ABSTRACT DATA TYPE

In this paper, we discuss some characteristic properties of partial abstract data type (PADT) and show the diffrence between PADT and abstract data type (ADT) in specification of programming language. Finally, we clarify that PADT is necessary in programming language description.

基于Event-B与ADT的TACS形式化开发方法与验证

为克服Event-B方法在开发全新一代列车自主运行控制系统(Train Autonomous Circumambulate System,TACS)中所出现的建模复杂性问题,提出将抽象数据类型(Abstract Data Types,ADT)实例化与Event-B相结合的方法,对TACS进行形式化开发和验证。首先,根据TACS的需求以及案例研究等相关内容,提取TACS的功能需求和安全需求,并将功能需求和安全需求以非形式化的语言进行描述;然后,根据TACS的功能需求和安全需求进行模型精化层次的设计,避免因在抽象模型中建模复杂的需求而导致证明困难;最后,在模型中使用形式化语言Event-B对TACS的功能需求和安全需求进行建模并验证其正确性,且在建模过程中,利用ADT的抽象概念将轨道网络、轨道区域以及移动授权(Movement Authority,MA)等复杂系统组件在初始模型中指定组件的必要属性,且在后续系统建模过程必要的精化阶段引入组件的具体定义,以降低系统开发和证明的复杂度。结果表明:提出的方法有助于在早期开发阶段减少TACS中复杂的细节部分,使得证明义务成功率为100%,自动证明成功率占比83%,手动证明成功率仅占比仅17%,在简化证明义务的同时有效提高了自动化证明的占比。

基于对象关系数据库的时空数据模型研究

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

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

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

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

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

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

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

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

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

时空对象关系模型研究

时空数据模型是时空数据库的研究重点之一 .以往提出的时空数据模型存在着不同的缺点 .本文以抽象数据类型为基础 ,提出了一个基于对象关系模型的时空对象关系模型 STORM,给出了 STORM的形式化定义 。

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

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

基于灰集的不确定性时空数据模型

不确定性处理是时空数据库面临的新问题。其研究的首要任务是对不确定时空对象进行建模,研究时空不确定性的表示和存储,进而设计离散模型实现数据库系统。提出了建立在灰集理论上的时空数据抽象模型,适合处理部分已知部分未知的不确定对象。首先给出了抽象数据类型的定义,包括建立在灰集理论上的基本数据类型,空间数据类型和时空数据类型;随后对不确定时空分析操作进行了简单的定性分析;最后给出不确定性时空查询的表达方式。

Ada语言与软件重用

详细讨论了Ａｄａ８３和Ａｄａ９５语言机制对软件重用的支持．内容涉及Ａｄａ８３的抽象数据类型、静态多态、派生类型和Ａｄａ９５的类型扩展与继承、动态多态、子库单元等．

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

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

支持抽象数据类型属性的索引机制

本文讨论了关系数据库中的抽象数据类型属性值对传统DBMS索引机制的影响,并提出了一种基于用户定义新操作的扩充传统索引机制的原理、方法和处理策略。扩充的索引机制可以有效地支持对ADT属性的快速存取。

三叉树结构及其实现

本文定义了一种三叉树的结构。引进了三叉树抽象数据类型的概念。给出了一种多重链表的实现。最后对广义三叉树和三叉树林作了初步讨论.

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

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

C＋＋中超长整型类型的构造与实现

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

让趣味教学进驻数据结构与算法课堂

文中提出在数据结构与算法的课堂教学中引入趣味教学的方法,以激发学生的求知欲,调动学生的学习积极性与主动性。实践证明,趣味教学法提高了学生的学习兴趣,改善了教学效果。

面向对象的程序设计的演化特征及应用

本文以数据类型的抽象与重构为线索，分析与评介了程序设计语言与方法的演化过程及其必然性，探讨面向对象程序设计与实现需解决的若干问题。在此基础上介绍了面向对象程序设计在数据库与人工智能两大分支中的应用途径、现状与前景。

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

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

基于面向对象方法的通用报表系统生成工具的开发模式

本文提出了一种实用的通用报表系统开发摸式，讨论了开发摸式中的面向对象方法的＊本思想及其应用。基于这种摸式，研制了通用报表系统生成工具，并应用生成工具生成了开发现模小、可维护性好的统计分析报表处理系统。