Constraint-Informed Information Systems in Space Management Utilization

Declarative techniques such as Constraint Programming can be very effective in modeling and assisting management decisions. We present a method for managing university classrooms which extends the previous design of a Constraint-Informed Information System to generate the timetables while dealing with spatial resource optimization issues. We seek to maximize space utilization along two dimensions: classroom use and occupancy rates. While we want to maximize the room use rate, we still need to satisfy the soft constraints which model students’ and lecturers’ preferences. We present a constraint logic programming-based local search method which relies on an evaluation function that combines room utilization and timetable soft preferences. Based on this, we developed a tool which we applied to the improvement of classroom allocation in a University. Comparing the results to the current timetables obtained without optimizing space utilization, the initial versions of our tool manages to reach a 30% improvement in space utilization, while preserving the quality of the timetable, both for students and lecturers.

Assessment of PV Systems Performance in the Madeira Island Using Typical Meteorological Year Data

This paper focus on the development of an algorithm using Matlab to generate Typical Meteorological Years from weather data of eight locations in the Madeira Island and to predict the energy generation of photovoltaic systems based on solar cells modelling. Solar cells model includes the effect of ambient temperature and wind speed. The analysis of the PV system performance is carried out through the Weather Corrected Performance Ratio and the PV system yield for the entire island is estimated using spatial interpolation tools.

Above ground biomass functions with vegetation indices for multiple use systems of two evergreen oaks

Remote sensing is a promising approach for above ground biomass estimation, as forest parameters can be obtained indirectly. The analysis in space and time is quite straight forward due to the flexibility of the method to determine forest crown parameters with remote sensing. It can be used to evaluate and monitoring for example the development of a forest area in time and the impact of disturbances, such as silvicultural practices or deforestation. The vegetation indices, which condense data in a quantitative numeric manner, have been used to estimate several forest parameters, such as the volume, basal area and above ground biomass. The objective of this study was the development of allometric functions to estimate above ground biomass using vegetation indices as independent variables. The vegetation indices used were the Normalized Difference Vegetation Index (NDVI), Enhanced Vegetation Index (EVI), Simple Ratio (SR) and Soil-Adjusted Vegetation Index (SAVI). QuickBird satellite data, with 0.70 m of spatial resolution, was orthorectified, geometrically and atmospheric corrected, and the digital number were converted to top of atmosphere reflectance (ToA). Forest inventory data and published allometric functions at tree level were used to estimate above ground biomass per plot. Linear functions were fitted for the monospecies and multispecies stands of two evergreen oaks (Quercus suber and Quercus rotundifolia) in multiple use systems, montados. The allometric above ground biomass functions were fitted considering the mean and the median of each vegetation index per grid as independent variable. Species composition as a dummy variable was also considered as an independent variable. The linear functions with better performance are those with mean NDVI or mean SR as independent variable. Noteworthy is that the two better functions for monospecies cork oak stands have median NDVI or median SR as independent variable. When species composition dummy variables are included in the function (with stepwise regression) the best model has median NDVI as independent variable. The vegetation indices with the worse model performance were EVI and SAVI.

Evaluation of DUALEM, OptRx and Grassmaster II sensors for monitoring the spatial variability and the temporal stability of a Mediterranean pasture

