920 resultados para Reactive Probabilistic Automata
Resumo:
With the help of an illustrative general equilibrium (CGE) model of the Moroccan Economy, we test for the significance of simulation results in the case where the exact macromesure is not known with certainty. This is done by computing lower and upper bounds for the simulation resukts, given a priori probabilities attached to three possible closures (Classical, Johansen, Keynesian). Our Conclusion is that, when there is uncertainty on closures several endogenous changes lack significance, which, in turn, limit the use of the model for policy prescriptions.
Resumo:
Le trouble du déficit de l’attention/hyperactivité (TDA/H) est un des troubles comportementaux le plus commun chez les enfants. TDAH a une étiologie complexe et des traitements efficaces. Le médicament le plus prescrit est le méthylphénidate, un psychostimulant qui bloque le transporteur de la dopamine et augmente la disponibilité de la dopamine dans la fente synaptique. Des études précliniques et cliniques suggèrent que le cortisol peut potentialiser les effets de la dopamine. Un dysfonctionnement du système hypothalamo-hypophyso-surrénalien (HHS) est associé avec plusieurs maladies psychiatriques comme la dépression, le trouble bipolaire, et l’anxiété. Nous avons fait l’hypothèse que le cortisol influence l’efficacité du traitement des symptômes du TDAH par le méthylphénidate. L’objectif de cette étude est de mesurer les niveaux de cortisol le matin au réveil et en réponse à une prise de sang dans un échantillon d’enfants diagnostiqué avec TDAH âgé de 8 ans. Le groupe était randomisé dans un protocole en chassé croisé et en double aveugle avec trois doses de méthylphénidate et un placebo pour une période de quatre semaines. Les enseignants et les parents ont répondu aux questionnaires SWAN et à une échelle d’évaluation des effets secondaires. Les résultats ont démontrés qu’un niveau de cortisol élevé au réveil prédit les sujets qui ne répondent pas au traitement du TDAH, si on se fie aux rapports des parents. En plus, la réactivité au stress élevé suggère un bénéfice additionnel d’une dose élevée de méthylphénidate selon les enseignants. Aussi, les parents rapportent une association entre la présence de troubles anxieux co-morbide avec le TDAH et une meilleure réponse à une dose élevée. Cette étude suggère qu’une forte réactivité de l’axe HHS améliore la réponse clinique à des doses élevées, mais qu’une élévation chronique du niveau de cortisol pourrait être un marqueur pour les non répondeurs. Les résultats de cette étude doivent être considérés comme préliminaires et nécessitent des tests plus approfondis des interactions possibles entre les médicaments utilisés pour traiter le TDAH et l’axe HHS.
Resumo:
L’atteinte de la fonction endothéliale représente une phase précoce de l’athérosclérose, un stade où les patients sont généralement asymptomatiques. Il existe donc un intérêt certain à détecter la dysfonction endothéliale. Nous avons développé une technique de mesure des variations de flot artériel au niveau des membres supérieurs, basée sur la spectroscopie proche infrarouge (NIRS). Cette approche permettrait d’étudier le niveau d’atteinte vasculaire et probablement de quantifier le degré de dysfonction endothéliale périphérique lors d’une hyperémie réactive. L'expérience a été exécutée sur deux cohortes de 13 et de 15 patients et a été comparée à la pléthysmographie par jauge de contrainte (SGP) qui est considérée comme une méthode de référence. Par la suite, nous avons caractérisé la réponse endothéliale par modélisation de la courbe hyperémique du flot artériel. Des études préliminaires avaient démontré que la réponse hyperémique adoptait majoritairement une forme bi-modale. Nous avons tenté de séparer les composantes endothéliales-dépendantes et endothéliales-indépendantes de l’hyperémie. La quantification des deux composantes de la réaction hyperémique permet de calculer un indice de la ‘santé’ du système endothélial local. Cet indice est nommé le ηfactor. Les résultats montrent une forte corrélation des mesures de flots entre la technique développée et la méthode de référence (r=0.91). Nous avons conclu que NIRS est une approche précise pour la mesure non-invasive du flot artériel. Nous avons obtenu une bonne répétabilité (ICC = 0.9313) pour le ηfactor indiquant sa robustesse. Cependant des études supplémentaires sont nécessaires pour valider la valeur de diagnostic du facteur défini. Mots clés: hyperémie réactive, réponse myogénique, oxyde nitrique, athérosclérose, spectroscopie proche infrarouge
Resumo:
Cette thèse présente une étude dans divers domaines de l'informatique théorique de modèles de calculs combinant automates finis et contraintes arithmétiques. Nous nous intéressons aux questions de décidabilité, d'expressivité et de clôture, tout en ouvrant l'étude à la complexité, la logique, l'algèbre et aux applications. Cette étude est présentée au travers de quatre articles de recherche. Le premier article, Affine Parikh Automata, poursuit l'étude de Klaedtke et Ruess des automates de Parikh et en définit des généralisations et restrictions. L'automate de Parikh est un point de départ de cette thèse; nous montrons que ce modèle de calcul est équivalent à l'automate contraint que nous définissons comme un automate qui n'accepte un mot que si le nombre de fois que chaque transition est empruntée répond à une contrainte arithmétique. Ce modèle est naturellement étendu à l'automate de Parikh affine qui effectue une opération affine sur un ensemble de registres lors du franchissement d'une transition. Nous étudions aussi l'automate de Parikh sur lettres: un automate qui n'accepte un mot que si le nombre de fois que chaque lettre y apparaît répond à une contrainte arithmétique. Le deuxième article, Bounded Parikh Automata, étudie les langages bornés des automates de Parikh. Un langage est borné s'il existe des mots w_1, w_2, ..., w_k tels que chaque mot du langage peut s'écrire w_1...w_1w_2...w_2...w_k...w_k. Ces langages sont importants dans des domaines applicatifs et présentent usuellement de bonnes propriétés théoriques. Nous montrons que dans le contexte des langages bornés, le déterminisme n'influence pas l'expressivité des automates de Parikh. Le troisième article, Unambiguous Constrained Automata, introduit les automates contraints non ambigus, c'est-à-dire pour lesquels il n'existe qu'un chemin acceptant par mot reconnu par l'automate. Nous montrons qu'il s'agit d'un modèle combinant une meilleure expressivité et de meilleures propriétés de clôture que l'automate contraint déterministe. Le problème de déterminer si le langage d'un automate contraint non ambigu est régulier est montré décidable. Le quatrième article, Algebra and Complexity Meet Contrained Automata, présente une étude des représentations algébriques qu'admettent les automates contraints et les automates de Parikh affines. Nous déduisons de ces caractérisations des résultats d'expressivité et de complexité. Nous montrons aussi que certaines hypothèses classiques en complexité computationelle sont reliées à des résultats de séparation et de non clôture dans les automates de Parikh affines. La thèse est conclue par une ouverture à un possible approfondissement, au travers d'un certain nombre de problèmes ouverts.
Resumo:
Le glaucome est la principale cause de cécité irréversible dans le monde. Chez les patients atteints de cette pathologie, la perte de la vue résulte de la mort sélective des cellules ganglionnaires (CGR) de la rétine ainsi que de la dégénérescence axonale. La pression intraoculaire élevée est considérée le facteur de risque majeur pour le développement de cette maladie. Les thérapies actuelles emploient des traitements pharmacologiques et/ou chirurgicaux pour diminuer la pression oculaire. Néanmoins, la perte du champ visuel continue à progresser, impliquant des mécanismes indépendants de la pression intraoculaire dans la progression de la maladie. Il a été récemment démontré que des facteurs neuroinflammatoires pourraient être impliqués dans le développement du glaucome. Cette réponse est caractérisée par une régulation positive des cytokines pro-inflammatoires, en particulier du facteur de nécrose tumorale alpha (TNFα). Cependant, le mécanisme par lequel le processus neuroinflammatoire agit sur la mort neuronale reste à clarifier. L’hypothèse principale de ce doctorat propose que les facteurs pro-inflammatoires comme le TNFα et la phosphodiestérase 4 (PDE4) interagissent avec les mécanismes moléculaires de la mort neuronale, favorisant ainsi la survie et la protection des CGRs au cours du glaucome. Dans la première partie de ma thèse, J’ai utilisé un modèle in vivo de glaucome chez des rats Brown Norway pour montrer que l’expression du TNFα est augmentée après l'induction de l'hypertension oculaire. L'hypothèse spécifique de cette étude suggère que les niveaux élevés de TNFα provoquent la mort des CGRs en favorisant l'insertion de récepteurs AMPA perméables au calcium (CP-AMPAR) à la membrane cytoplasmique. Pour tester cette hypothèse, j’ai utilisé un inhibiteur sélectif de la forme soluble du TNFα, le XPro1595. L'administration de cet agent pharmacologique a induit une protection significative des somas et des axones des neurones rétiniens. L'évaluation de la perméabilité au cobalt a montré que le TNFα soluble est impliqué dans l'insertion de CP-AMPAR à la membrane des CGRs lors du glaucome. L’exposition des neurones à une pression oculaire élevée est à l’origine de la hausse de la densité membranaire des CP-AMPARs, grâce à une diminution de l’expression de la sous-unité GluA2. La présence de GluA2 au sein du récepteur ne permet pas l’entrée du calcium à l’intérieur de la cellule. L'administration intraoculaire d’antagonistes spécifiques des CP-AMPARs promeut la protection des somas et des axones des CGRs. Ces résultats montrent que les CP-AMPARs jouent un rôle important dans la pathologie du glaucome. Dans la deuxième partie de ma thèse, j’ai caractérisé l'effet neuroprotecteur d’un inhibiteur de la PDE4, l’ibudilast, dans notre modèle de glaucome. L'hypothèse spécifique s’oriente vers une atténuation de la réponse neuroinflammatoire et de la gliose par l’administration d’ibudilast, favorisant ainsi la protection neuronale. Les résultats montrent que dans les rétines glaucomateuses, l’ibudilast diminue la gliose et l'expression de plusieurs facteurs tels que le TNFα, l'interleukine-1β (IL-1β), l’interleukine-6 (IL-6) et le facteur inhibiteur de la migration des macrophages (MIF). Chez les rats glaucomateux, nous avons observé une expression notable de PDE4A dans les cellules de Müller, qui est en corrélation avec l'accumulation de l’AMP cyclique (AMPc) dans ces cellules après un traitement d’ibudilast. Finalement, nous avons démontré que la protection des CGRs via l’administration d’ibudilast est un mécanisme dépendent de l’AMPc et de la protéine kinase A (PKA). En conclusion, les résultats présentés dans cette thèse identifient deux mécanismes différents impliqués dans la perte des CGRs au cours du glaucome. Ces mécanismes pourraient fournir des perspectives potentielles pour le développement de nouvelles stratégies de traitement du glaucome.
Resumo:
The main aim of the study was to optimise the reactive extrusion conditions in the conventional modification processes of polyethylenes in a single screw extruder.The optimum conditions for peroxide crosslinking of low density polyethylene (LDPE), linear low density polyethylene (LLDPE) and their blend were determined in a torque rheometer. The actual reactive extrusion was performed in a laboratory single screw extruder using the optimum parameters. The influence of the coagent, triaUyl cyanurate (TAC), on the cross linking of low density polyethylene in the presence of peroxide was also investigated. The peroxide crosslinking was found to improve the mechanical properties and the thermal stability of the polyethylenes. The efficiency of crosslinking was found to be improved by the addition of coagent such as TAC.The optimum conditions for silane grafting viz temperature, shear rate, silane and DCP concentrations were determined on a torque rheometer in the case of LDPE, LLDPE and their blend. Silane grafting of LDPE in the presence of peroxide was performed with and without addition of water. Compounding of such mixtures in the melt at high temperatures caused decomposition of the peroxide and grafting of alkoxy silyl groups to the polyethylene chains.The optimum parameters for maleic anhydride modification of LDPE, LLDPE and their blend were determined. The grafting reaction was confinned by FTIR spectroscopy. Modification of polyethylenes with maleic anhydride in the presence of dicumyl peroxide was found to be useful in improving mechanical properties. The improvement was found to be mainly due to the grafting of carboxyl group and formation of crosslinks between the chains. The cross linking initiated improvements indicate extended property profiles and new application fields for polyethylenes.On the whole the study shows that the optimum conditions for modifying polyethylenes can be determined on a torque rheometer and actual modification can be performed in a single screw extruder by employing the optimum parameters for improved mechanical! thermal behaviour without seriously affecting their processing behaviour.
Resumo:
A novel fixed frequency beam scanning microstrip leaky wave antenna is reported. The beam scanning at fixed frequency is achieved by reactive loading. Simulation and measured results shows frequency scanability of 80° as well as fixed frequency beam steering of 68° over the −10 dB impedance band of 4.56–5.06 GHz.
Resumo:
The thesis entitled ‘Studies on the Solvent Dependence in the Reaction of a Few (Anthracen-9-yl)methylamines and Sulfanes with Reactive Acetylenes’ is divided into six chapters. ln Chapter l a general survey of electron transfer reactions, Diels-Alder reactions and Michael-type additions is presented. A detailed discussion on the synthesis of several (anthracen-9-yl)methylamines is presented in Chapter 2. In Chapter 3, results of preliminary photophysical studies on a few (anthracen-9yl) methylamines are compiled. A detailed discussion on extensive examination of dependence in the reaction of (anthracen-9-yl)methylamines with reactive acetylenes is presented Chapter 4. Details on the synthesis and reaction of a few (anthracen-9-yl)methylsulfanes with DMAD are described in Chapter 5.
Resumo:
In this thesis we attempt to make a probabilistic analysis of some physically realizable, though complex, storage and queueing models. It is essentially a mathematical study of the stochastic processes underlying these models. Our aim is to have an improved understanding of the behaviour of such models, that may widen their applicability. Different inventory systems with randon1 lead times, vacation to the server, bulk demands, varying ordering levels, etc. are considered. Also we study some finite and infinite capacity queueing systems with bulk service and vacation to the server and obtain the transient solution in certain cases. Each chapter in the thesis is provided with self introduction and some important references
Resumo:
In this paper we address the problem of face detection and recognition of grey scale frontal view images. We propose a face recognition system based on probabilistic neural networks (PNN) architecture. The system is implemented using voronoi/ delaunay tessellations and template matching. Images are segmented successfully into homogeneous regions by virtue of voronoi diagram properties. Face verification is achieved using matching scores computed by correlating edge gradients of reference images. The advantage of classification using PNN models is its short training time. The correlation based template matching guarantees good classification results
Resumo:
n this paper we address the problem of face detection and recognition of grey scale frontal view images. We propose a face recognition system based on probabilistic neural networks (PNN) architecture. The system is implemented using voronoi/ delaunay tessellations and template matching. Images are segmented successfully into homogeneous regions by virtue of voronoi diagram properties. Face verification is achieved using matching scores computed by correlating edge gradients of reference images. The advantage of classification using PNN models is its short training time. The correlation based template matching guarantees good classification results.
Resumo:
This paper discusses the properties of rice husk ash samples produced from different types of field ovens to compare the performance of the ovens and to identify the most feasible method to produce a reactive pozzolana as an alternative to cement for building applications requiring lower strengths. Different types of ashes are produced and long-term strength of rice husk ash pozzolanas with lime or cement is investigated to suggest a sustainable affordable option in rural building applications, especially for rural housing in Kerala, a southern state of India
Resumo:
This thesis comprises five chapters including the introductory chapter. This includes a brief introduction and basic definitions of fuzzy set theory and its applications, semigroup action on sets, finite semigroup theory, its application in automata theory along with references which are used in this thesis. In the second chapter we defined an S-fuzzy subset of X with the extension of the notion of semigroup action of S on X to semigroup action of S on to a fuzzy subset of X using Zadeh's maximal extension principal and proved some results based on this. We also defined an S-fuzzy morphism between two S-fuzzy subsets of X and they together form a category S FSETX. Some general properties and special objects in this category are studied and finally proved that S SET and S FSET are categorically equivalent. Further we tried to generalize this concept to the action of a fuzzy semigroup on fuzzy subsets. As an application, using the above idea, we convert a _nite state automaton to a finite fuzzy state automaton. A classical automata determine whether a word is accepted by the automaton where as a _nite fuzzy state automaton determine the degree of acceptance of the word by the automaton. 1.5. Summary of the Thesis 17 In the third chapter we de_ne regular and inverse fuzzy automata, its construction, and prove that the corresponding transition monoids are regular and inverse monoids respectively. The languages accepted by an inverse fuzzy automata is an inverse fuzzy language and we give a characterization of an inverse fuzzy language. We study some of its algebraic properties and prove that the collection IFL on an alphabet does not form a variety since it is not closed under inverse homomorphic images. We also prove some results based on the fact that a semigroup is inverse if and only if idempotents commute and every L-class or R-class contains a unique idempotent. Fourth chapter includes a study of the structure of the automorphism group of a deterministic faithful inverse fuzzy automaton and prove that it is equal to a subgroup of the inverse monoid of all one-one partial fuzzy transformations on the state set. In the fifth chapter we define min-weighted and max-weighted power automata study some of its algebraic properties and prove that a fuzzy automaton and the fuzzy power automata associated with it have the same transition monoids. The thesis ends with a conclusion of the work done and the scope of further study.
Resumo:
In natural languages with a high degree of word-order freedom syntactic phenomena like dependencies (subordinations) or valencies do not depend on the word-order (or on the individual positions of the individual words). This means that some permutations of sentences of these languages are in some (important) sense syntactically equivalent. Here we study this phenomenon in a formal way. Various types of j-monotonicity for restarting automata can serve as parameters for the degree of word-order freedom and for the complexity of word-order in sentences (languages). Here we combine two types of parameters on computations of restarting automata: 1. the degree of j-monotonicity, and 2. the number of rewrites per cycle. We study these notions formally in order to obtain an adequate tool for modelling and comparing formal descriptions of (natural) languages with different degrees of word-order freedom and word-order complexity.