本书的内容主要包括:密度泛函理论(Densityfunctionaltheory,DFT)的基本概念,以及如何使用DFT方法对工程实际问题进行建模模拟和计算。内容包括:何谓密度泛函理论(DFT)、对于简单固体的DFT计算、DFT计算中的基本要素、固体表面的DFT计算、DFT计算振动频率、使用过渡态理论计算化学过程的速率、基于从头算动力学的平衡相图、电子结构和磁性、从头算分子动力学、在"标准"计算之外的精度和方法。
《Haskell函数式编程基础:原书第3版》是一本非常的Haskell函数式程序设计的入门书,依次介绍函数式程序设计的基本概念、编译器和解释器、函数的各种定义方式、简单程序的构造、多态和高阶函数、数组和列表的结构化数据、列表上的原始递归和推理、输入输出I/O的控制处理、类型检测方法、代数数据类型、抽象数据类型、惰性计算等内容。《Haskell函数式编程基础:原书第3版》包含大量的实例和习题,注重程序测试、程序证明和问题求解,易读易学。《Haskell函数式编程基础:原书第3版》循序渐进,从基本的函数式程序设计直至专题,让读者对Haskell的学习不断深入。
内容简介
本书讨论大规模连续空间的强化学习理论及方法,重点介绍使用函数逼近的强化学习和动态规划方法。该研究已成为近年来计算机科学与技术领域中活跃的研究分支之一。全书共分6章。章为概述;第2章为动态规划与强化学习介绍;第3章为大规模连续空间中的动态规划与强化学习;第4章为基于模糊表示的近似值迭代;第5章为用于在线学习和连续动作控制的近似策略迭代;第6章为基于交叉熵基函数优化的近似策略搜索。本书可以作为理工科高等院校计算机专业和自动控制专业研究生的教材,也可以作为相关领域科技工作者和工程技术人员的参考书。
《中学数学解题前沿方法荟要:解方程及方程组的方法》以通俗的语言、简洁流畅的叙述,针对解方程及方程组方法的问题,分别归类介绍各自的解题方法与技巧,并予以适当的点评例说,以便触类旁通.这种分类介绍的解题方法,我们将其称为解题的“个类方法”.
传统的分布式应用不会切入微服务、快速数据及传感器网络的响应式世界。为了捕获这些应用的动态联系及依赖,我们需要使用另外一种方式来进行领域建模。由纯函数构成的领域模型是以一种更加自然的方式来反映一个响应式系统内的处理流程,同时它也直接映射到了相应的技术和模式,比如Akka、CQRS以及事件溯源。本书讲述了响应式系统中建立领域模型所需要的通用且可重用的技巧——首先介绍了函数式编程和响应式架构的相关概念,然后逐步地在领域建模中引入这些新的方法,同时本书提供了大量的案例,当在项目中应用这些概念时,可作为参考。
老大中编著的《变分法基础(第3版)》是变分法方面的专著,书中系统地介绍变分法的基本理论及其应用。 编写本书的目的是希望为高等院校的研究生和高年级大学生提供一本学习变分法课程的教材或教学参考书,使他们能够熟悉变分法的基本概念和计算方法。本书内容包括预备知识、固定边界的变分问题、可动边界的变分问题、泛函极值的充分条件、条件极值的变分问题、参数形式的变分问题、变分原理、变分问题的直接方法、力学中的变分原理及其应用以及含向量、张量和哈密顿算子的泛函变分问题。其中许多内容是作者多年来的研究成果,特别是提出完全泛函的极值函数定理,统一了变分法中的各种欧拉方程,创立含向量、向量的模、任意阶张量和哈密顿算子的泛函的变分理论,给出相应的欧拉方程组及自然边界条件,扩大了变分法的应用范围。本书也可供