Site-specific management (SSM) is a form of precision agriculture whereby decisions on resource application and agronomic practices are improved to better match soil and crop requirements as they vary in the field. SSM enables the identification of regions (homogeneous management zones) within the area delimited by field boundaries. These subfield regions constitute areas that have similar permanent characteristics. Traditional soil and pasture sampling and the necessary laboratory analysis are time-consuming, labour-intensive and cost prohibitive, not viable from a SSM perspective because it needs a large number of soil and pasture samples in order to achieve a good representation of soil properties, nutrient levels and pasture quality and productivity. The main objective of this work was to evaluate technologies which have potential for monitoring aspects related to spatial and temporal variability of soil nutrients and pasture green and dry matter yield (respectively, GM and DM, in kg/ha) and support to decision making for the farmer. Three types of sensors were evaluated in a 7ha pasture experimental field: an electromagnetic induction sensor (“DUALEM 1S”, which measures the soil apparent electrical conductivity, ECa), an active optical sensor ("OptRx®", which measures the NDVI, “Normalized Difference Vegetation Index”) and a capacitance probe ("GrassMaster II" which estimates plant mass). The results indicate the possibility of using a soil electrical conductivity probe as, probably, the best tool for monitoring not only some of the characteristics of the soil, but also those of the pasture, which could represent an important help in simplifying the process of sampling and support SSM decision making, in precision agriculture projects. On the other hand, the significant and very strong correlations obtained between capacitance and NDVI and between any of these parameters and the pasture productivity shows the potential of these tools for monitoring the evolution of spatial and temporal patterns of the vegetative growth of biodiverse pasture, for identifying different plant species and variability in pasture yield in Alentejo dry-land farming systems. These results are relevant for the selection of an adequate sensing system for a particular application and open new perspectives for other works that would allow the testing, calibration and validation of the sensors in a wider range of pasture production conditions, namely the extraordinary diversity of botanical species that are characteristic of the Mediterranean region at the different periods of the year.

Spatial and temporal downscaling of solar global radiation and mean air temperature from weather forecast data - an introductory numerical study and validation

This short paper presents a numerical method for spatial and temporal downscaling of solar global radiation and mean air temperature data from global weather forecast models and its validation. The final objective is to develop a prediction algorithm to be integrated in energy management models and forecast of energy harvesting in solar thermal systems of medium/low temperature. Initially, hourly prediction and measurement data of solar global radiation and mean air temperature were obtained, being then numerically downscaled to half-hourly prediction values for the location where measurements were taken. The differences between predictions and measurements were analyzed for more than one year of data of mean air temperature and solar global radiation on clear sky days, resulting in relative daily deviations of around -0.9±3.8% and 0.02±3.92%, respectively.

Assessment of environment, land management, and spatial variables on recent changes in montado land cover in southern Portugal

Montado decline has been reported since the end of the nineteenth century in southern Portugal and increased markedly during the 1980s. Consensual reports in the literature suggest that this decline is due to a number of factors, such as environmental constraints, forest diseases, inappropriate management, and socioeconomic issues. An assessment on the pattern of montado distribution was conducted to reveal how the extent of land management, environmental variables, and spatial factors contributed to montado area loss in southern Portugal from 1990 to 2006. A total of 14 independent variables, presumably related to montado loss, were grouped into three sets: environmental variables, land management variables, and spatial variables. From 1990 to 2006, approximately 90,054 ha disappeared in the montado area, with an estimated annual regression rate of 0.14 % year-1. Variation partitioning showed that the land management model accounted for the highest percentage of explained variance (51.8 %), followed by spatial factors (44.6 %) and environmental factors (35.5 %). These results indicate that most variance in the large-scale distribution of recent montado loss is due to land management, either alone or in combination with environmental and spatial factors. The full GAM model showed that different livestock grazing is one of the most important variables affecting montado loss. This suggests that optimum carrying capacity should decrease to 0.18–0.60 LU ha-1 for livestock grazing in montado under current ecological conditions in southern Portugal.

Physical soil attributes of Conilon coffee (Coffea canephora) under organic and conventional management systems.

Coffea sp. is cultivated in large areas, using both conventional and organic management. However, information about the sustainability of these two management systems is still deficient. The objective of the present study was to evaluate the physical properties of soil cultivated with Conilon coffee (C. canephora) under organic and conventional management. Two areas cultivated with Conilon coffee (under organic and conventional management) and a fragment of Atlantic forest, used as a reference, were selected for the experiment. Soil granulometry, hydraulic conductivity, water retention curve, resistance to penetration, porosity, optimal hydric interval, and other physical characteristics were measured at depths of 0 to 10 and 10 to 20 cm. The data was submitted to multivariate and descriptive statistical analyses. Higher similarity was observed between the soil cultivated with Conilon coffee under organic management and the Atlantic forest soil. Soil resistance to penetration at 10, 30, 100, 500 and 1500 kPa, macro porosity, density and total porosity were the main physical properties that differentiated both management systems studied. The non-use of agricultural machinery and the addition of organic matter may be the main reasons for higher soil sustainability observed under organic management when compared with the conventional system.

Distributed non-cooperative robust economic predictive control for dynamically coupled linear systems.

