软件可靠性方法

本书通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。紧紧围绕逻辑和自动机理论这条主线，书中比较了这些方法的不同之处，并讨论了它们...

供电可靠性管理工作手册 创先分册

本丛书共分6个分册，包括《创先分册》、《基础管理分册》、《电网规划分册》、《电网建设分册》、《运行管理分册》、《技术进步分册》。本书为创先分册，旨在从整体上介绍供电可靠性创先的概况和涵盖内容。本...

导弹构件失效物理与可靠性分析

本书以导弹构件贮存可靠性与寿命评估为应用背景，全面阐述了失效物理的基本概念、可靠性计算方法及在导弹武器中的应用。主要内容包括失效物理及其研究内容与方法；导弹结构材料、应力与失效；导弹构件失效物理模...

电力系统可靠性新技术

本书于2011年由Springer出版社出版，由George Anders等二十余名世界各国专家学者合编而成，反应了电力系统可靠性的最新技术及方法，在电力系统可靠性领域具有较高的实用价值，受到该领域工作人员及科研人员的认可...

质量与可靠性管理

本书阐述了质量与可靠性管理的重要性、基本概念，介绍了如何对电子元器件进行质量与可靠性管理的方法，重点在于帮助读者掌握和提高质量与可靠性管理水平，并提高解决质量与可靠性问题的能力。本书共8章，内容包括，....

疲劳性能试验设计和数据处理 直升机金属材料疲劳性能可靠性手册

软黏土地基堆载预压固结可靠性分析与设计

本书包括绪论、竖向固结系数空间概率特性、单层地基堆载预压固结概率分析、双层地基堆载预压固结概率分析、多层堆载预压固结概率分析等，书后附有主要MATLAB计算程序。固结系数自相关距离性状具有明显的横观...

既有结构可靠性理论及应用

本书系统地阐述了现存结构可靠性分析和评定中的主要问题，建立了现存结构可靠性的基本理论，包括不确定性、可靠性指标体系、抗力和荷载模型、可靠度计算、标准值推断、可靠性评定体系等方面的成果，并在工程应用...

变电构架可靠性检测与评估

本书全面、系统地阐述了变电构架可靠性检测与评估的理论、分析方法及应用。通过本书的分析，读者可对变电构架可靠性检测与评估的现状有全面系统地了解，并可合理利用在役结构掌握检测方法，制定改造策略，解决存在...

计算机网络的可靠性分析

随着人们生产和生活对于计算机网络的依赖性不断增加，计算机网络能否可靠运行逐渐成为管理者和用户关心的问题。本书立足于计算机网络潜在风险的全局，充分结合实际，对提高计算机网络的可靠性展开了深入探讨。其...