Dissertations / Theses: 'Temps fixe'

1

Landry, Mario. "Commande de vol non-linéaire en temps réel d’un drone à voilure fixe." Mémoire, École de technologie supérieure, 2012. http://espace.etsmtl.ca/1010/1/LANDRY_Mario.pdf.

Full text

Abstract:

Dans ce mémoire nous avons étudié la réalisation et la conception d’un drone de recherche à voilure fixe et configuration classique avec pour objectif ultime le test en vol d’une technique de contrôle avancée. Cet objectif fut réalisé à travers l’atteinte de plusieurs objectifs intermédiaires qui sont aussi le sujet de chacun des chapitres de ce mémoire. Parmi ceux-ci on peut compter : la modélisation du drone et de ses paramètres expérimentaux pour la réalisation d’une simulation non-linéaire fidèle à la réalité, la conception de la commande de vol non-linéaire, le développement de la carte de contrôle et de ses logiciels, la programmation du logiciel de la station au sol avec LabVIEW et finalement la réalisation des tests en vol. L’objectif ultime qui était l’application d’une technique avancée de contrôle dans un vol expérimental fut rempli avec succès. En effet, l’expérimentation de l’inversion de la dynamique rapide du drone a donné de très bons résultats et ce sans avoir recourt à la technique classique du découplage des mouvements longitudinaux et latéraux suivi d’un échelonnement de gains (gain scheduling). De plus, le système final demeure facile d’utilisation et élimine complètement le temps entre la fin de la conception d’une technique de contrôle à l’aide de la simulation et son implantation dans le drone réel pour un test en vol.

APA, Harvard, Vancouver, ISO, and other styles

2

De, Kelper Bruno. "Simulation à pas fixe et en temps réel de circuits électriques contenant des interrupteurs." Mémoire, École de technologie supérieure, 2002. http://espace.etsmtl.ca/805/1/DE_KELPER_Bruno.pdf.

Full text

Abstract:

La principale source d'imprécision, dans la simulation à pas fixe et en temps réel des circuits de puissance, est la commutation des interrupteurs du circuit. Ces imprécisions sont de deux natures. Premièrement, elles proviennent des retards de commutation, lorsque la commutation ne coïncide pas avec un pas de calcul. Deuxièmement, elles proviennent d'une mauvaise évaluation des conditions initiales ou du point d'opération dans lequel le circuit se retrouve, après une commutation. Aussi, la simulation des commutations exige un effort de calcul important car le système d'équations du circuit doit être réévalué, de façon à refléter le nouvel état des interrupteurs. Des travaux antérieurs ont proposé une approche simple et efficace pour éliminer l'impact des retards de commutation. Cette méthode consiste à interpoler les signaux simulés à l'instant précis de la commutation et à redémarrer la simulation à partir de ce point. Par contre, ces travaux ne proposaient pas de méthode efficace d'évaluation des conditions initiales. La méthode de commutation, proposée ici, reprend la méthode d'interpolation et y ajoute une méthode simple et efficace d'évaluation des conditions initiales. Le nouveau point d'opération du circuit, suite à une commutation, est évalué en se basant sur le principe de conservation de l'énergie sur l'hypothèse que les commutations sont instantanées. Grâce à cela, l'énergie accumulée dans les composantes réactives ne change pas lors des commutations et peut servir à évaluer le nouveau point d'opération du circuit. De plus, le présent travail propose plusieurs techniques d'optimisation du traitement des commutations. Une de ces techniques propose de remplacer les interrupteurs par des sources de courant commandées et de transférer ainsi l'effort de mise à jour du système d'équations vers un système d'équations réduit, qui modélise les interrupteurs. La méthode de commutation est implantée dans les deux approches de simulation les plus populaires, l'approche nodale et l'approche par variable d'état. Finalement, la précision et la performance de la méthode sont évaluées à l'aide de quelques montages soigneusement choisis. Chacun de ces montages fut simulé avec les deux approches de simulation et fournit des résultats qui rejoignent les objectifs du présent travail.

APA, Harvard, Vancouver, ISO, and other styles

3

Nguyen, Thi Nuyen Chau. "Approximation des temps de réponse des tâches sporadiques à priorité fixe dans les systèmes monoprocesseurs." Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique, 2010. http://www.theses.fr/2010ESMA0014.

Full text

Abstract:

Deux techniques sont utilisées pour vérifier que des tâches temps réel respectent bien leurs échéances temporelles : les tests d'ordonnançabilité qui renvoient un résultat binaire (ordonnançable ou non) et les calculs de temps de réponse (Response Time Analysis - RTA) qui déterminent la longueur du plus long intervalle de temps entre le réveil et la terminaison d'une tâche. Ces deux approches ont une complexité pseudo-polynomiale et notons qu'aucun algorithme polynomial n'est connu. Dans ce contexte, elles ne sont pas particulièrement appropriées pour la conception interactive des systèmes temps réel ou pour analyser des systèmes distribués à l'aide d'une analyse holistique. Dans de tels scénarios, un algorithme pseudo-polynomial est lent, puisque les calculs des temps de réponse des tâches sont exécutés à de nombreuses reprises. De plus, pour certains systèmes temps réels, tels que dans les systèmes de contrôle-commande, il est nécessaire de connaître le pire temps de réponse des tâches et non seulement la décision binaire sur l'ordonnançabilité des tâches. Dans ce contexte, il peut être acceptable d'utiliser un algorithme plus rapide qui fournit une analyse approchée au lieu d'utiliser des analyses reposant sur des calculs exacts. Comme cette approximation va introduire du pessimisme dans le processus de décision, il est souhaitable de le quantifier d'une manière à définir un compromis entre le temps de calcul et l'exigence de ressource du processeur. C'est la raison pour laquelle, dans ce travail, nous proposons des algorithmes pour calculer efficacement des bornes supérieures des pires temps de réponse et nous présentons des résultats sur leurs qualités dans le pire cas (analyse de compétitivité avec augmentation de ressource) et en moyenne (simulations)
Two techniques are used to verify if real-time tasks meet their deadlines : schedulability tests that return a binary result (schedulable or not) and the calculation of the response times (Response Time Analysis - RTA) which determines the length of the longest interval between the release instant and the completion of a task. Both approaches have a pseudo-polynomial time complexity and please note that no polynomial time algorithm is known. In this context, they are not particularly suitable for interactive design of real-time systems or to analyze distributed systems using an holistic analysis. In such scenarios, a pseudo-polynomial time algorithm is slow, since the computations of the task response times are performed many times. Moreover, for some real time systems, such as the control-command systems, it is necessary to know the task worst-case response times and not only the binary decision on the tasks schedulability. In this context, it may be acceptable to use a faster algorithm which provides an approximate analysis instead of the analysis based on exact calculations. As these approximations will produce pessimism in the decision process, it is desirable to quantify this pessimism in such a way as to define a compromise between computation time and resource requirement of processor. That is the reason why, in this work, we propose efficient algorithms to compute upper bounds of worst-case response times and we present results on their qualities in the worst-case (competitive analysis resource augmentation) and in the average (simulations)

APA, Harvard, Vancouver, ISO, and other styles

4

Lopez, Ramirez Francisco. "Control and estimation in finite-time and in fixed-time via implicit Lyapunov functions." Thesis, Lille 1, 2018. http://www.theses.fr/2018LIL1I063/document.

Full text

Abstract:

Dans ce travail, on montre des nouveaux résultats pour l’analyse et la synthèse des systèmes stables en temps fini et fixe. Ce genre des systèmes convergent exactement à un point d’équilibre dans une quantité du temps qui est fini et, dans le cas de systèmes stables en temps fixe, dans un temps maximal constant qui ne dépend pas des conditions initiales du système.Les chapitres 2 et 3 portent sur des résultats d’analyse ; ce premier present des conditions nécessaires et suffisants pour la stabilité en temps fixe des systèmes autonomes continues tandis que ce dernier combine l’approche de la fonction implicite de Lyapunov avec des résultats de stabilisation ISS pour étudier la robustesse de ce genre de systèmes.Les chapitres 4 et 5 présentent des résultats pratiques liés á la procédure de synthèse des contrôleurs et des observateurs. Le chapitre 4 emploie la méthode de la fonction de Lyapunov implicite afin d’obtenir des observateurs convergents en temps fini et fixe pour les systèmes linéaires MIMO. Le chapitre 5 utilise des propriétés d’homogénéité et des fonctions de Lyapunov implicites pour synthétiser un contrôleur de sortie en temps fixe pour une chaîne d’intégrateurs. Les résultats obtenus ont été validés par des simulations numériques et le chapitre 4 contient des tests de performance sur un pendule rotatif
This work presents new results on analysis and synthesis of finite-time and fixed-time stable systems, a type of dynamical systems where exact convergence to an equilibrium point is guaranteed in a finite amount of time. In the case of fixed-time stable system, this is moreover achieved with an upper bound on the settling-time that does not depend on the system’s initial condition.Chapters 2 and 3 focus on theoretical contributions; the former presents necessary and sufficient conditions for fixed-time stability of continuous autonomous systems whereas the latter introduces a framework that gathers ISS Lyapunov functions, finite-time and fixed-time stability analysis and the implicit Lyapunov function approach in order to study and determine the robustness of this type of systems.Chapters 4 and 5 deal with more practical aspects, more precisely, the synthesis of finite-time and fixed-time controllers and observers. In Chapter 4, finite-time and fixed-time convergent observers are designed for linear MIMO systems using the implicit approach. In Chapter 5, homogeneity properties and the implicit approach are used to design a fixed-time output controller for the chain of integrators. The results obtained were verified by numerical simulations and Chapter 4 includes performance tests on a rotary pendulum

APA, Harvard, Vancouver, ISO, and other styles

5

Dagbagi, Mohamed. "Simulation temps-réel embarquée de systèmes électriques au moyen de FPGA." Thesis, Cergy-Pontoise, 2015. http://www.theses.fr/2015CERG0808/document.

Full text

Abstract:

L'objectif de ce travail de thèse est de développer une bibliothèque de modules IPs (Intellectual Properties) de simulateurs temps réel embarqués qui simulent différents éléments d'un système électrique. Ces modules ont été conçus pour être utiliser non seulement pour une validation HIL (Hardware-In-the-Loop) des commandes numériques mais aussi pour des applications de commande embarquées, où le module IP de simulateur et le contrôleur sont tous les deux implémentés et exécutés dans la même cible FPGA. Cette nouvelle classe de simulateurs temps réel devrait être de plus en plus incluse dans la prochaine génération de contrôleurs numériques. En effet, ces modules IPs de simulateurs temps réel embarqués peuvent être avantageusement intégrés dans les contrôleurs numériques pour assurer des fonctions comme l'observation, l'estimation, le diagnostic où la surveillance de la santé. Inversement aux cas de HIL, le principal défi lors de la conception de tels simulateurs est de faire face à leur complexité ayant à l'esprit que, dans le cas des systèmes embarqués, les ressources matérielles disponibles sont limitées en raison du coût. En outre, ce problème est renforcé par la nécessité des pas de simulation très petit. Ceci est généralement le cas lors de la simulation des convertisseurs de puissance.Pour développer ces modules IPs, des lignes directrices dédiés de conception ont été proposées pour être suivies pour gérer la complexité de ces simulateurs (solveur de modèle, solveur numérique, pas de simulation, conditionnement de données) tout en tenant compte des contraintes temporelles et matérielles/coût (temps de calcul limité, ressources matérielles limitées ...).Les modules IPs de simulateurs à développer ont été organisés en deux catégories principales: ceux qui sont consacrées aux éléments électromagnétiques d'un système électrique, et ceux dédiés à ses éléments commutés.La première catégorie regroupe les éléments où les phénomènes électriques, magnétiques sont modélisés en plus de phénomènes mécaniques (pour les parties mécaniques) et des phénomènes potentiellement thermiques. Trois cas sont traités: le simulateur temps réel embarqué d'une machine synchrone triphasée, celui d'une machine asynchrone triphasée et celui d'un alternateur synchrone à trois étages. En plus de cela, les avantages de l'utilisation de la transformation delta pour améliorer la stabilité du solveur numérique lorsque un petit pas de calcul et le codage virgule fixe (avec une précision de données limitée) sont utilisés, ont été étudiés.La deuxième catégorie concerne des éléments commutés tels que les convertisseurs de puissance où les événements de commutation sont considérés. Là encore, plusieurs topologies de convertisseurs ont été étudiées: un redresseur simple alternance, un hacheur série, un hacheur réversible en courant, un hacheur quatre quadrant, un onduleur monophasé, un onduleur triphasé, un redresseur à diodes triphasé et un redresseur MLI triphasé. Pour tous ces modules IPs de simulateurs, l'approche de modélisation ADC (Associated Discrete Circuit) est adoptée.Le module IP de simulateur temps réel embarqué du redresseur MLI a été appliqué dans un contexte d'une application embarquée. Cette dernière consiste en une commande tolérante aux défauts d'un convertisseur de tension coté réseau. Ainsi, ce module IP est associé à celui d'un simulateur temps réel d'un filtre RL triphasé et les deux sont embarqués dans le dispositif de commande du redresseur pour estimer les courants de lignes. Ces courants sont injectés dans le dispositif de commande dans le cas d'un défaut de capteur de courant. La capacité de cet estimateur de garantir la continuité de service en cas de défauts est validée par des tests HIL et expérimentalement
The aim of this thesis work is to develop an IP-Library of FPGA-based embedded real-time simulator IPs (Intellectual Properties) that simulate different elements of an electrical system. These IPs have been designed to be used not only for Hardware-In-the-Loop (HIL) testing of digital controllers but also for low cost embedded control applications, where the simulator IP and the controller are both implemented and run altogether in the same FPGA device. This emerging class of real-time simulators is expected to be more and more included in the next generation of digital controllers. Indeed, such embedded real-time simulator IPs can be advantageously embedded within digital controllers to ensure functions like observation, estimation, diagnostic or health-monitoring. Conversely to the HIL case, the main challenge when designing such simulator IPs is to cope with their complexity having in mind that, in the case of embedded systems, the available hardware resources are limited due to the cost. Furthermore, this challenge is strengthened by the need of very short simulation time-steps which is typically the case when simulating power converters.To develop these IPs, dedicated design guidelines have been proposed to be followed to manage the complexity of these simulator IPs (model solver, numerical solver, time-step, data conditioning) with regards to the timing and the area/cost constraints (computation time limit, limited hardware resources …).The simulators IPs to be developed have been organized into two main categories: those dedicated to electromagnetic elements of an electrical system and those dedicated to their switching elements.The first category gathers elements where electric, magnetic phenomena are modelized in addition to mechanical phenomena (for moving systems) and potentially thermal phenomena. Three cases are dealt with: the embedded real-time simulator of a three-phase synchronous machine, the one of a three-phase induction machine and the one of a brushless synchronous generator. Also, the advantages of using delta transformation to improve the stability of the numerical solver when short simulation time-step and fixed-point (with limited data precision) are used, have been studied.The second category concerns switching elements such as power converters where switching events are considered. Here again, several converter topologies have been studied: a half-wave rectifier, a buck DC-DC converter, a bidirectional buck DC-DC converter, a H-bridge DC-DC converter, a single-phase H-bridge DC-AC converter, a three-phase voltage source inverter, a three-phase diode rectifier and a three-phase PWM rectifier. For all these IPs, the Associated Discrete Circuit (ADC) modeling approach is adopted.The embedded real-time simulator IP of the three-phase PWM rectifier has been applied in the context of an embedded application. The latter consists of a fault-tolerant control of a grid-connected voltage source rectifier. Thus, this simulator IP is associated with the one of a three-phase RL-filter and are both implemented within the rectifier controller to estimate the grid currents. These currents are injected in the controller in the case of a current sensor fault. The ability of this estimator to guarantee the service continuity in the case of faults is validated through HIL tests and experiments

APA, Harvard, Vancouver, ISO, and other styles

6

Thomas, Johan Deville Yannick Hosseini Shahram. "Algorithmes temporels rapides à point fixe pour la séparation aveugle de mélanges convolutifs et/ou sous-déterminés." Toulouse (Université Paul Sabatier, Toulouse 3), 2008. http://thesesups.ups-tlse.fr/215.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Udupa, Pramod. "Algorithmes parallèles et architectures évolutives de faible complexité pour systèmes optiques OFDM cohérents temps réel." Thesis, Rennes 1, 2014. http://www.theses.fr/2014REN1S039/document.

Full text

Abstract:

Dans cette thèse, des algorithmes à faible complexité et des architectures parallèles et efficaces sont explorés pour les systèmes CO-OFDM. Tout d'abord, des algorithmes de faible complexité pour la synchronisation et l'estimation du décalage en fréquence en présence d'un canal dispersif sont étudiés. Un nouvel algorithme de synchronisation temporelle à faible complexité qui peut résister à grande quantité de retard dispersif est proposé et comparé par rapport aux propositions antérieures. Ensuite, le problème de la réalisation d'une architecture parallèle à faible coût est étudié et une architecture parallèle générique et évolutive qui peut être utilisée pour réaliser tout type d'algorithme d'auto-corrélation est proposé. Cette architecture est ensuite étendue pour gérer plusieurs échantillons issus du convertisseur analogique/numérique (ADC) en parallèle et fournir une sortie qui suive la fréquence des ADC. L'évolutivité de l'architecture pour un nombre plus élevé de sorties en parallèle et les différents types d'algorithmes d'auto-corrélation sont explorés. Une approche d'adéquation algorithme-architecture est ensuite appliquée à l'ensemble de la chaîne de l'émetteur-récepteur CO-OFDM. Du côté de l'émetteur, un algorithme IFFT à radix-22 est choisi pour et une architecture parallèle Multipath Delay Commutator (MDC). Feed-forward (FF) est choisie car elle consomme moins de ressources par rapport aux architectures MDC-FF en radix-2/4. Au niveau du récepteur, un algorithme efficace pour l'estimation du Integer CFO est adopté et implémenté de façon optimisée sans l'utilisation de multiplicateurs complexes. Une réduction de la complexité matérielle est obtenue grâce à la conception d'architectures efficaces pour la synchronisation temporelle, la FFT et l'estimation du CFO. Une exploration du compromis entre la précision des calculs en virgule fixe et la complexité du matériel est réalisée pour la chaîne complète de l'émetteur- récepteur, de façon à trouver des points de fonctionnement qui n'affectent pas le taux d'erreur binaire (TEB) de manière significative. Les algorithmes proposés sont validés à l'aide d'une part d'expériences off-line en utilisant un générateur AWG (arbitrary wave- form generator) à l'émetteur et un oscilloscope numérique à mémoire (DSO) en sortie de la détection cohérente au récepteur, et d'autre part un émetteur-récepteur temps-réel basé sur des plateformes FPGA et des convertisseurs numériques. Le TEB est utilisé pour montrer la validité du système intégré et en donner les performances
In this thesis, low-complexity algorithms and architectures for CO-OFDM systems are explored. First, low-complexity algorithms for estimation of timing and carrier frequency offset (CFO) in dispersive channel are studied. A novel low-complexity timing synchro- nization algorithm, which can withstand large amount of dispersive delay, is proposed and compared with previous proposals. Then, the problem of realization of low-complexity parallel architecture is studied. A generalized scalable parallel architecture, which can be used to realize any auto-correlation algorithm, is proposed. It is then extended to handle multiple parallel samples from ADC and provide outputs, which can match the input ADC rate. The scalability of the architecture for higher number of parallel outputs and different kinds of auto-correlation algorithms is explored. An algorithm-architecture approach is then applied to the entire CO-OFDM transceiver chain. At the transmitter side, radix-22 algorithm for IFFT is chosen and parallel Mul- tipath Delay Commutator (MDC) Feed-forward (FF) architecture is designed which con- sumes lesser resources compared to MDC FF architectures of radix-2/4. At the receiver side, efficient algorithm for Integer CFO estimation is adopted and efficiently realized with- out the use of complex multipliers. Reduction in complexity is achieved due to efficient architectures for timing synchronization, FFT and Integer CFO estimation. Fixed-point analysis for the entire transceiver chain is done to find fixed-point sensitive blocks, which affect bit error rate (BER) significantly. The algorithms proposed are validated using opti- cal experiments by the help of arbitrary waveform generator (AWG) at the transmitter and digital storage oscilloscope (DSO) and Matlab at the receiver. BER plots are used to show the validity of the system built. Hardware implementation of the proposed synchronization algorithm is validated using real-time FPGA platform