In this thesis, a tube-based Distributed Economic Predictive Control (DEPC) scheme is presented for a group of dynamically coupled linear subsystems. These subsystems are components of a large scale system and control inputs are computed based on optimizing a local economic objective. Each subsystem is interacting with its neighbors by sending its future reference trajectory, at each sampling time. It solves a local optimization problem in parallel, based on the received future reference trajectories of the other subsystems. To ensure recursive feasibility and a performance bound, each subsystem is constrained to not deviate too much from its communicated reference trajectory. This difference between the plan trajectory and the communicated one is interpreted as a disturbance on the local level. Then, to ensure the satisfaction of both state and input constraints, they are tightened by considering explicitly the effect of these local disturbances. The proposed approach averages over all possible disturbances, handles tightened state and input constraints, while satisfies the compatibility constraints to guarantee that the actual trajectory lies within a certain bound in the neighborhood of the reference one. Each subsystem is optimizing a local arbitrary economic objective function in parallel while considering a local terminal constraint to guarantee recursive feasibility. In this framework, economic performance guarantees for a tube-based distributed predictive control (DPC) scheme are developed rigorously. It is presented that the closed-loop nominal subsystem has a robust average performance bound locally which is no worse than that of a local robust steady state. Since a robust algorithm is applying on the states of the real (with disturbances) subsystems, this bound can be interpreted as an average performance result for the real closed-loop system. To this end, we present our outcomes on local and global performance, illustrated by a numerical example.

Monitoring and Prediction of Thermal Emergencies in High Performance Computing Systems

Modern scientific discoveries are driven by an unsatisfiable demand for computational resources. High-Performance Computing (HPC) systems are an aggregation of computing power to deliver considerably higher performance than one typical desktop computer can provide, to solve large problems in science, engineering, or business. An HPC room in the datacenter is a complex controlled environment that hosts thousands of computing nodes that consume electrical power in the range of megawatts, which gets completely transformed into heat. Although a datacenter contains sophisticated cooling systems, our studies indicate quantitative evidence of thermal bottlenecks in real-life production workload, showing the presence of significant spatial and temporal thermal and power heterogeneity. Therefore minor thermal issues/anomalies can potentially start a chain of events that leads to an unbalance between the amount of heat generated by the computing nodes and the heat removed by the cooling system originating thermal hazards. Although thermal anomalies are rare events, anomaly detection/prediction in time is vital to avoid IT and facility equipment damage and outage of the datacenter, with severe societal and business losses. For this reason, automated approaches to detect thermal anomalies in datacenters have considerable potential. This thesis analyzed and characterized the power and thermal characteristics of a Tier0 datacenter (CINECA) during production and under abnormal thermal conditions. Then, a Deep Learning (DL)-powered thermal hazard prediction framework is proposed. The proposed models are validated against real thermal hazard events reported for the studied HPC cluster while in production. This thesis is the first empirical study of thermal anomaly detection and prediction techniques of a real large-scale HPC system to the best of my knowledge. For this thesis, I used a large-scale dataset, monitoring data of tens of thousands of sensors for around 24 months with a data collection rate of around 20 seconds.

Robust Adaptive Control with Applications to Multi-Agent Systems and Mobile Robotics

This thesis deals with robust adaptive control and its applications, and it is divided into three main parts. The first part is about the design of robust estimation algorithms based on recursive least squares. First, we present an estimator for the frequencies of biased multi-harmonic signals, and then an algorithm for distributed estimation of an unknown parameter over a network of adaptive agents. In the second part of this thesis, we consider a cooperative control problem over uncertain networks of linear systems and Kuramoto systems, in which the agents have to track the reference generated by a leader exosystem. Since the reference signal is not available to each network node, novel distributed observers are designed so as to reconstruct the reference signal locally for each agent, and therefore decentralizing the problem. In the third and final part of this thesis, we consider robust estimation tasks for mobile robotics applications. In particular, we first consider the problem of slip estimation for agricultural tracked vehicles. Then, we consider a search and rescue application in which we need to drive an unmanned aerial vehicle as close as possible to the unknown (and to be estimated) position of a victim, who is buried under the snow after an avalanche event. In this thesis, robustness is intended as an input-to-state stability property of the proposed identifiers (sometimes referred to as adaptive laws), with respect to additive disturbances, and relative to a steady-state trajectory that is associated with a correct estimation of the unknown parameter to be found.

