Scalable and efficient data processing in networked control systems

Network control systems (NCSs) are spatially distributed systems in which the communication between sensors, actuators and controllers occurs through a shared band-limited digital communication network. However, the use of a shared communication network, in contrast to using several dedicated independent connections, introduces new challenges which are even more acute in large scale and dense networked control systems. In this paper we investigate a recently introduced technique of gathering information from a dense sensor network to be used in networked control applications. Obtaining efficiently an approximate interpolation of the sensed data is exploited as offering a good tradeoff between accuracy in the measurement of the input signals and the delay to the actuation. These are important aspects to take into account for the quality of control. We introduce a variation to the state-of-the-art algorithms which we prove to perform relatively better because it takes into account the changes over time of the input signal within the process of obtaining an approximate interpolation.

Type-based protocol conformance and aliasing control in concurrent java programs

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Data-centric concurrency control on the java programming language

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Control in distribution networks with demand side management

The way in which electricity networks operate is going through a period of significant change. Renewable generation technologies are having a growing presence and increasing penetrations of generation that are being connected at distribution level. Unfortunately, a renewable energy source is most of the time intermittent and needs to be forecasted. Current trends in Smart grids foresee the accommodation of a variety of distributed generation sources including intermittent renewable sources. It is also expected that smart grids will include demand management resources, widespread communications and control technologies required to use demand response are needed to help the maintenance in supply-demand balance in electricity systems. Consequently, smart household appliances with controllable loads will be likely a common presence in our homes. Thus, new control techniques are requested to manage the loads and achieve all the potential energy present in intermittent energy sources. This thesis is focused on the development of a demand side management control method in a distributed network, aiming the creation of greater flexibility in demand and better ease the integration of renewable technologies. In particular, this work presents a novel multi-agent model-based predictive control method to manage distributed energy systems from the demand side, in presence of limited energy sources with fluctuating output and with energy storage in house-hold or car batteries. Specifically, here is presented a solution for thermal comfort which manages a limited shared energy resource via a demand side management perspective, using an integrated approach which also involves a power price auction and an appliance loads allocation scheme. The control is applied individually to a set of Thermal Control Areas, demand units, where the objective is to minimize the energy usage and not exceed the limited and shared energy resource, while simultaneously indoor temperatures are maintained within a comfort frame. Thermal Control Areas are overall thermodynamically connected in the distributed environment and also coupled by energy related constraints. The energy split is performed based on a fixed sequential order established from a previous completed auction wherein the bids are made by each Thermal Control Area, acting as demand side management agents, based on the daily energy price. The developed solutions are explained with algorithms and are applied to different scenarios, being the results explanatory of the benefits of the proposed approaches.

Rely-guarantee protocols for safe interference over shared memory

Mutable state can be useful in certain algorithms, to structure programs, or for efficiency purposes. However, when shared mutable state is used in non-local or nonobvious ways, the interactions that can occur via aliases to that shared memory can be a source of program errors. Undisciplined uses of shared state may unsafely interfere with local reasoning as other aliases may interleave their changes to the shared state in unexpected ways. We propose a novel technique, rely-guarantee protocols, that structures the interactions between aliases and ensures that only safe interference is possible. We present a linear type system outfitted with our novel sharing mechanism that enables controlled interference over shared mutable resources. Each alias is assigned separate, local roles encoded in a protocol abstraction that constrains how an alias can legally use that shared state. By following the spirit of rely-guarantee reasoning, our rely-guarantee protocols ensure that only safe interference can occur but still allow many interesting uses of shared state, such as going beyond invariant and monotonic usages. This thesis describes the three core mechanisms that enable our type-based technique to work: 1) we show how a protocol models an alias’s perspective on how the shared state evolves and constrains that alias’s interactions with the shared state; 2) we show how protocols can be used while enforcing the agreed interference contract; and finally, 3) we show how to check that all local protocols to some shared state can be safely composed to ensure globally safe interference over that shared memory. The interference caused by shared state is rooted at how the uses of di↵erent aliases to that state may be interleaved (perhaps even in non-deterministic ways) at run-time. Therefore, our technique is mostly agnostic as to whether this interference was the result of alias interleaving caused by sequential or concurrent semantics. We show implementations of our technique in both settings, and highlight their di↵erences. Because sharing is “first-class” (and not tied to a module), we show a polymorphic procedure that enables abstract compositions of protocols. Thus, protocols can be specialized or extended without requiring specific knowledge of the interference produce by other protocols to that state. We show that protocol composition can ensure safety even when considering abstracted protocols. We show that this core composition mechanism is sound, decidable (without the need for manual intervention), and provide an algorithm implementation.

