La graine de lin extrudée (GLE), riche en acide α-linolénique, est un aliment utilisé en élevage bovin laitier pour modifier la composition en acides gras du lait vers un profil nutritionnel favorable à la santé humaine. Cependant, l’effet de la graine de lin sur les animaux est peu documenté. L’objectif était d’évaluer les effets de l’utilisation de la GLE sur les performances animales en élevage bovin laitier, puis d’en estimer les conséquences économiques au niveau de l’exploitation bovine laitière. Une méta-analyse (21 essais expérimentaux) a permis de caractériser la variabilité des performances laitières en conditions expérimentales selon la quantité de GLE et la ration associée. Une étude épidémiologique exposé/non exposé menée dans 1204 élevages sur 194056 vaches a montré une association entre la quantité de GLE et la production laitière (+ 0.4 à +1,3 kg/j) et les taux de matières utiles (-0,03 à -0,20 g/kg de TP et -0,1 à -0,9 g/kg de TB). D’autres associations ont été mises en évidence : amélioration de la fécondité et de la guérison des infections intra-mammaires. Enfin, par simulation, nous avons montré qu’un éleveur produisant un lait de meilleure qualité nutritionnelle via l’utilisation de la GLE dans les conditions d’utilisation de terrain était récompensé par un gain de marge de son atelier laitier via des effets zootechniques positifs malgré le surcoût alimentaire engendré. / Extruded linseed (EL), rich in α-linolenic acid, is a feed used in dairy cattle nutrition in order to modify milk fatty acid profile in a way to potentially improve human health. However, effects of EL on dairy cow performance are little documented. The objective was to assess the effects of EL supplementation on animal performance, then to estimate the economic consequences at a farm level. A meta-analysis (21 experimental trials) allowed us to characterize the variability of animal responses related to the quantity of EL and the basal diet composition. A cohort study performed on 1204 herds and 194056 cows displayed an association between quantity of EL and milk yield (+ 0.4 à +1,3 kg/d), and milk contents (-0,03 to -0,20 g/kg MPC and -0,1 to -0,9 g/kg MFC). Other beneficial associations were highlighted: a decrease in number of days open and a better probability to cure of intramammary infections. Finally, we demonstrated that a farmer willing to modify the fatty acid composition of the milk to improve human health face higher feed costs but can be rewarded by better animal performance that increase profitability of the farm.

