抽象数据类型

作品数：96被引量：108H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：钟珞郑黎晓杨有邬伦林星更多>>
相关机构：武汉大学北京大学武汉理工大学国防科学技术大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家教育部博士点基金中央高校基本科研业务费专项资金浙江省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Event-B与ADT的TACS形式化开发方法与验证被引量：1
《中国铁道科学》2023年第6期172-183,共12页陈祖希 牛传军 梅萌 刘杰 刘传振 郑黎晓 骆翔宇 潘亮 汪小勇 徐中伟 
国家重点研发计划项目(2022YFB430050461802134);福建省自然科学基金资助项目(2021J01320);上海市自然科学基金资助项目(22ZR1422200)。
为克服Event-B方法在开发全新一代列车自主运行控制系统(Train Autonomous Circumambulate System,TACS)中所出现的建模复杂性问题,提出将抽象数据类型(Abstract Data Types,ADT)实例化与Event-B相结合的方法,对TACS进行形式化开发和验...
关键词：EVENT-B 抽象数据类型 精化策略 列车自主运行控制系统 
《数据结构与算法》课程的教学方法研究与探讨被引量：2
《电脑知识与技术（过刊）》2017年第11X期186-188,共3页王竹婷 孙欣欣 
合肥学院校级质量工程项目(2017jyxm020)
《数据结构与算法》是计算机本科专业的核心课程,该课程的学习不仅仅可以进一步强化学生的编程能力,培养解决问题的思维逻辑,同时还为后续开设的专业课程提供处理问题的相关模型,在整个计算机专业的课程体系中处于非常重要的地位。但在...
关键词：数据结构 抽象数据类型 教学改革 教学方法 
非重点院校的数据结构课程教学改革被引量：3
《计算机教育》2015年第14期52-55,共4页程裕强 周国军 吴庆军 张茂胜 
2014年广西高等教育教学改革工程项目(一般项目A类)"移动互联网背景下信息与计算科学专业应用型人才培养模式的研究与实践"(2014JGA207)
提出在主流数据结构教材基础上进行课程改革,包括降低课程难度、充实核心章节、精简次要部分、引入面向对象思想描述抽象数据模型、增加4类习题和上机任务等。
关键词：数据结构 抽象数据类型 教学改革 
基于数据求精的矩阵迷惑
《计算机应用》2014年第9期2630-2634,共5页孙喁喁 黄光球 
陕西省教育厅自然科学专项(2013JK1191)
目前数据迷惑通常是针对单一具体的数据结构,为了将相同的迷惑方法应用于不同的数据结构,提出了将迷惑看作数据求精,认为迷惑是一个抽象数据类型,建立了证明迷惑正确性的通用方程。通过分割矩阵,改变元素的模式,从而隐藏矩阵的含义。基...
关键词：迷惑 数据求精 抽象数据类型 分割矩阵 函数式语言 
基于面向对象技术的代数Petri网模型的研究
《通化师范学院学报》2014年第8期46-47,共2页李金友 纪洪波 
吉教科合字[2007]第216号
为了提高软件工程中可视化编程的开发效率,提出了一种基于面向对象技术的代数Petri网的模型.该方法可以有效地减少开发人员的学习时间,提高软件系统的健壮性和开发效率.
关键词：面向对象 代数Petri网 软件工程 抽象数据类型 
C/C++语言机制对数据结构教学的影响分析被引量：1
《科技信息》2013年第36期39-39,41,共2页王子元 
数据结构的教学工作必须立足于一种具体的高级程序设计语言,而高级程序设计语言中各种语言机制则会制约和影响数据结构课程的具体教学方法。本文分析了C/C++语言中面向过程、抽象数据类型、面向对象、泛型编程等语言机制对于数据结构教...
关键词：数据结构 抽象数据类型 面向对象 泛型编程 
应用网络课程平台构建《数据结构》课程教学新模式
《中国电子教育》2012年第4期55-58,共4页石鲁生 王海燕 
江苏省宿迁学院网络课程立项项目(项目编号:WL201212)
一、引言当前,网络教育发展迅猛,已经成为高等教育的必备元素。推进高校网络课程建设与应用已经成为高等学校课程建设的重要组成部分。近年来,伴随着高校教学质量工程建设的深入发展,许多高校为了提高教学质量,千方百计筹集资金,建设了...
关键词：《数据结构》 课程平台 平台构建 教学质量工程 抽象数据类型 教学效果 二叉树 学校课程建设 非数值 
抽象数据类型的双代数结构及其计算被引量：10
《计算机研究与发展》2012年第8期1787-1803,共17页苏锦钿 余珊珊 
国家自然科学基金项目(61103039);高等学校博士学科点专项科研基金项目(20100172120043);中央高校基本科研业务费专项基金项目(2009ZM0158)
程序语言中的许多抽象数据类型包含了可递归定义的语法构造和可共递归定义的动态行为特征,因此单纯利用代数或共代数难以给出完整的描述.双代数是同一载体集上的代数和共代数对,提供了一种从范畴论的角度探讨抽象数据类型上的语法构造...
关键词：抽象数据类型 代数 共代数 双代数 递归 共递归 
探讨《数据结构》教学中的几个关键问题被引量：4
《科技信息》2012年第7期6-7,共2页王丽丽 
国家级特色专业(TS12142);安徽省省级教学研究项(2008jyxm354;2008jyxm359)
本文讨论了数据结构教学中存在的几个问题,并给出了相应的实施措施和解决方案。重点介绍了数据结构中的几个重要的概念,提出了帮助学生跨越算法和程序的鸿沟的建议,以培养学生的创新性思维和动手能力,从而达到数据结构的教学目的。
关键词：数据结构 教学 抽象数据类型 
抽象数据类型的双代数结构被引量：5
《华南理工大学学报（自然科学版）》2011年第12期44-50,共7页苏锦钿 余珊珊 
国家自然科学基金资助项目(61103039);高等学校博士学科点专项科研基金资助项目(20100172120043);华南理工大学中央高校基本科研业务费专项资金资助项目(2009ZM0158)
对抽象数据类型的语法构造和动态行为的性质及两者的关系而言,单纯利用代数或共代数方法进行研究存在一定的不足.文中结合范畴论及分配律给出抽象数据类型的双代数结构,并通过λ-双代数自然地描述了语法构造与动态行为之间的转换关系;...
关键词：抽象数据类型:共代数:双代数:共递归 
全选清除导出
共10页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部