Petri网的元展:一种并发系统模型检测方法

本书以Petri网这一刻画并发系统的数学模型为基础，提出了一种偏序结构的验证系统行为正确性的方法：元展。主要内容包括：系统性界定了行为正确性判定的复杂度，给出了构造元展的算法，提出了利用元展验证死锁、活锁、健壮性、兼容性的充分必要条件，提出了利用元展检测线性时序逻辑、计算树逻辑的算法，同时介绍了所开发的模型检测工具，并且将一些应用实例来展示所提方法的有效性...

经典原版书库计算机科学概论(英文版.原书第7版)

本书从信息层开始，历经硬件层、程序设计层、操作系统层、应用层和通信层，深入剖析了计算系统的每个分层，*后讨论了计算的。此外，正文中插入了大量的名人传记、历史点评、道德问题和新的技术发展信息，有助于你进一步了解计算机科学。每章后面都附带有大量的练习，可以帮助你即时重温并掌握这一章所讲述的内容。 本书是计算机科学导论课程的理想教材，对于想要了解计算机科学概况的非专业人员，本书也是一个很好的选择...

知识-机器互动:在世界3与世界1之间

本书作者分析讨论了波普尔三个世界理论，主张修改扩充其中的世界3概念，使之能包容信息时代特有的计算机程序，从而实现知识与机器的互动。基于知识和机器的互动，得到对于计算机运行、网络空间现实、数据与大数据、人工智能等现象的本质解释和理解，进而理解未来社会。 主要见解： 1. 指出图灵机是知识—机器互动的基本模型； 2. 知识与机器互动的根本意义在于，人—机关系转化成知识--机器关系，为信息哲学、人工智能哲学及计算哲学研究铺设一只公共研究平台

深度学习:从入门到精通(微课版)

本书全面系统地讲解了深度学习的相关知识。全书共8章, 包括深度学习简介及TensorFlow安装、神经网络基础、神经网络的TensorFlow实现、卷积神经网络基础、经典卷积神经网络 (上) 、经典卷积神经网络 (下) 、深度学习在文本序列中的应用以及深度学习实验项目等内容...

基于增强现实的适老化交互设计研究

震颤是常见的运动障碍性疾病，表现为手、头部及身体其他部位不自主性、节律性、振动性运动。由震颤疾病产生的各种功能障碍会长期困扰着震颤患者行走以及和计算机、家用电器等设备的交互，严重影响患者的生活质量。震颤的发生机理至今尚未明确，病因难以确定，且面临着临床治愈率低、副作用大等问题。使用阻尼器械和功能电刺激来物理地抑制肢体震颤的手段，在使用中易引起身体疲劳和疼痛等问题。　　《基于增强现实的适老化交互设计研究（英文）》提出并验证了AR技术

信息化项目建设与管理

本书涵盖了我国信息化工程的所有内容和要求, 对相关需求和建设具有指导作用。信息化是信息技术发展与应用的历史进程, 在实现这个历史进程中, 通过实施信息基础设施建设、构建信息网络系统、信息技术开发应用、开发利用信息资源等信息化工程 (简称“信息工程”) 项目来不断推动信息化发展...

机器学习从入门到精通/陈怡然

随着人工智能时代的到来，它对机器学习发展的影响日益剧增。从基于符号主义的机器学习发展到基于数据统计的机器学习，反映了机器学习从纯粹的理论研究和模型研究发展到以解决现实生活中实际问题为目的的应用研究，这是科学研究的一种进步。目前市面上有机器学习的纯理论书籍，也有具体操作实践的书籍，然而理论与实践相结合的书籍却少之又少。本书从理论入门到实际操练，全面而详细地介绍了机器学习的各个分支以及其实现，实现了机器学习从理论到实践的完美结合。本书共分

复杂体系工程系列丛书从降维解析到映射升维--复杂工程系统原理探索/复杂体系工程系列丛书

