临界的传递逻辑 模态逻辑的濒表格性问题探究

图书回顾了传递的濒表格逻辑的研究发展历史，叙述了传递的濒表格逻辑判据的证明、应用过程，试图解决传递逻辑的濒表格性的判据问题和大格的子格NExtQ4中濒表格逻辑族的基数、分类及公理化问题。本书可供从事模...

石油、化工实用防腐蚀技术 第5册 腐蚀试验方法

起重运输机械试验技术

高等学校试用教材:本书主要介绍了起重机运输机械试验技术的理论、方法以及参数测量与分析。

科学技术成果报告 编号：0150 渗灌试验

土工试验技术手册

本书重点介绍了岩土工程与土力研究中的主要实验手段，包括常规土工室内试验、土动力学实验、土工合成材料试验、离心模型试验、原位测试技术与原型观测技术等项内容。...

海洋平台结构模态分析与损伤检测

本书针对海洋工程结构整体振动检测技术在实际工程应用中的理论、技术瓶颈，着重介绍项目组历经10余年工作积累的研究成果，尤其是在信号处理、模态分析、模型修正方面取得的理论与技术突破。本书在撰写过程中，既...

国防科研试验工程技术系列教材 空气动力

国防科研试验工程技术系列教材空气动力

国防科研试验工程技术系列教材导弹航天

电工测量与试验实用技术问答

本书以问答的形式系统地介绍了电工测量基础、电工测量仪表、电桥和示波器、电工计量仪表、电子元器件的测量、电气试验、电流互感器、电压互感器等的理论知识和实际操作技能。其内容以初级电工和中级电工为...