Multidisciplinary approach to horse welfare in different management systems

From its domestication until nowadays, the horse has assumed multiple roles in human society. Over time, this condition and the lack of specific regulation have led to the development of different kinds of management systems for this species. This Ph.D. research project aims to investigate horses' welfare in different management practices and housing systems, considering a multidisciplinary approach, taking into account biological function, naturalness, and affective dimension. The results are presented in five articles that evidence risk factors that can mine horse welfare, and examine tools and parameters that can be employed for its assessment. Our research shows the importance of considering the evolutionary history and the species-specific and behavioural needs of horses in their management and housing. Sociality, free movement, diet composition and foraging routine, and the workload that these animals undergo are important factors that should be taken into account. Furthermore, this research has evidenced the importance of employing different parameters (e.g., behaviour, endocrinological parameters, and immune activity) in welfare assessment and proposes the use of horsehair DHEA (dehydroepiandrosterone) as a possible useful additional non-invasive measure for the investigation of long-term stress conditions. Finally, our results underline the importance of considering the affective dimension in welfare research. Recently, Judgement Bias Tests (JBT), which are based on the influence of affective states on the decision-making process, have been widely employed in animal welfare research. However, our studies show that the use of spatial JBT in horses can have some limitations. Still today several management systems do not fulfill species-specific needs of horses, thus the implementation of specific regulations could ameliorate horse welfare. A multidisciplinary approach to welfare assessment is fundamental, but it should be always remembered the individual and its own characteristics, which can influence not only physiological, immunological, and behavioural responses but also emotional and cognitive dimensions.

In-car sound linear simulation

In recent years, vehicle acoustics have gained significant importance in new car development: increasingly advanced infotainment systems for spatial audio and sound enhancement algorithms have become the norm in modern vehicles. In the past, car manufacturers had to build numerous prototypes to study the sound behaviour inside the car cabin or the effect of new algorithms under development. Nowadays, advanced simulation techniques can reduce development costs and time. In this work, after selecting the reference test vehicle, a modern luxury sedan equipped with a high-end sound system, two independent tools were developed: a simulation tool created in the Comsol Multiphysics environment and an auralization tool developed in the Cycling ‘74 MAX environment. The simulation tool can calculate the impulse response and acoustic spectrum at a specific position inside the cockpit. Its input data are the vehicle’s geometry, acoustic absorption parameters of materials, the acoustic characteristics and position of loudspeakers, and the type and position of virtual microphones (or microphone arrays). The simulation tool can also provide binaural impulse responses thanks to Head Related Transfer Functions (HRTFs) and an innovative algorithm able to compute the HRTF at any distance and angle from the head. Impulse responses from simulations or acoustic measurements inside the car cabin are processed and fed into the auralization tool, enabling real-time interaction by applying filters, changing the channels gain or displaying the acoustic spectrum. Since the acoustic simulation of a vehicle involves multiple topics, the focus of this work has not only been the development of two tools but also the study and application of new techniques for acoustic characterization of the materials that compose the cockpit and the loudspeaker simulation. Specifically, three different methods have been applied for material characterization through the use of a pressure-velocity probe, a Laser Doppler Vibrometer (LDV), and a microphone array.

A framework for the environmental risk assessment of offshore carbon storage in CCS systems

Carbon capture and storage (CCS) represents an interesting climate mitigation option, however, as for any other human activity, there is the impelling need to assess and manage the associated risks. This study specifically addresses the marine environmental risk posed by CO2 leakages associated to CCS subsea engineering system, meant as offshore pipelines and injection / plugged and abandoned wells. The aim of this thesis work is to start approaching the development of a complete and standardized practical procedure to perform a quantified environmental risk assessment for CCS, with reference to the specific activities mentioned above. Such an effort would be of extreme relevance not only for companies willing to implement CCS, as a methodological guidance, but also, by uniformizing the ERA procedure, to begin changing people’s perception about CCS, that happens to be often discredited due to the evident lack of comprehensive and systematic methods to assess the impacts on the marine environment. The backbone structure of the framework developed consists on the integration of ERA’s main steps and those belonging to the quantified risk assessment (QRA), in the aim of quantitatively characterizing risk and describing it as a combination of magnitude of the consequences and their frequency. The framework developed by this work is, however, at a high level, as not every single aspect has been dealt with in the required detail. Thus, several alternative options are presented to be considered for use depending on the situation. Further specific studies should address their accuracy and efficiency and solve the knowledge gaps emerged, in order to establish and validate a final and complete procedure. Regardless of the knowledge gaps and uncertainties, that surely need to be addressed, this preliminary framework already finds some relevance in on field applications, as a non-stringent guidance to perform CCS ERA, and it constitutes the foundation of the final framework.

