硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches 【工业技术】

本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。

Nginx实战 基于Lua语言的配置、开发与架构详解 【工业技术】

本书分为五个部分，基础内容，包括安装、基础配置等相关内容；中级内容，包括模块、Lua语言的引入、TCP服务等内容；高级内容，包括Nginx的配置需求和重构、CDN代理下的Nginx、日志集中的存储方案、爬虫、Lua的容错设计...

平原水库工程技术研究与实践 【工业技术】

本书是根据辽宁省科学技术计划重大项目“平原水库工程技术研究”的主要成果及国内外相关资料研究分析撰写而成的。 书中介绍了国内外平原水库工程技术现状和发展趋势。结合多年研究成果和经验，重点论述了具...

计算机教学研究与实践 2015学术年会论文集 【工业技术】

年会的论文征集工作得到了全省高校广大教师的积极应，截至7月8日，投稿论文共提交60篇。在初步审核的基础上，约请了16位专分4组以网评方式进行了审稿。最终遴选了55篇结集出版并作大会交流，其关于专业建设与课程...

粒计算研究丛书 三支决策 复杂问题求解方法与实践 【工业技术】

本书旨在进一步推进三支决策的研究，主要介绍三支决策复杂问题求解方法以及实践应用，具体内容包括三支决策与粗糙集、三支决策与区间集、三支决策与三值逻辑、三支概念格和三支决策与多粒度近似空间等，以及三支...

灌浆的理论与实践 【工业技术】

材料科学与微观结构 【工业技术】

本书将对材料科学中所涉及的金属、合金、陶瓷、高分子和复合材料等的微观结构在本世纪（2000～2005年）的最新进展，予以最直观、最形象、和最准确的描述。这些描述除了文字叙述外，还配有250幅各类图谱。所描述的材...

现代城市水务工程技术研究与实践 【工业技术】

本书为“城市水务建设丛书”之一，主要以城市水务工程建设中的新理念、新技术、新方法等为基础，并充分考虑到我国当前诸多城市水务工程的实践、现状以及技术需求，对城市水务工程技术进行了初步的研究。本书主要...

建设项目环境影响评价水库下泄水温及影响减缓措施技术研究与实践 【工业技术】

为系统总结国内外水库水温研究方法进展情况，本书深入分析了水库水温时空分布规律，研究了水库水温预测方法，分析了下泄水温减缓措施的有效性，是推动新常态下水利水电工程环境影响评价方法的进步与学术交流，具有参...

膏体充填综采覆岩变形控制研究与实践 【工业技术】

本书从理论和实践两个方面，着重研究了膏体充填开采岩层移动变形与地表沉陷控制的相关问题。本书内容丰富，主要包括：绪论，充填开采覆岩变形破坏特征研究，膏体充填控制覆岩变形机理研究，膏体充填控制地表沉陷影响.....