Spelling suggestions: "subject:"stricter"" "subject:"strict""
1 |
Un modèle pour la prise de décision multi-agent sous incertitude stricte / A model for multiagent decision making under strict uncertaintyBen Larbi, Ramzi 14 December 2009 (has links)
Le contexte informationnel dans lequel évolue un agent possède une importance extrême quandcelui-ci élabore son comportement futur. Un agent rationnel doit en effet baser ses choix sur les informationsqu’il possède pour choisir ses actions. Or, dans les applications réelles, l’information disponible àl’agent est souvent rare et peu précise. De multiples modèles ont été élaborés dans les différents cadresd’application de l’intelligence artificielle afin de caractériser une décision rationnelle dans chacun descontextes informationnels possibles. Les travaux présentés dans cette thèse concernent l’élaboration d’unmodèle permettant à un agent de prendre des décisions rationnelles dans un contexte informationnel trèspauvre. La seule information dont dispose un agent à propos du résultat de ses actions est la donnée del’ensemble de résultats de chacune d’entre elles. En particulier, aucune information sur la conséquence laplus susceptible de se produire n’est disponible. L’agent est supposé égoïste (au sens où seul compte pourlui son propre intérêt) et autonome. Il évolue de plus dans un environnement où il coexiste avec d’autresagents (qui sont aussi égoïstes et autonomes). Les actions d’un agent influent sur les autres agents. Ladémarche entreprise pour élaborer le modèle est la suivante. D’abord, nous caractérisons les critères dedécision rationnels d’un agent seul dans le contexte informatif étudié. Ensuite, nous étendons ces critèresde décision individuelle au cas multi-agent en nous appuyant sur la théorie des jeux qui est le meilleurcadre pour exprimer les interactions entre agents rationnels et en particulier les possibilités de coordinationentre les agents. Enfin, le domaine de la planification est un excellent cadre pour représenter etexprimer les concepts du modèle. / The informative context in which an agent evolves is extremely important when she elaborates her futurebehaviour. A rational agent must base her choices on the available information. In realistic applications,the information is often rare and imprecise. Many models have been introduced to caracterize rationaldecision in each possible informative context. This thesis is about the elaboration of a model that allowsan agent to make rational decisions in an extremely poor informative context. The only informationthat is available to an agent about her actions’ consequences is the result set of each of her actions. Noinformation about which consequence of any action will eventually happen is available. The agent issupposed to be selfish (which means that her own interest is her only concern) and autonomous. Sheevolves in an environment in which she coexists with other agents (that are as selfish and autonomous asher). An agent action may inflence those of other agents. We used the following approach to build ourmodel. First, we caracterized the rational decision criteria for an agent to use in the context of completeignorance. Then we extended these criteria, by using game theory concepts, to a multiagent environment.Finally, the planning framework is an excellent framework to represent the introduced concepts.
|
2 |
L’application du principe d’interprétation stricte de la loi pénale par la chambre criminelle à l’aune des mutations de la légalité criminelle / Implementation of the principle of strict construction of criminal law by the Criminal Division of the French Supreme Court of Appeal (Court de Cassation) in light of changes in legalityThomas, Lucie 24 September 2014 (has links)
L'article 111-4 du Code pénal prévoit, par une formule laconique, que « la loi pénale est d'interprétation stricte ». Corollaire de la légalité criminelle, ce principe a vocation à protéger les individus des risques d'une répression arbitraire en soumettant toute atteinte à leur liberté au strict domaine de la loi, expression de la volonté générale. À dépasser les désaccords entourant les théories de l'interprétation, analysée comme un procédé de révélation ou de construction de sens, cet impératif intervient a minima comme une limite à la liberté de l'interprète. Or le principe de légalité dans lequel l'exigence tire son fondement a subi d'importantes mutations. L'admission de la représentation, l'inflation législative, et l'instrumentalisation de la fonction intimidatrice de la norme pénale, ont en effet entraîné une certaine déliquescence de la loi. L'instauration de contrôles de constitutionnalité et de conventionnalité de la loi participent à ce mouvement. Par un effet de balancier, le recul de la loi s'est traduit par une recrudescence du pouvoir judiciaire. Chargée de contrôler la conventionnalité de la loi et les conditions de renvoi d'une question prioritaire de constitutionnalité, la chambre criminelle a vu son office profondément modifié. La protection effective de la liberté individuelle est dorénavant réputée être mieux assurée par le contrôle judiciaire des normes pénales que par le recours à la loi : la légalité formelle se mue en une légalité matérielle. Or, en qualité de corollaire de la légalité criminelle, le principe d'interprétation stricte est nécessairement atteint par cette mutation. Bien que demeurant pareillement formulé, il voit en effet son fondement substantiellement modifié. L'exigence d'une stricte interprétation étant originellement justifiée par déférence à l'égard de la volonté générale exprimée par la loi, la reconnaissance de l'incapacité de cette dernière à la saisir entraîne une certaine souplesse dans l'application du principe. Dès lors qu'il est compétent pour contrôler la loi, le juge est par ailleurs davantage enclin à se libérer de son emprise. Il convient alors de s'interroger sur la manière dont la chambre criminelle applique le principe d'interprétation stricte de la loi pénale à l'aune des mutations de la légalité. Il apparaît que, sans suivre une ligne de conduite précise, la chambre criminelle tend à influer sur la politique pénale en usant de son pouvoir d'interprétation pour réajuster, de manière conjoncturelle et par touches d'ajustements ponctuels, le seuil de la répression fixé par le législateur. Dans un système de hiérarchie des normes se transformant en réseau normatif, l'interprétation devient outil de construction de la norme pénale. / Article 111-4 of the Penal Code succinctly provides that “criminal law is to be interpreted strictly”. Deriving from the principle of legality, the principle of strict construction intends to protect individuals from arbitrary repression by submitting any infringement on their freedom to the strict scope of the law, which is the expression of the general will. Setting aside the disagreements regarding the theory of interpretation – analyzed as a method of either revealing or constructing meaning – this imperative, at least, limits the interpreter's freedom. However, the principle of legality, on which the imperative of strict construction is based, has undergone significant changes. The adoption of a representative system, legislative inflation, along with authorities taking advantage of the deterrence provided by criminal norms has, to a degree, led to a decline of the law. The establishment of constitutionality and conventionality reviews of the law has also contributed to it. As a result of a seesaw effect, the decline of the law resulted in an increase in the role of the judiciary. The Criminal Division of the French Supreme Court of Appeal (Court de Cassation) is responsible for reviewing the conventionality of the law and the referral procedure of preliminary rulings on constitutionality. Consequently, the Criminal Division's function has undergone major changes. Protecting individual freedom is now deemed more effective when carried out by the judicial review of criminal norms rather than by resorting to the law. Procedural legality turns into substantive legality. Therefore, as a result of the principle of legality, the principle of strict construction is affected by this transformation. Even though the principle of strict construction remains formulated in the same way, its founding principle has substantially changed. The requirement of a strict construction was originally justified out of deference for the general will, which is expressed by the law. Thus, the acknowledgement of the law's incapacity to grasp the general will leads to some flexibility in the implementation of the principle. Since the judge has the authority to review the law, he is more inclined to interpret it freely. How the Criminal Division implements the principle of strict construction of criminal law in light of changes in legality needs then to be examined: The Criminal Division tends to influence criminal policies, even though it does not seem to be following a particular course of action, by exercising its power of interpretation to adjust, as circumstances dictate, the threshold for punishment set by the legislator. In a normative hierarchy system that turns into a normative network, interpretation becomes a tool to construct criminal norms.
|
3 |
Parcerias público-privadas: repartição objetiva de riscos / Le partenariat public-privé: partage objectif du risqueFrança, Maria Adelaide de Campos 26 October 2011 (has links)
Escopo deste trabalho é a realização de um estudo analítico sobre a regra da repartição objetiva de riscos, introduzida pela Lei nº 11.079, de 30.12.2004, e de suas consequências jurídicas ao equilíbrio econômico-financeiro dos contratos estruturados sob o regime de parceria público-privada, bem como sobre a responsabilidade civil do Estado. Inovação jurídica trazida pela citada Lei nº 11.079/04, a repartição objetiva de riscos entre os parceiros envolvidos nas contratações de parceria público-privada foi objeto de aprofundada reflexão, especialmente no que se refere às posições doutrinárias divergentes sobre o tema quanto à sua abrangência em face ao direito do parceiro privado à manutenção do equilíbrio econômico-financeiro do contrato e à regra constitucional da responsabilidade objetiva do Estado. Uma análise sistemática das principais questões referentes ao instituto das parcerias público-privadas, aos riscos associados a contratos dessa natureza, à teoria das áleas, ao equilíbrio econômico-financeiro e à responsabilidade civil do Estado, foi realizada no curso deste trabalho, consideradas as características próprias do novel instituto em face dos contratos administrativos, regidos pela Lei nº 8.666/93, e das concessões comuns de que trata a Lei nº 8.987/95. A metodologia utilizada no presente estudo analítico apoiou-se em referências teóricas obtidas da revisão de literatura nacional e estrangeira que permitiram, ao final, fossem obtidas algumas conclusões sobre o tema proposto. / Ce travail porte sur une étude analytique de la règle du partage plus objectif du risque, introduite par la Loi 11.079, du 30.12.2004, et de ses conséquences juridiques pour l\'équilibre économique et financier des contrats structurés sous le régime de partenariat public-privé, ainsi que sur la responsabilité de l\'Etat. Autant qu\'innovation judiciaire intentée par la Loi 11.079/04 susmentionnée, le partage plus objectif de risques entre les partenaires impliqués dans le recrutement de partenariat public-privé a été l\'objet d\'une réflexion profonde, concernante surtout les différentes positions doctrinales sur cette question quant à sa portée face au droit du partenaire privé de maintenir l\'équilibre économique et financier du contrat et la règle constitutionnelle de la responsabilité stricte de l\'Etat. Une analyse systématique des questions-clés concernant l\'institut des partenariats public-privés, les risques liés à ces contrats, à la théorie des risques, à léquilibre économique et financier et à la responsabilité civile de l\'Etat s\'est déroulée au cours de ce travail, en tenant compte des caractéristiques particulières du nouvel institut face à dês contrats administratifs, régis par la Loi 8.666/93, et des concessions en commun dont il sagit la Loi 8.987/95. La méthodologie employée dans cette étude analytique a été basée sur des références théoriques provenantes de l\'analyse de la bibliographie nationale et étrangère, qui ont permis, à la fin, obtenir des conclusions a propos du sujet proposé.
|
4 |
Ordonnancement temps réel dur multiprocesseur tolérant aux fautes appliqué à la robotique mobileMarouf, Mohamed 01 June 2012 (has links) (PDF)
Nous nous sommes intéressés dans cette thèse au problème d'ordonnancement temps réel dur multiprocesseur tolérant aux fautes pour des tâches non préemptives périodiques strictes pouvant être combinées avec des tâches préemptives. Nous avons proposé des solutions à ce problème et les avons implantées dans le logiciel SynDEx puis nous les avons testées sur une application de suivi de véhicules électriques CyCabs. Nous avons d'abord présenté un état de l'art sur les systèmes temps réel embarqués et plus précisément sur l'ordonnancement classique monoprocesseur et multiprocesseur de tâches préemptives périodiques. Comme nous nous intéressons aux applications de contrôle/commande temps réel critiques, les traitements de capteurs/actionneurs et les traitements de commande de procédés ne doivent pas avoir de gigue. Pour ces raisons nous avons aussi présenté un état de l'art sur l'ordonnancement des tâches non-préemptives périodiques strictes. Par ailleurs nous avons présenté un état de l'art sur la tolérance aux fautes. Comme nous nous sommes intéressés aux fautes matérielles, nous avons présenté les deux types de redondances : logicielle et matérielle. Les analyses d'ordonnançabilité existantes de tâches non préemptives périodiques strictes dans le cas monoprocesseur ayant de faibles taux de succès d'ordonnancement, nous avons proposé une nouvelle analyse d'ordonnançabilité. Nous avons présenté une stratégie d'ordonnancement qui consiste à ordonnancer une tâche candidate avec un ensemble de tâches déjà ordonnancée. Nous avons utilisé cette stratégie pour ordonnancer des tâches harmoniques et non harmoniques, et nous avons proposé des nouvelles conditions d'ordonnançabilité. Afin d'améliorer le taux de succès d'ordonnancement de tâches non préemptives périodiques strictes, nous avons proposé de garder certaines tâches non préemptives périodiques strictes et d'y ajouter des tâches préemptives périodiques non strictes ne traitant ni les entrées/sorties ni le contrôle/commande. Nous avons ensuite étudié le problème d'ordonnancement multiprocesseur selon une approche partitionnée. Ce problème est résolu en utilisant trois algorithmes. Le premier algorithme effectue une analyse d'ordonnançabilité monoprocesseur et assigne chaque tâche sur éventuellement plusieurs processeurs. Le deuxième algorithme transforme le graphe de tâches dépendantes en un graphe déroulé où chaque tâche est répétée un nombre de fois égal au rapport entre le PPCM des autres périodes et sa période. Le troisième algorithme exploite les résultats des deux algorithmes précédents pour choisir sur quel processeur ordonnancer une tâche et calculer sa date de début d'exécution. Nous avons ensuite proposé d'étendre l'étude d'ordonnançabilité temps réel multiprocesseur précédente pour qu'elle soit tolérante aux fautes de processeurs et de bus de communication. Nous avons proposé un algorithme qui permet de transformer le graphe de tâches dépendantes en y ajoutant des tâches et des dépendances de données répliques et des tâches de sélection permettant de choisir la réplique de tâches allouée à un processeur non fautif. Nous avons étudié séparément les problèmes de tolérance aux fautes pour des processeurs, des bus de communication, et enfin des processeur et des bus de communication. Finalement nous avons étendu les trois algorithmes vus précédemment d'analyse d'ordonnançabilité, de déroulement et d'ordonnancement afin qu'ils soient tolérants aux fautes. Nous avons ensuite présenté les améliorations apportées au logiciel SynDEx tant sur le plan de l'analyse d'ordonnançabilité et l'algorithme d'ordonnancement, que sur le plan de la tolérance aux fautes. Finalement nous avons présenté les travaux expérimentaux concernant l'application de suivi de CyCabs. Nous avons modifié l'architecture des CyCabs en y intégrant des microcontrôleurs dsPICs et nous avons testé la tolérance aux fautes de dsPICs et du bus CAN sur une application de suivi de CyCab.
|
5 |
L'effectivité de la sanction pénale / The effectiveness of criminal sanctionTzutzuiano, Catherine 02 December 2015 (has links)
La question de l’effectivité de la sanction pénale fait régulièrement débat. La sanction pénale serait, bien souvent, partiellement effective. Il faut dire que selon une acception classiquement répandue, l’effectivité de la sanction pénale correspondrait au taux d’application de la sanction prononcée et au rapport de conformité entre la sanction prononcée et la sanction exécutée. Tout écart entre ces deux pôles serait la manifestation d’une situation d’ineffectivité. Cette approche de l’effectivité est réductrice, elle ne permet pas d’appréhender cette notion dans sa globalité. Considérant comme effectif « ce qui produit un effet », l’étude de l’effectivité de la sanction pénale ne peut se limiter à une simple vérification de la correspondance entre la sanction prononcée et la sanction exécutée, elle s’étend à l’appréciation des effets produits par la sanction. L’effectivité, qui est un état, ne peut se confondre avec l’exécution qui correspond à l’ensemble du processus permettant d’y parvenir. Au cœur de la recherche de production des effets de la sanction, l’exécution est alors source de l’effectivité recherchée. Selon toute probabilité, la sanction exécutée produira des effets. Pourtant, sauf à vider de son sens la notion d’effectivité, il n’est pas possible de considérer que tous les effets que la sanction est susceptible de produire relèvent de son effectivité. Seuls les effets conformes à la finalité qui lui est assignée intègrent cette notion. Tout en distinguant l’effectivité de l’efficacité, l’effectivité de la sanction s’appréciera à l’aune des effets qui contribuent au maintien de la paix sociale. / The question of the effectiveness of criminal sanction is the cause of great debate. The criminal sanction would be, so often, partially effective. It must be said that according to common thinking, the effectiveness of criminal sanction corresponds to the rate of application of the pronounced sanction and to the relation of conformity between the pronounced sanction and the executed sanction. Any difference between these two poles could be seen as the demonstration of a situation of ineffectiveness. This approach of the effectiveness is simplistic, it does not make it possible to apprehend this notion in its entirety. Considering as effective “what produces an effect”, the study of the effectiveness of criminal sanction cannot be limited to simply checking the correspondence between the pronounced sanction and the executed sanction, it extends to the evaluation of the effects produced by the sanction. The effectiveness, which is a state, cannot nevertheless be confused with the execution which corresponds to the whole of the process making it possible to reach that point. At the core of the search for the production of the sanction’s effects, the execution is then the source of the required effectiveness. In all probability, the executed sanction will produce effects. However, unless we empty the notion of effectiveness of its meaning, it is not possible to consider that all of the effects which the sanction is likely to produce concern its effectiveness. Only the effects in conformity with the finality which is assigned to it integrate this notion. While distinguishing the effectiveness from the efficacy, the effectiveness of the sanction will be assessed in light of the effects which contribute to the maintenance of social peace.
|
6 |
Essais en théorie de la négociation et gouvernance / Essays in the Theory of Negociation and GovernancePalermo, Alberto 04 July 2016 (has links)
Cette thèse a pour sujet les effets que l’information a sur les incitations. Les trois articles fournissent et explorent des résultats lorsque l’information est la principale variable d’intérêt, est endogène, pas homogène entre les acteurs et évolue dans le temps d’une manière qui n’est pas nécessairement rationnelle. Le premier article étudie les problèmes de hold-up dans les hiérarchies verticales avec la sélection adverse montrant qu’alors que le pouvoir de négociation des travailleurs augmente, les distorsions provenant de l’asymétrie d’information disparaissent. En outre, il étudie l’effet de la scolarité et du degré d’hétérogénéité de la population de travailleurs sur la répartition du pouvoir de négociation dans les marchés réglementés. Le deuxième article assouplit l’hypothèse des croyances homogènes dans les relations principal-agent avec sélection adverse. Dans un apprentissage évolutif qui est imitatif, les principaux peuvent avoir des croyances différentes sur la répartition des types d’agents dans la population. La convergence à une croyance uniforme dépend de la taille relative de la polarisation dans les croyances. En outre, le modèle est une version d’un cobweb stable. Notre approche offre des explications pour l’alternance des périodes avec quantité oscillante et relativement stable. Le troisième article étudie la fac¸on dont le contenu informatif des politiques juridiques, comme la responsabilité stricte et négligence, en cas de soucis morales, influence la conception optimale des régimes de responsabilité. Plusieurs cas récents ont montré qu’un individu ayant causé un dommage s’expose non seulement a une sanction légale — par exemple, une amende — mais aussi a un boycott social, la désapprobation ou la stigmatisation. L’article montre que le choix d’une stratégie dépend de façon complexe de l’importance du dommage et du “coût moral”. / This thesis focuses on the effects that information has on incentives. The three papers provide and explore some results when the information is the main variable of interest, it is made endogenous, not homogeneous between actors and evolving over time in a way that is not necessarily rational. The first paper studies hold-up problems in vertical hierarchies with adverse selection showing that as the bargaining power of the worker increases, distortions coming from asymmetric information vanish. Moreover, it studies the effect of schooling and degree of heterogeneity in the workforce on the allocation of bargaining power in regulating markets. The second paper relaxes the common assumption of homogeneous beliefs in principal-agent relationships with adverse selection. In an evolutionary learning set-up, which is imitative, principals can have different beliefs about the distribution of agents’ types in the population. Convergence to a uniform belief depends on the relative size of the bias in beliefs. In addition, the set-up is a version of a stable cobweb model. Our approach offers explanations for alternating periods of oscillating and relatively steady quantity. The third paper studies how the informative content of legal policies as strict-liability and fault-based, in case of moral concerns, influences the optimal design of liability regimes. Many recent cases show that an individual found to have caused harm faces not only the possibility of a legal sanction — e.g., the damages he must pay — but also social boycott, disapproval or stigma. The paper shows that the choice of a policy depends in a complex way on the magnitude of the harm and the “moral cost”.Keywords: Bargaining, Adverse Selection, Hold-up, Evolutionary Game Theory, Heterogeneous Beliefs, Bifurcation Theory, Boycott, Law Enforcement, Strict Liability, Negligence.
|
7 |
Proposition d'une approche intégrée basée sur les réseaux de Petri de haut niveau pour simuler et évaluer les systèmes contrôlés en réseauBrahimi, Belynda 05 December 2007 (has links) (PDF)
L'étude des systèmes en réseau supports d'applications collaboratives, distribuées et interconnectées par un réseau repose sur l'identification des exigences de fonctionnement de l'application appelées Qualité de Contrôle (QdC), et sur l'évaluation des performances du réseau pour obtenir son niveau de Qualité de Service (QdS). « Cette thématique comporte d'importants verrous de nature fondamentale relevant du domaine de l'automatique, de la robotique, des capteurs, de la théorie de l'information, des réseaux. Par souci de simplification, les travaux sur les systèmes en réseau se repartissent selon deux approches: la première compense les perturbations générées par les communications au niveau de l'application (« control over network »). La seconde adapte les performances du réseau en fonction des besoins applicatifs (« control of network »). L'objectif de nos travaux de thèse est donc de proposer un environnement de modélisation intégré permettant de représenter le comportement des SCRs. Nous avons choisi les Réseaux de Petri de haut niveau qui possède un fort pouvoir d'expression, de formalisation et dont la modularité permet d'ajouter et/ou de faire évoluer les modèles qui sont développés dans ce travail. Dans un premier temps, nous avons proposé un modèle Ethernet Commuté gérant des mécanismes d'ordonnancement. Le choix de ce réseau a été guidé par le fait qu'il est de plus en plus utilisé dans les SCRs. Ensuite, le modèle d'un SCR a été proposé, et modélisé par des Réseaux de Petri de haut de niveau, en intégrant au modèle Ethernet Commuté, l'environnement applicatif : Contrôleur, Process,.. Enfin, des stratégies pour commander le réseau de façon à adapter sa Qualité de Service en regard de la Qualité de Contrôle requise par l'application, ont été mises en oeuvre. Pour cela, des ordonnanceurs à priorité stricte et de type WRR sont utilisés. Les résultats de simulation montrent clairement que des dispositifs de compensation du réseau pour améliorer les performances du système de communication, permettent aussi d'améliorer les performances du système à commander.
|
8 |
Algorithmes et applications pour la coloration et les alliances dans les graphes / Graph colorings and alliances : algorithms and applicationsYahiaoui, Said 05 December 2013 (has links)
Dans cette thèse, nous nous intéressons aux aspects algorithmiques et applications de deux problèmes de graphes, à savoir, la coloration et les alliances. La première partie concerne deux variantes de la coloration de graphes, la coloration Grundy et la coloration forte stricte. Nous commençons par l'étude du nombre Grundy des graphes réguliers. Nous donnons une condition fixe k, nous fournissons une condition nécessaire et suffisante pour que le nombre Grundy d'un graphe régulier soit au moins égal k. Nous caractérisons la classe des graphes cubiques (3-réguliers) pour laquelle le nombre Grundy est égal à 4, et nous présentons un algorithme linéaire pour déterminer le nombre Grundy d'un graphe cubique quelconque. Par ailleurs, en se basant sur la coloration forte stricte pour décomposer les arbres en petites composantes, nous présentons un nouvel algorithme pour l'appariement d'arbres étiquetés, non-ordonnés non-enracinés. Nous montrons que la distance calculée entre deux arbres est une pseudo-métrique. Nos expérimentations sur de larges bases synthétiques et des bases de données réelles confirment nos résultats analytiques et montrent que la distance proposée est précise et son algorithme est scalable. La seconde partie de cette thèse est consacrée aux alliances dans les graphes. Nous proposons un algorithme distribué autostabilisant pour la construction d'alliance offensive globale minimale dans un graphe arbitraire. Nous démontrons que cet algorithme converge sous le démon synchrone en temps linéaire. Ensuite, nous donnons le premier algorithme distribué autostabilisant pour le problème de l'alliance forte globale minimale dans un graphe quelconque. Nous prouvons que cet algorithme est polynomial sous le démon inéquitable distribué. Nous montrons par la suite, comment cet algorithme peut être adapté pour des généralisations du problème, comme la k-alliance forte et l'alliance forte pondérée. Enfin, en se basant sur les propriétés structurelles de l'alliance offensive, nous présentons une solution pour décentraliser le protocole de signalisation SIP. Ceci rend possible son déploiement dans un réseau mobile ad hoc / This thesis investigates the algorithmic aspects and applications of two graph problems, namely, colorings and alliances. In the first part, we focus on two variants of the proper vertex coloring, the Grundy coloring and the strict strong coloring. We start by the study of Grundy number for regular graphs. We give a sufficient condition for d-regular graphs with sufficiently large girth to have Grundy number equals d + 1. Then, using graph homomorphism, we obtain a necessary and sufficient condition for d-regular graphs to have Grundy number at least k. Moreover, we characterize cubic graphs (3-regular) for which the Grundy number is d + 1, and present a linear-time algorithm to determine the Grundy number of any arbitrary cubic graph. Subsequently, based on the strict strong coloring, we present an approach for the problem of matching labeled trees. Using this coloring, we propose a new algorithm to deterministically decompose a tree into small components. This leads to an efficient algorithm to measure an accurate distance between unrooted unordered labeled trees. The second part is devoted to the alliances in graphs. We first propose a linear-time self-stabilizing algorithm for the minimal global offensive alliance set problem, under the synchronous distributed scheduler. Then, we give the first self-stabilizing algorithm for the minimal global powerful alliance set problem in arbitrary graphs. Moreover, we show how this algorithm can be adapted to find the minimal global powerful k-alliance and the minimal weighted global powerful alliance sets. We prove that all these algorithms converge in polynomial-time under the unfair distributed scheduler. Finally, based on the structural properties of the offensive alliance, we propose a solution to decentralize the signaling protocol SIP. This enables SIP applications in mobile ad hoc networks
|
9 |
Ordonnancement temps réel dur multiprocesseur tolérant aux fautes appliqué à la robotique mobile / Fault tolerant multiprocessor hard real-time scheduling for mobile roboticsMarouf, Mohamed 01 June 2012 (has links)
Nous nous sommes intéressés dans cette thèse au problème d'ordonnancement temps réel dur multiprocesseur tolérant aux fautes pour des tâches non préemptives périodiques strictes pouvant être combinées avec des tâches préemptives. Nous avons proposé des solutions à ce problème et les avons implantées dans le logiciel SynDEx puis nous les avons testées sur une application de suivi de véhicules électriques CyCabs. Nous avons d'abord présenté un état de l'art sur les systèmes temps réel embarqués et plus précisément sur l'ordonnancement classique monoprocesseur et multiprocesseur de tâches préemptives périodiques. Comme nous nous intéressons aux applications de contrôle/commande temps réel critiques, les traitements de capteurs/actionneurs et les traitements de commande de procédés ne doivent pas avoir de gigue. Pour ces raisons nous avons aussi présenté un état de l'art sur l'ordonnancement des tâches non-préemptives périodiques strictes. Par ailleurs nous avons présenté un état de l'art sur la tolérance aux fautes. Comme nous nous sommes intéressés aux fautes matérielles, nous avons présenté les deux types de redondances : logicielle et matérielle. Les analyses d'ordonnançabilité existantes de tâches non préemptives périodiques strictes dans le cas monoprocesseur ayant de faibles taux de succès d'ordonnancement, nous avons proposé une nouvelle analyse d'ordonnançabilité. Nous avons présenté une stratégie d'ordonnancement qui consiste à ordonnancer une tâche candidate avec un ensemble de tâches déjà ordonnancée. Nous avons utilisé cette stratégie pour ordonnancer des tâches harmoniques et non harmoniques, et nous avons proposé des nouvelles conditions d'ordonnançabilité. Afin d'améliorer le taux de succès d'ordonnancement de tâches non préemptives périodiques strictes, nous avons proposé de garder certaines tâches non préemptives périodiques strictes et d'y ajouter des tâches préemptives périodiques non strictes ne traitant ni les entrées/sorties ni le contrôle/commande. Nous avons ensuite étudié le problème d'ordonnancement multiprocesseur selon une approche partitionnée. Ce problème est résolu en utilisant trois algorithmes. Le premier algorithme effectue une analyse d'ordonnançabilité monoprocesseur et assigne chaque tâche sur éventuellement plusieurs processeurs. Le deuxième algorithme transforme le graphe de tâches dépendantes en un graphe déroulé où chaque tâche est répétée un nombre de fois égal au rapport entre le PPCM des autres périodes et sa période. Le troisième algorithme exploite les résultats des deux algorithmes précédents pour choisir sur quel processeur ordonnancer une tâche et calculer sa date de début d'exécution. Nous avons ensuite proposé d'étendre l'étude d'ordonnançabilité temps réel multiprocesseur précédente pour qu'elle soit tolérante aux fautes de processeurs et de bus de communication. Nous avons proposé un algorithme qui permet de transformer le graphe de tâches dépendantes en y ajoutant des tâches et des dépendances de données répliques et des tâches de sélection permettant de choisir la réplique de tâches allouée à un processeur non fautif. Nous avons étudié séparément les problèmes de tolérance aux fautes pour des processeurs, des bus de communication, et enfin des processeur et des bus de communication. Finalement nous avons étendu les trois algorithmes vus précédemment d'analyse d'ordonnançabilité, de déroulement et d'ordonnancement afin qu'ils soient tolérants aux fautes. Nous avons ensuite présenté les améliorations apportées au logiciel SynDEx tant sur le plan de l'analyse d'ordonnançabilité et l'algorithme d'ordonnancement, que sur le plan de la tolérance aux fautes. Finalement nous avons présenté les travaux expérimentaux concernant l'application de suivi de CyCabs. Nous avons modifié l'architecture des CyCabs en y intégrant des microcontrôleurs dsPICs et nous avons testé la tolérance aux fautes de dsPICs et du bus CAN sur une application de suivi de CyCab. / In this thesis, we studied the fault-tolerant multiprocessor hard real-time scheduling of non-preemptive strict periodic tasks which could be combined with preemptive tasks. We proposed solutions that we implemented into the SynDEx software, then we tested these solutions on an electric vehicle following. First, we present a state of the art on real-time embedded systems and more specificaly on the classical uniprocesseur and multiprocessor scheduling of preemptive periodic tasks. Since we were interested in critical real-time control applications, sensor/actuators computations and processes control must not have jitter. For these reasons, we also presented a state of the art of the scheduling of non-preemptive strict periodic tasks. Also, we presented a state of the art on fault-tolerance. As we were interested in hardware faults, we presented two types of redundancies: software and hardware. Presently, existing schedulability analyses of non-preemptive strict periodic tasks have low schedulability success ratios, thus we proposed a new schedulability analysis. We first presented a scheduling strategy which consists in scheduling a candidate task whereas a task set is already scheduled. We used this strategy to solve the problem of scheduling harmonic and non-harmonic tasks, and we proposed new schedulability conditions. In order to improve the scheduling success ratio of non-preemptive strict periodic tasks, we proposed to keep some non preemptive strict periodic tasks and to add preemptive periodic tasks which are neither dedicated to input/output nor to control. Then, we studied the multiprocessor scheduling problem using the partitioned approach. In order to solve this problem we proposed three algorithms. The first algorithm performs a uniprocessor schedulability analysis and assigns each task according to a schedulability condition to possibly several processors. The second algorithm transforms the dependent task graph into an unrolled graph where each task is repeated a number of times equal to the ratio between the LCM of all tasks periods and its period. The third algorithm exploits the two precedent algorithms to choose, with a cost function, on which processor it will schedule a task previously assigned to several processors, and it computes the first start times of each task. Then, we extended the multiprocessor schedulability analysis to be tolerant to processor and bus media faults. We proposed an algorithm which transforms the dependent task graph by adding redundant tasks, redundant dependencies, and selecting tasks. The latter allow to choose the redundant task allocated to non faulty processors. We studied separately the processor fault-tolerance problem, the bus fault-tolerant problem, and finally both processor and bus fault-tolerant problem. Finally, we extended the schedulability analysis algorithms, the unrolling algorithm and the scheduling algorithm to be fault-tolerant. Then, we presented the improvements provided to the SynDEx software for the schedulability analysis algorithm, the scheduling algorithm and the fault-tolerance algorithm. Finally, we conducted some experiments on the electric vehicle following called CyCab. We modified the hardware architecture of the CyCab to integrate dsPICs microcontrolers, and we tested dsPICs and CAN buses fault-tolerant on the CyCabs following.
|
Page generated in 0.0634 seconds