Discrete-time dynamic modeling for software and services composition as an extension of the Markov chain approach

Discrete Time Markov Chains (DTMCs) and Continuous Time Markov Chains (CTMCs) are often used to model various types of phenomena, such as, for example, the behavior of software products. In that case, Markov chains are widely used to describe possible time-varying behavior of “self-adaptive” software systems, where the transition from one state to another represents alternative choices at the software code level, taken according to a certain probability distribution. From a control-theoretical standpoint, some of these probabilities can be interpreted as control signals and others can just be observed. However, the translation between a DTMC or CTMC model and a corresponding first principle model, that can be used to design a control system is not immediate. This paper investigates a possible solution for translating a CTMC model into a dynamic system, with focus on the control of computing systems components. Notice that DTMC models can be translated as well, providing additional information

On consistency of physical and DEVS models in control-targeted DTs: an industrial case study

The DT-based design and control of modern production assets requires simulation models with different viewpoints, purposes, and nature. Most notably, component-level design and control require detailed physical models, while plant-level automation and production management mostly need DEVS-type ones. Inconsistencies among the said models can have significant impacts on decision processes related e.g. to (re-)configuration, diagnostics and maintenance—in one word, on the ultimate outcome of an asset. However, given their heterogeneous nature, making physical and DEVS models consistent requires new methods and tools, in fact starting with the definition itself of what “consistent” has to mean. We here present a methodology to state and address such consistency problems, and support our statements with a case study taken from the cosmetics industry

HOT-SPOT PHENOMENON IN PV SYSTEMS WITH OVERHEAD LINES PARTIAL SHADING

This paper deals with the occurrence of hot-spot phenomenon in photovoltaic systems under PV partial shadowing. In an experimental campaign, the hot-spot phenomenon was revealed on a PV installation in Italy, caused my medium voltage overhead lines shadowing the PV cells. Starting from these practice case studies, at the SolarTech laboratory of Politecnico di Milano, the conditions for hot-spot phenomenon occurrence due to the overhead lines shading the PV cells were reproduced. Two experimental campaigns were carried out to investigate the current-voltage and power-voltage characteristics, and the energy production. In each experimental campaign, the built shadowing structure was considered fixed, and different shadowing conditions were created based on the natural displacement of the sun. Still, for occurring the hot- spot phenomenon during the laboratory tests, more PV modules must be connected in parallel

Risk based approach for procedures' optimization

Despite an increase in the process automation, different activities remain mainly operator driven, as the loading and unloading of tankers, maintenance operations, and so on. In these cases, the activities performed by the operator can be critical, both for the safety and for the product quality. Optimizing the operational procedures is thus a key factor for quality and safety. A risk assessment of the procedure can be adopted as a base for optimisation, highlighting which of the tasks within the procedure mainly contributes to the risk of the working activity. Usually the analysis of the procedures is carried on through a task analysis as in Builes et al. (2014). In this paper the task analysis is used as a starting point for a quantitative risk assessment carried on through an integrated dynamic decision analysis. The logical-probabilistic model of the procedure is elaborated jointly with a consequences analysis, obtaining a risk assessment for all the sequences of tasks of the work procedure under analysis. The risk assessment considered both possible equipment failures and the potential operational errors in executing the tasks. The proposed approach is in this paper demonstrated through the application of the integrated decision analysis for the operation of unloading of ammonia in a plant for the production and storage of fertilizers

Human performance in manufacturing tasks: Optimization and assessment of required workload and capabilities

This paper discusses some examples where human performance and or human error prediction was achieved by using a modified version of the Rasch model(1980), where the probability of a specified outcome is modelled as a logistic function of the difference between the person capacity and item difficulty. The model needs to be modified to take into account an outcome that may not be dichotomous and o take into account the interaction between two macro factors: (a) Task complexity: that summarises all factors contributing to physical and mental workload requirements for execution of a given operative task & (b) Human capability: that considered the skills, training and experience of the people facing the tasks, representing a synthesis of their physical and cognitive abilities to verify whether or not they are matching the task requirements. Task complexity can be evaluated as a mathematical construct considering the compound effects of Mental Workload Demands and Physical Workload Demands associated to an operator task. Similarly, operator capability can be estimated on the basis of the operators' set of cognitive capabilities and physical conditions. The examples chosen for the application of the model were quite different: one is a set of assembly workstation in large computer manufacturing company and the other a set of workstation in the automotive sector. This paper presents and discusses the modelling hypothesis, the interim field data collection, results and possible future direction of the studies.

Correlation between magnetic interactions and domain structure in A1 FePt ferromagnetic thin films