Determination and control of schistosomiasis

The subject of this conference reflects the scientific community's interest in seeking to understand the complex causal web whose various social, economic, and biological components interact in the production and reproduction of schistosomiasis and its control in relation to community participation. From the onset, the author stresses the impossibility of dealing separately with community participation, as if social components were just one more "weapon" in the arsenal for schistosomiasis control. This study begins with a brief historical review of the 71 years of control activities with this endemic disease, stressing the enormous efforts and huge expenditures in this field vis-à-vis the limited results, despite the extraordinary technological development of specific, classical control inputs such as new treatment drugs and molluscicides. The article then discusses the various strategies used in control programs, emphasizing ideological consistencies and contradictions. Interactions at the macro and micro levels are discussed, as are the determinants and risk factors involved in producing the disease's endemicity. Unequal occupation of space leaves the segregated portion of the population exposed to extremely favorable conditions for transmission of the disease. This raises the issue of how to control an endemic disease which is so closely linked to the way of life imposed on the population. The study challenges the classical control model and suggests an alternative model now undergoing medium-term investigation in the States of Espirito Santo, and Pernambuco, Brazil. The author concludes that we do not need new strategies, but a new control model, contrary to the prevailing classical model in both concept and practice. From the conceptual point of view, the new model mentioned above is different from others in that schistosomiasis control is seen from a social perspective stressing the population's accumulated knowledge in addition to the building of shared knowledge. The model's praxis has the following characteristics: (1) it is integrated with and financed by research agencies and health services; (2) it operates at the local health services level; (3) use of molluscicides has been eliminated; (4) emphasis is given to individual medical treatment and improvement of sanitary conditions.

Sky Net : sistema de sincronización y control de versiones de documentos on-line

La función de la aplicación Sky Net (un sistema de control de versiones y sincronización de documentos on-line) será la de ofrecer un conjunto de herramientas capaces de establecer una comunicación cliente-servidor de forma transparente utilizando carpetas del disco duro. De esta forma el usuario final podrá tener todos sus documentos guardados en un servidor, poderlos recuperar en el momento que se desee, y tener los mismos documentos en todas las estaciones de trabajo que estén conectadas a la aplicación. Además se le añade una función de control de versiones que permitirá guardar el contenido de una carpeta bajo un identificador (nombre o versión), y poderlo recuperar más adelante aunque ya hayamos hecho modificaciones en los documentos de dicha carpeta. El proyecto se compone de dos aplicaciones: Sky Catcher, la aplicación cliente, y Sky Node, la aplicación servidor.

Gestión operaciones logísticas : planificación, gestión y control on-line de operaciones de descarga

Aplicación en entorno web para facilitar la planificación, control y gestión de operaciones logísticas de descarga en un almacén regulador que gestione diferentes clientes con varios orígenes y destinos. Permite el acceso concurrente de varios usuarios previamente autorizados con diferentes niveles de acceso a datos y actualizaciones. Su utilización y actualización de los datos permite mantener un control on-line de la actividad y dar visibilidad a los clientes. Los datos almacenados se convierten en una fuente única, compartida y exportable para posteriores usos en análisis de datos y procesos de mejora. Incorpora informes de actividad y de indicadores de calidad.

Tree and Brush Control For County Road Right-of-Way, Ocotober 2002

