993 resultados para non-classical logics


Relevância:

40.00% 40.00%

Publicador:

Resumo:

Exact solutions of the classical equations corresponding to the leading-logarithm approximation are obtained. They are classified by an (integer) topological number.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

According to molecular epidemiology theory, two isolates belong to the same chain of transmission if they are similar according to a highly discriminatory molecular typing method. This has been demonstrated in outbreaks, but is rarely studied in endemic situations. Person-to-person transmission cannot be established when isolates of meticillin-resistant Staphylococcus aureus (MRSA) belong to endemically predominant genotypes. By contrast, isolates of infrequent genotypes might be more suitable for epidemiological tracking. The objective of the present study was to determine, in newly identified patients harbouring non-predominant MRSA genotypes, whether putative epidemiological links inferred from molecular typing could replace classical epidemiology in the context of a regional surveillance programme. MRSA genotypes were defined using double-locus sequence typing (DLST) combining clfB and spa genes. A total of 1,268 non-repetitive MRSA isolates recovered between 2005 and 2006 in Western Switzerland were typed: 897 isolates (71%) belonged to four predominant genotypes, 231 (18%) to 55 non-predominant genotypes, and 140 (11%) were unique. Obvious epidemiological links were found in only 106/231 (46%) patients carrying isolates with non-predominant genotypes suggesting that molecular surveillance identified twice as many clusters as those that may have been suspected with classical epidemiological links. However, not all of these molecular clusters represented person-to-person transmission. Thus, molecular typing cannot replace classical epidemiology but is complementary. A prospective surveillance of MRSA genotypes could help to target epidemiological tracking in order to recognise new risk factors in hospital and community settings, or emergence of new epidemic clones.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

In this Thesis I discuss the dynamics of the quantum Brownian motion model in harmonic potential. This paradigmatic model has an exact solution, making it possible to consider also analytically the non-Markovian dynamics. The issues covered in this Thesis are themed around decoherence. First, I consider decoherence as the mediator of quantum-to-classical transition. I examine five different definitions for nonclassicality of quantum states, and show how each definition gives qualitatively different times for the onset of classicality. In particular I have found that all characterizations of nonclassicality, apart from one based on the interference term in the Wigner function, result in a finite, rather than asymptotic, time for the emergence of classicality. Second, I examine the diverse effects which coupling to a non-Markovian, structured reservoir, has on our system. By comparing different types of Ohmic reservoirs, I derive some general conclusions on the role of the reservoir spectrum in both the short-time and the thermalization dynamics. Finally, I apply these results to two schemes for decoherence control. Both of the methods are based on the non-Markovian properties of the dynamics.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Using the functional approach, we state and prove a characterization theorem for classical orthogonal polynomials on non-uniform lattices (quadratic lattices of a discrete or a q-discrete variable) including the Askey-Wilson polynomials. This theorem proves the equivalence between seven characterization properties, namely the Pearson equation for the linear functional, the second-order divided-difference equation, the orthogonality of the derivatives, the Rodrigues formula, two types of structure relations,and the Riccati equation for the formal Stieltjes function.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

