ANSYS LS-DYNA非线性动力分析方法与工程应用 【数理化】

LS-DYNA是全球最著名的结构非线性动力计算程序，以显式算法为主也兼有隐式算法，被广泛用于模拟工程领域的各种高度非线性的瞬态结构受力行为。本书以LS-DYNA的关键字为主线，详细介绍了LS-DYNA的理论基础、基于A...

逻辑代数与电子计算机简介 （高师内部交流教材） 【数理化】

实变函数与泛函分析概要 第1册 【数理化】

本书第四版除了尽量保持内容精选、适用性较广外，尽力做到可读性强，便于备课、讲授及学习。修订时吸收了教学中的建议，增添了少量重要内容与习题，一些习题还给出提示。全书分两册。第一册包含集与点集、勒贝格测...

无机化学与化学分析 第2版 【数理化】

本书是为应用化学专业编写的一本基础课教材，是在国家“面向21世纪课程教材”《无机化学与化学分析》（1998年第一版）的基础上修订再版的。本书分为主篇和副篇。主篇的内容包括预备性知识、原子结构和元素周期表...

结构力学要点与计算 【数理化】

本书采用图表的形式，总结结构力学的理论知识、解题方法及经验。内容主要包括：体系的机动分析、静定梁与静定平面刚架和桁架的计算、超静定结构、连续梁与超静定刚架的计算、弹性体系的基本原理与位移计算、三...

时间序列分析与现代谱估计 【数理化】

本书系统地讲述了时间序列分析的基本理论、建模步骤、预测方法以及现代谱估计的特点和相关知识。全书共分6章：第1章绪论，包括时间序列分析的重要性、时间序列分析的发展及应用等内容；第2章介绍了时间序列模型...

数值模拟技术与分析软件 【数理化】

本书内容划分为10章。作为绪论的第1章介绍了数值模拟技术、数据的可视化和数值模拟软件概述。第2章介绍了软件工程基础。第3章介绍了常用的几种程序语言及其发展。第4章介绍MATLAB基础及其使用，MATLAB既是数...

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

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

概率与计算 【数理化】

本书详细地介绍了概率技术以及在概率算法与分析发展中使用过的范例。本书分两部分，第一部分介绍了随机抽样、期望、马尔可夫不等式、切比雪夫不等式、切尔诺夫界、球和箱子模型、概率技术和马尔可夫链等核心...

样条函数与计算几何 【数理化】

由于航空、造船、机械设计和制造等行业应用计算机作辅助设计的需要，逐步形成了一个新的计算数学分支——计算几何。这个分支与样条函数有着密切联系。本书叙述样条函数和计算几何的基本理论和方法，同时，总结了...