Neural Machine Translation in the Field of Law. Analysis and Evaluation against Human Reference of NMT Raw Outputs of an Atto Costitutivo of S.r.l. from Italian into German.

Artificial Intelligence (AI) is gaining ever more ground in every sphere of human life, to the point that it is now even used to pass sentences in courts. The use of AI in the field of Law is however deemed quite controversial, as it could provide more objectivity yet entail an abuse of power as well, given that bias in algorithms behind AI may cause lack of accuracy. As a product of AI, machine translation is being increasingly used in the field of Law too in order to translate laws, judgements, contracts, etc. between different languages and different legal systems. In the legal setting of Company Law, accuracy of the content and suitability of terminology play a crucial role within a translation task, as any addition or omission of content or mistranslation of terms could entail legal consequences for companies. The purpose of the present study is to first assess which neural machine translation system between DeepL and ModernMT produces a more suitable translation from Italian into German of the atto costitutivo of an Italian s.r.l. in terms of accuracy of the content and correctness of terminology, and then to assess which translation proves to be closer to a human reference translation. In order to achieve the above-mentioned aims, two human and automatic evaluations are carried out based on the MQM taxonomy and the BLEU metric. Results of both evaluations show an overall better performance delivered by ModernMT in terms of content accuracy, suitability of terminology, and closeness to a human translation. As emerged from the MQM-based evaluation, its accuracy and terminology errors account for just 8.43% (as opposed to DeepL’s 9.22%), while it obtains an overall BLEU score of 29.14 (against DeepL’s 27.02). The overall performances however show that machines still face barriers in overcoming semantic complexity, tackling polysemy, and choosing domain-specific terminology, which suggests that the discrepancy with human translation may still be remarkable.

A Microleakage Study Of Gutta-percha/ah Plus And Resilon/real Self-etch Systems After Different Irrigation Protocols.

The development and maintenance of the sealing of the root canal system is the key to the success of root canal treatment. The resin-based adhesive material has the potential to reduce the microleakage of the root canal because of its adhesive properties and penetration into dentinal walls. Moreover, the irrigation protocols may have an influence on the adhesiveness of resin-based sealers to root dentin. The objective of the present study was to evaluate the effect of different irrigant protocols on coronal bacterial microleakage of gutta-percha/AH Plus and Resilon/Real Seal Self-etch systems. One hundred ninety pre-molars were used. The teeth were divided into 18 experimental groups according to the irrigation protocols and filling materials used. The protocols used were: distilled water; sodium hypochlorite (NaOCl)+eDTA; NaOCl+H3PO4; NaOCl+eDTA+chlorhexidine (CHX); NaOCl+H3PO4+CHX; CHX+eDTA; CHX+ H3PO4; CHX+eDTA+CHX and CHX+H3PO4+CHX. Gutta-percha/AH Plus or Resilon/Real Seal Se were used as root-filling materials. The coronal microleakage was evaluated for 90 days against Enterococcus faecalis. Data were statistically analyzed using Kaplan-Meier survival test, Kruskal-Wallis and Mann-Whitney tests. No significant difference was verified in the groups using chlorhexidine or sodium hypochlorite during the chemo-mechanical preparation followed by eDTA or phosphoric acid for smear layer removal. The same results were found for filling materials. However, the statistical analyses revealed that a final flush with 2% chlorhexidine reduced significantly the coronal microleakage. A final flush with 2% chlorhexidine after smear layer removal reduces coronal microleakage of teeth filled with gutta-percha/AH Plus or Resilon/Real Seal SE.