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

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

马克思哲学过程论 一种实践过程思维方式 【哲学宗教】

本书就马克思主义哲学过程思想研究论评、过程思想与本体论、实践过程辩证法与西方过程哲学的对话、实践过程思维方式与认识过程、人与文化的实践过程意蕴等问题进行了研究。...

Theoretical numerical analysis a functional analysis framework Third Edition = 理论数值分析 第3版 【外文】

焊接专业英语 【语言文字】

本书是按照高等职业教育机电专业规范、培养方案和课程教学大纲的要求，采用模块式结构和开放型体系编写而成。全书共分为焊接篇和机械篇两部分，每部分又包括6个单元，内容不但包括常见的焊接技术，还涵盖了传统的...

核电厂核岛主设备制造焊接质量及其控制 【工业技术】

本书以CPR1000压水堆核电机组核岛主设备制造过程中焊接及其质量控制关键技术为出发点，在HAF系列、RCC系列等国内外相关法规规范的基础上，调研收集国内外设备制造过程中焊接工艺技术、焊接检验和质量控制等基...

中厚板焊接机器人系统及传感技术应用 【工业技术】

本书以松下“中厚板焊接机器人系统软件”内容为范本，针对中厚板焊接机器人系统及软件的构成及原理、编程和焊接等方面予以讲解，主要内容包括机器人传感技术、中厚板焊接系统案例、中厚板机器人的操作、中厚板...

现代数值分析 MATLAB版 【数理化】

本书阐述了现代数值分析的基本理论和方法，包括数值分析的基本概念、非线性方程求根、解线性方程组的直接法和迭代法、插值法与最小二乘拟合、数值积分和数值微分、矩阵特征问题的计算、常微分方程初值问题的...

焊接方法与设备使用 【工业技术】

本书主要讲授各种常用焊接方法的原理、特点、焊接材料、设备及工艺等知识，并对新的焊接方法与技术作了介绍。全书由八个单元组成，包括：焊条电弧焊，埋弧焊，熔化极气体保护焊，钨极惰性气体保护焊，气焊与气割，等......

MIDAS/GTS岩土工程数值分析与方法：快速入门与使用技巧 【工业技术】

MIDAS/GTS软件以其全中文化的操作界面、直观亲和的前处理、多样的分析功能、丰富的材料本构模型、简捷全面的后处理，已在世界众多大型岩土和隧道工程上得到应用。目前MIDAS/GTS的用户已经遍及全国各大设计院...

畜禽粪便污染的农业系统控制模拟及系统防控对策 【环境安全】

本书稿主要包括畜禽粪便污染防治动力学分析；农田畜禽粪便环境容量；养殖污水生态处理；利用计算机系统仿真，创建畜禽粪便污染农业系统控制模型；提出畜禽粪便污染防控对策等五部分内容。并针对农民对环境保护的认识...