一阶椭圆型微分方程组与边值问题及其在薄壳理论上的应用 【工业技术】

看穿建筑形式里的诡 比较建筑学的可能性 【工业技术】

作者以诸多建筑实例为主角，从“比较建筑学”的角度出发，进行跨区域与跨文化的多元对话，展现了一系列的思索与发现……从传统与现代的虚构藩篱、精神与意念的认同、形式的移植与复制，结合人、建筑与心灵建构来做...

基于偏微分方程的图像处理 【工业技术】

本书是教育科学“十五”国家规划课题研究成果。本书介绍了偏微分方程在图像处理中的应用。主要内容包括：偏微分方程的基础知识；图像处理和低层计算机视觉中的问题；滤波器和热传导方程；数学形态学，对比度不变和图...

类型与设计 建筑形式产生的内在动力 【工业技术】

本书缘起于对设计中一个根本性问题的探讨——即建筑形式从哪里来。切入点是形式（类型）作为一种建筑师的工作策略在形式创造过程中的作用，由此从历史上不同的阶段建筑师对类型的认识、态度、运用策略等多角度展...

形式语义学研究 【工业技术】

形式语义学是逻辑与语言交叉研究的产物，是在逻辑框架内构建的关于自然语言的语义学。形式语义学根植于逻辑学、哲学、数学、语言学等好几个学科，其显著特征是运用逻辑和数学的形式化方法去研究自然语言的形成...

寻找高点·追寻阳光 美国社区形式多样的教堂建筑摄影 【工业技术】

本书是作者在美国生活一年间，到处游历所拍到的近百座教堂的摄影作品。书中作品围绕高点而展开，追逐太阳而结束。画面构图新颖，光线讲究，有整体又有局部。根据照片的意境，还配有内涵深远的美文，使全书图文并茂，......

形式与编码在设计/艺术/建筑中的应用 【工业技术】

作为第一本综合性介绍软件在艺术中的发展状态的图书，本书旨在帮助读者找到这个领域所需鼓励的热情，而不是简单地教大家如何使用计算机编程。本书图文并茂，由七个部分组成，前两个部分通过界定术语和介绍基本概念...

中国科学院原子能研究所 在固定步长下数值解常微分方程组的尤拉改进方法程序 【工业技术】

形式语言与自动机 第2版 【工业技术】

本书扼要地介绍了形式语言与自动机的基本体系，是学习计算机科学基础的教材和参考书。书中主要介绍形式语言的基本概念、自动机模型以及形式语言与自动机的等价性，包括右线性文法与有限自动机、上下文无关文法...

Node.js实战 使用Egg.js+Docker构建渐形式 可持续续集成与交付应用 【工业技术】