Submitted by Jorge Silva (jorgelmsilva@ufrrj.br) on 2018-09-06T19:08:24Z No. of bitstreams: 1 2017 - Gisele Santos Chagas.pdf: 1542495 bytes, checksum: 1844e5bb2c0e0333355f11f502baf6ab (MD5) / Made available in DSpace on 2018-09-06T19:08:24Z (GMT). No. of bitstreams: 1 2017 - Gisele Santos Chagas.pdf: 1542495 bytes, checksum: 1844e5bb2c0e0333355f11f502baf6ab (MD5) Previous issue date: 2017-08-21 / This work is aimed to present narratives of the Guidance Counsellors of the Municipal school network in the city of S?o Jo?o de Meriti. The idea is to promote a discussion that takes into consideration the individual experiences that enable viewing of the aspects that constitute the profession and fields of work. Who are these professionals? How do they see themselves? What do they think about their background? How do they realize themselves immersed in a constantly changing society? And, how are their performances represented? The motivation to the studying and developing of this research derived from the concern that aims to socialize performances and actions developed in this area and its collaboration in the current scenario. What paths to choose? How is the Educational Advising area according to its coverage, demand and offering aspects in the researched school unit? We intend, with this dissertation, to contribute to the characterization of the Guidance Counsellor performance in the perspective of his professionals. The text is divided into a set of the analyses of the expectations and living experiences of the Guidance Counsellor; in the investigation of the critical-reflection of his performance and its contribution in the school space. The narratives derived from encounters where stories were told. A qualitative research was made with a social-historical-cultural focus under a dialogic perspective, that counts on the ?meeting? as the methodology, having as methodological-theoretical reference the well known author Mikhail Bakhtin. / Este trabalho tem por objetivo apresentar narrativas de Orientadores Educacionais da Rede Municipal de Ensino da Cidade de S?o Jo?o de Meriti. A ideia ? promover uma discuss?o que leve em considera??o as experi?ncias individuais que d?o visibilidade aos aspectos que constituem a profiss?o e o campo de atua??o. Quem s?o esses profissionais? Como se veem? Como pensam sua forma??o? Como se percebem imersos em uma sociedade em constante modifica??o? E, como suas pr?ticas se constituem? A motiva??o para estudo e desenvolvimento da pesquisa nasceu da preocupa??o em socializar pr?ticas e a??es desenvolvidas na ?rea em quest?o e sua colabora??o no cen?rio atual. Que caminhos trilhar? Como se encontra a Orienta??o Educacional segundo seus aspectos de abrang?ncia, demanda e oferta nas unidades escolares na rede de ensino pesquisada? Pretendemos, com essa disserta??o, contribuir para caracterizar a atua??o do Orientador Educacional na perspectiva de seus profissionais. O texto desdobra-se na an?lise das expectativas e viv?ncias do Orientador Educacional; na investiga??o sobre a reflex?o-cr?tica da pr?tica e na sua contribui??o no espa?o escolar. As narrativas decorreram de encontros onde suas hist?rias foram contadas. Foi desenvolvida uma pesquisa qualitativa com enfoque s?cio-hist?rico-cultural sob a perspectiva dial?gica, que conta com o ?encontro? como metodologia, tendo como referencial te?rico-metodol?gico o autor Mikhail Bakhtin.

La validation des systèmes est un des aspects critiques dans les phases de développement. Cette validation est d'autant plus importante pour les systèmes embarqués, dont le fonctionnement doit être autonome, mais aussi contraint par des limitations physiques et techniques. Avec la complexification des systèmes embarqués ces dernières années, l'applications de méthodes de validation durant le développement devient trop couteux, et la mise en place de mécanismes de vérification post-conception est nécessaire. L'utilisation de traces d'exécution, permettant de capturer le comportement du système lors de son exécution, se révèle efficace pour la compréhension et la validation des systèmes observés. Cependant, les outils d'exploitation de traces actuels se confrontent à deux défis majeurs, à savoir, la gestion de traces pouvant atteindre des tailles considérables, et l'extraction de mesures pertinentes à partir des informations bas-niveau contenues dans ces traces. Dans cette thèse, faite dans le cadre du projet FUI SoC-TRACE, nous présentons trois contributions. La première concerne la définition d'un format générique pour la représentation des traces d'exécution, enrichi en sémantique. La seconde concerne une infrastructure d'analyse utilisant des mécanismes de workflow permettant l'analyse générique et automatique de traces d'exécution. Cette infrastructure répond au problème de gestion des traces de tailles considérables textit{via} des mécanismes de streaming, permet la création d'analyses modulaires et configurables, ainsi qu'un enchainement automatique des traitements. Notre troisième contribution propose une méthode générique pour l'analyse de performances de systèmes Linux. Cette contribution propose à la fois la méthode et les outils de collecte de traces, mais aussi le workflow permettant d'obtenir des profils unifiés pour les traces capturées. La validation de nos propositions ont été faites d'une part sur des traces issues de cas d'usages proposés par STMicroelectronics, partenaire du projet, et d'autre part sur des traces issues de programmes de benchmarks. L'utilisation d'un format enrichi en sémantique a permis de mettre en évidence des anomalies d'exécutions, et ce de manière semi-automatique. L'utilisation de mécanismes de streaming au sein de notre infrastructure nous a permis de traiter des traces de plusieurs centaines de gigaoctets. Enfin, notre méthode d'analyse générique nous a permis de mettre en évidence, de manière automatique et sans connaissances a priori des programmes, le fonctionnement interne de ces différents benchmarks. La généricité de nos solutions a permis d'observer le comportement de programmes similaires sur des plates-formes et des architectures différentes, et d'en montrer leur impact sur les exécutions. / Validation process is a critical aspect of systems development. This process is a major concern for embedded systems, to assess their autonomous behavior, led by technical and physical constraints. The growth of embedded systems complexity during last years prevents the use of complex and costly development processes such as formal methods. Thus, post-conception validations must be applied. Execution traces are effective for validation and understanding as they allow the capture of systems behavior during their executions. However, trace analysis tools face two major challenges. First, the management of huge execution traces. Second, the ability to retrieve relevant metrics, from the low-level information the trace contains. This thesis was done as part of the SoC-TRACE projet, and presents three contributions. Our first contribution is a definition of a generic execution trace format that expresses semantics. Our second contribution is a workflow-based infrastructure for generic and automatic trace analysis. This infrastructure addresses the problem of huge traces management using streaming mechanisms. It allows modular and configurable analyses, as well as automatic analyses execution. Our third contribution is about the definition of a generic performance analyses for Linux systems. This contribution provides methods and tools for trace recording, and also analysis workflow to obtain unified performance profiles. We validate our contributions on traces from use cases given by STMicroelectronics, partner of the project, and also on traces recorded from benchmarks executions. Our trace format with semantics allowed us to automatically bring out execution problems. Using streaming mechanisms, we have been able to analyze traces that can reach several hundreds of gigabytes. Our generic analysis method for systems let us to automatically highlight, without any prior knowledge, internal behavior of benchmark programs. Our generic solutions point out a similar execution behavior of benchmarks on different machines and architectures, and showed their impact on the execution.

