迭代算子及其在可重用软件研究中的应用 被引量：4

1

作者 薛锦云 吴云峰 万剑怡 《软件学报》 EI CSCD 北大核心 1997年第2期145-152,共8页

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

关键词 迭代算子 可重用软件 循环机制 软件开发

下载PDF 职称材料

让趣味教学进驻数据结构与算法课堂 被引量：10

2

作者 刘晓静 王晓英 +2 位作者 薛媛媛 樊丽华 王瑞 《青海大学学报（自然科学版）》 2011年第5期95-97,共3页

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

关键词 数据结构与算法 趣味教学 抽象数据类型

下载PDF 职称材料

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

3

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

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

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

下载PDF 职称材料

三叉树结构及其实现 被引量：8

4

作者 张乃孝 《计算机研究与发展》 EI CSCD 北大核心 1993年第1期50-54,44,共6页

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

关键词 三叉树 数据结构 抽象数据类形

下载PDF 职称材料

面向对象的程序设计的演化特征及应用 被引量：4

5

作者 张学平 《计算机研究与发展》 EI CSCD 北大核心 1994年第5期46-51,共6页

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

关键词 面向对象 程序设计 人工智能

下载PDF 职称材料

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

6

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

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

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

下载PDF 职称材料

也谈“数据结构”课程教学的几个问题 被引量：5

7

作者 段友祥 宋惠英 宫发明 《计算机教育》 2010年第4期83-87,共5页

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

关键词 数据结构 抽象数据类型 教学

下载PDF 职称材料

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

8

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

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

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

下载PDF 职称材料

基于灰集的不确定性时空数据模型 被引量：4

9

作者 包磊 秦小麟 《遥感学报》 EI CSCD 北大核心 2005年第6期646-652,共7页

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

关键词 时空数据库 灰集理论 不确定性 抽象数据类型

下载PDF 职称材料

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

10

作者 陈祖希 牛传军 +7 位作者 梅萌 刘杰 刘传振 郑黎晓 骆翔宇 潘亮 汪小勇 徐中伟 《中国铁道科学》 EI CAS CSCD 北大核心 2023年第6期172-183,共12页

为克服Event-B方法在开发全新一代列车自主运行控制系统(Train Autonomous Circumambulate System,TACS)中所出现的建模复杂性问题,提出将抽象数据类型(Abstract Data Types,ADT)实例化与Event-B相结合的方法,对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%,在简化证明义务的同时有效提高了自动化证明的占比。 展开更多

关键词 EVENT-B 抽象数据类型 精化策略 列车自主运行控制系统

下载PDF 职称材料

支持语言扩展的编译基础结构──X体系结构的研究 被引量：1

11

作者 胡伟平 张兆庆 乔如良 《计算机学报》 EI CSCD 北大核心 1999年第4期403-408,共6页

语言机制是提供抽象的核心手段，但并不能容易地扩展，给软件的编写和维护带来困难．我们定义了一个可扩展的编译体系结构──X体系结构，目标是支持用户扩展语言机制、编码领域抽象和优化技巧．它提供了一个可扩展的语言──X语言，允... 语言机制是提供抽象的核心手段，但并不能容易地扩展，给软件的编写和维护带来困难．我们定义了一个可扩展的编译体系结构──X体系结构，目标是支持用户扩展语言机制、编码领域抽象和优化技巧．它提供了一个可扩展的语言──X语言，允许用户程序访问程序的多个视图（如AST、类图、类型、上下文等），并用该语言定义语言扩展，逐步提高该语言的抽象能力，得到高效的定制编译系统．本文中展示了新的语言扩展──程序枚举的实现过程，表现X体系结构的可扩充性． 展开更多

关键词 语言扩展 编译基础结构 X体系结构 编译器

下载PDF 职称材料

《数据结构》课程教学的几点思考 被引量：3

12

作者 邵珍 《安徽广播电视大学学报》 2005年第1期93-94,共2页

从教学实践的角度出发,阐述了《数据结构》课程教学中的一些方法和体会,探讨旨在提高教学效果应注意的几个方面。指出了学生在学习本课程时的重点和难点,以及本课程的基本学习方法。

关键词 《数据结构》 抽象数据类型 逻辑结构 物理结构 链表

下载PDF 职称材料

一类新型抽象数据类型:有序二叉决策图 被引量：3

13

作者 古天龙 《桂林电子科技大学学报》 2010年第5期374-388,共15页

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

