OPTIMIZATION AND CONTROL OF A CONTINUOUS POLYMERIZATION REACTOR

This work studies the optimization and control of a styrene polymerization reactor. The proposed strategy deals with the case where, because of market conditions and equipment deterioration, the optimal operating point of the continuous reactor is modified significantly along the operation time and the control system has to search for this optimum point, besides keeping the reactor system stable at any possible point. The approach considered here consists of three layers: the Real Time Optimization (RTO), the Model Predictive Control (MPC) and a Target Calculation (TC) that coordinates the communication between the two other layers and guarantees the stability of the whole structure. The proposed algorithm is simulated with the phenomenological model of a styrene polymerization reactor, which has been widely used as a benchmark for process control. The complete optimization structure for the styrene process including disturbances rejection is developed. The simulation results show the robustness of the proposed strategy and the capability to deal with disturbances while the economic objective is optimized.

Comparison of fast-track diagnostics respiratory pathogens multiplex real-time RT-PCR assay with in-house singleplex assays for comprehensive detection of human respiratory viruses

Fast-track Diagnostics respiratory pathogens (FTDRP) multiplex real-time RT-PCR assay was compared with in-house singleplex real-time RT-PCR assays for detection of 16 common respiratory viruses. The FTDRP assay correctly identified 26 diverse respiratory virus strains, 35 of 41 (85%) external quality assessment samples spiked with cultured virus and 232 of 263 (88%) archived respiratory specimens that tested positive for respiratory viruses by in-house assays. Of 308 prospectively tested respiratory specimens selected from children hospitalized with acute respiratory illness, 270 (87.7%) and 265 (86%) were positive by FTDRP and in-house assays for one or more viruses, respectively, with combined test results showing good concordance (K=0.812, 95% CI = 0.786-0.838). Individual FTDRP assays for adenovirus, respiratory syncytial virus and rhinovirus showed the lowest comparative sensitivities with in-house assays, with most discrepancies occurring with specimens containing low virus loads and failed to detect some rhinovirus strains, even when abundant. The FTDRP enterovirus and human bocavirus assays appeared to be more sensitive than the in-house assays with some specimens. With the exceptions noted above, most FTDRP assays performed comparably with in-house assays for most viruses while offering enhanced throughput and easy integration by laboratories using conventional real-time PCR instrumentation. Published by Elsevier B.V.

Real-time PCR assay targeting the actin gene for the detection of Cryptosporidium parvum in calf fecal samples

Cryptosporidium parvum infection is very important with respect to public health, owing to foodborne and waterborne outbreaks and gastrointestinal illness in immunocompetent and immunocompromised persons. In cattle, infection with this species manifests either as a subclinical disease or with diarrheal illness, which occurs more often in the presence of other infectious agents than when alone. The aim of this study was to develop a real-time polymerase chain reaction (PCR) assay for the detection of C. parvum in calf fecal samples and to compare the results of this assay with those of the method routinely used for the diagnosis of Cryptosporidium spp., nested PCR targeting the 18S rRNA gene. Two hundred and nine fecal samples from calves ranging in age from 1 day to 6 months were examined using real-time PCR specific for the actin gene of C. parvum and by a nested PCR targeting the 18S rRNA gene of Cryptosporidium spp. Using real-time PCR detection, 73.2% (153 out of 209) of the samples were positive for C. parvum, while 56.5% (118 out of 209) of the samples were positive for Cryptosporidium spp. when the nested PCR amplification method was used for the detection. The analytical sensitivity of the real-time PCR was approximately one C. parvum oocyst. There was no significant nonspecific DNA amplification of any of the following species and genotype: Cryptosporidium andersoni, Cryptosporidium baileyi, Cryptosporidium bovis, Cryptosporidium canis, Cryptosporidium galli, Cryptosporidium ryanae, Cryptosporidium serpentis, or avian genotype II. Thus, we conclude that real-time PCR targeting the actin gene is a sensitive and specific method for the detection of C. parvum in calf fecal samples.

Real-time PCR quantitation of glucocorticoid receptor alpha isoform

