Résumé de thèse--Bucarest. / In SpringerLink. Titre de l'écran-titre (visionné le 12 mars 2010). Bibliogr. : p. 39-50. Publié aussi en version papier.

Th. doct.--Informatique--Nice, 1996. / Bibliogr. p. 149-161. Résumé en anglais et en français. 1996 d'après la déclaration de dépôt légal.

Th.--Sci. math.--Lille 1, 1977. N°: 386.

Diss.--Mathematik--Berlin--Humboldt-Universität, 1999. / Bibliogr. p. 51-54.

Th. 3e cycle--Autom. et inform.--Besançon, 1984. N°: 448.

Th.--Sci. math.--Lille 1, 1980. N°: 482. / Contient des articles.

Th. 3e cycle--Trait. inf.--Lille 1, 1977. N°: 664.

La méthode d'approximation des lieux de commutation pour la commande optimale d'un processus par approximations linéaires successives de leurs projections sur les plans orthogonaux de 1'espace d'état des variables considérées est difficilement applicable dans le cas d'un processus dont l'un des paramètres varie d'une façon quelconque. Le mélangeur présente cette particularité si l'on considère qu'il peut être représenté par une constante de temps dépendante de la valeur du débit à la sortie. Les équations décrivant le fonctionnement d'un chauffe-eau avec brassage étant analogues à celles décrivant celui du mélangeur et sa réalisation étant plus simple que celle de ce dernier, le processus du chauffe-eau avec brassage est étudié ici. Les progrès de 1' électronique en ce qui a trait à la production d'éléments non-linéaires tels que les multiplicateurs permettent d'envisager la possibilité de réaliser l'approximation des lieux de commutation optimale par des polynômes dont les coefficients peuvent être adaptés continuellement à la valeur du paramètre variable si ce dernier est mesurable et de conserver ainsi des performances optimales. Pour le mélangeur, en introduisant une constante de temps de mélange et un critère de temps minimal pour ramener 1'intégrale de 1'erreur de la concentration du mélange produit à zéro, on obtient un système du -troisième ordre. Le principe du maximum donne alors une commande optimale du type "bangbang" et une possibilité de deux commutations optimales pour ramener le système à l'origine. Les approximations des surfaces et des courbes de commutation optimale sous forme de polynômes de même que 1'adaptation des vii coefficients de ces derniers en fonction du débit sont obtenus par la méthode des moindres carrés à l'aide d'm ordinateur et les résultats de la simulation sur calculatrice analogique de la commande optimale sont présentés.

Le but de notre travail est d’accélérer les méthodes de visualisation afin d’obtenir un rendu interactif de modèles volumineux. Ceci est particulièrement problématique pour les applications dont les données dépassent plusieurs millions de polygones. Ces modèles sont généralement composés de nombreux petits objets (ex : plate-forme pétrolière), ou sont très détaillés (ex : objets naturels haute qualité). Nous avons étudié la littérature qui traite de la visualisation en la classant en fonction de son échelle d’application : au niveau de la scène (visibilité des objets), macroscopique (dessin de la géométrie), mésoscopique (ajout de détails pour le rendu final) et microscopique (effets d’éclairage microscopique). Nous nous sommes particulièrement intéressés au niveau macroscopique en introduisant de nouvelles représentations de surfaces, algorithmes de conversion, et primitives basées sur le GPU. Nous classifions les modèles massifs en deux catégories commuite suit : (I) Naturels : Pour les objets très triangulés, les triangles représentent à la fois la partie macroscopique et mésoscopique. Notre idée est d’appliquer un algorithme approprié pour les mésostructures à l’objet en entier. Nous représentons les modèles naturels avec des Geometry Textures (représentation géométrique basée sur des cartes des hauteurs) en conservant la qualité de rendu et en gagnant un comportement de type LOD. (II) Industriels : Nous avons centré notre travail sur la visualisation de sites industriels dont les objets sont principalement constitués de primitives simples. Normalement elles sont triangulées avant le rendu. Nous proposons de les remplacer par nos primitives GPU implicites qui utilisent les équations originelles des primitives. Les bénéfices sont : qualité d’image, mémoire et efficacité de rendu. Nous avons aussi développé un algorithme de récupération de surface qui fourni les équations géométriques originales à partir des maillages polygonaux. / The goal of our work is to speed-up visualization methods in order to obtain interactive rendering of massive models. This is especially challenging for applications whose usual data has a significant size (millions of polygons). These massive models are usually composed either by numerous small objects (such as an oil platform) or by very detailed geometry information (such as high-quality natural models). We have reviewed the visualization literature from the scale-level point-of-view: scene (which concerns objects visibility), macroscale (covering geometry rendering issues), mesoscale (characterized by introducing details in the final rendering) and microscale (responsible for reproducing microscopic lighting effects). We have focused our contributions on the macroscale level, introducing new surface representations, conversion algorithms and GPU-based primitives. We have classified massive models into two different categories as follows: (I) Natural models: For over-tessellated objects, triangles represent both macro and mesostructures. The main idea is to use a visualization algorithm that is adequate to mesostructure but applied to the complete object. We represent natural objects through geometry textures (a geometric representation for surfaces based on height maps), preserving rendering quality and presenting LOD speed-up. (II) Manufactured models : We have focused our work on industrial plant visualization, whose objects are mostly described by combining simple primitives. Usually, these primitives are tessellated before rendering. We suggest replacing them with our GPU implicit primitives that use their original equation. The benefits are: image quality (perfect silhouette and per-pixel depth), memory and rendering efficiency. We have also developed a reverse engineering algorithm to recover original geometric equations from polygonal meshes.

