硬件设计验证 基于模拟与形式的方法 【工业技术】

本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...

信号与系统 基于MATLAB的方法 using MATLAB 【工业技术】

主要内容包括连续周期信号的傅里叶级数、连续非周期信号的傅里叶变换、连续信号的拉普拉斯变换和离散信号的Z变换。在系统分析方面，介绍系统的各种描述方法和分析方法，包括：连续系统微分方程的建立、离散系统...

遥感数据智能处理方法与程序设计 【工业技术】

本书是作者经过十余年在人工智能理论与遥感信息理论学科交叉领域的实践，不断探索所取得的成果总结。主要内容包括空间变换与分割、贝叶斯网络、伪二维隐马尔可夫、神经网络、遗传算法、模糊算法、粗糙集、支...

实用软件测试方法与应用 【工业技术】

本书深入讲述了软件测试的各个方面，不但讲述了软件测试的基本理论和方法（单元测试、集成测试、系统和验收测试、测试文档的编写、测试用例的设计和软件度量），而且还详细介绍了企业级软件测试的解决方案（负载测试...

细晶镁合金制备方法及组织与性能 【工业技术】

为了提高镁合金的强度和塑性，通过细化镁合金的组织（基体晶粒和强化相颗粒）是重要的方法。本书以Mg-Zn-Y-Ce和Mg-Al-Si两个合金系为例，论述了采用快速凝固和大变形制备细晶镁合金的工艺、组织和性能特点。本书主...

功能性纺织品检测与评价方法的研究 【工业技术】

本书针对纺织品的防污、防水、防蚊、负离子、微磁场和远红外等功能性检测和评价方法进行研究，详细阐述了检测原理、仪器设备、试验步骤、结果表征以及指标评价等的确定依据。本书可作为相关产品研发人员了解...

化学工程 第2版 卷3 化学反应器设计 生化反应工程计算方法与控制 【工业技术】

图解局域网构建与实战 中小型网络完全应用解决方法 【工业技术】

本书以全程图解的方式，阐述了有关网络的基础知识，细致地传授了网络布线、网络设备以及设备之间连接等基本技能，教大家如何搭建对等网络和服务器/客户网络，并给出了SOHO和家庭网络、校园宿舍网络、企业和行政办...

化学工程 卷Ⅲ 二版SI单位 化学反应器设计 生化反应工程计算方法与控制 【工业技术】

工程估价 上 原理 方法 建筑与装饰装修工程 第2版 【工业技术】

本书全面系统地介绍了工程估价的基本原理及建设项目全寿命期工程造价管理的基本理论与方法。通过本书的学习，读者可以掌握建设项目投资估算、工程概预算编制、工程标底与工程结算的编制与审查、工程竣工决算...