Literatura académica sobre el tema "Simulation pondérée"

Une simulation numérique par des éléments finis des écoulements transitoires à surface libre dans les canaux prismatiques est présentée. Dans cette étude, l'écoulement est supposé unidirectionnel dans un canal de faible pente. Le modèle mathématique est constitué d'un système de deux équations aux dérivées partielles de type hyperbolique résolu numériquement par la méthode des éléments finis. Pour définir les fonctions d'interpolation dans la forme intégrale des résidus pondérés, la méthode de Galerkin a été utilisée. Dans les applications, différentes sections prismatiques sont examinées. Les régimes transitoires étudiés sont dus à des manœuvres de vanne placée en aval du canal, l'extrémité amont étant connectée à un réservoir de niveau constant. Dans ces conditions, le régime transitoire correspond à une évolution de l'écoulement d'un régime permanent initial vers un régime permanent final. Ces deux régimes sont supposés uniformes à débit constant défini par la formule de Manning. Les résultats obtenus concernent l'évolution des paramètres hydrauliques en différentes sections du canal, suite à la manœuvre en aval. Deux cas de manœuvres sont considérés ; le cas d'une ouverture et le cas d'une fermeture. L'étude a permis d'analyser la propagation des ondes de surface et la réflexion de ces ondes sur les deux extrémités du canal. En particulier, les résultats numériques montrent que lorsque la largeur du lit du canal est très petite (cas de la section triangulaire), les fluctuations des profondeurs sont rapidement amorties.

Dans le cadre du Plan d'Action Saint-Laurent, une méthodologie détaillée d'analyse de la contamination par tronçon faisant appel à la modélisation numérique a été développée. Une méthode de simulation utilisant le mouvement aléatoire de particules a servi à élaborer le logiciel PANACHE. Les concentrations sont obtenues en post-traitement en attribuant une masse de contaminant aux particules du modèle. Les champs de vitesses servant à calculer leurs mouvements sont produits à l'aide d'un modèle bidimensionnel aux éléments finis. Une nouvelle approche pour l'analyse de la contamination est proposée. Celle-ci s'inspire de la méthodologie de modélisation des micro-habitats populaire dans le domaine de l'hydrobiologie. Le résultat apparaît sous la forme d'Aires Pondérées Inutilisables (API), c'est-à-dire, des surfaces où certains critères de qualité de l'eau ne sont pas respectés dans les zones de mélange. Ce système Informatisé a été élaboré sur une plate-forme INTEL/386-486 - OS2/PM.

Pour étudier les effets de la microgravité sur les mécanismes de régulation de la volémie et de l’eau corporelle totale (ECT), les variations d’ECT, du volume plasmatique (VP) et des principales hormones intervenant dans la régulation de la volémie (rénine, aldostérone, peptide atrial natriurétique (ANP), hormone anti-diurétique (ADH)) ont été déterminées par dilution isotopique, formule de Dill et Costill et dosages radio-immunologiques, chez 9 hommes soumis à un alitement à –6° de 3 mois. Les osmolalités urinaires et plasmatiques, la natrémie, la kaliémie et les excrétions urinaires sodée et potassique ont aussi été mesurées. Pendant ces 3 mois, la masse des sujets (–2,8 ± 0,8 kg), l’eau totale (–7,2 % ± 0,9 % soit –2,6 ± 0,7 kg) et le VP (–4,7 % ± 1,8 %) ont diminué. La rénine plasmatique et l’aldostérone ont augmenté (+109,0 % ± 15,4 % et +87,2 % ± 38,9 % respectivement). L’ANP a diminué de –33,2 % ± 20,4 %. Les autres variables, dont l’ADH, n’ont pas changé. La baisse pondérale, la diminution de l’ECT et de la masse maigre s’expliquent vraisemblablement par une atrophie musculaire. L’élévation des facteurs de rétention sodée et l’inhibition de l’ANP s’expliquent par l’hypovolémie modérée, qui, sans variation de l’osmolalité plasmatique, semble incapable de stimuler la sécrétion d’ADH. Ce dernier fait démontre la primauté de l’osmolalité plasmatique dans la régulation de l’ADH.

