本书系统深入地阐述了矩阵结构和矩阵函数的公理化体系，并给出基于此公理体系进行形式化分析与验证的应用。主要内容包括：矩阵结构的形式化；矩阵序列与矩阵级数理论的形式化；矩阵函数微分的形式化；矩阵理论的自动化定理证明；矩阵理论公理化系统在信息或物理系统形式化建模验证中的应用。

本书详细介绍了ANSYS公司的有限元分析平台Workbench2022的应用。通过本书的学习，读者不仅能掌握软件的基本操作，还能提高解决实际问题的能力。全书共13章，第1章以各个分析模块为基础，介绍ANSYSWorkbench2022的界面、启动菜单设置及与常见CAD软件集成等内容。第2章～第13章以项目案例为指导，主

本书是分数阶系统与高阶逻辑形式化验证的基础理论研究著作。分数阶系统是建立在分数阶微积分方程理论上实际系统的数学模型。分数阶微积分方程是扩展传统微积分学的一种直接方式，即允许微积分方程中对函数的阶次选择分数，而不仅是现有的整数。分数阶微积分不仅为系统科学提供了一个新的数学工具，它的广泛应用也表明了实际系统动态过程本质上是

本书为新形态活页式教材。是基于企业或行业典型工作任务，以学习成果为导向，按照“互联网+化学分析教育”的新理念，采用“行动导向，先会后懂”，将理论、实践一体化进行编写。以学生的职业能力形成为主线，设计了六个项目，分别是：分析检验前的准备、酸碱滴定分析技术、配位滴定分析技术、氧化还原滴定分析技术、沉淀滴定分析技术、重量分析

本书围绕分子结构解析和材料表界面研究，分九章系统介绍与之相关的各种先进仪器分析方法，包括质谱分析法、一维核磁共振波谱分析法、二维核磁共振波谱分析法、红外和拉曼波谱分析法、紫外和分子荧光波谱分析法、X射线衍射分析法、X射线光电子能谱分析法、表面显微分析法。对于每种方法的发展史、基本原理、常用概念、主要测定技术、测试影响因

《波谱分析》较为全面地介绍了主要波谱技术，包括紫外、红外、拉曼光谱分析法，核磁共振波谱分析法，质谱分析法，每种方法均从原理、仪器结构、实验方法和技术、谱图解析、在有机分析中的应用及研究进展等几个方面进行介绍。本书为2004年国家级精品课程、2014年国家精品资源共享课、2017年国家精品在线开放课程、2020年国家线上

本书重点讲解了多种类型的伏安法，如循环伏安法、微电极上的伏安法、流体动力学电极等，包括实验设计、思路说明及数据解读。读者若从未接触过电化学或伏安法，需要具备与硕士研究生水平相当的物理化学知识，以理解本书前三章的基础性内容(分别为平衡电化学与Nernst方程、电极动力学和扩散)。本书的内容较为完备，同时给出了文中提到的重

本书分为两部分。第一部分对有机化合物的命名、各类有机化合物的制法及性质、有机反应的分类、与活泼亚甲基有关的反应、基础有机化学中的合成题、有机化合物的理化性质与结构的关系、反应机理、一些重要反应的立体化学、常用波谱数据、有机化合物的鉴别进行了专题总结。第二部分是模拟试题，收集了各高校和科研院所的考研试题，并加以整理和解析

《有机化学实验》共分为六章：有机化学实验基础知识、基本操作与实验技术、有机化学基础实验与性质实验、有机化学制备实验、有机化学创新实验和有机化学综合性实验。内容涵盖有机化学基本理论、基本操作、基础实验和创新性实验，并在基础实验中适当引入较前沿的实验内容，兼顾本科教学内容的基础性和完整性的同时，融入合成化学领域最新研究动态

本书为“磷科学前沿与技术丛书”分册之一。本书从生命磷化学角度对含磷生物分子的结构和功能以及所参与的生物化学过程进行了系统的总结，介绍了近年来生命科学领域的重要突破和进展。内容包括磷元素与生命调控过程的关系，核酸、核酸适配体及基因编辑技术，蛋白质磷酸化修饰在神经退行性疾病、真核基因转录延伸调控、细胞程序性坏死过程中的作用