本书主要介绍如何利用数学符号操作、基于规则的系统和通用程序构建灵活的软件,并利用依赖系统跟踪、解释和控制回溯。第1章通过对编程哲学的介绍提出灵活性的概念。第2章探讨如何用一些普遍适用的方法构建易于扩展的系统。第3章介绍谓词分派的通用程序。第4章介绍符号模式匹配,首先启用术语重写系统,然后通过合一展示类型推理的实现。第5章探讨解释和编译。第6章展示如何构造分层数据和分层程序的系统,并用各种元数据注释其中的数据项。第7章引入传播这一概念来摆脱计算机语言的面向表达式范式。
本书共14章,内容涵盖Python基础语法、数据类型和运算、流程控制语句、函数和模块、面向对象编程、异常处理、文件和网络操作,以及GUI编程、数据库编程和多线程编程。
本书编写基于作者在建筑学专业十余载的本科教学、课题教研方面的成果,以及在硕士研究生入学考试快题设计培训过程中的经验感悟,通过设计通则篇和专题篇两大部分,深度解析在中小型多层建筑设计中应该掌握的方案设计手法、平面功能分区、内外流线组织、总平面环境布局、造型效果塑造及相关技术规范。本书梳理、提炼中小型多层建筑设计的要点,并对相关优秀设计案例进行深度图文解读,指导性强。本书可作为建筑学专业建筑设计课程的教学参考书,也可作为硕士研究生入学考试快题设计科目备考的指导用书。
本书以“岗课赛证”育人模式为指引,将竞赛资源融入课程教学,将教学内容与行业职位能力衔接。本书遵循“做中学、学中做”理念,采用“项目引领、任务驱动”方式编排内容,依据行业主流可视化技术,划分为3篇,包括Matplotlib数据可视化、ECharts数据可视化和动态数据可视化技术,难度逐渐增加。每个模块设计1或2个项目,每个项目划分若干任务,每个任务安排相关理论知识和实践内容。通过完成每个任务,读者逐步学习各种主流可视化技术,掌握数据可视化的概念、目标、特征和流程等基础知识,掌握数据可视化
全书共10章,分为三部分。第一部分(第1章)提出一种架构认知的方法论,即架构认知框架=架构知识模型+架构落地方法+架构思维模式,后续章节围绕此方法论展开。第二部分(第2-4章)介绍架构知识模型,该模型将大量的架构知识点进行分类与结构化,同类架构知识之间通常存在一些共性规则,可以相互借鉴。第三部分(第5-10章)介绍架构落地方法和架构思维模式。本部分提出一个标准化的端到端架构落地方法,该方法是在RUP、DDD和TOGAF等各类架构理论基础上融合而成的,以帮助读者有效应对复杂系统的设计。最
本书为该套丛书的第二卷:计算机视觉。本书主要介绍了深度模型、激活函数和特征空间;Torchvision、数据集、模型和变换;卷积神经网络、丢弃和学习率调度器;迁移学习和微调流行的模型(ResNet、Inception等)等内容。
本书主要介绍了梯度下降和PyTorch的Autograd;训练循环、数据加载器、小批量和优化器;二元分类器、交叉熵损失和不平衡数据集;决策边界、评估指标和数据可分离性等内容。
这是一本能为数字化转型企业的数据治理提供全面指导的著作。它基于国际主流的数据治理框架和用友多年的数据治理经验,从道、法、术、器4个维度全面而深入地展开,不仅有数据治理在战略层面的顶层设计,还有数据治理在执行层面的实施方法,既可以作为数据治理的纲领性指南,又可以作为数据治理的实操手册。从数据治理的战略规划到落地实施,本书将各环节的核心内容凝练为“3个战略机制、8项关键举措、7种技术能力、7个治理工具”。数据治理之道——3个战略机制高屋建瓴地介绍了数据治理的数据战略、组织机制和数据文化。这
本书详细阐述了基础设施即代码的概念、原理、设计方法以及实践,帮助读者深入理解基础设施即代码的本质和价值。书中通过大量的案例和实践经验,展示了如何运用基础设施即代码来提高企业生产力,改变数据走向,优化流量模式。
本书重点讲解VEXIQ第二代机器人编程、案例、竞赛等内容的全面知识和实践。VEXIQ第二代为新发布的VEXIQ机器人教学、竞赛套装。本书讲解了VEXIQ第二代机器人新增加的硬件、传感器设备,以及新的图形化编程软件的使用方法。本书凝聚了作者多年教学、参赛经验,系统总结了VEXcodeIQ软件对VEX机器人进行编程和设计的方法、技巧及注意事项。通过丰富有趣的实战案例帮助读者快速学会搭建、编程、控制机器人,并在比赛中取得优秀成绩。