计算机科学理论与基础知识
-
软件测试分析与实践高炽扬本书从实际出发,通过典型案例系统地介绍了软件测试的流程和相应的测试技术。其中,第1、2 章的主要内容是软件测试的起源及发展、现状及前景,以及软件测试的定义、分类、标准等;第3 章、第4 章的主要内容是软件测试的重点与难点分析、常见测试类型、测试策略与方法、常见软件问题等;第5 章主要讲述的是软件测试5 个典型阶段的工作要点;第6 章的主要内容是测试过程管理的配置管理、质量监督和成果评审;第7 章的主要内容是测试项目实践。本书内容丰富,论述深入浅出,有较强的实用性和可操作性,可供软件测试、软件工程等专业的大学生、研究生及工程技术人员学习和参考。
-
基于分布式鲁棒优化的应急救援系统选址模型和算法研究刘康琳高效的应急救援系统对于降低生命和财产损失具有重要意义,选址决策作为战略规划,具有长期的影响力。《基于分布式鲁棒优化的应急救援系统选址模型和算法研究》考虑了应急救援过程中可能存在的中断风险、需求波动,以及其他潜在的多重不确定性,采用分布式鲁棒优化方法决策应急设施选址和物资储备方式,改善了救援过程中的资金不足、救援质量下降等问题,利用理论性质对模型进行有效近似,提出了外逼近、分支剪界等算法加速求解效率。研究结果显示,本书的模型较为全面地刻画了实际应急系统,显著提升了传统算法的运算速度,同时有效兼顾了实际救援过程中的效率和公平。本书可供管理科学与工程学、工业工程、交通运输工程、物流工程及物流管理方向的高年级本科生、研究生及相关领域科研人员参考。
-
计算机组成与设计袁春风 陈微本书主要介绍计算机组成与系统结构涉及的相关概念、理论和技术内容,以指令集架构ARMv8为模型机,着重介绍涉及整数和浮点数运算、指令集体系结构(ISA)、中央处理器、存储器和I/O接口等方面的设计思路和具体结构。本书共分8章:第1章对计算机系统及其性能评价进行概述性介绍;第2~3章主要介绍数据的机器级表示、运算,以及运算部件的结构与设计;第4~5章介绍指令系统以及各种CPU设计技术;第6章主要介绍包含主存、cache和虚拟存储器在内的存储器分层体系结构;第7章介绍总线互连以及输入/输出系统;第8章介绍并行处理计算系统的基本硬件结构和并行程序设计编程模型。 本书内容详尽,反映现实,概念清楚,通俗易懂,实例丰富,并提供大量典型习题以供读者练习。本书可以作为计算机专业本科或大专院校学生计算机组成原理和计算机系统结构相关课程的教材,也可以作为有关专业研究生或计算机技术人员的参考书。
-
分划递推法中泛型约束机制左正康,王昌晶《分划递推法中泛型约束机制》是作者在泛型程序设计领域多年研究的结晶,通过研究分划递推法中泛型约束机制的设计与实现,向读者展现泛型约束机制可解决一系列复杂泛型约束问题。读者阅读《分划递推法中泛型约束机制》之后,既可对泛型程序设计有更深入的了解,也可参考《分划递推法中泛型约束机制》提供的方法解决实际程序设计中可能会遇到的一些难题。
-
多时滞离散系统性能分析王卓等《多时滞离散系统性能分析》研究了一般时滞离散系统解的存在性和收敛性问题,以及多时滞线性定常/时变离散系统的可控可观性问题,得到了若干新结果;将状态扩维与非负矩阵理论相结合,提出了一套全新的研究思路和基于矩阵谱半径的分析方法,在多整数时滞线性定常离散系统、非整数时滞线性定常离散系统、多整数时滞线性时变离散系统、自治非线性离散系统、时变非线性离散系统以及线性区间离散系统的稳定性判据方面得到了一系列充分必要条件和充分条件。本《多时滞离散系统性能分析》的绝大部分研究成果都非常新颖、简洁和易于验证,初步形成了一套有别于现有分析方法的较为完整的理论体系,为相关研究和应用奠定了理论基础。
-
大学计算机基础王建书 蔡润芹本书主要讲述了计算机的基础知识和现代办公系统的相关应用技术。根据全国计算机等级考试大纲的要求,介绍了计算机基础知识、Windows 10操作系统、Word 2016文字处理软件、Excel 2016电子表格软件、PowerPoint 2016演示文稿软件、计算机网络基础及计算机新技术。 本书配套出版了由董万归、杨润标主编的《大学计算机基础实验指导》。本书可作为高等学校非计算机专业的计算机基础课程教材,也可作为计算机等级考试的培训教材,还可供从事办公自动化工作人员学习和参考及计算机爱好者自学用书。
-
人工智能与科学之美周彦 著本书主要讲述人工智能的发展历程、主要技术,以及在现代生活中的应用,具体包括人工智能概述、人工智能的实现、人工智能与机器视觉、人工智能与语音识别、人工智能与智能控制、人工智能的典型应用、人工智能与机器人、人工智能与智能汽车、发现人工智能的科学之美。本书旨在使读者通过对这些内容的学习,了解人工智能的发展趋势,具备人工智能的基本应用能力。本书的主要特点是全面、精准地介绍人工智能的发展概况,深入浅出地解析人工智能的原理与方法,结合案例剖析人工智能的应用领域。本书可作为高等院校各专业通识教育课程的教材,也可供从事人工智能相关领域设计、开发、应用的工程技术人员学习参考,还可作为面向中学生和社会人士的科普读物。
-
数字逻辑张鹏举 著本书全面、系统地介绍了数字逻辑的基础知识。全书共9章,包括数字逻辑基础、逻辑代数基础、逻辑门电路、组合逻辑电路、半导体存储电路、时序逻辑电路、脉冲波形的产生和整形电路、数模和模数转换、数字系统分析及设计;附录包括EDA工具QuartusII9.0简介、《电气简图用图形符号第12部分:二进制逻辑元件》(GB/T472812-2008)简介、常用逻辑符号对照表。本书可供高等学校计算机类、电子信息类、电气类、自动化类、仪器仪表类等专业作为本科生教材使用,也可作为电子工程技术人员的参考资料或供广大社会学习者自学使用。
-
基于神经网络的机器人路径规划李帅,张银炎,金龙 著《基于神经网络的机器人路径规划》介绍了用于机器人路径规划的细胞神经网络(cellular neural network,CNN)的近期新研究进展并分析其在月球车月面运动规划的潜在应用前景。《基于神经网络的机器人路径规划》给出了数个利用新颗的分布式神经网络模型求解短路径规划问题的例子,并给出其在扫地机器人应用中的关键问题之一——全覆盖问题的求解中的应用。《基于神经网络的机器人路径规划》结构清晰合理,易于学习掌握。全书内容按照先易后难的原则进行组织,符合大多数读者的学习习惯,从而使读者易于掌握所论述的内容。书中提供了大量的仿真例子供读者实践,其中部分实例含有源代码。《基于神经网络的机器人路径规划》可作为读者研究神经网络在机器人控制及路径规划方面的理论及应用的手学术资料,也可作为从事机器人相关领域研究的研究生在机器人路径规划方面的教材。
-
多视图网络表示学习技术赵海兴 著网络表示学杂网络数据挖掘领域有重要的影响力,其因能够有效编码网络结构特征与网络节点附属特征而得到广泛的应用。网络表示学将研究对象之间的上下文关系、结构关系、层次关系等嵌入低维度的表示向量空间中,从而为后续的机器学提供更为优质的特征输入。本书共6章。其中,第1章主要介绍网络表示学本概念和研展;第2章主要介绍网络表示学论知识;第3章主要介绍如何网络表示学随机游走过程;第4章主要介绍如何联合网络的两类特行网络表示学;第5章主要介绍如何联合网络的3类特行网络表示学;第6章主要介绍网络表示学用。本书既可作为网络表示学神经网络、数据挖掘、社会计算、复杂网络等领域研究和开发人员的参考书,也适用于企业和项目经理阅读,还可供对图深度学趣的本科生和研究生参考。