In this paper, we propose a formalism called the Stochastic Message Sequence Chart (SMSC) and integrate it into the Möbius framework. SMSC is a stochastic extension to the Message Sequence Chart (MSC) formalism, which is a formal language to describe the communication behavior between the components of a system. Compared with MSC, SMSC is suitable for performance analysis. Such analysis is ofte...

The physiological equivalent temperature, PET, is a thermal index derived from the human energy balance. It is well suited to the evaluation of the thermal component of different climates. As well as having a detailed physiological basis, PET is preferable to other thermal indexes like the predicted mean vote because of its unit ( degrees C), which makes results more comprehensible to urban or ...

Prefabricated construction, a new direction for the future development of the Chinese construction industry, can maximize the requirements of “green”. As a new form of green building, prefabricated construction is of particular interest. On account of the immature development of the green building market in China, the investment risk for prefabricated construction is higher than for traditional...

This work aims to present an analysis of architectural repercussions involved in choosing a certain climatic system for an office block. The intention is to unite techniques and the building itself. Independently of the bioclimatic design criteria for office work, these buildings require active technical systems for their air conditioning. We should only consider the air conditioning option tha...

This work presents the modeling and energy management of a microgrid through models developed based on physical equations for its optimal control. The microgrid’s system was built with one most popular control algorithms in systems: model predictive strategy aims to satisfy load demand an office located CIESOL bioclimatic building, which placed University Almería, using quadratic cost function....

Ectomycorrhizal fungi (EMF) form symbioses with a few plant species that comprise a large fraction of the arctic vegetation. Despite their importance, the identity, abundance and distribution of EMF in the Arctic, as well as the key drivers controlling their community composition are poorly understood. In this study, we investigated the diversity and structure of EMF communities across a biocli...

We present a light formalism for proofs that encodes their inferential structure, along with a system that transforms these representations into flow-chart diagrams. Such diagrams should improve the comprehensibility of proofs. We discuss language syntax, diagram semantics, and our goal of building a repository of diagrammatic representations of proofs from canonical mathematical literature. Th...

An analysis andmulti-model approach, based on a statistically derived Global Environmental Stratification (GEnS) and using a downscaled ensemble (n = 63) of CIMP5 Earth System Models applied across four representative concentration pathways (RCP), has been used to project the impact of climate change on spatial distribution of bioclimatic zones and ecosystems within the biodiverse rich Xishuang...