计算机科学理论与基础知识
-
格值Domain理论马娜娜格值Domain理论作为Domain理论的一个重要分支,有较大的理论研究价值和较好的应用前景,可为并发式语言提供量化模型。目前,该理论已有一些有价值的研究成果, 对相关结构语义学的研究不但可以推动该领域的发展,而且可以为程序设计语言指称语义学的发展提供坚实的数学基础,同时由于与其他学科交叉、 渗透,使得它的研究内容更加丰富, 研究意义更大。 本书综合运用Domain理论、范畴论、模糊集理论和模糊拓扑学等相关知识,系统地研究了格值Domain理论及其范畴性质。本书的主要内容是作者近几年来研究工作的总结,同时也兼顾国际上此领域中的研究成果。 全书共七章,具体内容包括: 格值预连续偏序集的范畴性质, 格值偏序集范畴的满子范畴, 代数格值domain范畴的等价范畴,格值有界完备domain的乘积范畴和格值ZL紧完备偏序集的范畴性质等理论。
-
人月神话【美】小弗雷德里克·P.布鲁克斯(Frederick P.Brooks, Jr.)著;UMLChina 译在软件领域,很少能有像《人月神话》一样具有深远影响力和长销不衰的著作。布鲁克斯博士为人们管理复杂项目提供了颇具洞察力的见解,从宏观角度有层次地分析了软件工程的方方面面,不仅逻辑严谨,而且颇具文化底蕴。《人月神话(纪念典藏版)》内容主要来自布鲁克斯博士在IBM公司研发并管理System/360计算机家族和OS/360软件支持包期间的项目管理经验,该项目堪称软件开发项目管理的典范。《人月神话(纪念典藏版)》英文版一经面世,即引起业内人士的强烈反响,后译为德、法、日、俄、中、韩等多种文字,成为软件开发和管理人员的B读经典。
-
走近图灵[新西兰]杰克·科普兰,[英]乔纳森·鲍文,[英]马克·斯普雷瓦克,[英]罗宾·威尔逊这是一部有关计算机科学和人工智能之父艾伦?图灵的科普佳作,它生动地介绍了图灵的生平,以通俗易懂的语言展现了图灵在计算机科学、数理逻辑、密码学、人工智能、人工生命、认知科学、机械化数学等诸多领域的杰出成就,其中不乏一些高屋建瓴的思想。例如,作为通用计算模型的图灵机、对判定问题的否证、机器学习的本质、形态发生的动力学解释等。 本书内容细致严谨,从多个视角为我们描述了真实而立体的图灵,可作为研究计算历史的重要参考文献。图灵对国家的无私奉献、对强人工智能的期待、对人性的理解、对苦难的忍受,都值得我们深思——图灵的精神,属于全体人类。相信这本书必将激发读者们的想象力与好奇心,让每个人都能从中受益,阅读此书将是一次难得的精神升华之旅。
-
SketchUp 完全实训手册张骞SketchUp是一款极受欢迎并且易于使用的3D设计软件,在建筑效果和景观效果等设计领域应用广泛。《SketchUp 完全实训手册》主要讲解**版本SketchUp 2022的设计功能,包括设计基础、绘图工具、造型工具、辅助工具、群组和组件、材质和贴图、场景和动画设计、剖切平面和沙箱、插件和渲染、扩展功能等内容,从实用的角度介绍了SketchUp 2022中文版的使用,并讲解了包括建筑设计和室内设计综合范例在内的多个精美实用的设计范例。本书还配备了包含大量模型图库、范例教学视频和网络资源介绍的海量教学资源。 《SketchUp 完全实训手册》内容丰富、通俗易懂、语言规范、实用性强,特别适合初、中级用户的学习,是广大读者快速掌握SketchUp 2022的实用指导书和工具手册,也可作为大专院校计算机辅助设计课程的辅助教材。
-
趣话计算机底层技术轩辕之风(@編程技术宇宙)本书用一系列有趣的小故事讲述计算机底层相关的技术知识。• 第1章:聚焦计算机中核心的CPU,从基础的门电路开始,到基本的指令执行过程,后到CPU的一些高级技术。内容涵盖缓存、原子操作、指令流水线、分支预测、乱序执行、超线程、SIMD、 内存管理、TLB等。• 第2章:主要讲述计算机中的存储设施,包括CPU中的缓存,内存、机械硬盘三者数据存储的原理,以及硬盘上的数据管理组织的软件——文件系统基本模型。• 第3章:主要讲述计算机中的I/O和数据传输。内容涵盖总线系统、中断机制、DMA技术、零拷贝技术。重点关注网卡相关的数据传输,包括网卡的基本工作机制,网卡接收数据包后的处理,后介绍一种时下流行的数据包处理技术——DPDK。• 第4章:前面三章主要是在硬件层面,这一章开始介绍软件。本章聚焦计算机中重要的软件——操作系统。本书默认以Linux为参考,内容涵盖操作系统的一些基础知识,包括进程、线程、系统调用、异常处理、信号、锁、权限管理,后介绍一个时下流行的容器技术Docker的原理。• 第5章:主要涉及系统编程中和操作系统紧密相关的一些技术点。包括进程的创建过程、线程栈、进程间通信、I/O多路复用、内存映射文件、协程,后简单介绍调试器GDB和可执行文件ELF。• 第6章:本章的主题是安全。网络安全涉及方方面面,本章挑选了和计算机系统底层相关的一些安全技术,通过故事去感受计算机攻击的原理,包含栈溢出攻击、整数溢出攻击、DDoS攻击、TCP会话劫持、HTTPS原理,还有前几年大火的CPU漏洞——熔断与幽灵攻击原理等。
-
量子行走在复杂网络中的应用闫飞,梁文,董芳艳《量子行走在复杂网络中的应用》是针对量子计算和网络科学交叉领域研究的专著。《量子行走在复杂网络中的应用》结合作者的部分研究成果,旨在介绍量子行走算法在复杂网络结构挖掘和表示学习中的应用,主要内容有:量子计算和量子行走的基础理论,低维量子行走的泛化定义和性质,离散时间量子行走和连续时间量子行走在网络节点、网络链路以及网络子图挖掘中的应用,量子行走在网络表示学习和图神经网络中的应用。
-
PyQt6开发及实例郑阿奇PyQt6是Python应用开发的平台,本书包括PyQt6基础和PyQt6开发及实例两部分。PyQt6基础部分通过一个简单实例初步熟悉PyQt6的两种界面开发方式,然后介绍通用窗口、对话框(包括子类控件)和主窗口属性、方法、事件、信号和槽,在此基础上介绍布局管理、常用控件、容器布局、菜单栏、工具栏、状态栏、表格、树、拖曳与剪贴、绘图、二维及三维图表、定时器、线程和网页交互等。PyQt6开发及实例部分包括文档分析器、网上商城、我的美图、我的绘图板、简版微信和简版抖音。本书内容兼顾代码设计和工具设计,以代码设计为主。PyQt6基础部分所有实例均采用代码设计,PyQt6开发及实例部分一般界面采用工具设计,功能实现采用代码设计,与实际应用开发方式相同。实例侧重于综合应用,每一个实例都经过精心考虑,尽可能合理分配重要知识点和应用模块库,使其既体现主要知识的综合,又是一个简化的流行应用。实例没有严格的学习顺序,读者可以根据需要选择。本书网络资源包括源代码、学习课件、所有实例的工程文件包和对应的二维码文档,读者可通过电子工业出版社华信教育资源网免费下载。本书可作为PyQt6和Python学习与应用开发的参考书,也可作为教学参考书。
-
深度学习应用与实战韩少云 等本书系统介绍了神经网络和深度学习,并结合实际应用场景和综合案例,让读者深入了解深度学习。全书共16章,分为4个部分。第1部分介绍了深度学习基础算法与应用,主要包括神经网络和深度学习的相关概念、多层神经网络的基本原理和具体应用、卷积神经网络的原理及项目案例实现、优化算法与模型管理。第2部分介绍了深度学习进阶算法与应用,主要包括经典的深度卷积神经网络,ResNet、DenseNet和MobileNet,目标检测的基本概念和常见算法,循环神经网络的基本概念和具体应用。第3部分介绍了时空数据模型与应用,主要包括CNN-LSTM混合模型的基本概念和具体应用,多元时间序列神经网络、注意力机制和Transformer的基本结构和具体应用。第4部分介绍了生成对抗网络及其应用,主要包括生成对抗网络的基本概念及其模型的结构和训练过程,使用检测模型、识别模型对车牌进行检测与识别。本书适合对人工智能、机器学习、神经网络和深度学习等感兴趣的读者阅读,也适合作为本科院校和高等职业院校人工智能相关专业的教材。本书可以帮助有一定基础的读者查漏补缺,使其深入理解和掌握与深度学习相关的原理及方法,并能提高其解决实际问题的能力。
-
这就是推荐系统胡澜涛 等推荐系统作为近年来非常热门的AI技术落地场景,已广泛应用于各行业的互联网应用,从衣食住行到娱乐消费,以及无处不在的广告,背后都依赖推荐系统的决策。本书贴合工业级推荐系统,以推荐系统的整体技术框架为切入点,深入剖析推荐系统中的内容理解、用户画像、召回、排序、重排等核心模块,介绍每个模块的核心技术和业界应用,并展开介绍了推荐冷启动、推荐偏置与消偏等常见问题和解决方案。此外,还对当前推荐系统领域的热门前沿技术进行了介绍,包括强化学习、因果推断、端上智能等。
-
3ds Max 2022三维动画制作标准教程师晶、孙明灿《3ds Max 2022三维动画制作标准教程:全彩版》系统地介绍使用中文版3ds Max 2022进行三维动画制作的方法。全书共分12章,主要内容包括3ds Max 2022入门、几何体建模、修改器建模、二维图形建模、多边形建模、材质与贴图、摄影机与灯光、三维动画制作、动力学技术、毛发系统、渲染技术和综合案例解析等。《3ds Max 2022三维动画制作标准教程:全彩版》结构清晰,语言简练,实例丰富,既可作为高等学校相关专业的教材,也可作为从事三维动画设计和动画建模制作人员的参考书。《3ds Max 2022三维动画制作标准教程:全彩版》同步的实例操作二维码教学视频可供读者随时扫码学习。书中对应的电子课件、习题答案和实例源文件可以到http://www.tupwk.com.cn/downpage 网站下载,也可以扫描前言中的二维码推送配套资源到邮箱。