Dans cette thèse, nous nous intéressons à l’amélioration des performances numériques dela méthode Galerkin Discontinu en Domaine Temporel (GDDT), afin de valoriser son emploi industrielpour des problèmes de propagation d’ondes électromagnétiques. Pour ce faire, nous cherchons à réduire lenombre d’éléments des maillages utilisés en appliquant une stratégie de h-déraffinement/p-enrichissement.Dans un premier temps, nous montrons que si ce type de stratégie permet d’améliorer significativementl’efficacité numérique des résolutions dans un cadre conforme, son extension aux maillages non-conformespeut s’accompagner de contre-performances rédhibitoires limitant fortement leur intérêt pratique. Aprèsavoir identifié que ces dernières sont causées par le traitement des termes de flux non-conformes, nousproposons une méthode originale de condensation afin de retrouver des performances avantageuses. Cellecise base sur une redéfinition des flux non-conformes à partir d’un opérateur de reconstruction de traces,permettant de recréer une conformité d’espaces, et d’un produit scalaire condensé, assurant un calculapproché efficace. La stabilité et la consistance du schéma GDDT ainsi défini sont établies sous certainesconditions portant sur ces deux quantités. Dans un deuxième temps, nous détaillons la construction desopérateurs de trace et des produits scalaires associés. Nous proposons alors des flux condensés pourplusieurs configurations non-conformes, et validons numériquement la convergence du schéma GDDT résultant.Puis, nous cherchons à concevoir un algorithme de h-déraffinement/p-enrichissement automatisé,dans le but de générer des maillages hp minimisant les coûts de calcul du schéma. Ce processus est traduitsous la forme d’un problème d’optimisation combinatoire sous plusieurs contraintes de natures trèsdiverses. Nous présentons alors un algorithme de post-maillage basé sur un parcours efficace de l’arbrede recherche des configurations admissibles, associé à un processus de déraffinement hiérarchique. Enfin,nous mettons en œuvre la chaîne de calcul développée sur plusieurs cas-tests d’intérêt industriel, etévaluons son apport en termes de performances numériques. / This thesis is devoted to improving the numerical efficiency of the Discontinuous Galerkinin Time Domain (DGDT) method, in order to enhance its suitability for industrial use. One can noticethat, in an hp-conforming context, increasing correlatively the approximation order and the mesh sizeis a powerful strategy to reduce numerical costs. However, in complex geometries, the mesh can beconstrainted by the presence of small-scale inner elements, leading to hp-nonconforming configurationswith hanging nodes. The first issue we are dealing with is related to the nonconforming fluxes involvedin these configurations, whose high computational costs can deter the use of hp-coarsening strategies.In order to recover a satisfactory performance level, an original flux-lumping technique is set up. Thistechnique relies on recasting hybrid fluxes into conforming ones, and is performed by introducing twoingredients : a reconstruction operator designed to map traces from each side of a nonconforming interfaceinto the same functional space, and a lumped scalar product granting efficient integral computations.The resulting DGTD scheme is then proved to be stable and consistent, under some assumptions on thelatter two elements. Subsequently, we develop a lumped flux construction routine, and show numericalconvergence results on basic hybrid configurations. In a second part, we implement an automated strategyaiming at generating efficient hp-nonconforming meshes, well-suited to the previous DGDT scheme. To doso, a post-meshing process is formalized into a constrained optimization problem. We then put forward aheuristic hp-coarsening algorithm, based on a hierarchical coarsening approach coupled with an efficientsearch over the feasible configuration tree. Lastly, we present several numerical examples related toelectromagnetic wave propagation problems, and evaluate computational cost improvements.

