Spelling suggestions: "subject:"indo""
91 |
Test et évalutation de la robustesse de la couche fonctionnelle d'un robot autonome.Chu, Hoang-Nam 01 September 2011 (has links) (PDF)
La mise en oeuvre de systèmes autonomes nécessite le développement et l'utilisation d'architectures logicielles multi-couches qui soient adaptées. Typiquement, une couche fonctionnelle renferme des modules en charge de commander les éléments matériels du système et de fournir des services élémentaires. Pour être robuste, la couche fonctionnelle doit être dotée de mécanismes de protection vis-à-vis de requêtes erronées ou inopportunes issues de la couche supérieure. Nous présentons une méthodologie pour tester la robustesse de ces mécanismes. Nous définissons un cadre général pour évaluer la robustesse d'une couche fonctionnelle par la caractérisation de son comportement vis-à-vis de requêtes inopportunes. Nous proposons également un environnement de validation basé sur l'injection de fautes dans le logiciel de commande d'un robot simulé. Un grand nombre de cas de tests est généré automatiquement par la mutation d'une séquence de requêtes valides. Les statistiques descriptives des comportements en présence de requêtes inopportunes sont analysées afin d'évaluer la robustesse du système sous test.
|
92 |
Un environnement de spécification et de découverte pour la réutilisation des composants logiciels dans le développement des logiciels distribuésKhemakhem, Sofien 08 July 2011 (has links) (PDF)
Notre travail vise à élaborer une solution efficace pour la découverte et la réutilisation des composants logiciels dans les environnements de développement existants et couramment utilisés. Nous proposons une ontologie pour décrire et découvrir des composants logiciels élémentaires. La description couvre à la fois les propriétés fonctionnelles et les propriétés non fonctionnelles des composants logiciels exprimées comme des paramètres de QoS. Notre processus de recherche est basé sur la fonction qui calcule la distance sémantique entre la signature d'un composant et la signature d'une requête donnée, réalisant ainsi une comparaison judicieuse. Nous employons également la notion de " subsumption " pour comparer l'entrée-sortie de la requête et des composants. Après sélection des composants adéquats, les propriétés non fonctionnelles sont employées comme un facteur distinctif pour raffiner le résultat de publication des composants résultats. Nous proposons une approche de découverte des composants composite si aucun composant élémentaire n'est trouvé, cette approche basée sur l'ontologie commune. Pour intégrer le composant résultat dans le projet en cours de développement, nous avons développé l'ontologie d'intégration et les deux services "input/output convertor" et "output Matching".
|
93 |
Une approche probabiliste pour le classement d'objets incomplètement connus dans un arbre de décisionHawarah, Lamis 22 October 2008 (has links) (PDF)
Nous présentons dans cette thèse une approche probabiliste pour déterminer les valeurs manquantes des objets incomplets pendant leur classement dans les arbres de décision. Cette approche est dérivée de la méthode d'apprentissage supervisé appelée Arbres d'Attributs Ordonnées (AAO) proposée par Lobo et Numao en 2000, qui construit un arbre de décision pour chacun des attributs, selon un ordre croissant en fonction de l'Information Mutuelle entre chaque attribut et la classe. Notre approche étend la méthode de Lobo et Numao, d'une part en prenant en compte les dépendances entre les attributs pour la construction des arbres d'attributs, et d'autre part en fournissant un résultat de classement d'un objet incomplet sous la forme d'une distribution de probabilités (au lieu de la classe la plus probable). <br />Nous expliquons notre méthode et nous la testons sur des bases de données réelles. Nous comparons nos résultats avec ceux donnés par la méthode C4.5 et AAO. <br /><br />Nous proposons également un algorithme basé sur la méthode des k plus proches voisins qui calcule pour chaque objet de la base de test sa fréquence dans la base d'apprentissage. Nous comparons ces fréquences avec les résultats de classement données par notre approche, C4.5 et AAO. Finalement, nous calculons la complexité de construction des arbres d'attributs ainsi que la complexité de classement d'un objet incomplet en utilisant notre approche, C4.5 et AAO.
|
94 |
Une mesure d'inclusion entre objets structurés. Application à la classification de molécules.Wieczorek, Samuel 07 July 2009 (has links) (PDF)
L'identification de molécules bio-actives est un problème majeur pour la recherche thérapeutique et la recherche en biologie. La découverte de ces molécules repose largement sur le criblage de très grandes collections de molécules mais qui restent petites devant la taille de l'espace chimique. Dans ce contexte, les scientifiques sont demandeurs d'outils d'analyse automatique de chimiothèques et de molécules.<br />L'objectif de cette thèse est de fournir un outil de comparaison des molécules et plus généralement d'objets structurés. Nous proposons dans ce travail un algorithme générique qui identifie plusieurs sous-structures communes à entre deux objets, représentés par des graphes ou des formules logiques et évalue un degré d'inclusion entre ces objets.<br /><br />Ce degré d'inclusion correspond à un test de subsomption à valeur réelle entre formules logiques qui pourrait compléter le test de theta-subsomption classique dans les algorithmes d'apprentissage relationnel. Dans le domaine de la chimie, une mesure de similarité moléculaire a été définie à partir de deux degrés d'inclusion pour classer des molécules. L'algorithme se révèle être plus performant que les mesures de similarité et fonctions noyau auxquelles il a été comparé. Il pourra être envisagé de l'utiliser dans des problèmes de prédiction de bio-activité.
|
95 |
Utilisation d'atlas anatomiques et de modèles déformables pour la segmentation de la prostate en IRMMartin, Sébastien 17 December 2008 (has links) (PDF)
Le principal objectif de cette thèse est le développement d'outils permettant le contourage automatique de la prostate en IRM. Dans un futur proche, ces outils s'intègreront à des systèmes informatiques permettant d'assister le clinicien dans la réalisation du geste de curiethérapie de la prostate. Notre méthode se base sur l'utilisation d'un atlas anatomique et de modèles déformables pour réaliser une segmentation automatique de la prostate. La méthode se déroule suivant une approche hiérarchique en 3 étapes permettant d'intégrer efficacement différents types de connaissances a priori. Une première étape de pré-traitements permet la correction des très fortes inhomogénéités d'intensités caractéristiques des images IRM acquises par l'intermédiaire de sondes endorectales. Dans une seconde étape, l'anatomie du patient est mise en correspondance avec un atlas anatomique ; ce qui permet d'obtenir une première segmentation du rectum et de la prostate. Enfin, dans une dernière étape, deux modèles déformables évoluent successivement pour raffiner les segmentations précédemment obtenues. Dans un premier temps, le rectum est segmenté suivi de la prostate. L'intégration du rectum dans le processus de segmentation permet de contraindre l'évolution du modèle déformable de la prostate. L'atlas anatomique utilisé est construit grâce à un algorithme de recalage hybride permettant la mise en correspondance d'une population sur une référence. L'algorithme hybride en exploitant conjointement des informations géométriques et iconiques permet la construction d'atlas qui se sont avérés plus performants que ceux construits par un recalage iconique pur.
|
96 |
Rotations in 2D and 3D discrete spacesThibault, Yohan 22 September 2010 (has links) (PDF)
This thesis presents a study on rotation in 2 dimensional and 3 dimensional discrete spaces. In computer science, using floating numbers is problematic due to computation errors. Thus we chose during this thesis to work only in discrete space. In the field of computer vision, the rotation is a transformation required for many applications. Using discretized Euclidean rotation gives bad results. Then, it is necessary to develop new rotation methods adapted to the discrete spaces. We mainly studied the hinge angles that represent the discontinuity of the rotation in the discrete space. Indeed, it is possible to perform two rotations of the same digital image with two angles that are slightly different and obtain the same result. This is captured by hinge angles. Using these angles allow us to describe a discrete rotation that gives the same results than the discretized Euclidean rotation without using floating numbers. They also allow describing an incremental rotation that performs all possible rotations of a given digital image. Using hinge angles can also be extended to the rotations in 3 dimensional discrete spaces. The extension requires the multi-grids that are rotation planes containing three sets of parallel lines. These parallel lines represent the discontinuities of the rotation in 3D discrete space. Thus they are useful to describe the hinge angles in rotation planes. Multi-grids allow obtaining the same results in 3D discrete rotations than the results obtained in 2D discrete rotations. This thesis presents a study on rotation in 2 dimensional and 3 dimensional discrete spaces. In computer science, using floating numbers is problematic due to computation errors. Thus we chose during this thesis to work only in discrete space. In the field of computer vision, the rotation is a transformation required for many applications. Using discretized Euclidean rotation gives bad results. Then, it is necessary to develop new rotation methods adapted to the discrete spaces. We mainly studied the hinge angles that represent the discontinuity of the rotation in the discrete space. Indeed, it is possible to perform two rotations of the same digital image with two angles that are slightly different and obtain the same result. This is captured by hinge angles. Using these angles allow us to describe a discrete rotation that gives the same results than the discretized Euclidean rotation without using floating numbers. They also allow describing an incremental rotation that performs all possible rotations of a given digital image. Using hinge angles can also be extended to the rotations in 3 dimensional discrete spaces. The extension requires the multi-grids that are rotation planes containing three sets of parallel lines. These parallel lines represent the discontinuities of the rotation in 3D discrete space. Thus they are useful to describe the hinge angles in rotation planes. Multi-grids allow obtaining the same results in 3D discrete rotations than the results obtained in 2D discrete rotations
|
97 |
Apports du LiDAR à l'étude de la végétation des marais salés de la baie du Mont-Saint-MichelBilodeau, Clélia 13 December 2010 (has links) (PDF)
Les marais salés de la Baie du Mont-Saint-Michel forment un écosystème complexe et fragile. Afin de mieux comprendre l'organisation spatiale de la végétation de ces marais et de développer une vision synthétique de la dynamique de ce milieu, des données de télédétection optiques (orthophotographie) et altimétrique (LiDAR), ainsi que des observations de terrain ont été réunies et traitées conjointement. Le contrôle qualité des données LiDAR ayant mis en évidence un biais systématique dépendant de la hauteur et de la densité de la végétation, une correction, consistant à assigner à chaque pixel la valeur LIDAR minimale au sein d'un carré de 3x3 m, a été appliquée. Une importante base de données spatialisées a ensuite été constituée, comprenant la description en termes de végétation, d'altitude, de géomorphologie, de sédimentologie et d'utilisation agricole de près de 10 000 points d'observation répartis sur l'ensemble de la Baie. Des analyses fréquentielles ont permis de quantifier les liaisons entre les différentes espèces végétales, afin de définir les associations végétales caractéristiques des marais salés. Cette méthode a également permis de dresser la liste exhaustive des liaisons statistiques entre toutes les espèces végétales de la Baie du Mont-Saint-Michel et quatre facteurs écologiques : l'altitude, la géomorphologie, le contexte sédimentaire et le pâturage. Les variations de l'altitude moyenne des espèces végétales à l'échelle de la Baie s'expliquent par l'existence d'une double pente hydraulique qui engendre des altitudes plus élevées à l'Est et à l'Ouest de la Baie. Le contexte géomorphologique et le pâturage peuvent également modifier les valeurs d'altitude moyenne des espèces végétales, et profondément perturber le schéma classique des marais salés. La connaissance des liaisons entre les espèces végétales et les valeurs des facteurs écologiques peut constituer une aide importante à la cartographie des marais salés
|
98 |
Recherche de similarité dans du code sourceChilowicz, Michel 25 November 2010 (has links) (PDF)
La duplication de code source a de nombreuses origines : copie et adaptation inter-projets ou clonage au sein d'un même projet. Rechercher des correspondances de code copié permet de le factoriser dans un projet ou de mettre en évidence des situations de plagiat. Nous étudions des méthodes statiques de recherche de similarité sur du code ayant potentiellement subi des opérations d'édition telle que l'insertion, la suppression, la transposition ainsi que la factorisation et le développement de fonctions. Des techniques d'identification de similarité génomique sont examinées et adaptées au contexte de la recherche de clones de code source sous forme lexemisée. Après une discussion sur des procédés d'alignement de lexèmes et de recherche par empreintes de n-grams, est présentée une méthode de factorisation fusionnant les graphes d'appels de fonctions de projets au sein d'un graphe unique avec introduction de fonctions synthétiques exprimant les correspondances imbriquées. Elle utilise des structures d'indexation de suffixes pour la détermination de facteurs répétés. Une autre voie d'exploration permettant de manipuler de grandes bases indexées de code par arbre de syntaxe est abordée avec la recherche de sous-arbres similaires par leur hachage et leur indexation selon des profils d'abstraction variables. Des clones exacts de sous-arbres de forte proximité dans leurs arbres d'extraction peuvent alors être consolidés afin d'obtenir des correspondances approchées et étendues. En amont et en aval de la recherche de correspondances, des métriques de similarité sont définies afin de préselectionner les zones d'examen, affiner la recherche ou mieux représenter les résultats
|
99 |
Contribution to study and design of intelligent virtual agents : application to negotiation strategies and sequences simulationBahrammirzaee, Arash 14 December 2010 (has links) (PDF)
In this thesis, besides the developing a bilateral automated negotiation model between agents, in incomplete information state, integrating the personality effects of human on the negotiation process and outcomes, we proposed an architecture of such agents ("buyer" or "seller"). To do so, a new offer generation approach of three adaptive families of tactics has been proposed as follows : the time dependent tactics (time supposed as continuous), behavior dependent tactics, and time independent tactics.This thesis takes into consideration also the personality effects (of negotiator agent) on negotiation process and outcome. In fact, with regard to "Big five" personality model and introducing the cognitive orientations, we have developed a negotiator agent's architecture based on personality. This architecture is, mainly, inspired from the game theory. In fact, the artificial agent's cognition in terms of negotiation is considered as a certain negotiator's mental orientation favorising the concession of the negotiator agent towards one of following three equilibria (based on game theory) : Win-Lose, Lose-Win, and Win-Win According to the privileged orientation and the personality of negotiator, such a negotiator agent decides the adequate combination of tactics (models, etc) in order to modulate, consequently, the expected outcomes of negotiation
|
100 |
Analysis and design of quality link metrics for routing protocols in Wireless NetworksJavaid, Nadeem 15 December 2010 (has links) (PDF)
This dissertation endeavors to contribute enhancements in goodputsof the IEEE 802.11-based Wireless Multi-hop Networks (WMhNs).By performing exhaustive simulations, for the deep analysis and detailed assessment of both reactive (AODV, DSR, DYMO) and proactive (DSDV, FSR, OLSR) protocols for varying mobilities, speeds, network loads and scalabilities, it is observed that a routing link metric is a significant component of a routing protocol. In addition to finding all available paths, the fastest end-to-end route is selected by a link metric for the routing protocol. This study aims the quality routing. In the class of quality link metrics, Expected Transmission Count (ETX) is extensively used. Thus, the most recently proposed ETX-based metrics have been analyzed. Though, newly developed metrics over perform ETX but still they can be improved. By profound analysis and particularized comparison of routing protocols depending upon their classes (reactive and proactive) and ETX-based metrics, we come to realize that users always demand proficient networks. In fact, WMhNs are facing several troubles which they expect to be resolved by the routing protocol operating them. Consequently, the protocol depends upon the link metric for providing quality paths. So, we identify and analyze the requirements to design a new routing link metric for WMhNs. Because, considering these requirements, when a link metric is proposed, then : firstly, both the design and implementation of the link metric with a routing protocol become easy. Secondly, the underlying network issues can easily be tackled. Thirdly, an appreciable performance of the network is guaranteed. Keeping in view the issues of WMhNs, increasing demands of users and capabilities of routing protocols, we propose and implement a new quality link metric, Interference and Bandwidth Adjusted ETX (IBETX). As, MAC layer affects the link performance and consequently the route quality, the metric therefore, tackles the issue by achieving twofold MAC-awareness. Firstly, interference is calculated using cross-layered approach by sending probes to MAC layer. Secondly, the nominal bit rate information is provided to all nodes in the same contention domain by considering the bandwidth sharing mechanism of 802.11. Like ETX, our metric also calculates link delivery ratios that directly affect throughput and selects those routes that bypass dense regions in the network. Simulation results by NS-2 show that IBETX gives 19% higher through put than ETX and 10% higher than Expected Throughput (ETP). Our metric also succeeds to reduce average end-to-end delay up to 16% less than Expected Link Performance (ELP) and 24% less than ETX
|
Page generated in 0.0401 seconds