Dynamic diagnosis based on interval analytical redundancy relations and signs of the symptoms

A model-based approach for fault diagnosis is proposed, where the fault detection is based on checking the consistencyof the Analytical Redundancy Relations (ARRs) using an interval tool. The tool takes into account the uncertainty in theparameters and the measurements using intervals. Faults are explicitly included in the model, which allows for the exploitation of additional information. This information is obtained from partial derivatives computed from the ARRs. The signs in the residuals are used to prune the candidate space when performing the fault diagnosis task. The method is illustrated using a two-tank example, in which these aspects are shown to have an impact on the diagnosis and fault discrimination, since the proposed method goes beyond the structural methods

Constraint satisfaction techniques under uncertain conditions for fault diagnosis in nonlinear dynamic systems

The speed of fault isolation is crucial for the design and reconfiguration of fault tolerant control (FTC). In this paper the fault isolation problem is stated as a constraint satisfaction problem (CSP) and solved using constraint propagation techniques. The proposed method is based on constraint satisfaction techniques and uncertainty space refining of interval parameters. In comparison with other approaches based on adaptive observers, the major advantage of the presented method is that the isolation speed is fast even taking into account uncertainty in parameters, measurements and model errors and without the monotonicity assumption. In order to illustrate the proposed approach, a case study of a nonlinear dynamic system is presented

Measurement of the dynamics in ski jumping using a wearable inertial sensor-based system.

Abstract Dynamics is a central aspect of ski jumping, particularly during take-off and stable flight. Currently, measurement systems able to measure ski jumping dynamics (e.g. 3D cameras, force plates) are complex and only available in few research centres worldwide. This study proposes a method to determine dynamics using a wearable inertial sensor-based system which can be used routinely on any ski jumping hill. The system automatically calculates characteristic dynamic parameters during take-off (position and velocity of the centre of mass perpendicular to the table, force acting on the centre of mass perpendicular to the table and somersault angular velocity) and stable flight (total aerodynamic force). Furthermore, the acceleration of the ski perpendicular to the table was quantified to characterise the skis lift at take-off. The system was tested with two groups of 11 athletes with different jump distances. The force acting on the centre of mass, acceleration of the ski perpendicular to the table, somersault angular velocity and total aerodynamic force were different between groups and correlated with the jump distances. Furthermore, all dynamic parameters were within the range of prior studies based on stationary measurement systems, except for the centre of mass mean force which was slightly lower.

Direct and indirect subsidies in markets with system goods in the presence of externalities. Preliminary version

This paper derives a model of markets with system goods and two technological standards. An established standard incurs lower unit production costs but causes a negative externality. The paper derives the conditions for policy intervention and compares the effect of direct and indirect cost-reducing subsidies in two markets with system goods in the presence of externalities. If consumers are committed to the technology by purchasing one of the components, direct subsidies are preferable. For a medium-low cost difference between technological standards and a low externality cost it is optimal to provide a direct subsidy only to the first technology adopter. As the higher the externality cost raises, the more technology adopters should be provided with direct subsidies. This effect is robust in all extensions. In the absence of consumers commitment to a technological standard indirect and direct subsidies are both desirable. In this case, the subsidy to the first adopter is lower then the subsidy to the second adopter. Moreover, for the low cost difference between technological standards and low externality cost the fi rst fi rm chooses a superior standard without policy intervention. Finally, a perfect compatibility between components based on different technological standards enhances an advantage of indirect subsidies for medium-high externality cost and cost difference between technological standards. Journal of Economic Literature Classi fication Numbers: C72, D21, D40, H23, L13, L22, L51, O25, O33, O38. Keywords: Technological standards; complementary products; externalities; cost-reducing subsidies; compatibility.

A 2D/3D image analysis system to track fluorescently labeled structures in rod-shaped cells: application to measure spindle pole asymmetry during mitosis.

