Dissertations / Theses on the topic 'Programmatic complexe'
To see the other types of publications on this topic, follow the link: Programmatic complexe.
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Programmatic complexe.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Самородов, Вадим Борисович, Анатолій Ігорович Бондаренко, and Андрій Павлович Кожушко. "Динаміка розгону колісних тракторів з механічною трансмісією." Thesis, Макеевский экономико-гуманитарный институт, 2014. http://repository.kpi.kharkov.ua/handle/KhPI-Press/42185.
Full textAbstract:
В роботі проаналізовані існуючі програмні комплекси, що дозволяють моделювати динаміку розгону колісних тракторів з механічною трансмісією, визначені переваги і недоліки існуючих математичних моделей процесу розгону колісних тракторів, а також випадки їх застосування.In work the analysed existent programmatic complexes, which allow to design the process of acceleration of wheeled tractor with mechanical transmission, certain advantages and lacks of existent mathematical models of process of acceleration of the wheeled tractors, and also cases of their application.
2
Potier, Martin. "Un cadre théorique pour l'intégration des niveaux d'organisation dans les modèles : Applications à l'activité spatiale et à la simulation de grandes populations de bactéries." Thesis, Paris Est, 2017. http://www.theses.fr/2017PESC1173/document.
Full textAbstract:
La description et la compréhension d'un système passe souvent par la construction d'un modèle mathématique. Ce dernier constitue un point de vue particulier sur le système (structurel, dynamique, etc.). Constituer des modèle splus complets, c'est-à-dire multi-point-de-vue, atteint rapidement les limites des formalismes qui les supportent. Une solution alternative passe par le couplage de plusieurs modèles «simples». Dans le cas où chaque modèle correspond à un niveau de description du système, comme le niveau de la molécule, le niveau de la cellule, le niveau de l'organe, pour un système biologique, nous parlerons de modélisation multi-niveau. Ces niveaux sont organisés et interagissent. Nous pensons que la modélisation multi-niveau ouvre une voie prometteuse pour l'étude des systèmes complexes, traditionnellement durs à modéliser.Nous explorons trois voies pour la compréhension du fonctionnement de ces modèles en nous restreignant à la question de la relation entre global et local, c'est à dire entre l'individu et la population. La première voie est formelle et passe par la définition mathématique de «modèle» indépendamment du formalisme qui le supporte, par la présentation des différents types de modèles que l'on peut construire et par la définition explicite des relations qu'ils entretiennent.La seconde voie est portée par l'activité, définie dans le cadre de mgs, un langage de programmation spatiale, dont le modèle de calcul est fondé sur la réécriture des collections topologiques au moyen de transformations. Nous fournissons une méthode constructive pour l'obtention d'une description de plus haut niveau (une abstraction) des systèmes étudiés en déterminant automatiquement quelle est la sous-collection active sans la nécessité de faire référence à la sous-collection quiescente.La dernière voie est pratique, elle passe par la programmation de otb, un outil de simulation parallèle pour l'étude de la morphogénèse dans une population de bactéries ecoli. Pour otb, nous avons conçu un algorithme générique de calcul parallèle d'un automate cellulaire en deux dimensions, adapté aux cartesgraphiques grand public. Le modèle embarqué dans otb correspond au couplage de trois modèles correspondant chacun à un niveau de description du système: le modèle physique, qui décrit la dynamique des collisions entre bactéries, le modèle chimique, qui décrit la réaction et la diffusion des morphogènes, et le modèle de prise de décision, qui décrit l'interaction entre les bactéries et leur supportWe often build mathematical models to describe and understand what a systemdoes.Each model gives a specific point of view on the system (structure, dynamics,etc.).Building more comprehensive models that encompass many different points of viewis limited by the formalism they are written in.Coupling “simple” models to form a bigger one is an alternative.If each model corresponds to a level of description of the system, e.g., themolecular level, the cellular level, the organ level in biology, then we callthis technique multi-level modelling.Levels of description are organized and interact with each other.We think that multi-level modelling is a promising technique to model complexsystems, which are known to be difficult to model.We have opened three distinct research tracks to investigate the link betweenlocal and global properties, for instance between those of an entity and itspopulation — a classical opposition in complex systems.On the first track, we give precise definitions of a model — independentlyof its underlying formalism, of a system and of some of the relations modelshave (validation, abstraction, composition).We also introduce different classes of models and show how they relate to someclassical definitions (dynamic models, spatial models, etc.)On the second track, we look at mgs, a spatial programming language based onthe rewriting of topological collections by means of transformation functions.We present a constructive method giving us access to a higher level ofdescription of the system (an abstraction). This method automatically computesthe active sub-collection of a model, without any knowledge about the quiescentsub-collection, and follows it for each time step.Finally, on the third track, we present otb, a parallel simulator for thestudy of morphogenesis in a population of ecoli bacteria. We provide a genericalgorithm for the parallel simulation of two-dimensional cellular automataon general-purpose graphics cards.otb itself is built around a multi-level model for the population of bacteria.This model is the result of the coupling of three “simple” (base) models: aphysical model, describing how bacteria collide, a chemical model, describinghow morphogenes react and diffuse, and a decision model, describing how bacteriaand their environment interact
3
Minnucci, Mark (Mark E. ). "Framework for the reduction of programmatic risk on complex systems projects." Thesis, Massachusetts Institute of Technology, 2010. http://hdl.handle.net/1721.1/59259.
Full textAbstract:
Thesis (S.M. in System Design and Management)--Massachusetts Institute of Technology, Engineering Systems Division, 2010.Cataloged from PDF version of thesis.
Includes bibliographical references.
"In 2008, the cumulative cost growth in the Department of Defense's (DoD) portfolio of 96 major defense acquisition programs was $296 billion and the average delay in delivering promised capabilities to the war fighter was 22 months." This statement from the Director of Acquisition and Sourcing Management of the Government Accountability Office (GAO) before a House of Representatives panel is in reference to an alarming, decades-long trend in the Defense Industry of budget and schedule overruns. Defense projects are complex systems of humans, software, and hardware interacting in unpredictable and often-uncontrolled ways. The research presented in this thesis demonstrates that component and systemic failures in DoD systems have much in common with the overruns that their executing organizations experience. Complex systems accidents occur when their control mechanisms do not sufficiently enforce constraints on system components and their interactions. Similarly, project losses, in terms of budget and schedule overruns, occur when the control mechanisms of the executing organization do not sufficiently enforce constraints on project teams and their interactions. This thesis proposes a framework based on the principles of Control Theory, Systems Safety Analysis, and Earned Value Management, which project managers can apply in order to reduce programmatic risk on complex systems projects. The objectives of the thesis are: to provide project managers with a mechanism to control risk within the scope of the work they oversee, to provide individual contributors with a mechanism to control risk within the scope of the work they execute, to clearly demonstrate how poorly designed organization structures facilitate program losses, and to clearly demonstrate how well-designed organization structures can prevent or at the minimum mitigate program losses. At the completion of this thesis, it was found that complex systems programs have many tools at their disposal for defining relationships between elements of project scope and between teams in the executing organization. But few tools are available to specify how exactly a manager can accurately monitor and safely affect the scope elements under their control. The control structure specification and design presented within this thesis will address the primary causes of risk that lead to program losses.
Mark Minnucci.
S.M.in System Design and Management
4
Henkouche, Djamel. "Pascal relationnel : un langage de programmation de relations à structure complexe." Toulouse 3, 1990. http://www.theses.fr/1990TOU30067.
Full textAbstract:
Cette these traite de l'integration de concepts de bases de donnees et des objets a structure complexe dans les langages de programmation. On presente dans cet ouvrage un langage construit a partir du langage pascal par adjonctions de constructions inspirees du domaine des bases de donnees. Dans le premier chapitre sont enoncees les operations relationnelles a integrer dans un langage de programmation pour la prise en compte des relations et des objets a structure complexe. Le second et le troisieme chapitre decrivent le langage obtenu a partir de l'integration des outils relationnels et des outils de manipulation des objets complexes. Les instructions relationnelles sont inspirees du calcul des predicats. Dans le quatrieme chapitre sont presentes d'une part la methode de realisation du compilateur et d'autre part des algorithmes utilises. Enfin, en dernier chapitre est decrite une methode d'optimisation utilisee pour le traitement des operations relationnelles
5
Krawezik, Géraud. "Contribution à l'étude de la programmation des machines parallèles complexes." Paris 11, 2004. http://www.theses.fr/2004PA112160.
Full textAbstract:
Cette thèse a pour but l'étude de la programmation des machines parallèles complexes destinées aux grands problèmes numériques. Elle s'intéresse principalement à trois points qui sont tout d'abord l'étude des langages standards de programmation parallèle et leur efficacité respective. Ensuite nous étudions une bibliothèque de programmation parallèle tolérante aux fautes et son environnement d'exécution. Enfin nous abordons le problème des langages prospectifs, avec tout d'abord la présentation de différents langages déjà existants et leurs caractéristiques respectives qui nous permettent d'arriver à la définition d'un nouveau langage. Dans la première partie, nous montrons que le modèle de programmation OpenMP dans le cadre des machines à mémoire partagée peut surpasser en terme de performances le langage MPI qui est actuellement le langage de référence en matière de parallélisme. Mais cela se fait au détriment de la facilité de programmation qui se veut le principal attrait d'OpenMP. Dans la partie suivante, nous présentons MPICH-V, une implémentation de MPI automatiquement tolérante aux pannes, et notamment son environnement d'exécution en en examinant trois aspects primordiaux qui sont le lancement distribué, les connexions entres les nœuds de calcul, et enfin la détection des fautes. Nous discutons différents choix techniques dans chacun des cas avant d'étendre ces propositions au cadre plus large des grilles de calcul. Dans la dernière partie enfin, nous abordons les langages parallèles prospectifs et leurs détails ainsi que des exemples de programmation, avant de proposer un nouveau langage, basé sur un mécanisme de mémoire partagée et des communications programméesThe goal of this thesis?is to study the programming of complex parallel machines, which are used to solve large scale numerical problems. It mainly concentrates in three points which are first the study of standard parallel languages and their respective efficiency. Then we will study a fault tolerant parallel programming labrary and its runtime. At last we will consider the future languages, with the presentation of already existing ones and their common caracteristics before presenting the definition of a new language. In the first part, we will show that the OpenMP tool in the case of shared memory machines enables the user to get more performance than with MPI which is now the standard of parallel programming. But this is done with a high programming effort which goes against the easyness intended in OpenMP. In the next part, we will present MPICH-V, an automatic fault-tolerant implementation, and especially its runtime, by presenting three caracteristics that are important for this part, which are the remote launching, the connection between nodes and the handling of fault detection. In each case we will discuss the possible technical choices before extending them to a grid environment. At last, we will present upcoming parallel languages with different examples of their usage, before presenting our own, based on a shared memory mechanism and programmed communications
6
Santos, Peretta Igor. "Evolution de modèles différentiels de systèmes complexes concrets par programmation génétique." Thesis, Strasbourg, 2015. http://www.theses.fr/2015STRAD031/document.
Full textAbstract:
Un système est défini par les entités et leurs interrelations dans un environnement qui est déterminé par une limite arbitraire. Les systèmes complexes présentent un comportement émergent sans un contrôleur central. Les systèmes concrets désignent ceux qui sont observables dans la réalité. Un modèle nous permet de comprendre, de contrôler et de prédire le comportement du système. Un modèle différentiel à partir d'un système pourrait être compris comme une sorte de loi physique sous-jacent représenté par l'un ou d'un ensemble d'équations différentielles. Ce travail vise à étudier et mettre en œuvre des méthodes pour effectuer la modélisation des systèmes automatisée par l'ordinateur. Cette thèse pourrait être divisée en trois étapes principales, ainsi: (1) le développement d'un solveur numérique automatisé par l'ordinateur pour les équations différentielles linéaires, partielles ou ordinaires, sur la base de la formulation de matrice pour une personnalisation propre de la méthode Ritz-Galerkin; (2) la proposition d'un schème de score d'adaptation qui bénéficie du solveur numérique développé pour guider l'évolution des modèles différentiels pour les systèmes complexes concrets; (3) une implémentation préliminaire d'une application de programmation génétique pour effectuer la modélisation des systèmes automatisée par l'ordinateur. Dans la première étape, il est montré comment le solveur proposé utilise les polynômes de Jacobi orthogonaux comme base complète pour la méthode de Galerkin et comment le solveur traite des conditions auxiliaires de plusieurs types. Solutions à approximations polynomiales sont ensuite réalisés pour plusieurs types des équations différentielles partielles linéaires, y compris les problèmes hyperboliques, paraboliques et elliptiques. Dans la deuxième étape, le schème de score d'adaptation proposé est conçu pour exploiter certaines caractéristiques du solveur proposé et d'effectuer l'approximation polynômiale par morceaux afin d'évaluer les individus différentiels à partir d'une population fournie par l'algorithme évolutionnaire. Enfin, une mise en œuvre préliminaire d'une application GP est présentée et certaines questions sont discutées afin de permettre une meilleure compréhension de la modélisation des systèmes automatisée par l'ordinateur. Indications pour certains sujets prometteurs pour la continuation de futures recherches sont également abordées dans ce travail, y compris la façon d'étendre ce travail à certaines classes d'équations différentielles partielles non-linéairesA system is defined by its entities and their interrelations in an environment which is determined by an arbitrary boundary. Complex systems exhibit emergent behaviour without a central controller. Concrete systems designate the ones observable in reality. A model allows us to understand, to control and to predict behaviour of the system. A differential model from a system could be understood as some sort of underlying physical law depicted by either one or a set of differential equations. This work aims to investigate and implement methods to perform computer-automated system modelling. This thesis could be divided into three main stages: (1) developments of a computer-automated numerical solver for linear differential equations, partial or ordinary, based on the matrix formulation for an own customization of the Ritz-Galerkin method; (2) proposition of a fitness evaluation scheme which benefits from the developed numerical solver to guide evolution of differential models for concrete complex systems; (3) preliminary implementations of a genetic programming application to perform computer-automated system modelling. In the first stage, it is shown how the proposed solver uses Jacobi orthogonal polynomials as a complete basis for the Galerkin method and how the solver deals with auxiliary conditions of several types. Polynomial approximate solutions are achieved for several types of linear partial differential equations, including hyperbolic, parabolic and elliptic problems. In the second stage, the proposed fitness evaluation scheme is developed to exploit some characteristics from the proposed solver and to perform piecewise polynomial approximations in order to evaluate differential individuals from a given evolutionary algorithm population. Finally, a preliminary implementation of a genetic programming application is presented and some issues are discussed to enable a better understanding of computer-automated system modelling. Indications for some promising subjects for future continuation researches are also addressed here, as how to expand this work to some classes of non-linear partial differential equations
7
Campioni, Christine. "Formalisation et typage d'un langage fonctionnel de programmation et de manipulation d'objets complexes." Aix-Marseille 2, 1991. http://www.theses.fr/1991AIX22003.
Full textAbstract:
L'objet de cette these est la formalisation, en vue du typage, d'un langage fonctionnel de programmation et de manipulation d'objets complexes, base sur le syteme fp de backus. Ce langage est donc un langage sans variable, non type et polymorphique. Nous definissons un langage type, le langage fonctionnel sur graphes, dont le langage non type sous-jacent est celui qu'utilise le programmeur. L'idee du langage fonctionnel sur graphes, developpe a l'origine pour la formalisation de la theorie des categories, est qu'une categorie ne doit pas etre consideree comme un ensemble de fleches mais comme un graphe oriente. Le type d'un terme d'un programme type est un graphe de ce langage. Une grammaire permet de verifier si un programme est un terme bien forme du langage type. Nous definissons ensuite le langage utilisateur a partir du langage type en autorisant la suppression des types et l'omission de certaines fleches a caractere naturel dans l'ecriture des termes d'un programme. Enfin, il est propose un algorithme de controle de types qui verifie la correction d'un programme ecrit en langage utilisateur en constituant le programme correspondant en langage type
8
Derbel, Nabil. "Sur l'utilisation de la programmation dynamique différentielle pour la commande optimale de systèmes complexes." Toulouse, INSA, 1989. http://www.theses.fr/1989ISAT0036.
Full textAbstract:
Presentation de problemes avec contraintes et utilisation de la programmation dynamique differentielle pour la definition des lois de commande avec retour de sortie et pour la decomposition des systemes de grande taille
9
Yiou, Éric. "Programmation d'une sequence motrice complexe dans l'escrime et interferences entre les actions elementaires. Effets de l'expertise." Paris 11, 2001. http://www.theses.fr/2001PA112190.
Full textAbstract:
Les etudes sur l'organisation des sequences motrices ont mis en evidence l'existence d'une periode refractaire (pr) consecutive a l'initiation d'une action elementaire : si une seconde action elementaire est initiee pendant cette pr, d'une duree de 230 ms, sa performance, en termes de vitesse maximale et de duree, est affectee. Le premier objectif de cette these etait de repondre a la question de savoir si cette pr est due a l'existence d'interferences de capacite, en rapport avec la programmation des actions sequentielles, et/ou d'interference de structure, en rapport avec leur execution. Le deuxieme objectif etait d'analyser l'organisation differentielle d'une sequence motrice complexe entre novices et experts. La sequence choisie est celle de touche + fente en escrime. L'analyse du mouvement a ete realise au moyen d'accelerometres mono-axiaux et de l'activite electromyographique du deltoid anterior. Les conditions experimentales etaient les suivantes : touche, fente et touche + fente. Chez les novices, les resultats ont montre que la vitesse maximale du fleuret par rapport au support postural (vitesse maximale relative, vrmax) etait affectee lorsque la touche etait declenchee pendant les ajustements posturaux anticipateurs (apa) de la fente. Chez les experts, la performance de la touche, en terme de vitesse maximale absolue du fleuret etait comparable a celle des novices en condition touche. L'amelioration de la performance chez les experts en condition touche + fente etait due i) a ce que vrmax n'etait pas affectee par les apa de la fente et ii) a une reorganisation temporelle des actions elementaires. L'ensemble de nos resultats suggere que la pr serait due a des interferences de structure et que le systeme nerveux central programmerait la vitesse maximale des actions elementaires d'une sequence motrice complexe en fonction de ce ces interferences.
10
Coulibaly, Demba Haddad Serge. "Un langage et un environnement de conception et de développement de services web complexes." [S.l.] : [s.n.], 2009. http://basepub.dauphine.fr/xmlui/handle/123456789/1172.
Full text
11
Coulibaly, Demba. "Un langage et un environnement de conception et de développement de services web complexes." Paris 9, 2009. https://bu.dauphine.psl.eu/fileviewer/index.php?doc=2009PA090007.
Full textAbstract:
Les propriétés d'interopérabilité et de faible couplage des services web lors de la mise en place des systèmes d'information hétérogènes, font d'eux actuellement l'une des meilleures solutions techniques d'implémentation des systèmes d'information. La mise en place facile des services web devient alors une nécessité. Vu les moyens actuels de cette mise en place et les difficultés liées, nous avons proposé une contribution avec un langage basé sur les langages BPEL (Business Process Execution Language for Web Services) et Java. Notre langage vient en complément au langage BPEL en proposant une méthode de composition qui présente un service web complexe comme une classe Java. Ce langage utilisera la flexibilité, l'expressivité et la facilité d'apprentissage de Java. Il s'appuie sur la réécriture des constructeurs de BPEL pour l'orchestration des services web. Notre langage utilise son propre environnement graphique pour la composition et propose une méthodologie UML (Unified Modeling Language) de conception des services web complexes. Cette méthodologie UML a été mise en place en utilisant la notion de Model Driven Architecture. Quant à l'environnement graphique, il a été conçu à l'aide de l'outil GEF (Graphical Editing Framework) d'Eclipse. Dans ce mémoire de thèse, notre langage appelé JCWSL (Java Complex Web Service Language) a été présenté avec des exemples d'application à l'appui. De même, nous avons présenté l'environnement graphique de composition de notre langage et ainsi que sa méthodologie UML de conception conceptuelle des services web complexesThe web services properties of interoperability and loose coupling during the implementation of heterogeneous information systems now make them one of the best technical solutions for information systems implementation. The easy implementation of web services becomes a necessity. Given the current capacity of this development and the associated difficulties, we proposed a contribution with a language based on BPEL (Business Process Execution Language for Web Services) and Java. Our language is a complement to BPEL by proposing a method of composition that has a complex web service as a Java class. This language uses the flexibility, expressiveness and ease of learning of Java. It is based on rewriting BPEL constructors for web services orchestration. Our language uses its own graphical environment for composition and proposes its own UML (Unified Modeling Language) methodology to design complex web services. Our UML methodology was implemented using the concept of Model Driven Architecture. As for the graphical environment, it has been designed using the Eclipse tool GEF (Graphical Editing Framework). In this dissertation, our language called JCWSL (Java Complex Web Service Language) was presented with examples of application. Similarly, we presented a graphical environment for the composition of our language and its UML methodology for complex web services conceptual design
12
Jaber, Ghaleb. "Le langage pascal/relationnel : un langage de programmation de bases de donnees." Toulouse 3, 1987. http://www.theses.fr/1987TOU30222.
Full textAbstract:
Presentation du langage pascal/relationnel construit a partir de pascal par adjonction de constructions venant du domaine des bases de donnees ainsi que la conception et l'implantation du traducteur du langage. Les instructions relationnelles sont inspirees du calcul des predicats et permettent les operations classiques offertes par les systemes de gestion de bases de donnees relationnelles
13
Nembo, Jean. "Gestion des objets complexes persistants dans les langages de programmation : une application au langage fortran." Paris 6, 1991. http://www.theses.fr/1991PA066593.
Full textAbstract:
Cette these presente une approche d'extension d'un langage de programmation classique au support des objets complexes et des fonctionnalites bases de donnees. Apres un etat de l'art sur les differentes approches de modelisation d'objets complexes et de gestion de la persistance dans les langages de programmation, nous presentons le prototype nomme fop (fortran objets persistants), qui resulte de l'integration de la gestion des objets complexes persistants dans le langage fortran. Pour introduire les objets complexes dans ce langage, nous avons defini un modele de donnees base sur des concepts orientes objets. Un langage de definition de classes est implemente et permet de decrire les classes et les methodes associees, conformement au modele de donnees. L'architecture du systeme fop comporte deux niveaux essentiels: le premier niveau represente l'environnement de programmation et regroupe les interfaces de definition et de manipulation d'objets. Il offre un compilateur de classes, une interface graphique et le langage fortran enrichi par des mecanismes de manipulation d'objets complexes et de gestion des fonctionnalites bases de donnees. Le deuxieme niveau represente le gerant d'objets qui assure la transmission de messages aux objets, l'implementation des operateurs predefinis, la gestion des mecanismes de regroupement, de stockage et d'adressage des objets en memoire et sur disque. Pour garantir l'orthogonalite de la persistance, l'uniformite et l'homogeneite du langage fop, chaque objet est designe et manipule dans le programme via des noms attribues par l'usager ou via un identificateur genere par le systeme
14
Thanh, Phuong Nga. "Conception et planification stratégique des réseaux logistiques complexes." Nantes, 2008. http://www.theses.fr/2008NANT2067.
Full textAbstract:
Dans un contexte de forte concurrence, les entreprises cherchent à améliorer la performance de leur réseau logistique. Des changements deviennent nécessaires en cas d'obsolescence de la chaîne logistique, mais aussi à l'occasion d'événements comme des fusions ou acquisitions, des délocalisations ou un changement de conjoncture. Le but de cette thèse est de modéliser et résoudre un problème de conception et de planification stratégique des réseaux logistiques. Nous développons à cet effet des algorithmes de recherche opérationnelle. Les principales variables de décision concernent l'ouverture, l'agrandissement ou la fermeture de sites, la planification des capacités dans le temps ainsi que la gestion des flux physiques. L'objectif est de minimiser le coût total du système sur un horizon de plusieurs années, tout en satisfaisant les prévisions de demande. Plusieurs contraintes additionnelles sont prises en compte. Citons à titre d'exemple la possibilité de sous-traitance de la production ou la possibilité d'augmenter la capacité des sites au cours du temps. Le problème est modélisé par un programme linéaire en variables mixtes avec notamment des variables de décisions binaires. Trois méthodes de résolutions approchées sont développées. La première est une heuristique basée sur la relaxation linéaire et des règles d'arrondi. Une amélioration est proposée en remplaçant la relaxation linéaire par l'approche D. C. (Difference of Convex Functions). La dernière méthode est une décomposition du problème utilisant les principes de la relaxation Lagrangienne. Les résultats obtenus avec ces méthodes sont comparés aux résultats de référence obtenus avec le solveur Xpress-MPIn a context of strong competition, many companies will seok to improve the performance of their supply chain. Changes are necessary when the supply chain becomes obsolete or in case of signicative changes like mergers, outsourcing or substantial variations of the demand. This research aims at modelling and solving a supply chain design and planning problem over a strategic horizon with some operations research algorithms. The main decision variables concern the facilities that may be opened, expanded or closed, as well as capacity planning and the management of material flow along the supply chain. The objective is to minimise the total logistic cost while satisfying the demand. Additional options include, among others, the possibility to subcontract a part of the production, the possibility to increase the capacity of some facilities. The problem is modeled by a mixed-integer linear program where the integer variables are binary. Three resolution methods are developed. The first is a heuristic based on linear relaxation and some rounding procedures. An improved version of this method is developed by replacing the linear relaxation with the Difference of Convex Functions (D. C. ) approach. The last method is a decomposition method based on Lagrangean relaxation. The results of these methods are compared with the ones obtained with the solver Xpress-MP
15
GAUDIN, ETIENNE. "Contribution de la programmation par contraintes au transport : definition et resolution d'un modele complexe de gestion de flotte." Paris 7, 1997. http://www.theses.fr/1997PA077219.
Full textAbstract:
L'objectif de cette these est de montrer que la programmation par contraintes, associee a une formalisation poussee et explicite des problemes, permet de traiter globalement la gestion de flotte de transport. Nous constatons que les modeles proposes en recherche operationnelle ne sont pas toujours suffisants pour traiter les problemes reels car ils se focalisent trop sur l'optimisation au detriment des aspects planification. Pour depasser ces limitations, un modele explicite de la gestion de flotte est propose. Il permet de decrire des actions complexes composees de mouvements, d'associations et de dissociations d'objets composites et formalise les differentes contraintes assurant que ces actions sont realisables. Ce modele n'est pas purement theorique mais permet d'aborder la combinatoire des problemes de transport, contrairement a certaines approches utilisees en intelligence artificielle pour la planification. Des techniques de propagation de contraintes sont proposees pour animer ce modele. Les propagateurs locaux ou globaux decrits s'appuient sur un graphe standard en transport. Ils resolvent un probleme central, le multi-voyageur de commerce, qui traduit la relation fondamentale du modele. Ces propagateurs permettent de construire, pour la premiere fois a notre connaissance, des parcours contenant des positionnements de moyens et des vehicules decomposables. Afin de valider l'approche et de montrer son interet, un prototype est presente. Il a ete realise pour l'entreprise de transport routier tab specialisee dans le ferroutage. La description met en avant l'aspect interactif et l'architecture proposee qui integre les taches de planification. Notre architecture s'appuie sur notre formalisation de la gestion de flotte pour faire cooperer des fonctions utilisant differents principes de propagation. Ceci a permis de developper un systeme d'aide a la decision qui integre l'operateur et lui laisse le controle comme l'exige le probleme traite.
16
Boumghar, Sabéha. "Nouvelle approche de l'optimisation en temps réel des feux d'un carrefour complexe isolé par la programmation linéaire en nombres entiers." Paris 9, 2000. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=2000PA090034.
Full textAbstract:
Le carrefour à feux constitue un noeud important dans le réseau de transport urbain. Il permet d'écouler ou de stocker des flux de véhicules selon la variation du trafic. Ainsi, il est considéré comme un levier important en matière de régulation du trafic urbain. Nous nous intéressons dans le cadre de cette thèse au problème d'optimisation en temps réel des feux d'un carrefour complexe isolé afin de minimiser le temps d'attente de ses usagers. La formulation de ce problème par un programme linéaire mixte en nombres entières nous a permis d'appréhender toute sa dynamique et sa complexité. Le système bonsaï que nous proposons est une stratégie adaptative qui permet d'adapter les durées des états vert et rouge des feux en fonction des débits d'arrivée et des longueurs des files d'attente aux tronçons qui leur sont associés, et déterminer l'ordonnancement optimal des états de feux. Pour la résolution de ce problème, une approche exacte fondée sur une méthode de recherche arborescente, algorithme de BRANCH and BOUND (B & B), a été adoptée. Les expérimentations sur des carrefours fictifs et le carrefour réel situé devant l'inrets ont révélé des temps de convergence très courts de l'ordre de quelques centièmes de seconde, pour des instances du problème de 400 à 640 variables binaires. Néanmoins, nous proposons deux heuristiques permettant la réduction des temps de convergence de l'algorithme B & B. Ces heuristiques peuvent être utiles dans le cas d'un carrefour de très grande taille et dans la perspective de la régulation d'un ensemble de carrefours, voire d'un réseau. Les performances en temps d'attente ont révélé des gains de 49% en moyenne de notre stratégie bonsaï par rapport au système de plan de feux fixes implémenté sur le terrain. Ces gains peuvent atteindre 60% dans le cas d'un trafic fluide.
17
DARRACQ, MARIE-CECILE. "Analyse de la sensibilite et de la complexite de certains problemes de programmation convexe." Toulouse 3, 1999. http://www.theses.fr/1999TOU30067.
Full textAbstract:
Cette these a pour centre d'interet les problemes de programmation convexe. Dans un premier temps, on etudie la sensibilite par l'analyse du conditionnement, de sa distance aux problemes mal poses, de sa distribution et l'erreur retrograde des problemes de programmation lineaire. Dans un second temps, on analyse la complexite de la methode barriere appliquee a la resolution de problemes de programmation convexe. Nous considerons le probleme de minimisation d'une fonction objectif supposee etre analytique convexe sur un convexe ferme d'un espace vectoriel reel de dimension finie ; nous avions auparavant etudie le cas ou les contraintes sont des inegalites lineaires. La methode barriere utilisee pour resoudre le probleme fait alors intervenir une fonction barriere auto-concordante. En supposant de plus cette barriere analytique et non degeneree (i. E de hessien inversible), nous proposons un algorithme dont le but est d'obtenir une solution approchee de ce probleme. Nous montrons que la complexite de l'algorithme depend du parametre de la fonction barriere, de la tolerance, d'un parametre apparaissant deja lors de l'etude des contraintes lineaires, et de deux autres invariants dependant de la fonction barriere. Comme cas particulier nous retrouvons les bornes de complexite usuelle pour le probleme de programmation lineaire et pour le cas ou la fonction objectif est quadratique convexe.
18
Cornaz, Denis. "Programmation linéaire pour les problèmes de sous-graphes p-partis complets et les télécommunication." Paris 6, 2003. http://www.theses.fr/2003PA066070.
Full text
19
Demange, Marc. "Approximation polynomiale de problèmes NP-complets et programmation linéaire : une nouvelle mesure d'approximation et algorithmes." Paris 1, 1994. http://www.theses.fr/1994PA01A013.
Full text
20
Shen, Xueying. "Complex lot Sizing problem with parallel machines and setup carryover." Thesis, Paris Sciences et Lettres (ComUE), 2017. http://www.theses.fr/2017PSLED057/document.
Full textAbstract:
Dans cette thèse, nous étudions deux problèmes de planification de production motivés par des applications du monde réel. Tout d'abord, un problème de planification de production pour un projet de fabrication de vêtements est étudié et un outil d'optimisation est développé pour le résoudre. Deuxièmement, une version restreinte du problème de dimensionnement du lot de capacité avec des configurations dépendantes de la séquence est explorée. Diverses formulations mathématiques sont développées et une analyse de complexité est effectuée pour donner une première analyse du problèmeIn this thesis, we study two production planning problems motivated by challenging real-world applications. First, a production planning problem for an apparel manufacturing project is studied and an optimization tool is developed to tackle it. Second, a restricted version of the capacitated lot sizing problem with sequence dependent setups is explored. Various mathematical formulations are developed and complexity analysis is performed to offer a first glance to the problem
21
Georgé, Jean-Pierre. "Résolution de problèmes par émergence : étude d'un environnement de programmation émergente." Toulouse 3, 2004. http://www.theses.fr/2004TOU30088.
Full textAbstract:
Nous proposons la réalisation d'un Environnement de Programmation Emergente, permettant de concevoir des systèmes complexes adaptatifs afin de répondre au problème de complexité croissante de la programmation, au problème du dynamisme du système et de l'environnement, ainsi qu'à la méconnaissance du problème et de la solution. Pour cela, nous utilisons comme bases le concept de l'émergence et la technologie des systèmes multi-agents dont le fonctionnement repose sur des mécanismes d'Auto-organisation coopératifs conformes à la théorie AMAS (Adaptive Multi-Agent Systems). L'objectif général est alors de réaliser un langage complet de programmation dans lequel chaque instruction est un agent autonome cherchant à être coopératif avec les autres agents du système, ainsi qu'avec l'environnement du système. En dotant ces agents-instructions de mécanismes d'auto-organisation, nous obtenons un système capable de s'adapter continuellement à la tâche requise par le programmeur (i. E. De s'auto-programmer suivant les besoins). Le travail présenté dans ce document montre la faisabilité d'un tel concept en spécifiant, puis en soumettant à expérimentation, un noyau consacré à un sous-ensemble du calcul mathématique. Parallèlement, cette approche par Emergence est généralisée à tout type de résolution de problèmes. Nous proposons une réflexion sur les caractéristiques particulières du problème de la programmation émergente en particulier et des problèmes traitables par auto-organisation en général. Nous définissons alors un cadre strict pour l'utilisation des mécanismes de réorganisation afin que ceux-ci permettent l'apparition de ce phénomène si particulier, l'émergenceWe propose to realize an Emergent Programming Environment enabling the design of complex adaptive systems, based on emergence and multi-agent systems, so as to meet the future needs in computer science. The general aim is to realize a complete programming language in which each instruction is an autonomous agent trying to be constantly cooperative. By giving these instruction-agents self-organizing mechanisms, we obtain a system able to continuously adapt itself to the task required by the user. The work presented in this document shows the feasibility of this concept by specifying, and then putting to experimentation, a core dedicated to a subset of mathematical calculus. In parallel, this approach by emergence is generalized to any type of problem solving. We propose a discussion and a framework for problems manageable by self-organization
22
Toledo, Rodrigo. "Visualisation interactive de modèles complexes avec les cartes graphiques programmables." Thesis, Nancy 1, 2007. http://www.theses.fr/2007NAN10073/document.
Full textAbstract:
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 polygonauxThe 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
23
Morin, Pierre-Antoine. "Planification et ordonnancement de projets sous contraintes de ressources complexes." Thesis, Toulouse 3, 2018. http://www.theses.fr/2018TOU30291/document.
Full textAbstract:
La structure de projet se retrouve dans de nombreux contextes de l'industrie et des services. Il s'agit de réaliser un ensemble d'activités pouvant être connectées par des liens logiques de séquence (antériorité), en faisant appel à des ressources disponibles en quantité limitée. L'objectif est la minimisation d'un critère généralement lié à la durée ou au coût du projet. La plupart des problèmes d'ordonnancement de projet dans la littérature considèrent une unité de temps commune pour la détermination des dates d'exécution des activités et pour l'évaluation instantanée du respect des capacités des ressources qu'elles utilisent. Or, s'il est souvent nécessaire en pratique d'obtenir un calendrier détaillé des plages d'exécution des activités, l'utilisation des ressources peut être évaluée sur un horizon plus agrégé, comme par exemple les quarts de travail des employés. Dans cette thèse, un nouveau modèle intégrant ces deux échelles de temps est présenté afin de définir le problème d'ordonnancement de projet avec agrégation périodique des contraintes de ressources (PARCPSP). Ce problème est étudié du point de vue de la théorie de la complexité et des propriétés structurelles sont établies, mettant notamment en évidence des différences majeures avec le problème classique d'ordonnancement de projet sous contraintes de ressources (RCPSP). De ces propriétés sont dérivées des formulations exactes basées sur la programmation linéaire en nombres entiers, comparées en termes de qualité de la relaxation linéaire. Par ailleurs, plusieurs heuristiques, telles que des algorithmes de liste, ou une méthode approchée basée sur une résolution itérative qui exploite différentes échelles de temps, sont proposées. Les résultats expérimentaux montrent l'intérêt de ces différentes méthodes et illustrent la difficulté du problèmeThe project structure arises in many fields of industry and services. It consists in performing a set of activities that may be linked by precedence relations, and use resources whose capacity is limited. The objective is to minimize a criterion usually linked to the duration or the cost of the project. Most of project scheduling problems in the literature assume that the same time scale should be used to determine activity start and completion dates and check resource constraints at each time. However, although it is often required in practice to build a precise schedule specifying the execution range of each activity, the resource usage can be evaluated on an aggregated basis, like worker shifts. In this thesis, a new model that enables the integration of these two time scales is presented in order to define the periodically aggregated resource-constrained project scheduling problem (PARCPSP). This problem is studied within the framework of complexity theory and several structural properties are established, highlighting major differences with the standard resource-constrained project scheduling problem (RCPSP). These properties allow deriving exact formulations based on integer linear programming, whose linear relaxations are compared. Moreover, several heuristics, such as schedule generations schemes, or an approached method based on a multi time scale iterative process, are proposed. Experimental results show the interest of these different methods and point out the intractability of the problem
24
Kurylo, Ievgen. "Surfaces actives pour l'activation contrôlable de la programmation moléculaire basée sur l'ADN en microfluidique." Thesis, Lille 1, 2018. http://www.theses.fr/2018LIL1I073/document.
Full textAbstract:
Les organismes vivants prennent des décisions en permanence à l’aide de réseau de réactions chimiques couplées (CRN) les unes aux autres. Cette capacité a inspirée de nombreux scientifiques qui cherchent aujourd’hui à construire des versions synthétiques de ces réseaux pour créer des systèmes dynamiques complexes. Les molécules d’ADN constituent une solution idéale pour construire de tels CRNs. Le travail de recherche présenté dans ce manuscrit vise à développer des surfaces actives qui permettent d’interagir avec la PEN toolbox en environnement microfluidique afin de pouvoir utiliser pleinement le potentiel de tels systèmes moléculaires. Nous avons étudié l’utilisation de la PEN toolbox en microfluidique en explorant différents paramètres. Nous discuterons ensuite de la réalisation de surfaces actives et de leur caractérisation. Celles-ci sont concues pour permettre l’immobilisation de brins d’ADN via une liaison thiol et leur largage en solution en rompant électro-chimiquement cette liaison. Nous discuterons également d’aspect technique permettant l’intégration aisée d’une telle stratégie dans des dispositifs microfluidiques. Par la suite, nous montrerons qu’il est possible de contrôler spatio-temporellement le largage d’instructions à base d’ADN. Pour ce faire, nous nous appuierons sur une version plus évoluée de l’auto-catalyseur présenté précédemment. Nous mettrons en évidence qu’il est possible d’initier de façon contrôlée des phénomènes de réaction-diffusion dans des canaux microfluidiques.Pour finir, nous ouvrirons des perspectives pour la conception de surface actives permettant un niveau de contrôle encore plus grand des systèmes moléculairesLiving organisms perform complex information processing tasks with a help of intertwined chemical reaction networks (CRNs) and diffusion processes. These biological phenomena inspired scientists to design from the bottom-up dynamical systems with complex spatiotemporal behaviour. DNA provides a perfect solution for building these synthetic CRNs. Our research work focused on designing active surfaces with the aim to provide a convenient way to interact in microfluidics with the PEN toolbox (as an example of DNA-based CRNs) and explore the full potential of these novel biochemistry tools. We will study the step by step assembly and optimisation of the PEN toolbox parameters. Next, we will discuss the construction and characterisation of active surfaces, which provide loading and controllable release of DNA input, based on formation and electrochemical cleavage of gold-thiol bond. We will also provide a technological solution to integrate these surfaces and the PEN toolbox in microfluidics. We will show controllable triggering of basic activation and autocatalysis PEN toolbox modules. We will further apply our method for spatiotemporal control of autocatalytic CRNs, which have higher stability then simple autocatalytic module while still providing an exponential signal amplification contrary to the activation module. This approach allows us to investigate and optimise the parameters of our technology. Finally, we will discuss the construction of active surfaces with irreversibly bound DNA, which provides a higher level of the PEN toolbox spatiotemporal behaviour, based on electrical polarisation and tuning the shape of surface-attached DNA patterns
25
Thomazeau, Jacques. "Une interface multimodale pour l'interrogation d'une base d'objets complexes et documentaires." Toulouse 3, 1993. http://www.theses.fr/1993TOU30056.
Full textAbstract:
Les travaux presentes dans ce memoire s'inscrivent dans le cadre de la conception d'interfaces pour objets complexes. Nous proposons une interface multimodale qui a pour vocation d'etre accessible a des utilisateurs non specialistes en facilitant la consultation d'objets complexes et documentaires. Dans un premier temps, nous avons defini un modele oriente objet adapte a la manipulation d'objets complexes. Il conserve la richesse structurelle des modeles a objets complexes, permet une manipulation d'objets via leur comportement, et offre une manipulation ensembliste des classes, grace a l'utilisation de methodes algebriques. La deuxieme partie de notre etude est consacree a la definition de l'interface. Nous proposons tout d'abord un mode d'interrogation graphique qui integre les concepts du modele oriente objet et utilise une approche hypertexte. Cette interface s'appuie sur deux principes. Le schema de la base d'objets est represente sous forme de graphes representant la semantique vehiculee a differents niveaux d'abstraction. La manipulation des objets et des classes est realisee graphiquement et se traduit par l'activation de methodes. En complement de cette interface graphique, nous proposons un deuxieme mode d'interrogation facilitant l'acces aux objets documentaires. A partir d'une requete exprimee en langage pseudo-naturel, le systeme restitue les objets documentaires juges pertinents, classes dans un ordre decroissant de ressemblance avec la requete. L'originalite de nos travaux reside dans le fait que les deux modes d'interrogation que nous avons decrits peuvent etre employes de facon complementaire pour la recherche d'objets complexes et documentaires
26
Vettor, Patrick de. "Une architecture logicielle à objets pour la conception d'applications industrielles complexes." Besançon, 1991. http://www.theses.fr/1991BESA2005.
Full textAbstract:
Les travaux présentés dans cette thèse sont une contribution aux techniques de conception d'applications industrielles complexes. L'objectif, qui a motivé ces travaux, a été de mettre au point une proposition d'architecture logicielle pour la conception particulière des applications temps réel. Cette proposition fournit les moyens de réaliser les analyses fonctionnelle et systémique indispensables à la construction d'un système structuré, organisé, et spécifique des applications de gestion des procédés industriels. Après une présentation, au chapitre I, des concepts et entités existantes du domaine des systèmes logiciels industriels, nous avons évalué, au chapitre II, les différentes familles de langages à objets sur une application inspirée du domaine de l'automobile: le simulateur de conduite. Le chapitre III propose une analyse critique des outils traditionnels de conception orientée objet et s’intéresse aux possibilités d'expression et de définition des spécifications algébriques de types abstraits de données. C'est dans le dernier chapitre que nous proposons l’intégration des différents outils et concepts précédemment évalués ou étudiés, en proposant une démarche de type orientée objet, pour tout d'abord, donner une spécification exacte des entités de l'application traitée, puis pour organiser ces dernières en un système grâce à l'emploi d'un langage d'acteurs qui va renforcer leur aspect dynamique. En dernier lieu, notre démarche aborde les problèmes de génération, à partir de cette simulation par acteurs de l'application, du système de taches temps réel. Supervisées pour la gestion effective des procédés.
27
Legendre, Audrey. "Prédiction de structures secondaires d’ARN et de complexes d’ARN avec pseudonoeuds - Approches basées sur la programmation mathématique multi-objectif." Thesis, Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLE031.
Full textAbstract:
Dans cette thèse, nous proposons de nouveaux algorithmes et outils pour la prédiction de structures secondaires d'ARN et de complexes d'ARN, incluant des motifs particuliers, difficiles à prédire, comme les pseudonœuds. La prédiction de structures d'ARN reste une tâche difficile, et les outils existants, pourtant nombreux, ne donnent pas toujours de bonnes prédictions.Afin de prédire plus précisément ces structures, nous proposons ici des algorithmes qui : i) prédisent les k-meilleures structures; ii) combinent plusieurs modèles de prédiction, afin de bénéficier des avantages de chacun; iii) sont capables de prendre en compte des contraintes utilisateurs et des données biologiques structurales telles que le SHAPE.Nous avons développé trois outils: BiokoP pour la prédiction de structures secondaires d'un ARN, et RCPred et C-RCPred pour la prédiction de structures secondaires de complexes d'ARN. L'outil BiokoP propose plusieurs structures optimales et sous-optimales grâce à la combinaison de deux modèles de prédiction, le modèle énergétique MFE et le modèle probabiliste MEA. Cette combinaison est réalisée grâce à la programmation mathématique multi-objectif, où chaque modèle est assimilé à une fonction objectif. À cet effet, nous avons développé un algorithme générique retournant les k-meilleures courbes de Pareto d'un programme linéaire en nombres entiers bi-objectif.L'outil RCPred, basé sur le modèle MFE, propose plusieurs structures sous-optimales. Il tire parti des nombreux outils existants pour la prédiction de structures secondaires d'ARN seuls et d'interactions ARN-ARN, en prenant en compte des structures secondaires et interactions déjà prédites en entrée. L'objectif de RCPred est de trouver les meilleures combinaisons possibles parmi ces entrées.L'outil C-RCPred est une nouvelle version de RCPred, prenant en compte des contraintes utilisateurs et des données biologiques structurales (SHAPE, PARS et DMS). C-RCPred est basé sur un algorithme multi-objectif, où les différents objectifs correspondent au modèle MFE, au respect des contraintes utilisateurs et à l'accord avec les données biologiques structuralesIn this thesis, we propose new algorithms and tools to predict RNA and RNA complex secondary structures, including particular RNA motifs, difficult to predict, like pseudoknots. RNA structure prediction stays a difficult task, and the numerous existing tools don't always give good predictions.In order to predict structures that are as close as possible to the real ones, we propose to develop algorithms that: i) predict the k-best structures; ii) combine several models of prediction to take advantage of each; iii) are able to take into account user constraints and structural data like SHAPE.We developed three tools: BiokoP for predicting RNA secondary structures and RCPred and C-RCPred for predicting RNA complex secondary structures.The tool BiokoP proposes several optimal and sub-optimal structures thanks to the combination oftwo prediction models, the energy model MFE and the probabilistic model MEA. This combination isdone with multi-objective mathematical programming, where each model is associated to an objective function. To this end, we developed a generic algorithm returning the k-best Pareto curves of a bi-objective integer linear program.The tool RCPred, based on the MFE model, proposes several sub-optimal structures. It takes advantage of the numerous existing tools for RNA secondary structure prediction and for RNA-RNA interaction prediction, by taking as input predicted secondary structures and RNA-RNA interactions. The goal of RCPred is to find the best combination among these inputs.The tool C-RCPred is a new version of RCPred, taking into account user constraints and structural data(SHAPE, PARS, DMS). C-RCPred is based on a multi-objective algorithm, where the different objectives are the MFE model, the fulfillment of the user constraints and the concordance with the structural data
28
Richard, Philippe. "Des objets complexes aux bases de données orienté-objet." Paris 11, 1989. http://www.theses.fr/1989PA112299.
Full textAbstract:
Le sujet de cette thèse concerne l'évolution des bases de données à partir de l'émergence du modèle relationnel. Nous distinguons deux étapes principales qui sont apparues successivement : • Les modèles à objets complexes : le modèle relationnel a permis de formaliser la notion de base de données et a apporté des solutions élégantes au problème de la modélisation et de l'interrogation des données dites de gestion. Cependant, ce modèle s'est révélé insuffisant pour la prise en compte de domaines d'application tels que la CAO ou la bureautique. Pour ce type d'applications, il est nécessaire de modéliser des données de nature plus complexe que des ensembles de n-uplets plats. Notre travail dans le projet Verso s'inscrit dans ce contexte. • Les bases de données orienté-objet : si les modèles à objets complexes apportent de solutions satisfaisantes à la prise en compte de données hautement structurées, ils n'apportent pas de solutions à la programmation d'applications de bases de données. A partir des années 1980, des systèmes sont apparus combinant les fonctionnalités des bases de données avec la puissance de calcul d'un langage de programmation général. Suivant l'approche prise, on peut parler de systèmes relationnels étendus, de langages de programmation persistants ou de systèmes de bases de données orienté-objet. Cette thèse est composée de deux parties. La première partie (chapitres I à V) constitue un état de l'art qui présente l'évolution de la recherche en bases de données, des objets complexes (chapitre II) aux langages de programmation de bases de données (chapitres III à V). La deuxième partie de cette thèse (chapitre VI) regroupe une série de publications décrivant nos travaux dans ce domaineThis thesis is concerned with the two main streams of database research: • Complex object models: the relational data model provides a good theoretical foundation for databases and data manipulation languages. However, this model lacks of semantic power for the new emerging applications of databases (CAD, CAM, Office automation). The data involved in these domains of application are structurally more complex than sets of flat tuples. Our work in the Verso project defines a model for complex objects whose operations can be implemented by a finite state automaton which filters data on the fly. • Object-oriented databases: although complex objects models provide good solutions for taking into account complex data, they fall short of solving the problem of applications programming. Their associated languages lack of the necessary computing power. In the early 80's, new systems appeared which mixed database functionalities with the computing power of a general purpose programming language. Depending of the approach, we can speak of persistent programming languages or object oriented data bases. This work is composed of two parts. The first one (Chapters I to V) presents a state of the art which describes the main results in the database research on complex objects models (chapter I) and database pro gramming languages ( chapters II to V). The second part of this thesis (Chapter VI) groups seven publications which describe our work in these two domains
29
Heudin, Jean-Claude. "Architectures fondées sur la connaissance pour l'exécution et le contrôle de processus complexes." Paris 11, 1988. http://www.theses.fr/1988PA112347.
Full textAbstract:
Cette thèse présente une contribution à la réalisation d'architectures fondées sur l'exploitation de la connaissance pour le contrôle en Temps Réel de processus complexes. Après avoir défini la complexité d'un sysème à partir de trois attributs fondamentaux : le parallélisme, le Temps réel et la Connaissance, nous étudions les techniques de la programmation temps réel et celles permettant la manipulation· de la connaissance. A partir de ces travaux, nous proposons un système exécutif temps réel distribué, basé sur un codage original sous la forme de règles de comportements et de tâches déclaratives. L'introduction de techniques d'Intelligence Artificielle dans le domaine du contrôle pose néanmoins un problème d'efficacité. Pour le résoudre, une architecture RISC spécialisée pour l'exécution du traitement symbolique est étudiée. En conclusion, nous donnons les résultats ct performances obtenus, ainsi que les perspectives de prolongements de ces travauxThis thesis describes studies upon Knowledge-based architectures for real-time control of complex processes. We first introduce a definition of complexity based on three major attributes: parallelism, Real-time and Knowledge. After a careful study of Real-time programming and Knowledge-based related techniques, we present a Real-time distributed executive, called KOSTM, based on an original encoding by means of behavior rules and declarative tasks. But, the use of Artificial Intelligence techniques magnifies the efficiency problem. J Thus, to solve this problem, we design a tagged-RISC architecture for an efficient execution of symbolic processing. As a conclusion we give results and lay out future extensions of this research
30
Piccin, Olivier. "Spécification et résolution de tâches de manipulation complexes. Application à la téléprogrammation de robots distants." Phd thesis, Université Paul Sabatier - Toulouse III, 1995. http://tel.archives-ouvertes.fr/tel-00144080.
Full textAbstract:
Les travaux présentés dans cette thèse s'inscrivent dans le contexte de la robotique de manipulation distante où les possibilités de communication entre l'opérateur et le site robotisé sont réduites. Pour accroître l'autonomie de fonctionnement du manipulateur distant, il faut pouvoir raisonner sur un modèle du robot et de son environnement de travail. En raison de la connaissance imprécise de ce dernier, il est indispensable de disposer de moyens d'identification des positions et de la taille des objets en interaction avec le robot. De plus, le caractère non répétitif et la complexité des tâches envisagées nécessitent l'emploi d'un système rapidement reconfigurable et susceptible de traiter des problèmes suffisamment généraux. Dans cette perspective, l'approche proposée de spécification de tâches par contraintes autorise une description des actions à effectuer en termes de mobilités et de contraintes de contact à établir ou maintenir entre certains corps. Les relations de contraintes résultantes sont alors traitées par un module de résolution basé sur un schéma numérique itératif de type Newton-Raphson. Un niveau important de robustesse a été atteint grâce à une gestion dynamique du conditionnement des équations qui permet un choix automatique du scénario de résolution. Les applications de l'approche incluent en premier lieu la génération de trajectoires complexes et continues pour des systèmes robotisés quelconques. La mise en place de contraintes peut aussi être exploitée pour accomplir, localement, des évitements d'obstacles. Enfin, cette démarche se prête également à la résolution de tâches de calibration des objets présents dans l'univers du robot. Cette caractéristique est essentielle dans le contexte de manipulation distante où les modèles sont mal connus a priori. Finalement, la présentation d'un scénario expérimental de suivi de joint de soudure, mis en œuvre sur un manipulateur réel, nous permet de formuler une proposition pour l'exécution de tâches robotisées sur sites distants
31
Maag, Stéphane. "Méthodes de détection des interactions de services appliquées aux systèmes de télécommunication complexes." Evry-Val d'Essonne, 2002. http://www.theses.fr/2002EVRY0011.
Full textAbstract:
Les efforts de recherche et de standardisation permettent aujourd'hui aux architectures de télécommunication, telle que le réseau intelligent, d'offrir un nombre grandissant de services complexes. Néanmoins ces services peuvent engendrer des problèmes graves au sein des systèmes de télécommunication, appelés interactions de services. Dans cette thèse, nous proposons une méthode de détection de ces interactions de services pendant la phase de spécification des systèmes de télécommunication. Cette méthode repose sur l'analyse des systèmes de télécommunication définis par des machines à états finis étendues et permet de détecter les interactions entre n-uplets de services. Elle permet aussi la réduction du nombre d'interactions détectées en prenant en compte la présence des interactions désirables. Ces problématiques sont abordées sous des angles théoriques et pratiques liés à la définition et à la mise en œuvre d'algorithmes ainsi qu'à leur application à des cas d'études réalistesNowadays, efforts on research and standardization allow the telecommunication systems, such as intelligent network, to offer an increasing number of complex services. Nevertheless, these services may create serious problems for telecommunication systems, named feature interactions. In this thesis, we propose a feature interaction detection method during the specification phase of the telecommunication systems. This method relates on the telecommunication systems analysis defined by extended finite state machines and allows to detect interactions between n-tuple of services. It also allows the reduction of the number of detected interaction by taking into account the presence of desirable interactions. We approach these problematics under theoretical and practical aspects by defining and applying algorithms and applying them to realistic case studies
32
Rarivomanana, Jens A. Saucier Gabrièle. "Système CADOC génération fonctionnelle de test pour les circuits complexes /." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00319028.
Full text
33
Bouneffa, Mourad. "Gestion des objets complexes : modélisation, évolution et intégration." Nancy 1, 1995. http://www.theses.fr/1995NAN10336.
Full text
34
Idrissi, Abdellah. "Modélisation et optimisation des systèmes complexes par des réseaux de contraintes." Amiens, 2008. http://www.theses.fr/2008AMIE0123.
Full textAbstract:
Les réseaux de contraintes (appelés aussi Programmation Par Contraintes) traitent plus particulièrement les problèmes combinatoires, c’est à dire les problèmes où plusieurs combinaisons doivent être testées. Une des caractéristiques importantes de ces réseaux de contraintes est l’aspect déclaratif. Il s’agit de décrire le problème, mais il n’est pas nécessaire de décrire comment le résoudre. Il existe dans la littérature toute une panoplie d’algorithmes résolvant ces types de problèmes. Plusieurs questions peuvent être posées, on peut citer, entre autres, existe t-il une solution, combien de solutions, etc. Et s’il n’y a pas de solution exacte, quelle est la meilleure solution. C’est pour répondre à ces questions qu’il a été conçu le formalisme des problèmes de satisfaction de contraintes (CSP pour Constraint Satisfaction Problem) ainsi que ses variantes notamment les CSP Distribués (notés DisCSP pour Distributed CSP) et les CSP Valués (notés VCSP pour Valued CSP). Ces problèmes de satisfaction de contraintes permettent de représenter, de résoudre et d’optimiser d’une manière simple un grand nombre de problèmes réels comme la planification, la conception, l’attribution de ressources, l’emploi du temps, l’ordonnancement de tâches ou plus généralement les problèmes d’aide à la décision. C’est dans ce cadre que se situent nos travaux. En effet, nous avons étudié trois catégories de problèmes : les problèmes de conflits entre agents, les problèmes d’allocation de capacités, et enfin les problèmes des réseaux mobiles ad-hoc. À chacun de ces trois problèmes, nous avons proposé une modélisation sous forme d’un réseau de contraintes, implémenté au moins un algorithme de résolution et proposé une méthode d’optimisation. Nous avons validé nos propositions par des résultats expérimentaux. Ces derniers, dans les trois cas, ont prouvé que nos différentes approches donnent des résultats très prometteursThe Constraints Network (also called Constraints Programming) treats particularly combinatorial problems, i. E. Problems where several combinations must be tested. One of the important features of a constraint network is its declarative aspect. A constraint network describes a combinatorial problem, but it is not necessary to describe how to solve the problem. There exist in the literature many algorithms solving the problem by satisfying every constraint in the constraint network describing the problem. Several questions can be asked when satisfying a constraint network. Among them we can cite: is there any solution? how many solutions? if there is no exact solution? Which is the best solution? etc. . . It is for answering to these questions that the formalism of the Constraint Satisfaction Problem (CSP) and its alternatives, in particular the Distributed CSP (noted DisCSP) and the Valued CSP (noted VCSP), were introduced. The CSP formalism and its alternatives make it possible to represent, solve, and optimize in a simple manner a large number of real problems such as the problems of planning, design, resources allocation, timetable, scheduling of tasks or more generally the problems of the decision-making aid. Our work was to use the CSP formalism to solve real combinatorial problems. We studied three categories of problems: problems of conflicts between agents, problems of capacities allocation, and problems of mobile ad hoc networks. For each one of these three problems, we proposed a modelling in form of constraint network, implemented at least an algorithm of resolution and proposed an optimization method. We validated our methods by experimental results, showing that our various approaches give very promising results
35
Ramat, Eric. "Modelisation et planification de projets complexes à contraintes de ressources : le modèle RAIH." Tours, 1997. http://www.theses.fr/1997TOUR4006.
Full textAbstract:
Les nouvelles formes de projet, les projets d'innovation par exemple, demandent une prise de risque de plus en plus grande qui se traduit par le besoin de gestion des informations incertaines et des processus complexes et mal connus. Or une mauvaise gestoin de ce risque conduit très souvent à des conséquences graves pour la poursuite du projet le modele RAIH (Réseau d'Activités Incertaines Hiérarchisées) est une réponse en terme de modélisation et de planification de projets complexes. Il propose un cadre formel de modélisation des activités et de leurs compositions. Cette approche repose sur la formulation initiale proposée par le modèle GAN (Gereralized activity network - ELM77). Nous l'enrichissons d'une sémantique liée à la notion d'incertitude d'une structuration hiérarchique et de règles de réduction adaptées. En sus de cet outil de modélisation graphique et formel. Le modèle RAIH intègre une démarche de modélisation dont le but est de permettre la définition d'un projet en terme d'organisation humaine et technique. Une collection d'indicateurs calculés permet aux décideurs de prévoir la probable configuration du projet à une date et de définir un ensemble de dates cruciales. L'introduction des contraintes de ressources dans le modèle RAIH est ensuite le problème central. Nous devons simplifier le problume, par relaxation de certaines contraintes induites par le modèle, pour permettre la planification. On introduit alors la notion de scenario. L'introduction de décalages temporiels et le calcul de la probabilité de conflit à l'instant autorisent finalement le développement d'une première méthode de résolution supportée par une procédure par séparation et évaluation et un algorithme génétique. Un environnemnt informatique réparti reposant sur le concept de client/serveur temps reel supporte l'ensemble du modèle et fournit un environnement operationnel.
36
Balev, Stefan. "Optimisation discrète et parallélisme : interactions et applications." Valenciennes, 2001. https://ged.uphf.fr/nuxeo/site/esupversions/17bd4f9b-bc3d-4afe-8bcc-9b413b1ccdd7.
Full textAbstract:
L’optimisation discrète est le noyau fédérateur de la thèse. Pour résoudre les problèmes NP-complets du domaine, les trois directions suivantes sont explorées : (i) la conception d'algorithmes efficaces par la voie d'hybridation des techniques classiques de résolution, ainsi que par l'exploitation des propriétés fondamentales du problème ; (ii) l'élaboration de méthodes heuristiques pour traiter des instances inaccessibles par les méthodes exactes ; (iii) l'utilisation performante du parallélisme pour la résolution des problèmes combinatoires. L’application d'optimisation discrète dans le parallélisme est aussi abordée dans la thèse. La parallélisation efficace d'un algorithme engendre de nombreux problèmes d'optimisation discrète, liés à l'équilibrage de charge entre processeurs, à la granularité optimale du calcul et à la réduction du surcoût de communication. Thèmes principaux : (i) problème de classification (problème d'analyse discriminante linéaire) - conception d'algorithmes efficaces séquentiels et parallèles ; (ii) problème de sac-à-dos multidimensionnel en variables 0-1 - hybridation de programmation dynamique et un système de bornes ; (iii) ordonnancement de systèmes d'équations récurrentes affines - utilisation de programmation linéaire et comparaison des méthodes différentes ; (iv) problème de pavage optimal de l'espace d'iterations pour parallelisation de nids de boucles - détermination de paramètres optimaux du pavage et application de l'approche pour comparaison de séquences génomiques.
37
Lahlou, Youssef. "Modélisation et recherche basées sur le contenu d'objets complexes : le système EMIR." Nancy 1, 1996. http://docnum.univ-lorraine.fr/public/SCD_T_1996_0058_LAHLOU.pdf.
Full text
38
Bigo, Louis. "Représentations symboliques musicales et calcul spatial." Thesis, Paris Est, 2013. http://www.theses.fr/2013PEST1074/document.
Full textAbstract:
Représentations symboliques musicales et calcul spatial. La notion d'espace symbolique est fréquemment utilisée en théorie, analyse et composition musicale. La représentation de séquences dans des espaces de hauteurs, comme le Tonnetz, permet de capturer des propriétés mélodiques et harmoniques qui échappent aux systèmes de représentation traditionnels. Nous généralisons cette approche en reformulant d'un point de vue spatial différents problèmes musicaux (reconnaissance de style, transformations mélodiques et harmoniques, classification des séries tous-intervalles, etc.). Les espaces sont formalisés à l'aide de collections topologiques, une notion correspondant à la décoration d'un complexe cellulaire en topologie algébrique. Un complexe cellulaire per- met la représentation discrète d'un espace à travers un ensemble de cellules topologiques liées les unes aux autres par des relations de voisinage spécifiques. Nous représentons des objets musicaux élémentaires (par exemple des hauteurs ou des accords) par des cellules et construisons un complexe en les organisant suivant une relation de voisinage définie par une propriété musicale. Une séquence musicale est représentée dans un complexe par une trajectoire. L'aspect de la trajectoire révèle des informations sur le style de la pièce et les stratégies de composition employées. L'application d'opérations géométriques sur les trajectoires entraîne des transformations sur la pièce musicale initiale. Les espaces et les trajectoires sont construits à l'aide du langage MGS, un langage de programmation expérimental dédié au calcul spatial, qui vise à introduire la notion d'espace dans le calcul. Un outil, HexaChord, a été développé afin de faciliter l'utilisation de ces notions pour un ensemble prédéfinis d'espaces musicauxMusical symbolic representations and spatial computing. The notion of symbolic space is frequently used in music theory, analysis and composition. Representing sequences in pitch (or chord) spaces, like the Tonnetz, enables to catch some harmonic and melodic properties that elude traditional representation systems. We generalize this approach by rephrasing in spatial terms different musical purposes (style recognition, melodic and harmonic transformations, all-interval series classification, etc.). Spaces are formalized as topological collections, a notion corresponding with the label- ling of a cellular complex in algebraic topology. A cellular complex enables the discrete representation of a space through a set of topological cells linked by specific neighborhood relationships. We represent simple musical objects (for example pitches or chords) by cells and build a complex by organizing them following a particular neighborhood relationship defined by a musical property. A musical sequence is represented in a complex by a trajectory. The look of the trajectory reveals some informations concerning the style of the piece, and musical strategies used by the composer. Spaces and trajectories are computed with MGS, an experimental programming language dedicated to spatial computing, that aims at introducing the notion of space in computation. A tool, HexaChord, has been developped in order to facilitate the use of these notions for a predefined set of musical spaces
39
Robillard, Manon. "La programmation des contenus des aides à la communication avec sortie vocale chez les jeunes enfants qui ont des besoins complexes en communication." Thesis, Laurentian University of Sudbury, 2013. https://zone.biblio.laurentian.ca/dspace/handle/10219/2031.
Full textAbstract:
La présente thèse a pour objectif la découverte de pistes pour faciliter la sélection de l’aide à la communication avec sortie vocale (ACSV) et la programmation de son vocabulaire pour les jeunes enfants âgés de 4 à 6 ans qui ont des besoins complexes en communication (BCC). Cette étude a premièrement examiné le vocabulaire de base qui doit être programmé dans les ACSV des jeunes enfants francophones et bilingues qui vivent en situation minoritaire. Cinquante-sept enfants qui fréquentent une école de langue française ont participé aux enregistrements libres en salle de classe. L’analyse du corpus a révélé que 216 mots représentent 80,15% du vocabulaire utilisé par les enfants francophones de la maternelle et du jardin. L’analyse du corpus des enfants bilingues et des enfants qui ont un trouble du langage a donné des résultats comparables. Une seule liste de 200 mots a été produite en combinant le vocabulaire à fréquence et similitude élevée de trois groupes : les francophones, les bilingues et un ensemble d’enfants présentant des troubles du langage. Ces mots devraient être programmés dans les ACSV des jeunes enfants francophones et bilingues qui fréquentent une école de lange française dans un milieu minoritaire, quelle que soit leur habileté linguistique. Ces nombres sont semblables à ceux des études qui ont été effectuées en anglais aux États-Unis et en Australie, sauf que les mots ne sont pas les mêmes. D’ailleurs, seulement 61,50 % des mots de base de notre étude se trouvent sur la liste anglaise la plus récente. Une traduction n’aurait donc pas suffi et, dans cette perspective, notre étude s’avère importante. En outre, seulement 44,50 % des mots de base de notre étude se trouvent sur la liste de sélection de vocabulaire présentement utilisée chez la population francophone au Nord de l’Ontario. L’impact des facteurs cognitifs et linguistiques sur la navigation dans les ACSV a ensuite été analysé. Soixante-cinq enfants âgés de 48 à 77 mois ont participé aux évaluations cognitives, linguistiques et à une épreuve de navigation à l’aide du iPad2™. Bien que des corrélations significatives aient été trouvées entre la navigation et plusieurs facteurs cognitifs et linguistiques, il appert, en fin de compte, que le sous-ensemble pragmatique de facteurs permettant le mieux de prédire la capacité de navigation chez les jeunes enfants inclut l’attention, la catégorisation et le raisonnement. Lors de l’évaluation en suppléance à la communication (SC), les compétences d’attention, de catégorisation et de raisonnement devraient être prises en considération afin de mieux assurer la bonne sélection de l’ACSV. Les résultats de cette étude permettent d’établir les mots nécessaires lors de la programmation des ACSV pour les jeunes enfants francophones et bilingues en milieu minoritaire, et ils suggèrent que trois sous-tests du Leiter-R pourraient être utilisés pour déterminer l’habileté de naviguer dans une ACSV qui a une pagination dynamique.
40
Chapelle, Frédéric. "Évaluation de systèmes robotiques et comportements complexes par algorithmes évolutionnaires." Paris 6, 2002. http://www.theses.fr/2002PA066073.
Full text
41
Kaiser, Laurent. "Contribution à l'analyse des TIOSMs pour la vérification de propriétés temporelles de systèmes complexes." Vandoeuvre-les-Nancy, INPL, 2001. http://www.theses.fr/2001INPL010N.
Full textAbstract:
Le contexte de cette thèse est la validation d'applications temps réel complexes, c'est- à-dire d'applications dont on doit garantir des propriétés temporelles d'ordre déterministe, et qui sont caractérisées par leur répartition et un développement relevant d'une conception multi-partenaires. Dans ce cadre, nous proposons des méthodes et des outils permettant cette validation à la fois par des approches d'analyse a priori et par des techniques formelles de tests de conformité. Une des idées de base du travail est d'utiliser le même formalisme, "Timed Input Output State Machine" (TIOSM), pour l'une et l'autre approches. Les travaux réalisés se sont traduits par plusieurs résultats. Dans les phases de validation a priori nous avons mis en œuvre une technique énumérative de construction du graphe d'accessibilité d'un système composé de plusieurs TIOSMs communiquant et un algorithme de vérification de propriétés temporelles "à la volée". Dans la phase de test, nous avons développé une méthode de génération formelle de séquences de tests temporisés, dite adaptative, dont la caractéristique est de réduire le nombre de verdicts inconclusifs. De plus, nous avons proposé une méthode de validation hybride de systèmes complexes, par application conjointe d'analyse exhaustive de parties critiques et de simulation de l'ensemble du système. Enfin, nous avons proposé des traductions de modèles (entre TIOSM et réseaux de Petri temporels et de TIOSM vers SDL)This thesis deals with validation techniques suited to real time complex applications, that is applications for which we must assure temporal properties in a deterministic way, and which are characterised by their distribution and a co-operative development process. Ln this context, we propose methods and tools for their validation both by a priori analysis approach and formaI generation of timed test sequences. The two approach are based on the same formalism named "Timed Input Output State Machine" (TIOSM). The studies led to several results. For a priori validation stage, we specified and implement an enumerative technique for the accessibility graph computation applied to several communicatfng TIOSM and an algorithm for the "on the fly" temporal verification. For the test stage, we implemented a formaI generation of timed test sequences, named adaptive tester and which main property is the decrease of inconclusive verdict number. More, we proposed a hybrid validation method by a co-ordinated use of exhaustive analysis on critical parts of a system and simulation applied to the complete system. Finally we developed model translations (TIOSM form and to Temporal Petri Nets, TIOSM to SDL)
42
Diaz, Daniel Deransart Pierre. "Étude de la compilation des langages logiques de programmation par contraintes sur les domaines finis le système clp (FD) /." Le Chesnay : INRIA, 1995. ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0329.ps.gz.
Full text
43
Carteron, Adrien. "Une approche événementielle pour le développement de services multi-métiers dédiés à l’assistance domiciliaire." Thesis, Bordeaux, 2017. http://www.theses.fr/2017BORD0963/document.
Full textAbstract:
La notion de contexte est fondamentale dans le champ de l’informatique ubiquitaire. En particulier lorsque des services assistent un utilisateur dans ses activités quotidiennes. Parce qu’elle implique plusieurs disciplines, une maison équipée d’informatique ubiquitaire dédiée au maintien à domicile de personnes âgées demande l’implication d’une variété d’intervenants, tant pour concevoir et développer des services d’assistance, que pour déployer et maintenir l’infrastructure sous-jacente. Cette grande diversité d’intervenants correspond à une diversité de contextes. Ces différents contextes sont généralement étudiés séparément, empêchant toute synergie. Cette thèse présente une méthodologie permettant d’unifier la conception et le développement de services sensibles au contexte et de répondre aux besoins de tout type d’intervenant. Dans un premier temps, nous traitons les besoins des intervenants concernant l’infrastructure de capteurs/actionneurs : installation, maintenance et exploitation. Le modèle d’infrastructure de capteurs et un ensemble de règles en résultant permettent de superviser en continu l’infrastructure et de détecter des dysfonctionnements. Cette supervision simplifie le processus de développement d’applications, en faisant abstraction des problèmes d’infrastructure. Dans un second temps, nous analysons un large éventail de services d’assistance domiciliaire dédié aux personnes âgées, en considérant la variété des besoins des intervenants. Grâce à cette analyse, nous généralisons l’approche de modèle d’infrastructure à tout type de services. Notre méthodologie permet de définir des services de façon unifiée, à travers un langage dédié, appelé Maloya, exprimant des règles manipulant les concepts d’état et d’évènement. Nous avons développé un compilateur de notre langage vers un langage événementiel dont l’exécution s’appuie sur un moteur de traitement d’évènements complexes (CEP). Nous avons validé notre approche en définissant un large éventail de services d’assistance à la personne, à partir de services existants, et concernant l’ensemble des intervenants du domaine. Nous avons compilé et exécuté les services Maloya sur un moteur de traitement d’évènements complexes. Les performances obtenues en terme de latence et d’occupation mémoire sont satisfaisantes pour le domaine et compatible avec une exécution 24 heures sur 24 sur le long termeThe notion of context is fundamental to the field of pervasive computing, and in particular when such services are dedicated to assist a user in his daily activities. Being at the crossroad of various fields, a context-aware home dedicated to aging in place involves a variety of stakeholders to design and develop assistive services, as well as to deploy and maintain the underlying infrastructure. This considerable diversity of stakeholders raises correspondingly diverse context dimensions : each service relies on specific contexts (e.g., sensor status for a maintenance service, fridge usage for a meal activity recognition service). Typically, these contexts are considered separately, preventing any synergy. This dissertation presents a methodology for unifying the design and development of various domestic context-aware services, which addresses the requirements of all the stakeholders. In a first step, we handle the needs of stakeholders concerned by the sensors infrastructure : installers, maintainers and operators. We define an infrastructure model of a home and a set of rules to continuously monitor the sensor infrastructure and raise failure when appropriate. This continuous monitoring simplifies application development by abstracting it from infrastructure concerns. In a second step, we analyze a range of services for aging in place, considering the whole diversity of stakeholders. Based on this analysis, we generalize the approach developed for the infrastructure to all assistive services. Our methodology allows to define unified services, in the form of rules processing events and states. To express such rules, we define a domain-specific design language, named Maloya. We developed a compiler from our langage using as a backend an event processing language, which is executed on a complex event processing (CEP) engine. To validate our approach, we define a wide range of assistive services with our language, which reimplement existing deployed services belonging to all of the stakeholders. These Maloya services were deployed and successfully tested for their effectiveness in performing the specific tasks of the stakeholders. Latency and memory consumption performance turned out to be fully compatible with a 24/7 execution in the long run
44
Alquier, Laurent. "Analyse et représentation de scènes complexes par groupement perceptuel : Application à la perception de structures curvilignes." Montpellier 2, 1998. http://www.theses.fr/1998MON20137.
Full textAbstract:
La detection robuste de structures courbes a partir de contours joue un role important pour de nombreux systemes de vision artificielle. Dans ce contexte, le groupement perceptuel est une contribution utile de la psycho-vision a la vision par ordinateur, avec l'apport de methodes generiques et robustes pour reduire la complexite de cette tache. Nous proposons dans cette these une methode robuste, inspiree des regles gestaltistes, pour detecter les contours saillants et en extraire des elements de representation. Cette approche est hierarchique et divisee en trois niveaux d'organisation. Le premier niveau consiste en l'optimisation d'une fonction de qualite representative des proprietes geometriques des contours a l'aide d'un reseau d'elements localement connectes. Le but de ce niveau est d'isoler les structures curvilignes les plus regulieres. Nous apportons un formalisme generique pour ce type de reseau, ainsi qu'une famille de fonctions de qualite plus stable, et un ensemble de critere pour l'optimisation et la selection des contours les plus saillants. Ces derniers servent de centre d'attention pour le second niveau de groupement. Des hypotheses de segments, d'arcs et de points d'interet sont etablies a partir des structures saillantes et groupees afin de produire un ensemble d'elements representatifs des contours de la scene. Enfin, nous illustrons le dernier niveau par une application a la detection et la mise en correspondance de jonctions entre deux images. La principale caracteristique de notre methode est une separation entre une strategie generique d'organisation et des modules de groupements specialises. Une certaine part d'ambiguite et de redondance est egalement necessaire afin de permettre la detection de structures multi-echelles. Notre travail insiste sur la manipulation de scenes complexes, sur des systemes usuels. Il a fait l'objet d'applications sur des scenes variees, depuis les images satellitaires et medicales aux scenes urbaines et d'interieur.
45
Kassi, Samir. "Développement d'un spectromètre micro-ondes à transformée de Fourier : applications spectroscopiques : des molécules stables aux complexes de Van der Waals." Lille 1, 2000. http://www.theses.fr/2000LIL10143.
Full text
46
Teste, Olivier. "Modélisation et manipulation d'entrepôts de données complexes et historisées." Phd thesis, Université Paul Sabatier - Toulouse III, 2000. http://tel.archives-ouvertes.fr/tel-00088986.
Full textAbstract:
Le mémoire de cette thèse traite de la modélisation conceptuelle et de la manipulation des données (par des algèbres) dans les systèmes d'aide à la décision. Notre thèse repose sur la dichotomie de deux espaces de stockage : l'entrepôt de données regroupe les extraits des bases sources utiles pour les décideurs et les magasins de données sont déduits de l'entrepôt et dédiés à un besoin d'analyse particulier.Au niveau de l'entrepôt, nous définissons un modèle de données permettant de décrire l'évolution temporelle des objets complexes. Dans notre proposition, l'objet entrepôt intègre des états courants, passés et archivés modélisant les données décisionnelles et leurs évolutions. L'extension du concept d'objet engendre une extension du concept de classe. Cette extension est composée de filtres (temporels et d'archives) pour construire les états passés et archivés ainsi que d'une fonction de construction modélisant le processus d'extraction (origine source). Nous introduisons également le concept d'environnement qui définit des parties temporelles cohérentes de tailles adaptées aux exigences des décideurs. La manipulation des données est une extension des algèbres objet prenant en compte les caractéristiques du modèle de représentation de l'entrepôt. L'extension se situe au niveau des opérateurs temporels et des opérateurs de manipulation des ensembles d'états.
Au niveau des magasins, nous définissons un modèle de données multidimensionnelles permettant de représenter l'information en une constellation de faits ainsi que de dimensions munies de hiérarchies multiples. La manipulation des données s'appuie sur une algèbre englobant l'ensemble des opérations multidimensionnelles et offrant des opérations spécifiques à notre modèle. Nous proposons une démarche d'élaboration des magasins à partir de l'entrepôt.
Pour valider nos propositions, nous présentons le logiciel GEDOOH (Générateur d'Entrepôts de Données Orientées Objet et Historisées) d'aide à la conception et à la création des entrepôts dans le cadre de l'application médicale REANIMATIC.
47
Mahout, Vincent. "Récurrences et fonctionnements complexes en robotique dans le contexte de tâches répétitives. Application à une structure SCARA." Toulouse, INSA, 1994. http://www.theses.fr/1994ISAT0037.
Full textAbstract:
Un robot manipulateur est, dans certaines applications, appele a executer des taches repetitives periodiques dans le temps. En considerant cette classe particuliere de mouvement, une methode originale de modelisation de trajectoire repetitive a ete proposee utilisant les fonctions recurrentes et le formalisme des matrices homogenes. Cette methode repose sur l'utilisation de la position reelle du robot (issue des informations fournies par les capteurs proprioceptifs de la structure mecanique articulee) pour calculer la nouvelle consigne a appliquer au systeme. Deux approches se distinguent. La premiere (appelee recurrence directe) utilise les caracteristiques geometriques de la tache pour modeliser des trajectoires definies dans un plan de l'espace cartesien ou de l'espace des variables articulaires. La seconde (appelee recurrence spline) utilise les fonctions polynomiales d'ordre 3 pour modeliser des taches quelconques definies dans l'espace cartesien ou dans l'espace des variables articulaires. Une seconde partie concerne la mise en evidence de fonctionnements complexes (sous-harmoniques, sur-harmoniques, harmoniques fractionnaires et chaos) en considerant un robot scara comme un systeme dynamique non lineaire. Le robot est excite periodiquement par des consignes exterieures correspondant a des taches repetitives. La structure mecanique articulee est etudiee a la fois en boucle ouverte (les consignes exterieures periodiques sont alors des grandeurs de commande envoyees aux actionneurs) et en boucle fermee (les consignes sont dans ce cas des positions/vitesses a atteindre envoyees a une loi de commande de type proportionnelle-derivee). Les techniques utilisees pour la detection et l'analyse des fonctionnements complexes sont les sections de poincare, le balayage d'un plan parametrique et le calcul des courbes de bifurcation. La troisieme partie utilise les fonctions recurrentes (notamment les recurrences splines) pour supprimer les comportements complexes observes precedemment. Les differents resultats proposes mettent en evidence que les recurrences apportent un effet stabilisant sur le systeme etudie (robot et loi de commande) et ameliorent la precision en suivi de trajectoire
48
Goubali, Olga. "Apport des techniques de programmation par démonstration dans une démarche de génération automatique d'applicatifs de contrôle-commande." Thesis, Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique, 2017. http://www.theses.fr/2017ESMA0003/document.
Full textAbstract:
Pour la conception d’un système contrôle-commande, les spécifications fonctionnelles sont à la charge des concepteurs car ce sont eux qui en maîtrisent le fonctionnement. Ces experts n’ont pourtant généralement pas les connaissances en programmation de ceux qui conçoivent le système de pilotage. Ils écrivent alors ces spécifications fonctionnelles en langage naturel, les communiquent ensuite aux concepteurs de l’interface de supervision et du programme de commande qui sont en charge de les implémenter et de les intégrer au système. Les erreurs qui découlent de l’interprétation des spécifications émanent de la différence de culture technique entre les différents intervenants du projet. De plus, suivant la complexité du système, la définition des spécifications fonctionnelles peut être fastidieuse. Nous proposons une approche de conception basée d’une part sur l’analyse de la tâche et sur les techniques du End User Development pour l’obtention de spécifications fonctionnelles validées par les experts métiers. Les techniques de l’ingénierie dirigée par les modèles sont mises en oeuvre pour générer automatiquement l’interface de spécification (qui intègre un Enregistreur, un Généralisateur, un Rejoueur, et un Correcteur), l’interface de supervision du système à piloter et son programme de commande. La démarche proposée a fait l’objet d’une preuve de concept démontrant sa faisabilité technique. Cette preuve de concept a fait l’objet d’évaluations qui ont démontré son intérêt dans le cadre de la conception de système de supervisionFor designing complex and sociotechnical systems, business experts are responsible for writing the functional specifications because of their operational expert knowledge. However, these experts do not usually own the programming knowledge of those who design supervision systems. The task of the system design expert is then to define the functional specifications. S/he writes them in natural language, and then provides them to the designers of the supervision interface and the control-command code. The designers’ job is then to implement and integrate the specifications into the system. Errors from the specification interpretation come from the difference of technical knowledge between the various partners involved in the project. Moreover, depending on the complexity of the system, the definition of functional specifications can be tedious.We propose a design approach based on task modelling and End User Development in order to obtain functional specifications validated by the business experts (mechanical engineer for example).Model-driven engineering techniques are implemented to automatically generate the specification interface (that integrates Recorder, Generalizer, Replayer, and Corrector), the system supervision interface to be piloted and its control program.The technical feasibility of the proposed approach was demonstrated through a proof of concept. This proof of concept was evaluated to demonstrate the interest of the approach in the design of supervision systems
49
Ibanez, Aurélien. "Emergence of complex behaviors from coordinated predictive control in humanoid robotics." Thesis, Paris 6, 2015. http://www.theses.fr/2015PA066325/document.
Full textAbstract:
Le problème de commande motrice de systèmes exécutant des activités multi-objectifs et fortement contraintes est à résoudre pour permettre l’émergence de comportements performants et robustes ; l’élaboration de stratégies complexes de coordination motrice est critique pour en assurer les performances, faisabilité et sécurité.Bien que les approches de commande prédictive multi-objectifs permettent la définition de stratégies complexes et sous contraintes coordonnant l’activité motrice du système, leur coût de calcul est un inconvénient critique à leur application.Le travail présenté dans ce manuscrit vise à considérer des techniques de commande prédictive multi-objectifs pour des applications pratiques à la robotique humanoïde.Une architecture de commande est alors proposée sous la forme d’un contrôleur multi-objectif à deux niveaux, exploitant les avantages respectifs des formulations prédictive et instantanée.La contribution de ce travail prend la forme de la validation des avantages d’une telle approche dans son développement pour des défis pratiques, en simulation et implémentation temps-réel, sur les robots iCub et TORO ainsi que sur des modèles d’humain.Le coût de calcul du niveau prédictif est contenu par l’introduction de problèmes réduits, permettant la formulation avantageuse de problèmes de commande au travers de programmes en nombres entiers mixtes et de distributions séquentielles et parallèles.Malgré les approximations sur la dynamique du système au niveau prédictif, des comportements complexes émergent, exploitant des stratégies de coordination entre objectifs et contraintes conflictuels pour augmenter les performances et robustesse face à des perturbationsRising to the challenge of motor control for systems involved in multi-objective and highly-constrained activities is a requirement to enable the emergence of efficient and robust behaviors; the elaboration of complex motor coordination strategies is critical in ensuring performance, feasibility and safety.Although multi-objective predictive approaches enable the definition of complex and constrained strategies coordinating the motor activity of the system, their computational cost is a critical drawback from practical applications.The work presented in this dissertation aims at considering multi-objective predictive control for feasible and practical applications to humanoid robotics.A control architecture is proposed to this purpose as a multi-objective, two-layered controller exploiting the respective advantages of predictive and instantaneous formulations.The contribution of this work takes the form of the validation of the benefits from such an approach in its development for practical challenges and applications, in simulation and real-time implementation, on the iCub and TORO robots and virtual human models.Computational demand of the predictive level is contained with the introduction of reduced multi-objective predictive problems, enabling computationally-favorable formulations of the control problem using mixed-integer programming and sequential and parallel distributions.Despite the resulting approximations on the dynamics of the system at the predictive level, complex behaviors are emerging, exploiting elaborate coordination strategies between conflicting objectives and constraints to increase performance and robustness against disturbances
50
Lefebvre, Jean-Marc. "Contribution à la spécification et à l'implantation de tâches robotiques complexes." Phd thesis, Grenoble INPG, 1989. http://tel.archives-ouvertes.fr/tel-00335739.
Full textAbstract:
Nous abordons trois aspects de la commande des robots: 1) la gestion de mouvements complexes de bras manipulateurs; 2) la prise en compte active de données de capteurs dans la gestion des déplacements; 3) la gestion d'un ensemble multi-capteurs et multi-effecteurs. Nous pressentons un générateur de trajectoires qui transforme une représentation externe compréhensible par un opérateur en une représentation interne utilisable par un algorithme d'asservissement. Nous utilisons le concept de commande gardée pour décrire des modifications de mouvements en fonction de données de capteurs. La garde (surveillance de capteurs) et la commande (modification de mouvement) sont deux processus s'exécutant en parallèle. La methode que nous développons reprend les principes proposes par Hoare concernant les processus séquentiels communicants. Nous montrons que la commande d'un ensemble multi-effecteurs et multi-capteurs peut être spécifiée a l'aide de processus séquentiels communicants. Nous proposons un ensemble de primitives permettant la prise en compte des commandes gardées et du parallélisme pour le contrôle des robots. Nous proposons également une implantation expérimentale d'un interpréteur de ces primitive