模型检测 【工业技术】

模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...

环境艺术模型制作 【工业技术】

本书结合当前国内环境艺术模型塑的主要理论和实践，讲授模型的范围、对象与特征，探寻认知、设计发展规律，培养学生手工制作能力及先进设备的操作能力。本书适用于环境设计专业的师生作为教材，也可供有兴趣的读者...

冷连轧机高速生产过程核心工艺数学模型 【工业技术】

本书包括轧制温度，实用变形抗力，轧制规程综合优化等知识。

2011家居空间模型 新古典主义 【工业技术】

2010年家居空间设计方案254个，以效果图形式配上相应的原始3dsmax模型。每本书配上4张DVD光盘。

室内设计图像模型 酒店、商业空间 【工业技术】

本书精选国广一叶装饰机构最近的酒店设计效果图及其原始3dsmax模型。每种书约选登210个作品，4张配套光盘。

中文 AutoCAD R14使用手册 三维模型制作 【工业技术】

2009室内设计模型 家居空间 【工业技术】

本书拟精选几家设计公司的效果图作品，内容上遵循以往模型库的做法：效果图配上相应的原始3dsmax模型。每种书约选登200多套家居空间室内设计作品，2张配套光盘。...

Poser 8.0高级应用及商用模型开发 【工业技术】

本书着重介绍了Poser 8.0高级应用和特色功能以及资源库模型的开发途径。

一代风流 室内装饰设计效果图 模型真经 【工业技术】

滑坡模型试验理论及其应用 【工业技术】

本书在阐述与回顾经典的量纲分析与相似定理的基础上，结合滑坡模型试验本身的特点，阐述滑坡模型试验相似理论和相似判据确定方法，并提出此类滑坡模型畸变修正方法与畸变模型设计理论，研究并开发了考虑水库蓄水和...