物理学和工程学中的计算方法 【数理化】

创新计算的旋转动力学理论 【数理化】

本书系统论述创新计算的旋转动力学理论及其应用，包括创新计算的研究进展、旋转动力学理论框架、思维时空、思维拓扑、思维流形、思维代数、旋转动力学理论的应用等。...

电子计算机在普通物理教育中的应用 【数理化】

高维数据的流形学习分析方法 【数理化】

流形学习作为一种非线性维数约减方法，可以成功挖掘高维非线性数据中蕴含的几何结构信息，实现高维数据到低维空间中的映射。本书首先介绍了流形学习方法研究的背景和典型应用领域，然后对于流形及流形学习相关的...

模型论及其在计算机科学中的应用 【数理化】

本书已于2011年1月27日正式签署合同。本书是为了给数学系和计算机科学系的本科生和研究生开设模型论课而写的，其主要内容是模型论的基本原理和它在计算机科学中的计算复杂度理论和机器证明等方面的应用。书...

辐射保护导论 英文 【数理化】

本书是一本学习离子化辐射源和辐射保护方法的入门书籍。书中简短讨论了与核物理有关的辐射保护，描述了辐射保护的组成部分，测量技巧、辐射的生物效应、环境辐射和辐射的众多应用方面。每章都有一个附有详解的...

面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

线性代数中的典型例题分析与习题 【数理化】

本系列教材是教育部“高等教育面向21世纪教学内容和课程体系改革计划”的研究成果，本书是《线性代数（第二版）》的配套辅导书。整套教材由中国人民大学魏权龄教授任编写顾问，北京大学范培华教授和中国人民大学胡...

方波脉冲函数及其应用 一类新型的简易近似计算法 【数理化】

熔融电解质的物理化学分析 【数理化】

全书共分11章，有选择性地探讨了熔融电解质的一些物理化学性质的测量和估算。从技术应用的角度而言，相平衡、密度、焓、表面张力、蒸气压、电导率和黏度等物理化学性质是熔盐电解质最重要的参数。对于每一种特...