Literatura académica sobre el tema "Technique de cohérence"

Une etude systematique des proprietes statistiques du speckle en imagerie coherente est developpee en separant, dans le plan image, les contributions de la reponse impulsionnelle et du processus de diffusion. Le contraste d'une figure de speckle completement developpe est toujours compris entre l'unite et la racine carree de 2. Un objet produisant un contraste egal a la racine carree de 2 a ete construit experimentalemment par holographie synthetique. L'importance de la reponse impulsionnelle est mise en evidence: lorsque la pupille du systeme est suffisamment translatee dans son plan, le contraste devient egal a l'unite quel que soit le processus de diffusion. Cette etude a egalement permis de montrer que le rapport entre l'image moyenne coherente et l'image obtenue en eclairage spatialement incoherent permet de mesurer les variations spatiales de la rugosite de l'objet. Enfin, un essai de filtrage morphologique du speckle des images radar est presente dans le cadre de la theorie de filtres alternes sequentiels. Une methode specifique au cas du speckle est proposee pour l'evaluation de la qualite du filtrage

La spécificité du discours de Pío Baroja est imputable à son idéologie. La confrontation de deux de ses trilogies, à thématique urbaine et rurale, La Lucha por la vida et Tierra vasca, envisagées dans leurs caractéristiques d'écriture tendrait à le prouver. Une cohérence préméditée semble se dégager de l'incohérence si souvent décriée par la critique. Les procédés textuels et les stratégies narratives mis en œuvre pour organiser, par le biais des marques spatio-temporelles, le microcosme des fictions examinées, présentent des traits fondamentalement communs qui structurent une même vision du monde, celle de l'univers décadent perçu dans ses moindres détails de l’Espagne meurtrie du tournant du siècle qu'il est possible de modifier, selon l'auteur, par l'action individuelle, énergique et volontaire. Mais le travail d'écriture n'en reste pas là. Il modèle aussi la lecture souhaitée et postule le destinataire-type que l'on veut particulièrement viser et contraindre à agir, le madrilène contemporain. Le souci de la bonne recevabilité du message transmis et l'oubli du caractère littéraire de la fiction pour forcer le lecteur à s'investir davantage commande des constantes. Deux livres ont rempli ce contrat: La Busca et Zalacain el aventurero. Ils ont reçu un franc succès à leur sortie et une large diffusion. Certains lecteurs ont pris pour modèle le héros du second. Les autres recueils restent mal perçus ou incompris par leurs lecteurs réels<br>The specificity of Pío Baroja's discourse is imputable to his ideology. The confrontation of two of his trilogies - The Struggle for Life presenting urban themes and Tierra Vasca offering rural ones - seen through their textual characteristics is proof of that. A studied coherence seems to emerge from the mere incoherence so often disparaged by the critics. The literary devices and the narrative strategies - brought into play by the author in order to organize the fictional microcosm through the space-time marks - offer similar features that give a structure to a single and unique vision of the world, that of turn-of-the century Spain’s decadent universe perceived through its most trifling details. According to the author, it is possible to modify this universe through strong, individual, wilful action. But the writer's work does not stop at that point. It shapes the way people are expected to read and postulates the typical recipient who is aimed at and compelled to act, namely the living citizen of Madrid. The author's concern for the absolute clarity of the message conveyed and the refusal to take the literary aspect of the fiction into account in order to force the reader to play a part in the story, lead to some constants. Two books performed this duty: La Busca and Zalacain, the Adventurer. They received great acclaim when first published and were largely diffused. Some readers took the second book's hero as their model. The other books are not yet clearly perceived by their actual readers

