BIMcpd: A Combined Toolkit for Constraint Checking, Performance Evaluation and Data Management in Building Renovation Projects

Effective and efficient building renovations require significant data management and analysis. The ability to store, analyse, and display this data in a user-friendly way can play an important role in easing the process. The tools developed by authors of this paper during their work in the BIM4EEB research project are contained in three distinct intuitive applications that will allow users to (a) find recommended positions for HVAC, lighting, and other devices; (b) analyse data from sensors, energy bills, and other sources (weather for example); and (c) manage the data that they have on the above and create new data sets that they can share with other tools.

Diagnosis of Discrete Event Systems under Temporal Constraints Using Neural Network

The good functioning of a discrete event system is related to how much the temporal constraints are respected. This paper gives a new approach, based on a statistical model and neural network, that allows the verification of temporal constraints in DES. We will perform an online temporal constraint checking which can detect in real time any abnormal functioning related to the violation of a temporal constraint. In the first phase, the construction of temporal constraints from statistical model is shown and after that neural networks are involved in dealing with the online temporal constraint checking.

Low-Cost Dynamic Constraint Checking for the JVM

Using formal methods for software verification slowly becomes a standard in the industry. Overall it is a good idea to integrate as many checks as possible with the programming language. This is a major cause of the apparent success of strong typing in software, either performed on the compile time or dynamically, on runtime. Unfortunately, only some of the properties of software may be expressed in the type system of event the most sophisticated programming languages. Many of them must be performed dynamically. This paper presents a flexible library for the dynamically typed, functional programming language running in the JVM environment. This library offers its users a close to zero run-time overhead and strong mathematical background in category theory.