复杂工程系统作为复杂系统在工程领域的特定延伸，当前已成为一个新的研究领域。本书以现有的复杂工程系统理论方法为指导，以舰载航空指挥和保障复杂工程系统设计研制为应用对象，重点阐述了面向能力、基于架构、模型优化和流程连接的多种复杂工程系统设计实践方法，总结了相关设计方法在航空指挥和保障领域的应用成果，进而提炼了基于“V++”模型和DE-CAMPS模型的复杂工程系统设计理论方法，为后续复杂工程系统的设计研制提供了一套较为完整的理论方法，推动并

数字时代 构建安全共赢新生态

我国正处于实现中华民族伟大复兴的关键时期，经济已由高速增长阶段转向高质量发展阶段。抗击新冠肺炎疫情期间，产业互联网在生产生活中发挥了独特的价值。在国家发展改革委发布“数字化转型伙伴行动”倡议的社会背景下，新基建作为数字化转型的重要基础，成为产业各方投资和建设的焦点。新基建与我国当前经济社会发展阶段高度契合，既有助于“十三五”规划稳妥收官，又与“十四五”规划发展目标相匹配，是“十四五”重点发展方向。同时，新基建作为新兴领域，网络安全的维

JavaScript语言精粹(修订版)

JavaScript 曾是“世界上很被误解的语言”，因为它担负太多的特性，包括糟糕的交互和失败的设计，但随着Ajax 的到来，JavaScript“从很受误解的编程语言演变为很流行的语言”，这除了幸运之外，也证明了它其实是一门很好的语言。Douglas Crockford 在本书中剥开了JavaScript 沾污的外衣，抽离出一个具有更好可靠性、可读性和可维护性的JavaScript 子集，让你看到一门优雅的、轻量级的和很好富有表现力

数据挖掘原理

本书介绍了数据挖掘最基础且重要的概念, 且全面准确地给出了数据挖掘中最重要的技术和方法, 主要包括计算机科学、商学、市场学、人工智能、生物信息学乃至法医学等内容...

Autodesk官方标准教程系列Autodesk Revit Architecture 2021 官方标准教程

Autodesk Revit系列软件是Autodesk公司在建筑设计行业推出的三维设计解决方案，它带给建筑师的不仅是一款全新的设计、绘图工具，还是一次建筑行业信息技术的革命。作为一款三维参数化建筑设计软件，Revit Architecture 2021强大的可视化功能，以及所有的视图与视图、视图与构件、构件与明细表、构件与构件之间的相互关联，使建筑师可以更好地推敲空间和发现设计的不足，且可以在任何时候、任何地方对设计做任意修改，真正实

复杂系统的投影寻踪回归无假定建模技术及应用实例

本书结合复杂系统的统计学本质问题—高维性与混杂性, 系统地比较了证实性数据分析 (CDA) 、探索性数据分析 (EDA) 方法特点, 认为对于复杂系统, 采用EDA方法作为突破口, 既能解决“高维性”造成的“维数祸根”难题, 也能充分利用复杂系统7大特征混杂信息, 建立既完整仔细又客观准确的实用模型, 从而能实现系统建模软件的跨学科通用化...

FPGA设计与验证

本书以Intel CycloneⅣ E系列FPGA为例, 系统介绍了FPGA的硬件结构、电路设计以及逻辑设计和验证流程。书中以若干个具有工程实用意义的案例为背景, 详细介绍了FPGA数字逻辑设计中常见的功能模块设计思路、FPGA片上资源的使用方法、开发软件中各种调试工具的使用, 包括SignaltapⅡ、In System Sources and Probes Editor、In System Memory Content Edito

人工智能背景下图像处理技术的应用研究

人工智能技术包括了多方面的知识，比如生理学、计算机和哲学等，而近几年的发展趋势主要围绕机器的智能化来展开.同时，人工智能技术在互联网的大背景下，已经被广泛应用到了各行各业中，且发挥出了显著的优势。本书是在人工智能的背景下通过对当前人工智能的相关介绍、图形图像发展历程、以及通过对图形图像技术的常见算法研究，研究了人工智能背景下图形图像在智能交通、办公自动化、公共场所人数统计以及条码识别，建筑测量上的应用问题等...

