计算机科学理论与基础知识
-
可控自然语言生成研究高扬本书基于当前自然语言生成的研究现状,探究自然语言生成中的可控性。利用预训练语言模型中的知识,将可解释信息用于可控生成过程,包括将概念语义和特征属性用于生成模型的构建思路和基本算法。本书内容包括绪论、基于概念网络的文摘生成、可解释信息抽取、概念语义可控摘要生成。可控文本生成方法和基于提示的文本生成控制。本书可作为人工智能、自然语言处理、大数据等专业研究生教材或教学参考书,也可供自然语言处理相关专业的工程技术人员阅读参考 -
控制理论若干瓶颈问题《控制理论若干瓶颈问题》项目组本书主要针对控制理论的一些重要分支,分析了当前存在的瓶颈问题,展望了其发展趋势和面临的一系列挑战。全书共分为17章,分别为:优化控制研究的概述与关键问题分析、逻辑控制系统中的未解问题、系统与控制中优化理论与应用的挑战与瓶颈、分布参数系统控制、数据驱动控制系统、自抗扰控制中的若干未解问题、非线性控制的几个瓶颈问题、时间与事件驱动的采样系统控制、系统辨识在信息时代的挑战和一些瓶颈问题、自适应控制的瓶颈问题、预测控制理论的瓶颈问题、随机控制系统中的若干瓶颈问题、不连续控制系统的现状及开问题、时滞系统控制的瓶颈问题、控制系统分析设计的一个隐性瓶颈问题、鲁棒控制的瓶颈问题、怎样的受控对象更好控制;最后以附录的形式列出了征集到的部分开问题。 -
信息技术基础实训教程张立立 王彤 刘晨 陈郭成 郭崇双本书致力于系统培养大学生信息技术基础实践能力,详细介绍了实验室管理及用电安全、实验软硬件开发环境、基于单片机的程序设计及焊接实践、基于树莓派的应用系统实践、智能家居的设计与应用实践及通用计算机系统实践。在内容选择上,本书既保留传统基础性实验,同时又增加了新兴热门知识;在实际操作训练中,严格按照工程要求和流程进行操作,手把手教学,使学生掌握基本技能和工艺制造流程。书中包含大量有趣的与工程和生活相关的实践内容,主要实训如下: 树莓派系统环境搭建 数码管显示及应用 单片机按键检测及蜂鸣器应用 爱心灯套件的焊接及调试 基于树莓派的综合实验 智能家居系统实物设计及虚拟设计 计算机硬件系统的拆卸与组装 计算机操作系统的安装通过实训项目的设计,让学生自己制定实验计划和实验方法,并逐步完善实验方法和实验步骤,实现预定目标,进而提高学生工程设计能力和训练水平。 -
原理、技术与实战颜海镜开发JavaScript库是入门前端领域的重要一步。本书旨在帮助前端开发者掌握现代JavaScript库的开发技术,让每个人都可以开源自己的现代JavaScript库。本书系统介绍了现代JavaScript库开发涉及的技术、原理和最佳实践,以及将库开源后如何做好维护工作。在最佳实战部分,本书选取了9个典型库作为案例,展示开发流程,代码清晰、完善。 本书既适合对现代JavaScript库开发及开源感兴趣的前端开发者阅读,也适合想要学习前端项目开发技术的初学者阅读。 -
网络空间环境概览任传伦 等人类既是环境的产物,也在不断改造环境。网络空间环境就是人类创造出来的另一个生存环境。随着计算机科学、通信与网络技术的飞速发展,这个由科技为底色、物质与思维共同参与的新空间,已经在人类的生活当中无处不在,人类也由此走进了一个全新的生存环境。可以说,网络空间是陆地、海洋、天空与太空的延伸,是物质意义上的"第五空间”,网络空间环境是自然环境、社会环境的延伸,是人类生存的"第三环境”。本书共分为六章,第一章是认识网络空间环境,从历史维度阐述了网络空间的产生和发展历程,网络空间环境概念的形成以及研究网络空间环境的学术意义与现实意义;第二章是网络空间环境对世界的影响,网络空间是一个崭新的生存环境,它的影响是方方面面的,本章从政治、经济、文化和军事四个方面入手,分析阐述了网络空间环境对世界的影响;第三章是网络空间环境的特点与构成,作为一个新生事物,我们从物质基础、存在形式、运用模式、行为主体和沟通互联等几个方面,阐述了它的特殊之处,同时也从不同维度展示了它的构成和指标;第四章是网络空间环境的构建及技术保障,作为一个不同于现实环境的虚拟空间,如何让它可视化、具象化,是进一步理解、运用网络空间环境的重要技术,本章从技术角度出发,给出了解决方案;第五章是网络空间环境的安全困境,作为"第三环境”,网络空间环境如同自然环境遭到破坏、社会环境出现动荡一样,网络空间环境也日益面临各式各样的安全挑战;第六章是如何维护网络空间安全,本章从物理层面、技术层面和治理层面,给出了维护网络空间环境整体安全的思考。 -
同构刘新宇本书从数字、递归、对称、范畴、融合、无穷、悖论七个方面介绍了计算机程序的数学基础和原理,并以“同构”概念为线索揭示出编程本质上是和数学同构的。第1章介绍皮亚诺算术公理系统,通过5条公理,构筑了计算机程序大厦的基石;通过单向链表、斐波那契数列等例子,展示了和自然数同构的计算结构。第2章介绍递归,通过欧几里得算法作为开端,终把递归的数学原理构建在Lambda演算和Y组合子之上。第3章介绍对称群、环、域等抽象代数结构,解释了伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论,把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律,它是进行算法推导和优化的有力工具。第6章介绍无穷,给出了康托尔的无穷集合论和超限数概念,介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书,介绍了计算能力的边界和对编程基础哲学的影响。 本书还在各个章节中介绍相关数学家的人生经历和逸闻趣事,讲解他们如何克服困难、追求真理、创造奇迹,并穿插讲述编程、数学、艺术、音乐之间的有趣联系。 -
因果推断与机器学习郭若城 等本书是一本理论扎实,同时联系实际应用的图书。全书系统地介绍了因果推断的基本知识、基于机器学习的因果推断方法和基于因果推断的机器学习方法及其在一些重要领域的应用。 全书共分6章。第1章从潜结果框架和结构因果模型出发,介绍因果推断的基本概念和方法。第2章介绍近年统计和机器学习文献中出现的一些重要的基于机器学习的因果推断方法。第3章介绍能够提高机器学习模型的泛化能力的因果表征学习。第4章介绍因果机器学习如何提高机器学习模型的可解释性与公平性。第5章介绍因果机器学习在推荐系统和学习排序中的应用。第6章是对全书的一个总结和对未来的展望。本书对结合因果推断和机器学习的理论与实践进行了介绍。通过阅读本书,读者不仅可以掌握因果机器学习的基础理论,还可对本书中提到的论文代码进行钻研,从而在实践中加深对因果机器学习的理解。 -
React设计原理卡颂本书致力于剖析React设计理念与实现原理,基于React 18版本源码讲解。全书划分为3个篇章,第1篇为理念篇(第1章~第2章),讲解React在主流前端框架中的定位与设计理念。第2篇为架构篇(第3章~第5章),讲解React架构中的3个阶段——schedule、render、commit,以及如何在架构中践行设计理念。第3篇为实现篇(第6章~第8章),贯穿React架构中的3个阶段,讲解具体API的实现细节。本书的目标读者包括有实际React项目经验并希望更深入理解React的开发人员,以及没有使用过React但对前端框架设计感兴趣的开发人员。通过学习本书,读者可以对当前主流前端框架的实现原理有清晰的认识,并对React从理念到实现层面有更深入的理解。 -
计算机辅助设计与实训王子佳 主编《计算机辅助设计与实训》主要以AutoCAD绘图软件为基础,介绍该绘图软件的使用及操作,图样以设计相关专业图样为主,结合不同图样的结构特点应用软件独有基本功能进行演示。全书分三部分,共十五章。部分为建筑制图基础与实训,主要包括:建筑制图的基本规定;形体的表达方法。第二部分为AutoCAD绘图与实训,主要包括:AutoCAD基本知识;基本绘图命令;基本编辑命令;图案填充及其操作;图形的尺寸标注;文字注写与编辑;图层的使用与控制;创建图块及图块的使用;图形信息;AutoCAD快捷键。第三部分为设计制图与实训,主要内容包括:天正建筑软件入门;绘制与识读建筑施工图;专业图样示例。本书适用于艺术设计、城市规划、建筑设计、公共艺术等专业的本、专科在校学生,也可作为计算机辅助设计培训班培训用书,还可以作为相关专业设计人员的学习和参考用书。 -
寻路信息社会50人论坛信息经济不断发展,社会格局不断变换,人类正在迈入一个潜力巨大的时代——信息社会的新时代。在这样的时代大背景下,信息社会50人论坛多位顶级专家学者,从直面新格局、寻路元宇宙、五化大协同(五化,指老龄化、绿色化、数字化、普惠化、共享化)、治理新境界等四个角度,以各自长年深入的研究梳理出真知灼见,期望籍以此书与各界朋友笔谈、交流、碰撞,为这个时代理出寻路的方向,为更好的选择提供最有价值的参考和建议。
