Model based integration of management systems (MSs) – case study

Abstract Purpose – The purpose of this paper is to present a case study regarding the deployment of a previously developed model for the integration of management systems (MSs). The case study is developed at a manufacturing site of an international enterprise. The implementation of this model in a real business environment is aimed at assessing its feasibility. Design/methodology/approach – The presented case study takes into account different management systems standards (MSSs) progressively implemented, along the years, independently. The implementation of the model was supported by the results obtained from an investigation performed according to a structured diagnosis that was conducted to collect information related to the organizational situation of the enterprise. Findings – The main findings are as follows: a robust integrated management system (IMS), objectively more lean, structured and manageable was found to be feasible; this study provided an holistic view of the enterprise’s global management; clarifications of job descriptions and boundaries of action and responsibilities were achieved; greater efficiency in the use of resources was attained; more coordinated management of the three pillars of sustainability – environmental, economic and social, as well as risks, providing confidence and added value to the company and interested parties was achieved. Originality/value – This case study is pioneering in Portugal in respect to the implementation, at the level of an industrial organization, of the model previously developed for the integration of individualized MSs. The case study provides new insights regarding the implementation of IMSs including the rationalization of several resources and elimination of several types of organizational waste leveraging gains of efficiency. Due to its intrinsic characteristics, the model is able to support, progressively, new or revised MSSs according to the principles of annex SL (normative) – proposals for MSSs – of the International Organization for Standardization and the International Electrotechnical Commission, that the industrial organization can adopt beyond the current ones.

Symposium commentary : reflections on the theory of deliberative systems

Use of closed systems in the Hospital Pharmacy

Objective: In the setting of the increasing use of closed systems for reconstitution and preparation of these drugs, we intend to analyze the correct use of these systems in the Hospital Pharmacy, with the objective to minimize the risks of exposure not only for those professionals directly involved, but also for all the staff in the unit, taking also into account efficiency criteria. Method: Since some systems protect against aerosol formation but not from vapours, we decided to review which cytostatics should be prepared using an awl with an air inlet valve, in order to implement a new working procedure. We reviewed the formulations available in our hospital, with the following criteria: method of administration, excipients, and potential hazard for the staff handling them. We measured the diameters of the vials. We selected drugs with Level 1 Risk and also those including alcohol-based excipients, which could generate vapours. Outcomes: Out of the 66 reviewed formulations, we concluded that 11 drugs should be reconstituted with this type of awl: busulfan, cabazitaxel, carmustine, cyclophosphamide, eribulin, etoposide, fotemustine, melphalan, paclitaxel, temsirolimus and thiotepa; these represented an 18% of the total volume of formulations. Conclusions: The selection of healthcare products must be done at the Hospital Pharmacy, because the use of a system with an air valve inlet only for those drugs selected led to an outcome of savings and a more efficient use of materials. In our experience, we confirmed that the use of the needle could only be avoided when the awl could adapt to the different formulations of cytostatics, and this is only possible when different types of awls are available. Besides, connections were only really closed when a single awl was used for each vial. The change in working methodology when handling these drugs, as a result of this study, will allow us to start different studies about environmental contamination as a future line of work.

Probabilistic verification of satellite systems for mission critical applications

In this thesis, we present a quantitative approach using probabilistic verification techniques for the analysis of reliability, availability, maintainability, and safety (RAMS) properties of satellite systems. The subject of our research is satellites used in mission critical industrial applications. A strong case for using probabilistic model checking to support RAMS analysis of satellite systems is made by our verification results. This study is intended to build a foundation to help reliability engineers with a basic background in model checking to apply probabilistic model checking to small satellite systems. We make two major contributions. One of these is the approach of RAMS analysis to satellite systems. In the past, RAMS analysis has been extensively applied to the field of electrical and electronics engineering. It allows system designers and reliability engineers to predict the likelihood of failures from the indication of historical or current operational data. There is a high potential for the application of RAMS analysis in the field of space science and engineering. However, there is a lack of standardisation and suitable procedures for the correct study of RAMS characteristics for satellite systems. This thesis considers the promising application of RAMS analysis to the case of satellite design, use, and maintenance, focusing on its system segments. Data collection and verification procedures are discussed, and a number of considerations are also presented on how to predict the probability of failure. Our second contribution is leveraging the power of probabilistic model checking to analyse satellite systems. We present techniques for analysing satellite systems that differ from the more common quantitative approaches based on traditional simulation and testing. These techniques have not been applied in this context before. We present the use of probabilistic techniques via a suite of detailed examples, together with their analysis. Our presentation is done in an incremental manner: in terms of complexity of application domains and system models, and a detailed PRISM model of each scenario. We also provide results from practical work together with a discussion about future improvements.