策略三十六计和算法三十六计

本书给出了计算机系统设计策略三十六计和算法三十六计的研究成果，提出了计算机学科的四种基本的对立统一关系，即四个基本科学问题，包括集分定位、刚柔相摩、供需相应和串并转换。从集分定位出发，在策略三十六计中提出了架构设计十八计，包括时空转换和多种计算模式的计策；从刚柔相摩出发，在策略三十六计中提出了系统特性十八计，包括八类特性设计的计策，例如，可控性、效率性、安全性和可变性等方面的计策。供需相应和串并转换所涉及的科学问题主要体现在资源管理和

视觉注意计算模型及应用

《视觉注意计算模型及应用》是一本较为系统地研究视觉注意计算模型及其应用实践的著作。该书从人类视觉注意机制在计算机图像处理领域的应用入手，系统介绍了视觉注意的生物学基础、视觉注意的认知模型以及计算模型，并结合具体应用系统总结了作者在视觉注意计算模型以及视觉注意机制用于图像分割、目标检测和目标跟踪等方面的研究成果。　　《视觉注意计算模型及应用》可供高等院校计算机科学与技术、人工智能等专业的高年级本科生和研究生参考，也可供计算机图像和视

工业互联网创新实战:技术、产业融合、案例分析全案

本书紧扣时代主题，对工业互联网的发展给出了预见性的答案，这种预见性的答案虽然并不能保证保证准确，但是足以给读者启发。本书详细讲述了与工业互联网相关的各项内容，一共有13章。首先，论述工业互联网的发展背景和相关概念；其次，简述工业互联网发展中不可或缺的技术，例如，大数据、云计算、5G、人工智能等；再次，为读者解释工业互联网如何影响日常生活和行业变革；很后，解读未来10年工业互联网的发展趋势。本书站在读者的角度，详细阐述工业互联网的理论知

非线性严格反馈系统的智能自适应反步递推控制

本书系统介绍了非线性严格反馈系统的智能自适应控制的基本内容和方法，力图涵盖国内外近期新研究成果。主要内容包括：非线性严格反馈系统的智能自适应控制设计方法及理论，非线性严格反馈系统的智能自适应鲁棒控制设计方法及理论，基于观测器的非线性严格反馈系统的智能自适应控制设计方法及理论，基于观测器的非线性严格反馈系统的智能自适应鲁棒控制设计方法及理论，以及非线性严格反馈系统的智能自适应优化控制设计方法及理论等...

数据挖掘概念、模型、方法和算法(第3版)

第3版介绍并扩展了许多主题，提供了软件工具和数据挖掘应用程序的修订部分;还更新了参考书目列表，供感兴趣的读者进一步研究;扩展了涉及每个章节的问题列表。展示了如下新信息: 探索大数据和云计算 论述深度学习 包括卷积神经网络(CNN)的信息提出了强化学习 包含半监督学习和S3VM回顾不平衡数据的模型评...

生物启发步行机器人

本书介绍了受生物启发的步行机器人与物理环境的相互作用。它描述了步行机器人的形态设计和行为控制如何从生物学研究中受益。本书的目的是开发神经控制的模块化结构，生成物理步行机器人的不同反应行为，以此来分析反应行为背后的神经机制，并论证传感器融合技术，从而在合适的行为之间进行平滑切换。作者提供了人工感知动作系统的实例，并强调了生物学研究、计算神经科学和工程学之间的密切关系。 本书适合机器人、机电一体化、电子工程、控制和人工智能领域的研究人员、

机器学习基础(新技术技能人才培养系列教程)/人工智能开发工程师系列

近年来人工智能技术蓬勃发展，人工智能正在改变我们的生活。为了让读者在不需要掌握太多数学和计算机科学知识的情况下，能够快速上手，使用Python语言实现常用的机器学习算法，并解决一些实际的问题，我们策划并出版本书。 本书共14章，内容涵盖基本的机器学习概念和环境搭建，目前各个领域中的热门算法，以及数据预处理、模型评估和文本数据分析等。希望本书可以让读者轻松入门，在动手实践的过程中找到乐趣。 本书可以作为各大院校人工智能相