Durant le développement de grandes lignes de produits logiciels, un ensemble de techniques d’implémentation traditionnelles, comme l’héritage ou les patrons de conception, est utilisé pour implémenter la variabilité. La notion de feature, en tant qu’unité réutilisable, n’a alors pas de représentation de première classe dans le code, et un choix inapproprié de techniques entraîne des incohérences entre variabilités du domaine et de l’implémentation. Dans cette thèse, nous étudions la diversité de la majorité des techniques d’implémentation de la variabilité, que nous organisons dans un catalogue étendu. Nous proposons un framework pour capturer et modéliser, de façon fragmentée, dans des modèles techniques de variabilité, la variabilité implémentée par plusieurs techniques combinées. Ces modèles utilisent les points de variation et les variantes, avec leur relation logique et leur moment de résolution, pour abstraire les techniques d’implémentation. Nous montrons comment étendre le framework pour obtenir la traçabilité de feature avec leurs implémentations respectives. De plus, nous fournissons une approche outillée pour vérifier la cohérence de la variabilité implémentée. Notre méthode utilise du slicing pour vérifier partiellement les formules de logique propositionnelles correspondantes aux deux niveaux dans le cas de correspondence 1–m entre ces niveaux. Ceci permet d’obtenir une détection automatique et anticipée des incohérences. Concernant la validation, le framework et la méthode de vérification ont été implémentés en Scala. Ces implémentations ont été appliquées à un vrai système hautement variable et à trois études de cas de lignes de produits<br>When large software product lines are engineered, a combined set of traditional techniques, such as inheritance, or design patterns, is likely to be used for implementing variability. In these techniques, the concept of feature, as a reusable unit, does not have a first-class representation at the implementation level. Further, an inappropriate choice of techniques becomes the source of variability inconsistencies between the domain and the implemented variabilities. In this thesis, we study the diversity of the majority of variability implementation techniques and provide a catalog that covers an enriched set of them. Then, we propose a framework to explicitly capture and model, in a fragmented way, the variability implemented by several combined techniques into technical variability models. These models use variation points and variants, with their logical relation and binding time, to abstract the implementation techniques. We show how to extend the framework to trace features with their respective implementation. In addition, we use this framework and provide a tooled approach to check the consistency of the implemented variability. Our method uses slicing to partially check the corresponding propositional formulas at the domain and implementation levels in case of 1–to–m mapping. It offers an early and automatic detection of inconsistencies. As validation, we report on the implementation in Scala of the framework as an internal domain specific language, and of the consistency checking method. These implementations have been applied on a real feature-rich system and on three product line case studies, showing the feasibility of the proposed contributions

La recherche que nous allons entamer procèdera en deux étapes: l'une relevant de la linguistique textuelle vise à observer comment un discours spécialisé, le cas du discours à thème agronomique, construit sa cohérence pour expliquer et transmettre des connaissances scientifiques, et ceci en partant de l'hypothèse qu'il existe des procédés spécifiques constituant la cohérence et la clarté de l'explication scientifique en français; l'autre, relevant de la didactique du français sur objectifs spécifiques (notamment à l'écrit), étudiera l'appropriation de ces traits de cohérence par nos apprenants dans leur production de documents scientifiques, en partant de l'hypothèse que le dysfonctionnement textuel rencontré par les apprenants vietnamiens dans leur rédaction scientifique provient en grande partie de la prise en compte insuffisante des phénomènes de cohérence détectés. Par ailleurs, en mettant ces observations en relation avec la langue vietnamienne, nous voudrions également vérifier l'hypothèse que nous avons avancée au début de notre recherche: le vietnamien scientifique ne dispose pas des mêmes procédés linguistiques que le français dans la construction de sa cohérence textuelle et des interférences venant des habitudes langagières en langue maternelle constituent un blocage pour les étudiants à l'acquisition des phénomènes de cohérence textuelle spécifiques au français<br>Two main steps are conducted in this research. The first one, in Textlinguistics, starts from the hypothesis that there are specific processes that constitute the coherence and clarity of scientific explanations in French. Textual analysis aims to observe how a specialized speech (i. E. , agronomic subject) constructs its coherence so as to explain and transmit scientific knowledge. The second step starting from the hypothesis that textual dysfunction, specifically coherence problems, faced by Vietnamese students in their academic compositions aims to answer the questions in terms of didactics of French for specific purposes (as writing). In this step, we study the appropriateness of French coherence links used by Vietnamese students in their writings of scientific documents. Also in this research, by comparing Vietnamese and French, we would like to check the hypothesis we made at the beginning of our research: Scientific Vietnamese language does not set the same linguistic process as French does in constructing textual coherence, stemming from that language habit in the mother tongue constitutes a block for students in acquiring specific textual coherence in French

Depuis les travaux de Townsend (1956), il est désormais largement admis qu'un mouvement organisé persiste dans la majorité écoulements cisaillés. Suivant la proposition de Townsend, Reynolds & Hussain (1972) apportent la première démarche analytique en développant, entre autres, les bilans énergétiques en "un point" du mouvement organisé et aléatoire. Cependant, un minimum de deux points est nécessaire afin de définir une échelle et décrire les processus énergétiques à chaque échelle. Pour cette raison, les équations de transport des statistiques en deux points furent initialement considérées par Taylor, Kármán & Howarth, Kolmogorov ou Yaglom. Ces derniers postulent que pour des Reynolds infinis, il existe une échelle où l'influence des structures cohérentes disparaît. Or, les nombres de Reynolds rencontrés en laboratoire ne sont pas suffisamment grands pour qu'une telle supposition soit avérée. La contribution énergétique du mouvement cohérent doit alors être dissociée du reste du champ fluctuant. Le premier objectif de cette thèse est d'affiner les théories existantes en proposant les bilans énergétiques en "deux points" prenant en considération le mouvement cohérent. Puis, à partir de diverses méthodes expérimentales mises en place au CORIA et de données issues d'une collaboration avec l'Université de Newcastle (Australie), l'écoulement de sillage est exploré. Les théories statistiques sont alors utilisées comme outil, afin de décrire l'écoulement avec un degré de complexité croissant. Les attentions se portent sur les interactions cohérence - turbulence, en termes de transport, de contribution énergétique ou de transfert d'énergie au sein de la cascade.