BACKGROUND: The yeast Schizosaccharomyces pombe is frequently used as a model for studying the cell cycle. The cells are rod-shaped and divide by medial fission. The process of cell division, or cytokinesis, is controlled by a network of signaling proteins called the Septation Initiation Network (SIN); SIN proteins associate with the SPBs during nuclear division (mitosis). Some SIN proteins associate with both SPBs early in mitosis, and then display strongly asymmetric signal intensity at the SPBs in late mitosis, just before cytokinesis. This asymmetry is thought to be important for correct regulation of SIN signaling, and coordination of cytokinesis and mitosis. In order to study the dynamics of organelles or large protein complexes such as the spindle pole body (SPB), which have been labeled with a fluorescent protein tag in living cells, a number of the image analysis problems must be solved; the cell outline must be detected automatically, and the position and signal intensity associated with the structures of interest within the cell must be determined. RESULTS: We present a new 2D and 3D image analysis system that permits versatile and robust analysis of motile, fluorescently labeled structures in rod-shaped cells. We have designed an image analysis system that we have implemented as a user-friendly software package allowing the fast and robust image-analysis of large numbers of rod-shaped cells. We have developed new robust algorithms, which we combined with existing methodologies to facilitate fast and accurate analysis. Our software permits the detection and segmentation of rod-shaped cells in either static or dynamic (i.e. time lapse) multi-channel images. It enables tracking of two structures (for example SPBs) in two different image channels. For 2D or 3D static images, the locations of the structures are identified, and then intensity values are extracted together with several quantitative parameters, such as length, width, cell orientation, background fluorescence and the distance between the structures of interest. Furthermore, two kinds of kymographs of the tracked structures can be established, one representing the migration with respect to their relative position, the other representing their individual trajectories inside the cell. This software package, called "RodCellJ", allowed us to analyze a large number of S. pombe cells to understand the rules that govern SIN protein asymmetry. CONCLUSIONS: "RodCell" is freely available to the community as a package of several ImageJ plugins to simultaneously analyze the behavior of a large number of rod-shaped cells in an extensive manner. The integration of different image-processing techniques in a single package, as well as the development of novel algorithms does not only allow to speed up the analysis with respect to the usage of existing tools, but also accounts for higher accuracy. Its utility was demonstrated on both 2D and 3D static and dynamic images to study the septation initiation network of the yeast Schizosaccharomyces pombe. More generally, it can be used in any kind of biological context where fluorescent-protein labeled structures need to be analyzed in rod-shaped cells. AVAILABILITY: RodCellJ is freely available under http://bigwww.epfl.ch/algorithms.html, (after acceptance of the publication).

Dynamic regulation of notch 1 and notch 2 surface expression during T cell development and activation revealed by novel monoclonal antibodies.

It is well established that Notch signaling plays a critical role at multiple stages of T cell development and activation. However, detailed analysis of the cellular and molecular events associated with Notch signaling in T cells is hampered by the lack of reagents that can unambiguously measure cell surface Notch receptor expression. Using novel rat mAbs directed against the extracellular domains of Notch1 and Notch2, we find that Notch1 is already highly expressed on common lymphoid precursors in the bone marrow and remains at high levels during intrathymic maturation of CD4(-)CD8(-) thymocytes. Notch1 is progressively down-regulated at the CD4(+)CD8(+) and mature CD4(+) or CD8(+) thymic stages and is expressed at low levels on peripheral T cells. Immunofluorescence staining of thymus cryosections further revealed a localization of Notch1(+)CD25(-) cells adjacent to the thymus capsule. Notch1 was up-regulated on peripheral T cells following activation in vitro with anti-CD3 mAbs or infection in vivo with lymphocytic chorio-meningitis virus or Leishmania major. In contrast to Notch1, Notch2 was expressed at intermediate levels on common lymphoid precursors and CD117(+) early intrathymic subsets, but disappeared completely at subsequent stages of T cell development. However, transient up-regulation of Notch2 was also observed on peripheral T cells following anti-CD3 stimulation. Collectively our novel mAbs reveal a dynamic regulation of Notch1 and Notch2 surface expression during T cell development and activation. Furthermore they provide an important resource for future analysis of Notch receptors in various tissues including the hematopoietic system.

Understanding the two-component sensing System of virulent bacteria

