论可计算数 图灵与现代计算的诞生 【数理化】

1936年，24岁的图灵发表了现代计算领域奠基性的论文《论可计算数及其在判定问题上的应用》。在本书中，作者还原了图灵是如何一步步对计算进行分解并构建现代计算机原型的。在作者看来，这堪称图灵一生中最重要的...

科学与工程计算技术丛书 MATLAB科学计算 【数理化】

本书在介绍MATLAB编程知识的基础上，讲述了科学计算与最优化设计的主要内容，具体包括MATLAB概述、MATLAB基本运算、MATLAB图形处理、MATLAB程序设计、数据插值、函数逼近与曲线拟合、积分与微分、求解线性方程...

约束系统的量子对称性质 【数理化】

本书在扼要介绍约束系统的经典和量子理论的基础上，着重论述该系统的量子对称性。书中对散见的作者及合作者等的论文作了系统的归纳整理，特别是对作者通过完成多项自然科学基金项目研究，开创的约束系统的量子正...

分数阶混沌系统的控制与同步设计 【数理化】

本书主要介绍作者团队在分数阶混沌系统的控制与同步方面的研究成果。具体包括第1章分数阶混沌系统概论；第2章基于无穷状态方法的一类分数阶混沌系统滑模控制设计；第3章基于Mittag-Leffler稳定性方法的一类分...

第九届全国计算流体力学学会论文集 计算流体力学研究进展 【数理化】

递归可枚举集和图灵度 可计算函数与可计算生成集研究 【数理化】

本书是递归论方面的研究生教材之一，得到了国内外同行的广泛认可。

时滞随机系统的微分博弈理论及应用 【数理化】

自1965年Rufus·Isaacs出版了第一部微分博弈专著《Differential Games》以来，无论其理论还是应用研究都得到了很大的发展。今天，微分博弈已经广泛应用于生物学、经济学、国际关系、计算机科学和军事战略等诸...

基础化学实验操作规范 【数理化】

本书努力突出基础化学实验的特点，加强简单而重要、常见又常用的新型仪器在实验中的应用和操作技术，尽量体现现代化学实验的发展趋势，同时删除一些陈旧过时的内容，体现了与时俱进的时代特色。本书不仅详尽讨论了...

随机非线性系统的输出反馈控制 一般性增长条件 【数理化】

本书主要研究几类复杂系统在非线性、随机性、时滞性等多种因素综合作用下的输出反馈控制问题，借助随机系统的稳定性理论及相关控制器设计工具得到满足特定控制性能指标的系统输出反馈控制器，并给出详细的设计...

非保守系统的拟变分原理及其应用 【数理化】

非保守系统的拟变分原理和广义拟变分原理的研究涵盖了许多学科，是一个相当重要的研究领域，这也就是撰写《非保守系统的拟变分原理及其应用》这部专著的主要原因。本书主要研究非保守系统和非线性系统的变分原...