面向程序员的AI与机器学习指南(影印版)

如果你想从程序员转行做人工智能专家，这是一个理想的起点。基于Laurence Moroney很好成功的AI课程，这本介绍性的书提供了一个动手操作、代码优先的方法来帮助你建立信心，同时学习关键主题。你所需要的只是使用Python及其用于数据和数组处理的经验。你将学习如何实现机器学习中很常见的场景，包括计算机视觉、自然语言处理(NLP)和针对web、移动、云和嵌入式运行时的序列建模。大多数关于机器学习的书都是从大量的高等数学开始的。本指南

大数据技术与机器学习Python实战/大数据技术与人工智能应用系列

本书基于计算机类专业对大数据平台技术和大规模数据处理的实战需求，在阐述数据科学、Hadoop和Spark配置要点和大数据处理周期的基础上，重点阐述大数据采集与存储、预处理、特征工程、数据可视化分析、机器学习基础等大数据处理技术及其Python实现，以及基于Hadoop和Spark平台的Python接口调用和机器学习编程实例分析。本书既强调了大数据处理周期的基本原理和关键技术，又突出机器学习算法及其在分布式系统中的应用编程方法。 本书可

从技术走向管理:李元芳升职记(第3版)

本书以生动、活泼的形式展现了李元芳从技术骨干成功转型为管理人才的职场经历。全书分为引子、篇、第二篇、第三篇、第四篇、后记六个部分，作者把将要走向管理岗位的技术人员、企业的中层管理者所遇到的问题加以整理，总结出111章与管理技能、领导技能息息相关的文章（前100章侧重管理技能，后11章侧重领导技能），章章直击管理难点、解决管理问题，各章之间既相互联系又彼此独立，读者可以根据需要选择阅读方式。同时，本书的附录部分把每一章的核心内容加以提炼

大型网站运维:从系统管理到SRE

运维发展到现在，与很初相比发生了巨大的变化。10 多年的互联网发展，让国内的运维 经历了快速的变革，开始慢慢地和国外接轨，甚至在部分场景有单独的演化。DevOps 和SRE 作为运维领域的两个演化方向，在很近几年获得了很多关注，也有很多公司进行了相关的实 践。与DevOps 遍地开花的情况相比，SRE 在国内的发展稍显低调。《SRE：Google 运维解密》 一书对国内外运维领域有很大冲击。本书作者作为一直工作在一线的运维工程师，理所

PHP基础案例教程

华为Serverless核心技术与实践

华为2012实验室自研的分布式内核——华为元戎，作为底座支撑了华为终端云通过Serverless快速开发和上线商业服务的应用场景。本书以此为例，系统地剖析了构建Serverless平台的设计思路和实现方案，帮助读者掌握理论知识和实践方法。本书共分10章，内容涵盖了从微服务到Serverless演进的机遇与挑战、基础知识与组件工具、当前生态与发展方向，以及华为元戎创新构建的有状态函数编程模型、高性能函数运行时、高效对接BaaS服务等一系

分布式系统原理与工程实践: 一致性、共识、Paxos、分布式事务、服务治理、微服务、幂等、消息系统、ZooKee

本书通过理论篇、实践篇、工程篇、总结篇四篇（13章），介绍了分布式系统的知识体系。理论篇介绍了一致性、共识、分布式约束等知识；实践篇介绍了分布式锁、分布式事务、服务发现与调用、服务保护与网关、幂等接口等知识；工程篇介绍了消息系统中间件 RabbitMQ 和分布式协调中间件ZooKeeper等知识；总结篇则帮助大家厘清分布式系统的知识脉络。本书适合想要学习分布式系统理论、实践、工程知识的学生、软件开发者...

智能语言决策理论与方法