This manual summarizes the roadside tree and brush control methods used by all of Iowa's 99 counties. It is based on interviews conducted in Spring 2002 with county engineers, roadside managers and others. The target audience of this manual is the novice county engineer or roadside manager. Iowa law is nearly silent on roadside tree and brush control, so individual counties have been left to decide on the level of control they want to achieve and maintain. Different solutions have been developed but the goal of every county remains the same: to provide safe roads for the traveling public. Counties in eastern and southern Iowa appear to face the greatest brush control challenge. Most control efforts can be divided into two categories: mechanical and chemical. Mechanical control includes cutting tools and supporting equipment. A chain saw is the most widely used cutting tool. Tractor mounted boom mowers and brush cutters are used to prune miles of brush but have significant safety and aesthetic limitations and boom mowers are easily broken by inexperienced operators. The advent of tree shears and hydraulic thumbs offer unprecedented versatility. Bulldozers are often considered a method of last resort since they reduce large areas to bare ground. Any chipper that violently grabs brush should not be used. Chemical control is the application of herbicide to different parts of a plant: foliar spray is applied to leaves; basal bark spray is applied to the tree trunk; a cut stump treatment is applied to the cambium ring of a cut surface. There is reluctance by many to apply herbicide into the air due to drift concerns. One-third of Iowa counties do not use foliar spray. By contrast, several accepted control methods are directed toward the ground. Freshly cut stumps should be treated to prevent resprouting. Basal bark spray is highly effective in sensitive areas such as near houses. Interest in chemical control is slowly increasing as herbicides and application methods are refined. Fall burning, a third, distinctly separate technique is underused as a brush control method and can be effective if timed correctly. In all, control methods tend to reflect agricultural patterns in a county. The use of chain saws and foliar sprays tends to increase in counties where row crops predominate, and boom mowing tends to increase in counties where grassland predominates. For counties with light to moderate roadside brush, rotational maintenance is the key to effective control. The most comprehensive approach to control is to implement an integrated roadside vegetation management (IRVM) program. An IRVM program is usually directed by a Roadside Manager whose duties may be shared with another position. Funding for control programs comes from the Rural Services Basic portion of a county's budget. The average annual county brush control budget is about $76,000. That figure is thought not to include shared expenses such as fuel and buildings. Start up costs for an IRVM program are less if an existing control program is converted. In addition, IRVM budgets from three different northeastern Iowa counties are offered for comparison in this manual. The manual also includes a chapter on temporary traffic control in rural work zones, a summary of the Iowa Code as it relates to brush control, and rules on avoiding seasonal disturbance of the endangered Indiana bat. Appendices summarize survey and forest cover data, an equipment inventory, sample forms for record keeping, a sample brush control policy, a few legal opinions, a literature search, and a glossary.

A steroidomic approach for biomarkers discovery in doping control.

Anti-doping authorities have high expectations of the athlete steroidal passport (ASP) for anabolic-androgenic steroids misuse detection. However, it is still limited to the monitoring of known well-established compounds and might greatly benefit from the discovery of new relevant biomarkers candidates. In this context, steroidomics opens the way to the untargeted simultaneous evaluation of a high number of compounds. Analytical platforms associating the performance of ultra-high pressure liquid chromatography (UHPLC) and the high mass-resolving power of quadrupole time-of-flight (QTOF) mass spectrometers are particularly adapted for such purpose. An untargeted steroidomic approach was proposed to analyse urine samples from a clinical trial for the discovery of relevant biomarkers of testosterone undecanoate oral intake. Automatic peak detection was performed and a filter of reference steroid metabolites mass-to-charge ratio (m/z) values was applied to the raw data to ensure the selection of a subset of steroid-related features. Chemometric tools were applied for the filtering and the analysis of UHPLC-QTOF-MS(E) data. Time kinetics could be assessed with N-way projections to latent structures discriminant analysis (N-PLS-DA) and a detection window was confirmed. Orthogonal projections to latent structures discriminant analysis (O-PLS-DA) classification models were evaluated in a second step to assess the predictive power of both known metabolites and unknown compounds. A shared and unique structure plot (SUS-plot) analysis was performed to select the most promising unknown candidates and receiver operating characteristic (ROC) curves were computed to assess specificity criteria applied in routine doping control. This approach underlined the pertinence to monitor both glucuronide and sulphate steroid conjugates and include them in the athletes passport, while promising biomarkers were also highlighted.

Epithelial sodium channel/degenerin family of ion channels: a variety of functions for a shared structure.

The recently discovered epithelial sodium channel (ENaC)/degenerin (DEG) gene family encodes sodium channels involved in various cell functions in metazoans. Subfamilies found in invertebrates or mammals are functionally distinct. The degenerins in Caenorhabditis elegans participate in mechanotransduction in neuronal cells, FaNaC in snails is a ligand-gated channel activated by neuropeptides, and the Drosophila subfamily is expressed in gonads and neurons. In mammals, ENaC mediates Na+ transport in epithelia and is essential for sodium homeostasis. The ASIC genes encode proton-gated cation channels in both the central and peripheral nervous system that could be involved in pain transduction. This review summarizes the physiological roles of the different channels belonging to this family, their biophysical and pharmacological characteristics, and the emerging knowledge of their molecular structure. Although functionally different, the ENaC/DEG family members share functional domains that are involved in the control of channel activity and in the formation of the pore. The functional heterogeneity among the members of the ENaC/DEG channel family provides a unique opportunity to address the molecular basis of basic channel functions such as activation by ligands, mechanotransduction, ionic selectivity, or block by pharmacological ligands.

Tumor-host interactions Part 1: Stromal signatures of breast and prostate cancer Part 2: GLG1 and the control of the secretory pathway in tumor cells