Close-in planets around giant stars: lack of hot-Jupiters and prevalence of multiplanetary systems

Extrasolar planets abound in almost any possible configuration. However, until five years ago, there was a lack of planets orbiting closer than 0.5 au to giant or subgiant stars. Since then, recent detections have started to populated this regime by confirming 13 planetary systems. We discuss the properties of these systems in terms of their formation and evolution off the main sequence. Interestingly, we find that 70.0 ± 6.6% of the planets in this regime are inner components of multiplanetary systems. This value is 4.2σ higher than for main-sequence hosts, which we find to be 42.4 ± 0.1%. The properties of the known planets seem to indicate that the closest-in planets (a< 0.06 au) to main-sequence stars are massive (i.e., hot Jupiters) and isolated and that they are subsequently engulfed by their host as it evolves to the red giant branch, leaving only the predominant population of multiplanetary systems in orbits 0.06 of this emerging observational trend in the context of formation and evolution of hot Jupiters.

Secular and tidal evolution of circumbinary systems

We investigate the secular dynamics of three-body circumbinary systems under the effect of tides. We use the octupolar non-restricted approximation for the orbital interactions, general relativity corrections, the quadrupolar approximation for the spins, and the viscous linear model for tides. We derive the averaged equations of motion in a simplified vectorial formalism, which is suitable to model the long-term evolution of a wide variety of circumbinary systems in very eccentric and inclined orbits. In particular, this vectorial approach can be used to derive constraints for tidal migration, capture in Cassini states, and stellar spin–orbit misalignment. We show that circumbinary planets with initial arbitrary orbital inclination can become coplanar through a secular resonance between the precession of the orbit and the precession of the spin of one of the stars. We also show that circumbinary systems for which the pericenter of the inner orbit is initially in libration present chaotic motion for the spins and for the eccentricity of the outer orbit. Because our model is valid for the non-restricted problem, it can also be applied to any three-body hierarchical system such as star–planet–satellite systems and triple stellar systems.

In-situ Molibdenum X-ray powder diffraction study of the early hydration of cementitious systems on a humidity chamber

The durability of cement-based construction materials depends on the environmental conditions during their service life. A further factor is the microstructure of the cement bulk, established by formation of cement hydrates. The development of the phases and microstructure under given conditions is responsible of the high strength of cementitious materials. The investigation on the early hydration behavior of cements and cementing systems has been for a long time a very important area of research: understanding the chemical reactions that lead to hardening is fundamental for the prediction of performances and durability of the materials. The production of 1 ton of Ordinary Portland Cement, OPC, releases into the atmosphere ~0.97 tons of CO2. This implies that the overall CO2 emissions from the cement industry are 6% of all anthropogenic carbon dioxide. An alternative to reduce the CO2 footprint consists on the development of eco-cements composed by less calcite demanding phases, such as belite and ye'elimite. That is the case of Belite-Ye’elimite cements (BY). Since the reactivity of belite is not quick enough, these materials develop low mechanical strengths at intermediate hydration ages. A possible solution to this problem goes through the production of cements which jointly contain alite with the two previously mentioned phases, named as Belite-Alite-Ye’elimite (BAY) cements. The reaction of alite and ye'elimite with water will develop cements with high mechanical strengths at early ages, while belite will contribute to later values. The final goal is to understand the hydration mechanisms of a variety of cementing systems (OPC, BAY and pure phases) as a function of water content, superplasticizer additives and type and content of sulfate source. In order to do so, in-situ laboratory humidity chambers with Molybdenum X-ray Powder diffraction are employed. In the first 2h of hydration, reaction degree (α) of ye'elimite had been decreased for superplasticizer.

Synchronous products of rewrite systems (extended version)

We present and formalize a concept of synchronous product for rewrite systems, and also a corresponding concept for general transition systems, used as semantics for the former. A series of examples shows their practical usefulness: for the strategic control of systems, and for modular specification and verification.

An updated evolutionary classification of CRISPR–Cas systems

The evolution of CRISPR–cas loci, which encode adaptive immune systems in archaea and bacteria, involves rapid changes, in particular numerous rearrangements of the locus architecture and horizontal transfer of complete loci or individual modules. These dynamics complicate straightforward phylogenetic classification, but here we present an approach combining the analysis of signature protein families and features of the architecture of cas loci that unambiguously partitions most CRISPR–cas loci into distinct classes, types and subtypes. The new classification retains the overall structure of the previous version but is expanded to now encompass two classes, five types and 16 subtypes. The relative stability of the classification suggests that the most prevalent variants of CRISPR–Cas systems are already known. However, the existence of rare, currently unclassifiable variants implies that additional types and subtypes remain to be characterized.