The classical magnetoresistance of a two-dimensional electron gas constrained to non-planar topographies, in antidot lattices, and under the influence of tilted magnetic field in arbitrary direction is numerically studied. (C) 2012 Elsevier B.V. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This work presents a non-linear boundary element formulation applied to analysis of contact problems. The boundary element method (BEM) is known as a robust and accurate numerical technique to handle this type of problem, because the contact among the solids occurs along their boundaries. The proposed non-linear formulation is based on the use of singular or hyper-singular integral equations by BEM, for multi-region contact. When the contact occurs between crack surfaces, the formulation adopted is the dual version of BEM, in which singular and hyper-singular integral equations are defined along the opposite sides of the contact boundaries. The structural non-linear behaviour on the contact is considered using Coulomb`s friction law. The non-linear formulation is based on the tangent operator in which one uses the derivate of the set of algebraic equations to construct the corrections for the non-linear process. This implicit formulation has shown accurate as the classical approach, however, it is faster to compute the solution. Examples of simple and multi-region contact problems are shown to illustrate the applicability of the proposed scheme. (C) 2011 Elsevier Ltd. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This work deals with analysis of cracked structures using BEM. Two formulations to analyse the crack growth process in quasi-brittle materials are discussed. They are based on the dual formulation of BEM where two different integral equations are employed along the opposite sides of the crack surface. The first presented formulation uses the concept of constant operator, in which the corrections of the nonlinear process are made only by applying appropriate tractions along the crack surfaces. The second presented BEM formulation to analyse crack growth problems is an implicit technique based on the use of a consistent tangent operator. This formulation is accurate, stable and always requires much less iterations to reach the equilibrium within a given load increment in comparison with the classical approach. Comparison examples of classical problem of crack growth are shown to illustrate the performance of the two formulations. (C) 2009 Elsevier Ltd. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Fungal entomopathogens have been used more frequently than other types of pathogens for classical biological control. Among 136 programs using different groups of arthropod pathogens, 49.3% have introduced fungal pathogens (including both the traditional fungi and microsporidia). The most commonly introduced species was Metarhizium anisopliae (Metschnikoff) Sorokin, with 13 introductions, followed by Entomophaga maimaiga Humber, Shimazu & Soper, which was released seven times. The majority of introduction programs have focused on controlling invasive species of insects or mites (70.7%) rather than on native hosts (29.4%). Almost half of the introductions of traditional fungi targeted species of Hemiptera and 75% of the microsporidia introduced have been introduced against lepidopteran species. The United States was the country where most introductions of fungi took place (n = 24). From 1993 to 2007, no arthropod pathogens were released in the US due to the rigorous regulatory structure, but in 2008 two species of microsporidia were introduced against the gypsy moth, Lymantria dispar (L.). Establishment of entomopathogenic fungi in programs introducing traditional fungi was 32.1% and establishment was 50.0% for programs introducing microsporidia. In some programs, releases have resulted in permanent successful establishment with no non-target effects. In summary, classical biological control using fungal entomopathogens can provide a successful and environmentally friendly avenue for controlling arthropod pests, including the increasing numbers of invasive non-native species.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Random walks can undergo transitions from normal diffusion to anomalous diffusion as some relevant parameter varies, for instance the L,vy index in L,vy flights. Here we derive the Fokker-Planck equation for a two-parameter family of non-Markovian random walks with amnestically induced persistence. We investigate two distinct transitions: one order parameter quantifies log-periodicity and discrete scale invariance in the first moment of the propagator, whereas the second order parameter, known as the Hurst exponent, describes the growth of the second moment. We report numerical and analytical results for six critical exponents, which together completely characterize the properties of the transitions. We find that the critical exponents related to the diffusion-superdiffusion transition are identical in the positive feedback and negative feedback branches of the critical line, even though the former leads to classical superdiffusion whereas the latter gives rise to log-periodic superdiffusion.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The purpose of this study was to determine the attentional demands of natural and imposed gait, as well as the attentional costs of transitions between the walking and running co-ordination patterns. Seven healthy young men and four healthy young women undertook an auditory probe reaction time task concurrently with self-selected gait (Experiment 1) and imposed walking and running (Experiment 2) at different speeds on a motor-driven treadmill. In Experiment 1, where participants were free to choose their own movement pattern to match the speed of travel of the treadmill, normal gait control was shown to have a significant attentional cost, and hence not be automatic in the classical sense. However, this attentional cost did not differ between the two gait modes or at the transition point. In Experiment 2, where participants were required to maintain specific gait modes regardless of the treadmill speed, the maintenance of walking at speeds normally associated with running was found to have an attentional cost whereas this was not the case for running at normal walking speeds. Collectively the findings support a model of gait control in which the normal switching between gait modes is determined with minimal attention demand and in which it is possible to sustain non-preferred gait modes although, in the case of walking, only at a significant attentional/cognitive cost. © 2002 Elsevier Science B.V. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In previous works we showed how to combine propositional multimodal logics using Gabbay's \emph{fibring} methodology. In this paper we extend the above mentioned works by providing a tableau-based proof technique for the combined/fibred logics. To achieve this end we first make a comparison between two types of tableau proof systems, (\emph{graph} $\&$ \emph{path}), with the help of a scenario (The Friend's Puzzle). Having done that we show how to uniformly construct a tableau calculus for the combined logic using Governatori's labelled tableau system \KEM. We conclude with a discussion on \KEM's features.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The structure constants of quantum Lie algebras depend on a quantum deformation parameter q and they reduce to the classical structure constants of a Lie algebra at q = 1. We explain the relationship between the structure constants of quantum Lie algebras and quantum Clebsch-Gordan coefficients for adjoint x adjoint --> adjoint We present a practical method for the determination of these quantum Clebsch-Gordan coefficients and are thus able to give explicit expressions for the structure constants of the quantum Lie algebras associated to the classical Lie algebras B-l, C-l and D-l. In the quantum case the structure constants of the Cartan subalgebra are non-zero and we observe that they are determined in terms of the simple quantum roots. We introduce an invariant Killing form on the quantum Lie algebras and find that it takes values which are simple q-deformations of the classical ones.