符号模式的允许对角化问题从组合的角度刻画来说一直是一个公开问题，尽管本人以及其他学者也给出过一些充要条件，但是从组合的角度得到的充要条件至少还没有得到，这也是我们继续进行研究进而写作本书的原因。 本书主要阐述和研究符号模式矩阵中的允许对角化问题，全书共分五章，第一章 符号模式矩阵的基础知识；第二章 符号模式矩阵中元素的变化对秩的影响；第三章符号模式现有的充分/充要/必要条件的结论；第四章 Frobinus 标准形的角度去考虑允许对角化的一些结论；第五章 未来展望及允许对角化的公开问题。

本书系统深入地阐述了鸽群优化的起源、原理、模型、理论、改进及应用，力图概括该算法自提出以来的国内外**研究进展。全书共9章，主要包括鸽群优化思想起源和研究现状，鸽群优化机制原理、数学模型和实现流程，鸽群优化收敛性理论证明、首达时间及参数选择，鸽群优化模型改进，鸽群优化在任务规划、自主控制、信息处理、电气能控等领域的典型应用，以及鸽群优化研究前沿与展望。本书面向工程实际应用，突出前沿学科交叉，强调理论基础支撑，着眼优化技术发展，取材新颖，深入浅出，覆盖面广，系统性强，力求使广大读者能快速掌握和应用

本书介绍具有周期微结构的材料、板梁结构等效性质预测及其优化设计。全书共5章，第1章介绍了周期材料/结构等效性质预测方法及其结构优化设计方法；第2章详细介绍了周期材料/结构的渐近均匀化方法及其新数值求解算法(NIAH)，详细论述了单胞方程及等效性质的有限元实现方法；第3章介绍了基于能量等效的周期梁结构等效剪切刚度及应力反演计算方法；第4章介绍了基于能量等效的周期板结构等效剪切刚度计算方法；第5章介绍了周期材料及梁板结构微结构及两尺度优化设计。

本书收录了28篇皮埃尔-吉勒·德热纳在获得1991年诺贝尔物理学奖以后在各种场合的演讲、所接受的采访，以及未发表或以较为保密的形式发表的文章。写作或发表的时间大部分为1991年以后，还有几篇文章是20世纪70年代的作品。在本书中，德热纳不仅用深入浅出的语言简明扼要地叙述了凝聚态物质、材料、软物质、统计物理学、气泡等所涉及的深奥的物理原理、基础知识和当时的**进展，还针对科学、技术、教育、工业、青年、社会等诸多方面，阐述自己的观点，指出所存在的问题，并提出了改进的建议。

本书为“聚集诱导发光丛书”之一。作为第一本系统总结聚集诱导发光分子自组装行为及其应用的图书，本书从聚集诱导发光分子的结构特点和分子自组装基本原理出发，全面介绍了实现聚集诱导发光分子自组装的策略和方法，并对聚集诱导发光分子的组装行为在生物医学、光学、化学传感、材料过程可视化等领域的应用进行了系统介绍。

本书由食品与药物、装扮与清洁、能源与材料、环境与发展四篇内容组成。第一篇主要介绍食品中的宏量营养素、人体需要的维生素以及几类重要的药物；第二篇则是发现装扮中化学的身影，并展现化学在清洁方面的强大功能；第三篇讲述化学对能源发现与能源创新的巨大贡献以及功能多样的新材料；第四篇旨在打破大众对化学总是造成污染的刻板印象，表明化学也是环境保护的一大助力。本书图片丰富多彩，排版精致美观，具有较强的知识性和可读性。

本书致力于声学、电磁学和弹性动力学中出现的反散射问题的数值研究。在物理问题中，发送入射波来确定一个未知或不可访问的对象——散射体，以产生散射波场。然后，通过收集/测量被编码成称作远场模式的散射数据，人们将推断散射体的几何/介质性质。这种逆散射问题出现在各种具有实际重要性的工业应用中，包括雷达和声纳、遥感、地球物理勘探、医疗成像和无损检测。我们主要关注异常散射体的几何/拓扑信息的恢复和识别，包括其位置和形状，独立于其介质性质，通过相关的远场测量。事实上，在许多波成像的实际场景中，人们主要对反常散射

本册教材分 4个单元，用 14个活动分别介绍了图像处理、图文编排、 Flash动画制作以及通过班级网络进行交流学习等知识。内容丰富，由浅入深，操作步骤清晰。

本书是基于作者多年来为本科生、硕士研究生讲授组合分析方法及应用课程的讲义与作者的研究成果编写而成。全书系统介绍组合数学的存在性和计数两大组合分析领域的主要理论、方法及其应用，共八章，内容包括鸽巢原理及其应用、排列与组合及二项式系数、容斥原理及其应用、生成函数与递归关系、二阶线性齐次递归序列、组合序列及其性质、组合反演公式及其应用、Calkin恒等式及其交错形式等。

本书是分数阶系统与高阶逻辑形式化验证的基础理论研究著作。分数阶系统是建立在分数阶微积分方程理论上实际系统的数学模型。分数阶微积分方程是扩展传统微积分学的一种直接方式，即允许微积分方程中对函数的阶次选择分数，而不仅是现有的整数。分数阶微积分不仅为系统科学提供了一个新的数学工具，它的广泛应用也表明了实际系统动态过程本质上是分数阶的。高阶逻辑形式化验证是形式化验证方法的一种，它是一种人机交互的定理证明方法。本书以分数阶微积分和高阶逻辑形式化验证为切入点，系统性研究了分数阶系统的求解、近似化、控制器设计