模态逻辑是现代逻辑研究的重要领域，多模态逻辑则是模态逻辑研究的前沿领域。多模态逻辑是包含两种或两种以上模态算子的模态逻辑系统，且算子之间不可规约，它是模态逻辑的重要组成部分。本书以模态交互作用公理为视角，构建了多模态逻辑一般系统，为形式化研究各种类型的模态提供了一般的逻辑框架；证明了多模态逻辑一般系统的完全性、对应性、

岩体内应力波传播特性的研究是解决岩体工程动态稳定性分析难题的关键科学问题之一。然而，岩体是一种由多种矿物、细观裂隙和宏观节理组成的和复杂材料。岩体内的细观裂隙会导致应力波发生幅值衰减和波形耗散等，岩体内的宏观节理则会导致应力波的反射、透射、扩散和滞后等。开展岩体应力波传播试验是研究岩体内应力波传播特性的重要方法之一。本

本书在对国内外供应商管理的先进理念、先进方法进行了深入研究的基础上，结合军工企业供应商管理的特点，总结提炼了军工企业供应商管理的研究成果和应用经验，重点阐述了军工企业的品类管理、战略寻源、供应商的识别、评估和选择、供应商质量管理、战略采购、供应商关系管理、供应商绩效管理以及供应商管理信息系统的建设及应用的内容。通过理论

本书为《材料先进成型与加工技术丛书》之一。注塑加工中高分子经历压力，流动和温度场，从熔体到固体转变过程中，最终冻结在制品中的多层次结构决定了制品性能。因此，认识注塑加工中高分子多层次微观结构的生成规律，有利于指导注塑制品高性能化，提升加工效率，以及开发高性能注塑制品，也为与其他先进技术集成打下基础。本书目的是让读者较为

本书围绕高光谱遥感图像智能分类与检测这一主题，着重介绍以机器学习、深度学习等为代表的智能新方法和新技术在高光谱图像分类与检测中的应用，反映该领域目前最新研究成果与趋势，突出先进性和前瞻性。本书在介绍智能算法基本原理的同时，注重阐述算法与应用问题的机理性结合，突出启发性和实用性。

本书简要介绍了免疫毒理学的发展历史、免疫毒性类型及基本机制，总结当前的免疫毒性测试与评价方法及其应用，然后分章节详细介绍了当前广泛关注的几类物质的免疫毒性及其作用机制、毒作用模式以及针对不同物质的免疫毒性评价策略。

颗粒群平衡方程是统计物理的基本方程之一，在科学和工程领域有广泛的应用。渐近条件下，方程中的颗粒数密度函数可分解为两个函数的乘积，一个是颗粒粒度分布的矩函数，另一个是自保形分布函数。本书以于明州和林建忠提出的泰勒展开矩方法和笔者发展的迭代的直接数值模拟方法为工具，分别求得了矩函数的渐近解和自保形分布函数的不变解，并建立了

马克思主义意识论从其结构本质上说是一种独特的心灵哲学理论，既博大精深，又具前瞻性。但一直以来，这一特色及其在意识论中的具体表现还未得到应有的揭示，其蕴藏的深刻的、前瞻性的思想成果也未得到应有的开发和阐释。即便是己有的阐述中也含有大量的解读空白和误读。这就需要我们用新的眼光、基于新的、发展着的理解前结构，吸收、消化和提炼

受阻于艰深晦涩的技术原理、陌生又拗口的专业术语，很多人对NFT望而却步。作为深耕Web3的研究人员，笔者试图通过通俗的语言、简单的结构、详实的案例，着眼于纵向时间线、横向技术线立体、客观、完整讲解，让零基础的读者迅速掌握NFT的核心要义。 本书一共分为8个篇章。抛弃传统定义、历史、应用的旧模式，开篇直入主题，先通过全局

当前无人机遥感技术在生态环境与农业中得以快速应用，中国在无人机遥感硬件与算法领域处于国际领先水平，为了总结已有成果、推进无人机遥感技术在该领域的深度应用，本书系统梳理和介绍了可用于生态环境遥感监测的无人机与传感器、基本原理与方法、典型生态系统的无人机遥感监测应用案例。本书较全面的总结了当前中国在无人机遥感硬件与算法领域