We have investigated the relationship between the domain structure and the magnetic interactions in a series of FePt ferromagnetic thin films of varying thickness. As-made films grow in the magnetically soft and chemically disordered A1 phase that may have two distinct domain structures. Above a critical thickness $d_{cr}\sim 30$ nm the presence of an out of plane anisotropy induces the formation of stripes, while for $d<d_{cr}$ planar domains occur. Magnetic interactions have been characterized using the well known DCD-IRM remanence protocols, $\delta M$ plots, and magnetic viscosity measurements. We have observed a strong correlation between the domain configuration and the sign of the magnetic interactions. Planar domains are associated with positive exchange-like interactions, while stripe domains have a strong negative dipolar-like contribution. In this last case we have found a close correlation between the interaction parameter and the surface dipolar energy of the stripe domain structure. Using time dependent magnetic viscosity measurements, we have also estimated an average activation volume for magnetic reversal, $\langle V_{ac}\rangle \sim 1.37\times 10^{4}$ nm$^{3},$ which is approximately independent of the film thickness or the stripe period.Comment: 25 pages, 11 figure

Mannose and xylose cannot be used as selectable agents for Vitis vinifera L. transformation

Only a few selectable marker systems for genetic engineering of grapevine have been studied in the past and only resistance to antibiotics has been used to recover transgenic vines. Since the acceptance of antibiotic resistances is small mannose and xylose were evaluated as selectable agents for the genetic transformation of grapevine. Survival of suspension cells and the ability to develop embryos from embryogenic calli were estimated in the presence of mannose and xylose. Embryogenic calli obtained from anther cultures of Vitis vinifera cv. Chardonnay were able to grow and to produce embryos even if mannose or xylose were the only source of carbohydrates

Thermosensory thalamus: parallel processing across model organisms

The thalamus acts as an interface between the periphery and the cortex, with nearly every sensory modality processing information in the thalamocortical circuit. Despite well-established thalamic nuclei for visual, auditory, and tactile modalities, the key thalamic nuclei responsible for innocuous thermosensation remains under debate. Thermosensory information is first transduced by thermoreceptors located in the skin and then processed in the spinal cord. Temperature information is then transmitted to the brain through multiple spinal projection pathways including the spinothalamic tract and the spinoparabrachial tract. While there are fundamental studies of thermal transduction via thermosensitive channels in primary sensory afferents, thermal representation in the spinal projection neurons, and encoding of temperature in the primary cortical targets, comparatively little is known about the intermediate stage of processing in the thalamus. Multiple thalamic nuclei have been implicated in thermal encoding, each with a corresponding cortical target, but without a consensus on the role of each pathway. Here, we review a combination of anatomy, physiology, and behavioral studies across multiple animal models to characterize the thalamic representation of temperature in two proposed thermosensory information streams

Transient Analysis of Large Scale PV Systems with Floating DC Section

The increasing penetration of renewable sources with power-electronic interfaces in power systems is raising technical problems and the overall efficiency of photovoltaic systems can decrease dramatically. In this context, the optimal layout for the photovoltaic system is required. The most adequate strategy to connect the renewable system to the electrical power grid or to supply the end users must be adopted. The present paper proposes a design layout of a PV plant using a DC bus system to improve the overall energy conversion efficiency. An analysis of steady-state system stability, voltage drop and DC cable conduction losses is conducted. The leakage currents to the ground are investigated through simulations. Experimental results are shown focused on the analysis of optimal layout of photovoltaic systems under particular operating conditions

Risk-Informed design process of the IRIS reactor

Westinghouse is currently conducting the pre-application licensing of the International Reactor Innovative and Secure (IRIS). The design philosophy of the IRIS has been based on the concept of Safety-by-DesignTM and within this framework the PSA is being used as an integral part of the design process. The basis for the PSA contribution to the design phase of the reactor is the close iteration between the PSA team and the design and safety analysis team. In this process the design team is not only involved in the initial phase of providing system information to the PSA team, allowing in this way the identification of the high risk scenarios, but it is also receiving feedback from the PSA team that suggests design modification aimed at reaching risk-related goals. During the first iteration of this process, the design modifications proposed by the PSA team allowed reducing the initial estimate of Core Damage Frequency (CDF) due to internal events from 2E-6/ry to 2E-8/ry. Since the IRIS design is still in a development phase, a number of assumptions have to be confirmed when the design is finalized. Among key assumptions are the success criteria for both the accident sequences analyzed and the systems involved in the mitigation strategies. The PSA team developed the initial accident sequence event trees according to the information from the preliminary analysis and feasibility studies. A recent coupling between the RELAP and GOTHIC codes made possible the actual simulation of all LOCA sequences identified in the first draft of the Event Trees. Working in close coordination, the PSA and the safety analysis teams developed a matrix case of sequences not only with the purpose of testing the assumed success criteria, but also with the perspective of identifying alternative sequences developed mainly by relaxing the extremely conservative assumptions previously made. The results of these simulations, bounded themselves with conservative assumptions on the Core Damage definition, suggested two new versions of the LOCA Event Tree with two possible configurations of the Automatic Depressurization System. The new CDF has been evaluated for both configurations and the design team has been provided with an additional and risk-related perspective that will help choosing the design alternative to be implemented