Incandescent materials emit optical radiation that can cause cataracts, especially in industrial processes. This risk must be assessed to help employers choose an effective means of protecting workers. Where possible, this is done by software simulation. Otherwise, near-infrared irradiance must be measured at the worker’s eye. Since radiometers and spectroradiometers are too expensive for most preventers, a novel and virtually free method has been proposed. Using a photograph, it assesses irradiance by summing the irradiance corresponding to each pixel representing the opaque glowing materials in the image. Pixel irradiance is evaluated from the radiance of the colored body whose temperature and emissivity correspond to the pixel color, weighted by the geometric configuration associated with the pixel in the camera perspective. The first principle – converting pixel color to radiance – was the subject of a first paper. This paper presents the second principle: calculating irradiance at the eye from pixel radiance. This method is accurate enough to assess cataract risk, thereby helping employers to protect workers. An easy and inexpensive way to calibrate the camera is under investigation in view to making it widespread. Les matériaux incandescents émettent des rayonnements optiques capables de causer des cataractes, en particulier dans certaines industries. Les employeurs doivent en évaluer le risque et en protéger les travailleurs. Lorsque le risque ne peut être évalué par simulation informatique, il devient nécessaire de mesurer l’éclairement dans le proche infrarouge, au niveau de l’œil du travailleur. Or, les appareils pour le mesurer – radiomètres et spectroradiomètres – sont trop onéreux pour la majorité des préventeurs. Une nouvelle méthode a été proposée pour évaluer cet éclairement sur la base d’une photographie de la situation de travail, telle que peuvent en fournir les smartphones. Pour tout pixel dans cette image, associé à une matière incandescente opaque, la température et l’émissivité d’un corps coloré de la même couleur que la sienne lui sont attribuées, de même que son facteur de forme selon la perspective de la caméra. L’éclairement recherché est alors la somme, pour tous ces pixels, de la luminance associée au corps coloré pondérée par le facteur de forme. Cette méthode virtuellement gratuite se révèle assez précise pour évaluer le risque et aider l’employeur à prendre les mesures de sécurité adéquates. Pour répandre cette méthode, nous travaillons à lui adjoindre un moyen facile et accessible d’étalonner la caméra.

Le formalisme des systèmes à événements discrets et des systèmes réactifs offre un cadre abstrait efficace pour représenter et étudier de nombreux systèmes. Dans cette thèse, nous exploitons ce formalisme afin de modéliser une partition de live coding dont l’interprétation est conditionnée par l’occurrence d’événements spécifiques. Cette approche nous a conduits à étudier les méthodes formelles des systèmes à événements discrets qui permettent de les modéliser, de les analyser et de concevoir des stratégies de contrôle adaptées. Cette étude a donné lieu à plusieurs contributions, notamment en ce qui concerne l’expressivité des automates pondérés, la vérification formelle de propriétés temporelles, et sur l’existence d’une simulation pondérée. La dernière partie de ce mémoire présente le formalisme de la partition interactive ainsi que de la librairie Troop Interactive, développée pour rendre accessible l’écriture de partition interactive et la réalisation de performances sonores interactives reposant sur la pratique du live coding
The formalism of discrete event systems and reactive systems provides an effective abstract framework for representing and studying a wide range of systems. In this thesis, we leverage this formalism to model a live coding score whose interpretation is conditioned by the occurrence of specific events. This approach led us to investigate formal methods for discrete event systems that enable their modeling, analysis, and the design of appropriate control strategies. This study resulted in several contributions, particularly regarding the expressiveness of weighted automata, the formal verification of temporal properties, and the existence of weighted simulation. The final part of this dissertation introduces the formalism of the interactive score, as well as the \textit{Troop Interactive} library, developed to make interactive score writing and the realization of interactive sound performances based on live coding practices more accessible

