中国初等数学研究 2011卷 【数理化】

中国初等数学研究 1978－1988 【数理化】

有限集上的映射与动态过程 矩阵半张量积方法 【数理化】

本书的目的是介绍矩阵半张量积在此类问题中的应用，主要内容包括三个部分：(1)矩阵半张量积与有限集映射：这一部分介绍矩阵半张量积，将它应用于有限集上的映射。例如，布尔函数、布尔矩阵，多值逻辑映射等。(2)逻辑网...

中国初等数学研究文集 1980-1991 【数理化】

中国科学院化学物理研究所研究报告集刊 第3册 【数理化】

线性系统可靠控制分析与设计 【数理化】

本书在第1章绪论中介绍了控制理论和控制技术的发展历史，叙述了容错控制发展的主要过程，详细叙述了线性系统可靠设计的基本思想和方法。第2章给出了线性系统状态空间的一些理论内容。第3章根据本书需要，将线性...

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

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

数据包络分析 让数据自己说话 【数理化】

本书是翻译的国际知名专家JoeZhu教授的dataenvelopmentanalysis-letdataspeakforthemselves。目前已经有很多介绍传统数据包络分析模型或新近发展的数据包络分析模型的书籍。但是，其中很多都还仍然需要读者...

波动系统的定性分析与数值计算 【数理化】

全书共5章，主要介绍四类波动系统解的情况，刻画了解的各种性态。基于变分法与凹函数法找到了不同能量级别下各个系统相应的可解性条件，提出了可解性判定理论。第一章是概述，介绍四类波动系统的国内外研究现状。...

中国科学院博士学位研究生学位论文 新型卟啉的合成及性质研究 【数理化】