计算机科学理论与基础知识
-
控制之美王天威、黄军魁本书是一本围绕最优控制理论展开的实用指南,以深入浅出的方式介绍了最优控制理论、动态规划、线性二次型调节器(LQR)、模型预测控制(MPC)和卡尔曼滤波器以及它们之间的联系,并展示了它们在综合应用中的使用方法与技巧。本书旨在为读者提供全面而直观的学习资源,同时将这些概念有机地应用于实际控制问题。通过书中丰富的例子和详细的代码,读者可以直接实践和验证所学内容,从而深化对这些理论的理解。本书的目标读者群体为自动化类专业的本科生和研究生以及相关领域的科研人员。 -
科技想要什么(美)Kevin Kelly(凯文·凯利)《科技想要什么》一书中,凯文·凯利预测了未来数十年科技的12种趋势,包括创造大脑这一得寸进尺之举。不过,为了让人类创造的世界实现收益最大化,需要对这种全球体系产生的问题和代价保持敏感。作者详细讲述了值得我们学习的阿米什"早期使用者”和其他批判科技自我主义倾向的人所具有的智慧。凯利的新科技理论提供了三种实践经验:通过倾听科技的需求,我们和我们的孩子可以更加出色地做好准备,迎接必将到来的科技;通过采用主动融合原则,我们可以驾驭科技,使之发挥大作用;通过遵从这种类生命系统的长期规则,我们可以获得它的全部馈赠。 -
面向乡村振兴的社会公共资源新型网络化城乡共享机制研究李盛竹本书围绕乡村振兴战略对社会公共资源城乡均衡共享的时代要求,以服务农业发展、增强农村活力、提高农民生活品质为导向,建立“社会公共资源城乡共享差距”→“农村信息化促进不足与原因”→“新型网络化共享突破条件”→“共享创新模式、机制与对策”理论架构,剖析农村信息化在促进社会公共资源城乡共享中存在的问题与短板,以新型信息网络技术和各类智能设备为手段,从总体上揭示新型网络化促进社会公共资源城乡共享的机理,整体研究乡村振兴战略背景下社会公共资源城乡共享机制,综合设计出促进社会公共资源新型网络化城乡共享的模式、机制与政策体系。本书是教育 部人文社科基金项目“面向乡村振兴的社会公共资源新型网络化城乡共享机制研究(批准号:18XJA630003)”的研究成果集成。 -
硅谷人生费代里科?法金(Federico Faggin)微处理器的诞生开启了全新的数字时代——正是英特尔4004微处理器的发明,为人类带来了前所未有的融合。而它的发明人就是费代里科•法金。在本书中,国际知名的发明家兼企业家法金为我们依次描述了他的“四次生命”:在饱受战火摧残的意大利北部度过的早年生活;在美国的微电子行业的开拓性工作;作为成功人士的高科技公司企业家生活;近年在意识科学领域进行的探索。在这本回忆录中,法金生动地讲述了诸多轶事,带领读者走过技术发生巨大变革的数十年,并分享了他在人生每一阶段的洞见。本书译者是同济大学外国哲学硕士,曾任商务印书馆编辑,现就职于同济大学设计创意学院可持续未来设计研究中心,任研究助理。曾担任《给设计师的研究指南》一书的译者。 -
矩阵结构与矩阵函数的形式化施智平,吴爱轩,关永,王国辉,张倩颖本书系统深入地阐述了矩阵结构和矩阵函数的公理化体系,并给出基于此公理体系进行形式化分析与验证的应用。主要内容包括:矩阵结构的形式化;矩阵序列与矩阵级数理论的形式化;矩阵函数微分的形式化;矩阵理论的自动化定理证明;矩阵理论公理化系统在信息或物理系统形式化建模验证中的应用。 -
计算机组成与体系结构威廉·斯托林斯 著本书介绍了计算机组成及体系结构的核心知识,内容包括计算机系统的概念、运算、CPU、指令集和汇编语言、并行处理等,是计算机及相关专业了解计算机组成的经典教材。 -
大学计算机实验教程刘文洋,许晓强,杨宇姝全书针对Windows操作系统、Office办公软件和主流程序设计工具的操作与使用编写了6个实验,主要内容包括:Windows操作系统的基本操作、管理与维护功能的使用;Word文档的创建、编辑与排版操作;Excel工作表的基础操作、数据的管理、数据统计与查询、图表制作;演示文稿PPT的创建、幻灯片的基础设置和设计; C语言的常量与变量、格式化输入输出函数、语句结构; Python的编程规范、程序运行方式和语法基础。为强化重点实践内容操作的熟练程度,在每个实验后面附有少量操作作业。附录部分根据“大学计算机”课程的实际学习需要,提供了5组习题,供学生课后进行自测。 -
云原生时代的可观测系统最佳实战罗梦婷 蒲实 著在云原生时代,可观测性覆盖了应用的全生命周期,是云原生应用工具之一。本书基于笔者多年的云原生可观测性实践经验,从可观测系统的演进和基础理论开始介绍,结合案例对可观测系统的开源架构、日志、链路、监控、事件和诊断等关键要素的系统设计方案及问题解决思路进行阐述,帮助读者了解在业务实践中可观测性对云原生应用有哪些巨大助力。本书适合云原生应用开发人员、架构师、运维人员、测试人员,以及云计算相关从业人员阅读。 -
算法详解[美]蒂姆·拉夫加登(Tim Roughgarden)算法详解系列图书共有4卷,本书是第4卷——NP-Hard问题算法。全书共有6章,主要介绍了快速识别NP-Hard问题的方法和处理NP的算法工具。本书的每一章均有小测验、章末习题,这为读者的自我检查以及进一步学习提供了方便。本书提供了丰富而实用的资料,能够帮助读者提升算法思维能力。本书适合计算机专业的高校教师和学生,想要培养和训练算法思维与计算思维的IT专业人士,以及正在准备面试的应聘者和面试官阅读参考。 -
基于集成学习的文本情感分类问题研究王刚本书是近年来作者对文本情感分类研究成果及经验的总结。本书针对文本情感分类中存在的高维数据、非均衡数据和无标签数据等问题,将泛化能力和适应性较强的集成学习引入文本情感分类问题的研究中,系统比较各类集成学习方法在文本情感分析中的有效性,以此为基础分别研究基于POS-RS的文本情感分类问题、基于非均衡数据分类的文本情感分类问题,以及基于半监督学习的文本情感分类问题。
