Central collisions in 58Ni + 48Ca system with CHIMERA at 25AMeV

The central collisions of 58Ni + 48Ca reactions at Elab(Ni) = 25AMeV, have been studied using the CHIMERA 4π array, in order to investigate the competition between different reaction mechanisms. To select central collisions, the kinetic energy tensor and the “flow angle” in an event-by-event analysis are used. The main features of the reaction products have been studied and some global observable and their correlations, capable to characterize the pattern of central collisions, are shown. In particular, strong evidence for the competition between fusion-evaporation processes, with consequent identification of heavy residue and multifragmentation reaction mechanism are reported

The Cost of Monitoring Alone

We compare the succinctness of two monitoring systems for properties of infinite traces, namely parallel and regular monitors. Although a parallel monitor can be turned into an equivalent regular monitor, the cost of this transformation is a double-exponential blowup in the syntactic size of the monitors, and a triple-exponential blowup when the goal is a deterministic monitor. We show that these bounds are tight and that they also hold for translations between corresponding fragments of Hennessy-Milner logic with recursion over infinite traces.Comment: 22 page

Deriving a systematic approach to changeable manufacturing system design

It has long been argued that Factories are long life and complex products. The complexity of designing factories, and their underlying manufacturing systems, is further amplified when dealing with continuously changing customer demands. At the same time, due to research fragmentation, little if any scientific explanations are available supporting and exploiting the paradigm that "factories are products". In order to address this weakness, this paper presents research results arising from a comparative analysis of systematic "product design" and "manufacturing system design" approaches. The contribution emerging from this research is an integrated systematic design approach to changeable manufacturing systems, based on scientific concepts founded upon product design theories, and is explained through a case study in the paper. This research is part of collaboration between the CERU University of Malta and IAO Fraunhofer aimed at developing a digital decision support tool for planning changeable manufacturing systems.peer-reviewe

A case for assisting ‘product family’ manufacturing system designers

Manufacturing system design is a complex and demanding activity and the system designer has to take many factors into consideration during the development process including the demand and technological requirements of the products or product families. Central to this activity is the synthesis decision making process, during which the designer defines the elements that will make up the manufacturing system. This research identifies in the decision making process a critical activity and contributes a phenomena that can be used by a framework to support designers to address complex issues such as changeability and the evolution of products over the manufacturing system life-cycle.This research work was partially funded through an ERDF Project (Project No. ERDF083). The first and second authors would therefore like to thank the Malta Council for Science and Technology (MCST) who is administering this project.peer-reviewe

Information support and interactive planning in the digital factory : approach and industry-driven evaluation

In the modern world we are continuously surrounded by information. The human brain has to analyse and interpret this information to transform into useable knowledge that is then used in decision making activities. The advent and implementation of Industry 4.0 will make it a requirement for systems within factories to interact and share large quantities of information with each other. This large volume of information will make it even more difficult for the human resources within the factory to sift through the large amount of information required since there is a limit to the information that our brains can cope with. Just in time information retrieval (JITIR) within the digital factory environment aims to provide support to the human stakeholders in the system by proactively yet non-intrusively providing the required information at the right time based on the users context. This paper will therefore provide an insight into the cognitive difficulties experienced by humans in the digital factory and how JITIR can tackle these challenges. By validating the JITIR concept, several industry scenarios have been evaluated: an exemplary model, concerning the machine tool industry, is presented in the paper. The results of this research are a set of guidelines for the development of a digital factory support tool.peer-reviewe

Modeling of system knowledge for efficient agile manufacturing : tool evaluation, selection and implementation scenario in SMEs

In the manufacturing world, knowledge is fundamental in order to achieve effective and efficient real time decision making. In order to make manufacturing system knowledge available to the decision maker it has to be first captured and then modelled. Therefore tools that provide a suitable means for capturing and representation of manufacturing system knowledge are required in several types of industrial sectors and types of company’s (large, SME). A literature review about best practice for capturing requirements for simulation development and system knowledge modeling has been conducted. The aim of this study was to select the best tool for manufacturing system knowledge modelling in an open-source environment. In order to select this tool, different criteria were selected, based on which several tools were analyzed and rated. An exemplary use case was then developed using the selected tool, Systems Modeling Language (SysML). Therefore, the best practice has been studied, evaluated, selected and then applied to two industrial use cases by the use of a selected opens source tool.peer-reviewe