Report for the scientific sojourn carried out at the l’ Institute for Computational Molecular Science of the Temple University, United States, from 2010 to 2012. Two-component systems (TCS) are used by pathogenic bacteria to sense the environment within a host and activate mechanisms related to virulence and antimicrobial resistance. A prototypical example is the PhoQ/PhoP system, which is the major regulator of virulence in Salmonella. Hence, PhoQ is an attractive target for the design of new antibiotics against foodborne diseases. Inhibition of the PhoQ-mediated bacterial virulence does not result in growth inhibition, presenting less selective pressure for the generation of antibiotic resistance. Moreover, PhoQ is a histidine kinase (HK) and it is absent in animals. Nevertheless, the design of satisfactory HK inhibitors has been proven to be a challenge. To compete with the intracellular ATP concentrations, the affinity of a HK inhibidor must be in the micromolar-nanomolar range, whereas the current lead compounds have at best millimolar affinities. Moreover, the drug selectivity depends on the conformation of a highly variable loop, referred to as the “ATP-lid, which is difficult to study by X-Ray crystallography due to its flexibility. I have investigated the binding of different HK inhibitors to PhoQ. In particular, all-atom molecular dynamics simulations have been combined with enhanced sampling techniques in order to provide structural and dynamic information of the conformation of the ATP-lid. Transient interactions between these drugs and the ATP-lid have been identified and the free energy of the different binding modes has been estimated. The results obtained pinpoint the importance of protein flexibility in the HK-inhibitor binding, and constitute a first step in developing more potent and selective drugs. The computational resources of the hosting institution as well as the experience of the members of the group in drug binding and free energy methods have been crucial to carry out this work.

Multiuser detection in a dynamic environment — Part II: Joint user identification and parameter estimation

The problem of jointly estimating the number, the identities, and the data of active users in a time-varying multiuser environment was examined in a companion paper (IEEE Trans. Information Theory, vol. 53, no. 9, September 2007), at whose core was the use of the theory of finite random sets on countable spaces. Here we extend that theory to encompass the more general problem of estimating unknown continuous parameters of the active-user signals. This problem is solved here by applying the theory of random finite sets constructed on hybrid spaces. We doso deriving Bayesian recursions that describe the evolution withtime of a posteriori densities of the unknown parameters and data.Unlike in the above cited paper, wherein one could evaluate theexact multiuser set posterior density, here the continuous-parameter Bayesian recursions do not admit closed-form expressions. To circumvent this difficulty, we develop numerical approximationsfor the receivers that are based on Sequential Monte Carlo (SMC)methods (“particle filtering”). Simulation results, referring to acode-divisin multiple-access (CDMA) system, are presented toillustrate the theory.

Do orthopaedic shoes improve local dynamic stability of gait? An observational study in patients with chronic foot and ankle injuries.

BACKGROUND: Complex foot and ankle fractures, such as calcaneum fractures or Lisfranc dislocations, are often associated with a poor outcome, especially in terms of gait capacity. Indeed, degenerative changes often lead to chronic pain and chronic functional limitations. Prescription footwear represents an important therapeutic tool during the rehabilitation process. Local Dynamic Stability (LDS) is the ability of locomotor system to maintain continuous walking by accommodating small perturbations that occur naturally during walking. Because it reflects the degree of control over the gait, LDS has been advocated as a relevant indicator for evaluating different conditions and pathologies. The aim of this study was to analyze changes in LDS induced by orthopaedic shoes in patients with persistent foot and ankle injuries. We hypothesised that footwear adaptation might help patients to improve gait control, which could lead to higher LDS: METHODS: Twenty-five middle-aged inpatients (5 females, 20 males) participated in the study. They were treated for chronic post-traumatic disabilities following ankle and/or foot fractures in a Swiss rehabilitation clinic. During their stay, included inpatients received orthopaedic shoes with custom-made orthoses (insoles). They performed two 30s walking trials with standard shoes and two 30s trials with orthopaedic shoes. A triaxial motion sensor recorded 3D accelerations at the lower back level. LDS was assessed by computing divergence exponents in the acceleration signals (maximal Lyapunov exponents). Pain was evaluated with Visual Analogue Scale (VAS). LDS and pain differences between the trials with standard shoes and the trials with orthopaedic shoes were assessed. RESULTS: Orthopaedic shoes significantly improved LDS in the three axes (medio-lateral: 10% relative change, paired t-test p < 0.001; vertical: 9%, p = 0.03; antero-posterior: 7%, p = 0.04). A significant decrease in pain level (VAS score -29%) was observed. CONCLUSIONS: Footwear adaptation led to pain relief and to improved foot & ankle proprioception. It is likely that that enhancement allows patients to better control foot placement. As a result, higher dynamic stability has been observed. LDS seems therefore a valuable index that could be used in early evaluation of footwear outcome in clinical settings.

