数字量化混凝土实用技术

数字集成电路设计验证 量化评估、激励生成、形式化验证

本书重点介绍过去五年内取得的相关研究成果，兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证...

矢量量化技术及应用

锅炉供暖量化管理与节能技术

轻量化材料技术

本书共分7章，分别为概述、树脂基复合材料、工程塑料、结构陶瓷、铝及其合金、镁及其合金、钛及其合金。每章分别介绍了各种材料的特点、制备技术、性能与应用等内容，是材料研究、产品设计、制品加工、管理、...

模糊神经技术在矢量量化图像编码中的应用研究

碳纤维复合材料轻量化技术

本书针对碳纤维复合材料在汽车等领域的轻量化应用，围绕碳纤维复合材料的基础材料技术、复合材料成型制造技术、制造装备技术、复合材料轻量化应用技术和循环利用技术等，介绍了作者们在复合材料工程化技术研发...

数据分析与决策技术丛书 R的极客理想量化投资篇

本书的内容来自作者实际使用R语言的经验总结，以R语言的高级编程为主，辅以跨界知识的综合运用，涉及计算机、统计、数学、金融四个学科的知识。书中首先阐释如何用R语言实现数学统计计算和创建模型，应用包括协同...

实用混凝土技术

预拌混凝土实用技术

本书包括常用混凝土配合设计，新拌混凝土的性能等。