Les écoulements en milieux poreux non-saturés sont modélisés par l'équation de Richards qui est une équation non-linéaire parabolique dégénérée. Ses limites et les défis que soulèvent sa résolution numérique sont présentés. L'obtention de résultats robustes, précis et efficaces est difficile en particulier à cause des fronts de saturation raides et dynamiques induits par les propriétés hydrauliques non-linéaires. L'équation de Richards est discrétisée par une méthode de Galerkine discontinue en espace et des formules de différentiation rétrograde en temps. Le schéma numérique résultant est conservatif, d'ordre élevé et très flexible. Ainsi, des conditions aux limites complexes sont facilement intégrées comme la condition de suintement ou un forçage dynamique. De plus, une stratégie adaptative est proposée. Un pas de temps adaptatif rend la convergence non-linéaire robuste et un raffinement de maillage adaptatif basée sur des blocs est utilisée pour atteindre la précision requise efficacement. Un indicateur d'erreur a posteriori approprié aide le maillage à capturer les fronts de saturation raides qui sont également mieux approximés par une discontinuité introduite dans la solution grâce à une méthode de Galerkine discontinue pondérée. L'approche est validée par divers cas-tests et un benchmark 2D. Les simulations numériques sont comparées à des expériences de laboratoire de recharge/drainage de nappe et une expérience à grande échelle d'humidification, suite à la mise en eau du barrage multi-matériaux de La Verne. Ce cas exigeant montre les potentialités de la stratégie développée dans cette thèse. Enfin, des applications sont menées pour simuler les écoulements souterrains sous la zone de jet de rive de plages sableuses en comparaison avec des observations expérimentales
Flows in unsaturated porous media are modelled by the Richards' equation which is a degenerate parabolic nonlinear equation. Its limitations and the challenges raised by its numerical solution are laid out. Getting robust, accurate and cost-effective results is difficult in particular because of moving sharp wetting fronts due to the nonlinear hydraulic properties. Richards' equation is discretized by a discontinuous Galerkin method in space and backward differentiation formulas in time. The resulting numerical scheme is conservative, high-order and very flexible. Thereby, complex boundary conditions are included easily such as seepage condition or dynamic forcing. Moreover, an adaptive strategy is proposed. Adaptive time stepping makes nonlinear convergence robust and a block-based adaptive mesh refinement is used to reach required accuracy cost-effectively. A suitable a posteriori error indicator helps the mesh to capture sharp wetting fronts which are also better approximated by a discontinuity introduced in the solution thanks to a weighted discontinuous Galerkin method. The approach is checked through various test-cases and a 2D benchmark. Numerical simulations are compared with laboratory experiments of water table recharge/drainage and a largescale experiment of wetting, following reservoir impoundment of the multi-materials La Verne dam. This demanding case shows the potentiality of the strategy developed in this thesis. Finally, applications are handled to simulate groundwater flows under the swash zone of sandy beaches in comparison with experimental observations

La recherche d'ARN non-codants (ARNnc) a reçu un regain d'intérêt suite à la découverte de nouveaux types d'ARNnc aux fonctions multiples. De nombreuses techniques ont été développées pour localiser ces ARN dans des séquences génomiques. Nous utilisons ici une approche supposant la connaissance d'un ensemble d'éléments de structure discriminant une famille d'ARNnc appelé signature.

Dans cette approche, nous combinons plusieurs techniques de \textit{pattern-matching} avec le formalisme des réseaux de contraintes pondérées afin de modéliser simplement le problème, de décrire finement les signatures et d'attribuer un coût à chaque solution. Nos travaux nous ont conduit à élaborer plusieurs techniques de filtrage ainsi que des algorithmes de pattern-matching originaux que nous présentons ici.

Nous avons de plus conçu un logiciel, appelé DARN!, qui implante notre approche, ainsi qu'un module de génération de signatures. Ceux-ci permettent de rechercher efficacement de nouveaux ARNnc.

