L'objectif de cette thèse est de définir une méthodologie de mise en oeuvre et de prototypage d'un progiciel de gestion d'entreprise, ou ERP (Entreprise Resources Planning). En effet, le processus de mise en oeuvre d'un tel système informatique est long, coûteux et complexe à mener. Il est donc nécessaire de définir une méthode de travail, ainsi que des outils supports associés. Les premiers chapitres sont consacrés à la présentation de la problématique et des méthodes traitant de cette problématique : les méthodes de modélisation en entreprise. Nous présentons successivement IDEF, Merise, OMT/UML, puis GRAI/GIM, CIMOSA , PERA et GERAM. Le Business Process Reengineering (BPR) est ensuite présenté, ainsi que les outils informatiques associés à ce type de démarche. Nous retenons de cet état de l'art les concepts de processus, d'activité, ainsi que le principe d'une modélisation hiérarchisée pour représenter un système industriel. Nous exposons ensuite la démarche proposée. Dans une première partie, nous abordons cette démarche de façon globale, puis en détaillons chacune des phases. Celle-ci se base sur l'intégration lors de la reconception de l'entreprise, après son analyse, des contraintes inhérentes à l'implantation d'un ERP, ainsi que des spécificités de l'ERP choisi. La seconde partie est consacrée au cœur de ce travail de recherche, c'est à dire le prototypage. Nous proposons de construire un modèle instancié par 2 vues fonctionnelle (processus d'entreprise) et opérationnelle (ERP à implanter). Pour aider le travail du consultant, nous décrivons un ensemble d'outils à mettre en œuvre, dont l'aide à la rédaction de comptes-rendus. Enfin, la dernière partie présente MIT (Mapics Implementation Tool), l'outil d'aide à la mise en œuvre de l'ERP Mapics XA. Cet outil a été développé dans le cadre d'un contrat industriel avec ILSYS, une société de service spécialisée dans la mise en œuvre de cet ERP.

L'objet de ce travail est d'étendre l'utilisation des méthodes de continuation au cas des problèmes à frontière libre du type (on l'écrit formellement F(λ, y, u) = 0) en présence de bifurcation. Les méthodes de continuation ont été largement étudiées dans le cadre de la résolution de problèmes aux limites non-linéaires, posés sur un domaine fixe, dépendant d'un paramètre. On se réfère aux travaux initialisés par H.B. Keller : (KEL77) (RHE80] (MIT80] Pour adapter ces méthodes à la résolution de problèmes à frontière libre, il a fallu considérer ces derniers comme des problèmes non-linéaires dont l'inconnue est le couple formé de la solution et d'un paramétrage de la frontière libre. Nous nous sommes inspirés des travaux de A. Dervieux consacrés à la perturbation de la solution d'un problème aux limites par rapport à son domaine géométrique [DER81], pour lier entre elles, au moins formellement, les variations de la frontière libre et celles de la solution.

L'évolution de l'environnement des entreprises a transformé la nature des relations entre elles, qui de simple relations d'achat entre clients et fournisseurs se sont transformées en des rapports plus contractualisés et plus durables. Ces derniers imposent à ces entreprises de revoir leurs méthodes de gestion et de production pour une meilleure synchronisation de leurs flux. Nous nous intéressons dans ce mémoire à une relation particulière entre clients et fournisseurs, celle fondée sur le principe de livraisons cycliques, selon lequel le fournisseur s 'engage à livrer des quantités de produits à des intervalles de temps fixes et de façon répétitive. L'intérêt de ce mode de livraison et qu'il permet, aux donneurs d'ordres, une gestion extrêmement simple des approvisionnements et facilite l'organisation des activités. Comme réponse à ce type de livraisons et afin de synchroniser leurs flux de production à ceux de livraisons, les entreprises adoptent la production cyclique. L'avantage de cette dernière est qu ;elle permet entre autres de réduire les coûts engendrés par la fabrication, et de simplifier l'organisation du travail. Notre travail consiste alors en l'évaluation et la mise en oeuvre d'un plan de production cyclique, pour un atelier de type Flow Shop pur fabricant plusieurs produits, lorsque les appels de livraisons sont cycliques. Nous proposons une nouvelle méthode déterminant un plan de production cyclique minimisant des coûts de lancements, coûts de stockage et des coûts de fabrication. Nous introduisons dans un premier temps le contexte -de notre travail en précisant les différentes hypothèses que 1 'on pose. Nous proposons par la suite une revue de la littérature sur les différents travaux réalisés, et proposons une classification des problèmes traitant de la production cyclique étudiés par la communauté scientifique. Nous exposons également la méthode que l'on propose pour la détermination d'un plan de production cyclique minimisant les différents coûts que l'on considère. Nous présentons une analyse des résultats issus de l'application de notre approche ainsi que ses variantes sur un ensemble de benchmarks générés aléatoirement et respectant les traits caractéristiques des problèmes réels. Nous réalisons une étude comparative d?s approches que l'on propose à 1 'une de celles proposées dans la littérature. Nous terminons ce mémoire par une conclusion et un ensemble de voies de recherches futures.

Dans ce travail, une méthode d'optimisation à coût fini, essentiellement locale,mais qui devient globale lorsque le nombre d'analyses croît est développée. La ± globalisation α vient de ré-initialisations probabilisées de recherches locales prenant en compte les points de départ et de convergence passés. L'optimiseur local est une version améliorée de la méthode de Nelder-Mead, où les variables sont bornées, où les contraintes d'inégalité sont prises en compte par pénalisation adaptative, et où les dégénérescences du simplexe sont traitées par ré-initialisation. Cette méthode, appelée ± Globalized and Bounded Nelder-Mead α (GBNM), est testée sur des fonctions multimodales et des problèmes de conception de stratifiés composites. Puis, des applications plus complexes sont traitées avec GBNM : l'optimisation de la raideur de flexion et l'identification des positions des sauts de plis de monopalmes de nage.

