54 resultados para Converse Lyapunov theorem


Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper presents a trajectory-tracking control strategy for a class of mechanical systems in Hamiltonian form. The class is characterised by a simplectic interconnection arising from the use of generalised coordinates and full actuation. The tracking error dynamic is modelled as a port-Hamiltonian Systems (PHS). The control action is designed to take the error dynamics into a desired closed-loop PHS characterised by a constant mass matrix and a potential energy with a minimum at the origin. A transformation of the momentum and a feedback control is exploited to obtain a constant generalised mass matrix in closed loop. The stability of the close-loop system is shown using the close-loop Hamiltonian as a Lyapunov function. The paper also considers the addition of integral action to design a robust controller that ensures tracking in spite of disturbances. As a case study, the proposed control design methodology is applied to a fully actuated robotic manipulator.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Real-world cryptographic protocols such as the widely used Transport Layer Security (TLS) protocol support many different combinations of cryptographic algorithms (called ciphersuites) and simultaneously support different versions. Recent advances in provable security have shown that most modern TLS ciphersuites are secure authenticated and confidential channel establishment (ACCE) protocols, but these analyses generally focus on single ciphersuites in isolation. In this paper we extend the ACCE model to cover protocols with many different sub-protocols, capturing both multiple ciphersuites and multiple versions, and define a security notion for secure negotiation of the optimal sub-protocol. We give a generic theorem that shows how secure negotiation follows, with some additional conditions, from the authentication property of secure ACCE protocols. Using this framework, we analyse the security of ciphersuite and three variants of version negotiation in TLS, including a recently proposed mechanism for detecting fallback attacks.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

