A petri net based timing model for hardware/software co-design of digital systems

We have recently proposed an extension to Petri nets in order to be able to directly deal with all aspects of embedded digital systems. This extension is meant to be used as an internal model of our co-design environment. After analyzing relevant related work, and presenting a short introduction to our extension as a background material, we describe the details of the timing model we use in our approach, which is mainly based in Merlin's time model. We conclude the paper by discussing an example of its usage. © 2004 IEEE.

Involvement of organic systems in golden retriever X-linked muscular dystrophy

Duchenne muscular dystrophy is a lethal genetic disease characterized by progressive muscle degeneration that usually had been used the Golden Retriever as a model for studying the disease (GRMD - Golden Retriever Muscular Dystrophy). A total of 16 male dystrophic Golden Retrievers dogs between 5 to 51 months of age were examined in the present study. The animals were classified as dystrophic according to two simultaneous complementary criteria: genotypic analysis and serum creatine kinase levels. The macroscopic abnormalities of the different organs and tissues and histopathological features were described using hematoxylin-eosin. The lesions in the skeletal muscles associated with the digestive problems resulted in cachexia with different intensities in all the dystrophic dogs. Cardiac muscle involvement was found in 87,5% of the GRMD dogs resulting, however, in cardiac failure in only 18,8% of the animals. The musculature of the diaphragm was hypertrophic in all affected animals resulting in progressive respiratory muscle weakness and at later stages in respiratory failure (81,25%). The liver abnormalities found in dystrophic dogs were originated mainly from heart disease and developed progressively. Hyperemia of mucosa and granular material indicated changes in the functioning and emptying of bladder. The germinative lineage cells presented moderate to severe degeneration probably due to degeneration of the scrotum and cremaster muscle which prevented the proper thermo-regulation of the testicle. Our results highlight the fact that there is significant impairment of the cardiac, respiratory and skeletal muscle systems in GRMD dogs since the age of five months. In addition, significant alterations of the gastrointestinal tract, urinary and reproductive systems are indicating the presence of degenerative lesions in the smooth musculature.

Function inferences from a molecular structural model of bacterial ParE toxin

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Yield potential and resource-use efficiency of maize systems in the western U.S. Corn Belt

Maize demand for food, livestock feed, and biofuel is expected to increase substantially. The Western U.S. Corn Belt accounts for 23% of U.S. maize production, and irrigated maize accounts for 43 and 58% of maize land area and total production, respectively, in this region. The most sensitive parameters (yield potential [YP], water-limited yield potential [YP-W], yield gap between actual yield and YP, and resource-use efficiency) governing performance of maize systems in the region are lacking. A simulation model was used to quantify YP under irrigated and rainfed conditions based on weather data, soil properties, and crop management at 18 locations. In a separate study, 5-year soil water data measured in central Nebraska were used to analyze soil water recharge during the non-growing season because soil water content at sowing is a critical component of water supply available for summer crops. On-farm data, including yield, irrigation, and nitrogen (N) rate for 777 field-years, was used to quantify size of yield gaps and evaluate resource-use efficiency. Simulated average YP and YP-W were 14.4 and 8.3 Mg ha-1, respectively. Geospatial variation of YP was associated with solar radiation and temperature during post-anthesis phase while variation in water-limited yield was linked to the longitudinal variation in seasonal rainfall and evaporative demand. Analysis of soil water recharge indicates that 80% of variation in soil water content at sowing can be explained by precipitation during non-growing season and residual soil water at end of previous growing season. A linear relationship between YP-W and water supply (slope: 19.3 kg ha-1 mm-1; x-intercept: 100 mm) can be used as a benchmark to diagnose and improve farmer’s water productivity (WP; kg grain per unit of water supply). Evaluation of data from farmer’s fields provides proof-of-concept and helps identify management constraints to high levels of productivity and resource-use efficiency. On average, actual yields of irrigated maize systems were 11% below YP. WP and N-fertilizer use efficiency (NUE) were high despite application of large amounts of irrigation water and N fertilizer (14 kg grain mm-1 water supply and 71 kg grain kg-1 N fertilizer). While there is limited scope for substantial increases in actual average yields, WP and NUE can be further increased by: (1) switching surface to pivot systems, (2) using conservation instead of conventional tillage systems in soybean-maize rotations, (3) implementation of irrigation schedules based on crop water requirements, and (4) better N fertilizer management.

Closed-loop stable model predictive control of integrating systems with dead time

