EXAM-S: an Analysis tool for Multi-Domain Policy Sets

As distributed collaborative applications and architectures are adopting policy based management for tasks such as access control, network security and data privacy, the management and consolidation of a large number of policies is becoming a crucial component of such policy based systems. In large-scale distributed collaborative applications like web services, there is the need of analyzing policy interactions and integrating policies. In this thesis, we propose and implement EXAM-S, a comprehensive environment for policy analysis and management, which can be used to perform a variety of functions such as policy property analyses, policy similarity analysis, policy integration etc. As part of this environment, we have proposed and implemented new techniques for the analysis of policies that rely on a deep study of state of the art techniques. Moreover, we propose an approach for solving heterogeneity problems that usually arise when considering the analysis of policies belonging to different domains. Our work focuses on analysis of access control policies written in the dialect of XACML (Extensible Access Control Markup Language). We consider XACML policies because XACML is a rich language which can represent many policies of interest to real world applications and is gaining widespread adoption in the industry.

Integrazione della riduzione della mobilità respiratoria nel trattamento radiante esterno conformazionale

Several methods to reduce respiratory-induced motion have been described in literature, with the goal of increasing accuracy of treatment to minimize normal tissue toxicity or increase dose to the target volume. We analyzed two different techniques of respiratory gating: the deep inspiration breath hold technique and the respiratory gating using the Real-time Position Management (RPM) system. The first method is a self-gating technique in which radiation treatment take place during a phase of breath-holding. The second technique use a reflective marker placed on the patient’s anterior surface. The motion of the marker is tracked using a camera interfaced to a computer. The gating thresholds are set when the tumor is in the desired portion of the respiratory cycle. These thresholds determine when the gating system turns the treatment beam on and off. We compared both techniques with a standard external radiation treatment. The dosimetric analysis has led to considerable advantage of these methods compared to the external radiation treatment, particularly in reducing the dose to the lung.

Microwave and millimeter-wave spectroscopy of sulfur-containing molecules

The rotational spectroscopy of several sulfur bearing molecules and their 1:1 water complex, cysteamine, cysteamine monohydrate, 1-thioglycerol and 1-propanethiol were studied in the micro-wave and (or) millimeter-wave range. Precise laboratory spectra and conformational information were obtained. For cysteamine, the conformational space (at the B3LYP-GD3(BJ)/Def2-TZVP level) and the measurement and analysis of its rotational spectra in the 6 - 18 and 59.6 - 120 GHz are reported. The hyperfine structure of the rotational spectra was observed and analyzed for the first time. Based on the measured spectra, a search of the different conformers of cysteamine was performed toward the G+0.693-0.027 molecular cloud. We computed the upper limit of the ratio of ethanolamine to cysteamine, which is >0.8−5.3. For the cysteamine monohydrate, the conformational space was explored (at the B3LYP-GD3(BJ)/Def2-TZVP level). The rotational spectra of the cysteamine monohydrate complex have been assigned in the frequency range 6 – 18.5 GHz. The global minimum, Conf A1, was the only observed one. The 34S isotopologue of Conf A1 was observed in natural abundance, while 18O isotopologue was detected by introducing the H218O. In this conformer, the water molecule plays both proton donor and acceptor roles, forming a OHw···N interaction, a SH···Ow interaction and a CH···Ow interaction. The conformational space of 1-thioglycerol has been characterized by quantum mechanical calculation and its rotational spectrum has been recorded and analyzed in the frequency range 59.6 - 78.4 GHz. The global minimum of 1-thioglycerol is gTg’Gg’ and were detected together with gTg’Tg and gGgG’g, while the two detected conformers are g’G’gGg’ and tGgGg. The high-resolution rotational spectrum of 1-propanethiol in the frequency range 59.6 – 78.4 GHz was measured. Two conformers, Gg and Tg, were observed and their spectra were analyzed. Considering the overall conformational space calculated at the B3LYP-GD3(BJ)/Def2-TZVP level they are among the lowest energy conformers.

Development and Validation of a Model-Based Combustion Controller for Water Injection Management

This manuscript reports the overall development of a Ph.D. research project during the “Mechanics and advanced engineering sciences” course at the Department of Industrial Engineering of the University of Bologna. The project is focused on the development of a combustion control system for an innovative Spark Ignited engine layout. In details, the controller is oriented to manage a prototypal engine equipped with a Port Water Injection system. The water injection technology allows an increment of combustion efficiency due to the knock mitigation effect that permits to keep the combustion phasing closer to the optimal position with respect to the traditional layout. At the beginning of the project, the effects and the possible benefits achievable by water injection have been investigated by a focused experimental campaign. Then the data obtained by combustion analysis have been processed to design a control-oriented combustion model. The model identifies the correlation between Spark Advance, combustion phasing and injected water mass, and two different strategies are presented, both based on an analytic and semi-empirical approach and therefore compatible with a real-time application. The model has been implemented in a combustion controller that manages water injection to reach the best achievable combustion efficiency while keeping knock levels under a pre-established threshold. Three different versions of the algorithm are described in detail. This controller has been designed and pre-calibrated in a software-in-the-loop environment and later an experimental validation has been performed with a rapid control prototyping approach to highlight the performance of the system on real set-up. To further make the strategy implementable on an onboard application, an estimation algorithm of combustion phasing, necessary for the controller, has been developed during the last phase of the PhD Course, based on accelerometric signals.