Les systèmes temps réel (STR) sont au coeur de machines souvent jugés critiques pour la sécurité : ils en contrôlent l'exécution afin que celles-ci se comportent de manière sûre dans le contexte d'un environnement dont l'évolution peut être imprévisible. Un STR n'a d'autre alternative que de s'adapter `a son environnement : sa correction dépend des temps de réponses aux stimuli de ce dernier. Il est couramment admis que le formalisme des réseaux de Petri temporels (RdPT) est adapté à la description des STR. Cependant, la modélisation de systèmes simples, ne possédant que quelques tâches périodiques ordonnancées de façon basique se révèle être un exercice souvent complexe. En premier lieu, la modélisation efficace d'une gamme étendue de politiques d'ordonnancements se heurte à l'incapacité des RdPT à imposer un ordre d'apparition à des évènements concurrents survenant au même instant. D'autre part, les STR ont une nette tendance à être constitués de caract éristiques récurrentes, autorisant une modélisation par composants. Or les RdPT ne sont guère adaptés à une utilisation compositionnelle un tant soit peu générale. Afin de résoudre ces deux problèmes, nous proposons dans cette thèse Cifre - en partenariat entre Airbus et le Laas-Cnrs - d'étendre les RdPT à l'aide de deux nouvelles relations, les relations d'inhibition et de permission, permettant de spécifier de manière plus fine les contraintes de temps. Afin de cerner un périmètre clair d'adéquation de cette nouvelle extension à la modélisation des systèmes temps réel, nous avons défini Pola, un langage spécifique poursuivant deux objectifs : déterminer un sous-ensemble des systèmes temps réel modélisables par les réseaux de Petri temporels à inhibitions/permissions et fournir un langage simple à la communauté temps réel dont la vérification, idéalement automatique, est assurée par construction. Sa sémantique est donnée par traduction en réseaux de Petri temporels à inhibitions/permissions. L'explorateur d'espace d'états de la boite à outils Tina a été étendu afin de permettre la vérification des descriptions Pola.

No description available.

Ce mémoire vise à montrer l'imbrication de trois dimensions de la recherche de terrain en linguistique : la description des faits, l'investissement sur le terrain, et la réflexion théorique, de façon à développer une approche pluridimensionnelle de la variation. Les trois parties du mémoire correspondent à ces trois dimensions. Le concept de variation permet de considérer la langue non seulement hétéroclite par essence, mais surtout caractérisée par une multiplicité de façons de dire. La discussion menée sur la variation de la langue (chapitres 1, 2 et 10 à 12) s'appuie sur la maitrise préalable de la description linguistique en situation de contacts de langue (chapitres 3 à 5 et 11 à 12) et sur une méthodologie soignée de recueils de corpus oraux transcrits et documentés (chapitres 6 à 9). La première partie, Descriptions dans un français, comporte cinq chapitres qui peuvent se regrouper en deux sous-parties. Les chapitres 1 et 2 posent quelques bases théoriques qui positionnent les analyses qui suivent. Ils procèdent à une approche de la représentation de la variation, générale, puis en référence à quelques auteurs. Plusieurs notions et catégories sont remises en cause ou discutées, comme celle de langue considérée comme un ensemble de variétés structurellement constituées. D'autres notions sont adoptées, en vue d'une plus grande utilité opératoire : aire communicative ou linguistique, représentation, réseau, fonctionnalisation, innovation, métissage. Les chapitres 3, 4 et 5 traitent de syntaxe et de descriptions syntaxiques. Dans ces chapitres, les discussions portent sur les méthodes de description des faits (centrage sur les formes vs appréciation de leurs utilisations et fonctions), sur l'exemple, sur les comparaisons, sur la façon de regrouper les faits. La deuxième partie, La recherche de la variation / méthodologie de l'enquête, traite de la méthodologie de l'enquête uniquement par rapport à mes expériences de terrain. Les chapitres 6 et 7 examinent la difficulté et les possibilités de maintenir des relations étroites entre terrain et corpus. Le chapitre 8 examine ensuite les relations entre le chercheur et le terrain, les enquêtés et l'enquête. Le chapitre 9 rassemble quelques expériences concernant la construction proprement dite des données. La méthodologie défendue est celle appelée " écologique ", qui prend en compte les interactions des locuteurs dans leur environnement à plusieurs niveaux, avec une forte implication des chercheurs à toutes les étapes de l'enquête. La troisième partie, Des explications pour la variation ?, présente des réflexions sur des approches de la variation qui vont au-delà des descriptions de formes. Dans le chapitre 10 sont proposées des explications à la variation, du côté du locuteur. Le chapitre 11 montre que le contact des langues n'est pas un embarras pour la recherche théorique générale, ni même un phénomène excentrique parmi ceux qui touchent la variation. Le chapitre 12 tente l'intégration de quelques phénomènes bien circonscrits, et analysés auparavant, dans des processus linguistiques généraux : grammaticalisations en discours, réanalyses, fonctionnalisations liées à la subjectivation, érosions et syncrétismes phonologiques. La conclusion revient sur la métaphore écologique et remet au premier plan la difficulté de tenir compte des divers ordres dans lesquels se situent les mêmes faits, ce qui semble être un point commun aux sciences qui ont trait au vivant, en particulier à l'humain.

On présente ici un ensemble de méthodes numériques performantes pour lasimulation micromagnétique 3D reposant sur l'équation de Landau-Lifchitz-Gilbert, constituantun code nommé feeLLGood. On a choisi l'approche éléments finis pour sa flexibilitégéométrique. La formulation adoptée respecte la contrainte d'orthogonalité entre l'aimantationet sa dérivée temporelle, contrairement à la formulation classique sur-dissipative.On met au point un schéma de point milieu pour l'équation Landau-Lifchitz-Gilbert quiest stable et d'ordre deux en temps. Cela permet de prendre, à précision égale, des pas detemps beaucoup plus grands (typiquement un ordre de grandeur) que les schémas classiques.Un véritable enjeu numérique est le calcul du champ démagnétisant, non local. Oncompare plusieurs techniques de calcul rapide pour retenir celles, inédites dans le domaine,des multipôles rapides (FMM) et des transformées de Fourier hors-réseau (NFFT). Aprèsavoir validé le code sur des cas-tests et établi son efficacité, on présente les applications àla simulation des nanostructures : sélection de chiralité et résonance ferromagnétique d'unplot monovortex de cobalt, hystérésis des chapeaux de Néel dans un plot allongé de fer.Enfin, l'étude d'un oscillateur spintronique prouve l'évolutivité du code.

En raison de son succès croissant avec les consommateurs la VoD (la Vidéo à la demande) gagne une ampleur sans précédent de l'IPTV et des industries de vidéo en continu tout comme de l’Internet. Contrairement aux services vidéo linéaires rigides programmant (qui sont la norme pour la TV d'émission), l'accès des contenus à la demande fournit une grande flexibilité permettant aux utilisateurs finaux de feuilleter et consommer le contenu vidéo d'une façon autonome / Due to its growing success with consumers as a preferred way to access video content, VoD (Video On Demand) services streaming is gaining unprecedented interest from the IPTV and the Internet video streaming industries alike. Unlike the rigid linear video services programming that is the norm in broadcast TV, the on-demand content access provides a great flexibility allowing end-users to browse and consume video content in a non-scheduled way. Besides providing a VoD offering to meet evolving end-users expectations for flexibility and differed-time access, it is today very important for a service provider to offer a very large content library (popular and niche content) to capture the broadest audience possible. Targeting a very large audience with a large video content library puts a very heavy burden on service providers with scalability being the chief design issue

Nous considérons une plate-forme pair-à-pair pour la Recherche d'Information (RI) collaborative. Chaque pair héberge une collection de documents textuels qui traitent de ses sujets d'intérêt. En l'absence d'un mécanisme d'indexation global, les pairs indexent localement leurs documents et s'associent pour fournir un service distribué de réponse à des requêtes. Notre objectif est de concevoir un protocole décentralisé qui permette aux pairs de collaborer afin de transmettre une requête depuis son émetteur jusqu'aux pairs en possession de documents pertinents. Les réseaux logiques sémantiques (Semantic Overlay Networks, SON) représentent la solution de référence de l'état de l'art. Les pairs qui possèdent des ressources sémantiques similaires sont regroupés en clusters. Les opérations de RI seront alors efficaces puisqu'une requête sera transmise aux clusters de pairs qui hébergent les ressources pertinentes. La plupart des approches actuelles consistent en une reconfiguration dynamique du réseau de pairs (peer rewiring). Pour ce faire, chaque pair exécute périodiquement un algorithme de marche aléatoire ou gloutonne sur le réseau pair-à-pair afin de renouveler les pairs de son cluster. Ainsi, un réseau à la structure initialement aléatoire évolue progressivement vers un réseau logique sémantique. Jusqu'à présent, les approches existantes n'ont pas considéré que l'évolution de la topologie du réseau puisse influer sur les performances de l'algorithme de reconfiguration dynamique du réseau. Cependant, s'il est vrai que, pour une configuration initiale aléatoire des pairs, une marche aléatoire sera efficace pour découvrir les pairs similaires, lorsque des clusters commencent à émerger une approche gloutonne devient alors mieux adaptée. Ainsi, nous proposons une stratégie qui applique un algorithme de recuit simulé (Simulated Annealing, SA) afin de faire évoluer une stratégie de marche aléatoire vers une stratégie gloutonne lors de la construction du SON. Cette thèse contient plusieurs avancées concernant l'état de l'art dans ce domaine. D'abbord, nous modélisions formellement la reconfiguration dynamique d'un réseau en un SON. Nous identifions un schéma générique pour la reconfiguration d'un réseau pair-à-pair, et après le formalisons en une procédure constituée de trois étapes. Ce framework cohérent offre à ses utilisateurs de quoi le paramétrer. Ensuite, le problème de la construction d'un SON est modélisé sous la forme d'un problème d'optimisation combinatoire pour lequel les opérations de reconfiguration du réseau correspondent à la recherche décentralisée d'une solution locale. Fondée sur ce modèle, une solution concrète à base de recuit simulé est proposée. Nous menons une étude expérimentale poussée sur la construction du SON et la RI sur SONs, et validions notre approche. / A Peer-to-Peer (P2P) platform is considered for collaborative Information Retrieval (IR). Each peer hosts a collection of text documents with subjects related to its owner's interests. Without a global indexing mechanism, peers locally index their documents, and provide the service to answer queries. A decentralized protocol is designed, enabling the peers to collaboratively forward queries from the initiator to the peers with relevant documents. Semantic Overlay Network (SONs) is one the state of the art solutions, where peers with semantically similar resources are clustered. IR is efficiently performed by forwarding queries to the relevant peer clusters in an informed way. SONs are built and maintained mainly via peer rewiring. Specifically, each peer periodically sends walkers to its neighborhood. The walkers walk along peer connections, aiming at discovering more similar peers to replace less similar neighbors of its initiator. The P2P network then gradually evolves from a random overlay network to a SON. Random and greedy walk can be applied individually or integrated in peer rewiring as a constant strategy during the progress of network evolution. However, the evolution of the network topology may affect their performance. For example, when peers are randomly connected with each other, random walk performs better than greedy walk for exploring similar peers. But as peer clusters gradually emerge in the network, a walker can explore more similar peers by following a greedy strategy. This thesis proposes an evolving walking strategy based on Simulated Annealing (SA), which evolves from a random walk to a greedy walk along the progress of network evolution. According to the simulation results, SA-based strategy outperforms current approaches, both in the efficiency to build a SON and the effectiveness of the subsequent IR. This thesis contains several advancements with respect to the state of the art in this field. First of all, we identify a generic peer rewiring pattern and formalize it as a three-step procedure. Our technique provides a consistent framework for peer rewiring, while allowing enough flexibility for the users/designers to specify its properties. Secondly, we formalize SON construction as a combinatorial optimization problem, with peer rewiring as its decentralized local search solution. Based on this model, we propose a novel SA-based approach to peer rewiring. Our approach is validated via an extensive experimental study on the effect of network wiring on (1) SON building and (2) IR in SONs.

On étudie, dans cette thèse, la diffusion d'ondes dans différents milieux nonlinéaires possédant une bande interdite naturelle. On montre, en particulier, l'existence d'un comportement de bistabilité dans les milieux régis, soit par l'équation de sine-Gordon (chaîne de pendules courte, réseaux de jonctions Josephson, double couches à effet Hall quantique), soit par l'équation de Schrödinger nonlinéaire (milieu Kerr et milieu de Bragg), dans les cas discrets et continus. Ces différents milieux sont soumis à des conditions aux bords périodiques, dont la fréquence est prise dans la bande interdite et avec une amplitude déterminant l'état de stabilité du système. En effet, pour une amplitude suffisante (supratransmission), le milieu n'est plus réfléchissant et absorbe de l'énergie, faisant passer le signal de sortie d'un état d'amplitude évanescente vers un état de très grande amplitude. On donne, par ailleurs, une description analytique complète de la bistabilité qui permet de comprendre les différents états stationnaires observés dans ces milieux et de prédire le passage d'un état à un autre.

Les avancées technologiques ont permis la commercialisation à grande échelle de terminaux mobiles. De ce fait, l’homme est de plus en plus connecté et partout. Ce nombre grandissant d’usagers du réseau ainsi que la forte croissance du contenu disponible, aussi bien d’un point de vue quantitatif que qualitatif saturent les réseaux et l’augmentation des moyens matériels (passage à la fibre optique) ne suffisent pas. Pour surmonter cela, les réseaux doivent prendre en compte le type de contenu (texte, vidéo, ...) ainsi que le contexte d’utilisation (état du réseau, capacité du terminal, ...) pour assurer une qualité d’expérience optimum. A ce sujet, la vidéo fait partie des contenus les plus critiques. Ce type de contenu est non seulement de plus en plus consommé par les utilisateurs mais est aussi l’un des plus contraignant en terme de ressources nécéssaires à sa distribution (taille serveur, bande passante, …). Adapter un contenu vidéo en fonction de l’état du réseau (ajuster son débit binaire à la bande passante) ou des capacités du terminal (s’assurer que le codec soit nativement supporté) est indispensable. Néanmoins, l’adaptation vidéo est un processus qui nécéssite beaucoup de ressources. Cela est antinomique à son utilisation à grande echelle dans les appareils à bas coûts qui constituent aujourd’hui une grande part dans l’ossature du réseau Internet. Cette thèse se concentre sur la conception d’un système d’adaptation vidéo à bas coût et temps réel qui prendrait place dans ces réseaux du futur. Après une analyse du contexte, un système d’adaptation générique est proposé et évalué en comparaison de l’état de l’art. Ce système est implémenté sur un FPGA afin d’assurer les performances (temps-réels) et la nécessité d’une solution à bas coût. Enfin, une étude sur les effets indirects de l’adaptation vidéo est menée. / On the one hand, technology advances have led to the expansion of the handheld devices market. Thanks to this expansion, people are more and more connected and more and more data are exchanged over the Internet. On the other hand, this huge amound of data imposes drastic constrains in order to achieve sufficient quality. The Internet is now showing its limits to assure such quality. To answer nowadays limitations, a next generation Internet is envisioned. This new network takes into account the content nature (video, audio, ...) and the context (network state, terminal capabilities ...) to better manage its own resources. To this extend, video manipulation is one of the key concept that is highlighted in this arising context. Video content is more and more consumed and at the same time requires more and more resources. Adapting videos to the network state (reducing its bitrate to match available bandwidth) or to the terminal capabilities (screen size, supported codecs, …) appears mandatory and is foreseen to take place in real time in networking devices such as home gateways. However, video adaptation is a resource intensive task and must be implemented using hardware accelerators to meet the desired low cost and real time constraints.In this thesis, content- and context-awareness is first analyzed to be considered at the network side. Secondly, a generic low cost video adaptation system is proposed and compared to existing solutions as a trade-off between system complexity and quality. Then, hardware conception is tackled as this system is implemented in an FPGA based architecture. Finally, this system is used to evaluate the indirect effects of video adaptation; energy consumption reduction is achieved at the terminal side by reducing video characteristics thus permitting an increased user experience for End-Users.

On présente ici un ensemble de méthodes numériques performantes pour lasimulation micromagnétique 3D reposant sur l’équation de Landau-Lifchitz-Gilbert, constituantun code nommé feeLLGood. On a choisi l’approche éléments finis pour sa flexibilitégéométrique. La formulation adoptée respecte la contrainte d’orthogonalité entre l’aimantationet sa dérivée temporelle, contrairement à la formulation classique sur-dissipative.On met au point un schéma de point milieu pour l’équation Landau-Lifchitz-Gilbert quiest stable et d’ordre deux en temps. Cela permet de prendre, à précision égale, des pas detemps beaucoup plus grands (typiquement un ordre de grandeur) que les schémas classiques.Un véritable enjeu numérique est le calcul du champ démagnétisant, non local. Oncompare plusieurs techniques de calcul rapide pour retenir celles, inédites dans le domaine,des multipôles rapides (FMM) et des transformées de Fourier hors-réseau (NFFT). Aprèsavoir validé le code sur des cas-tests et établi son efficacité, on présente les applications àla simulation des nanostructures : sélection de chiralité et résonance ferromagnétique d’unplot monovortex de cobalt, hystérésis des chapeaux de Néel dans un plot allongé de fer.Enfin, l’étude d’un oscillateur spintronique prouve l’évolutivité du code. / Here is presented a set of efficient numerical methods for 3D micromagneticsimulation based on the Landau-Lifchitz-Gilbert equation, making up a code named feeLLGood.The finite element approach was chosen for its geometrical flexibility. The adoptedformulation meets the orthogonality constraint between the magnetization and its time derivative,unlike the over-dissipative classical formulation. A midoint rule was developed forthe Landau-Lifchitz-Gilbert equation which is stable and second order in time. This allowsfor much bigger time steps (typically an order of magnitude) than classical schemes at thesame precision. Computing the nonlocal demagnetizing interaction is a real numerical challenge.Several fast computation techniques are compared. Those selected are novel to thefield : the Fast Multipole Method (FMM) and Non-uniform Fast Fourier Transforms (NFFT).After the code is validated on test cases and its efficiency established, applications to the simulationof nanostructures are presented : chirality selection and ferromagnetic resonanceof a cobalt monovortex dot, Neel caps hysteresis in an iron dot. Finally, the study of a spintronicoscillator proves the code’s upgradability.

On introduit un nouveau modele de file d'attente: les files Zero-automatiques. Tout d'abord, on considere la discipline de service Premier Arrive Premier Servi. Les files 0-automatiques sont caracterisees par une salle d'attente evoluant suivant un mecanisme de marche aleatoire sur un groupe ou un monoede infini. En considerant les deux cas les plus simples et aussi extremes de files 0-automatiques, nous retrouvons la file simple M/M/1 et la G-file de Gelenbe avec clients positifs et negatifs.<br />Le resultat saillant est que toutes les files 0-automatiques ont une distribution stationnaire a forme produit et un processus de depart de Poisson. C'est un point crucial pour construire les reseaux a forme produit.<br />On considere deux modeles correspondant aux differents routages classiques: reseaux a la Jackson et reseaux a la Kelly. Dans les deux cas, on a montre que la distribution stationnaire est a forme produit et peut etre determinee explicitement. De plus, le processus de depart est Poisson.<br />Enfin, considerons les files 0-automatiques avec discipline de service Dernier Arrive Premier Servi. Dans ce cas, certaines proprietes restent vraies, mais pas toutes. On obtient des resultats interessants en comparant les zones de stabilite d'une meme file 0-automatique sous les discpilines Premier Arrive Premier Servi et Dernier Arrive Premier Servi.