A foundation for runtime monitoring

Runtime Verification is a lightweight technique that complements other verification methods in an effort to ensure software correctness. The technique poses novel questions to software engineers: it is not easy to identify which specifications are amenable to runtime monitor-ing, nor is it clear which monitors effect the required runtime analysis correctly. This exposition targets a foundational understanding of these questions. Particularly, it considers an expressive specification logic (a syntactic variant of the modal μ-calculus) that is agnostic of the verification method used, together with an elemental framework providing an operational semantics for the runtime analysis performed by monitors. The correspondence between the property satisfactions in the logic on the one hand, and the verdicts reached by the monitors performing the analysis on the other, is a central theme of the study. Such a correspondence underpins the concept of monitorability, used to identify the subsets of the logic that can be adequately monitored for by RV. Another theme of the study is that of understanding what should be expected of a monitor in order for the verification process to be correct. We show how the monitor framework considered can constitute a basis whereby various notions of monitor correctness may be defined and investigated.peer-reviewe

A Foundation for Runtime Monitoring

Runtime Verification is a lightweight technique that complements other verification methods in an effort to ensure software correctness. The technique poses novel questions to software engineers: it is not easy to identify which specifications are amenable to runtime monitoring, nor is it clear which monitors effect the required runtime analysis correctly. This exposition targets a foundational understanding of these questions. Particularly, it considers an expressive specification logic (a syntactic variant of the mmucalc) that is agnostic of the verification method used, together with an elemental framework providing an operational semantics for the runtime analysis performed by monitors. The correspondence between the property satisfactions in the logic on the one hand, and the verdicts reached by the monitors performing the analysis on the other, is a central theme of the study. Such a correspondence underpins the concept of monitorability, used to identify the subsets of the logic that can be adequately monitored for by RV. Another theme of the study is that of understanding what should be expected of a monitor in order for the verification process to be correct. We show how the monitor framework considered can constitute a basis whereby various notions of monitor correctness may be defined and investigated

Distributed System Contract Monitoring

The use of behavioural contracts, to specify, regulate and verify systems, is particularly relevant to runtime monitoring of distributed systems. System distribution poses major challenges to contract monitoring, from monitoring-induced information leaks to computation load balancing, communication overheads and fault-tolerance. We present mDPi, a location-aware process calculus, for reasoning about monitoring of distributed systems. We define a family of Labelled Transition Systems for this calculus, which allow formal reasoning about different monitoring strategies at different levels of abstractions. We also illustrate the expressivity of the calculus by showing how contracts in a simple contract language can be synthesised into different mDPi monitors.Comment: In Proceedings FLACOS 2011, arXiv:1109.239

Dipolar degrees of freedom and Isospin equilibration processes in Heavy Ion collisions

Background: In heavy ion collision at the Fermi energies Isospin equilibration processes occur- ring when nuclei with different charge/mass asymmetries interacts have been investigated to get information on the nucleon-nucleon Iso-vectorial effective interaction. Purpose: In this paper, for the system 48Ca +27 Al at 40 MeV/nucleon, we investigate on this process by means of an observable tightly linked to isospin equilibration processes and sensitive in exclusive way to the dynamical stage of the collision. From the comparison with dynamical model calculations we want also to obtain information on the Iso-vectorial effective microscopic interaction. Method: The average time derivative of the total dipole associated to the relative motion of all emitted charged particles and fragments has been determined from the measured charges and velocities by using the 4? multi-detector CHIMERA. The average has been determined for semi- peripheral collisions and for different charges Zb of the biggest produced fragment. Experimental evidences collected for the systems 27Al+48Ca and 27Al+40Ca at 40 MeV/nucleon used to support this novel method of investigation are also discussed.Comment: Submitted for publication on Phys. Rev. C. 0n 24-oct-201