En Imagerie par Résonance Magnétique (IRM), l’augmentation du champ magnétique statique permet en théorie de fournir un rapport signal sur bruit accru, améliorant la qualité des images. L’objectif de l’IRM à ultra haut champ est d’atteindre une résolution spatiale suffisamment haute pour pouvoir distinguer des structures si fines qu’elles sont actuellement impossibles à visualiser de façon non-invasive. Cependant, à de telles valeurs de champs magnétiques, la longueur d’onde du rayonnement électromagnétique envoyé pour basculer les spins des protons de l’eau est du même ordre de grandeur que l’objet dont on souhaite faire l’image. Des phénomènes d’interférences sont observés, ce qui se traduit par l’inhomogénéité de ce champ radiofréquence (RF) au sein de l’objet. Ces interférences engendrent des artefacts de signal et/ou de contraste dans les images IRM, et rendent ainsi leur exploitation délicate. Il est donc crucial de fournir des solutions pour atténuer la non-uniformité de l’excitation des spins, à défaut de quoi de tels systèmes ne pourront atteindre leurs pleins potentiels. Pour obtenir des diagnostics pertinents à très haut champ, il est donc nécessaire de créer des impulsions RF homogénéisant l'excitation de l'ensemble des spins (ici du cerveau humain), optimisées pour chaque individu. Pour cela, un système de transmission parallèle (pTX) à 8 canaux a été installé au sein de notre imageur à 7 Tesla. Alors que la plupart des systèmes IRM cliniques n’utilisent qu’un seul canal d’émission, l’extension pTX permet de jouer différentes formes d’impulsions RF de concert. La somme résultante de ces interférences doit alors être optimisée pour atténuer la non-uniformité observée classiquement. L’objectif de cette thèse est donc de synthétiser ce type d’impulsions, en utilisant la pTX. Ces impulsions auront pour contrainte supplémentaire le respect des limitations internationales concernant l'exposition à des champs radiofréquence, qui induit une hausse de température dans les tissus. En ce sens, de nombreuses simulations électromagnétiques et de températures ont été réalisées en introduction de cette thèse, afin d’évaluer la relation entre les seuils recommandés d’exposition RF et l’élévation de température prédite dans les tissus. Cette thèse porte plus spécifiquement sur la conception de l’ensemble des impulsions RF refocalisantes utilisées dans des séquences IRM non-sélectives, basées sur l’écho de spin. Dans un premier temps, seule une impulsion RF a été générée, pour une application simple : l’inversion du déphasage des spins dans le plan transverse. Dans un deuxième temps, sont considérées les séquences à long train d’échos de refocalisation appliquées à l’in vivo. Ici, l’opérateur mathématique agissant sur la magnétisation, et non pas son état final comme il est fait classiquement, est optimisé. Le gain en imagerie à très haut champ est clairement visible puisque les opérations mathématiques (la rotation des spins) voulues sont réalisées avec plus de fidélité que dans le cadre des méthodes de l’état de l’art. Pour cela, la génération de ces impulsions RF combine une méthode d’excitation des spins avec navigation dans l’espace de Fourier, les kT-points, et un algorithme d’optimisation, appelé Gradient Ascent Pulse Engineering (GRAPE), utilisant le contrôle optimal. Cette conception est rapide grâce à des calculs analytiques plus directs que des méthodes de différences finies. La prise en compte d’un grand nombre de paramètres nécessite l’usage de GPUs (Graphics Processing Units) pour atteindre des temps de calcul compatibles avec un examen clinique. Cette méthode de conception d’impulsions RF a été validée expérimentalement sur l’imageur 7 Tesla de NeuroSpin, sur une cohorte de volontaires sains
In Magnetic Resonance Imaging (MRI), the increase of the static magnetic field strength is used to provide in theory a higher signal-to-noise ratio, thereby improving the overall image quality. The purpose of ultra-high-field MRI is to achieve a spatial image resolution sufficiently high to be able to distinguish structures so fine that they are currently impossible to view in a non-invasive manner. However, at such static magnetic fields strengths, the wavelength of the electromagnetic waves sent to flip the water proton spins is of the same order of magnitude than the scanned object. Interference wave phenomena are then observed, which are caused by the radiofrequency (RF) field inhomogeneity within the object. These generate signal and/or contrast artifacts in MR images, making their exploitation difficult, if not impossible, in certain areas of the body. It is therefore crucial to provide solutions to mitigate the non-uniformity of the spins excitation. Failing this, these imaging systems with very high fields will not reach their full potential.For relevant high field clinical diagnosis, it is therefore necessary to create RF pulses homogenizing the excitation of all spins (here of the human brain), and optimized for each individual to be imaged. For this, an 8-channel parallel transmission system (pTX) was installed in our 7 Tesla scanner. While most clinical MRI systems only use a single transmission channel, the pTX extension allows to simultaneously playing various forms of RF pulses on all channels. The resulting sum of the interference must be optimized in order to reduce the non-uniformity typically seen.The objective of this thesis is to synthesize this type of tailored RF pulses, using parallel transmission. These pulses will have as an additional constraint the compliance with the international exposure limits for radiofrequency exposure, which induces a temperature rise in the tissue. In this sense, many electromagnetic and temperature simulations were carried out as an introduction of this thesis, in order to assess the relationship between the recommended RF exposure limits and the temperature rise actually predicted in tissues.This thesis focuses specifically on the design of all RF refocusing pulses used in non-selective MRI sequences based on the spin-echo. Initially, only one RF pulse was generated for a simple application: the reversal of spin dephasing in the transverse plane, as part of a classic spin echo sequence. In a second time, sequences with very long refocusing echo train applied to in vivo imaging are considered. In all cases, the mathematical operator acting on the magnetization, and not its final state as is done conventionally, is optimized. The gain in high field imaging is clearly visible, as the necessary mathematical operations (that is to say, the rotation of the spins) are performed with a much greater fidelity than with the methods of the state of the art. For this, the generation of RF pulses is combining a k-space-based spin excitation method, the kT-points, and an optimization algorithm, called Gradient Ascent Pulse Engineering (GRAPE), using optimal control.This design is relatively fast thanks to analytical calculations rather than finite difference methods. The inclusion of a large number of parameters requires the use of GPUs (Graphics Processing Units) to achieve computation times compatible with clinical examinations. This method of designing RF pulses has been experimentally validated successfully on the NeuroSpin 7 Tesla scanner, with a cohort of healthy volunteers. An imaging protocol was developed to assess the image quality improvement using these RF pulses compared to typically used non-optimized RF pulses. All methodological developments made during this thesis have contributed to improve the performance of ultra-high-field MRI in NeuroSpin, while increasing the number of MRI sequences compatible with parallel transmission