APA, Harvard, Vancouver, ISO, and other styles

8

George, Jonathan Robert. "Délignification prolongée en milieu alcalin à l'aide d'un réacteur à lit fixe et à faible temps de passage : application à la fabrication de la pâte à papier." Grenoble INPG, 1998. http://www.theses.fr/1998INPG0052.

Full text

Abstract:

Un reacteur a lit fixe et a faible temps de passage a ete utilise pour etudier les principes de la delignification prolongee du procede kraft dans les conditions optimales. En appliquant ces principes (cuisson modifiee), il est possible de fabriquer des pates chimiques de resineux et feuillus d'indices kappa 9-10 et 4-6, respectivement, tout en gardant des proprietes equivalents a celles de pates issues de cuisson conventionnelle. Cependant, la prolongation de la cuisson entraine une perte en hydrates de carbone, ce qui se traduit par une baisse du rendement. Une pate issue de cuisson modifiee presente une aptitude au blanchiment meilleure que celle d'une pate issue de cuisson conventionnelle. Ceci est du a des differences dans la structure de la lignine residuelle qui ont ete etudiees par rmn #1#3c. L'alcalinite plus elevee dans la cuisson conventionnelle conduit a la formation plus importante de structures stables en milieu alcalin qui s'opposent a la degradation ulterieure de la lignine. De plus, la presence de matiere organique dissoute en plus grande quantite dans le cas de la cuisson conventionnelle conduit a la formation de liaisons carbone-carbone qui sont egalement stables. La lignine residuelle d'une pate modifiee, moins affectee par ces reactions, est plus reactive et donc plus facile a eliminer. Enfin, l'application des principes de la delignification prolongee augmente egalement la selectivite d'une delignification soude-anthraquinone. Plusieurs traitements ont ete etudies afin d'ameliorer davantage la cuisson. Un pretraitement avec de la liqueur noire (liqueur en fin de cuisson) augmente la selectivite du procede kraft. Un post-traitement avec le peroxyde d'hydrogene effectue dans le reacteur de cuisson augmente le rendement et baisse l'indice kappa d'une pate par rapport a une cuisson conventionnelle. Un post-traitement avec le sulfite de sodium en milieu alcalin effectue dans le reacteur de cuisson permet de fixer des groupements acides sulfoniques sur la lignine residuelle et d'augmenter ainsi l'aptitude au blanchiment des pates.

APA, Harvard, Vancouver, ISO, and other styles

9

Ben, Amor Slim. "Ordonnancement des tâches avec des dépendances et des temps d’exécution probabilistes sur processeur multi-cœurs." Electronic Thesis or Diss., Sorbonne université, 2020. http://www.theses.fr/2020SORUS188.

Full text

Abstract:

L'intégration de nouvelles fonctionnalités augmente la complexité des systèmes temps réel , alors que chaque fonctionnalité peut imposer des contraintes de précédences entre les tâches. De plus, la prévalence des multicœurs peut créer l'illusion d'une capacité de calcul élevée. Cependant, cette capacité n'est pas exploitable dans les systèmes critiques en raison de la variabilité des temps d'exécution causé par les nouvelles architecture matérielle qui améliorent le comportement moyen mais pas le pire cas. Cette difficulté s'ajoute à l'existence d'anomalies d'ordonnancement pour les systèmes multicœurs. Dans cette thèse, nous considérons l'ordonnancement partitionné des graphes de précédence. La variabilité des temps d'exécution est décrite par des distributions de probabilité. Nous proposons une Analyse des Temps de Réponse (ATR) basée sur des équations itératives et des opérateurs probabilistes pour des distributions indépendantes. Pour les distributions dépendantes, nous les modélisons par des réseau bayésien. Nous utilisons également la représentation de C-espace et la classification SVM pour estimer la probabilité d'ordonnancabilité. De plus, nous fournissons des techniques de partitionnement et définition des priorités de manière à augmenter le parallélisme. Nous réduisons aussi la complexité de l'analyse en réduisant la taille du graphe sans modifier sa structure
The continuous integration of new functionality increases the complexity of embedded systems, while each functionality might impose precedence constraints between the programs fulfilling it. In addition, the prevalence of several processors may create the illusion of higher computation capacity easing the associated scheduling problem. However, this capacity is not exploitable in critical real time systems because of the increased variability of the execution times due to processor features designed to provide excellent average time behavior and not necessarily ensuring small worst case bounds. This difficulty is added to the existence of scheduling anomalies when the systems are built a top of multi-core processors. In this thesis, we consider partitioned scheduling of DAG tasks defining precedence constraints. The variability of execution times is described by probability distributions. We propose a Response Time Analysis (RTA) based on iterative equations and probabilistic operators for independent distributions. For dependent distributions, we model them using Bayesian network. We also use C-space representation combined with SVM classification to estimate the schedulability probability. Moreover, we provide techniques to define priority and sub-task partitioning in a way to increase parallelism. We also decrease analysis complexity by reducing size of graph without altering the precedence structures

APA, Harvard, Vancouver, ISO, and other styles

10

Thomas, Johan. "Algorithmes temporels rapides à point fixe pour la séparation aveugle de mélanges convolutifs et/ou sous-déterminés." Phd thesis, Université Paul Sabatier - Toulouse III, 2007. http://tel.archives-ouvertes.fr/tel-00268239.

Full text

Abstract:

La première partie de cette thèse est consacrée aux mélanges convolutifs (sur-)déterminés. Nous cherchons à étendre l'algorithme FastICA aux mélanges convolutifs en proposant un algorithme à point fixe opérant dans le domaine temporel. Nous introduisons un processus de blanchiment spatio-temporel non-causal, qui, en initialisant les paramètres d'extraction d'une façon particulière, permet d'utiliser des itérations d'optimisation de type point fixe. L'estimation des contributions dans les observations est réalisée grâce à un critère quadratique optimisé par un filtre de Wiener non-causal.
Dans la deuxième partie, consacrée aux mélanges sous-déterminés instantanés et convolutifs, nous cherchons aussi à étendre l'algorithme FastICA en nous basant sur le concept de séparation différentielle. Nous proposons des procédures de blanchiment différentiel des observations qui permettent l'emploi d'itérations à point fixe pour séparer entre elles des sources dites utiles. En convolutif, les contributions sont estimées au moyen d'un filtre de Wiener différentiel non-causal.
La troisième partie, consacrée aux mélanges instantanés de sources contenant un grand nombre d'échantillons, met d'abord en évidence une limitation de l'algorithme FastICA, qui, à chaque itération d'optimisation, calcule des statistiques sur l'ensemble des échantillons disponibles. Le critère du kurtosis étant polynômial relativement aux coefficients d'extraction, nous proposons une procédure d'identification de ce polynôme qui permet d'effectuer l'optimisation dans un espace de calcul moins gourmand. Ce principe est ensuite appliqué aux mélanges instantanés sous-déterminés.

APA, Harvard, Vancouver, ISO, and other styles

11

Lauga-Larroze, Estelle. "Contribution à la conception de capteurs de vision CMOS à grande dynamique." Grenoble INPG, 2007. http://www.theses.fr/2007INPG0078.

Full text

Abstract:

Cette thèse, effectuée dans le cadre du projet Européen MEDEA+, PICS, porte sur la conception d’imageurs CMOS destinés aux applications de sécurité automobile et de surveillance. Le travail s’est focalisé sur l’amélioration de la dynamique de fonctionnement des imageurs CMOS tout en conservant des valeurs de bruit spatial fixe, une consommation et une surface de pixel minimales. Plusieurs solutions ont été explorées, les pixels à compresseur logarithmique, les pixels à temps d’intégration et les pixels intégrant une adaptation aux conditions lumineuses. Ces études ont abouties à la conception et la fabrication de quatre imageurs CMOS. Ces capteurs ont été testés et ont permis de valider les approches choisies
This thesis, carried out within the MEDEA + European project PICS, dealt with the design of CMOS imagers for automotive safety, security and professional broadcast applications. During this thesis, work was focused on improving the CMOS imager dynamic range while keeping minimal values for the fixed spatial noise, the power consumption and the pixel area. Several pixel architectures were investigated such as logarithmic architecture pixels, integration pixels and integration with light adaptive system. These studies resulted in the design of four CMOS imagers. Two circuits have been prototyped. The sensors performances obtained by test validate the proposed pixel architectures

APA, Harvard, Vancouver, ISO, and other styles

12

Saidi, Karima. "Stabilisation d’une classe d’EDP non linéaire. Application à l’équation de Vlasov-Poisson." Electronic Thesis or Diss., Université de Lorraine, 2023. http://www.theses.fr/2023LORR0225.

Full text

Abstract:

Les travaux présentés dans cette thèse portent sur la stabilisation d'une classe d'équations aux dérivées partielles non linéaires. Il s'agit d'un modèle discrétisé de l'équation de Vlasov-Poisson décrivant l'évolution spatio-temporelle, dans un plasma, d'une fonction de distribution de particules chargées. Dans une première étape, nous avons abordé la stabilisation des systèmes dynamiques en temps fixe (i.e. la stabilisation en temps fini avec un temps d'établissement uniformément borné). Des critères relaxant des résultats existants dans la littérature ont été établis. En effet, nous avons montré que, pour un système dynamique, la combinaison de la stabilité lente (au sens polynomiale) et de la stabilité rapide (au sens temps fini) conduit à une stabilité en temps fixe. Diverses applications sur le système de Vlasov-Poisson discrétisé concernent aussi le système double intégrateur avec observateur et les systèmes bilinéaires de dimension infinie où pour chacun de ces systèmes, le retour stabilisant et /ou les observateursen temps fixe sont construits et testés numériquement. Dans une seconde étape, nous nous sommes intéressés à la stabilisation en temps petit des systèmes dynamiques variants dans le temps. En fait, la notion de temps petit est couramment utilisée dans la théorie de la commandabilité. Pour la stabilisation, ce temps petit est situé entre le temps fini et le temps fixe. Nous avons élaboré des résultats théoriques basés sur la méthode énergétique garantissant la convergence de la solution, vers zéro, en temps petit. Cela, est obtenu moyennant une excitation temporelle d'une fonction positive non intégrable au sens de Lebesgue. Puis, nous avons appliqué nos résultats sur des exemples modèles comme l'équation de transport avec contrôle frontière, l'équation d'onde soumis à un contrôle frontière du type Wentzell. Également, pour les systèmes bilinéaires en dimension finie et infinie qui sont, en outre, des modèles types de Vlasov-Poisson discrétisé. Pour chaque système, nous avons élaboré son retour d'état dont la construction est basée sur l'intégration des excitations temporelles et uniformes
The work presented in this thesis concerns the stabilization of a class of nonlinear partialdifferential equations. It is a discretized model of the Vlasov-Poisson equation describing the spatial and temporal evolution, in a plasma, of a distribution function of charged particles. In a first step, we addressed the stabilization of the dynamical systems in fixed time (i.e. stabilization in finite time with a uniformly bounded). Criteria relaxing existing results in the literature have been established. Indeed, we have shown that, for a dynamical system, the combination of slow stability (in the polynomial sense) and fast stability (in the finite time sense) leads to a stability in fixed time. Various applications on the discretized Vlasov-Poisson system also concern the double integrator system with observer and the bilinear systems in infinite dimension where for each of these systems, the stabilizing feedback and/or observers in fixed time are constructed and numerically tested. In a second step, we are interested in the small time stabilization of time varying dynamical systems. In fact, the notion of small time is commonly used in theory of controllability. For stabilization, this small time is located between finite time and the fixed time. We have developed theoretical results based on the energy method guaranteeing the disappearance of the solution in small time. This is obtainedby means of a time excitation of a positive function not integrable in the sense of Lebesgue. Then, we have applied our results on model examples such as the transport equation with boundary control, the wave equation subject to a boundary control of the Wentzell type. Also, for finite and infinite dimensional bilinear systems which are, in addition, typical discretized Vlasov-Poisson models. For each system, we have elaborated its feedback whose construction is based on the integration of temporal and uniform excitations

APA, Harvard, Vancouver, ISO, and other styles

13

Peyre, Thierry. "Evaluation de performances sur le standard IEEE802.16e WiMAX." Phd thesis, Université d'Avignon, 2008. http://tel.archives-ouvertes.fr/tel-00796477.

Full text

Abstract:

Les dernières décennies ont connu l'apogée des transmissions hertziennes, et celles à venir connaîtront incontestablement le développement et le déploiement intense de systèmes de communications sans-fil. Dès à présent, il est possible de communiquer par onde sur petite et très petite distance (LAN et PAN). Les populations se sont familiariséesavec les interfaces bluetooth (IEEE802.15) présentes dans la majorité des objetscommuniquant (ordinateur portable, téléphone, PDA, etc...). Les foyers s'équipentmaintenant facilement et à bas prix d'interfaceWi-Fi (IEEE802.11), afin de profiter d'uneutilisation nomade de leur accès internet. Ainsi, la forte croissance dumarché des offresinternet combinée avec celle du marché des téléphones mobiles ont habitués un large spectre d'utilisateurs à communiquer sans fil. Ce contexte sociologique et financier encourage donc l'arrivée de solutions nouvelles répondant à des besoins latents. Parmi ceux-là, le marché met en évidence le manque de système de communication sur moyenne distance (MAN). Les réseaux ad-hoc peuvent répondre à ce genre de besoin. Mais àce jour, les performances sont trop faibles pour les besoins des utilisateurs et elles dépendenttrop fortement de la densité desmachines nomades. Aussi, le consortiumIEEEcherche au travers de sa norme IEEE802.16 à fournir un système complet de communicationsans-fil sur moyenne distance (MAN). Appelé aussiWiMAX, ce système se basesur une architecture composée d'une station de base (BS) et de nombreux mobiles utilisateurs(SS). Le standard IEEE802.16 définit les caractéristiques de la couche physiqueet de la couche MAC. Il décrit l'ensemble des interactions et événements pouvant avoirlieu entre la station de base et les stations mobiles. Enfin, le standard fournit différents paramètres et variables servant aux mécanismes de communication. Comme tout nouveau standard émergeant, la norme IEEE802.16 ne profite pas d'un état de l'art aussi développé que celui du IEEE802.11 par exemple. Aussi, de nombreuses études et idées sont à développer.En premier lieu, nous effectuons un large rappel de la norme WiMAX et en particulier le IEEE802.16e. Associé à cela, nous dressons un état de l'art des travaux traitant des aspects et perspectives liés au sujet de notre étude.Par la suite, nous proposons un modèle novateur de performance des communicationsIEEE802.16e. Au travers de ce modèle, nous développons une étude générale et exhaustive des principaux paramètres de communication. L'étude explicite l'impact deces paramètres ainsi que l'influence de leur évolutions possibles. De cela, nous critiquonsla pertinence de chacun d'eux en proposant des alternatives de configurations.5En sus, nous proposons un mécanisme novateur favorisant le respect de qualité de service(QoS) sur couche AC.Nous développons un principe original d'établissement de connexion favorisant l'accès aux communications sensibles aux délais de transmission.Dans une dernière partie, nous déterminons la capacité d'un système IEEE802.16 à gérer les arrivées et départs des utilisateurs. Tout en y associant une étude de performance d'un nouvel algorithme de contrôle d'admission. Cet algorithme d'admission vise à remplir des objectifs multiples : empêcher les famines de ressources sur les trafics les moins prioritaires, favoriser l'admission des utilisateurs en maintenant une gestion optimale de la ressource radio. Notre étude aboutit à une modélisation et une critique des variations de paramètre associés à ce nouvel algorithme. Nous y intégrons par la suite le principe de mobilité où les utilisateurs ont la capacité de se mouvoir au sein d'une cellule. Cette intégration se fait en y associant des mécanismes originaux afin d'assurer la pérennité du service aux utilisateurs mobiles.

APA, Harvard, Vancouver, ISO, and other styles

14

Grenier, Mathieu. "Optimisation de l'ordonnancement sous contrainte de faisabilité." Electronic Thesis or Diss., Vandoeuvre-les-Nancy, INPL, 2007. http://www.theses.fr/2007INPL076N.

Full text

Abstract:

L’objectif que nous nous sommes fixés dans ce travail est la conception d’algorithmes d’ordonnancement temps réel en-ligne faisables optimisant l’utilisation de la plate-forme d’exécution et/ou des critères applicatifs de qualité de service propres à l’application. Nous avons en particulier étudié l’ordonnancement d’activités sur une ressource unique. Deux cas ont été analysés : le cas de tâches indépendantes périodiques s’exécutant sur un processeur et le cas de flux de messages indépendants périodiques sur un réseau de terrain avec accès au médium priorisé. Nos contributions reposent sur le “modèle classique” de l’ordonnancement temps réel où le système est représenté par un ensemble d’activités périodiques indépendantes et deux problématiques ont été abordées : • optimisation de l’utilisation de la plate-forme d’exécution : utiliser au mieux le potentiel de la plate-forme d’exécution tout en garantissant le respect des contraintes temporelles imposées au système ; ceci optimise le nombre de configurations faisables, • optimisation des critères applicatifs de qualité de service propres à l’application (i.e., pris en compte des performances de l’application autre que la faisabilité) : garantir les contraintes de temps tout en optimisant les performances de l’application. Nous avons donc proposé : • des méthodes de configurations permettant d’optimiser l’utilisation de la plate-forme d’exécution (i.e., maximiser faisabilité) en fixant les paramètres des politiques ou des systèmes considérés d’une manière appropriée. Deux études ont été conduites dans ce cadre : • allocation des “offsets” dans les systèmes “offset free”, • allocation de priorités, de politiques et de quantum dans les systèmes conformes au standard Posix 1003.1b, • une nouvelle classe de politiques d’ordonnancement permettant d’optimiser des critères de performances propres à l’application. De plus, une analyse d’ordonnancement générique pour cette classe a été proposée
Our goal is to come up with feasible (i.e., all required time constraints are met) on-line real-time scheduling algorithms. These algorithms have to optimise 1) the utilisation of the execution platform (i.e., meet time constraints and use platform at its fullest potential) and/or 2) optimise the application dependent performance criteria. We study two cases : the case of independent periodic tasks scheduled on a processor and the case of periodic traffic streams scheduled on a priority bus. To deal with these two problems, we propose : • Configuration methods to allow to optmlise the utilisation rate of the execution platform by setting the parameters of the policies or of the activities of the considered system. We perform two studies : the allocation of offsets in "Offset free" systems (I.E., offsets can be chosen off-line) and the priorities, policies and quantum allocations in systems compliant to the standard Posix 1003.1B, • A new class of scheduling policies to allow optimising application performance dependent criteria

