, ,

New scientific article: SEIRD COVID-19 Formal Characterization and Model Comparison Validation

Below is a brief summary of the article published openly in the special issue Spreading of Infection Diseases like COVID-19 and Influenza Modelling and Propagation Control of the journal Applied Sciences: Based on a SEIRD model (Susceptible,…
,

New publication: Simplifying the Verification of Simulation Models through Petri Net to FlexSim Mapping

Simplifying the encoding of a simulation conceptual model representation reduces the number of errors that will be detected in the verification phase. In this paper, we present a mapping between Petri nets, a well-known formalism, and FlexSim,…
, ,

Combining Formal Definition of a Simulation Model with Heuristics to Improve Building Sustainability

We present a new paper on WSC 2018. Soon you will be able to access to the paper on the website. Abstract: Sustainability is related with environmental, social and economic variables. Each one of these areas is, by itself, complex due to the…
,

Using the R Language to Manage and Show Statistical Information in the Cloud

An interesting paper that presents the approach we use in Polyhedra Tech products. Abstract: We present a methodology to enable users to interact with the statistical information (survey data) of a public opinion institute which is stored in…
,

Simulation model to find the best comfort, energy and cost scenarios for building refurbishment

Abstract This article proposes a methodology to assess building behaviour, whilst taking its life cycle into account. Understanding of the system can be obtained by combining well-known energy consumption calculation engines (TRNSYS) with…
, ,

Solution Validation for a Double Façade Prototype

We publish a new paper that depicts an interesting solution validation, it's open, and you can read it here. Abstract A Solution Validation involves comparing the data obtained from the system that are implemented following the model recommendations,…
, ,

Using Specification and Description Language for Life Cycle Assessment in Buildings

The definition of a Life Cycle Assessment (LCA) for a building or an urban area is a complex task due to the inherent complexity of all the elements that must be considered. Furthermore, a multidisciplinary approach is required due to the different…

Simulation model to find the best comfort, energy and cost scenarios for building refurbishment

This article proposes a methodology to assess building behaviour, whilst taking its life cycle into account. Understanding of the system can be obtained by combining well-known energy consumption calculation engines (TRNSYS) with co-simulation…

Analysis of Applications to Improve the Energy Savings in Residential Buildings Based on Systemic Quality Model

A new paper regarding the NECADA project has been published;  on it we analyze several EMS using a methodology that simplifies the analysis. Is open so you can read it here: Analysis of Applications to Improve the Energy Savings in Residential…
,

IBPSA papers available now online

Now the proceedings of IBPSA conference are online and free to review. http://www.ibpsa.org/?page_id=619 You can read here our two papers: NECADA: Optimization Software for Sustainable Architecture Optimization of Energy Renovation of Residential…