Le travail présenté ici consiste en l'édification d'un système interactif et' graphique de modélisation et de simulation. Ce travail vient après bien d'autres dont les plus approchants sont DYNASIS de JARSCH et surtout GRIPPS de HUDITZ. L'originalité tient en une ,plus grande automatisation (une décharge du travail sur la machine plus importante) du dessin ~t du traitement. Les raisons qui ont fondé ce système sont des besoins différents. D'abord un besoin pédagogique, la simulation à l'aide de la dynamique des systèmes est une *bonne approche des problèmes des systèmes complexes et des comportements contre intuitifs. Néanmoins, si la dynamique des systèmes est pédagogique, l'ennui est qu'avec les compilateur:-s habituels, le fond du problème est éludé par l'aspect technique rébarbatif de la simulation: nombreux pa~sages pour la correction .des erreurs de compilation entre autres. D'autre part, il y avait une totale déconnexion entre les travaux préliminaires, détermination des limites du modèle, dessin du graphe etc ..* , et la simulation proprement dite. Il y avait donc là un hiatus à combler. Ces remarques nous ont donc conduits à créer un système où sont intégrés et reliés les aspects de modélisation et de simulation tout en déchargeant sur la machine le plus de tâches techniques annexes possible.

Simulation software is being increasingly used in various domains for system analysis and/or behavior prediction. Traditionally, researchers and field experts need to have access to the computers that host the simulation software to do simulation experiments. With recent advances in cloud computing and Software as a Service (SaaS), a new paradigm is emerging where simulation software is used as services that are composed with others and dynamically influence each other for service-oriented simulation experiment on the Internet. The new service-oriented paradigm brings new research challenges in composing multiple simulation services in a meaningful and correct way for simulation experiments. To systematically support simulation software as a service (SimSaaS) and service-oriented simulation experiment, we propose a layered framework that includes five layers: an infrastructure layer, a simulation execution engine layer, a simulation service layer, a simulation experiment layer and finally a graphical user interface layer. Within this layered framework, we provide a specification for both simulation experiment and the involved individual simulation services. Such a formal specification is useful in order to support systematic compositions of simulation services as well as automatic deployment of composed services for carrying out simulation experiments. Built on this specification, we identify the issue of mismatch of time granularity and event granularity in composing simulation services at the pragmatic level, and develop four types of granularity handling agents to be associated with the couplings between services. The ultimate goal is to achieve standard and automated approaches for simulation service composition in the emerging service-oriented computing environment. Finally, to achieve more efficient service-oriented simulation, we develop a profile-based partitioning method that exploits a system’s dynamic behavior and uses it as a profile to guide the spatial partitioning for more efficient parallel simulation. We develop the work in this dissertation within the application context of wildfire spread simulation, and demonstrate the effectiveness of our work based on this application.

Simulation software is being increasingly used in various domains for system analysis and/or behavior prediction. Traditionally, researchers and field experts need to have access to the computers that host the simulation software to do simulation experiments. With recent advances in cloud computing and Software as a Service (SaaS), a new paradigm is emerging where simulation software is used as services that are composed with others and dynamically influence each other for service-oriented simulation experiment on the Internet. The new service-oriented paradigm brings new research challenges in composing multiple simulation services in a meaningful and correct way for simulation experiments. To systematically support simulation software as a service (SimSaaS) and service-oriented simulation experiment, we propose a layered framework that includes five layers: an infrastructure layer, a simulation execution engine layer, a simulation service layer, a simulation experiment layer and finally a graphical user interface layer. Within this layered framework, we provide a specification for both simulation experiment and the involved individual simulation services. Such a formal specification is useful in order to support systematic compositions of simulation services as well as automatic deployment of composed services for carrying out simulation experiments. Built on this specification, we identify the issue of mismatch of time granularity and event granularity in composing simulation services at the pragmatic level, and develop four types of granularity handling agents to be associated with the couplings between services. The ultimate goal is to achieve standard and automated approaches for simulation service composition in the emerging service-oriented computing environment. Finally, to achieve more efficient service-oriented simulation, we develop a profile-based partitioning method that exploits a system’s dynamic behavior and uses it as a profile to guide the spatial partitioning for more efficient parallel simulation. We develop the work in this dissertation within the application context of wildfire spread simulation, and demonstrate the effectiveness of our work based on this application.

Définitions et résultats fondamentaux sur les polyèdres convexes. Opérations sur les polyèdres convexes. contextes abstraits. Système d'équations en avant associe à un programme. Analyse approchée en avant des programmes. Analyse approchée en arrière des programmes. Primitives évoluées. Application de la méthode. Note sur l'implémentation et les performances. comparaison avec des travaux voisins.

In this thesis, we present our approach to add dynamism support to simulation environments, which adopts DEVS-based modeling and simulation approach and builds upon previous work on SiMA, a DEVS-based simulation framework developed at TUBITAK UEKAE. Defining and executing simulation models of complex and adaptive systems is often a non-trivial task. One of the requirements of simulation software frameworks for such complex and adaptive systems is that supporting variable structure models, which can change their behavior and structure according to the changing conditions. In the relevant literature there are already proposed solutions to the dynamism support problem. One particular contribution offered in this study over previous approaches is the systematic and automatic framework support for poststructural-change state synchronization among models with related couplings, in a way that benefits from the strongly-typed execution environment SiMA provides. In this study, in addition to introducing theoretical extensions to classic SiMA, performance comparisons of dynamic version with classic version over a sample Wireless Sensor Network simulation is provided and possible effects of dynamism extensions to the performance are discussed.

.