APA, Harvard, Vancouver, ISO, and other styles

15

Villeros, Arias Pablo Andrés de. "Contributions to Multi-agent System Control through Fixed-Time Distributed Optimization." Electronic Thesis or Diss., Valenciennes, Université Polytechnique Hauts-de-France, 2024. http://www.theses.fr/2024UPHF0043.

Full text

Abstract:

Avec le développement de l'informatique distribuée et des réseaux à grande échelle au cours de la dernière décennie, l'optimisation distribuée basée sur le consensus est devenue un sujet très actif dans l'ingénierie de contrôle en raison de son application dans l'allocation des ressources, les réseaux intelligents, les réseaux de capteurs et l'apprentissage automatique. En outre, dans certaines applications de coordination des mouvements, plusieurs agents physiques doivent établir une formation spécifique autour d'un emplacement optimal pour l'ensemble de la flotte. Il s'agit d'un cas plus général de consensus, où la position finale de chaque agent est décalée par rapport à une configuration souhaitée. On trouve des applications du contrôle de formation dans les domaines de l'automobile et de l'aérospatial, allant de l'assemblage de structures à l'exploration d'environnements inconnus, en passant par la navigation dans des environnements hostiles et le transport coopératif. Cependant, la plupart des algorithmes d'optimisation distribués ne présentent pas toujours un taux de convergence raisonnable. Cette thèse vise à concevoir de nouveaux algorithmes d'optimisation distribuée en utilisant un formalisme de système multi-agents (c'est-à-dire une approche basée sur le consensus) tout en considérant le temps comme une contrainte forte. En particulier, les algorithmes de ce travail sont développés dans le cadre d'une convergence à temps fixe avec une limite supérieure arbitraire du temps d'établissement et ont été prouvés comme étant robustes aux problèmes de communication entre les agents et aux perturbations externes. Plusieurs simulations sont effectuées pour comparer les algorithmes proposés avec les schémas existants et évaluer leur applicabilité à l'estimation de la source et à l'apprentissage collaboratif
With the development of distributed computing and large-scale networks during the past decade, consensus-based distributed optimization has become a highly active subject in control engineering due to its application in resource allocation, smart grids, sensor networks, and machine learning. Additionally, in some applications of motion coordination, multiple physical agents should establish a specific formation around a location that is optimal for the whole team. This is a more general case of consensus, where the final position of each agent has an offset according to a desired configuration. Applications of formation control can be found in the automotive and aerospace areas, ranging from assembling structures, exploration of unknown environments, and navigation in hostile environments to cooperative transportation. However, most distributed optimization algorithms do not always exhibit a reasonable convergence rate. This thesis aims to design new distributed optimization algorithms using a multiagent system formalism (i.e., consensus-based approach) while considering time as a hard constraint. In particular, the algorithms in this work are developed under the scope of fixed-time convergence with an arbitrary upper bound of the settling time and have been proven to be robust against communication issues among agents and external disturbances. Several simulations are performed to compare the proposed algorithms with existing schemes and evaluate their applicability to source estimation and collaborative learning
Con el desarrollo de la computación distribuida y las redes de gran escala durante la última década, la optimización distribuida basada en consenso se ha convertido en un tema altamente activo en la ingeniería de control debido a su aplicación en la asignación de recursos, redes inteligentes, redes de sensores y aprendizaje automático. Además, en algunas aplicaciones de coordinación de movimiento, múltiples agentes físicos deben establecer una formación específica alrededor de una ubicación que sea óptima para todo el equipo. Este es un caso más general de consenso, donde la posición final de cada agente tiene un desplazamiento según una configuración deseada. Las aplicaciones del control de formación se pueden encontrar en las áreas automotriz y aeroespacial, abarcando desde el ensamblaje de estructuras, la exploración de entornos desconocidos y la navegación en entornos hostiles hasta el transporte cooperativo. Sin embargo, la mayoría de los algoritmos de optimización distribuida no siempre muestran una tasa de convergencia razonable. Esta tesis tiene como objetivo diseñar nuevos algoritmos de optimización distribuida utilizando un formalismo de sistemas multiagente (es decir, un enfoque basado en consenso) considerando el tiempo como una restricción estricta. En particular, los algoritmos de este trabajo se desarrollan bajo el alcance de la convergencia en tiempo fijo con un límite superior arbitrario del tiempo de asentamiento y han demostrado ser robustos contra problemas de comunicación entre agentes y perturbaciones externas. Se realizan varias simulaciones para comparar los algoritmos propuestos con los esquemas existentes y evaluar su aplicabilidad a la estimación de fuentes y el aprendizaje colaborativo

APA, Harvard, Vancouver, ISO, and other styles

16

Tang, Ning. "Calculation of latency of real-time system and fixed-parameter tractibility of UET-UCT scheduling problems." Electronic Thesis or Diss., Sorbonne université, 2022. http://www.theses.fr/2022SORUS369.

Full text

Abstract:

Cette thèse considère deux problèmes principaux. Le premier problème considère la minimisation du makespan et le retard maximum pour un ensemble de tâches dépendantes avec une durée unitaire, des retards de communication unitaires, des temps de libération et des dates d'échéance. Les fenêtres temporelles des tâches sont construites à partir des bornes supérieures du makespan et du retard maximum minimum respectivement. Un algorithme à paramètres fixes basé sur une approche de programmation dynamique est développé pour résoudre ce problème d'optimisation. Le paramètre considéré est la largeur de chemin du graphe d'intervalle associé. Ce sont, à notre connaissance, les premiers algorithmes à paramètres fixes pour un problème d'ordonnancement avec des retards de communication et un nombre limité de processeurs. Le deuxième problème concerne les systèmes en temps réel. Les systèmes embarqués automobiles et avioniques sont généralement composés de plusieurs tâches soumises à des contraintes temporelles complexes. Dans ce contexte, le paradigme LET a été introduit pour améliorer le déterminisme d'un système de tâches qui communiquent des données via des variables partagées. L'âge de latence correspond au temps maximum de propagation d'une donnée dans ces systèmes. Son évaluation précise est un défi important pour la conception de ces systèmes. Nous avons considéré un ensemble de tâches multi-périodiques qui communiquent des données selon le paradigme LET. Des expériences sur des graphes générés aléatoirement ont prouvé que des systèmes comportant jusqu'à 90 tâches périodiques avec une hyper-période bornée par 100 peuvent être traités dans un délai raisonnable
This thesis considers two main problems. The first problem considers the minimization of the makespan and the maximum lateness for a set of dependent tasks with unit duration, unit communication delays release times and due dates. Time windows of tasks are built from upper bounds of the makespan and the minimum maximum lateness respectively. A fixed-parameter algorithm based on a dynamic programming approach is developed to solve this optimization problem. The parameter considered is the pathwidth of the associated interval graph. They are, as far as we know, the first fixed-parameter algorithms for a scheduling problem with communication delays and a limited number of processors. The second problem considers real-time systems. Automotive and avionics embedded systems are usually composed by several tasks submitted to complex timing constraints. In this context, LET paradigm was introduced to improve the determinism of a system of tasks that communicate data through shared variables. The age latency corresponds to the maximum time for the propagation of a data in these systems. Its precise evaluation is an important challenging question for the design of these systems. We considered a set of multi-periodic tasks that communicate data following the LET paradigm. Our main contribution is the development of mathematical and algorithm tools to model precisely the dependence between tasks executions. Experiments on random generated graphs proved that systems with up to 90 periodic tasks with an hyper-period bounded by 100 can be handled within a reasonable time

APA, Harvard, Vancouver, ISO, and other styles

17

Anggraeni, Pipit. "Consensus décentralisé de type meneur/suiveur pour une flotte de robots coopératifs soumis à des contraintes temporelles." Thesis, Valenciennes, 2019. http://www.theses.fr/2019VALE0012/document.

Full text

Abstract:

Un groupe de robots collaboratifs peut gérer des tâches qui sont difficiles, voire impossibles, à accomplir par un seul. On appelle un ensemble de robots coopérant un système multi-agents (SMA). L'interaction entre agents est un facteur clé dans la commande coopérative qui pose d'importants défis théoriques et pratiques. L'une des tâches du contrôle coopératif est le consensus dont l'objectif est de concevoir des protocoles de commande afin de parvenir à un accord entre leurs états respectifs. Cette thèse améliore la navigation pour les SMA, tout en tenant compte de certaines contraintes pratiques (modèle du robot et contraintes temporelles) dans la conception de contrôleurs coopératifs pour chaque agent, de manière décentralisée. Dans cette thèse, deux directions sont étudiées. D'une part, le taux de convergence est une spécification de performance importante pour la conception du contrôleur pour un système dynamique. La convergence rapide est toujours recherchée pour améliorer les performances et la robustesse. La plupart des algorithmes de consensus existants se concentrent sur la convergence asymptotique, où le temps d'établissement est infini. Cependant, de nombreuses applications nécessitent une convergence rapide généralement caractérisée par une stratégie de commande à temps fini. De plus, la commande à temps fini autorise certaines propriétés intéressantes, mais le temps de stabilisation dépend des conditions initiales des agents. L'objectif ici est de concevoir un protocole de consensus leader-follower à temps fixe pour les SMA décrits en temps continu. Ce problème est étudié en utilisant la théorie de la stabilisation à temps fixe, qui garantit que le temps de stabilisation est borné quelles que soient les conditions initiales. Les contrôleurs et les observateurs à modes glissants sont conçus pour que chaque agent résolve le problème du consensus à temps fixe lorsque le leader est dynamique. D'autre part, par rapport aux systèmes à temps continu, le problème du consensus dans un cadre à temps discret convient mieux aux applications pratiques en raison de la limitation des ressources de calcul pour chaque agent. Le modèle de commande prédictive (MPC) permet de gérer les contraintes de commande et d'état des systèmes. Dans cette thèse, cette méthode est appliquée pour traiter le problème du consensus en temps discret en laissant chaque agent résoudre, à chaque étape, un problème de commande optimale contraint impliquant uniquement l'état des agents voisins. Les performances de suivi sont également améliorées dans cette thèse en ajoutant de nouveaux termes à partir du MPC classique. Les contrôleurs proposés sont simulés et implémentés sur un groupe composé de plusieurs robots réels en utilisant ROS (Robotic Operating System). Dans cette thèse, quelques solutions correspondant au problème de la connexion entre plusieurs robots mobiles de manière décentralisée, du réglage des périodes d'échantillonnage et des paramètres de contrôle sont également abordées
Nowadays, robots have become increasingly important to investigate hazardous and dangerous environments. A group of collaborating robots can often deal with tasks that are difficult, or even impossible, to be accomplished by a single robot. Multiple robots working in a cooperative manner is called as a Multi-Agent System (MAS). The interaction between agents to achieve a global task is a key in cooperative control. Cooperative control of MASs poses significant theoretical and practical challenges. One of the fundamental topics in cooperative control is the consensus where the objective is to design control protocols between agents to achieve a state agreement. This thesis improves the navigation scheme for MASs, while taking into account some practical constraints (robot model and temporal constraints) in the design of cooperative controllers for each agent, in a fully decentralized way. In this thesis, two directions are investigated. On one hand, the convergence rate is an important performance specification to design the controller for a dynamical system. As an important performance measure for the coordination control of MASs, fast convergence is always pursued to achieve better performance and robustness. Most of the existing consensus algorithms focus on asymptotic convergence, where the settling time is infinite. However, many applications require a high speed convergence generally characterized by a finite-time control strategy. Moreover, finite-time control allows some advantageous properties but the settling time depend on the initial states of agents. The objective here is to design a fixed-time leader-follower consensus protocol for MASs described in continuous-time. This problem is studied using the powerful theory of fixed-time stabilization, which guarantee that the settling time is upper bounded regardless to the initial conditions. Sliding mode controllers and sliding mode observers are designed for each agent to solve the fixed-time consensus tracking problem when the leader is dynamic. On the other hand, compared with continuous-time systems, consensus problem in a discrete-time framework is more suitable for practical applications due to the limitation of computational resources for each agent. Model Predictive Control (MPC) has the ability to handle control and state constraints for discrete-time systems. In this thesis, this method is applied to deal with the consensus problem in discrete-time by letting each agent to solve, at each step, a constrained optimal control problem involving only the state of neighboring agents. The tracking performances are also improved in this thesis by adding new terms in the classical MPC technique. The proposed controllers will be simulated and implemented on a team of multiple Mini-Lab Enova Robots using ROS (Robotic Operating System) which is an operating system for mobile robots. ROS provides not only standard operating system services but also high-level functionalities. In this thesis, some solutions corresponding to problem of connection between multiple mobile robots in a decentralized way for a wireless robotic network, of tuning of the sampling periods and control parameters are also discussed

APA, Harvard, Vancouver, ISO, and other styles

18

Peyre, Thierry. "Evaluation de performances sur le standard IEEE802. 16e WiMAX." Avignon, 2008. https://tel.archives-ouvertes.fr/tel-00796477.

Full text

Abstract:

Les dernières décennies ont connu l’apogée des transmissions hertziennes, et celles à venir connaîtront incontestablement le développement et le déploiement intense de systèmes de communications sans-fil. Dès à présent, il est possible de communiquer par onde sur petite et très petite distance (LAN et PAN). Les populations se sont familiariséesavec les interfaces bluetooth (IEEE802. 15) présentes dans la majorité des objetscommuniquant (ordinateur portable, téléphone, PDA, etc. . . ). Les foyers s’équipentmaintenant facilement et à bas prix d’interfaceWi-Fi (IEEE802. 11), afin de profiter d’uneutilisation nomade de leur accès internet. Ainsi, la forte croissance dumarché des offresinternet combinée avec celle du marché des téléphones mobiles ont habitués un large spectre d’utilisateurs à communiquer sans fil. Ce contexte sociologique et financier encourage donc l’arrivée de solutions nouvelles répondant à des besoins latents. Parmi ceux-là, le marché met en évidence le manque de système de communication sur moyenne distance (MAN). Les réseaux ad-hoc peuvent répondre à ce genre de besoin. Mais àce jour, les performances sont trop faibles pour les besoins des utilisateurs et elles dépendenttrop fortement de la densité desmachines nomades. Aussi, le consortiumIEEEcherche au travers de sa norme IEEE802. 16 à fournir un système complet de communicationsans-fil sur moyenne distance (MAN). Appelé aussiWiMAX, ce système se basesur une architecture composée d’une station de base (BS) et de nombreux mobiles utilisateurs(SS). Le standard IEEE802. 16 définit les caractéristiques de la couche physiqueet de la couche MAC. Il décrit l’ensemble des interactions et événements pouvant avoirlieu entre la station de base et les stations mobiles. Enfin, le standard fournit différents paramètres et variables servant aux mécanismes de communication. Comme tout nouveau standard émergeant, la norme IEEE802. 16 ne profite pas d’un état de l’art aussi développé que celui du IEEE802. 11 par exemple. Aussi, de nombreuses études et idées sont à développer. En premier lieu, nous effectuons un large rappel de la norme WiMAX et en particulier le IEEE802. 16e. Associé à cela, nous dressons un état de l’art des travaux traitant des aspects et perspectives liés au sujet de notre étude. Par la suite, nous proposons un modèle novateur de performance des communicationsIEEE802. 16e. Au travers de ce modèle, nous développons une étude générale et exhaustive des principaux paramètres de communication. L’étude explicite l’impact deces paramètres ainsi que l’influence de leur évolutions possibles. De cela, nous critiquonsla pertinence de chacun d’eux en proposant des alternatives de configurations. 5En sus, nous proposons un mécanisme novateur favorisant le respect de qualité de service(QoS) sur couche AC. Nous développons un principe original d’établissement de connexion favorisant l’accès aux communications sensibles aux délais de transmission. Dans une dernière partie, nous déterminons la capacité d’un système IEEE802. 16 à gérer les arrivées et départs des utilisateurs. Tout en y associant une étude de performance d’un nouvel algorithme de contrôle d’admission. Cet algorithme d’admission vise à remplir des objectifs multiples : empêcher les famines de ressources sur les trafics les moins prioritaires, favoriser l’admission des utilisateurs en maintenant une gestion optimale de la ressource radio. Notre étude aboutit à une modélisation et une critique des variations de paramètre associés à ce nouvel algorithme. Nous y intégrons par la suite le principe de mobilité où les utilisateurs ont la capacité de se mouvoir au sein d’une cellule. Cette intégration se fait en y associant des mécanismes originaux afin d’assurer la pérennité du service aux utilisateurs mobiles
The last decade witnessed the peak of the hertzian communications. The following ones will undoubtedly testify the intensive deployment and the development of all wireless ways of transmission. Due to cheaper equipments, the people are now used with all sorts of connected objects : laptop, smartphone, pad, and more recently, Connected Video display and audio diffusers. All these stuffs allow to keep an access to internet, even in a nomad use. This economical and sociological context promotes the emerging of new solutions metting latent needs by offering better performances. Consumer studies highlight particularly the lack of transmissions solution for Metropolitan Area Networks (MAN). Ad-hoc wireless solutions lead to satisfy the MAN needs, but the throughput is too importantly related to the ad-hoc customer capacity and density over the MAN coverage. The IEEE consortium seeks, through its IEEE802. 16e standart, to provide a wireless transmission technology specifically design for the middle range network. Knowed as WiMAX, this system are based on a point to multipoint architecture. WiMAX standart gathers Base Station (BS) and Subscriber Stations (SS), and defines for both the Physical and MAC layer in the OSI Model. In addition, the standart proposes a set of default parameters for the two first OSI Layers. As any emerging standart, the IEEE802. 16e suffers form a lack of litterature (works, studies and enhancement proposals). More studies are explicitly needed to craft and tune the IEEE802. 16e standart in order to better answer to the specific issues met in the actual context of transmission. In a first step, we present in a large scale the IEEE802. 16e standart specifications. In addition we highlight the main state of art linked to this subject. Second, we propose an original performance model, the first one that takes in account all the MAC layer parameters of the standart. Based on this model, we lead a general and exhaustive performance study of each communication parameters. This study highlights the importance of each parameters and propose some enhancements in fonction of the type of Quality of Service (QoS). In addition, we introduce an call engaging mecanism which respects the QoS on the MAC layer. In a last part, we compute the IEEE802. 16e capacity to manage the incoming and leaving calls. We perform this study by introducing a new Connection Admission Control (CAC). The CAC algorithm achieves sevral objectives : prevent from the lack of ressource for the lowest priority flows as well as optimize the radio resource consumption to facilitate the access for the users. Our study is concluded by proposing an new capacity model and algorithm for the CAC. Moreover, this last proposal prevents the call drop due to user mobility

APA, Harvard, Vancouver, ISO, and other styles

19

Grenier, Mathieu. "Optimisation de l'ordonnancement sous contrainte de faisabilité." Phd thesis, Institut National Polytechnique de Lorraine - INPL, 2007. http://tel.archives-ouvertes.fr/tel-00192466.

Full text

Abstract:

Notre objectif est la conception d'algorithmes d'ordonnancement temps réel en-ligne faisables (i.e., garantissant le respect des contraintes temporelles imposées au systèmes) optimisant 1) l'utilisation de la plate-forme d'exécution (i.e., utiliser au mieux le potentiel de la plate-forme d'exécution tout en garantissant le respect des contraintes temporelles imposées au système) et/ou 2) optimisant des critères de performances
propres à l'application.

Deux cas ont été analysés : le cas de tâches indépendantes périodiques s'exécutant sur un processeur et le cas de flux de messages indépendants périodiques sur un réseau de terrain avec accès au médium priorisé.

Nous avons donc proposé pour traiter les deux problèmatiques abordées :
1) des méthodes de configurations permettant d'optimiser l'utilisation de la plate-forme d'exécution en fixant d'une manière appropriée les paramètres : des politiques ou des activités du système considéré. Deux études ont été conduites dans ce cadre~: l'allocation des ``offsets'' dans les systèmes ``offset free'' et l'allocation de priorités, de politiques et de quantum dans
les systèmes conformes au standard Posix~1003.1b,
2) une nouvelle classe de politiques d'ordonnancement permettant
d'optimiser des critères de performances propres à l'application.