Ce travail porte sur l'étude théorique et numérique des splines de Chebyshev. Ces fonctions généralisent les splines polynomiales tout en préservant l'essentiel de leurs propriétés. Elles offrent de plus un intérêt particulier pour le design géométrique grâce aux paramètres de forme qu'elles fournissent. Dans un premier temps, nous étudions les splines basées sur un espace de Chebyshev invariant par translations, et les propriétés de la B-spline correspondante. Dans un deuxième temps, nous montrons, sous certaines hypothèses, que la base des B-splines de Chebyshev est orthonormale dans un espace de Sobolev pondéré par une suite unique de nombres positifs. La meilleure approximation dans l'espace de splines de Chebyshev au sens de la norme associé au produit scalaire précédent est alors un projecteur local. Enfin, pour l'implémentation numérique des résultats précédents, nous utilisons une méthode de quadratures adaptées. Quelques exemples illustrant les effets de forme obtenus sont présentés. Ces résultats généralisent un résultat prouvé récemment par Ulrich Reif dans le cas particulier des splines polynomiales.

La thèse se concentre sur une recherche méthodologique sur l'optimisation structurelle catégorielle au moyen d'un apprentissage multiple. Dans cette thèse, les variables catégorielles non ordinales sont traitées comme des variables discrètes multidimensionnelles. Afin de réduire la dimensionnalité, les nombreuses techniques d'apprentissage sont introduites pour trouver la dimensionnalité intrinsèque et mapper l'espace de conception d'origine sur un espace d'ordre réduit. Les mécanismes des techniques d'apprentissage à la fois linéaires et non linéaires sont d'abord étudiés. Ensuite, des exemples numériques sont testés pour comparer les performances de nombreuses techniques d’apprentissage. Sur la base de la représentation d'ordre réduit obtenue par Isomap, les opérateurs de mutation et de croisement évolutifs basés sur les graphes sont proposés pour traiter des problèmes d'optimisation structurelle catégoriels, notamment la conception du dôme, du cadre rigide de six étages et des structures en forme de dame. Ensuite, la méthode de recherche continue consistant à déplacer des asymptotes est exécutée et fournit une solution compétitive, mais inadmissible, en quelques rares itérations. Ensuite, lors de la deuxième étape, une stratégie de recherche discrète est proposée pour rechercher de meilleures solutions basées sur la recherche de voisins. Afin de traiter le cas dans lequel les instances de conception catégorielles sont réparties sur plusieurs variétés, nous proposons une méthode d'apprentissage des variétés k-variétés basée sur l'analyse en composantes principales pondérées
The thesis concentrates on a methodological research on categorical structural optimizationby means of manifold learning. The main difficulty of handling the categorical optimization problems lies in the description of the categorical variables: they are presented in a category and do not have any orders. Thus the treatment of the design space is a key issue. In this thesis, the non-ordinal categorical variables are treated as multi-dimensional discrete variables, thus the dimensionality of corresponding design space becomes high. In order to reduce the dimensionality, the manifold learning techniques are introduced to find the intrinsic dimensionality and map the original design space to a reduced-order space. The mechanisms of both linear and non-linear manifold learning techniques are firstly studied. Then numerical examples are tested to compare the performance of manifold learning techniques mentioned above. It is found that the PCA and MDS can only deal with linear or globally approximately linear cases. Isomap preserves the geodesic distances for non-linear manifold however, its time consuming is the most. LLE preserves the neighbour weights and can yield good results in a short time. KPCA works like a non-linear classifier and we proves why it cannot preserve distances or angles in some cases. Based on the reduced-order representation obtained by Isomap, the graph-based evolutionary crossover and mutation operators are proposed to deal with categorical structural optimization problems, including the design of dome, six-story rigid frame and dame-like structures. The results show that the proposed graph-based evolutionary approach constructed on the reduced-order space performs more efficiently than traditional methods including simplex approach or evolutionary approach without reduced-order space. In chapter 5, the LLE is applied to reduce the data dimensionality and a polynomial interpolation helps to construct the responding surface from lower dimensional representation to original data. Then the continuous search method of moving asymptotes is executed and yields a competitively good but inadmissible solution within only a few of iteration numbers. Then in the second stage, a discrete search strategy is proposed to find out better solutions based on a neighbour search. The ten-bar truss and dome structural design problems are tested to show the validity of the method. In the end, this method is compared to the Simulated Annealing algorithm and Covariance Matrix Adaptation Evolutionary Strategy, showing its better optimization efficiency. In chapter 6, in order to deal with the case in which the categorical design instances are distributed on several manifolds, we propose a k-manifolds learning method based on the Weighted Principal Component Analysis. And the obtained manifolds are integrated in the lower dimensional design space. Then the method introduced in chapter 4 is applied to solve the ten-bar truss, the dome and the dame-like structural design problems