关键词 有序二叉决策图 抽象数据类型 数据结构 符号技术 布尔函数

下载PDF 职称材料

探讨《数据结构》教学中的几个关键问题 被引量：3

14

作者 王丽丽 《科技信息》 2012年第7期6-7,共2页

本文讨论了数据结构教学中存在的几个问题,并给出了相应的实施措施和解决方案。重点介绍了数据结构中的几个重要的概念,提出了帮助学生跨越算法和程序的鸿沟的建议,以培养学生的创新性思维和动手能力,从而达到数据结构的教学目的。

关键词 数据结构 教学 抽象数据类型

下载PDF 职称材料

《数据结构》课程教学探讨 被引量：1

15

作者 蒋秀英 《泰山学院学报》 2003年第3期114-116,共3页

　探讨了建构主义教学模式在《数据结构》课程教学中的运用,指出了提高其教学效果应注意加强的几个方面.

关键词 计算机专业 《数据结构》教学 建构主义教学模式 教学效果 学习兴趣 课程目的

下载PDF 职称材料

基于多态和模板的数据结构算法设计 被引量：1

16

作者 刘喜勋 杨安祺 《陕西科技大学学报（自然科学版）》 2004年第4期108-110,共3页

基于对面向对象的软件分析和设计技术的研究,作者在文中提出了用面向对象的方法描述数据结构,即在数据结构课程中把面象对象编程中的多态和模板等技术相结合,以获得极高层次上的具有可复用性的泛型组件,从而使教学和现代计算机技术紧密... 基于对面向对象的软件分析和设计技术的研究,作者在文中提出了用面向对象的方法描述数据结构,即在数据结构课程中把面象对象编程中的多态和模板等技术相结合,以获得极高层次上的具有可复用性的泛型组件,从而使教学和现代计算机技术紧密结合,增强了传统课程的实用性。 展开更多

关键词 多态数据结构算法 抽象数据类型 面向对象编程 泛型编程

下载PDF 职称材料

基于对象的空间数据库建模研究

17

作者 卓涛 《贵州大学学报（自然科学版）》 2009年第2期97-100,111,共5页

以消防设施监控系统为研究载体,根据空间数据的基本概念和特征,利用面向对象的软件方法对地理环境中的基本空间数据对象进行建模,建立面向对象的整体空间数据对象模型,针对该系统中的对象模型表达即抽象数据类型(ADT)进行了关于对象独... 以消防设施监控系统为研究载体,根据空间数据的基本概念和特征,利用面向对象的软件方法对地理环境中的基本空间数据对象进行建模,建立面向对象的整体空间数据对象模型,针对该系统中的对象模型表达即抽象数据类型(ADT)进行了关于对象独立性的分析,指出在对象建模过程中,应注意空间数据类型的定义粒度。此外以空间数据在地理信息系统中的处理流程为基础,对空间信息的相关处理进行了分析总结。 展开更多

关键词 消防监控系统 空间数据 对象数据模型 OGIS ADT

下载PDF 职称材料

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

18

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

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

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

下载PDF 职称材料

广义表存储结构与算法设计分析 被引量：2

19

作者 王敏 《延安大学学报（自然科学版）》 2010年第2期38-40,46,共4页

给出了存储广义表两种不同存储结构的具体类型定义及其C语言描述,对两种不同存储结构下广义表的几种基本操作算法——求广义表的长度、深度、表长和表尾等算法进行了分析设计,并给出相应算法的C语言描述和时间复杂度分析,为数据结构相... 给出了存储广义表两种不同存储结构的具体类型定义及其C语言描述,对两种不同存储结构下广义表的几种基本操作算法——求广义表的长度、深度、表长和表尾等算法进行了分析设计,并给出相应算法的C语言描述和时间复杂度分析,为数据结构相关章节的教学起到一定的指导作用。 展开更多

关键词 广义表 抽象数据类型 C语言 时间复杂度

下载PDF 职称材料

Statecharts的抽象语法分析研究 被引量：1

20

作者 钱俊彦 《计算机工程》 CAS CSCD 北大核心 2004年第16期106-107,共2页

用抽象数据类型来描述Statecharts,希望隐藏语义表述上的细节,把一个图形化的语言转换为文本的方式来描述,并为Stacecharts语法分析奠定基础。

关键词 STATECHARTS 抽象数据类型 语法

下载PDF 职称材料