APA, Harvard, Vancouver, ISO, and other styles

20

Speidel, Klaus. "Narration visuelle et récit iconique : raconter une histoire en une image." Thesis, Paris 4, 2013. http://www.theses.fr/2013PA040195.

Full text

Abstract:

A l’occasion de l'analyse de la question des capacités de l’image immobile isolée de « raconter une histoire », l’auteur développe les bases d’une narratologie fondamentale renouvelée, revisite la sémiotique du texte et les théories de l’image et réalise un déplacement méthodologique qui remplace l’approche sémiotique de la question du récit et de la narrativité par une approche en termes d’effets et de réception. La réflexion croise plusieurs disciplines : l’histoire de l’art, la narratologie, la sémiotique, mais aussi la philosophie et l’esthétique. Si l'auteur se propose bien de reconstruire les fondements même de la théorie de la narration visuelle, il ne cherche pas cependant à remplacer les théories existantes par un nouveau paradigme construit ex nihilo. Les bases nouvelles émergent au fil d’un travail sur les théories développées à ce jour ainsi qu'un corpus divers d'images narratives. Les théories critiquées se voient intégrées plutôt que niées dans le déplacement opéré. Pour résoudre le principal problème pour le récit iconique, celui du temps, l'auteur propose une nouvelle conceptualisation de la structure temporelle de l'image fixe unique. Celle-ci prend en compte le temps représenté et la durée perceptive. La dernière partie de l'ouvrage est consacrée à une relecture du Laocoon (1766) de G. E. Lessing, ouvrage largement responsable de la conception actuelle selon laquelle le récit iconique serait impossible. L'auteur montre que le débat autour des thèses de Lessing a été faussé par une confusion entre la question des possibilités/impossibilités de l’image comme telle et celle des « fins propres » de l’image dès lors qu’elle est artistique
Based on his analysis of the possibility of iconic narrative – « telling a story » with a single still picture – Klaus-Peter Speidel develops a new foundation for visual narratology based on cognitive theory and reception aesthetics. Speidel's work is at the intersection of various disciplines : art history, literary theory, semiotics, philosophy of art and picture theory. While the thesis aims at reconstructing the foundations of a theory of visual narrative, the author does not try to replace the existing approaches with a new theory created ex nihilo. The new foundations emerge from his analysis of existing theories as well as a diverse array of pictures which play an important role in the argument. Classical theories of narrative are absorbed rather than rejected. In order to solve the main problem for visual narrative, the problem of time, the author offers a new conceptualisation of the temporal structure of still images. His taxonomy takes into account both the chronology of the story being told and perception time. The final part of the work offers a reinterpretation of G. E. Lessing's Laocoon (1766) a work that has played a major role for modern scepticism concerning the possibility of telling a story with a picture. The author shows that the discussion around Lessing has been biased by a confusion between the possibilities of the picture as such and the aims of artistic pictures. According to Speidel, Lessing's theory has lost much of its value as a theory of art but is still valuable as a theory for certain kinds of pictures, namely pictures that aim at “transparency”

APA, Harvard, Vancouver, ISO, and other styles

21

Chu, Xing. "Commande distribuée, en poursuite, d'un système multi-robots non holonomes en formation." Thesis, Ecole centrale de Lille, 2017. http://www.theses.fr/2017ECLI0035/document.

Full text

Abstract:

L’objectif principal de cette thèse est d’étudier le problème du contrôle de suivi distribué pour les systèmes de formation de multi-robots à contrainte non holonomique. Ce contrôle vise à entrainer une équipe de robots mobile de type monocycle pour former une configuration de formation désirée avec son centroïde se déplaçant avec une autre trajectoire de référence dynamique et pouvant être spécifié par le leader virtuel ou humain. Le problème du contrôle de suivi a été résolu au cours de cette thèse en développant divers contrôleurs distribués pratiques avec la considération d’un taux de convergence plus rapide, une précision de contrôle plus élevée, une robustesse plus forte, une estimation du temps de convergence explicite et indépendante et moins de coût de communication et de consommation d’énergie. Dans la première partie de la thèse nous étudions d’abord au niveau du chapitre 2 la stabilité à temps fini pour les systèmes de formation de multi-robots. Une nouvelle classe de contrôleur à temps fini est proposée dans le chapitre 3, également appelé contrôleur à temps fixe. Nous étudions les systèmes dynamiques de suivi de formation de multi-robots non holonomiques dans le chapitre 4. Dans la deuxième partie, nous étudions d'abord le mécanisme de communication et de contrôle déclenché par l'événement sur les systèmes de suivi de la formation de multi-robots non-holonomes au chapitre 5. De plus, afin de développer un schéma d'implémentation numérique, nous proposons une autre classe de contrôleurs périodiques déclenchés par un événement basé sur un observateur à temps fixe dans le chapitre 6
The main aim of this thesis is to study the distributed tracking control problem for the multi-robot formation systems with nonholonomic constraint, of which the control objective it to drive a team of unicycle-type mobile robots to form one desired formation configuration with its centroid moving along with another dynamic reference trajectory, which can be specified by the virtual leader or human. We consider several problems in this point, ranging from finite-time stability andfixed-time stability, event-triggered communication and control mechanism, kinematics and dynamics, continuous-time systems and hybrid systems. The tracking control problem has been solved in this thesis via developing diverse practical distributed controller with the consideration of faster convergence rate, higher control accuracy, stronger robustness, explicit and independent convergence time estimate, less communication cost and energy consumption.In the first part of the thesis, we first study the finite-time stability for the multi-robot formation systems in Chapter 2. To improve the pior results, a novel class of finite-time controller is further proposed in Chapter 3, which is also called fixed-time controller. The dynamics of nonholonomic multi-robot formation systems is considered in Chapter 4. In the second part, we first investigate the event-triggered communication and control mechanism on the nonholonomic multi-robot formation tracking systems in Chapter 5. Moreover, in order to develop a digital implement scheme, we propose another class of periodic event-triggered controller based on fixed-time observer in Chapter 6

APA, Harvard, Vancouver, ISO, and other styles

22

Rahni, Ahmed Richard Pascal Grolleau Emmanuel Richard Michaël. "Contributions à la validation d'ordonnancement temps réel en présence de transactions sous priorités fixes et EDF." Poitiers : I-Médias, 2008. http://08.edel.univ-poitiers.fr/index.php?id=1740.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Filho, Roberto Mendes Porto. "Sincronização da ovulação para a inseminação artificial em tempo fixo (IATF) durante a estação reprodutiva desfavorável em fêmeas bubalinas." Universidade de São Paulo, 2004. http://www.teses.usp.br/teses/disponiveis/10/10131/tde-18072005-082046/.

Full text

Abstract:

Foram comparadas diferentes doses de eCG e hCG associadas a dispositivos intravaginais de progesterona (DIV), para avaliar o crescimento folicular e a ovulação, bem como a taxa de prenhez após a IATF e a funcionalidade do CL 12 dias após a sincronização em búfalas, durante a estação reprodutiva desfavorável. Para tanto, foram realizados cinco experimentos. Nos experimentos 1, 2 e 4, os grupos foram estabelecidos em função da ciclicidade dos animais, avaliada pelas concentrações plasmáticas de progesterona mediante colheita de sangue por punção da veia jugular no D-10 e no D0. Nos experimentos 3 e 5, os grupos foram estabelecidos em função da condição corporal e da ordem de parto. Em todos os experimentos as búfalas receberam um DIV associado a 2mg de Benzoato de Estradiol (BE) no D0. No D9 o DIV foi retirado, e procedeu-se à administração de 0,150mg de prostaglandina (PGF). No experimento 1, as búfalas do G1 (Controle, n=9) e do G2 (eCG, n=10) receberam 1500UI de hCG no D11; o G2 recebeu também 500UI de eCG no D-9; a IATF foi realizada no D12. Nesse experimento, o diâmetro máximo do folículo dominante (DMFD) foi de 12,6 ± 3,0 e 13,4 ± 1,7mm para o G1 e o G2, respectivamente (P>0,05); o diâmetro do folículo ovulatório (DFO) foi de 14,9 ± 2,9 (G1) e de 14,0 ± 1,6mm (G2; P>0,05); o intervalo entre a retirada do DIV e a ovulação (IROV) foi de 78,0 ± 12 (G1) e 68,0 ± 9,0h (G2; P>0,05); a taxa de ovulação (TO) foi de 44,4 (G1) e 70,0% (G2; P> 0,05). A área do CL (ACL) foi de 31,6 ± 19,9 (G1) e de 29,9 ± 9,7mm2 (G2; P>0,05); a concentração plasmática de P4 (P4) foi de 1,3 ± 1,4 (G1) e 2,0 ± 1,6ng/ml (G2; P>0,05); a taxa de prenhez (TP) foi de 22,2 (G1) e 60% (G2; P=0,11). No experimento 2, as búfalas do G1 (1500 UI de hCG; n=21) e do G2 (1000UI de hCG; n=21) receberam 500UI de eCG no D9; no D11, o G1 recebeu 1500UI de hCG e o G2 1000UI de hCG. Os resultados desse experimento são relatados a seguir: DMFD de 12,4 ± 2,3 (G1) e 12,2 ± 2,5mm (G2; P>0,05); DFO de 12,6 ± 2,3 (G1) e 12,5 ± 2,7mm (G2; P>0,05); IROV de 67,7 ± 18,1 (G1) e 72,8 ± 16,7h (G2; P>0,05); TO de 67,7 (G1) e 67,7% (G2; P>0,05); ACL de 24,8 ± 9,2 (G1) e 28,3 ± 17,2mm2 (G2; P>0,05); P4 de 2,3 ± 1,4 (G1) e 2,4 ± 1,3ng/ml (G2; P>0,05). No experimento 3, os animais foram tratados de forma idêntica àqueles do experimento 2, porém as búfalas do G1 (n=83) e do G2 (n=91) receberam a IATF no D12. Nesse experimento, foi obtida TP de 53 (G1) e de 53,8% (G2; P>0,05). No Experimento 4, as búfalas do G1 (n=10) receberam 500UI e as do G2 (n=11) 400UI de eCG; os dois grupos receberam 1000UI de hCG no D11. Esse experimento teve como resultados: DMFD de 13,2 ± 1,4 (G1) e 13,8 ± 1,8mm (G2; P>0,05); DFO de 13,7 ± 1,1 (G1) e 14,2 ± 1,5mm (G2; P>0,05); IROV de 71,1 ± 11,7 (G1) e 75,0 ± 5,5h (G2; P>0,05); TO de 70,0 (G1) e 72,7% (G2; P>0,05); ACL de 28,4 ± 8,6 (G1) e 31,6 ± 10,3mm2 (G2; P>0,05); P4 de 2,7 ± 1,2 (G1) e 3,3 ± 2,9ng/ml (G2; P>0,05). No experimento 5 (G1/n=54; G2/n=51) foi adotado o mesmo protocolo do experimento 4, porém as búfalas receberam a IATF no D12. Esse experimento resultou em TP de 42,6 (G1) e 43,1% (G2; P>0,05). Assim, foi possível concluir que as concentrações de 400UI de eCG e de 1000UI de hCG, associadas ao DIV, foram suficientes para induzir o crescimento folicular, a ovulação e a prenhez em búfalas durante o período reprodutivo desfavorável.
Different dosage of eCG and hCG were compared in association to progesterone intravaginal device (IVD) in female buffalo during the off breeding season with the purpose of evaluating the follicular growing and ovulation as well as the pregnancy rate after FTAI and functionality of the CL, twelve days after the synchronization. For this, 5 experiments were done. For the establishments of the groups in the experiments 1,2 and 4 blood samples were collected for the analysis of plasmatic concentrations of P4 on D -10 and D0 to verify the cyclicity. In the experiments 3 and 5 the groups were established due body condition score and number of calving. In all the experiments the buffaloes received a IVD associated with 2mg of estradiol benzoate (EB) on D0. On D9 the IVD was extracted and it was followed by the administration of 0,150mg of prostaglandin (PGF). In the exp. 1 the buffaloes of G1 (control, n=9) and G2 (eCG, n=10) received 1500IU of hCG on D11. On G2 was administrated 500IU of eCG on D9. The FTAI was done on D12. The maximun diameter of dominant follicle (MDDF) was 12.6 ± 3.0 and 13.4 ± 1.7mm to the G1 and G2, respectively (P>0,05). The diameter of the ovulatory follicle (DOF) was 14.9 ± 2.9 (G1) and 14.0 ± 1.6mm (G2; P>0,05). The interval between the device withdrawn and ovulation (DWO) was 78.0 ± 12.0 (G1) and 68.0 ± 9.0h (G2; P>0,05). The ovulation rate (OR) was 44.4 (G1) and 70.0% (G2; P>0,05). The CL area (CLA) was 31.6 ± 19.9 (G1) and 29.9 ± 9.7mm2 (G2; P>0,05). The plasmatic concentration of P4 (P4) was 1.3 ± 1.4 (G1) and 2.0 ± 1.6ng/ml (G2; P>0,05). The pregnancy rate (PR) was 22.2 (G1) and 60% (G2; P=0,11). In the exp. 2 the buffalo females of G1 (1500IU of hCG; n=21) and G2 (1000IU of hCG; n=21) received 500IU of eCG on D9. On D11, G1 received 1500IU of hCG and G2 1000IU of hCG. The MDDF was 12.4 ± 2.3 (G1) and 12.2 ± 2.5mm (G2; P>0,05), the DOF was 12.6 ± 2.3 (G1) and 12.5 ± 2.7mm (G2; P>0,05), DWO was 67.7 ± 18.1 (G1) and 72.8 ± 16.7h (G2; P>0,05), the OR was 67.7 (G1) and 67.7% (G2; P>0,05), the CLA was 24.8 ± 9.2 (G1) and 28.3 ± 17.2mm2 (G2; P>0,05) and the P4 was 2.3 ± 1.4 (G1) and 2.4 ± 1.3ng/ml (G2; P>0,05). The exp. 3 was identical to exp.2, although the animals of G1 (n=83) and G2 (n=91) received the FTAI on D12. The PR was 53.0 (G1) and 53,8% (G2; P>0,05). In exp. 4, the animals of G1 (n=10) received 500IU and G2 (n=11) 400IU of eCG. Both groups received 1000IU of hCG on D11. The MDDF was 13.2 ± 1.4 (G1) and 13.8 ± 1.8mm (G2; P>0,05), the DOF was 13.7 ± 1.1 (G1) and 14.2 ± 1.5mm (G2; P>0,05), the DWO was 71.1 ± 11.7 (G1) and 75.0 ± 5.5h (G2; P>0,05), the OR was 70.0 (G1) and 72.7% (G2; P>0,05), the CLA was 28.4 ± 8.6 (G1) and 31.6 ± 10.3mm2 (G2; P>0,05) and the P4 was 2.7 ± 1.2 (G1) and 3.3 ± 2.9ng/ml (G2; P>0,05). In exp. 5 (G1/n=54; G2/n=51) was done the same protocol in the exp. 4, although the animals received the FTAI on D12. The PR was 42.6 (G1) and 43.1% (G2; P>0,05). Dosage of 400IU of eCG and 1000IU of hCG, associated to IVD for FTAI were enough to induce follicular growing, ovulation and pregnancy in buffalo females during the off breeding season.

APA, Harvard, Vancouver, ISO, and other styles

24

Almeida, Ricardo Daniel Lopes. "Escalonadores de prioridade fixa em multiprocessadores de tempo-real." Master's thesis, Universidade de Aveiro, 2013. http://hdl.handle.net/10773/11314.

Full text

Abstract:

Mestrado em Engenharia Electrónica e Telecomunicações
Devido evolução tecnológica observada nos últimos anos, os sistemas embutidos com capacidade de multi processamento tornaram-se comuns. Nestes dispositivos, a escassez de recursos obriga a uma distribuição otimizada dos mesmos pelas diversas atividades suportadas. Este tipo de dispositivos contam normalmente com um processador de uso geral, tipicamente um processador da família ARM, e um ou mais processadores direcionados a tarefas específicas, como processadores vetoriais (EVP), utilizados em sistemas de processamento digital de sinal por exemplo. A distribuição de recursos pelas tarefas do sistema é feita por um escalonador. Este pode fazer a distribuição de recursos obedecendo a uma das várias disciplinas conhecidas: Round Robin, First In First Out, Time Division Multiplexing, Fixed Priority, etc. O presente trabalho tem como principal objetivo a investigação de escalonadores de tempo-real baseados em prioridades fixas, com especial atenção para a aplicações de streaming a executar em plataformas multiprocessador, utilizando dataflow. Dataflow é um paradigma que utiliza teoria de grafos para realizar a modelação, programação e análise de aplicações e sistemas. A primeira parte deste projeto é dedicada à análise e modelação de grafos de fluxo de dados onde a distribuição de recursos é feita com recurso a um escalonador de prioridade fixa. A segunda parte será dedicada ao estudo da interferência entre tarefas com níveis de prioridades distintos em grafos independentes, quando mapeados para execução no mesmo processador. Em sistemas embebidos, existem tarefas de alta prioridade (periódicas ou esporádicas) que têm de ser atendidas o mais rapidamente possível quando prontas a executar. Este atendimento irá interferir na execução de tarefas que corram na mesma plataforma com níveis de prioridade inferiores, pois estas serão bloqueadas durante a execução das tarefas de maior prioridade. Esta interferência tem como consequências diretas a diminuição do tempo de resposta das tarefas de alta prioridade e o aumento do tempo de execução das tarefas com níveis de prioridades baixos. Com este trabalho pretendemos verificar quais as vantagens e desvantagens que um escalonador de prioridade fixa pode oferecer neste tipo de situações, quando comparado com outros escalonadores.
Due to the technological evolution that happened recently, embedded systems with multiprocessing capabilities are becoming common. Application requirements often impose resource constrains, leading to the necessity of distributing them in an efficient manner. This type of devices counts normally with a general purpose processor, typically from the ARM family, and one or more task specific processors, such as vector processors (EVP), used in digital signal processing systems for instance. The resource distribution through the tasks is done by a scheduler. The scheduling can be done through one of the known scheduling policies: Round Robin, Fist In First Out, Time Division Multiplexing, Fixed Priority, etc. The main goal with this project is to investigate fixed-priority real-time schedulers, with special focus to streaming applications executing on multiprocessor platforms, using dataflow. Dataflow is a paradigm that uses graph theory for modelling, programming and analysis of applications and systems. The fist part of this project is dedicated to the analysis and modelling of fixed priority dataflow graphs with shared resources distributed through a fixed priority scheduler. The second part is dedicated to the study of interference between tasks with different levels of priority on independent graphs, when mapped to execution on the same processor. Embedded systems frequently have high priority tasks (periodic or sporadic) that need to be dispatched as soon as they become ready to execute. This action is going to interfere in the execution of tasks that are running in the same platform but with lower priority levels, since they are going to be blocked during the execution of the high priority tasks. This interference has two direct consequences: a lower response time for the high priority tasks and an increase in the execution time for the tasks in lower priority levels. With our work, we intend to investigate the advantages and disadvantages that a fixed priority scheduler can offer in this type of situations, when compared with other schedulers.