Abstract Background The expression of glucocorticoid-receptor (GR) seems to be a key mechanism in the regulation of glucocorticoid (GC) sensitivity and is potentially involved in cases of GC resistance or hypersensitivity. The aim of this study is to describe a method for quantitation of GR alpha isoform (GRα) expression using real-time PCR (qrt-PCR) with analytical capabilities to monitor patients, offering standard-curve reproducibility as well as intra- and inter-assay precision. Results Standard-curves were constructed by employing standardized Jurkat cell culture procedures, both for GRα and BCR (breakpoint cluster region), as a normalizing gene. We evaluated standard-curves using five different sets of cell culture passages, RNA extraction, reverse transcription, and qrt-PCR quantification. Intra-assay precision was evaluated using 12 replicates of each gene, for 2 patients, in a single experiment. Inter-assay precision was evaluated on 8 experiments, using duplicate tests of each gene for two patients. Standard-curves were reproducible, with CV (coefficient of variation) of less than 11%, and Pearson correlation coefficients above 0,990 for most comparisons. Intra-assay and inter-assay were 2% and 7%, respectively. Conclusion This is the first method for quantitation of GRα expression with technical characteristics that permit patient monitoring, in a fast, simple and robust way.

Value of adenosine infusion for infarct size determination using real-time myocardial contrast echocardiography

Abstract Background Myocardial contrast echocardiography has been used for determination of infarct size (IS) in experimental models. However, with intermittent harmonic imaging, IS seems to be underestimated immediately after reperfusion due to areas with preserved, yet dysfunctional, microvasculature. The use of exogenous vasodilators showed to be useful to unmask these infarcted areas with depressed coronary flow reserve. This study was undertaken to assess the value of adenosine for IS determination in an open-chest canine model of coronary occlusion and reperfusion, using real-time myocardial contrast echocardiography (RTMCE). Methods Nine dogs underwent 180 minutes of coronary occlusion followed by reperfusion. PESDA (Perfluorocarbon-Exposed Sonicated Dextrose Albumin) was used as contrast agent. IS was determined by RTMCE before and during adenosine infusion at a rate of 140 mcg·Kg-1·min-1. Post-mortem necrotic area was determined by triphenyl-tetrazolium chloride (TTC) staining. Results IS determined by RTMCE was 1.98 ± 1.30 cm2 and increased to 2.58 ± 1.53 cm2 during adenosine infusion (p = 0.004), with good correlation between measurements (r = 0.91; p < 0.01). The necrotic area determined by TTC was 2.29 ± 1.36 cm2 and showed no significant difference with IS determined by RTMCE before or during hyperemia. A slight better correlation between RTMCE and TTC measurements was observed during adenosine (r = 0.99; p < 0.001) then before it (r = 0.92; p = 0.0013). Conclusion RTMCE can accurately determine IS in immediate period after acute myocardial infarction. Adenosine infusion results in a slight better detection of actual size of myocardial damage.

Optimization and control of a continuous polymerization reactor

This work studies the optimization and control of a styrene polymerization reactor. The proposed strategy deals with the case where, because of market conditions and equipment deterioration, the optimal operating point of the continuous reactor is modified significantly along the operation time and the control system has to search for this optimum point, besides keeping the reactor system stable at any possible point. The approach considered here consists of three layers: the Real Time Optimization (RTO), the Model Predictive Control (MPC) and a Target Calculation (TC) that coordinates the communication between the two other layers and guarantees the stability of the whole structure. The proposed algorithm is simulated with the phenomenological model of a styrene polymerization reactor, which has been widely used as a benchmark for process control. The complete optimization structure for the styrene process including disturbances rejection is developed. The simulation results show the robustness of the proposed strategy and the capability to deal with disturbances while the economic objective is optimized.

A possible new mechanism for the control of miRNA expression in neurons

The control of gene expression by miRNAs has been widely investigated in different species and cell types. Following a probabilistic rather than a deterministic regimen, the action of these short nucleotide sequences on specific genes depends on intracellular concentration,which in turn reflects the balance between biosynthesis and degradation. Recent studies have described the involvement of XRN2, an exoribonuclease, in miRNA degradation and PAPD4, an atypical poly(A) polymerase, in miRNA stability. Herein, we examined the expression of XRN2 and PAPD4 in developing and adult rat hippocampi. Combining bioinformatics and real-time PCR,we demonstrated that XRN2 and PAPD4 expression is regulated by the uncorrelated action of transcription factors, resulting in distinct gene expression profiles during development. Analyses of nuclei position and nestin labeling revealed that both proteins progressively accumulated during neuronal differentiation, and that they are weakly expressed in immature neurons and absent in glial and endothelial cells. Despite the differences in subcellular localization, both genes were concurrently identified within identical neuronal subpopulations, including specific inhibitory interneurons. Thus, we cope with a singular circumstance in biology: an almost complete intersected expression of functional-opposed genes, reinforcing that their antagonistically driven actions on miRNAs “make sense” if simultaneously present at the same cells. Considering that the transcriptome in the nervous system is finely tuned to physiological processes, it was remarkable that miRNA stability-related genes were oncurrently identified in neurons that play essential roles in cognitive functions such as memory and learning. In summary, this study reveals a possible new mechanism for the control of miRNA expression.