Model predictive control (MPC) applications in the process industry usually deal with process systems that show time delays (dead times) between the system inputs and outputs. Also, in many industrial applications of MPC, integrating outputs resulting from liquid level control or recycle streams need to be considered as controlled outputs. Conventional MPC packages can be applied to time-delay systems but stability of the closed loop system will depend on the tuning parameters of the controller and cannot be guaranteed even in the nominal case. In this work, a state space model based on the analytical step response model is extended to the case of integrating time systems with time delays. This model is applied to the development of two versions of a nominally stable MPC, which is designed to the practical scenario in which one has targets for some of the inputs and/or outputs that may be unreachable and zone control (or interval tracking) for the remaining outputs. The controller is tested through simulation of a multivariable industrial reactor system. (C) 2012 Elsevier Ltd. All rights reserved.

Biological evolution of replicator systems: towards a quantitative approach

The aim of this work is to study the features of a simple replicator chemical model of the relation between kinetic stability and entropy production under the action of external perturbations. We quantitatively explore the different paths leading to evolution in a toy model where two independent replicators compete for the same substrate. To do that, the same scenario described originally by Pross (J Phys Org Chem 17:312–316, 2004) is revised and new criteria to define the kinetic stability are proposed. Our results suggest that fast replicator populations are continually favored by the effects of strong stochastic environmental fluctuations capable to determine the global population, the former assumed to be the only acting evolution force. We demonstrate that the process is continually driven by strong perturbations only, and that population crashes may be useful proxies for these catastrophic environmental fluctuations. As expected, such behavior is particularly enhanced under very large scale perturbations, suggesting a likely dynamical footprint in the recovery patterns of new species after mass extinction events in the Earth’s geological past. Furthermore, the hypothesis that natural selection always favors the faster processes may give theoretical support to different studies that claim the applicability of maximum principles like the Maximum Metabolic Flux (MMF) or Maximum Entropy Productions Principle (MEPP), seen as the main goal of biological evolution.

Multiproperty modeling for a set of binary systems. Evaluation of a model to correlate simultaneously several mixing properties of methyl ethanoate+alkanes and new experimental data

[EN] This work makes a theoretical–experimental contribution to the study of ester and alkane solutions. Experimental data of isobaric vapor–liquid equilibria (VLE) are presented at 101.3 kPa for binary systems of methyl ethanoate with six alkanes (from C5 to C10), and of volumes and mixing enthalpies, vE and hE.

Atomic force microscopy of biomimetic systems

This thesis was driven by the ambition to create suitable model systems that mimic complex processes in nature, like intramolecular transitions, such as unfolding and refolding of proteins, or intermolecular interactions between different cell compo-nents. Novel biophysical approaches were adopted by employing atomic force mi-croscopy (AFM) as the main measurement technique due to its broad diversity. Thus, high-resolution imaging, adhesion measurements, and single-molecule force distance experiments were performed on the verge of the instrumental capabilities. As first objective, the interaction between plasma membrane and cytoskeleton, me-diated by the linker protein ezrin, was pursued. Therefore, the adsorption process and the lateral organization of ezrin on PIP2 containing solid-supported membranes were characterized and quantified as a fundament for the establishment of a biomimetic model system. As second component of the model system, actin filaments were coated on functionalized colloidal probes attached on cantilevers, serving as sensor elements. The zealous endeavor of creating this complex biomimetic system was rewarded by successful investigation of the activation process of ezrin. As a result, it can be stated that ezrin is activated by solely binding to PIP2 without any further stimulating agents. Additional cofactors may stabilize and prolong the active conformation but are not essentially required for triggering ezrin’s transformation into an active conformation. In the second project, single-molecule force distance experiments were performed on bis-loop tetra-urea calix[4]arene-catenanes with different loading rates (increase in force per second). These macromolecules were specifically designed to investigate the rupture and rejoining mechanism of hydrogen bonds under external load. The entangled loops of capsule-like molecules locked the unbound state of intramolecular hydrogen bonds mechanically, rendering a rebinding observable on the experimental time scale. In conjunction with Molecular Dynamics simulations, a three-well potential of the bond rupture process was established and all kinetically relevant parameters of the experiments were determined by means of Monte Carlo simulations and stochastic modeling. In summary, it can be stated that atomic force microscopy is an invaluable tool to scrutinize relevant processes in nature, such as investigating activation mechanisms in proteins, as shown by analysis of the interaction between F-actin and ezrin, as well as exploring fundamental properties of single hydrogen bonds that are of paramount interest for the complete understanding of complex supramolecular structures.