APA, Harvard, Vancouver, ISO, and other styles

25

Herbreteau, Frédéric. "Automates à file réactifs embarqués : application à la vérification de systèmes temps-réel." Nantes, 2001. http://www.theses.fr/2001NANT2090.

Full text

Abstract:

Nous considérons dans notre thèse la vérification des programmes ELECTRE et des systèmes à file réactifs embarqués(SFR Embarqués). Ces formalismes permettent la modélisation des systèmes réactifs avec mémorisation, ainsi que leur environnement. L'une des propriétés étudiées est la bornitude de la file de mémorisation, indispensable pour la correction des applications vérifiées. Nous prouvons l'indécidabilité de ce problème pour une classe très large de SFR Embarqués, et en conséquence, nous proposons une méthode de test pour ce problème. Nous prouvons par ailleurs que l'accessibilité est décidable pour les Lossy SFR Embarqués, une extension classique du modèle standard. Ce résultat nous permet d'envisager la vérification de propriétés de sûreté pour les SFR Embarqués : les propriétés satisfaites pour un Lossy SFR Embarqué le sont aussi par le SFR Embarqué correspondant. Puis, nous examinons la classe des applications temps-réel pour lesquelles nous proposons le modèle des SFR Hybrides Linéaires, obtenu depuis le modèle basique par l'ajout du temps qualitatif. Le problème de la bornitude étant indécidable, nous adaptons notre test à ce nouveau contexte. Finalement, même lorsque le modèle est borné, il est souvent trop gros pour pouvoir être vérifié en pratique. Nous introduisons donc une méthode de réduction, drastique lorsqu'elle s'applique, qui préserve la majorité des propriétés de logique temporelle
We are concern in our thesis by the verification of ELECTRE programs and Embedded Reactive Fiffo Systems (Embedded RFS). These two formalisms allow to model asynchronous reactive systems with event memorisation, along with their environment. Particularly, we focus on the boundedness problem which is seen as a correctness criterion for reactive systems. We prove that this problem is undeciable, thus we provide a testing method as a partial solution

APA, Harvard, Vancouver, ISO, and other styles

26

Hladik, Pierre-Emmanuel. "Ordonnançabilité et placement des systèmes temps réel distribués, préemptifs et à priorités fixes." Nantes, 2004. http://www.theses.fr/2004NANT2096.

Full text

Abstract:

La conception des systèmes temps réel passe la production d'une architecture opérationnelle validée. Cette architecture est le fruit d'un placement des éléments logiciels sur le support matériel d'exécution, tout en s'assurant du respect des contraintes opérationnelles. Cette thèse aborde deux thèmes : la validation d'une architecture opérationnelle et la recherche d'un placement valide. Les systèmes étudiés sont préemptifs, à priorités fixes avec des architectures matérielles distribuées. Le problème de la validation est abordé par le calcul des pires temps de réponse des tâches à l'aide de méthodes analytiques. Cette étude répertorie les méthodes existantes, définit leur cadre applicatif, et en propose des extensions. Le problème du placement est traité à l'aide des techniques de la programmation par contraintes. L'objectif est de valider cette démarche en proposant une modélisation du problème et en mettant en place des mécanismes capables de prendre en considération les particularités du placement pour les systèmes temps réel
The conception of real-time systems needs to produce a validated operational architecture. This architecture results from the mapping of the software architecture onto the hardware architecture in order to achieve timing correctness. This document deals with distributed, pre-emptive real-time systems with fixed priorities. This thesis addresses with the validation of operational architectures through analytical analysis. Our work itemizes classical approaches, classifies these methods and introduces some extensions. The second part of our work introduces a new method for the mapping with constraint programming solver. The feasibility of this technique is shown via the introduction of a specific model that takes into account behaviours of real-time systems

APA, Harvard, Vancouver, ISO, and other styles

27

Briday, Mikaël. "Validation par simulation fine d'une architecture opérationnelle." Nantes, 2004. http://www.theses.fr/2004NANT2097.

Full text

Abstract:

La validation des systèmes temps réels est une activité indispensable car les conséquences d'une erreur peuvent être catastrophiques. L'approche choisie dans cette thèse se situe en fin du cycle de développement, lorsque le logiciel applicatif est disponible. L'objectif visé est la simulation d'une architecture opérationnelle comprenant une architecture matérielle décrite finement (processeurs et réseaux) et une architecture logicielle connue (indirectement) au travers des programmes exécutables (code applicatif et code système). Une contribution importante de la thèse se situe dans les mécanismes génériques d'extraction d'informations `a partir de la simulation "bas niveau" du code assembleur des programmes, pour en déduire des informations "haut niveau" exploitables par le concepteur. L' étude s'est focalisée sur l' étude du flot de données, l'analyse de l'ordonnancement du code final de l'application ainsi que l'analyse de la pile associée à chaque tâche, à travers l'outil ReTiS
The validation of real time systems is an essential activity because consequences of an error could be catastrophic. The approach chosen in this PhD thesis is at the end of the development cycle, when the application software is available, at least important parts. The objective is the simulation of the whole operational architecture, which includes an accurate model of the hardware architecture (processors and network) and a software architecture, indirectly trough the executable code (application code and basic software). An important contribution of this thesis is based on generic mechanisms to extract information from the "low level" simulation of the assembly code in a distributed context, to deduce useful "high level" information to the developer. The work is focused on the data flow analysis, the analysis of the schedule of the final application code and the task's stack analysis, implemented into the ReTiS tool

APA, Harvard, Vancouver, ISO, and other styles

28

Tarragó, Octavio Fabián Bao. "Sêmen refrigerado bovino reduz os danos espermáticos e aumenta a taxa de prenhez na IATF?" Universidade de São Paulo, 2017. http://www.teses.usp.br/teses/disponiveis/10/10131/tde-25042017-103325/.

Full text

Abstract:

O objetivo do presente estudo foi avaliar a viabilidade da refrigeração do sêmen bovino comparada com a criopreservação. Este estudo foi realizado em dois experimentos. No primeiro experimento foram comparados os efeitos in vitro do sêmen refrigerado em três meios diluidores comerciais a 5° C por até 48 horas, e criopreservado em dois meios. Para este experimento foram utilizados ejaculados de 10 touros da raça Nelore. Cada ejaculado foi dividido em três alíquotas, sendo diluídas nos meios Botubov®, Steridyl® e Bovidyl®. Após a diluição o sêmen foi envasado em palhetas e refrigerado nos três diluidores e criopreservado utilizando somente os meios Botubov® e Steridyl®. A refrigeração do sêmen foi realizada a 5° C por até 48 horas em sistema passivo de refrigeração BotuFlex® e a criopreservação realizada em sistema automatizado TK 4.000®. O sêmen foi avaliado nos tempos 0, 24, 36 e 48 horas após a refrigeração e após a descongelação, para cada diluidor. Foram realizadas análises dos padrões de cinética espermática pelo sistema computadorizado de análise espermática (CASA, programa SCA - Sperm Class Analyser), integridade das membranas plasmática e acrossomal, potencial de membrana mitocondrial e estresse oxidativo por sondas fluorescentes, sob microscopia de epifluorescência e morfologia espermática por microspcopia de contraste de interferência diferencial (DIC). Notou-se efeito de tempo de refrigeração para os três diluidores para de 0 para 24h, se mantendo semelhante até 48 h. Os diluiores Botubov® e Steridyl® preservaram as características espermáticas de forma semelhante até 48 horas de refrigeração diferindo apenas na variável de velocidade curvilianear; no entanto, ambos foram superiores ao diluidor Bovidyl®, para as variáveis, motilidade total, motilidade progressiva, células rápidas, velocidade curvilinear, velocidade progressiva, velocidade do trajeto, retilinearidade, integridade da membrana plasmática, alto potencial de mitocondrial e espermatozoides com membranas plasmática e acrossomal íntegras e alto potencial mitocondrial. O segundo experimento foi realizado, baseado nos resultados do primeiro experimento, para avaliar os efeitos da refrigeração e da criopreservação do sêmen sobre a fertilidade in vivo. Foram utilizados ejaculados de três touros das raças Brangus, Braford e Angus, com idade entre 5 e 7 anos. O sêmen foi colhido por meio de vagina artificial, o ejaculado foi dividido em três alíquotas, sendo duas alíquotas para refrigeração e uma para criopreservação. Para a refrigeração o sêmen foi diluído nas concentrações de 15x106 (R15) e 30x106 (R30) espermatozoides/palheta e para a criopreservação diluído na concentração de 30x106 espermatozoides/palheta (CRIO). Para todas as diluições foi utilizado o meio Botubov® e o sêmen armazenado em palhetas de 0,5 mL. A refrigeração foi realizada a temperatura de 5° C por 48 horas em sistema passivo de refrigeração BotuFlex® e a criopreservação em sistema automatizado TK®. Foram sincronizadas 552 vacas da raça Brangus em programas de inseminação artificial em tempo fixo. Os resultados da taxa de prenhez para os grupos de vacas inseminadas foram de 49,4% para R15, 43,38% para R30 e 47,59% para o sêmen criopreservado. Pode-se concluir que a refrigeração do sêmen a 5° C por 48 horas resulta em taxa de prenhez semelhante às obtidas com o sêmen criopreservado, sendo que esses resultados indicam que a refrigeração por até 48 horas pode ser uma opção de uso para IATF.
The objective of the present study was to evaluate the viability of cooling bovine semen compared to cryopreservation. This study was carried out in two experiments. In the first experiment, the in vitro effects of cooled semen were compared in three commercial extenders at 5° C for up to 48 hours, and cryopreserved in two extender. For this experiment were used ejaculates of 10 Nellore bulls. Each ejaculate was divided into three aliquots, being diluted in the Botubov®, Steridyl® and Bovidyl® extenders. After dilution, the semen was cooled into three extenders and cryopreserved using the Botubov® and Steridyl®. Semen refrigeration was performed at 5° C for up to 48 hours in BotuFlex® passive refrigeration system and cryopreservation performed in TK 3.000® automated system. Semen was evaluated at 0, 24, 36 and 48 hours after refrigeration and after thawing, for each diluent. The sperm kinetics of the spermatic kinetics (CASA, SCA - Sperm Class Analyzer), plasma and acrosomal membrane integrity, mitochondrial membrane potential and oxidative stress by fluorescent probes were analyzed under epifluorescence microscopy and sperm morphology By Differential Interference Contrast Microscopy (DIC). The Botubov® and Steridyl® diluents were very similar after 48 hours of cooling differing significantly only in the Curvilianear Velocity (VCL) 106.04 m/s and 124.56 m/s. The Bovidyl® diluent yielded results significantly lower than the 48 hours of refrigeration for the variables: total motility (MT), progressive motility (MPRO), fast cells (RAP), curvilinear velocity (VCL), progressive velocity (AP), plasma membrane integrity (PI), high mitochondrial potential (AP), and spermatozoa with intact plasma and acrosomal membranes and high mitochondrial potential (PIAIA). The second experiment was carried out, based on the results of the first experiment I, to evaluate the effects of cooled and cryopreservation of semen on in vivo fertility. We used ejaculates of three bulls of the Brangus, Braford and Angus breeds of a IA center, aged between 5 and 7 years. The semen was collected by artificial vagina, the ejaculate was divided into three aliquots, two aliquots for refrigeration and one for cryopreservation. For cooling, the semen was diluted in the concentrations of 15x106 (R15) and 30x106 (R30) spermatozoa/straw, for cryopreservation diluted in the concentration of 30x106 spermatozoa / vane (CRIO). For all dilutions, the Botubov® medium and the semen stored in 0.5 mL vial were used. Refrigeration was carried out at a temperature of 5° C for 48 hours in BotuFlex® passive refrigeration system and cryopreservation in an automated TK® system. 552 Brangus cows were synchronized in fixed-time artificial insemination programs. The results of the pregnancy rate for the groups of inseminated cows were 49.4% for R15, 43.38% for R30 and 47.59% for cryopreserved semen. It can be concluded that the cooling of the semen at 5° C for 48 hours results in pregnancy rate similar to those obtained with cryopreserved semen, and these results indicate that refrigeration for up to 48 hours may be an option of use for FTAI.

APA, Harvard, Vancouver, ISO, and other styles

29

Cunha, Rodrigo Ribeiro. "Inseminação artificial em tempo fixo em primíparas nelore lactantes acíclicas." Universidade Jose do Rosario Vellano, 2011. http://tede2.unifenas.br:8080/jspui/handle/jspui/146.

Full text

Abstract:

Made available in DSpace on 2016-05-02T13:55:50Z (GMT). No. of bitstreams: 1 RodrigoRibeiroCunha-dissertacao.pdf: 232702 bytes, checksum: 6dba79c8f0abf3bb9d0304c3fd1c1fd0 (MD5) Previous issue date: 2011-06-01
The objective of this experiment was to evaluate the efficiency of a Fixed Time Artificial Insemination (TAI) protocol in an attempt to improve the reproductive performance of primiparous lactating acyclic Nelore cows. The experiment was conducted for a period of breeding season (BS) of 180 days. Were used 350 Nelore cows with body condition score (BCS) greater than 2.5 (average 2.65 ± 0.01) and days postpartum average of 67.35 ± 1.0 days. The animals were divided into four groups: G1 (n = 61) and G3 (n = 116) - cows with ovarian follicles smaller than 8mm in diameter and absence of CL. G2 (n = 57) and G4 (n = 116) - cows with follicles greater than 8mm and absence of CL. G1 and G2 remained with the bulls in the management of natural mating (NM) throughout the experimental period, from day 0 of BS. The G3 and G4 were treated (Day 0) with an intravaginal device containing 1.0 g of P4 for 8 days and 2mg (2ml) of estradiol benzoate (EB) IM. The withdrawal of P4 (Day 8) were applied IM 400 IU (2ml) of eCG and 75μg (2ml) of cloprostenol and 24 hours later (Day 9), administered 1mg (1ml) IM BE. The TAI was performed between 51-54 hours after withdrawal of P4 (Day 10) using semen from a single bull. After five days of the TAI, cows in groups G3 and G4 were submitted with bulls in the management of NM. All animals were evaluated by ultrasound for cyclicity rates (presence of CL) and pregnancy diagnosis at 45 and 210 days after onset of BS. For the analysis of the presence of CL and pregnancy rates at 45 and 210 days, between groups, were performed a chi-square. For the variable: period of service was used ANOVA and Duncan. At 45 days of BS, the G3 (42.24% A) and G4 (51.70%) presented higher rates of pregnancy (P <0.05) than G1 (0% B) and G2 (3 5% B). A greater number of ovulations was also found (P <0.05) in G3 and G4 when compared to animals maintained only during NM (6.56% C, 28.07% B 50.86% A, 62, 93%, for G1, G2, G3 and G4, respectively). Pregnancy rates at 210 days were: 22.95% C (G1), 45.61% B (G2), 40.51% B (G3) and 65.51% A (G4). For percentage of animals with CL at 180 days of MS, the G4 (71.55% A) obtained better results than Groups 1, 2 and 3 (42.62% B 56.14% B 48.27% B, respectively). Additionally, groups of TAI + eCG had shorter periods of service (days, P <0.05): G1 (134.00 ± 11.70 A), G2 (119.65 ± 8.27 A), G3 (79, 91 ± 5.38 B) and G4 (81.40 ± 4.59 B). The work suggests that the TAI was effective to improve the reproductive efficiency of primiparous lactating acyclic Nelore cows in compared to females subjected only NM. In addition, primiparous cows subjected to TAI at the beginning of BS had the reduced postpartum anoestrus period and increased pregnancy rates than cows subjected only to NM.
Objetivou-se avaliar a eficiência de um protocolo de IATF, na tentativa de melhorar o desempenho reprodutivo de vacas nelore primíparas lactantes acíclicas. O experimento compreendeu um período de estação de monta (EM) de 180 dias. Foram utilizadas 350 vacas nelore com escore de condição corporal (ECC) superior a 2,5 (média de 2,65±0,01) e dias pós-parto médio de 67,35±1,0 dias. Os animais foram divididos em quatro grupos: G1: (n=61) e G3: (n=116) - vacas com presença de folículos ovarianos menores que 8mm de diâmetro e ausência de CL. G2: (n=57) e G4: (n=116) - vacas com folículos ovarianos maiores que 8mm e ausência de CL. Os grupos G1 e G2 permaneceram com touros em manejo de monta natural (MN) por todo o período experimental, a partir do dia 0 da EM. Os grupos G3 e G4 foram tratados (Dia 0) com um dispositivo intravaginal contendo 1,0g de P4, por 8 dias e 2mg (2ml) de benzoato de estradiol (BE) IM. Na retirada da P4 (Dia 8), foram aplicados IM 400 UI (2ml) de eCG e 75µg (2ml) de cloprostenol e, 24 horas após (Dia 9), administrou-se 1mg (1ml) BE via IM. A IATF foi realizada entre 51-54 horas após a retirada da P4 (Dia 10) utilizando sêmen comprovado de um único touro. Após cinco dias dos procedimentos da IATF, as vacas G3 e G4 foram mantidas com touros em MN. Todos os animais foram avaliados, por ultrassonografia, para avaliação da taxa de ciclicidade no momento do diagnóstico (presença de CL) e diagnóstico de gestação, aos 45 e 210 dias após início da EM. Para as analises da presença de CL e taxas de gestação aos 45 e 210 dias, entre os grupos, foi realizado o teste de qui-quadrado. Para a variável período de serviço utilizaram-se ANOVA e teste de Duncan. Aos 45 dias da EM, os grupos G3 (42,24%A) e G4 (51,70%A) apresentaram maiores taxas de gestação (P<0,05) que os grupos G1(0%B) e G2 (3,5%B). Um maior número de ovulações também foi encontrado (P<0,05) nos grupos G3 e G4 quando comparados aos animais apenas mantidos em monta natural (6,56%C, 28,07%B, 50,86%A, 62,93%A; para G1, G2, G3 e G4, respectivamente). As taxas de gestação aos 210 dias foram: 22,95%C (G1); 45,61%B (G2); 40,51%B (G3) e 65,51%A (G4). Para porcentagem de animais com CL aos 210 dias, o G4 (71,55%A) obteve resultados superiores aos Grupos 1, 2 e 3 (42,62%B, 56,14%B, e 48,27%B; respectivamente). Adicionalmente, os grupos da IATF obtiveram menores períodos de serviço (em dias; P<0,05): G1(134,00±11,70A), G2 (119,65±8,27A), G3 (79,91±5,38 B) e G4 (81,40±4,59 B). A IATF foi eficiente para melhorar a eficiência reprodutiva de vacas nelore primíparas acíclicas em relação ao uso de somente monta natural com touros. Além disso, vacas primíparas submetidas a IATF no inicio da estação reprodutiva apresentaram menor período de serviço e maior taxa de gestação ao final da estação de monta do que fêmeas submetidas apenas à monta natural.

APA, Harvard, Vancouver, ISO, and other styles

30

Oliveira, Neto Ivan Verdussen de [UNESP]. "Protocolos hormonais para transferência de embriões equinos em tempo fixo." Universidade Estadual Paulista (UNESP), 2017. http://hdl.handle.net/11449/150927.

Full text

Abstract:

Submitted by IVAN VERDUSSEN DE OLIVEIRA NETO null (ivanverdussen@hotmail.com) on 2017-06-20T20:32:18Z No. of bitstreams: 1 Diss_Ivan com ficha catalográfica.pdf: 967546 bytes, checksum: 271829e746e3d0d011517c1d32820c8f (MD5)
Approved for entry into archive by Luiz Galeffi (luizgaleffi@gmail.com) on 2017-06-21T12:29:03Z (GMT) No. of bitstreams: 1 oliveiraneto_iv_me_bot.pdf: 967546 bytes, checksum: 271829e746e3d0d011517c1d32820c8f (MD5)
Made available in DSpace on 2017-06-21T12:29:03Z (GMT). No. of bitstreams: 1 oliveiraneto_iv_me_bot.pdf: 967546 bytes, checksum: 271829e746e3d0d011517c1d32820c8f (MD5) Previous issue date: 2017-04-27
Nos programas de transferência de embriões um dos principais entraves são a disponibilidade de receptoras aptas por doadora de embrião. Sendo assim, estudos estão sendo desenvolvidos utilizando de diferentes protocolos hormonais para utilização nas receptoras em programas de TE . O objetivo do presente trabalho foi sincronizar éguas receptoras de embriões, independentes da fase do ciclo estral e da atividade ovariana, com o ciclo da doadora, maximizando a utilização das receptoras no programa de transferência de embriões (TE). Foram utilizadas 160 éguas, que foram separadas em grupos de 20 animais conforme a fase do ciclo estral: 1) éguas acíclicas em anestro e transição, 2) cíclicas em estro com folículos < 35 mm, 3) em estro com folículos ≥ 35 mm, 4) em diestro com CL < 5 dias e 5) em diestro com CL ≥ 5 dias. Inicialmente, todos os animais receberam uma aplicação de 10mg de dinoprost trometamina e 1 aplicação de 17β estradiol por 4 dias consecutivos seguido por uma aplicação de 300 mg de altrenogest. Posteriormente, o protocolo foi modificado e realizado em mais um grupo 6) com uma dose de 10mg de dinoprosttrometamina no segundo dia do tratamento. Os embriões foram transferidos de três a oito dias após a aplicação do altrenogest. O diagnóstico de gestação foi efetuado 5 a 7 dias após a TE. Com apenas uma aplicação de prostaglandina no primeiro dia de tratamento todos os animais apresentaram edema uterino acentuado e taxas de prenhez superior a 70%, entretanto as receptoras que ao início do tratamento apresentavam a presença de CL < 5 dias mostraram um edema uterino significativamente menor que os demais grupos e índices de gestação de 40%, inferiores aos observados nos demais grupos. Entretanto, quando este grupo foi submetido a duas aplicações de prostaglandina nos dois primeiros dias do tratamento as taxas de gestação aumentaram para 70%. Baseado nos dados obtidos pode-se concluir que boas taxas de prenhez de receptoras de embrião estão relacionadas a uma eficiente sensibilização uterina ao estrógeno que contribui para a posterior ação progesteronica fundamental para obtenção da sincronização do ambiente uterino.
In embryo transfer programs, one of the main obstacles is the availability of recipients suitable for embryo donors. Thus, studies are being developed using different hormonal protocols for use in recipients in ET programs. The objective of the present study was to synchronize the uterine environment of embryo recipient mares, independent of the estrous phase and ovarian activity, with the donor cycle, maximizing the use of recipients in the embryo transfer program. A total of 160 mares were used, which were separated into groups of 20 animals according to the estrous phase: acyclic mares in anestrus and transition, cyclic estrus with follicles <35 mm, estrus with follicles ≥ 35 mm, in right ventricle with CL <5 Days and in right arm with CL ≥ 5 days. Initially, all animals received an application of 10 mg of dinoprost tromethamine and 1 application of 17β estradiol for 4 consecutive days followed by a 300 mg application of altrenogest. Subsequently, the protocol was modified and another 10mg dose of dinoprost tromethamine was added on the second day of treatment. The embryos were transferred three to eight days after the application of altrenogest. The diagnosis of gestation was made 5 to 7 days after ET. With only one application of prostaglandin on the first day of treatment, all the animals had marked uterine edema and pregnancy rates higher than 70%; however, those receiving at the start of treatment had a CL <5 days showed significantly lower uterine edema than The other groups and gestation rates of 40%, lower than those observed in the other groups. However, when this group underwent two prostaglandin applications on the first two days of treatment, gestation rates increased to 70%. Based on the data obtained it can be concluded that good pregnancy rates of embryo recipients are related to an efficient uterine sensitization to estrogen that contributes to the subsequent progesterone action fundamental to obtain the synchronization of the uterine environment.

APA, Harvard, Vancouver, ISO, and other styles

31

Fuller, Jonathan Edward. "Paleoflood hydrology of the alluvial Salt River, Tempe, Arizona." Thesis, The University of Arizona, 1987. http://etd.library.arizona.edu/etd/GetFileServlet?file=file:///data1/pdf/etd/azu_etd_hy0163_sip1_w.pdf&type=application/pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Souza, Alexandre Henryli de. "Inseminação artificial em tempo fixo em vacas holandesas de alta produção." Universidade de São Paulo, 2008. http://www.teses.usp.br/teses/disponiveis/10/10131/tde-30052008-140055/.

Full text

Abstract:

A presente tese foi dividida em 5 Experimentos. Os objetivos do Experimento 1 foram avaliar a utilização da gonadotrofina coriônica equina (eCG) e/ou do cipionato de estradiol (ECP) na dinâmica folicular e taxa de concepção de vacas holandesas submetidas a inseminação em tempo fixo (IATF). No D0, todos os animais (n = 782) receberam 2 mg de benzoato de estradiol (BE) e um dispositivo intravaginal de progesterona (CIDR). Oito dias depois, o CIDR foi retirado e todos os animais receberam PGF2?. Simultaneamente, os animais foram divididos em 4 grupos: G1) eCG + ECP no Dia 8; G2) eCG no Dia 8 + GnRH após 48h; G3) ECP no Dia 8; G4) GnRH após 48h. Amostras de sangue e exames utlra-sonográficos foram realizados frequentemente em um subgrupo de animais (n = 96). As análises estatísticas de todos os experimentos foram efetuadas com o proc GLIMMIX e proc MIXED do SAS. O uso de eCG e o escore de condição corporal (ECC) dos animais afetaram as concentrações circulantes de progesterona no diestro. Os animais do G2 apresentaram maior taxa de concepção que os do G4 (33,8% vs. 28,9%). Além disso, para animais de menor ECC, ficou evidente o benefício da aplicação de eCG (G2 = 44,4% vs. G4 = 6,1%). No Experimento 2 (n = 26), o objetivo foi comparar o efeito da administração da eCG no dia da remoção do CIDR em animais de menor (2,0-2,5) ou maior (3,0-3,5) ECC. Foram avaliadas algumas características do corpo lúteo (CL) como o volume e histologia, assim como as concentrações plasmáticas de progesterona no diestro. Independentemente da condição corporal dos animais, a eCG aumentou o volume do CL e a concentração plasmática de progesterona no diestro. O ECC afetou negativamente o volume e concentração de progesterona sérica no diestro. Não foi encontrado diferença na proporção de células grandes/pequenas, assim como no fluxo sanguíneo no CL entre os grupos experimentais. No Experimento 3, foi comparado a taxa de concepção em vacas de leite de alta produção (n = 388) após o uso do protocolo G2 do Experimento 1 (Capítulo I), com ou sem adição de ECP no momento da retirada do CIDR (novo ou usado). Não foi verificado efeito da adição do tratamento com ECP e nem do tipo do dispostivo na taxa de concepção. No Experimento 4 (n = 199), apesar no aumento verificado no diâmetro folicular no grupo tratado com GnRH 56h (17,8 mm) comparado com GnRH 48h (16,5 mm); e do atraso no momento da ovulação após a retirada do CIDR (GnRH 56h = 75,3h; GnRH 48h = 79,8h) não foi constatado qualquer diferença na concepção ao se atrasar a aplicação do GnRH de 48h para 56h em vacas inseminadas 16h depois do GnRH. No Experimento 5 (n = 185), a taxa de concepção não diferiu em animais que receberam o GnRH 48h ou 56h (momento da IATF) após a retirada do CIDR, indicando a possibilidade do emprego de um protocolo com apenas 3 manejos em vacas de leite de alta produção.
The current thesys has been divided in 5 Experiments. Objectives of Experiment 1 were to evaluate the effects of equine chorionic gonadotropin (eCG) and/or estradiol cypionate (ECP) on follicular dymanics and conception rate in Holstein cows receiving fixed timed artificial insemination (TAI). On D0, all cows (n = 782) received 2 mg of estradiol benzoate (EB) and one intravaginal progesterone device (CIDR). Eight days later, CIDR was removed and all animals were treated with PGF2?. Simultaneously, animals were divided in 4 groups: G1) eCG + ECP on Day 8; G2) eCG on Day 8 + GnRH 48h later; G3) ECP on Day 8; G4) GnRH 48h later. Blood samples and ultrasound exams were frequently performed in a subset of the animals (n = 96). All the statistical analyses for all experiments were performed with proc GLIMMIX and proc MIXED of SAS. Equine chorionic gonadotropin (eCG) treatment and body condition score (BCS) affected circulating progesterone in the diestrus. Cows in G2 had greater conception rates than cows in G4 (33,8% vs. 28,9%). In addition, in cows with lower BCS, eCG seems to be even more affective (G2 = 44,4% vs. G4 = 6,1%). In Experiment 2 (n = 26), the objective was to compare the effect of eCG the day of CIDR removal in animals with lower (2,0-2,5) or higher (3,0-3,5) BCS. Some variables such as corpus luteum (CL) volume, histology and circulating progesterone concentration in the diestrus were evaluated. Regardless of the body condition of the animals, eCG increased CL volume and circulating progesterone concentration in the diestrus. BCS negatively affected CL volume and circulating progesterone. There were no differences in large/small CL cell ratio, as well as CL blood flow between experimental groups. In Experiment 3, it was compared conception rate in dairy cows (n = 388) after using the same protocol G2 from Experiment 1 (Chapter I), with or without an ECP treatment at the time of CIDR (new or used) removal. Both ECP treatment and type of CIDR did not significantly affected conception rates. In Experiment 4 (n = 199), despite the fact that follicular diameter was increased in group GnRH 56h (17,8 mm) compared with GnRH 48h (16,5 mm); and of the delayed time of ovulation after CIDR removal (GnRH 56h = 75,3h; GnRH 48h = 79,8h), there were no differences in conception rates after delaying the GnRH treatment from 48h to 56h in cows inseminated 16h after GnRH. In Experiment 5 (n = 185), conception rate did not differ in animals that received GnRH 48h or 56h (at the time of TAI) after CIDR removal, indicating the possibility of using a protocol with only 3 handlings in high producing dairy cows.

APA, Harvard, Vancouver, ISO, and other styles

33

Richard, Michaël. "Contribution à la validation des systèmes temps réel distribués : ordonnancement à priorités fixes et placement." Poitiers, 2002. http://www.theses.fr/2002POIT2321.

Full text

Abstract:

Nous étudions dans ce mémoire les systèmes temps réel distribués à priorités fixes. Dans un contexte distribué, la simulation ne peut valider une application. Seule une méthode analytique basée sur une étude pire cas permet de vérifier l'ordonnançabilité dans un tel contexte. Nous présentons une méthode optimale d'affection des priorités aux tâches et messages fondée sur l'analyse holistique. L'ordonnançabilité d'une application distribuée est fortement dépendante du couplage des architectures logicielle et matérielle. Nous proposons ensuite une méthode réalisant, de manière simultanée, le placement des tâches sur les processeurs et l'affectation des priorités aux tâches et aux messages. Cette méthode de recherche est étendue afin de considérer la communication entre tâches s'exécutant sur un même processeur. Enfin nous confrontons ces deux méthodes à une application distribuée issue du milieu industriel automobile
In this report, we study fixed priorities real-time distributed systems. In a distributed context, the application cannot be validate by simulation. Schedulability can be verified by an analytic method based on a worst case analysis. We present a method that assigns priorities to tasks and messages. This method is optimal in respect of the holistic analysis. Schedulability of distributed applications strongly depends on software and material architectures mapping. We propose a method achieving, in a simultaneous manner, the allocation of tasks on processors and the priorities assignment to tasks and messages. This searching method is extended in order to consider communications between tasks upon a same processor. Finally, both methods are confronted to an industrial automotive distributed system example

APA, Harvard, Vancouver, ISO, and other styles

34

Aouad, Hazar. "Transport de Flux Temps Réels dans un Réseau IPMobile." Phd thesis, Télécom ParisTech, 2005. http://tel.archives-ouvertes.fr/tel-00103576.

Full text

Abstract:

Dans cette thèse, nous étudions plusieurs méthodes pour la mise en place de la QoS
(Quality of Service) dans un réseau IP. Avant d'entamer nos travaux de recherche, nous
dévoilons tout d'abord les différents mécanismes de QoS que nous étudierons dans la thèse.
MPLS (Multi Protocol Label Switching), DiffServ (Differentiated Services) et les algorithmes
d'ordonnancement formeront la base du réseau coeur que nous utiliserons. En accord avec
plusieurs travaux, nous définissons trois classes de service à différencier dans le réseau. La
première classe comporte les flux voix. Elle nécessite un délai faible et une gigue réduite. Les
flux de "données critiques", qui requièrent un taux de perte faible et un délai borné, forme la
deuxième classe. La troisième classe, qui regroupe les applications telles que le transfert de
fichiers ou l'échange de courriers électroniques, n'exige aucune condition particulière du
réseau.
Dans un premier temps, nous modélisons les flux sortant/entrant d'un réseau mobile
sans fil. D'abord, nous modélisons les lois d'inter arrivée des paquets d'un flux agrégé au
niveau de la couche MAC (Medium Access Control) entrant au réseau UTRAN (UMTS
Terrestrial Radio Access Network), le réseau d'accès à l'UMTS (Universal Mobile
Telecommunication Service). Le protocole CDMA (Code Division Multiple Access) utilisé
dans ce réseau propose un accès différent en fonction de la QoS demandée. Ensuite, nous
déterminons la loi caractérisant l'inter arrivée des paquets sortant d'un réseau WiFi (Wireless
Fidelity) utilisant la couche MAC 802.11 de base. Pour ces deux réseaux, nous proposons
différents modèles d'agrégation de flux voix, Web, transfert de fichiers ou un multiplexage de
ces différentes classes. Nous mesurons l'adéquation de deux modèles de loi de distributions
aux traces créées. La première distribution est le processus MMPP (Markov Modulated
Poisson Process) qui représente un modèle Markovien. Nous expérimentons deux valeurs du
nombre d'états: 2 et 4. La seconde loi que nous considérons est la loi Gaussienne. Nos
résultats montrent que d'une part, le type des flux agrégés et d'autre part, le réseau utilisé,
influent tous les deux sur le modèle produit.
Dans un second temps, nous développons les équations qui déterminent les
probabilités stationnaires d'une file d'attente implémentant l'ordonnanceur GPS (Generalised
Processor Sharing) avec trois classes de service. En utilisant le mécanisme DiffServ pour
différencier les flux, nous mesurons la QoS à la sortie d'une file unique utilisant WRR
(Weighted Round Robin), un des algorithmes qui approximent GPS. Nous traçons alors les
différentes courbes de délai et de taux de perte observés à la sortie de cette file en fonction de
la pondération et de la charge créée par chacune des classes. Nous appliquons les différentes
conclusions du choix des paramètres que nous tirons d'un seul serveur à un réseau entier. De
plus, nous ajoutons l'ingénierie de trafic de MPLS pour quantifier le gain mesuré par chaque
politique. A partir de ce travail, nous avons pu généraliser nos constatations qui deviennent
valable aussi bien sur une file que dans un réseau.
Dans un troisième temps, nous développons une méthode d'adaptation dynamique du
routage. Nous la proposons afin de palier aux variations de la distribution du délai sur les
liens qui forment le chemin de bout en bout. Ce mécanisme se base sur les techniques de
tomographie des réseaux afin d'estimer la distribution du délai sur les différents tronçons des
chemins observés. Si le délai moyen sur la route utilisée reste supérieur d'un seuil ε pendant
un temps τ au délai moyen d'un autre chemin, le mécanisme déclenche alors la procédure de
modification du chemin emprunté. C'est l'utilisation du protocole MPLS associé à ce
mécanisme qui permet une modification souple et rapide des itinéraires.

APA, Harvard, Vancouver, ISO, and other styles

35

Cappelli, Luca. "Struttura fine degli atomi idrogenoidi." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2018. http://amslaurea.unibo.it/16852/.

Full text

Abstract:

Le correzioni ai livelli energetici dovuti alla struttura fine degli atomi idrogenoidi leggeri vengono calcolate utilizzando un approccio perturbativo non relativistico. All'operatore hamiltoniano imperturbato vengono affiancati tre termini correttivi per rendere conto delle piccole perturbazioni causate da effetti relativistici quali l'interazione spin-orbita, la variazione della massa relativistica dell’elettrone e la sua non localizzabilità, dovuta a zitterbewegung. La scala delle correzioni apportate dalla struttura fine, rispetto alle energia di Bohr, sono all'incirca dell'ordine di (Zα)^2, dove Z è il numero atomico e α la costante di struttura fine. Inoltre, la struttura fine riesce a rimuovere solo parzialmente la degenerazione dei livelli energetici di Bohr.

APA, Harvard, Vancouver, ISO, and other styles

36

Rahni, Ahmed. "Contributions à la validation d'ordonnancement temps réel en présence de transactions sous priorités fixes et EDF." Phd thesis, Université de Poitiers, 2008. http://tel.archives-ouvertes.fr/tel-00368101.

Full text

Abstract:

Un système temps réel critique nécessite une validation temporelle utilisant un test d'ordonnançabilité avant sa mise en œuvre. Cette thèse traite le problème d'ordonnancement des taches à offset (transactions) sur une architecture monoprocesseur, en priorités fixes et en priorités dynamiques. Les méthodes existantes pour un test exact ont une complexité exponentielle et seules existent des méthodes approchées, donc pessimistes, qui sont pseudo-polynomiales. En priorités fixes nous proposons des méthodes pseudo-polynomiales, basées sur l'analyse de temps de réponse qui sont moins pessimistes que les méthodes existantes. Nous présentons quelques propriétés (accumulativité monotonique, dominance de tâches) rendant exacte les méthodes d'analyse approchées pour certains cas de systèmes, et optimisant le temps de calcul. En priorités dynamiques, nous proposons un test d'ordonnançabilité exact avec une complexité pseudo-polynomiale. Ce test est basé sur l'analyse de la demande processeur. Les qualités des résultats de nos méthodes sont confirmées par des évaluations expérimentales.

APA, Harvard, Vancouver, ISO, and other styles

37

Chauvière, Bernard. "Des priorités fixes aux priorités dynamiques en ordonnancement temps-réel : étude comparative et calcul des priorités." Poitiers, 2007. http://www.theses.fr/2007POIT2347.

Full text

Abstract:

Nos recherches portent sur l’étude des systèmes temps-réel composés de tâches périodiques et ordonnancés en environnement multiprocesseur. Nos travaux s’organisent autour de deux thèmes de recherche~: la production de solutions d’ordonnancement et l’analyse quantitative de l’ordonnançabilité. Pour mener à bien ces recherches, nous avons été amenés à étudier certaines propriétés théoriques comme la cyclicité des séquences d’exécution. Sous certaines hypothèses, englobant par exemple RM, DM et EDF, nous montrons que les séquences d’exécution multiprocesseur sont cycliques, et nous proposons un intervalle de faisabilité. Nous apportons deux contributions au problème de l’ordonnancement. D’une part, nous proposons une méthode pour déterminer toutes les configurations de priorités fixes permettant d’ordonnancer un système de tâches. Nous étendons cette approche aux configurations de priorités fixes par instance et proposons l’étude d’une nouvelle classe de politiques d’ordonnancement. D’autre part, nous appliquons les méthodes d'approximation (méthode taboue, algorithmes génétiques, etc) au problème de l'ordonnancement des systèmes de tâches liées par des contraintes de précédence, afin d'obtenir des séquences d'exécution optimisant certains critères comme la durée totale d'exécution par exemple. Lorsque aucune politique connue n’est utilisable, le concepteur est généralement amené à modifier la conception du système. Peu de travaux permettent de le guider. Nous proposons une méthode basée sur les chaînes de Markov qui renseigne sur le comportement d’un système de tâches en fonction du support matériel utilisé. Les informations apportées permettent de comprendre les problèmes qui sont à la source des difficultés et donc d’aider à modifier la conception. Elles renseignent aussi sur la qualité de service offerte par le système.

APA, Harvard, Vancouver, ISO, and other styles

38

Massaro, Júnior Flávio Rubens 1976. "Configuring mode changes in fixed-priority preemptively scheduled real-time systems = Configuração de mudanças de modo em sistemas de tempo real escalonados com política preemptiva de prioridade fixa." [s.n.], 2015. http://repositorio.unicamp.br/jspui/handle/REPOSIP/267726.

Full text

Abstract:

Orientadores: Paulo Sérgio Martins Pedro, Edson Luiz Ursini
Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Tecnologia
Made available in DSpace on 2018-08-27T04:51:09Z (GMT). No. of bitstreams: 1 MassaroJunior_FlavioRubens_M.pdf: 3302871 bytes, checksum: aa117bbaac53f7ead30d1a21700e03aa (MD5) Previous issue date: 2015
Resumo: Modos de operação e mudanças de modo são uma abstração útil para permitir que sistemas de tempo real sejam flexíveis e configuráveis. Trabalhos prévios em escalonamento preemptivo com prioridades fixas permitem que as tarefas passem de um modo de operação para outro provendo garantias de tempo real. No entanto, a configuração adequada dos parâmetros críticos, tais como o offset de uma tarefa, apesar de trabalhos anteriores terem abordado este assunto, permanece uma lacuna a ser explorada. Sem um método que automatize esta etapa do processo, garantindo ao mesmo tempo que os requisitos básicos sejam atendidos, a adoção plena de mudanças de modo em sistemas de tempo real permanece limitada a sistemas relativamente simples, com um conjuntos de tarefas limitado. Propomos um método para atribuir offsets às tarefas em uma mudança modo, através de uma abordagem Metaheurística (algoritmos genéticos). Este método permite a configuração e/ou a minimização da latência de pior caso de uma mudança modo. A latência de uma mudança de modo é um parâmetro crítico para ser minimizado, uma vez que durante a mudança de modo o sistema oferece funcionalidade limitada, uma vez que o conjunto de tarefas está parcialmente em operação. Também elaboramos uma classificação das mudanças de modo de acordo com as necessidades das aplicações. Esta classificação, quando aplicada a uma série de estudos de casos, permitiu validar a abordagem de minimização/configuração, estender a classificação anteriormente existente e demonstrar que o método é flexível, já que pode acomodar uma ampla variedade de tipos de mudanças de modo
Abstract: Modes of operation and mode-changes are a useful abstraction to enable configurable, flexible real-time systems. Substantial work on the fixed priority preemptive scheduling approach allowed tasks across a mode-change to be provided with real-time guarantees. However, the proper configuration of critical parameters such as task offsets, despite initial work, remains a gap in research. Without a method that automates this design step, while assuring that the basic requirements are met, the full adoption of mode-changes in real-time systems remains limited to relatively simple systems with limited task sets. We propose a method to assign offsets to tasks across a mode-change, using a metaheuristic approach (genetic algorithms). This method allows the configuration and/or the minimization of the worst-case latency of a mode-change. The latency of a mode change is a critical parameter to be minimized, since during the mode change the system offers limited functionality due to the fact that the task set is still incomplete. We also provide a classification of mode changes according to applications¿ requirements. This classification was useful, once applied to a number of case studies, both to validate the configuration approach and to a greater extent to show that the method is flexible in that it can accommodate a wide variety of types of mode-changes
Mestrado
Mestre em Tecnologia

APA, Harvard, Vancouver, ISO, and other styles

39

Almeida, Marcelo Ferreira de. "Protocolos de sincronização da ovulação para inseminação artificial com tempo fixo em ovelhas." Universidade do Oeste Paulista, 2009. http://bdtd.unoeste.br:8080/tede/handle/tede/226.

Full text

Abstract:

Made available in DSpace on 2016-01-26T18:55:28Z (GMT). No. of bitstreams: 1 Dissertacao.pdf: 210803 bytes, checksum: 83b85718d8feaeb1014019b6a6feaea9 (MD5) Previous issue date: 2009-08-11
The aim of study was to test the hormonal protocol for FTAI (fixed timed artificial insemination) with progesterone for 6 days applying eCG (Equine Corionic Gonadotrophin) or BE (Estradiol Benzoate) and induction of estrus using: MAP (acetato de medroxiprogesterone) for 6, 9 and 14 days or a single dose of PGF2a or male effect. Experiment 1: In D0 each ewe (n = 31) received CIDR being divided into 3 groups: GC (control) CIDR for 9 days and in withdrawal PGF2a + eCG. In G-eCG CIDR for 6 days PGF2a + eCG and in G-BE estradiol benzoate 24H after PGF2a and the FTAI 50H after the withdraw of CIDR. Experiment 2: On day 0 the sheeps (n = 48) received MAP being divided into 2 groups: G-9 and G-14 MAP by 9 or 14 days + PGF2a in withdrawal and detection of estrus. Experiment 3: divided up the sheeps (n = 151) in 3 groups: the G-6, each ewe received MAP for 6 days + PGF2a in withdrawal, the G-PGF, each ewe received PGF2a and G-EF only introducing ruffians. In exp. 1 pregnancy in the G-eCG (66%) was higher (p <0.05) in which G-BE (11.1%). In exp. 2 there were no differences (p <0.05) in estrus, pregnancy rate or design and in exp. 3 in G-6 (58%) and G-PGF (39%) the rate of estrus was greater (p <0.05) than in G-EF (11%). We concluded that is possible to reduce the time of permanence of progesterone using eCG for FTAI in sheep.
Objetivou-se testar o protocolo hormonal para IATF (inseminação artificial em tempo fixo) com progesterona por 6 dias aplicando-se eCG (gonadotrofina Coriônica Eqüina) ou BE (Benzoato de Estradiol) e indução de estros utilizando-se: esponjas vaginais impregnadas com MAP (acetato de medroxiprogesterona) por 6, 9 e 14 dias ou dose única de PGF2a ou efeito macho. Experimento 1: No D0 cada ovelha (n=31) recebeu CIDR sendo divididas aleatoriamente em 3 grupos: G-C (controle) CIDR por 9 dias e na retirada PGF2a + eCG. No G-eCG CIDR por 6 dias + PGF2a + eCG e no G-BE Benzoato de estradiol 24h após a PGF2a e a IATF 50 h após a retirada do CIDR. Experimento 2: No dia 0 as ovelhas (n=48) receberam MAP sendo divididas em 2 grupos: G-9 e G-14 MAP por 9 ou 14 dias + PGF2a na retirada e detecção de estro. Experimento 3: Dividiu-se aleatoriamente as ovelha (n=151) em 3 grupos: o G-6, cada ovelha recebeu MAP por 6 dias + PGF2a na retirada; o G-PGF, cada ovelha recebeu PGF2a e o G-EF apenas introdução de rufiões. No exp. 1 a prenhez no G-eCG (66%) foi maior (p<0,05) que no G-BE (11,1%). No exp. 2 não houve diferenças (p<0,05) no estro, taxa de prenhez ou de concepção. No exp. 3 no G-6 (58%) e G-PGF (39%) a taxa de estro foi maior (p<0,05) que no G-EF (11%). Concluímos ser possível reduzir o tempo de permanência da progesterona usando eCG para IATF em ovelhas

APA, Harvard, Vancouver, ISO, and other styles

40

Li, Jian. "Garantir la qualité de service temps réel selon l'approche (m,k)-firm." Electronic Thesis or Diss., Vandoeuvre-les-Nancy, INPL, 2007. http://www.theses.fr/2007INPL012N.

Full text

Abstract:

Cette thèse se focalise sur le développement des algorithmes d’ordonnancement sous contrainte (m, k)-firm, ainsi que leurs applications pour la gestion de la qualité de service (QdS) dans les réseaux et systèmes temps réel distribués. L’objectif recherché est la garantie déterministe de la QdS tout en maintenant un fort taux d’utilisation des ressources. Les contributions sont (1) l’établissement d’une condition suffisante d’ordonnançabilité d'un ensemble de tâches sous l’algorithme « distance based priority »; (2) la définition de R-(m, k)-firm, un nouveau modèle qui relâche la contrainte (m, k)-firm et qui permet de modéliser de façon plus juste des exigences du temps réel souple; (3) le développement d’un algorithme efficace de dimensionnement de ressources sous contrainte (m, k)-firm relâchée; (4) la proposition de « Double Leaks Bucket » pour la gestion active de files d'attente permettant de maintenir une QdS en cas de surcharge des réseaux
This work focuses on the scheduling algorithms under (m,k)-firm constraint, as well as the applications for QoS (quality of service) management in the networks and distributed real-time system. The research aim is to achieve the deterministic guarantee of QoS with high resource utilization. The contributions in this thesis include (1) proposing a sufficient condition for determining the schedulability of a real-time task set under Distance Base Priority scheduling algorithm; (2) defining a novel real-time constraint which relaxes the (m,k)-firm constraint and provides a more suitable modelling of soft real-time; (3) developing an effective resource provisioning algorithm under this relaxed (m,k)-firm constraint; (4) proposing an active queue management mechanism, called Double Leaks Bucket, which can guarantee the QoS with dynamic dropping of the packets during the networks overload period

APA, Harvard, Vancouver, ISO, and other styles

41

Sasportas, Raphaël. "Etude d'architectures dédiées aux applications temps réel d'analyse d'images par morphologie mathématique." Paris, ENMP, 2002. http://www.theses.fr/2002ENMP1082.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Santos, Renato dos. "Avaliação de protocolos de inseminação artificial em tempo fixo para bovinos Curraleiro Pé-Duro." reponame:Repositório Institucional da UnB, 2016. http://dx.doi.org/10.26512/2016.02.D.21317.

Full text

Abstract:

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Agronomia e Medicina Veterinária, 2016.
O estudo teve como objetivo verificar a resposta fisiológica de fêmeas da raça Curraleiro Pé- Duro submetidas a diferentes protocolos de sincronização e indução da ovulação, buscando-se o aumento da eficiência reprodutiva. Três experimentos foram realizados para avaliar o melhor momento de indução da ovulação e o tempo de exposição à progesterona. No Experimento 1, 12 vacas receberam um dispositivo intravaginal de progesterona (P4) e 2 mg de benzoato de estradiol (BE) intramuscular (IM) no dia zero (D0). Após oito dias (D8) os animais tiveram o implante de P4 removido e receberam 150 μg de D-cloprostenol Sódico (PGF2α) e 300 UI de gonadotrofina coriônica equina (eCG) via IM, sendo então separadas em dois grupos. Grupo 8D (n=6), as vacas receberam 1mg de BE IM no D8, e no grupo 9D (n=6), receberam BE no D9. No Experimento 2, cinco vacas foram submetidas ao mesmo protocolo usado no Grupo 9D do Experimento um, e seis vacas no D8 receberam 150 μg de PGF2α e 300 UI de eCG e no D9 receberam 1 mg de BE e tiveram o dispositivo de P4 retirado (Grupo P4D9). Em ambos os experimento, após a retirada do implante de P4 foram realizadas avaliações ovarianas ultrassonográficas. No Experimento 3, 88 matrizes foram submetidas aos protocolos utilizados nos grupos 8D (n=43) e P4D9 (n=45) e inseminadas em tempo fixo. No Experimento 1, os grupos 8D e 9D levaram a uma taxa de sincronização do folículo dominante de 92% (11/12) e 83% (10/12) e uma taxa de ovulação de 73% (8/11) e 100% (10/10), respectivamente. O tempo para ovulação após a retirada da P4 foi menor nas fêmeas do 8D. No Experimento 2, os grupos 9D e P4D9, levaram a uma taxa de sincronização do folículo dominante de 72% (8/11) e 100% (11/11), respectivamente e a uma taxa de ovulação de 87,5% (7/8) e 91% (10/11), não havendo diferença nos demais parâmetros foliculares estudados. No experimento 3, a taxa de gestação nos grupos 8D e P4D9 foram de 23% (10/43) e 20% (9/45; P>0,05) respectivamente. Conclui-se que, os protocolos utilizados neste trabalho tiveram resultados de desenvolvimento folicular satisfatórios, mas não refletiram em uma boa taxa de prenhes após inseminação artificial em tempo fixo (IATF). Nesse contexto, há necessidade de mais estudos em relação à fisiologia reprodutiva das fêmeas Curraleiro Pé- Duro e quanto à aplicação de protocolos de IATF para animais desta raça.
This study aimed to determine the physiological response of locally adapted females Curraleiro Pé-Duro race under different synchronization protocols and ovulation induction, evaluating the efficiency of these, as well as the determination of ovulation time, ovulatory follicle size, emergency wave and finally the pregnancy rate of females submitted to TAI programs. In one experiment, all females (n=12) on day zero (D0) received an intravaginal device containing 1g of progesterone (P4) which remained for eight days and 2 mg of estradiol benzoate (EB) intramuscular (IM). After that the animals were randomly divided into two groups; 8D treatment (n=6) and 9D treatment (n=6). On removal day of the implant P4 (D8) cows in the 8D group received IM 150 μg of Sodium D-cloprostenol, 300 IU eCG and 1 mg of EB. In 9D treatment group the cows had the implant removed in D8 and received IM 150 μg of D-cloprostenol Sodic and 300 IU eCG, and in contrast to the control group, the animals received IM in D9 1mg EB. The treatments differed among themselves as to the BE application day. For the second experiment, all animals (n=11) in D0 received the same pharmacological treatment of the previous experiment and were randomly divided into two groups; 9D treatment (n=5) and P4D9 treatment (n=6). The animals 9D treatment group had P4 implant removed in D8 and received IM 150 μg of D-cloprostenol Sodic and 300 IU eCG, and D9 received IM, 1mg EB. In contrast the P4D9 treatment group the females received D8 IM 150 μg of D-cloprostenol Sodium and 300 IU eCG and D9 were removed P4 implant followed by IM administration of 1mg of EB. The treatments differed on the withdrawal time of P4 implants. In both experiments, on the P4 implant removal day was also initiated ovarian ultrasound assessment every 24h up to 24h after removal of the P4 implant. After this period, the evaluations were performed every 8 hours for up to 96 hours in the attempt to monitor from the FD to the ovulation. Experiments one and two occurred in crossover format. For the third experiment we used the protocols for the treatment 8D and P4D9 to TAI. Where, for the 8D treatment group (n=43) insemination occurred in the period of 40/42 hours and P4D9 for the treatment group (n=45) 24/26 hours after removing the P4 implant. For the experiment one, the 8D and 9D treatments led to a sync rate of the dominant follicle 92% (11/12) and 83% (10/12) and ovulation rate of 73% (8/11) and 100% (10/10), respectively. There was no effect of treatments on group and interaction day VS group (P> 0.05) in follicular development, only daily growth (P<0.05). The time of ovulation was early in the 8D treatment and variation of ovulation tended to differ (P=0,06). In the second experiment, the treatments 9D and P4D9 led to a sync rate of the dominant follicle 72% (8/11) and 100% (11/11) and ovulation rate of 87,5% (7/8) and 91% (10/11), respectively. For both experiment there was no difference in the luteal volume (P>0,05). As for the three experiments where animals were submitted to TAI, it is found to 8D treatment group and P4D9 treatment group pregnancy rates of 23% (10/43) and 20% (9/45) respectively (P>0,05), concluding that there is still need for more studies on the reproductive physiology of females Curraleiro Pé-Duro, is the hormonal and ultrasonographic control of follicular development, or the development of new methodologies in TAI specific protocols for animals of this breed.

APA, Harvard, Vancouver, ISO, and other styles

43

Chatap, Alain-Emile. "Étude et réalisation d'un moniteur temps-réel pour la gestion d'un réseau de télétransmission." Paris 11, 1988. http://www.theses.fr/1988PA112112.

Full text

Abstract:

L'informatique met en oeuvre des ressources importantes coûteuses, tant en ce qui concerne le matériel que les programmes. Un souci d'économie conduit à rendre ces ressources communes à un groupe de traitements. Les problèmes qu'impliquent la mise en commun de composants aussi bien logiciels que matériels, leur partage leur protection, la synchronisation des actions qui peuvent être entreprises sur eux, incombent aux programmes système. Dans un environnement industriel (contrôle de processus…), il s'agit souvent en plus pour le système de réagir en temps-réel à l'occurence d'évènements externes générés par des dispositifs matériels qui sont sous son contrôle. La diversité de ces dispositifs donne lieu à des actions variées, effectuées par des processus spécialisés qui s'exécutent en parallèle. Pour permettre à l'application de se consacrer uniquement aux problèmes afférents aux traitements des données, on met en place des mécanismes permettant d'assurer le parallélisme des travaux, leur synchronisation et le partage des ressources. Ce document expose la conception et la mise en oeuvre d'un exécutif temps-réel.

APA, Harvard, Vancouver, ISO, and other styles

44

Li, Jian. "Garantir la qualité de service temps réel selon l'approche (m,k)-firm." Phd thesis, Institut National Polytechnique de Lorraine - INPL, 2007. http://tel.archives-ouvertes.fr/tel-00140318.

Full text

Abstract:

Cette thèse se focalise sur le développement des algorithmes d'ordonnancement sous contrainte (m, k)-firm, ainsi que leurs applications pour la gestion de la qualité de service (QdS) dans les réseaux et systèmes temps réel distribués. L'objectif recherché est la ga-rantie déterministe de la QdS tout en maintenant un fort taux d'utilisation des ressources.
Les contributions sont (1) l'établissement d'une condition suffisante d'ordonnançabilité d'un ensemble de tâches sous l'algorithme « distance based priority »; (2) la définition de R-(m, k)-firm, un nouveau modèle qui relâche la contrainte (m, k)-firm et qui permet de modéliser de façon plus juste des exigences du temps réel souple; (3) le développement d'un algorithme efficace de dimensionnement de ressources sous contrainte (m, k)-firm relâchée; (4) la proposition de « Double Leaks Bucket » pour la gestion active de files d'attente permettant de maintenir une QdS en cas de surcharge des réseaux.

APA, Harvard, Vancouver, ISO, and other styles

45

Caumont, Olivier. "Simulation et assimilation de données radar pour la prévision de la convection profonde à fine échelle." Phd thesis, Université Paul Sabatier - Toulouse III, 2007. http://tel.archives-ouvertes.fr/tel-00222771.

Full text

Abstract:

Le travail de thèse a porté sur l'utilisation des données radar dans les domaines de la validation et de l'initialisation des modèles atmosphériques à échelle kilométrique. Dans la première partie, un simulateur radar sophistiqué et modulaire est développé dans le modèle atmosphérique à haute résolution Méso-NH. Des tests de sensibilité sur les différentes formulations utilisées pour décrire chaque processus physique impliqué dans les mesures radar (réflectivités et vents radiaux Doppler) sont effectués. Ils permettent de préciser le niveau de complexité nécessaire pour la simulation de la donnée radar à des fins de validation et pour l'opérateur d'observation à des fins d'assimilation des données radar. Dans la seconde partie, une méthode originale est développée pour assimiler les réflectivités. Cette méthode en deux temps, appelée 1D+3DVar, restitue d'abord des profils verticaux d'humidité à partir de profils de réflectivité par le biais d'une technique bayésienne qui utilise des colonnes voisines d'humidité et de réflectivité cohérentes du modèle. Les pseudo-observations restituées sont à leur tour assimilées par un système d'assimilation 3DVar à la résolution de 2,5 km. La méthode est évaluée et réglée avec à la fois des données simulées et réelles. On montre notamment le bénéfice de l'assimilation des données de réflectivité pour les prévisions à courte échéance de la situation des inondations exceptionnelles de septembre 2002 dans le Gard.

APA, Harvard, Vancouver, ISO, and other styles

46

Greco, Marcelo. "Avaliação de diferentes combinações de tempo de revolvimento, em secador de camada fixa para café." Universidade Estadual do Oeste do Paraná, 2006. http://tede.unioeste.br:8080/tede/handle/tede/1286.

Full text

Abstract:

Made available in DSpace on 2017-07-10T17:37:08Z (GMT). No. of bitstreams: 1 Marcelo Greco.pdf: 571347 bytes, checksum: bbd60db2952ca5a0dde8ac3055608852 (MD5) Previous issue date: 2006-09-27
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
This assignment aimed to value the energetic efficiency on coffee drying (Coffea Arabica, L.), with different combinations of time revolvment on a fix layer dryer. The experiment was developed on July, 2004 in Jesuitas city, Paraná. The dryer was compound of: a drying chamber with a capacity to 4,5 m3 of grains, chamber plenum with volum of 2,9 m3, fan with leakage of 473,2 m3 mim-1, two motors with potency of 2 cv (one for the drive of the fan and another one for the drive of the revolvment system) and mechanical system with shovels, that kept the product in horizontal rotatory revolvment. The grain´s contents of damp were gotten by the standard method of greenhouse 105±1ºC for 24 hours. The sample´s collection was carried out with a collector segmented on four different points of the drying chamber at each two hours. The temperature and the air´s damp were gotten through digital thermhigrometer, installed in a meteorological shelter. The drying air´s temperature was 75ºC. The ventilation and the drying kept it continuous during the test, having as treatment the time´s interval and revolvment of one hour, two hours, three hours and continuous revolvment. It was observed the revolvment with intervals of three hours promoted the smaller energy electric (17,11 kWh) and firewood consume (208,25 kg). The average of the energetic efficiency between the treatments was 12,30 MJ kg--1. for the model of dryers used it is recommended the utilisation of the revolvment system with intervals of three hours and continuous dryer, considering that had not been difference in the final quality of the product in sensorial analysis
O presente trabalho objetivou avaliar a eficiência energética na secagem de café (Coffea arabica, L.), com diferentes combinações de tempo de revolvimento, em secador de camada fixa. O experimento foi desenvolvido no mês de julho de 2004, no município de Jesuítas-PR. O secador foi composto por: câmara de secagem com capacidade para 4,5m³ de grãos, câmara plenum com volume 2,9m³, ventilador com vazão de 473,2m³ mim-1, dois motores com potência de 2cv (um para o acionamento do ventilador e outro para acionamento do sistema de revolvimento) e sistema mecânico com pás, que mantinha o produto em revolvimento rotatório horizontal. Os teores de umidade dos grãos foram obtidos pelo método padrão de estufa 105±1ºC por 24 horas. A coleta de amostras foi realizada com um coletor segmentado em quatro diferentes pontos da câmara de secagem a cada duas horas. A temperatura e umidade do ar foram obtidas mediante o uso de termohigrômetro digital instalado em abrigo meteorológico. A temperatura do ar de secagem foi de 75oC. A ventilação e secagem mantiveram-se contínuas no teste, tendo como tratamentos os intervalos de tempo e revolvimento de: uma hora; duas horas; três horas e revolvimento contínuo. Observou-se que o revolvimento com intervalos de três horas promoveu o menor consumo de energia elétrica (17,11kWh) e de lenha (208,25kg). A média da eficiência energética entre os tratamentos foi de 12,30MJ kg--1. Para o modelo de secador utilizado recomenda-se a utilização do sistema de revolvimento com intervalos de três horas e secagem contínuas, uma vez que não foram observadas diferenças na qualidade final do produto em análise sensorial

APA, Harvard, Vancouver, ISO, and other styles

47

Fontana, Diogo Luiz. "Inseminação artificial pós-cervical em tempo fixo em porcas recebendo pLH no início do estro." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2013. http://hdl.handle.net/10183/72057.

Full text

Abstract:

Inseminação artificial em tempo fixo (IATF) associada à inseminação artificial pós-cervical (IAPC) permite uma maior utilização de machos geneticamente superiores e uma redução expressiva de mão de obra na produção de suínos. O objetivo deste estudo foi avaliar a eficiência da IATF de acordo com diferentes protocolos de (IA), usando pLH - hormônio luteinizante suíno - como indutor da ovulação. Um total de 597 matrizes desmamadas com detecção de estro realizada uma vez ao dia (08:00) foram alocados em três tratamentos: Controle (n = 199) - primeira inseminação realizada no início do estro (0 h) e repetida a cada 24 h, durante o estro; IATF1 (n = 199) - fêmeas receberam 5 mg (4 ml) i.m. de pLH no início do estro, e foram inseminadas 24 horas depois, e IATF2 (n = 199) – fêmeas receberam 5 mg de pLH mas foram inseminadas no início do estro (0 h) e 24 horas depois. Foram realizadas IAPC com doses homospérmicas (1,5 x 109 de espermatozoides totais/50 ml) em todos os tratamentos. O tratamento hormonal não afetou o intervalo do início do estro à ovulação (P> 0,05). O número de inseminações foi de 2,9, 1,0 e 2,0 para Controle, FTAI1 e FTAI2 respectivamente. Não houve diferença entre os tratamentos para taxa de parto e leitões nascidos totais (P> 0,05). Leitões nascidos totais por dose inseminante foi diferente (P <0,0001) entre os tratamentos (4,5, 12,5 e 6,2 para Controle, FTAI1 e FTAI2 respectivamente). O uso de pLH no início do estro associado à uma única inseminação em tempo fixo IAPC 24 horas após, não comprometeu o desempenho reprodutivo de porcas multíparas.
Fixed-time artificial insemination (FTAI) associated to post cervical artificial insemination (PCAI) allows a wider use of high indexed boars and an expressive reduction on labor requirements in swine production. The aim of this study was to evaluate FTAI efficiency according to different AI protocols, using pLH – porcine luteinizing hormone - as ovulation inductor. A total of 597 weaned sows whose estrus detection was performed once daily (08:00 am) were allocated into three treatments: Control (n= 199) – the first insemination was performed at estrus onset (0 h) and repeated every 24 h thereafter, during estrus; FTAI1 (n= 199) - sows received a 5 mg (4 ml) i.m. injection of pLH at estrus onset, and were inseminated 24 h after, and FTAI2 (n= 199) - sows received 5 mg of pLH but were inseminated at estrus onset (0 h) and 24 h after. PCAI with homospermic doses (1.5 x 109 total sperm cells/50 ml) were performed in all treatments. Hormonal treatment did not affect the interval onset of estrus to ovulation (P>0.05). The number of inseminations was 2.9, 1.0 and 2.0 for Control, FTAI1 and FTAI2 respectively. Treatments did not affect farrowing rate and total born (P>0.05). Total piglets born per insemination dose was different (P<0.0001) among treatments (4.5, 12.5 and 6.2 for Control, FTAI1 and FTAI2 respectively). The use of pLH at estrus onset associated to a single fixed-time PCAI 24 h after does not compromise the reproductive performance of multiparous sows.

APA, Harvard, Vancouver, ISO, and other styles

48

Rosa, Gonçalo Morais Salvador Teles da. "Efeito do diâmetro folicular e da condição corporal sobre a taxa de gestação em vacas Bos indicus sujeitas a programa de inseminação artificial em tempo fixo." Master's thesis, Universidade de Lisboa. Faculdade de Medicina Veterinária, 2015. http://hdl.handle.net/10400.5/10097.

Full text

Abstract:

Dissertação de Mestrado Integrado em Medicina Veterinária
Diversos estudos indicam que o tamanho do folículo pré-ovulatório (FPO) no momento da inseminação influencia de forma significativa as taxas de gestação (TG) e a mortalidade embrionária/fetal, em vacas no pós-parto sujeitas a um protocolo de inseminação artificial em tempo fixo (IATF). Para além disso, nos bovinos, o status de energia, particularmente o balanço energético negativo (BEN), tem uma grande influência no desempenho reprodutivo dos mesmos. Dessa forma, o presente trabalho teve como objectivo determinar e compreender a relação existente entre o diâmetro do FPO e os efeitos da condição corporal (CC) sobre a TG, em bovinos Bos indicus (n=376) sujeitos a um programa de IATF. O protocolo utilizado consistiu num protocolo de 3 maneios [Dia 0 (D0) - 2 mg de benzoato de E2 (BE) + dispositivo intravaginal (DIV) com 0,7 g de progesterona (P4); Dia 8 ou D8,5 (D8/8,5) - remoção do DIV de P4 + 1 mg de BE + 0,150 mg de D-cloprostenol (PGF2α) + 300 UI de gonadotrofina coriónica equina (eCG); Dia 9,5 ou D10 (D9,5/10) – IATF]. O diâmetro do FPO (D9,5/10) e a gestação (DG30, DG60, DG100) foram determinados por ultra-sonografia. O score de condição corporal (SCC) foi obtido ao D0 e o cio foi diagnosticado ao D9,5/10, pelo método de pintura da base da cauda. O diâmetro médio do FPO no dia da IATF foi de 15,16 mm. A taxa de gestação média ao DG30, DG60 e DG100 foi, respectivamente, 60,11%, 55,05% e 82,71%. As vacas que apresentaram no dia da IATF FPO de diâmetro superior a 15 mm tiveram uma TG ao DG30 (68,33% vs. 52,55%; p=0,008), DG60 (63,33% vs. 47,45%; p=0,001) e DG100 (85,71% vs. 79,90; p=0,03) estatisticamente superior àquelas com um diâmetro entre os 8,5-15 mm. Em relação ao SCC, as vacas com um SCC ≥5 tiveram uma TG estatisticamente superior ao DG30 (60,94% vs. 55,36%; p=0,05) e DG60 (56,25% vs. 48,21%; p=0,04) em comparação com as de SCC <5. A TG em relação à categoria das fêmeas (primípara vs. multípara), embora sempre superior nas multíparas, apenas ao DG100, revelou um valor com significância estatística (88,42% vs. 64,84%; p=0,01). A perda embrionária foi inferior nos animais com um FPO >15 mm (7,32% vs. 9,71%; p=0,44), nos animais com um SCC ≥5 (7,69% vs. 12,90; p=0,17) e nas fêmeas multíparas (7,43% vs. 11,76%; p=0,65), no entanto, nenhum desses valores revelou significância estatística. Em conclusão, o diâmetro folicular na altura da IATF e a CC dos animais ao início do protocolo revelaram um efeito estatisticamente significativo na TG de fêmeas Bos indicus, sujeitas a um programa de IATF com P4 e E2.
ABSTRACT - Effect of follicular diameter and body condition on the pregnancy rate in Bos indicus cows submitted to a Fixed Time Artificial Insemination program - Several studies indicate that the size of the pre-ovulatory follicle (POF) at the time of insemination, significantly influences the pregnancy rates (PR) and embryo/fetal mortality in cows subjected to fixed-time artificial insemination protocol (FTAI) after calving. Furthermore, in cattle, the energy status, particularly the negative energy balance (NEB), has a great influence on their reproductive performance. Thus, this study aimed to determine and understand the relationship between the diameter of the POF and the effects of body condition (BC) on the PR in Bos indicus cattle (n = 376) subject to a FTAI program. The protocol used was a 3 protocol managements [Day 0 (D0) - 2 mg of estradiol (E2) benzoate (EB) + intravaginal device (IVD) with 0.7 g of progesterone (P4); Day 8 or D8.5 (D8/8.5) - IVD removal + 1 mg of EB + 0.150 mg of D-cloprostenol (PGF2α) + 300 IU equine chorionic gonadotropin (eCG); Day 9.5 or D10 (D9.5/10) – FTAI]. The diameter of the POF (D9.5/10) and the pregnancy (DG30, DG60 and DG100) were determined by ultrasound. The body condition score (BCS) was obtained at D0 and the heat was diagnosed at D9.5/10, by the method of tail-head paint. The average diameter of the POF on the FTAI was 15.16 mm. The average PR at DG30, DG60 and DG100 was respectively 60.11%, 55.05% and 82.71%. The cows who showed at the FTAI day, POF greater than 15 mm, had a PR at DG30 (68.33% vs. 52.55%, P = 0.008), DG60 (63.33% vs. 47.45%; p = 0.001) and DG100 (85.71% vs. 79.90; p = 0.03) statistically higher, than those with a diameter between 8.5 to 15 mm. Regarding the BCS, animals with a BCS ≥5 had a PR statistically superior at DG30 (60.94% vs. 55.36%; p = 0.05) and DG60 (56.25% vs. 48.21%, P = 0.04) compared with the animals BCS <5. The PR in relation to females category (primiparous vs. multiparous), although always higher at the multiparous, only at DG100, revealed a value with statistical significance (88.42% vs. 64.84%, p = 0.01). The embryonic loss was lower in animals with a POF >15 mm (7.32% vs. 9.71%, p = 0.44), animals with a BCS ≥5 (7.69% vs. 12.90; p = 0.17) and the multiparous females (7.43% vs. 11.76%, P = 0.65), however, none of those values showed statistical significance. In conclusion, the follicular diameter at the FTAI moment and the BC of the animals at the beginning of protocol revealed a statistically significant effect on PR female Bos indicus submitted to a FTAI program.

APA, Harvard, Vancouver, ISO, and other styles

49

Cordioli, Pietro. "Struttura fine dell'atomo idrogenoide." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2021. http://amslaurea.unibo.it/23695/.

Full text

Abstract:

Il presente lavoro di tesi analizza, dal punto di vista teorico, le correzioni relativistiche di struttura fine dei livelli energetici idrogenoidi descritti dal modello non relativistico di Bohr. In particolare viene illustrato il metodo perturbativo che fornisce le espressioni corrette dei livelli energetici dell'atomo in ottimo accordo con le misure spettroscopiche. Sono inoltre trattate qualitativamente le correzioni di struttura iperfine e di spostamento di Lamb, di ordine di grandezza inferiore, raffinando ulteriormente il modello relativistico dell'atomo idrogenoide.

APA, Harvard, Vancouver, ISO, and other styles

50

Chapelet, Frédéric. "Fontaine atomique double de césium et de rubidium avec une exactitude de quelques 1E-16 et applications." Paris 11, 2008. http://www.theses.fr/2008PA112094.

Full text

Abstract:

Les fontaines atomiques constituent le développement le plus abouti des horloges atomiques fondées sur l’atome de césium, atome dont une résonance hyperfine est depuis 1967 à la base de la définition la seconde. Ces systèmes sont aujourd’hui parmi ceux qui réalisent la seconde avec la meilleure exactitude. Nous présentons les dernières avancées de la fontaine double à atomes froids de césium et de rubidium du LNE-SYRTE. Combinant deux types d’atomes, ce dispositif unique au monde permet d’envisager des tests de physique fondamentale reposant sur la comparaison de fréquences de transition atomique avec une résolution exceptionnelle. Afin d’autoriser le fonctionnement à deux atomes simultanément, nous avons conçu, testé et mis en place de nouveaux systèmes optiques, chargés de combiner les lumières utiles à la manipulation des deux espèces atomiques. Sans attendre le fonctionnement double, par la comparaison de notre fontaine rubidium avec une autre fontaine césium, nous avons pu tester sur dix ans la stabilité de la constante de structure fine au niveau de 5E-16 par an. Nous avons poursuivi le travail d’amélioration de l’exactitude de l’horloge et focalisé nos efforts sur les effets liés aux gradients de phase dans la cavité d’interrogation et sur l’atténuation des fuites micro-ondes. L’exactitude de la fontaine a alors été évaluée à 4E-16 pour la partie césium et 5E-16 pour la partie rubidium rénovée. Instrument de métrologie puissant, notre fontaine a été impliquée dans de nombreuses comparaisons d’horloges et a contribué à maintes reprises à l’étalonnage du Temps Atomique International. Nous avons également pu mener avec elle un test inédit de l’invariance de Lorentz
Atomic fountains are the most accomplished development of atomic clocks based on the cesium atom whose hyperfine resonance defines the SI second since 1967. Today these systems are among those which realize the second with the best accuracy. We present the last developments of the cold cesium and rubidium atom dual fountain experiment at LNE-SYRTE. This unique dual setup would allow obtaining an outstanding resolution in fundamental physics tests based on atomic transition frequency comparisons. In order to enable operation with both atomic species simultaneously, we have designed, tested and implemented on the fountain new collimators which combine the laser lights corresponding to each atom. By comparing our rubidium fountain to another cesium fountain over a decade, we performed a test of the stability of the fine structure constant at the level of 5E-16 per year. We carried on the work on the clock accuracy and we focused on the phase gradients effects in the interrogation cavity and on the microwave leakage. The fountain accuracy has been evaluated to 4E-16 for the cesium clock and to 5E-16 for the refurbished rubidium clock. As a powerful instrument of metrology, our fountain was implicated in many clock comparisons and contributed many times to calibrate the International Atomic Time. Furthermore, we used the fountain to perform a new test of Lorentz local invariance

APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic 'Temps fixe'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles