课程文献中心 更多>>

关键词： 数据结构   计算机专业   课程思政   思政教育  

摘要： 计算机学类专业课程不仅要求学生具有良好的理论基础,还要有较强的实践应用能力.在新时期代教育改革的大背景下,加强专业课程思政化建设是践行立德树人教育理念的重要途径.本文分析了当下计算机课程思政化建设现状,并基于数据结构探讨了新时期计算机专业课程思政化建设的意义和方法,依以此来促进计算机专业课程教学效果,并同时加强学生的思政教育.

关键词： 数据结构   C语言  

ISBN: (纸本)9787040559316

摘要： 本书共10章，内容包括基本概念、基本结构(线性表、栈与队列、串、数组与广义表、树、图)和基本技术(查找与排序)三大部分，每章均附小结与典型题例，并配有大量的例题、习题与实习题，连贯性强。

关键词： C++语言  

ISBN: (纸本)9787302585329

摘要： 本书系统地介绍了常用的数据结构以及查找和排序的算法，阐述了数据结构的逻辑结构、存储表示及基本运算，并采用C++语言描述数据组织和基本运算算法的实现，所有算法程序均在Dev C++5.1中调试通过。

摘要： Non-blocking concurrent data structures are developed as a more efficient solution to concurrentdata structures; in non-blocking concurrent data structures hardware-level atomic instructions areused instead of higher-level, expensive locking mechanisms. Lock-free algorithms, however, arenotoriously hard to design and prone to subtle concurrency errors that are difficult to pick up. Linearisability Checking is the standard correctness condition for non-blocking concurrent datastructures; a data structure is linearisable if each concurrent execution of the data structure correspondsto the execution of its correct sequential specification. In this thesis, the focus is on the linearisability checking of non-blocking data structures using amodel checker. The approaches for checking linearisability using a model checker can be broadlycategorised into linearisation point and automatic linearisability checking. The state-of-the-artstrategies were implemented using the Java PathFinder Model Checker as basis. The linearisationpoint linearisability checking strategy of Vechev et al. was extended to include data structures withoperations that act generically on the data structure, and not just on one element in the data structure. An improved version of Doolan et al.'s external automatic checker was implemented and theidea of an external checker was extended to the improved linearisation point checking strategy. Thelazy read optimisation, proposed by Long et al., and a hash optimisation, proposed in this thesis, for the automatic checker was implemented and the effectiveness and benefit of the optimisationsdetermined. The performance-limiting factor of the automatic checker was investigated and theclaims made by Vechev et al., Liu et al., and Doolan et al. confirmed/falsified. The concrete checker's usefulness in finding linearisability errors is constrained by the user's abilityto hand-craft test cases in which errors are present. A new Symbolic Linearisability Checkerwas deve

关键词： 多线程   无锁数据结构   本地缓冲区   原子指令   负载均衡   局部性良好  

摘要： 近些年来,处理器的发展趋势由高频转向多核,这使得利用多线程发挥多核处理器的计算能力具有现实意义。消息队列在操作系统和应用程序中均有广泛应用,但基于锁同步机制的消息队列无法发挥多核处理器的优势,同时锁的使用增加了数据竞争和死锁等严重问题的风险。因此,研究人员对无锁数据结构进行深入研究,使用比较与交换同步原语的无锁数据结构能够摆脱数据竞争和死锁等问题,但是大多数无锁数据结构伸缩性不够良好,未能充分发挥多核处理器的性能优势。消息队列的核心数据结构是队列和过滤器,因此利用伸缩性良好的队列和过滤器提升消息队列的性能具有重要研究意义。本文以对现有消息队列进行改进为背景,以无锁数据结构相关技术为切入点,对消息队列中间件的实现进行研究,主要工作如下:(1)提出基于获取与增加的无锁队列DQueue。每个生产者使用本地缓冲区暂存入队请求,当缓冲区满时将数据批量写入共享队列,消费者读取暂存在缓冲区的数据时,使用普通访问语句代替昂贵的原子指令,通过减少缓存缺失和写缓冲区刷新提升效率。(2)提出两种基于比较与交换的Cuckoo哈希表。在写负载大于读负载的情况下,基于比较与交换的负载均衡Cuckoo哈希表通过实时限制每个桶的负载率提升写入效率。在读负载大于写负载的情况下,基于比较与交换的局部性良好Cuckoo哈希表通过将数据项集中存储在哈希表某一区域内提高正向查询效率。(3)提出消息队列CDMQ,将基于比较与交换的Cuckoo哈希表改进成并发Cuckoo过滤器CCF。CDMQ以CCF和DQueue为基础,多个生产者写入数据,消费者读取通过CCF过滤检验的数据。实验表明,CDMQ具有吞吐量高,伸缩性良好的优点。

关键词： 算法   数据结构题库   命题系统设计  

摘要： 为了更好的服务不同学习基础的学生进行自主学习、进一步科学有效的实施教考分离。结合多年教学实际,搜集整理了算法与数据结构课程题库;实现和测试了试卷组卷系统;阐述了题库建设的意义、存在问题和构建方案;分析了题库及系统在教学过程中实际应用效果。实践结果表明,课程题库的建设能更好的帮助学生进行具有针对性的课后复习过程,同时更适合地方应用型院校的学生学习基础,从而有效地提高学习效果,也为教学过程的方向调整提供了参考。

关键词： C语言  

ISBN: (纸本)9787560661148

摘要： 本书根据普通高等院校数据结构课程的发展需求及研究生入学考试大纲要求而编写, 全书以专业基础能力培养为目标, 以实际应用为驱动, 通过应用实例引入数据结构, 逐步展开数据结构的存储表示、基本操作的实现及其应用的详细介绍, 以达到理论与应用紧密结合的教学目的。全书共分为8章, 内容包括绪论, 线性表, 栈和队列, 串、数组和广义表, 树与二叉树, 图, 查找以及排序。

关键词： 数据结构  

ISBN: (纸本)9787302564713

摘要： 本书以一个计算机教师教学为场景，讲解数据结构和相关算法内容的知识。通篇都以一种趣味方式来叙述，大量引用了各种各样的生活知识来类比，并充分运用图形语言来体现抽象内容，对数据结构所涉及到的一些经典算法做到逐行分析，多算法比较。与市场上的同类数据结构图书相比，本书内容趣味易读，算法讲解细致深刻，是一本非常适合自学的读物。

标准号: T/CIECCPA 010-2020