La fusion d'informations est une discipline dont on retrouve des applications dès lors qu'il est nécessaire de regrouper des informations potentiellement imprécises ou incertaines. Initialement réalisée de façon mentale, la fusion d'informations nécessite à présent une mise en œuvre sur un support d'exécution informatisé, dénommé système de fusion, dont les évolutions technologiques ont guidée la répartition des ressources selon des contraintes géographiques, physiques et de sécurité. Cette thèse présente une étude du contrôle des systèmes répartis de fusion d'informations. Elle propose notamment un système de contrôle capable d'adapter l'utilisation des ressources disponibles au processus de fusion (PF) mis en œuvre, assez générique pour permettre l'expression des modèles de fusion basés sur des graphes de flot de données. Cinq tâches de contrôle sont dédiées à l'accomplissement d'un sous-objectif: la recherche d'une répartition des éléments du PF, le déploiement effectif d'un PF sur un ensemble variable de ressources réparties, l'analyse des performances du système, la surveillance du système pour détecter l'ajout de ressources,ou les occurrences d'erreurs et le déclanchement d'une modification de la répartition, soit pour en améliorer les performances, soit pour maintenir l'exécution du processus. L'ensemble du système de contrôle tire profit des ressources réparties par un mécanisme bio-inspiré, dans lequel la place de chaque agent est guidée par sa puissance de calcul. A titre expérimental, un système de fusion d'informations nommé eZFusion, implémentant les tâches de déploiement et d'analyse des performances, a été réalisé sur un réseau de plate-formes OSGI.

Les Propulseurs à Plasma Stationnaire (SPT) sont des moteurs de petites tailles présentant des propriétés intéressantes pour les changements d'orbite basse et les corrections Nord-Sud et Est-Ouest des satellites. Le principe du fonctionnement d'un tel propulseur est basé sur la création d'un plasma hors équilibre stationnaire sous champ magnétique perpendiculaire à l'axe de la décharge qui conduit à la génération d'un faisceau d'ions utilisé pour propulser le satellite. Ce travail est d'autant plus d'actualité qu'un projet français doit permettre le lancement en 2000 du satellite STENTOR avec à son bord des propulseurs de type SPT. Le but de cette thèse est de mieux comprendre les phénomènes physiques se produisant dans les SPT à l'aide de modèles numériques. Un premier aspect a consisté à élaborer un modèle particulaire Monte Carlo capable d'apporter des éclaircissements sur le transport des électrons dans le moteur au travers d'une approche microscopique. Nous avons été conduits, dans un deuxième temps, à nous intéresser aux caractéristiques électriques (oscillations basses fréquences du courant de décharge, évolution du plasma) et aux performances du moteur (poussée, impulsion spécifique et efficacité). Pour cela, nous avons mis au point un modèle unidimensionnel, quasineutre, transitoire, auto-cohérent (approches fluide et hybride) permettant de suivre l'évolution de la décharge dans le canal. En formulant certaines hypothèses simplificatrices, nous avons pu conserver un temps de calcul assez faible pour pouvoir réaliser des études complètes et variées sur l'influence des paramètres extérieurs (débit de gaz injecté, potentiel appliqué, forme et valeur du champ magnétique) sur les caractéristiques du propulseur. Les résultats obtenus sont qualitativement en accord avec les résultats expérimentaux et avec les résultats obtenus à l'aide d'autres modèles.

