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

Comparison of Work Scheduling Using Constraint Programming or Auctions

Business processes designers take into account the resources that the processes would need, but, due to the variable cost of certain parameters (like energy) or other circumstances, this scheduling must be done when business process enactment. In this report we formalize the energy aware resource cost, including time and usage dependent rates. We also present a constraint programming approach and an auction-based approach to solve the mentioned problem including a comparison of them and a comparison of the proposed algorithms for solving them

Renal sodium handling in acute and chronic salt loading/depletion protocols: the confounding influence of acute water loading.

OBJECTIVES: Renal tubular sodium handling was measured in healthy subjects submitted to acute and chronic salt-repletion/salt-depletion protocols. The goal was to compare the changes in proximal and distal sodium handling induced by the two procedures using the lithium clearance technique. METHODS: In nine subjects, acute salt loading was obtained with a 2 h infusion of isotonic saline, and salt depletion was induced with a low-salt diet and furosemide. In the chronic protocol, 15 subjects randomly received a low-, a regular- and a high-sodium diet for 1 week. In both protocols, renal and systemic haemodynamics and urinary electrolyte excretion were measured after an acute water load. In the chronic study, sodium handling was also determined, based on 12 h day- and night-time urine collections. RESULTS: The acute and chronic protocols induced comparable changes in sodium excretion, renal haemodynamics and hormonal responses. Yet, the relative contribution of the proximal and distal nephrons to sodium excretion in response to salt loading and depletion differed in the two protocols. Acutely, subjects appeared to regulate sodium balance mainly by the distal nephron, with little contribution of the proximal tubule. In contrast, in the chronic protocol, changes in sodium reabsorption could be measured both in the proximal and distal nephrons. Acute water loading was an important confounding factor which increased sodium excretion by reducing proximal sodium reabsorption. This interference of water was particularly marked in salt-depleted subjects. CONCLUSION: Acute and chronic salt loading/salt depletion protocols investigate different renal mechanisms of control of sodium balance. The endogenous lithium clearance technique is a reliable method to assess proximal sodium reabsorption in humans. However, to investigate sodium handling in diseases such as hypertension, lithium should be measured preferably on 24 h or overnight urine collections to avoid the confounding influence of water.

Bit loading for MIMO with statistical channel information at the transmitter and ZF receivers

For single-user MIMO communication with uncoded and coded QAM signals, we propose bit and power loading schemes that rely only on channel distribution information at the transmitter. To that end, we develop the relationship between the average bit error probability at the output of a ZF linear receiver and the bit rates and powers allocated at the transmitter. This relationship, and the fact that a ZF receiver decouples the MIMO parallel channels, allow leveraging bit loading algorithms already existing in the literature. We solve dual bit rate maximization and power minimization problems and present performance resultsthat illustrate the gains of the proposed scheme with respect toa non-optimized transmission.

Identification and characterization of the Arabidopsis PHO1 gene involved in phosphate loading to the xylem.

The Arabidopsis mutant pho1 is deficient in the transfer of Pi from root epidermal and cortical cells to the xylem. The PHO1 gene was identified by a map-based cloning strategy. The N-terminal half of PHO1 is mainly hydrophilic, whereas the C-terminal half has six potential membrane-spanning domains. PHO1 shows no homology with any characterized solute transporter, including the family of H(+)-Pi cotransporters identified in plants and fungi. PHO1 shows highest homology with the Rcm1 mammalian receptor for xenotropic murine leukemia retroviruses and with the Saccharomyces cerevisiae Syg1 protein involved in the mating pheromone signal transduction pathway. PHO1 is expressed predominantly in the roots and is upregulated weakly under Pi stress. Studies with PHO1 promoter-beta-glucuronidase constructs reveal predominant expression of the PHO1 promoter in the stelar cells of the root and the lower part of the hypocotyl. There also is beta-glucuronidase staining of endodermal cells that are adjacent to the protoxylem vessels. The Arabidopsis genome contains 10 additional genes showing homology with PHO1. Thus, PHO1 defines a novel class of proteins involved in ion transport in plants.

In vivo loading increases mechanical properties of scaffold by affecting bone formation and bone resorption rates.

