University of Trento

About: University of Trento is a education organization based out in Trento, Italy. It is known for research contribution in the topics: Population & Large Hadron Collider. The organization has 10527 authors who have published 30978 publications receiving 896614 citations. The organization is also known as: Universitá degli Studi di Trento & Universita degli Studi di Trento.

Contracts for System Design

Abstract: Recently, contract-based design has been proposed as an “orthogonal” approach that complements system design methodologies proposed so far to cope with the complexity of system design. Contract-based design provides a rigorous scaffolding for verification, analysis, abstraction/refinement, and even synthesis. A number of results have been obtained in this domain but a unified treatment of the topic that can help put contract-based design in perspective was missing. This monograph intends to provide such a treatment where contracts are precisely defined and characterized so that they can be used in design methodologies with no ambiguity. In particular, this monograph identifies the essence of complex system design using contracts through a mathematical “meta-theory”, where all the properties of the methodology are derived from a very abstract and generic notion of contract. We show that the meta-theory provides deep and illuminating links with existing contract and interface theories, as well as guidelines for designing new theories. Our study encompasses contracts for both software and systems, with emphasis on the latter. We illustrate the use of contracts with two examples: requirement engineering for a parking garage management, and the development of contracts for timing and scheduling in the context of the AUTOSAR methodology in use in the automotive sector.

Architected cellular materials: A review on their mechanical properties towards fatigue-tolerant design and fabrication

Abstract: Additive manufacturing of industrially-relevant high-performance parts and products is today a reality, especially for metal additive manufacturing technologies. The design complexity that is now possible makes it particularly useful to improve product performance in a variety of applications. Metal additive manufacturing is especially well matured and is being used for production of end-use mission-critical parts. The next level of this development includes the use of intentionally designed porous metals - architected cellular or lattice structures. Cellular structures can be designed or tailored for specific mechanical or other performance characteristics and have numerous advantages due to their large surface area, low mass, regular repeated structure and open interconnected pore spaces. This is considered particularly useful for medical implants and for lightweight automotive and aerospace components, which are the main industry drivers at present. Architected cellular structures behave similar to open cell foams, which have found many other industrial applications to date, such as sandwich panels for impact absorption, radiators for thermal management, filters or catalyst materials, sound insulation, amongst others. The advantage of additively manufactured cellular structures is the precise control of the micro-architecture which becomes possible. The huge potential of these porous architected cellular materials manufactured by additive manufacturing is currently limited by concerns over their structural integrity. This is a valid concern, when considering the complexity of the manufacturing process, and the only recent maturation of metal additive manufacturing technologies. Many potential manufacturing errors can occur, which have so far resulted in a widely disparate set of results in the literature for these types of structures, with especially poor fatigue properties often found. These have improved over the years, matching the maturation and improvement of the metal additive manufacturing processes. As the causes of errors and effects of these on mechanical properties are now better understood, many of the underlying issues can be removed or mitigated. This makes additively manufactured cellular structures a highly valid option for disruptive new and improved industrial products. This review paper discusses the progress to date in the improvement of the fatigue performance of cellular structures manufactured by additive manufacturing, especially metal-based, providing insights and a glimpse to the future for fatigue-tolerant additively manufactured architected cellular materials.

Hyperon puzzle: hints from quantum Monte Carlo calculations.

Abstract: The onset of hyperons in the core of neutron stars and the consequent softening of the equation of state have been questioned for a long time. Controversial theoretical predictions and recent astrophysical observations of neutron stars are the grounds for the so-called hyperon puzzle. We calculate the equation of state and the neutron star mass-radius relation of an infinite systems of neutrons and $\mathrm{\ensuremath{\Lambda}}$ particles by using the auxiliary field diffusion Monte Carlo algorithm. We find that the three-body hyperon-nucleon interaction plays a fundamental role in the softening of the equation of state and for the consequent reduction of the predicted maximum mass. We have considered two different models of three-body force that successfully describe the binding energy of medium mass hypernuclei. Our results indicate that they give dramatically different results on the maximum mass of neutron stars, not necessarily incompatible with the recent observation of very massive neutron stars. We conclude that stronger constraints on the hyperon-neutron force are necessary in order to properly assess the role of hyperons in neutron stars.

Energy calibration and resolution of the CMS electromagnetic calorimeter in pp collisions at √s = 7 TeV

Abstract: The article is the pre-print version of the final publishing paper that is available from the link below.