The usefulness of building information modeling (BIM) for facilities management, although widely demonstrated, has not been extended to use management in university spaces. In public facilities with free access, it is uncommon to be able to check the availability of seats, which causes capacity problems. In addition, while several studies show that the use of BIM makes the graphic communication of useful information about buildings more attractive and intuitive for its users, there are still challenges regarding how to make it accessible to the public, taking into account their preferences. The purpose of this study is to demonstrate the benefits of implementing BIM in a real-time seat occupancy management system to enable reservations tailored to the user’s needs by offering various means of consulting model information. The research method focuses on the utility model designed for a university library in Malaga, Spain. The results, based on data obtained from a survey, indicate that users positively assessed the quality of the information offered, showed great interest in its use, and also considered it comparatively superior to other reservation systems used. The Results and Discussion and Conclusions sections also show the potential of the system to control social distancing and energy expenditure.

<abstract><p>Mobile devices provide us with an important source of data that capture spatial movements of individuals and allow us to derive general mobility patterns for a population over time. In this article, we present a mathematical foundation that allows us to harmonize mobile geolocation data using differential geometry and graph theory to identify spatial behavior patterns. In particular, we focus on models programmed using Computer Algebra Systems and based on a space-time model that allows for describing the patterns of contagion through spatial movement patterns. In addition, we show how the approach can be used to develop algorithms for finding "patient zero" or, respectively, for identifying the selection of candidates that are most likely to be contagious. The approach can be applied by information systems to evaluate data on complex population movements, such as those captured by mobile geolocation data, in a way that analytically identifies, e.g., critical spatial areas, critical temporal segments, and potentially vulnerable individuals with respect to contact events.</p></abstract>

In recent years, intensive work has been carried out to achieve maximum energy production in photovoltaic power plants. Today, this challenge has to be solved for arrays of solar panels that move with the object on which they are installed (vehicles, trucks, ships, etc.). The present work tries to find the best solution for both constant voltage systems and for cases of maximum intensity. Once found, these solutions will be applied in real time for the dynamic recharging of battery packs, trying to achieve energetically autonomous vehicles.To solve these situations, a new computational method of voltage and amperage calculation has been developed in this paper, based on Dijkstra&rsquo;s minimum path finding algorithm on graph theory, adapted to electrical circuits. For this purpose, panel performance analysis sensors, developed at the University of Malaga, have been combined with different electronic solutions (wifi relay devices using esp8266 or similar chips) achieving an accurate and sufficiently fast solution at very low cost. With this, series or parallel configurations can be carried out depending on the type of energy generation sought. The theoretical solutions using Minkowski paths, achieved in the past, have been simulated and subsequently constructed in this article, indicating the diagrams necessary for their realisation.

Urban transport systems play a major role in the development of today’s societies, but they require technological changes to reduce their environmental impact. The problem lies in their level of autonomy, which is why electrical energy production systems are proposed for self-consumption, efficiently feeding their accumulators. As the energy provided by photovoltaic installations has lower recharge speeds, conventional systems with high transfer amperage and higher voltage are required. For this reason, solar installations are used for additional services and to support their autonomy. The present work tries to find the best solution for both constant voltage and peak current systems. Once found, these solutions will be applied in real time for the dynamic recharging of battery packs, trying to achieve vehicles that are progressively more energetically autonomous. To solve these situations, a new computational method for calculating voltage and amperage has been developed in this work, based on Dijkstra’s minimum path search algorithm on graph theory, adapted to electrical circuits. Once this algorithm has been established, the panel performance analysis sensors, developed at the University of Malaga, are combined with different electronic solutions described in this article (Wi-Fi relay devices using esp8266 chips or feeding these relays through panels and establishing the voltage drop to switch the connection), achieving precise and sufficiently fast solutions at very low cost. Both series and parallel transitions are possible, depending on the type of energy generation required. The theoretical solutions using Minkowski paths, analyzed in the past, have been simulated and subsequently constructed in this paper, indicating the diagrams necessary for their realization.

The current high energy prices pose a serious challenge, especially in the domestic economy. In this respect, one of the main problems is obtaining domestic hot water. For this reason, this article develops a heating system applied to a conventional water tank in such a way as to minimize the necessary energy supply by converting it, under certain circumstances, into atmospheric. For this purpose, the domotic system has been equipped with sensors that automate the pressurization of the compartment and solenoid valves that regulate the external water supply. This design, to which different level sensors are applied, sends the information in real time to an artificial intelligence system, by means of deductive control, which recognizes the states of the system. This work shows the introduction of an extension of propositional dynamic logic in the field of energy efficiency. Thanks to this formalism, a qualitative control of the program variables is achieved by incorporating qualitative reasoning tools. On the other hand, it solves preventive maintenance systems through the early detection of faults in the installation. This research has led to the patenting of an intelligent domestic hot water system that considerably reduces energy consumption by setting disjointed heating intervals that, powered by renewable or non-renewable sources, are controlled by a propositional dynamic logic.