To further investigate susceptibility loci identified by genome-wide association studies, we genotyped 5,500 SNPs across 14 associated regions in 8,000 samples from a control group and 3 diseases: type 2 diabetes (T2D), coronary artery disease (CAD) and Graves' disease. We defined, using Bayes theorem, credible sets of SNPs that were 95% likely, based on posterior probability, to contain the causal disease-associated SNPs. In 3 of the 14 regions, TCF7L2 (T2D), CTLA4 (Graves' disease) and CDKN2A-CDKN2B (T2D), much of the posterior probability rested on a single SNP, and, in 4 other regions (CDKN2A-CDKN2B (CAD) and CDKAL1, FTO and HHEX (T2D)), the 95% sets were small, thereby excluding most SNPs as potentially causal. Very few SNPs in our credible sets had annotated functions, illustrating the limitations in understanding the mechanisms underlying susceptibility to common diseases. Our results also show the value of more detailed mapping to target sequences for functional studies. © 2012 Nature America, Inc. All rights reserved.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Background Grass pollens are major triggers of allergic rhinitis and asthma, but the immunological relationships between pollen allergens of the subtropical Bahia grass, Paspalum notatum, and temperate grasses are unresolved. Objective To assess serum IgE cross-reactivity between subtropical P. notatum and temperate Lolium perenne (Ryegrass) pollen allergens. Methods Serum IgE reactivities of grass pollen-allergic patients with P. notatum, L. perenne and Cynodon dactylon (Bermuda grass) pollen extracts and their respective purified group 1 allergens, Pas n 1, Lol p 1 and Cyn d 1, were compared by immunoblotting, ELISA and basophil activation. Results In a cohort of 51 patients from a temperate region, a high frequency of IgE reactivity with each grass pollen was detected, but reactivity with L. perenne pollen was substantially greater than with P. notatum and C. dactylon pollen. Similarly, serum IgE reactivity with Lol p 1 was greater than with Pas n 1 or Cyn d 1. For seven of eight sera studied in detail, asymmetric serum IgE cross-reactivity was observed; L. perenne pollen inhibited IgE reactivity with P. notatum pollen but not the converse, and IgE reactivity with Pas n 1 was inhibited by Lol p 1 but IgE reactivity with Lol p 1 was not inhibited by Pas n 1 or Cyn d 1. Importantly, P. notatum pollen and Pas n 1 activated basophils in grass pollen-allergic patients from a temperate region, although stimulation was greater by pollen of L. perenne than P. notatum or C. dactylon, and by Lol p 1 than Pas n 1 or Cyn d 1. In contrast, a cohort of 47 patients from a subtropical region showed similar IgE reactivity with P. notatum and L. perenne pollen, and reciprocal cross-inhibition of IgE reactivity between L. perenne and P. notatum. Conclusions Pollen allergens of the subtropical P. notatum, including Pas n 1, show clinically relevant IgE cross-reactivity with pollen allergens of L. perenne but also species-specific IgE reactivity.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Background The subtropical Bahia grass (Paspalum notatum) is an important source of pollen allergens with an extended season of pollination and wide distribution in warmer climates. The immunological relationship between pollen allergens of Bahia grass and temperate grasses is unresolved. Methods Serum IgE reactivity of grass pollen-allergic patients with Bahia, Ryegrass and Bermuda grass pollen extracts and their purified group 1 allergens, Pas n 1, Lol p 1 and Cyn d 1, were compared by immunoblotting, ELISA, inhibition ELISA, basophil activation by flow cytometry and molecular modeling. Results Differences in antibody recognition of allergenic components between Bahia grass and Ryegrass pollen were observed by immunoblotting. Eight grass pollen-allergic patients from a temperate region showed greater serum IgE reactivity with Ryegrass pollen than Bahia grass by ELISA. For seven of these sera, Ryegrass pollen inhibited IgE reactivity with Bahia grass pollen but not the converse. For 51 sera from grass pollen-allergic patients in this temperate region, IgE reactivity with Lol p 1 was greater than Pas n 1 or Cyn d 1. IgE reactivity with Lol p 1 was not inhibited by Pas n 1 or Cyn d 1, but Pas n 1 IgE reactivity was inhibited by Lol p 1. Two group 1 grass pollen allergen-specific mAb distinguished between temperate and subtropical grass pollens. Basophil activation for three patients tested was greater by Ryegrass pollen than Bahia or Bermuda grass, and by Lol p 1 than Pas n 1 or Cyn d 1. In contrast, two patients from a subtropical region had higher serum IgE reactivity with Bahia grass pollen than Ryegrass and Bahia grass pollen inhibited IgE reactivity with Ryegrass. A structural model of Pas n 1 showed amino acids implicated in IgE epitopes of other group 1 allergens were juxtaposed on the surface. Conclusion Allergens from subtropical Bahia grass pollen, including Pas n 1, share antigenic determinants with temperate grass pollen allergens, but patients exhibit higher serum IgE reactivity to their locally predominant grass pollen. Basophil activation by Bahia grass pollen and Pas n 1 in patients from a temperate climate indicates clinically relevant cross-sensitization between temperate and subtropical grass pollens.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This study implemented linear and nonlinear methods of measuring variability to determine differences in stability of two groups of skilled (n = 10) and unskilled (n = 10) participants performing 3m forward/backward shuttle agility drill. We also determined whether stability measures differed between the forward and backward segments of the drill. Finally, we sought to investigate whether local dynamic stability, measured using largest finite-time Lyapunov exponents, changed from distal to proximal lower extremity segments. Three-dimensional coordinates of five lower extremity markers data were recorded. Results revealed that the Lyapunov exponents were lower (P < 0.05) for skilled participants at all joint markers indicative of higher levels of local dynamic stability. Additionally, stability of motion did not differ between forward and backward segments of the drill (P > 0.05), signifying that almost the same control strategy was used in forward and backward directions by all participants, regardless of skill level. Furthermore, local dynamic stability increased from distal to proximal joints (P < 0.05) indicating that stability of proximal segments are prioritized by the neuromuscular control system. Finally, skilled participants displayed greater foot placement standard deviation values (P < 0.05), indicative of adaptation to task constraints. The results of this study provide new methods for sport scientists, coaches to characterize stability in agility drill performance.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In this paper, the trajectory tracking control of an autonomous underwater vehicle (AUVs) in six-degrees-of-freedom (6-DOFs) is addressed. It is assumed that the system parameters are unknown and the vehicle is underactuated. An adaptive controller is proposed, based on Lyapunov׳s direct method and the back-stepping technique, which interestingly guarantees robustness against parameter uncertainties. The desired trajectory can be any sufficiently smooth bounded curve parameterized by time even if consist of straight line. In contrast with the majority of research in this field, the likelihood of actuators׳ saturation is considered and another adaptive controller is designed to overcome this problem, in which control signals are bounded using saturation functions. The nonlinear adaptive control scheme yields asymptotic convergence of the vehicle to the reference trajectory, in the presence of parametric uncertainties. The stability of the presented control laws is proved in the sense of Lyapunov theory and Barbalat׳s lemma. Efficiency of presented controller using saturation functions is verified through comparing numerical simulations of both controllers.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We carried out a discriminant analysis with identity by descent (IBD) at each marker as inputs, and the sib pair type (affected-affected versus affected-unaffected) as the output. Using simple logistic regression for this discriminant analysis, we illustrate the importance of comparing models with different number of parameters. Such model comparisons are best carried out using either the Akaike information criterion (AIC) or the Bayesian information criterion (BIC). When AIC (or BIC) stepwise variable selection was applied to the German Asthma data set, a group of markers were selected which provide the best fit to the data (assuming an additive effect). Interestingly, these 25-26 markers were not identical to those with the highest (in magnitude) single-locus lod scores.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In an estuary, mixing and dispersion resulting from turbulence and small scale fluctuation has strong spatio-temporal variability which cannot be resolved in conventional hydrodynamic models while some models employs parameterizations large water bodies. This paper presents small scale diffusivity estimates from high resolution drifters sampled at 10 Hz for periods of about 4 hours to resolve turbulence and shear diffusivity within a tidal shallow estuary (depth < 3 m). Taylor's diffusion theorem forms the basis of a first order estimate for the diffusivity scale. Diffusivity varied between 0.001 – 0.02 m2/s during the flood tide experiment. The diffusivity showed strong dependence (R2 > 0.9) on the horizontal mean velocity within the channel. Enhanced diffusivity caused by shear dispersion resulting from the interaction of large scale flow with the boundary geometries was observed. Turbulence within the shallow channel showed some similarities with the boundary layer flow which include consistency with slope of 5/3 predicted by Kolmogorov's similarity hypothesis within the inertial subrange. The diffusivities scale locally by 4/3 power law following Okubo's scaling and the length scale scales as 3/2 power law of the time scale. The diffusivity scaling herein suggests that the modelling of small scale mixing within tidal shallow estuaries can be approached from classical turbulence scaling upon identifying pertinent parameters.