For 2000 years, the inter-connexion between the specific structure of the Chinese eastern climates and the cultural background have produced remarkable vernacular housing types, both well adapted to the local conditions, and reflecting consistent values and knowledge. Stemming from a similar archetypal form, each house plan is translated through the specificity of the climate and resources of i...

Defining functions is a major topic when building mathematical repositories. Though relatively easy in mathematical vernacular, function definitions rise a number of questions and problems in fully formal languages (see [Dav03]). This becomes even more important for repositories in which properties of the defined functions are not only stated, but also proved correct. In this paper we investiga...

Climate-urban form research tends to identify vernacular (traditional) forms as a successful combination of architecture, urban design and climate. This theory, which draws a parallel between climate and adaptive urban form, is supported by the accepted common belief that harsh climates, such as hot-arid ones, confront those who live in them with unique challenges. These challenges are answered...

Iran Central Plateau encompasses a large proportion of this country. The weather in these flat plains is warm and arid with very little precipitation. Different attempts in architecture have been done to alleviate the weather severity of this area and create a living place compatible with humans’ comfort criteria. Investigations have showed that some of the most successful approaches in traditi...

according to statistics, in 2009 iran’s oil and gas consumption were 1.4 and 3.1 times higher than the world average and during 1998 to 2008 residential sector accounted for 42% of the total energy consumption in the country. as hot-humid climate is the most severe climate across the world, climatic consideration must be incorporated in design of the new dwellings in this area. over the centuri...