Dans les établissements de santé, la stérilisation des dispositifs médicaux occupe une place primordiale dans la lutte contre l'infection. On appelle dispositif médical un instrument de chirurgie ou d'exploration utilisé lors d'une intervention ou d'un examen. Dans cette thèse nous étudions et proposons des améliorations de l'organisation de la production de dispositifs médicaux stériles en appliquant au milieu hospitalier des méthodes habituellement utilisées pour évaluer et améliorer les performances de systèmes de production industriels. Nous avons construit un modèle de simulation spécifique représentant le service de stérilisation du Centre Hospitalier Privé Saint Martin de Caen. Nous montrons les améliorations que nous avons pu obtenir en modifiant certains points de l'organisation. Par la suite nous avons cherché à dégager les spécificités des services de stérilisation de plusieurs établissements hospitaliers, dans le but d'effectuer une comparaison des différents types d'organisation et d'identifier les services les plus performants. Cette comparaison, réalisée à partir de données issues d'une enquête menée auprès d'établissements de la région Rhône-Alpes, repose sur des ratios de comparaison, sur la méthode DEA (Data Envelopment Analysis) et sur un modèle générique de simulation que nous avons élaboré. Dans cette thèse, nous proposons également des pistes pour analyser un service de stérilisation générique en utilisant des méthodes analytiques stochastiques. Nous commençons par dresser un état de l'art sur l'utilisation de modèles stochastiques analytiques pour l'analyse de systèmes de production de soins, puis nous étudions la possibilité d'utiliser une méthode analytique pour analyser notre modèle générique d'un service de stérilisation. Une modélisation par réseau de files d'attente du modèle générique est enfin présentée.

Ce mémoire de thèse propose une approche pour l'obtention des bornes des performances temporelles d'une Architecture d'Automatisation en Réseau par preuves itératives de propriétés d'atteignabilité sur un modèle formel de l'architecture. Ces propriétés d'atteignabilité sont définies grâce à un automate observateur temporisé et paramétré, dont les gardes de certaines transitions sont fonction d'un paramètre temporel. A chaque itération, les résultats de preuves permettent de déterminer la valeur de ce paramètre pour la prochaine itération ; un algorithme de recherche par dichotomie assure la convergence des itérations. La mise en œuvre de cette approche sur des architectures de taille non triviale a nécessité le développement d'une méthode d'abstraction qui comporte deux étapes : simplification de la structure et modification des modèles formels des composants figurant dans la structure simplifiée, ceci afin de prendre en compte les phénomènes de concurrence entre requêtes émises par différents composants. Ces contributions formelles et méthodologiques ont été validées expérimentalement par le traitement de plusieurs cas de taille et complexité croissantes, basés sur le protocole Modbus TCP/IP.