智能语言术语集是可以同时具有模糊性、犹豫度、近似性与随机性或可能性等的语言术语集,在处理复杂不确定、不完整等信息方面更具灵活性和实用性。本书抢先发售提出智能语言术语集的概念与智能语言术语集的信息表示,介绍了近年来国内外学者特别是作者本人及其团队在智能语言术语集的测度理论、智能语言术语集的集成方式,以及基于上述信息处理工具的智能语言决策模型和方法等方面的近期新研究成果,且该研究成果已广泛应用于决策、医疗诊断、未来规划、模式识别、机器学习

实用搜索理论

本书系统介绍了搜索理论的基础知识、建模方法和很优搜索理论，论述了搜索理论的基本问题和主要构成要素、主要形式的搜索问题的发现概率模型和期望费用模型，并介绍了基于搜索方程的通用搜索模型和基本搜索模型的很优化等问题...

单片机原理及应用——基于Keil及Proteus(第3版)

以AT89C51为典型机深入浅出地讲述单片机的结构、基本原理、硬件资源及单片机的应用技术。主要内容包括：单片机的基础知识、内外系统结构、汇编指令、中断与定时／计数器、串口通信、系统接口、应用系统设计等。本书可作为高等工科院校计算机类、电气与电子信息类、机电一体化类、机械类等相关专业的本科教材,也可供从事单片机应用研究与开发的技术人员及普通读者参考...

离散数学:面向计算机科学专业

本书由计算机和数学领域的三位教授联合撰写，旨在满足计算机专业对离散数学课程的需求。针对这门课程的困境——初入学的本科生不理解为何要学习高深的数学，以及授课教师难以向毫无编程经验的学生讲授繁杂的算法程序——本书明确了“为何学”和“有何用”，打破了传统的课程顺序和教学方法，不仅清晰呈现了计算机专业学生必需的数学知识，而且通过实践和应用激发学生对后续课程的学习兴趣。主要内容：涵盖计数、密码编码学与数论、逻辑与证明、归纳、递归、概率以及图论，

半小时漫画计算机

本书用生动有趣的漫画讲解了计算机的基础知识，一共分为5章，每一章都有不同的风景。 在第1章，你可以花上几两银子，体验一下大明王朝TCP/IP 和HTTP。与此同时，张大胖会在和朋友的聊天中逐步"发明”HTTPS。 你还能看看那些可爱的网卡、CPU，内存是怎么从零开始上网的，以及一张身份证是怎么在网络中被切割和传输的。 到了第2章，可以看看操作系统是怎么"骗人”的，"一切皆文件”到底是怎么回事，程序员最喜欢的Hello World在执行

etcd工作笔记:架构分析、优化与最佳实践

近年来，容器和云原生生态蓬勃发展。如何实现数据分布式、一致性存储，确保云原生环境的可扩展性和高可用性，是亟须解决的现实问题。云计算时代，etcd将成为云原生和分布式系统的基石，三个关键因素是分布式一致性raft协议、Go语言和生态。正是因为etcd在云原生时代的火热，越来越多的公司在系统服务中新引入etcd，或者替代原有的类似组件，如ZooKeeper、Consul、Eureka等。本书的内容也正是聚焦于如何正确部署和运维etcd集群

学术英语——计算机科学与技术

本书以培养一流本科人才使用英语进行科研的能力为目标，侧重培养学生的科学研究素养、计算机领域学术论文写作与发表能力。本书分为八篇（共35单元）。第一篇（第1、2单元）为科学研究入门，介绍科学研究的意义和方法；第二篇（第3、4单元）为学术阅读，介绍如何阅读学术论文；第三篇（第5～7单元）为学术体裁特征，介绍学术论文的结构和语言特征；第四篇（第8～13单元）为写作技巧训练，介绍学术论文写作的方法和技巧；第五篇（第14、15单元）为学术会议演

控制理论引论

本书首先介绍控制理论发展的过程。重点讲述二战以来发展起来的现在控制理论--线性控制系统理论和很优控制理论。很后简述了非线性控制理论的一些新的研究成果和方法。本书内容偏重于理论,可作为综合性大学、高等工科院校数学专业及自动控制专业高年级选修课教材和研究生教材,也可供相关领域科研人员参考...

