《计算机:一部历史》,给大众读者写的计算机科普读物,零门槛入门计算机科学。讲述计算机背后鲜为人知的故事,普及关于计算机和互联网,你不得不了解的知识。在过去数十年里,除非你一直与世隔绝,否则就不可能不受到信息革命的影响。我们身处技术演进史上的计算机时代,无论你是计算机和互联网的拥护者、反对者还是旁观者,无论你是否具备计算机专业背景,只要你使用计算机,这本书就是你的案头。
计算复杂性理论是用数学方法研究使用数位计算机解决各种算法问题困难度的理论。本书对计算机科学中这一重要理论做了全面的介绍。其内容包含基本理论,如计算模型NP-完全性,以及较深入的课题,如线路复杂性、概率复杂性和交互证明系统等。此外,本书还包括了复杂性理论近年来两个较重大的突破,即概率可验证明及其在近似算法上的应用和平均NP-完全理论。本书中所有结果均有严格的数学证明,在每章后配有相关练习题。 本书可用作计算机专业、计算数学专业的计算机理论课程的教材,也是有关研究人员不可或缺的参考书。
《计算机:一部历史》,给大众读者写的计算机科普读物,零门槛入门计算机科学。讲述计算机背后鲜为人知的故事,普及关于计算机和互联网,你不得不了解的知识。在过去数十年里,除非你一直与世隔绝,否则就不可能不受到信息革命的影响。我们身处技术演进史上的计算机时代,无论你是计算机和互联网的拥护者、反对者还是旁观者,无论你是否具备计算机专业背景,只要你使用计算机,这本书就是你的案头。
本书由射影几何、矩阵与张量、模型估计3篇组成,它们是三维计算机视觉所涉及的基本数学理论与方法。射影几何学是三维计算机视觉的数学基础,本书着重介绍射影几何学及其在视觉中的应用,主要内容包括:平面与空间射影几何,摄像机几何,两视点几何,自标定技术和三维重构理论。矩阵与张量是描述和解决三维计算机视觉问题的必要数学工具,本书着重介绍与视觉有关的矩阵和张量理论及其应用,主要内容包括:矩阵分解,矩阵分析,张量代数,运动与结构,多视点张量。模型估计是三维计算机视觉的基本问题,通常涉及变换或某种数学量的估计,本书着重介绍与视觉估计有关的数学理论与方法,主要内容包括:迭代优化理论,参数估计理论,视觉估计的代数方法、几何方法、鲁棒方法和贝叶斯方法。 本书可作为大学高年级本科生、研究生的教材。
近年来,多目标进化算法(MOEA)的研究进入了快速发展阶段,越来越多的人开始从事MOEA的设计与实现,MOEA的应用也日益广泛。 本书比较全面地综述了MOEA的国际研究现状和发展,讨论了MOEA的基本概念和基本原理,介绍了目前国际上比较典型的MOEA,论述了MOEA的性能评价方法,阐述了构造Pareto解集的方法,刻面了保持进化群体分布性的方法和策略,详述了MOEA的测试方法。同时,对MOEA的收敛性的方法和策略,详述了MOEA的测试方法。同时,对MOEA的收敛性及应用进行了讨论和分析。 本书可作为计算机、自动控制和其它相关专业高年级本科生和研究生,以及MOEA爱好者研究、学习的教材或参考书。
数据结构一直是计算机科学专业课程的核心内容,它是信息的组织方式。对于相同的算法,用不同的数据结构表示其中的抽象数据类型会造成不同的执行效率。 本书从面向对象程序设计的角度,具体使用C 语言,讲述了数据结构及其算法。通过对方法接口、示例和应用的学习,引导学生逐渐理解和掌握如何高效地使用数据结构。 本书与传统数据结构教材相比,除了保留系统、全面的风格之外,还具有重视与实际编程结合、侧重标准模板库的实现描述等特点;并配有丰富的习题及实验,是一本的课堂和自学参考用书。
本书是计算理论方面的教材之一,包括上下文无关文法、上下文无关文法范式、有限自动机、正则语言的性质、下推自动机和上下文无关语言、图灵机、图灵可计算函数、乔姆斯基层次、判定问题与丘奇图灵机、不可判定性、Mu-递归函数、时间复杂性、库克定理、NP-完全问题、LL(k)文法以及LR(k)文法等问题。本书不仅介绍了计算机科学的基础,而且通过概念的严格表述,以及使用通俗的例子来阐释定理,从而帮助学生提高数学论证能力以及对计算理论知识的全面深入的理解。书中每章后面都有附有大量习题,通过完成这些习题,学生可以加深对本章内容的理解。 本书可以用作计算机科学、计算机工程及其相关专业的教材,也可以作为从事计算理论、形式语言以及计算机系统研发的研究人员和工程技术人员的参考书。
本书主要章节内容由云计算概论、云计算技术、架构以及云计算应用三篇12章组成。篇云计算概论由云计算的概念及演进、云计算商业模式、云计算标准和云安全4个章节组成;第二篇云计算技术及架构由云计算体系结构及技术、基础设施即服务(IaaS)、平台即服务(PaaS)以及软件应用即服务(SaaS)4个章节组成;第三篇云计算应用由企业实践云计算策略与方法、云计算应用案例、云计算搭建创新平台以及云计算深刻改变未来4个章节组成。
《精选单片机设计与制作30例》是“无线电精汇”系列中的一本,精选了30个的单片机设计与制作项目,包括遥控与自动控制、电源与充电器、实用制作、趣味制作、仪器仪表、单片机开发与通信等6个方面的内容。单片机在现代化电子产品中应用广泛,它是产品智能化的基础,单片机设计与制作是电子爱好者不可不学的内容。《精选单片机设计与制作30例》汇集的制作实例内容丰富、资料翔实、实用性强,是近年来电子爱好者、电子技术专业人士在单片机制作项目中的精品,值得读者学习与借鉴。《精选单片机设计与制作30例》不仅适合电子爱好者、单片机学习者阅读,还可以为大中专学校师生开展电子科技实践活动提供有益的参考。
《微机系统原理及应用(第2版)》基础部分讨论了一般性问题,其中包括计算机中的数、码和常用电路,微处理器系统的基本结构和运行原理,微处理器、存储器和I/O的重要概念以及它们之间的相互关系。应用部分以MCS-51微控制器为主,介绍了它的结构特点,存储器组织,指令系统及集成的定时、中断和串行通信等功能。围绕MCS-51的总线及其时序,介绍了存储器和外围芯片的扩展技术,并强调与时序配合。在存储器扩展部分介绍了各种译码方法。在I/O扩展方面,重点介绍了典型接口的工作原理及其应用,本书对传统的外围接口芯片及其功能的介绍进行了仔细的取舍。在以MCS-51为基础的汇编语言教学中,引入ASM-51宏汇编的规范,它支持多模块以及今后同C51语言的混合编程。为了帮助初学者理解和掌握,汇编语言程序示例都尽可能完整地列出(对应的C51的例程作为附录给出
RUP(RationalUnifiedProcess)是Rational公司开发的一种软件工程过程,是开发组织用于分配和管理任务及职责的规范化方法,其目标是帮助开发人员在预定的进度和预算范围内开发出符合最终用户需求的产品。本书依照RUP2003进行编写,全面而简洁地介绍了RUP的概念,结构,内容和动机,帮助读者学会如何开发出高质量的软件。本书作者是RUP的首席架构师,本书融入作者几十年的开发经验,极具实用性。本书适合所有参与软件开发的人员阅读。
本书是关于形式语言、自动机理论和计算复杂性方面的经典之作,是国际上得到广泛认可的计算机理论和计算机工程的。书中涵盖了有穷自动机、正则表达式与语言、正则语言的性质、上下文无关文法及上下文无关语言、下推自动机、上下文无关语言的性质、图灵机、不可判定性以及难解问题等内容。本书注重定义、定理的准确性和严格性,注重学生形式化和严格的数学推理能力的培养,同时在定义和证明中运用直观的方法说明抽象概念,借助许多图表帮助传达思想,并包含大量难度各异的示例和习题,便于读者加深对内容的理解。本书适合作为计算机高年级本科生及研究生计算理论课程的和教学参考书。
每个人都熟悉所谓“小世界现象”:当你遇见一个陌生人,交谈不久之后,我们往往会惊奇地发现:“原来我们有共同的朋友!”或者说,仅通过几个熟识的人,我们就早已经相互联系在一起了。在这本书中,邓肯·瓦茨(DuncanWatts)将这种有趣的现象——俗称“六度分离”(sixdegreesofseparation)——作为研究更一般现象的引子即证明了:在某种特定的条件下,小世界现象会出现在任何一种类型的网络之中。能够作为这一研究的素材的网络无所不在:大脑是一个神经网络;社会上的组织是人际网络;全球的经济是国民经济组成的网络,国民经济又是市场组成的网络,而市场则是相互作用的生产者和消费者组成的网络。食物链、生态系统以及因特网也都表现出网络特征。此外,解决某一问题的策略,一次谈话中的主题,甚至一种语言中的词汇都能够形成某种意义上的网
关于算法分析的这套多卷论著已经长期被公认为经典计算机科学的定义性描述。《计算机程序设计艺术,第4卷组合算法》是作者近期发表的部分内容。作为关于组合查找的冗长一章的一部分,这个分册讨论生成所有树和组合生成的历史。读者从本册中不仅会看到很多新内容,而且会发现与卷-第3卷及计算机科学和数学领域的丰富联系。一如既往,书中包括了大量的习题和富有挑战性的难题。
本书从智能控制的基本概念、工作原理、控制与优化的本质出发,系统地介绍模糊推理、神经网络、遗传算法和专家系统等智能控制技术。作为控制理论和方法的进一步发展,本书在复杂系统的基础上,利用数据融合技术和现代智能控制手段,建立递阶智能控制系统;同时介绍智能控制理论在复杂控制系统中的应用实例。全书共分7章,前6章系统地论述了人工智能控制的基本原理和方法,包括人工智能的基本概念及其发展状况、信息融合及递阶控制方式、模糊理论的基础知识及模糊控制方式的实现、神经网络的概念、类型和算法、遗传算法的辅助优化以及专家系统的基本原理和建立步骤。第7章注重实例,详细介绍了人工智能技术在复杂工业过程中的应用。本书可作为高等院校硕士研究生和高年级本科生的课程,也可供控制科学与工程、计算机控制、系统工程、电气
大数据与云计算时代已经到来,其背后的硬件支持是规模庞大的数据处理设备与不断增加的数据中心。数据处理设备昼夜不停地运行,散发大量的热量,积聚的热量过多会导致设备过热宕机,冷却过度则会导致能耗过高,那么如何为这些设备创造并维持稳定、合理的环境并尽量降低能耗是值得研究的课题。 本书从回顾数据中心发展历程开始,循序渐进地阐述了数据处理设备的环境要求,中心选址,热湿负荷的计算,数据中心可靠性与可用性,制冷空调系统架构,连续制冷,节能措施,制冷空调与自动控制一体化设计,施工验收与测试,运营维护,场地设施管理与制冷空调系统等内容。从数据处理设备的需求、计算的可靠性出发,推导出环境要求与制冷空调的系统架构,并从能耗优化的角度分析了节能措施的种类与适用场景,列举了两个行业内有名的工程案例。
《ARMCortex-M4自学笔记--基于KiisK60》(笔者杨东轩、王嵩)介绍了飞思卡尔公司推出的Kils系列微处理器K60的原理与开发方法,分为3篇,共20章:篇初识M4,介绍了K60的相关基础。并用一个“HelloWorld!”实例告诉读者如何完成一个简单的K60工程。第2篇新手上路,具体介绍K60基本模块的使用,包括GPIO模块、串口模块、PIT模块以及模拟模块等。每个模块都通过实例来讲解,简单易懂,非常适合读者掌握。第3篇高手晋级,不仅包含K60复杂模块的应用,例如DMA、PDB、FTM、RTc、LPTMR、I2c、SPI、CAN、USB、ENET和SDHC,还包含uC/OS—II的移植等内容。《ARMCortex-M4自学笔记--基于KiisK60》面向高等院校电子、电气、计算机、机械电子和仪器仪表等相关专业的本科生和研究生,也适合相关工程师参考阅读。