形式化框架下置换和查找类算法的组装生成 【工业技术】

本书以前期研究形成的支持程序开发全过程的形式化方法PAR为基础，选取排序类和查找类算法作为研究的突破口，开展了形式化方法制导下的算法程序自动化的研究。PAR为算法程序自动化提供了有力支持，它由自定义泛型...

当代室内设计原理及其发展趋势探究 【工业技术】

本书是一本关于室内设计的专著，主要对当代室内设计原理及其发展趋势进行了深入探究，内容主要包括室内设计的背景及概念、当代室内设计的原理、室内设计的主要内容以及室内设计的发展趋势。全书的重点集中在了...

创新网络的生成、演化及效应研究 【工业技术】

为解决我国钢铁产能过剩、技术水平低下，环境污染严重等问题，需走钢铁产业绿色转型之路。钢铁产业绿色转型不仅需要单个组织具备节能环保技术创新发展能力，同时也要求钢铁产业领域内的企业与大学、科研机构及其...

建筑中国 当代中国建筑设计机构48强及其作品 2006-2008 【工业技术】

本书介绍中国48家建筑事物所最新设计的建筑作品，设计理念，有比较详细的技术资料包括平面图立面图实景图等，适于建筑专业人及业主阅读参考。...

中国妇女服饰与身体革命 1911-1935 【工业技术】

本书是叙说民国期间（1911年至1935年）中国妇女服饰（主要是服装）变化的书。本书在侃侃而谈中引述了大量的报刊和文献，并附上了当年的图片资料，让读者在轻松浏览中观赏到一幅中国妇女时装变迁的社会风俗画卷。...

畸形波的模拟生成及基本特性 【工业技术】

本专著属于船舶与海洋工程科学技术领域。非线性波浪是造成船舶失事的主要原因，而民船设计中波浪载荷的计算是基于线性波理论；这种设计理论和失事机理的差异，对船舶和海洋工程结构物的安全运营构成潜在威胁，不能...

当代世界建筑经典精选 5 菲利浦·考克斯及其建筑设计事务所 【工业技术】

DJS-8计算机FORTRAN 4编译系统设计说明 第1分册 编译总控语检与中间文本生成 【工业技术】

面向样例的动画生成及应用 【工业技术】

本书提出了一个基于样例的三维动画生成框架，该框架可以把多个源网格的动画传输到一个目标网格，生成一个全新的三维动画。该框架由以下几个步骤组成：（a）使用草图在源网格和目标网格间建立映射；（b）使用非闭合网......

自然语言交流的计算机模型 数据库语义学下的语言理解、推理和生成 【工业技术】

第一部分介绍SLIM语言理论的基础框架。包括认知主体的外部界面，数据结构和算法。第二部分系统分析自然语言的主要结构，以英语在听话者和说话者模式下的释义推到为例。第三部分介绍英语断片，构建一个功能完整但...