Dynamic price competition with fixed capacities

Many revenue management (RM) industries are characterized by (a) fixed capacities in theshort term (e.g., hotel rooms, seats on an airline flight), (b) homogeneous products (e.g., twoairline flights between the same cities at similar times), and (c) customer purchasing decisionslargely influenced by price. Competition in these industries is also very high even with just twoor three direct competitors in a market. However, RM competition is not well understood andpractically all known implementations of RM software and most published models of RM donot explicitly model competition. For this reason, there has been considerable recent interestand research activity to understand RM competition. In this paper we study price competitionfor an oligopoly in a dynamic setting, where each of the sellers has a fixed number of unitsavailable for sale over a fixed number of periods. Demand is stochastic, and depending on howit evolves, sellers may change their prices at any time. This reflects the fact that firms constantly,and almost costlessly, change their prices (alternately, allocations at a price in quantity-basedRM), reacting either to updates in their estimates of market demand, competitor prices, orinventory levels. We first prove existence of a unique subgame-perfect equilibrium for a duopoly.In equilibrium, in each state sellers engage in Bertrand competition, so that the seller withthe lowest reservation value ends up selling a unit at a price that is equal to the equilibriumreservation value of the competitor. This structure hence extends the marginal-value conceptof bid-price control, used in many RM implementations, to a competitive model. In addition,we show that the seller with the lowest capacity sells all its units first. Furthermore, we extendthe results transparently to n firms and perform a number of numerical comparative staticsexploiting the uniqueness of the subgame-perfect equilibrium.

Emergence of Cooperation on Static and Dynamic Networks

Game theory is a branch of applied mathematics used to analyze situation where two or more agents are interacting. Originally it was developed as a model for conflicts and collaborations between rational and intelligent individuals. Now it finds applications in social sciences, eco- nomics, biology (particularly evolutionary biology and ecology), engineering, political science, international relations, computer science, and philosophy. Networks are an abstract representation of interactions, dependencies or relationships. Net- works are extensively used in all the fields mentioned above and in many more. Many useful informations about a system can be discovered by analyzing the current state of a network representation of such system. In this work we will apply some of the methods of game theory to populations of agents that are interconnected. A population is in fact represented by a network of players where one can only interact with another if there is a connection between them. In the first part of this work we will show that the structure of the underlying network has a strong influence on the strategies that the players will decide to adopt to maximize their utility. We will then introduce a supplementary degree of freedom by allowing the structure of the population to be modified along the simulations. This modification allows the players to modify the structure of their environment to optimize the utility that they can obtain.

Mating triggers dynamic immune regulations in wood ant queens.

Mating can affect female immunity in multiple ways. On the one hand, the immune system may be activated by pathogens transmitted during mating, sperm and seminal proteins, or wounds inflicted by males. On the other hand, immune defences may also be down-regulated to reallocate resources to reproduction. Ants are interesting models to study post-mating immune regulation because queens mate early in life, store sperm for many years, and use it until their death many years later, while males typically die after mating. This long-term commitment between queens and their mates limits the opportunity for sexual conflict but raises the new constraint of long-term sperm survival. In this study, we examine experimentally the effect of mating on immunity in wood ant queens. Specifically, we compared the phenoloxidase and antibacterial activities of mated and virgin Formica paralugubris queens. Queens had reduced levels of active phenoloxidase after mating, but elevated antibacterial activity 7 days after mating. These results indicate that the process of mating, dealation and ovary activation triggers dynamic patterns of immune regulation in ant queens that probably reflect functional responses to mating and pathogen exposure that are independent of sexual conflict.

Aqueous dynamic and histological findings after deep sclerectomy with collagen implant in an animal model.