Ce mémoire de thèse s'intéresse à la conception de systèmes temps-réel en s'appuyant sur la méthode formelle RT-Lotos, extension temporelle à l'algèbre de processus Lotos. Il aborde plusieurs points relatifs à la spécification, la validation et l'ordonnancement de systèmes concurrents sujets à des contraintes logiques et temporelles. La première partie propose un éventail de méthodes formelles pour la spécification et la validation de systèmes temps-réel. Elle présente également le langage RT-Lotos et la technique de vérification formelle associée basée sur une analyse d'accessibilité. Elle détaille finalement un ensemble de travaux concernant l'automate temporisé (appelé un DTA) dérivé d'une spécification RT-Lotos, avec comme objectifs d'exécuter des simulations rapides, et de s'interfacer avec des outils de vérification de type model-checker. La deuxième partie présente une étude sur la notion de cohérence temporelle et propose une technique ainsi qu'un modèle formel pour exploiter sous un nouvel angle des informations issues de la vérification formelle par analyse d'accessibilité. Cette approche propose de raffiner le graphe des régions, d'en élaguer certaines branches jugées non souhaitables, d'extraire les dates de tir possible des actions, et de présenter ces informations sous la forme d'un nouveau type d'automate temporisé (appelé un TLSA) ayant pour vocation l'ordonnancement dans le temps des actions d'un système. Enfin, la troisième partie se penche sur les liens possibles entre méthodes formelles et semi-formelles. Dans ce cadre, nous proposons une sémantique formelle pour les diagrammes UML s'appuyant sur RT-Lotos, après avoir défini une extension temps-réel à UML (appelée TURTLE). Ainsi, nous définissons une méthodologie qui s'inscrit dans les techniques de développement industriel classiques et qui permet une vérification formelle de systèmes temps-réel.

Le développement de sources lasers monomodes et accordables constitue un enjeu important dans plusieurs domaines en fort développement telle que la métrologie, les senseurs optiques, la spectroscopie, le traitement optique de l'information ou la médecine. Dans cette thèse nous faisons le point sur les limites des technologies actuelles, puis nous montrons comment les surpasser à travers la conception et l'étude physique de lasers à semiconducteur de haute cohérence émettant dans l'infrarouge. Nous nous intéressons particulièrement aux VECSEL dans le but d'obtenir un fonctionnement monofréquence accordables et robustes. Nous traitons de la conception et de la caractérisation de ces lasers, depuis l'optimisation du milieu à gain jusqu'à l'élaboration de prototypes laser fonctionnels. Nous effectuons ensuite une étude approfondie des propriétés physiques de la source. Les différents sujets abordés traitent de nombreux aspects de l'optoélectronique tels que la physique du solide, l'optique traditionnelle et quantique, la technologie des matériaux, la thermique, ect. Les travaux présentés ici ouvrent la voie à de nombreux développements liés aux VECSEL et à leurs applications.

Nous montrons, en utilisant la notion de systeme topologisant et idempotent d'ideaux due a gabriel, qu'il existe une decomposition primaire reduite et unique des modules sur les anneaux semi-artiniens. Nous utilisons les methodes de l'algebre non-commutative "classique" (travaux de lesieur, passman, renault) pour obtenir des conditions necessaires et/ou suffisantes sur un anneau a et un groupe g pour que l'anneau de groupe a(g) soit coherent et/ou semi-artinien. Nous proposons une definition des modules coplats comme limite projective de modules injectifs de type cofini au sens de vamos, nous en donnons les proprietes elementaires et montrons que, si l'anneau de base est classique alors les modules coplats sont injectifs et lineairement compacts. Nous etudions ensuite le probleme de la conservation de la platitude, de l'injectivite, de la pur-injectivite, de la fp-injectivite et de la cotorsion des modules par passage a la limite projective. En utilisant les resultats de jensen et roos sur le calcul des foncteurs derives de la limite projective, nous donnons, lorsque l'anneau est coherent et le systeme projectif flasque et indexe sur n, de nombreux cas de conservation de ces proprietes. De plus, lorsque l'anneau est principal integre, des cas de conservation de l'injectivite des modules sont donnes pour les systemes projectifs quelconques. Enfin, l'etude des cas d'annulation du foncteur limite projective etant fortement liee a celle de la dimension pure-globale des anneaux (travaux de jensen et gruson), nous calculons celle d'anneaux commutatifs utiles: produits directs d'anneaux noetheriens et limites inductives d'anneaux et nous en deduisons des exemples d'anneaux pur-hereditaires de grand cardinal