Programmable logic design of a compact Genetic Algorithm for phasor estimation in real-time

The main objective of this work is to present an efficient method for phasor estimation based on a compact Genetic Algorithm (cGA) implemented in Field Programmable Gate Array (FPGA). To validate the proposed method, an Electrical Power System (EPS) simulated by the Alternative Transients Program (ATP) provides data to be used by the cGA. This data is as close as possible to the actual data provided by the EPS. Real life situations such as islanding, sudden load increase and permanent faults were considered. The implementation aims to take advantage of the inherent parallelism in Genetic Algorithms in a compact and optimized way, making them an attractive option for practical applications in real-time estimations concerning Phasor Measurement Units (PMUs).

Sviluppo di un sistema miniaturizzato per il controllo real-time di assetto di nano e microsatelliti

Microsatelliti e nanosatelliti, come ad esempio i Cubesat, sono carenti di sistemi integrati di controllo d’assetto e di manovra orbitale. Lo scopo di questa tesi è stato quello di realizzare un sistema compatibile con Cubesat di una unità, completo di attuatori magnetici e attuatori meccanici, comprendente tutti i sensori e l’elettronica necessaria per il suo funzionamento, creando un dispositivo totalmente indipendente dal veicolo su cui è installato, capace di funzionare sia autonomamente che ricevendo comandi da terra. Nella tesi sono descritte le campagne di simulazioni numeriche effettuate per validare le scelte tecnologiche effettuate, le fasi di sviluppo dell’elettronica e della meccanica, i test sui prototipi realizzati e il funzionamento del sistema finale. Una integrazione così estrema dei componenti può implicare delle interferenze tra un dispositivo e l’altro, come nel caso dei magnetotorquer e dei magnetometri. Sono stati quindi studiati e valutati gli effetti della loro interazione, verificandone l’entità e la validità del progetto. Poiché i componenti utilizzati sono tutti di basso costo e di derivazione terrestre, è stata effettuata una breve introduzione teorica agli effetti dell’ambiente spaziale sull’elettronica, per poi descrivere un sistema fault-tolerant basato su nuove teorie costruttive. Questo sistema è stato realizzato e testato, verificando così la possibilità di realizzare un controller affidabile e resistente all’ambiente spaziale per il sistema di controllo d’assetto. Sono state infine analizzate alcune possibili versioni avanzate del sistema, delineandone i principali aspetti progettuali, come ad esempio l’integrazione di GPS e l’implementazione di funzioni di determinazione d’assetto sfruttando i sensori presenti a bordo.

Cache-aware development of high integrity real-time systems

Cost, performance and availability considerations are forcing even the most conservative high-integrity embedded real-time systems industry to migrate from simple hardware processors to ones equipped with caches and other acceleration features. This migration disrupts the practices and solutions that industry had developed and consolidated over the years to perform timing analysis. Industry that are confident with the efficiency/effectiveness of their verification and validation processes for old-generation processors, do not have sufficient insight on the effects of the migration to cache-equipped processors. Caches are perceived as an additional source of complexity, which has potential for shattering the guarantees of cost- and schedule-constrained qualification of their systems. The current industrial approach to timing analysis is ill-equipped to cope with the variability incurred by caches. Conversely, the application of advanced WCET analysis techniques on real-world industrial software, developed without analysability in mind, is hardly feasible. We propose a development approach aimed at minimising the cache jitters, as well as at enabling the application of advanced WCET analysis techniques to industrial systems. Our approach builds on:(i) identification of those software constructs that may impede or complicate timing analysis in industrial-scale systems; (ii) elaboration of practical means, under the model-driven engineering (MDE) paradigm, to enforce the automated generation of software that is analyzable by construction; (iii) implementation of a layout optimisation method to remove cache jitters stemming from the software layout in memory, with the intent of facilitating incremental software development, which is of high strategic interest to industry. The integration of those constituents in a structured approach to timing analysis achieves two interesting properties: the resulting software is analysable from the earliest releases onwards - as opposed to becoming so only when the system is final - and more easily amenable to advanced timing analysis by construction, regardless of the system scale and complexity.