A successful bone tissue engineering strategy entails producing bone-scaffold constructs with adequate mechanical properties. Apart from the mechanical properties of the scaffold itself, the forming bone inside the scaffold also adds to the strength of the construct. In this study, we investigated the role of in vivo cyclic loading on mechanical properties of a bone scaffold. We implanted PLA/β-TCP scaffolds in the distal femur of six rats, applied external cyclic loading on the right leg, and kept the left leg as a control. We monitored bone formation at 7 time points over 35 weeks using time-lapsed micro-computed tomography (CT) imaging. The images were then used to construct micro-finite element models of bone-scaffold constructs, with which we estimated the stiffness for each sample at all time points. We found that loading increased the stiffness by 60% at 35 weeks. The increase of stiffness was correlated to an increase in bone volume fraction of 18% in the loaded scaffold compared to control scaffold. These changes in volume fraction and related stiffness in the bone scaffold are regulated by two independent processes, bone formation and bone resorption. Using time-lapsed micro-CT imaging and a newly-developed longitudinal image registration technique, we observed that mechanical stimulation increases the bone formation rate during 4-10 weeks, and decreases the bone resorption rate during 9-18 weeks post-operatively. For the first time, we report that in vivo cyclic loading increases mechanical properties of the scaffold by increasing the bone formation rate and decreasing the bone resorption rate.

Effect of sodium loading/depletion on renal oxygenation in young normotensive and hypertensive men.

The goal of this study was to investigate the effect of sodium intake on renal tissue oxygenation in humans. To this purpose, we measured renal hemodynamics, renal sodium handling, and renal oxygenation in normotensive (NT) and hypertensive (HT) subjects after 1 week of a high-sodium and 1 week of a low-sodium diet. Renal oxygenation was measured using blood oxygen level-dependent magnetic resonance. Tissue oxygenation was determined by the measurement of R2* maps on 4 coronal slices covering both kidneys. The mean R2* values in the medulla and cortex were calculated, with a low R2* indicating a high tissue oxygenation. Ten male NT (mean age: 26.5+/-7.4 years) and 8 matched HT subjects (mean age: 28.8+/-5.7 years) were studied. Cortical R2* was not different under the 2 conditions of salt intake. Medullary R2* was significantly lower under low sodium than high sodium in both NT and HT subjects (28.1+/-0.8 versus 31.3+/-0.6 s(-1); P<0.05 in NT; and 27.9+/-1.5 versus 30.3+/-0.8 s(-1); P<0.05, in HT), indicating higher medullary oxygenation under low-sodium conditions. In NT subjects, medullary oxygenation was positively correlated with proximal reabsorption of sodium and negatively with absolute distal sodium reabsorption, but not with renal plasma flow. In HT subjects, medullary oxygenation correlated with the 24-hour sodium excretion but not with proximal or with the distal handling of sodium. These data demonstrate that dietary sodium intake influences renal tissue oxygenation, low sodium intake leading to an increased renal medullary oxygenation both in normotensive and young hypertensive subjects.

Endotoxin impairs cardiac hemodynamics by affecting loading conditions but not by reducing cardiac inotropism.

Acute myocardial dysfunction is a typical manifestation of septic shock. Experimentally, the administration of endotoxin [lipopolysacharride (LPS)] to laboratory animals is frequently used to study such dysfunction. However, a majority of studies used load-dependent indexes of cardiac function [including ejection fraction (EF) and maximal systolic pressure increment (dP/dt(max))], which do not directly explore cardiac inotropism. Therefore, we evaluated the direct effects of LPS on myocardial contractility, using left ventricular (LV) pressure-volume catheters in mice. Male BALB/c mice received an intraperitoneal injection of E. coli LPS (1, 5, 10, or 20 mg/kg). After 2, 6, or 20 h, cardiac function was analyzed in anesthetized, mechanically ventilated mice. All doses of LPS induced a significant drop in LV stroke volume and a trend toward reduced cardiac output after 6 h. Concomitantly, there was a significant decrease of LV preload (LV end-diastolic volume), with no apparent change in LV afterload (evaluated by effective arterial elastance and systemic vascular resistance). Load-dependent indexes of LV function were markedly reduced at 6 h, including EF, stroke work, and dP/dt(max). In contrast, there was no reduction of load-independent indexes of LV contractility, including end-systolic elastance (ejection phase measure of contractility) and the ratio dP/dt(max)/end-diastolic volume (isovolumic phase measure of contractility), the latter showing instead a significant increase after 6 h. All changes were transient, returning to baseline values after 20 h. Therefore, the alterations of cardiac function induced by LPS are entirely due to altered loading conditions, but not to reduced contractility, which may instead be slightly increased.