Model predictive control in thermal management of multiprocessor systems-on-chip

MultiProcessor Systems-on-Chip (MPSoC) are the core of nowadays and next generation computing platforms. Their relevance in the global market continuously increase, occupying an important role both in everydaylife products (e.g. smartphones, tablets, laptops, cars) and in strategical market sectors as aviation, defense, robotics, medicine. Despite of the incredible performance improvements in the recent years processors manufacturers have had to deal with issues, commonly called “Walls”, that have hindered the processors development. After the famous “Power Wall”, that limited the maximum frequency of a single core and marked the birth of the modern multiprocessors system-on-chip, the “Thermal Wall” and the “Utilization Wall” are the actual key limiter for performance improvements. The former concerns the damaging effects of the high temperature on the chip caused by the large power densities dissipation, whereas the second refers to the impossibility of fully exploiting the computing power of the processor due to the limitations on power and temperature budgets. In this thesis we faced these challenges by developing efficient and reliable solutions able to maximize performance while limiting the maximum temperature below a fixed critical threshold and saving energy. This has been possible by exploiting the Model Predictive Controller (MPC) paradigm that solves an optimization problem subject to constraints in order to find the optimal control decisions for the future interval. A fully-distributedMPC-based thermal controller with a far lower complexity respect to a centralized one has been developed. The control feasibility and interesting properties for the simplification of the control design has been proved by studying a partial differential equation thermal model. Finally, the controller has been efficiently included in more complex control schemes able to minimize energy consumption and deal with mixed-criticalities tasks

Il modello green office come nicchia strategica per la transizione sostenibile del sistema universita the green office model as strategic niche for sustainability transition of hei systems

Nella prima parte di questo progetto di tesi, ho analizzato tutte le nozioni teoriche rilevanti in merito alla teoria della transizione. Il primo concetto condiviso in questa trattazione è quello di transizione. Nella parte finale del capitolo, il focus si sposta sul ruolo, in una generica transizione, delle nicchie. Lo strumento centrale in questa struttura sono gli esperimenti di transizione, i quali forniscono un approccio alternativo ai progetti di innovazione classica che sono incentrati nell'ottenimento di soluzioni a breve termine. Vi è dunque una forte relazione tra nicchia e sperimentazione. Infine la trattazione si concentra sul tema dello Strategic Niche Management. Nel secondo capitolo, analizzo il tema della sostenibilità inserita in un contesto universitario. Questa sezione si focalizza sulle strategie di alto livello richieste per dare avvio alla transizione universitaria verso la sostenibilità, identificando gli ostacoli e gli elementi portanti, e definendo una vision al fine di concretizzarla. Il capitolo guida, passo per passo, le università che tentano di mettere in pratica il proprio obiettivo e la vision di sviluppo sostenibile. Una delle problematiche principali per stimare gli sforzi verso la sostenibilità nelle università è costituita in modo particolare dagli strumenti di valutazione. Per questo motivo, è stata sviluppata la valutazione grafica della sostenibilità nell'università (GASU). Al fine di riassumere quanto detto fin qui ed avere un quadro generale più chiaro dell'organizzazione di un campus universitario che mira a diventare sostenibile, ho utilizzato lo strumento gestionale della SWOT Analysis. Negli ultimi due capitoli, infine, analizzo nel dettaglio il modello Green Office. La teorizzazione di questo modello e l'elaborazione dei 6 principi del Green Office sono state effettuate da rootAbility. Le seguenti pagine presentano 3 casi studio di come i 6 principi dei Green Office sono stati adattati alle 3 unità di sostenibilità guidate da studenti e supportate da staff qualificato. L'oggetto della trattazione sono i principali GO affermatisi nei Paesi Bassi. A seguito dell'introduzione del modello relativo al Green Office e dell'illustrazione degli esempi presi in esame, è stato sfruttato lo strumento della feasibility analysis al fine di giudicare se l'idea di business sia praticabile. Il mezzo con cui ho condotto l'analisi sotto riportata è un questionario relativo al modello di Green Office implementato, nel quale viene chiesto di valutare gli aspetti relativi alla organizational feasibility e alla financial feasibility. Infine nella sezione finale ho considerato i Green Office come fossero un unico movimento. L'analisi mira a considerare l'impatto globale del Green Office Movement nei sistemi universitari e come, a seguito del loro consolidarsi nella struttura accademica, possano divenire prassi comune. La struttura proposta contiene elementi sia da il SNM (Strategic Niche Management) che dal TE (Transition Experiment).