基于ANSYS的信号和电源完整性设计与分析 【数理化】

声子晶体的计算方法与带隙特性 【数理化】

本书主要论述工程中的声子晶体能带计算方法和带隙特性。全书分为８章，内容包括：声子晶体理论的发展历史和研究现状，弹性波与振动，晶体学与Bloch波；周期介质中的弹性波，介质周期性的描述，固体中的Bloch弹性波，流......

FEKO电磁仿真软件在天线分析与设计中的应用 【数理化】

布尔函数的设计与分析 【数理化】

本书系统性地介绍了布尔函数的各种密码学指标之间的联系及其具有良好性能的布尔函数的构造，并针对具体算法中使用的布尔函数部件进行了详细的密码学性能的分析，对一些前沿的方向进行了探讨。本书涵盖布尔函数...

面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

波动系统的定性分析与数值计算 【数理化】

全书共5章，主要介绍四类波动系统解的情况，刻画了解的各种性态。基于变分法与凹函数法找到了不同能量级别下各个系统相应的可解性条件，提出了可解性判定理论。第一章是概述，介绍四类波动系统的国内外研究现状。...

计算反演问题中的优化与正则化方法及其应用 国内英文版 【数理化】

本书为英文版，由高等教育出版社与施普林格出版社共同合作出版，在世界范围内发行。反演问题存在于物理学、工程、数学的多个分支，由于对应用的重要性近年来发展很快，在地震勘查、图像重建、X线断层摄影术等方面...

折射率与电子波函数的关系及折射率计算 【数理化】

光的折射是一种电磁波与物质的相互作用，是重要的科技研究领域。折射现象在光学成像技术、光纤通讯技术、光谱分析技术和化学结构分析等方面有许多重要的应用。与折射率有关的负折射率介质、纤维光学、极慢光...

面向问题的统计学 3 试验设计与多元统计分析 【数理化】

本书面对试验设计及其多元资料统计分析方面提出的近百个问题，逐一进行解答，使人们在轻松愉快解决一系列复杂实际问题的氛围中学到了统计学的真本领。...

交互式马尔可夫链 并发系统的设计、验证与评价 【数理化】

本书主要研究了IMC的理论及其在性能评价与层次化分析方面的应用。主要包括三个方面的内容：1. IMC上的分支时间等价和前序关系；2. 基于IMC的模型检验；3. IMC上的动作细化理论。...