Comparison of human chromosome 21 conserved nongenic sequences (CNGs) with the mouse and dog genomes shows that their selective constraint is independent of their genic environment.

The analysis of conservation between the human and mouse genomes resulted in the identification of a large number of conserved nongenic sequences (CNGs). The functional significance of this nongenic conservation remains unknown, however. The availability of the sequence of a third mammalian genome, the dog, allows for a large-scale analysis of evolutionary attributes of CNGs in mammals. We have aligned 1638 previously identified CNGs and 976 conserved exons (CODs) from human chromosome 21 (Hsa21) with their orthologous sequences in mouse and dog. Attributes of selective constraint, such as sequence conservation, clustering, and direction of substitutions were compared between CNGs and CODs, showing a clear distinction between the two classes. We subsequently performed a chromosome-wide analysis of CNGs by correlating selective constraint metrics with their position on the chromosome and relative to their distance from genes. We found that CNGs appear to be randomly arranged in intergenic regions, with no bias to be closer or farther from genes. Moreover, conservation and clustering of substitutions of CNGs appear to be completely independent of their distance from genes. These results suggest that the majority of CNGs are not typical of previously described regulatory elements in terms of their location. We propose models for a global role of CNGs in genome function and regulation, through long-distance cis or trans chromosomal interactions.

Constraint and cost of oxidative stress on reproduction: correlative evidence in laboratory mice and review of the literature.

ABSTRACT: BACKGROUND: One central concept in evolutionary ecology is that current and residual reproductive values are negatively linked by the so-called cost of reproduction. Previous studies examining the nature of this cost suggested a possible involvement of oxidative stress resulting from the imbalance between pro- and anti-oxidant processes. Still, data remain conflictory probably because, although oxidative damage increases during reproduction, high systemic levels of oxidative stress might also constrain parental investment in reproduction. Here, we investigated variation in oxidative balance (i.e. oxidative damage and antioxidant defences) over the course of reproduction by comparing female laboratory mice rearing or not pups. RESULTS: A significant increase in oxidative damage over time was only observed in females caring for offspring, whereas antioxidant defences increased over time regardless of reproductive status. Interestingly, oxidative damage measured prior to reproduction was negatively associated with litter size at birth (constraint), whereas damage measured after reproduction was positively related to litter size at weaning (cost). CONCLUSIONS: Globally, our correlative results and the review of literature describing the links between reproduction and oxidative stress underline the importance of timing/dynamics when studying and interpreting oxidative balance in relation to reproduction. Our study highlights the duality (constraint and cost) of oxidative stress in life-history trade-offs, thus supporting the theory that oxidative stress plays a key role in life-history evolution.

Studies of the renal effects of angiotensin II receptor blockade: the confounding factor of acute water loading on the action of vasoactive systems.

The acute renal tubular effects of two pharmacologically distinct angiotensin II receptor antagonists have been evaluated in normotensive volunteers on various salt diets. In the first study, the renal response to a single oral dose of losartan (100 mg) was assessed in subjects on a low (50 mmol Na/d) and on a high (200 mmol Na/d) salt intake. In a second protocol, the renal effects of 50 mg irbesartan were investigated in subjects receiving a 100 mmol Na/d diet. Both angiotensin II antagonists induced a significant increase in urinary sodium excretion. With losartan, a modest, transient increase in urinary potassium and a significant increase in uric acid excretion were found. In contrast, no change in potassium and uric acid excretions were observed with irbesartan, suggesting that the effects of losartan on potassium and uric acid are due to the intrinsic pharmacologic properties of losartan rather than to the specific blockade of renal angiotensin II receptors. Assessment of segmental sodium reabsorption using lithium as a marker of proximal tubular reabsorption demonstrated a decreased distal reabsorption of sodium with both antagonists. A direct proximal tubular natriuretic effect of the angiotensin II antagonist could be demonstrated only with irbesartan. This apparent discrepancy allowed us to reveal the importance of acute water loading as a possible confounding factor in renal studies. The results of the present analysis show that acute water loading per se may enhance renal sodium excretion and hence modify the level of activity of the renin-angiotensin system expected from a given sodium diet. Since acute water loading is a common practice in clinical renal studies, this confounding factor should be taken into account when investigating the renal effects of vasoactive systems.