正本清源分布式事务之Seata(全彩)

在微服务架构下，分布式事务一直是痛点和难点。Seata是阿里巴巴开源的分布式事务中间件，致力于以高效且对业务无侵入的方式，解决在微服务场景下面临的分布式事务问题。 本书作者是阿里巴巴GTS创始人和Seata作者，结合其多年在分布式事务领域设计、研发和应用的经验，深入浅出地阐述了分布式事务技术基础、Seata AT模式、TCC模式、RPC设计、事务协调器技术的原理，并给出了两个开发实例（AT模式和TCC模式）。 本书可以为微服务系统架构

大数据智能挖掘相关技术与应用

本书主要围绕当前大数据的发展前景，重点阐述当前大数据分析的工具，包括可视化工具、分布式机器学习工具、大数据分析的平台以及挖掘算法等，并提出多种文本和社交网络领域的大数据分析与挖掘算法，前者包括大规模文本摘要、文本语义分析、大规模文本主题建模等，后者包括大规模社交网络社区结构发现、微博语义检索以及大规模社交网络用户身份识别等...

区块链概论

本书是区块链技术与应用领域的基础性教材，分为认识区块链、区块链技术原理、区块链应用、区块链产业剖析四大板块，主要介绍区块链的概念、发展历史、技术基础、应用模式和产业发展，使读者能够掌握区块链构成及基本运行原理，熟悉区块链应用原则及应用模式，了解区块链产业各组成部分及相互联系。 本书以场景应用为导向，阐述区块链技术的应用模式与方法论；涉及区块链的众多应用场景，适用范围广泛；面向创新，注重思维、方法论的介绍与训练，旨在对读者形成启发；教学

计算机科学技术大辞典

本词典主要内容包括计算机发展史，计算机的基础理论、计算机的数理基础、计算机系统、计算机软件、软件工程、计算机通信和网络、计算机的应用、人机交互技术、网络空间安全、数据科学技术、人工智能、量子计算与通信等共十四篇，收录了计算机科学领域的各种名词、术语、学科、定律、定理、会议、组织、人物、著作等，反映了计算机科学理论和应用等方面的最新成果。读者对象为大学理工科的学生及以上文化程度，以及中学教师、工程技术人员和爱好者...

IT用语图鉴

从工业时代，到信息时代，再到现在的智能时代，人们的生活发生了翻天覆地的变化。现如今，几乎人人拥有智能手机，互联网深入到我们日常工作生活的各个角落，人工智能应用快速普及，其中IT技术的发展起着非常重要的作用。随着时代的发展，IT行业不断涌现出一些新的热词、术语，让很多人应接不暇。《IT用语图鉴——AI时代需要了解的信息技术相关词汇256》就根据现阶段的公共知识结构、社会环境和技术发展情况，对目前工作和生活中高频出现且理应知道的256个术

网络演算 互联网确定性排队系统理论

本书主要阐述网络演算的理论，介绍对互联网确定性排队系统性能的界限分析方法。第一部分结合应用实例，给出网络演算综述及概念解释，介绍时延、积压、输出流量行为等界限分析方法。第二部分详细介绍网络演算的形式化数学理论研究，基于最小加代数的分析体系，对更通用、更复杂的系统进行建模和分析。第三部分介绍结合互联网特性的进阶研究，包括很优多媒体平滑、聚合调度、自适应保证与数据包尺度速率保证、时变整形器、有损系统等场景，给出积压等界限分析方法及其结果。

智能触控设备中文手写交互设计研究

智能触控技术的发展使得手写输入方式多样化，例如触控笔输入、拇指输入、食指输入等。中文输入作为中文用户群体在人机交互中的关键环节，应用极其广泛。同时，手写绩效和用户评价已成为智能触控设备手写输入体验的重要评价指标。良好的手写输入体验可使手写输入技术应用于更多任务场景，惠及更多用户群体。　　为了提高现有智能触控设备中文手写体验，《智能触控设备中文手写交互设计研究》探讨了手指属性、中文特性以及界面设计因素对中文手写人机交互的影响，在此基