Dans les établissements de santé, la stérilisation des dispositifs médicaux occupe une place primordiale dans la lutte contre l'infection. On appelle dispositif médical un instrument de chirurgie ou d'exploration utilisé lors d'une intervention ou d'un examen. Dans cette thèse nous étudions et proposons des améliorations de l'organisation de la production de dispositifs médicaux stériles en appliquant au milieu hospitalier des méthodes habituellement utilisées pour évaluer et améliorer les performances de systèmes de production industriels. Nous avons construit un modèle de simulation spécifique représentant le service de stérilisation du Centre Hospitalier Privé Saint Martin de Caen. Nous montrons les améliorations que nous avons pu obtenir en modifiant certains points de l'organisation. Par la suite nous avons cherché à dégager les spécificités des services de stérilisation de plusieurs établissements hospitaliers, dans le but d'effectuer une comparaison des différents types d'organisation et d'identifier les services les plus performants. Cette comparaison, réalisée à partir de données issues d'une enquête menée auprès d'établissements de la région Rhône-Alpes, repose sur des ratios de comparaison, sur la méthode DEA (Data Envelopment Analysis) et sur un modèle générique de simulation que nous avons élaboré. Dans cette thèse, nous proposons également des pistes pour analyser un service de stérilisation générique en utilisant des méthodes analytiques stochastiques. Nous commençons par dresser un état de l'art sur l'utilisation de modèles stochastiques analytiques pour l'analyse de systèmes de production de soins, puis nous étudions la possibilité d'utiliser une méthode analytique pour analyser notre modèle générique d'un service de stérilisation. Une modélisation par réseau de files d'attente du modèle générique est enfin présentée.

Dans cette thèse, nous proposons un cadre méthodologique en phase de conception préliminaire dans l'industrie automobile, afin de gérer le compromis entre, d'une part, les contraintes d'architecture auxquelles est soumis un sous-système mécanique, et d'autre part une contribution satisfaisante du sous-système à la minimisation du bruit dans l'habitacle véhicule. <br />La méthodologie proposée, nous permet d'engager des négociations entre les architectes de l'automobile et les ingénieurs mécaniciens sur le respect ou le non-respect de contraintes d'architecture d'un sous-système ou d'un organe, ainsi que sur l'atteinte des cibles du cahier des charges en ce qui concerne les performances vibro-acoustiques.<br />Le cadre méthodologique proposé se compose de cinq étapes : (1) la modélisation du problème de conception, comprenant (a) la modélisation des performances vibro-acoustiques et (b) la modélisation des contraintes d'architecture (2) la métamodélisation (approximation mathématique) du problème de conception résultant en utilisant les métamodèles de type kriging, (3) la formulation du problème de conception sous la forme d'un problème d'optimisation multi-objectifs, (4) la génération grâce au métamodèle de la frontière de Pareto de ce problème d'optimisation multi-objectif par la méthode des contraintes normales et normalisées, (5) une étape de négociation entre les contraintes d'architecture et les performances du sous-système mécanique.<br />Pour gérer le problème des contraintes d'architecture, dans la phase de conception préliminaire, nous introduisons une méthode pour exprimer, par un critère dit d'architecture, le respect ou le non-respect des contraintes géométriques. L'originalité de cette méthode consiste dans le fait de migrer l'étape de l'allocation de volumes enveloppes sous un système de CAO vers un système d'IAO plus accessible aux ingénieurs puisque c'est dans ce système qu'ils gèrent leurs modèles éléments finis.<br />Nous introduisons, en outre, une méthode d'agrégation des performances vibro-acoustiques d'un sous-système mécanique en un seul critère (indicateur) à valeur réelle. Cette technique permet une réduction efficace de la dimension importante d'un problème de conception lié à l'étude d'un sous-système mécanique avec des multiples performances vibro-acoustiques.<br />L'application de la méthodologie à un cas d'étude, dans le domaine automobile, a permis de démontrer son efficacité à améliorer sensiblement les performances vibro-acoustiques d'une caisse en blanc (caisse nue d'une automobile) tout en respectant des contraintes d'architecture serrées à cause d'un volume enveloppe alloué au groupe motopropulseur du véhicule.<br />Finalement, avec ce cadre méthodologique, les négociations entre les architectes et les ingénieurs ne sont plus fondées sur des jugements qualitatifs, mais elles sont à présent fondées sur des critères quantitatifs à la fois pour les contraintes d'architecture et les performances mécaniques.