模态逻辑中的典范问题研究

自1970年代以来，模态逻辑学与计算科学、语言学等相交互，得到了越来越多的关注，对其自身的理论研究也得到了充分的发展，形成了以完全理论、对偶理论及对应理论为主要模块的研究领域。典范问题源于完全性理论，与对...

量子力学模态解释及其方法论 兼议语言分析方法在量子力学中的应用

本书包括两部分。上篇是“物理学诠释”，全面透视模态解释所勾勒出的新的量子图景；下篇“哲学诠释”从方法论的角度对模态解释中所渗透的语言分析方法进行系统分析。...

PET/CT两模态医学图像融合

多模态医学影像融合利用不同种类医学影像对病灶描述能力的互补性和冗余性，得到比单一医学影像更可靠、更准确的病灶属性信息。PET/CT融合作为一种新生产物，逐渐发展为主流技术，本书在对多模态医学图像融合识别...

皮尔斯 刘易斯 蒯因 实用主义哲学家和模态逻辑

这几个在逻辑史上享有盛名的逻辑学家，在设计有关模态逻辑的讨论中都各有建树，而且，竟然都被称作是实用主义者。这是不是意味着，实用主义哲学，尤其是古典意义上的实用主义哲学和模态逻辑的建构有某种关联呢？正式.....

从这里学NVH 噪声、振动、模态分析的入门与进阶

本书主要介绍了工程噪声基础、振动噪声信号采集与信号处理、实验模态测试与实验模态分析等NVH方面的内容。本书使用通俗易懂的语言来描述NVH实践所需的基础知识，极少使用烦琐的数学公式，这样更方便读者理解与...

振动结构模态分析 理论实验与应用 第2版

本书是在总结近半个世纪以来国内外有关结构振动模态分析成果基础上编写的，既包括上世纪后半叶提出的经典方法，又包括近期最新成果。本书系统阐述了结构模态分析的有关理论、模态参数识别的典型方法、有关的振...

运载火箭虚结构模态试验处理技术=processing of pseudo-structure modal testing of launch-vehicle

形式逻辑讲义 第4章 推理 直接推理 第5章 三段论和模态推理 第6章 假推、选言推理和联言推理

极点对称模态分解方法 数据分析与科学探索的新途径

由于本书应用范围很广，作者建议CIP数据中的“中图分类号”使用选择“N37数据处理”。本书旨在阐述作者最新研发的极点对称模态分解(ESMD)方法。内容涉及与模态分解有关的五大根本问题、与高次筛选有关的三大...

机械及结构动力学现代理论方法 非线性动力学的模态变换与建模

本书始于上世纪八十年代历经工程实践，是在创新的框架下对大型机械与结构动力学理论方法和经验的总结。前三章是论述近代计算方法的理论基础各类变分原理，导出了离散系统的格式，并应用于上世纪建立的、从固体力...