启发式搜索理论与应用

本书从理论与应用两个角度介绍了启发式搜索。理论方面，不仅介绍了启发式搜索的基本内容，而且给出了很多新的发展技术，理论研究超前，这是目前其他任何一本相关书籍都未提出的。例如，模式数据库、符号搜索、利用外部存储的搜索以及并行处理单元等。应用方面，本书的Part V详细的介绍了5个应用。书中给出的这些应用讲解深刻，与启发式搜索结合紧密...

初级IT英语听说教程.1

素材原汁原味：　　素材均选自英美国家的IT专业真实文本　　内容注重实用性：　　所选话题均与IT专业紧密相关，再现真实场景，紧跟行业发展趋势　　练习丰富多样：　　通过形式多样、内容丰富的练习提高学生的语言运用能力　　主题内容丰富：　　话题选择涉及IT各个方面，兼具信息性、时代性和趣味性　　为顺应经济全球化和信息技术的发展趋势，培养兼具IT专业技能和外语能力的人才，以适应IT行业发展需要，特编写了《初级IT英语听说教程1》。　　《初级

算法深潜:勇敢者的Python探险

本书是算法入门指南，基于Python语言讲述算法实现。具体内容包括：搜索、排序和很优化算法；以人为本的算法，帮助人们决定如何接棒球或自助餐吃多少；优选的不错算法，比如机器学习和人工智能相关算法；古代文明时期的算法，如古埃及和俄罗斯农夫如何使用算法来实现乘法，古希腊人如何使用算法来找到优选公约数，以及江户时代的日本学者如何设计幻方生成算法...

中级IT英语读写教程1

为顺应经济全球化和信息技术的发展趋势，培养兼具IT专业技能和外语能力的人才，以适应IT行业发展需要，特编写了《中级IT英语读写教程1》。　　《中级IT英语读写教程1》共有8个单元，内容涉及IT职业规划、教育网络信息化、编程语言、增强现实技术、人工智能、互联网经济、网络安全和IT领军人物八个方面。每个单元分为SectionA和SectionB两大部分，每部分包含一篇主课文和与主课文相关的生词和短语，并设计了大量形式多样、内容丰富的练

因果论:模型、推理和推断(原书第2版)

本书全面阐述了现代因果关系分析，展示了因果关系如何从一个模糊的概念发展成为一套数学理论，并广泛用于统计学、人工智能、经济学、哲学、认知科学、卫生科学和社会学等领域。本书提出了一个全面的因果关系理论，它统一了因果关系的概率、操作、反事实和结构方法，并提供了简单的数学工具来研究因果关系和统计关联之间的关系。本书通过融合领域知识、常识约束、文化传承的概念等来补充数据信息，为基于统计的机器学习中遇到的基本问题提供了科学的解决方案。 ...

脑与认知科学概论(第二版)

基于网络特征学习的个性化推荐系统

本书主要介绍如何学习网络中的节点表征，并将其应用到推荐系统中，重点研究了推荐系统中的三种各具代表性的网络：用户产品交互的二分图，用户端的社交网络，产品端的知识图谱。本书系统性地研究了三种网络的建模，提出了针对不同种类的网络在多个层面将网络信息和推荐系统进行结合的解决方案。这些解决方案获得了学术界的广泛关注，有些方案已经在实际的工业场景中落地，具有很强的学术和产业价值。 本书能够对推荐系统领域起到一些引领作用，并对图机器学习领域的研究

穿越计算机的迷雾(第2版)

本书从最基本的电学知识开始，带领读者一步一步、从无到有地制造一台能全自动工作的计算机。在这个过程中，读者可以学习到大量有趣的电学、数学和逻辑学知识，了解到它们是如何为电子计算机的产生创造条件，并促使它不断向着更快、更小、更强的方向发展。通过阅读本书，读者可以很容易地理解自动计算实际上是如何发生的，而现代的计算机又是怎么工作的。以此为基础，在本书的后面集中介绍了现代计算机的组成和主要功能，以及计算机核心与外部设备的接口，并对以操作系统为