Drug-eluting beads loaded with antiangiogenic agents for chemoembolization: in vitro sunitinib loading and release and in vivo pharmacokinetics in an animal model.

PURPOSE: The combination of embolic beads with a multitargeted tyrosine kinase inhibitor that inhibits tumor vessel growth is suggested as an alternative and improvement to the current standard doxorubicin-eluting beads for use in transarterial chemoembolization. This study demonstrates the in vitro loading and release kinetics of sunitinib using commercially available embolization microspheres and evaluates the in vitro biologic efficacy on cell cultures and the resulting in vivo pharmacokinetics profiles in an animal model. MATERIALS AND METHODS: DC Bead microspheres, 70-150 µm and 100-300 µm (Biocompatibles Ltd., Farnham, United Kingdom), were loaded by immersion in sunitinib solution. Drug release was measured in saline in a USP-approved flow-through apparatus and quantified by spectrophotometry. Activity after release was confirmed in cell culture. For pharmacokinetics and in vivo toxicity evaluation, New Zealand white rabbits received sunitinib either by intraarterial injection of 100-300 µm sized beads or per os. Plasma and liver tissue drug concentrations were assessed by liquid chromatography-tandem mass spectroscopy. RESULTS: Sunitinib loading on beads was close to complete and homogeneous. A total release of 80% in saline was measured, with similar fast-release profiles for both sphere sizes. After embolization, drug plasma levels remained below the therapeutic threshold (< 50 ng/mL), but high concentrations at 6 hours (14.9 µg/g) and 24 hours (3.4 µg/g) were found in the liver tissue. CONCLUSIONS: DC Bead microspheres of two sizes were efficiently loaded with sunitinib and displayed a fast and almost complete release in saline. High liver drug concentrations and low systemic levels indicated the potential of sunitinib-eluting beads for use in embolization.

Repeated sprinting on natural grass impairs vertical stiffness but does not alter plantar loading in soccer players.

This study aimed to determine changes in spring-mass model (SMM) characteristics, plantar pressures, and muscle activity induced by the repetition of sprints in soccer-specific conditions; i.e., on natural grass with soccer shoes. Thirteen soccer players performed 6 × 20 m sprints interspersed with 20 s of passive recovery. Plantar pressure distribution was recorded via an insole pressure recorder device divided into nine areas for analysis. Stride temporal parameters allowed to estimate SMM characteristics. Surface electromyographic activity was monitored for vastus lateralis, rectus femoris, and biceps femoris muscles. Sprint time, contact time, and total stride duration lengthened from the first to the last repetition (+6.7, +12.9, and +9.3%; all P < 0.05), while flight time, swing time, and stride length remained constant. Stride frequency decrease across repetitions approached significance (-6.8%; P = 0.07). No main effect of the sprint number or any significant interaction between sprint number and foot region was found for maximal force, mean force, peak pressure and mean pressure (all P > 0.05). Center of mass vertical displacement increased (P < 0.01) with time, together with unchanged (both P > 0.05) peak vertical force and leg compression. Vertical stiffness decreased (-15.9%; P < 0.05) across trials, whereas leg stiffness changes were not significant (-5.9%; P > 0.05). Changes in root mean square activity of the three tested muscles over sprint repetitions were not significant. Although repeated sprinting on natural grass with players wearing soccer boots impairs their leg-spring behavior (vertical stiffness), there is no substantial concomitant alterations in muscle activation levels or plantar pressure patterns.

Gauge-invariant actions from constraint Hamiltonian dynamics

Dirac's constraint Hamiltonian formalism is used to construct a gauge-invariant action for the massive spin-one and -two fields.