Intégrer les problématiques de sécurité au cycle de développement logiciel représente encore un défi à l’heure actuelle, notamment dans les logiciels distribués. La sécurité informatique requiert des connaissances et un savoir-faire particulier, ce qui implique une collaboration étroite entre les experts en sécurité et les autres acteurs impliqués. La programmation à objets ou à base de composants est communément employée pour permettre de telles collaborations et améliorer la mise à l’échelle et la maintenance de briques logicielles. Malheureusement, ces styles de programmation s’appliquent mal à la sécurité, qui est un problème transverse brisant la modularité des objets ou des composants. Nous présentons dans cette thèse plusieurs techniques de modularisation pour résoudre ce problème. Nous proposons tout d’abord l’utilisation de la programmation par aspect pour appliquer de manière automatique et systématique des techniques de programmation sécurisée et ainsi réduire le nombre de vulnérabilités d’une application. Notre approche se focalise sur l’introduction de vérifications de sécurité dans le code pour se protéger d’attaques comme les manipulations de données en entrée. Nous nous intéressons ensuite à l’automatisation de la mise en application de politiques de sécurité par des techniques de programmation. Nous avons par exemple automatisé l’application de règles de contrôle d’accès fines et distribuées dans des web services par l’instrumentation des mécanismes d’orchestration de la plate-forme. Nous avons aussi proposé des mécanismes permettant l’introduction d’un filtrage des données à caractère privée par le tissage d’aspects assisté par un expert en sécurité. / Addressing security in the software development lifecycle still is an open issue today, especially in distributed software. Addressing security concerns requires a specific know-how, which means that security experts must collaborate with application programmers to develop secure software. Object-oriented and component-based development is commonly used to support collaborative development and to improve scalability and maintenance in software engineering. Unfortunately, those programming styles do not lend well to support collaborative development activities in this context, as security is a cross-cutting problem that breaks object or component modules. We investigated in this thesis several modularization techniques that address these issues. We first introduce the use of aspect-oriented programming in order to support secure programming in a more automated fashion and to minimize the number of vulnerabilities in applications introduced at the development phase. Our approach especially focuses on the injection of security checks to protect from vulnerabilities like input manipulation. We then discuss how to automate the enforcement of security policies programmatically and modularly. We first focus on access control policies in web services, whose enforcement is achieved through the instrumentation of the orchestration mechanism. We then address the enforcement of privacy protection policies through the expert-assisted weaving of privacy filters into software. We finally propose a new type of aspect-oriented pointcut capturing the information flow in distributed software to unify the implementation of our different security modularization techniques.