Search results for "Roof"

Evaluating the thermal-radiative performance of ENVI-met model for green infrastructure typologies: Experience from a subtropical climate

2022

Abstract Microclimate knowledge has been intensively integrated into urban planning and design to improve the buildings’ energy performance and outdoor thermal comfort. To assess the climatic mitigation strategies, numerical modeling is gaining higher relevance. ENVI-met, a microclimate model to simulate the complex surface-vegetation-atmosphere interactions in the built environment, is receiving increasing popularity. This study aims to systematically evaluate the thermal-radiative performance of the ENVI-met model based on its recent updates. First, a field measurement was conducted in a subtropical city. Thermal-radiative parameters were collected besides three green infrastructure (GI) …

Assessing the effectiveness of green roofs in enhancing the energy and indoor comfort resilience of urban buildings to climate change: Methodology pr…

2021

Abstract The effects of climate change on the built environment represents an important research challenge. Today, green roofs (GRs) represent a viable solution for enhancing energy and urban resilience in the face of climate change, as they can have a positive impact on the building's indoor thermal comfort and energy demand, as well as inducing various environmental benefits (easing urban heat island effects, improving the management of runoff water, reducing air pollution, etc.). Thus, it is important to be able to assess their effectiveness, both today and under future climate conditions, in order to evaluate whether they can also provide a valid long-term solution. In this paper, a sim…

Disposal of green roofs: A contribution to identifying an “Allowed by legislation” end–of–life scenario and facilitating their environmental analysis

2022

The rapid and widespread deployment of green roofs requires the need to address their disposal and to assess the environmental impact of this phase of their life cycle to understand whether their current large-scale application may pose a problem. A review of the literature on green roofs environmental performance (particularly Life Cycle Assessment studies) has highlighted the lack of a standardized, commonly adopted, procedure for determining the treatments, recovery and/or disposal, to be assigned to waste from the removal of green roofs. In this regard, it should be mentioned that there is a lack of ad hoc legislation on the disposal of this technology (to the best of the authors’ knowl…

Getting insights into the behavior of variable speed direct expansion air conditioning systems under faulty operating conditions

2019

Direct expansion air conditioning systems, such as rooftop units, are widely adopted in small and medium scale commercial buildings. In order to increase the energy performance of these systems during part-load operation, variable-speed compressors and fans have been adopted in the last two decades. However, profitable energy saving could be achieved not only by optimizing the design and the control of these systems, but also by scheduling a proper maintenance strategy. In fact, if not properly maintained, no benefits would be achieved even when more sophisticated systems are adopted. In order to support plant owners in scheduling cost-effective maintenance program, Fault Detection and Diag…

Postmortem Computed Tomography: From Acquisition to Reporting

2019

PMCT in a noninvasive, fast, and quite available method which coroners and forensic experts tend to use more and more often, especially when a crime is suspected. PMCT proved to be an excellent tool for detection and assessment of bone fracture injuries due to sharp trauma and bullet trajectories.

1990

Towards a characterization of explanations in mathematics textbooks

2013

This work is part of a broader study which aims to examine the relation between explanation and proof in teachers’ practices and the way in which this relation emerges from the texts in the mathematics schoolbooks. Our hypothesis is that explanation and proof share some of their characterizing parameters and this makes possible an overlapping of meaning which favors a switch of roles during teaching/learning activities. First results from textbooks analysis are presented pointing out remarkable features of explanation arisen to date.

Combinatorial proofs of two theorems of Lutz and Stull

2021

Recently, Lutz and Stull used methods from algorithmic information theory to prove two new Marstrand-type projection theorems, concerning subsets of Euclidean space which are not assumed to be Borel, or even analytic. One of the theorems states that if $K \subset \mathbb{R}^{n}$ is any set with equal Hausdorff and packing dimensions, then $$ \dim_{\mathrm{H}} π_{e}(K) = \min\{\dim_{\mathrm{H}} K,1\} $$ for almost every $e \in S^{n - 1}$. Here $π_{e}$ stands for orthogonal projection to $\mathrm{span}(e)$. The primary purpose of this paper is to present proofs for Lutz and Stull's projection theorems which do not refer to information theoretic concepts. Instead, they will rely on combinatori…

Inductive types in homotopy type theory

2012

Homotopy type theory is an interpretation of Martin-L\"of's constructive type theory into abstract homotopy theory. There results a link between constructive mathematics and algebraic topology, providing topological semantics for intensional systems of type theory as well as a computational approach to algebraic topology via type theory-based proof assistants such as Coq. The present work investigates inductive types in this setting. Modified rules for inductive types, including types of well-founded trees, or W-types, are presented, and the basic homotopical semantics of such types are determined. Proofs of all results have been formally verified by the Coq proof assistant, and the proof s…

A permutation code preserving a double Eulerian bistatistic

2016

Visontai conjectured in 2013 that the joint distribution of ascent and distinct nonzero value numbers on the set of subexcedant sequences is the same as that of descent and inverse descent numbers on the set of permutations. This conjecture has been proved by Aas in 2014, and the generating function of the corresponding bistatistics is the double Eulerian polynomial. Among the techniques used by Aas are the M\"obius inversion formula and isomorphism of labeled rooted trees. In this paper we define a permutation code (that is, a bijection between permutations and subexcedant sequences) and show the more general result that two $5$-tuples of set-valued statistics on the set of permutations an…