Chebanov law and Vakar formula in mathematical models of complex systems

Ecological models written in a mathematical language L(M) or model language, with a given style or methodology can be considered as a text. It is possible to apply statistical linguistic laws and the experimental results demonstrate that the behaviour of a mathematical model is the same of any literary text of any natural language. A text has the following characteristics: (a) the variables, its transformed functions and parameters are the lexic units or LUN of ecological models; (b) the syllables are constituted by a LUN, or a chain of them, separated by operating or ordering LUNs; (c) the flow equations are words; and (d) the distribution of words (LUM and CLUN) according to their lengths is based on a Poisson distribution, the Chebanov's law. It is founded on Vakar's formula, that is calculated likewise the linguistic entropy for L(M). We will apply these ideas over practical examples using MARIOLA model. In this paper it will be studied the problem of the lengths of the simple lexic units composed lexic units and words of text models, expressing these lengths in number of the primitive symbols, and syllables. The use of these linguistic laws renders it possible to indicate the degree of information given by an ecological model.

The vulnerability of aquatic systems of the Upper Napo River Basin (Ecuadorian Amazon) to human activities

Aquatic ecosystems exhibit different vulnerabilities to anthropogenic disturbances. I examined this problem in the Upper Napo River Basin (UNRB), Ecuador. I ranked from 1 to 5 aquatic ecosystem uniqueness, health and threats. I stratified the basin into five Ecological Drainage Units (EDU), 48 Aquatic Ecological Systems (AES), and 203 macrohabitats. I found main threats (habitat conversion/degradation, land development, mining, oil industries, and water diversion) cover 54% of the UNRB, but have different scores and extents in each EDU. I assessed the health of 111 AESs, under three land use treatments, by analyzing the streamside zone, physical forms, water quality, aquatic life, and hydrology. Overall, health of AESs varied from 5 to 2.58, with 5 being the highest level of health. Threats and health of AESs were inversely related (F=34.119, P

Environmental scanning electron microscope imaging of vesicle systems

The structural characteristics of liposomes have been widely investigated and there is certainly a strong understanding of their morphological characteristics. Imaging of these systems, using techniques such as freeze-fracturing methods, transmission electron microscopy, and cryo-electron imaging, has allowed us to appreciate their bilayer structures and factors which can influence this. However, there are few methods which all us to study these systems in their natural hydrated state; commonly the liposomes are visualized after drying, staining, and/or fixation of the vesicles. Environmental Scanning Electron Microscopy (ESEM) offers the ability to image a liposome in its hydrated state without the need for prior sample preparation. Within our studies we were the first to use ESEM to study liposomes and niosomes and we have been able to dynamically follow the hydration of lipid films and changes in liposome suspensions as water condenses on to, or evaporates from, the sample in real time. This provides insight into the resistance of liposomes to coalescence during dehydration, thereby providing an alternative assay of liposome formulation and stability.

Adaptive edge analytics for distributed networked control of water systems

Over the last decade, there has been a trend where water utility companies aim to make water distribution networks more intelligent in order to improve their quality of service, reduce water waste, minimize maintenance costs etc., by incorporating IoT technologies. Current state of the art solutions use expensive power hungry deployments to monitor and transmit water network states periodically in order to detect anomalous behaviors such as water leakage and bursts. However, more than 97% of water network assets are remote away from power and are often in geographically remote underpopulated areas, facts that make current approaches unsuitable for next generation more dynamic adaptive water networks. Battery-driven wireless sensor/actuator based solutions are theoretically the perfect choice to support next generation water distribution. In this paper, we present an end-to-end water leak localization system, which exploits edge processing and enables the use of battery-driven sensor nodes. Our system combines a lightweight edge anomaly detection algorithm based on compression rates and an efficient localization algorithm based on graph theory. The edge anomaly detection and localization elements of the systems produce a timely and accurate localization result and reduce the communication by 99% compared to the traditional periodic communication. We evaluated our schemes by deploying non-intrusive sensors measuring vibrational data on a real-world water test rig that have had controlled leakage and burst scenarios implemented.

Improving surgery operations by means of cloud systems and distributed user interfaces

Surgical interventions are usually performed in an operation room; however, access to the information by the medical team members during the intervention is limited. While in conversations with the medical staff, we observed that they attach significant importance to the improvement of the information and communication direct access by queries during the process in real time. It is due to the fact that the procedure is rather slow and there is lack of interaction with the systems in the operation room. These systems can be integrated on the Cloud adding new functionalities to the existing systems the medical expedients are processed. Therefore, such a communication system needs to be built upon the information and interaction access specifically designed and developed to aid the medical specialists. Copyright 2014 ACM.