本书系统深入地阐述了矩阵结构和矩阵函数的公理化体系，并给出基于此公理体系进行形式化分析与验证的应用。主要内容包括：矩阵结构的形式化；矩阵序列与矩阵级数理论的形式化；矩阵函数微分的形式化；矩阵理论的自动化定理证明；矩阵理论公理化系统在信息或物理系统形式化建模验证中的应用。
本书在传承传统教材三基和五性的基础上，在内容和形式上都有创新。旨在使医学化学基础实验课程，真正成为培养医学生动手能力、创新能力和综合素质的重要环节，激发学生的创新意识和探索精神。全书由六章和附录组成。第一章为化学基础实验规则及基本知识；第二章为化学基础实验常用仪器；第三章化学基础实验基本操作；第四章为基础性实验，选编了
本书主要讲述燃烧学的基础理论，包括燃烧化学热力学与化学动力学基础、燃烧物理学基本方程、预混火焰、扩散火焰、着火与熄火过程、液体燃料燃烧、煤的燃烧基础、燃烧污染物排放与控制以及现代燃烧技术的应用等，内容较为全面，且深入浅出，通俗易懂。同时为了便于读者掌握本书内容，本书章后配有相关习题。
本书是基于作者多年来为本科生、硕士研究生讲授组合分析方法及应用课程的讲义与作者的研究成果编写而成。全书系统介绍组合数学的存在性和计数两大组合分析领域的主要理论、方法及其应用，共八章，内容包括鸽巢原理及其应用、排列与组合及二项式系数、容斥原理及其应用、生成函数与递归关系、二阶线性齐次递归序列、组合序列及其性质、组合反演公
本书分11章，内容涉及数学建模简介、Python编程基础与科学计算、常微分方程及差分方程方法、偏微分方程、插值与拟合方法、**化方法、图论方法、排队论、回归分析、因子分析、时间序列预测分析方法。第3—11章每章先给出历史沿革，然后进行方法简介，最后结合实例讲解建模方法，配合数学软件的介绍和使用，加强建模求解过程的基本训
本书重点讲解了多种类型的伏安法，如循环伏安法、微电极上的伏安法、流体动力学电极等，包括实验设计、思路说明及数据解读。读者若从未接触过电化学或伏安法，需要具备与硕士研究生水平相当的物理化学知识，以理解本书前三章的基础性内容(分别为平衡电化学与Nernst方程、电极动力学和扩散)。本书的内容较为完备，同时给出了文中提到的重
本书为“聚集诱导发光丛书”之一。不同于显著大π发光体系，非典型簇发光化合物体系将为发光材料，特别是有机发光材料提供新的内涵，将为聚集诱导发光（AIE）研究提供新的增长方向，将启发人们更加重视聚集态（凝聚态）光物理性质的探索。全书总结了具有AIE特性的簇发光体系的**研究进展，阐述了不同类型的AIE型簇发光化合物，包括有
本书深入贯彻近年职业教育有关指示批示和重要文件精神，基于高职教育的实际情况和本课程教学要求，基于"数专结合”理念，以服务高职院校航空专业群（含通用航空航务技术、无人机应用技术、通用航空器维修、空中乘务等专业）教学需求为导向，内容体现思想性、科学性、基础性、职业性、时代性，体现学科知识与航空行业应用场景的融合，对数学概念
本书以单输入单输出线性定常系统为背景，系统介绍了现代控制理论的基础知识。这些基础知识包括现代控制理论的数学基础——矩阵、状态空间法的基本概念、状态空间法的表达方式、线性定常系统的运动、系统的能控性和可观测性、系统的状态反馈与极点配置、线性系统的**控制以及李雅普诺夫稳定性分析。现代控制理论的理论性较强，应用的数学知识
《理论力学（第4版）》内容是以教育部制定的新工科发展战略为指导，依据基础力学课程教学指导委员会颁布的理论力学课程教学的基本要求编写的，适合60～80课时的教学。全书由静力学、运动学和动力学三部分组成，共分为17章，其中静力学(包括第1～4章)的内容有静力分析、平面简单力系、平面任意力系、空间力系；运动学(包括第5～8章
书目推荐 更多