Dans le cadre de cette thèse, nous nous sommes intéressés à la conception des systèmes complexes autonomes opérant dans un environnement dynamique et incertain. Nous expliquons que la conduite des systèmes de culture d'une exploitation agricole est un problème multi-échelles spatiales et temporelles. La structure de l'exploitation étant fixée, elle intègre trois types de décision qui sont: l'allocation des cultures (à long terme), choix du mode de conduite des cultures, les itinéraires technique (à moyen terme) et l'ordonnancement des opérations agricoles journalières (à court terme). Ces problèmes de décision étant de nature différente, nous avons développé pour chacun d'eux des méthodes de planification spécifiques. Nous proposons d'aborder l'allocation des cultures comme un problème de satisfaction de contraintes pondérées où l'utilité de l'allocation est évaluée par une fonction de coût globale. Les modes de conduite des cultures étant prédéfinis, nous utilisons une approche de planification temporelle et hiérarchique dans laquelle l'heuristique de décomposition est une fonction globale permettant ainsi, de prendre en compte les interdépendances entre les effets de chaque mode de conduite. Enfin, l'approche que nous proposons pour l'ordonnancement des opérations agricoles est basée sur un modèle de programmation linéaire. Pour appréhender ces différents problèmes de décision, nous proposons une architecture systémique nommée "Safihr". Celle-ci est capable de prendre en compte l'entrelacement en ligne de plusieurs planificateurs spécifiques. Cette architecture repose sur le cadre des systèmes à événements discrets (DEVS). L'agent agriculteur est vu comme un système hiérarchique, dynamique et distribué en interaction avec son environnement physique. Chacun des planificateurs est vu comme un système de contrôle indépendant. "Safihr" intègre les mécanismes permettant de faire coopérer différents planificateurs au sein d'un même système
In this work, we address the challenge of the development of autonomous complex systems operating in a dynamic and uncertain environment. We only consider a farm with a cropping system and a determined structure. We explain that decision-making in farming systems is a complex issue in which decisions are joined up, through various spatial and scales. These decisions are usually grouped in three classes: strategic, tactical and operational decisions. Strategic decisions are long-term planning problems in which, knowing biophysical and structural constraints, crops are assigned to plots over a fixed horizon. Tactical decisions are mid-term planning problems in which, knowing crops to be grown, a crop management systems is assigned to each pair of plot and crop. Finally, operational decisions are short-term scheduling problems that could be summarized as scheduling daily farm operations to timely control crop production processes. Considering, the inherent feature of these decision-making problems, we developed for each of them a specific planning technique. Strategic decisions are address as a Weighted Constraint Satisfaction Problem in which the relevance of crops allocation is assessed by a global objective function. Tactical decisions are address as hierarchical and temporal planning problems, based on Hierarchical Tasks Networks and Simple Temporal Network. We introduced a new decomposition heuristic into HTN framework which enables to take into account the interdependence between crops production techniques. Finally, we proposed to tackle operational decisions by using linear programming techniques. To interleave these decision-making problems, we introduce a new modular architecture call Safihr "Simulation based Architecture For Interleaving Heterogeneous decisions in Real world problems". The proposed architecture is a model-based approach relying on Discrete EVent System specification formalism