Development of parallelizable flood inundation models for large scale analysis

Flood disasters are a major cause of fatalities and economic losses, and several studies indicate that global flood risk is currently increasing. In order to reduce and mitigate the impact of river flood disasters, the current trend is to integrate existing structural defences with non structural measures. This calls for a wider application of advanced hydraulic models for flood hazard and risk mapping, engineering design, and flood forecasting systems. Within this framework, two different hydraulic models for large scale analysis of flood events have been developed. The two models, named CA2D and IFD-GGA, adopt an integrated approach based on the diffusive shallow water equations and a simplified finite volume scheme. The models are also designed for massive code parallelization, which has a key importance in reducing run times in large scale and high-detail applications. The two models were first applied to several numerical cases, to test the reliability and accuracy of different model versions. Then, the most effective versions were applied to different real flood events and flood scenarios. The IFD-GGA model showed serious problems that prevented further applications. On the contrary, the CA2D model proved to be fast and robust, and able to reproduce 1D and 2D flow processes in terms of water depth and velocity. In most applications the accuracy of model results was good and adequate to large scale analysis. Where complex flow processes occurred local errors were observed, due to the model approximations. However, they did not compromise the correct representation of overall flow processes. In conclusion, the CA model can be a valuable tool for the simulation of a wide range of flood event types, including lowland and flash flood events.

Nonlinear Observers for Sensorless Control of Permanent Magnet Synchronous Motors

In this thesis, the industrial application of control a Permanent Magnet Synchronous Motor in a sensorless configuration has been faced, and in particular the task of estimating the unknown “parameters” necessary for the application of standard motor control algorithms. In literature several techniques have been proposed to cope with this task, among them the technique based on model-based nonlinear observer has been followed. The hypothesis of neglecting the mechanical dynamics from the motor model has been applied due to practical and physical considerations, therefore only the electromagnetic dynamics has been used for the observers design. First observer proposed is based on stator currents and Stator Flux dynamics described in a generic rotating reference frame. Stator flux dynamics are known apart their initial conditions which are estimated, with speed that is also unknown, through the use of the Adaptive Theory. The second observer proposed is based on stator currents and Rotor Flux dynamics described in a self-aligning reference frame. Rotor flux dynamics are described in the stationary reference frame exploiting polar coordinates instead of classical Cartesian coordinates, by means the estimation of amplitude and speed of the rotor flux. The stability proof is derived in a Singular Perturbation Framework, which allows for the use the current estimation errors as a measure of rotor flux estimation errors. The stability properties has been derived using a specific theory for systems with time scale separation, which guarantees a semi-global practical stability. For the two observer ideal simulations and real simulations have been performed to prove the effectiveness of the observers proposed, real simulations on which the effects of the Inverter nonlinearities have been introduced, showing the already known problems of the model-based observers for low speed applications.

Hardware/Software Design of Dynamic Real-Time Schedulers for Embedded Multiprocessor Systems

The new generation of multicore processors opens new perspectives for the design of embedded systems. Multiprocessing, however, poses new challenges to the scheduling of real-time applications, in which the ever-increasing computational demands are constantly flanked by the need of meeting critical time constraints. Many research works have contributed to this field introducing new advanced scheduling algorithms. However, despite many of these works have solidly demonstrated their effectiveness, the actual support for multiprocessor real-time scheduling offered by current operating systems is still very limited. This dissertation deals with implementative aspects of real-time schedulers in modern embedded multiprocessor systems. The first contribution is represented by an open-source scheduling framework, which is capable of realizing complex multiprocessor scheduling policies, such as G-EDF, on conventional operating systems exploiting only their native scheduler from user-space. A set of experimental evaluations compare the proposed solution to other research projects that pursue the same goals by means of kernel modifications, highlighting comparable scheduling performances. The principles that underpin the operation of the framework, originally designed for symmetric multiprocessors, have been further extended first to asymmetric ones, which are subjected to major restrictions such as the lack of support for task migrations, and later to re-programmable hardware architectures (FPGAs). In the latter case, this work introduces a scheduling accelerator, which offloads most of the scheduling operations to the hardware and exhibits extremely low scheduling jitter. The realization of a portable scheduling framework presented many interesting software challenges. One of these has been represented by timekeeping. In this regard, a further contribution is represented by a novel data structure, called addressable binary heap (ABH). Such ABH, which is conceptually a pointer-based implementation of a binary heap, shows very interesting average and worst-case performances when addressing the problem of tick-less timekeeping of high-resolution timers.