The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In this paper, we consider the energy-efficient coordination of a set of appliances in a smart-building. We introduce a theoretical formulation of the coordination problem and an Integer Linear Programming model for its resolution. Our formalization is complemented by an analysis of the properties and limits of the model. We also define a practical smart-building setting in which our formalization...
Background: An increasing research effort has devoted to just-in-time (JIT) defect prediction. A recent study by Yang et al. at FSE'16 leveraged individual change metrics to build unsupervised JIT defect prediction model. They found that many unsupervised models performed similarly to or better than the state-of-the-art supervised models in effort-aware JIT defect prediction. Goal: In Yang et al.'s...
The model-based control of building heating systems for energy saving encounters severe physical, mathematical and calibration difficulties in the numerous attempts that has been published until now. This topic is addressed here via a new model-free control setting, where the need of any mathematical description disappears. Several convincing computer simulations are presented. Comparisons with classic...
Traditional textual programming languages are poorly readable and difficult to learn, creating significant hurdles for practitioners of industry (such as electromechanical engineers). However, Graphical Programming Language (GPL), using graphical symbols to construct programs, is becoming increasingly popular as it is intuitive and easy to learn. They have been implemented in many specific areas (such...
The paper provides the mathematical model describing the movement of different kinds of avalanche snow mass and its interaction with obstacles based on the modified method of particle dynamics. Further, the authors introduce their algorithm to calculate avalanche impact on buildings and structures; this algorithm underlies a computer program that allows you to set the basic parameters of a building,...
The study of Information and Communication Technology applications in construction industry have developed greatly for computer programming and management strategies. As a response to the increasing challenges of construction projects, extensive researches have brought about numerous ICT tools such as Building Information Modelling tools, Lean Construction and Lean Design tools, and Integrated Project...
A multi-level infrastructure management system, which uses the results of the simulation to solve the problem of decision-making, is considered. A feature of the proposed approach is the development of a set of situational models for various scenarios for the emergence and development of a critical situation.
While formal mathematical reasoning is the cornerstone of computer science, undergraduates often fail to appreciate the value of mathematical proof in their studies. To alleviate this problem, we propose a novel pedagogy uniting logical reasoning with proofs of program correctness along with a proof assistant, ORC2A, that helps students author proofs in this domain. One of the defining features of...
The shielding performance of a metallic building located close to a telecommunication tower hit by lightning is investigated. Two models of lightning strike are adopted for the shielding analysis. The first model includes the current distribution along the lightning channel while the second model is a surge current injected into the top of tower only. For each model the performance is evaluated both...
This qualitative study describes and models reputation motivation of Knowledge Sharing (KS) among academicians at a Malaysian public academic institution. A single case study approach was adopted to gather more meaningful insights on factors involved in building reputation motivation for KS. Data were collected from fifteen professors and associate professors through face-to-face interviews over a...
The paper considers the constructing issue of ontology for the GMDH-based inductive modeling domain. It examines the main components of the GMDH algorithms in terms of their synthesis for designing the domain ontology. Such ontology significantly expands opportunities for construction of inductive modeling tools for model building and forecast of complex processes of different nature.
In our research, a 3D terrain model is automatically generated from key contour polygons by straight skeleton computation. Based on key contours given elevation, the faces connecting key contours are automatically formed, and thus 3D terrain models are automatically created. The proposed system performs physical simulations, using a more realistic environment, such as an automatically generated 3D...
This paper presents a new model-free control (MFC) mechanism that enables the local distribution level circuit consumption of the photovoltaic (PV) generation by local building loads, in particular, distributed heating, ventilation and air conditioning (HVAC) units. The local consumption of PV generation will help minimize the impact of PV generation on the distribution grid, reduce the required battery...
In this paper we present a model for procedurally generating virtual settlements populated with roads, land parcels and buildings. Our model improves on existing research by considering historical influence on settlement growth. To do this, an interactive time-line is used, allowing for a designer to specify a number of architectural periods. These architectural periods are then used in the generation...
The emerging of BIM (Building Information Modeling) techniques will change traditional procedures of design and maintenance for electric substations. In addition, Computational Holography, supported by wearable computers, has the potential to allow simultaneous engineering work, based on mixed reality and computer vision capabilities. It is believed that this set of tools will increase engineering...
This paper presents a visual comfort considered light control method for energy savings in open-plan office and investigates its performance. Simulation and pilot testing results show that more than 60% energy savings could be achieved while providing recommended visual comfort level for each user. Since the proposed algorithm saves energy significantly compared to the previous light control policies...
Presence detection is used in occupancy control to dynamically adjust energy-related appliances in smart building applications. Yet, practical applications typically suffer from high sensor unreliability. We propose a computationally efficient approach, based on Hidden Markov Models, to fuse sensor observations from multiple sensors to better estimate user state (presence/absence). Our model considers...
Building recognition from images is a challenging task since pictures can be taken from different angles and under different illumination conditions. Most of the building recognition methods use local and global handcrafted image features and do not consider the rejection scenario, where the method have to be capable of identifying if a given image does not belong to any of the classes of interest...
The wide availability of GPS-enabled devices has fueled the development of location-based applications. Among the most popular are navigation applications that guide users along their way. Due to the limited availability and precision of GPS in typical indoor environments, most navigation applications are limited to outdoor scenarios. To mitigate this, researchers and practitioners have been developing...
The consequences due to lightning on different building shapes needs a comprehensive knowledge in order to provide the information to the common man. This paper is mainly concern with the development of a small scale model to study impulse flashover and attachment pattern of protected building structures due to lightning strike. The lightning strike pattern of buildings is based on the practical experimental...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.