L'objet de cette thèse est d'établir un cadre d'analyse des données recueillies sur les véhicules en vue de les mettre en correspondance avec des comportements. Pour cela, nous avons défini le modèle Semi-Markovien caché pondéré pour modéliser les signaux issus des capteurs et établi des résultats théoriques sur les modèles de régressions multi-phasiques dans le cas linéaire et nonlinéaire. Puis, nous avons établi une méthodologie d'analyse de l'activité basée sur un apprentissage semi-automatique, et structurée par les résultats des modèles cognitifs du conducteur. Pour valider cette méthodologie, nous avons effectué une expérimentation où furent enregistrées 1209 séquences de conduite. Ces données nous ont permis d'implémenter des modèles de Markov cachées décrivant l'évolution des capteurs associés à des situations de conduite caractérisées par l'objectif, l'infrastructure perçue par le conducteur et la vitesse initiale. Les modèles générés nous permettent dès lors de catégoriser, avec un taux satisfaisant, à quelle situation ou à quel groupe de situation appartient une séquence inconnue. Par ailleurs, nous illustrons l'utilité des modèles markoviens conjugués aux modèles multi-phasiques pour la recherche automatique de situation dans un ensemble de données. Mot clés libres: modèle Semi-Markovien cachés pondéré, modèles multi-phasiques, apprentissage semi-automatique, catégorisation du comportement du conducteur, analyse de l'activité de conduite analyse hiérarchique