Tumor-host interaction is a key determinant during cancer progression, from primary tumor growth to metastatic dissemination. At each step, tumor cells have to adapt to and subvert different types of microenvironment, leading to major phenotypic and genotypic alterations that affect both tumor and surrounding stromal compartments. Understanding the molecular mechanisms that govern tumor-host interplay may be essential for better comprehension of tumorigenesis in an effort to improve current anti-cancer therapies. The present work is composed of two projects that address tumor-host interactions from two different perspectives, the first focusing on the characterization of tumor-associated stroma and the second on membrane trafficking in tumor cells. Part 1. To selectively address stromal gene expression changes during cancer progression, oligonucleotide-based Affymetrix microarray technology was used to analyze the transcriptomes of laser-microdissected stromal cells derived from invasive human breast and prostate carcinoma. Comparison showed that invasive breast and prostate cancer elicit distinct, tumor-specific stromal responses, with a limited panel of shared induced and/or repressed genes. Both breast and prostate tumor-specific deregulated stromal gene sets displayed statistically significant survival-predictive ability for their respective tumor type. By contrast, a stromal gene signature common to both tumor types did not display prognostic value, although expression of two individual genes within this common signature was found to be associated with patient survival. Part 2. GLG1 is known as an E-selectin ligand and an intracellular FGF receptor, depending on cell type and context. Immunohistochemical and immunofluorescence analyses showed that GLG1 is primarily localized in the Golgi of human tumor cells, a central location in the biosynthetic/secretory pathways. GLG1 has been shown to interact with and to recruit the ARF GEF BIGI to the Golgi membrane. Depletion of GLG1 or BIGI markedly reduced ARF3 membrane localization and activation, and altered the Golgi structure. Interestingly, these perturbations did not impair constitutive secretion in general, but rather seemed to impair secretion of a specific subset of proteins that includes MMP-9. Thus, GLG1 coordinates ARF3 activation by recruiting BIGI to the Golgi membrane, thereby affecting secretion of specific molecules. - Les interactions tumeur-hôte constituent un élément essentiel à la progression tumorale, de la croissance de la tumeur primaire à la dissémination des métastases. A chaque étape, les cellules tumorales doivent s'adapter à différents types de microenvironnement et les détourner à leur propre avantage, donnant lieu à des altérations phénotypiques et génotypiques majeures qui affectent aussi bien la tumeur elle-même que le compartiment stromal environnant. L'étude des mécanismes moléculaires qui régissent les interactions tumeur-hôte constitue une étape essentielle pour une meilleure compréhension du processus de tumorigenèse dans le but d'améliorer les thérapies anti cancer existantes. Le travail présenté ici est composé de deux projets qui abordent la problématique des interactions tumeur-hôte selon différentes perspectives, le premier se concentrant sur la caractérisation du stroma tumoral et le second sur le trafic intracellulaire des cellules tumorales. Partie 1. Pour examiner les changements d'expression des gènes dans le stroma en réponse à la progression du cancer, des puces à ADN Affymetrix ont été utilisées afin d'analyser les transcriptomes des cellules stromales issues de carcinomes invasifs du sein et de la prostate et collectées par microdissection au laser. L'analyse comparative a montré que les cancers invasifs du sein et de la prostate provoquent des réponses stromales spécifiques à chaque type de tumeur, et présentent peu de gènes induits ou réprimés de façon similaire. L'ensemble des gènes dérégulés dans le stroma associé au cancer du sein, ou à celui de la prostate, présente une valeur pronostique pour les patients atteints d'un cancer du sein, respectivement de la prostate. En revanche, la signature stromale commune aux deux types de cancer n'a aucune valeur prédictive, malgré le fait que l'expression de deux gènes présents dans cette liste soit liée à la survie des patients. Partie 2. GLG1 est connu comme un ligand des sélectines E ainsi que comme récepteur intracellulaire pour des facteurs de croissances FGFs selon le type de cellule dans lequel il est exprimé. Des analyses immunohistochimiques et d'immunofluorescence ont montré que dans les cellules tumorales, GLG1 est principalement localisé au niveau de l'appareil de Golgi, une place centrale dans la voie biosynthétique et sécrétoire. Nous avons montré que GLG1 interagit avec la protéine BIGI et participe à son recrutement à la membrane du Golgi. L'absence de GLG1 ou de BIGI réduit drastiquement le pool d'ARF3 associé aux membranes ainsi que la quantité d'ARF3 activés, et modifie la structure de l'appareil de Golgi. Il est particulièrement intéressant de constater que ces perturbations n'ont pas d'effet sur la sécrétion constitutive en général, mais semblent plutôt affecter la sécrétion spécifique d'un sous-groupe défini de protéines comprenant MMP-9. GLG1 coordonne donc l'activation de ARF3 en recrutant BIGI à la membrane du Golgi, agissant par ce moyen sur la sécrétion de molécules spécifiques.

