Z形式规约的自动求精研究 【工业技术】

本书系统介绍了Z语言的程序设计技术。

基于形式概念分析的Folksonomy知识发现研究 【工业技术】

云南少数民族住屋 形式与文化研究 【工业技术】

国家自然科学基金资助项目。

Z形式规约切片的研究 【工业技术】

本书包括基于依赖性分析的Z形式规约切片及形式化描述，基于关系演算的Z形式规约切片，变量定义和使用情况的探讨，Z形式规约切片在提升和定理证明中的应用以及基于依赖性分析的Z形式规约度量。...

森佩尔三个文本的形式原则比较研究 【工业技术】

将建筑形式原则区分为结构形态原则、非结构形态原则和表面属性原则三类，在更长的历史脉络和更广的时代背景之下，对19世纪德国建筑理论家森佩尔（Gottfried Semper）三个文本（《彩饰初论》《四要素》和《风格论》）中...

壁画艺术与公共环境 当代壁画艺术形式与技法研究 【工业技术】

本书为2004年财经创新与管理国际学术会议用论文集，主要包括产品创新和技术创新、中部区域经济发展与产业创新、组织创新和制度创新、财务管理与金融创新等。...

蓝天组的解构主义建筑形式研究 【工业技术】

本文试着从陈述国内当前现实现状、解构主义建筑从不知名到影响深重的建筑形式的发展，以及解构主义建筑师对其建筑的认识与定位，重点比较弗兰克·盖里和蓝天组的建筑实践活动，从正面论述解构主义建筑在历史上的...

B方法与形式化软件开发技术研究 【工业技术】

本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。...

形式与政治 建筑研究的一种方法 【工业技术】

本书以文集方式汇编了作者二十余年的研究成果。内容涵盖空间形式、视觉形式，形式设计、制度空间、设计过程的制度问题、艺术与制度的关系、世界背景下中国建筑文化的基本特征等议题。本书提出三种建筑作为形...

形式追随生态 当代生态住宅表皮设计研究 【工业技术】

本文从生态、形式与表皮的关系入手，归纳建筑形式的发展历程，总结出生态和可持续发展思想对当代住宅及其表皮形式所产生的巨大影响。在“形式追随生态”理念引导下，表皮作为形式的载体，是生态思想和生态价值最直...