Nous étudions quatre problèmes d'ordonnancement sur machines parallèles. Ces quatre problèmes diffèrent par le critère que l'on cherche à minimiser : la somme des dates de fin, la somme pondérée des dates de fin, le retard total ou le retard total pondéré. Les jobs à ordonnancer sout soumis à des dates de disponibilité. Nous avons proposé pour ces quatres problèmes plusieurs règles de dominance. Une étude des bornes
inférieures a également été réalisée. Enfin, nous avons proposé une méthode de résolution exacte utilisant les règles de dominance ainsi que les bornes inférieures.

Le risque attribuable (RA) mesure la proportion de cas de maladie qui peuvent être attribués à une exposition au niveau de la population. Plusieurs définitions et méthodes d'estimation du RA ont été proposées pour des données de survie. En utilisant des simulations, nous comparons quatre méthodes d'estimation du RA dans le contexte de l'analyse de survie : deux méthodes non paramétriques basées sur l'estimateur de Kaplan-Meier, une méthode semi-paramétrique basée sur le modèle de Cox à risques proportionnels et une méthode paramétrique basée sur un modèle à risques proportionnels avec un risque de base constant par morceaux. Nos travaux suggèrent d'utiliser les approches semi-paramétrique et paramétrique pour l'estimation du RA lorsque l'hypothèse des risques proportionnels est vérifiée. Nous appliquons nos méthodes aux données de la cohorte E3N pour estimer la proportion de cas de cancer du sein invasif attribuables à l'utilisation de traitements hormonaux de la ménopause (THM). Nous estimons qu'environ 9 % des cas de cancer du sein sont attribuables à l'utilisation des THM à l'inclusion. Dans le cas d'une exposition protectrice, une alternative au RA est la fraction préventive (FP) qui mesure la proportion de cas de maladie évités. Cette mesure n'a pas été considérée dans le contexte de l'analyse de survie. Nous proposons une définition de la FP dans ce contexte et des méthodes d'estimation en utilisant des approches semi-paramétrique et paramétrique avec une extension permettant de prendre en compte les risques concurrents. L'application aux données de la cohorte des Trois Cités (3C) estime qu'environ 9 % de cas d'accident vasculaire cérébral peuvent être évités chez les personnes âgées par l'utilisation des hypolipémiants. Notre étude montre que la FP peut être utilisée pour évaluer l'impact des médicaments bénéfiques dans les études de cohorte tout en tenant compte des facteurs de confusion potentiels et des risques concurrents
The attributable risk (AR) measures the proportion of disease cases that can be attributed to an exposure in the population. Several definitions and estimation methods have been proposed for survival data. Using simulations, we compared four methods for estimating AR defined in terms of survival functions: two nonparametric methods based on Kaplan-Meier's estimator, one semiparametric based on Cox's model, and one parametric based on the piecewise constant hazards model. Our results suggest to use the semiparametric or parametric approaches to estimate AR if the proportional hazards assumption appears appropriate. These methods were applied to the E3N women cohort data to estimate the AR of breast cancer due to menopausal hormone therapy (MHT). We showed that about 9% of cases of breast cancer were attributable to MHT use at baseline. In case of a protective exposure, an alternative to the AR is the prevented fraction (PF) which measures the proportion of disease cases that could be avoided in the presence of a protective exposure in the population. The definition and estimation of PF have never been considered for cohort studies in the survival analysis context. We defined the PF in cohort studies with survival data and proposed two estimation methods: a semiparametric method based on Cox’s proportional hazards model and a parametric method based on a piecewise constant hazards model with an extension to competing risks. Using data of the Three-City (3C) cohort study, we found that approximately 9% of cases of stroke could be avoided using lipid-lowering drugs (statins or fibrates) in the elderly population. Our study shows that the PF can be estimated to evaluate the impact of beneficial drugs in observational cohort studies while taking potential confounding factors and competing risks into account