AIM: The use of an animal model to study the aqueous dynamic and the histological findings after deep sclerectomy with (DSCI) and without collagen implant. METHODS: Deep sclerectomy was performed on rabbits' eyes. Eyes were randomly assigned to receive collagen implants. Measurements of intraocular pressure (IOP) and aqueous outflow facility using the constant pressure method through cannulation of the anterior chamber were performed. The system was filled with BSS and cationised ferritin. Histological assessment of the operative site was performed. Sections were stained with haematoxylin and eosin and with Prussian blue. Aqueous drainage vessels were identified by the reaction between ferritin and Prussian blue. All eyes were coded so that the investigator was blind to the type of surgery until the evaluation was completed. RESULTS: A significant decrease in IOP (p<0.05) was observed during the first 6 weeks after DSCI (mean IOP was 13.07 (2.95) mm Hg preoperatively and 9.08 (2.25) mm Hg at 6 weeks); DS without collagen implant revealed a significant decrease in IOP at weeks 4 and 8 after surgery (mean IOP 12.57 (3.52) mm Hg preoperatively, 9.45 (3.38) mm Hg at 4 weeks, and 9.22 (3.39) mm Hg at 8 weeks). Outflow facility was significantly increased throughout the 9 months of follow up in both DSCI and DS groups (p<0.05). The preoperative outflow facility (OF) was 0.15 (0.02) micro l/min/mm Hg. At 9 months, OF was 0.52 (0.28) microl/min/mm Hg and 0.46 (0.07) micro l/min/mm Hg for DSCI and DS respectively. Light microscopy studies showed the appearance of new aqueous drainage vessels in the sclera adjacent to the dissection site in DSCI and DS and the apparition of spindle cells lining the collagen implant in DSCI after 2 months. CONCLUSION: A significant IOP decrease was observed during the first weeks after DSCI and DS. DS with or without collagen implant provided a significant increase in outflow facility throughout the 9 months of follow up. This might be partly explained by new drainage vessels in the sclera surrounding the operated site. Microscopic studies revealed the appearance of spindle cells lining the collagen implant in DSCI after 2 months.

Construction and Quantitative Evaluation of a Dual Specific Promoter System for Monitoring the Expression Status of Stra8 and c-kit Genes.

Applications of genetic constructs with multiple promoters, which are fused with reporter genes and simultaneous monitoring of various events in cells, have gained special attention in recent years. Lentiviral vectors, with their distinctive characteristics, have been considered to monitor the developmental changes of cells in vitro. In this study, we constructed a novel lentiviral vector (FUM-M), containing two germ cell-specific promoters (Stra8 and c-kit), fused with ZsGreen and DsRed2 reporter genes, and evaluated its efficiency in different cells following treatments with retinoic acid and DMSO. Several cell lines (P19, GC-1 spg and HEK293T) were transduced with this vector, and functional capabilities of the promoters were verified by flow cytometry and quantitative RT-PCR. Our results indicate that FUM-M shows dynamic behavior in the presence and absence of extrinsic factors. A correlation was also observed between the function of promoters, present in the lentiviral construct and the endogenous level of the Stra8 and c-kit mRNAs in the cells. In conclusion, we recommend this strategy, which needs further optimization of the constructs, as a beneficial and practical way to screen chemical inducers involved in cellular differentiation toward germ-like cells.

Dynamic and Regulated Association of Caveolin with Lipid Bodies: Modulation of Lipid Body Motility and Function by a Dominant Negative Mutant

Caveolins are a crucial component of caveolae but have also been localized to the Golgi complex, and, under some experimental conditions, to lipid bodies (LBs). The physiological relevance and dynamics of LB association remain unclear. We now show that endogenous caveolin-1 and caveolin-2 redistribute to LBs in lipid loaded A431 and FRT cells. Association with LBs is regulated and reversible; removal of fatty acids causes caveolin to rapidly leave the lipid body. We also show by subcellular fractionation, light and electron microscopy that during the first hours of liver regeneration, caveolins show a dramatic redistribution from the cell surface to the newly formed LBs. At later stages of the regeneration process (when LBs are still abundant), the levels of caveolins in LBs decrease dramatically. As a model system to study association of caveolins with LBs we have used brefeldin A (BFA). BFA causes rapid redistribution of endogenous caveolins to LBs and this association was reversed upon BFA washout. Finally, we have used a dominant negative LB-associated caveolin mutant (cavDGV) to study LB formation and to examine its effect on LB function. We now show that the cavDGV mutant inhibits microtubule-dependent LB motility and blocks the reversal of lipid accumulation in LBs.