Maximising the duration of disease control in metastatic renal cell carcinoma with targeted agents: an expert agreement.

With six targeted agents approved (sorafenib, sunitinib, temsirolimus, bevacizumab [+interferon], everolimus and pazopanib), many patients with metastatic renal cell carcinoma (mRCC) will receive multiple therapies. However, the optimum sequencing approach has not been defined. A group of European experts reviewed available data and shared their clinical experience to compile an expert agreement on the sequential use of targeted agents in mRCC. To date, there are few prospective studies of sequential therapy. The mammalian target of rapamycin (mTOR) inhibitor everolimus was approved for use in patients who failed treatment with inhibitors of vascular endothelial growth factor (VEGF) and VEGF receptors (VEGFR) based on the results from a Phase III placebo-controlled study; however, until then, the only licensed agents across the spectrum of mRCC were VEGF(R) inhibitors (sorafenib, sunitinib and bevacizumab + interferon), and as such, a large body of evidence has accumulated regarding their use in sequence. Data show that sequential use of VEGF(R) inhibitors may be an effective treatment strategy to achieve prolonged clinical benefit. The optimal place of each targeted agent in the treatment sequence is still unclear, and data from large prospective studies are needed. The Phase III AXIS study of second-line sorafenib vs. axitinib (including post-VEGF(R) inhibitors) has completed, but the data are not yet published; other ongoing studies include the Phase III SWITCH study of sorafenib-sunitinib vs. sunitinib-sorafenib (NCT00732914); the Phase III 404 study of temsirolimus vs. sorafenib post-sunitinib (NCT00474786) and the Phase II RECORD 3 study of sunitinib-everolimus vs. everolimus-sunitinib (NCT00903175). Until additional data are available, consideration of patient response and tolerability to treatment may facilitate current decision-making regarding when to switch and which treatment to switch to in real-life clinical practice.

Brief cognitive assessment instruments in schizophrenia and bipolar patients, and healthy control subjects: A comparison study between the Brief Cognitive Assessment Tool for Schizophrenia (B-CATS) and the Screen for Cognitive Impairment in Psychiatry (SCIP)

Cognitive impairment in schizophrenia and psychosis is ubiquitous and acknowledged as a core feature of clinical expression, pathophysiology, and prediction of functioning. However, assessment of cognitive functioning is excessively time-consuming in routine practice, and brief cognitive instruments specific to psychosis would be of value. Two screening tools have recently been created to address this issue, i.e., the Brief Cognitive Assessment Tool for Schizophrenia (B-CATS) and the Screen for Cognitive Impairment in Psychiatry (SCIP). The aim of this research was to examine the comparative validity of these two brief instruments in relation to a global cognitive score. 161 patients with psychosis (96 patients diagnosed with schizophrenia and 65 patients diagnosed with bipolar disorder) and 76 healthy control subjects were tested with both instruments to examine their concurrent validity relative to a more comprehensive neuropsychological assessment battery. Scores from the B-CATS and the SCIP were highly correlated in the three diagnostic groups, and both scales showed good to excellent concurrent validity relative to a Global Cognitive Composite Score (GCCS) derived from the more comprehensive examination. The SCIP-S showed better predictive value of global cognitive impairment than the B-CATS. Partial and semi-partial correlations showed slightly higher percentages of both shared and unique variance between the SCIP-S and the GCCS than between the B-CATS and the GCCS. Brief instruments for assessing cognition in schizophrenia and bipolar disorders, such as the SCIP-S and B-CATS, seem to be reliable and promising tools for use in routine clinical practice.

Hybrid optimization schemes for quantum control

Optimal control theory is a powerful tool for solving control problems in quantum mechanics, ranging from the control of chemical reactions to the implementation of gates in a quantum computer. Gradient-based optimization methods are able to find high fidelity controls, but require considerable numerical effort and often yield highly complex solutions. We propose here to employ a two-stage optimization scheme to significantly speed up convergence and achieve simpler controls. The control is initially parametrized using only a few free parameters, such that optimization in this pruned search space can be performed with a simplex method. The result, considered now simply as an arbitrary function on a time grid, is the starting point for further optimization with a gradient-based method that can quickly converge to high fidelities. We illustrate the success of this hybrid technique by optimizing a geometric phase gate for two superconducting transmon qubits coupled with a shared transmission line resonator, showing that a combination of Nelder-Mead simplex and Krotov’s method yields considerably better results than either one of the two methods alone.