Log in

Relevant bibliographies by topics / Ingénierie des systèmes – Modèles mathématiques / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Ingénierie des systèmes – Modèles mathématiques.

Dissertations / Theses on the topic 'Ingénierie des systèmes – Modèles mathématiques'

Author: Grafiati

Published: 4 June 2021

Last updated: 25 May 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Ingénierie des systèmes – Modèles mathématiques.'

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

Tout, Hassan. "Ingénierie des systèmes d'acquisition coopérative d'information." Toulouse 1, 2003. http://www.theses.fr/2003TOU10044.

Full text

Abstract:

L'acquisition coopérative d'informations (ACI) est une problématique de recherche qui envisage la recherche d'information dans des univers ouverts composés de sources d'informations réparties, hétérogènes et autonomes. Cette thèse propose une approche globale pour concevoir et déployer un système multi-agents pour l'ACI (SACI). Cette approche est basée sur trois modèles formalisés et en interaction : i) un modèle informationnel, représenté par un graphe, qui décrit l'univers du discours d'un SACI et les préférences informationnelles des utilisateurs; ii) un modèle organisationnel, modélisé à l

APA, Harvard, Vancouver, ISO, and other styles

2

Cerrada-Lozada, Mariela. "Sur les modèles flous adaptatifs dynamiques." Toulouse, INSA, 2003. http://www.theses.fr/2003ISAT0021.

Full text

Abstract:

La contribution principale de ce travail de recherche est la proposition d'un modèle flou avec des fonctions d'appartenance dynamiques à paramètres ajustables en ligne, par un algorithme basé sur l'Apprentissage par Renforcement (AR). L'approche présentée prend en compte la dynamique des variables du système en introduisant, dans les fonctions d'appartenance d'un modèle flou, la valeur moyenne et la variance des variables d'entrée et de sortie du modèle au temps t. De cette manière, les ensembles flous se déplacent sur le domaine de discours des variables, en fonction des valeurs de la moyenne

APA, Harvard, Vancouver, ISO, and other styles

3

Morin, Gervais. "La conception à partir de modèles en ingénierie documentaire : reconstitution discursive d'environnements techniques." Limoges, 2000. http://www.theses.fr/2000LIMO2005.

Full text

Abstract:

Dans le cadre d'une evaluation des parametres susceptibles d'influencer l'efficacite de la reception du contenu de documents techniques, ce travail s'interesse a la notion de coherence, vue selon une perspective pragmatique. Les problemes souleves par cette perspective constituent un enjeu particulierement strategique en ingenierie documentaire dans la mesure ou les "aides au travail" (aides a l'accomplissement de taches, dont font partie les documents techniques) sont generalement jugees inadaptees aux besoins reels de leurs utilisateurs du fait d'un manque d'analyse de la situation dans laqu

APA, Harvard, Vancouver, ISO, and other styles

4

Koscianski, André. "Modèles de mécanique pour le temps réel." INSA de Rouen, 2004. http://www.theses.fr/2004ISAM0012.

Full text

Abstract:

Les modèles mathématiques traditionnellement présentés sous la forme d'équations différentielles peuvent être inadéquats à un usage où les contraintes de temps et de calcul sont importantes. C'est le cas des applications au temps réel tels les logiciels de simulation, contrôle, réalité virtuelle, etc. Une représentation obtenue par régression de données est souvent plus légère ; cependant le problème peut être mal posé et on n'assure pas l'obtention du comportement du phénomène étudié. Dans cette thèse, on propose l'utilisation simultanée d'un modèle mathématique et d'un ensemble de données à

APA, Harvard, Vancouver, ISO, and other styles

5

Kubiak, Philippe. "Analyse symbolique des systèmes physiques modélisés par bond graph et comportant des éléments multiports." Lille 1, 1996. http://www.theses.fr/1996LIL10218.

Full text

Abstract:

Toute etude d'un système dynamique nécessite une étape essentielle : celle de la modélisation. Bases sur la méthodologie bond graph, de récents travaux, menés au sein de l'équipe bond graph du l. A. I. L. , ont permis de dégager des méthodes de calcul permettant de déterminer formellement les modèles mathématiques associes au modèle bond graph (équation d'état, matrice de transfert dans le cas linéaire) du système étudié. Ils ont également permis de développer certains algorithmes qui depuis ont été utilises dans le cadre du projet archer (logiciel d'aide à la modélisation et à l'analyse des s

APA, Harvard, Vancouver, ISO, and other styles

6

Wouters, Laurent. "Multi-domain expert-user modeling infrastructure." Paris 6, 2013. http://www.theses.fr/2013PA066200.

Full text

Abstract:

Ce travail a été réalisé dans un contexte industriel dans l’entreprise European Aeronautics Defense and Space Company (EADS). EADS recherche donc constamment de nouveaux moyens d’analyser la sécurité du système homme-machine dans sa globalité, c'est-à-dire l’avion, les pilotes et les procédures, comme un tout. Ces analyses de sécurité sont réalisées tout au long du cycle de conception, depuis la conception préliminaire à la conception détaillée et jusqu'à la phase de certification. EADS essaye de réaliser ces analyses beaucoup plus tôt dans le cycle de conception, lorsque seulement des modèles

APA, Harvard, Vancouver, ISO, and other styles

7

Declerck, Philippe. "Analyse structurale et fonctionnelle des grands systèmes : applications à une centrale PWR 900 MW." Lille 1, 1991. http://www.theses.fr/1991LIL10153.

Full text

Abstract:

La conception des systèmes de surveillance est difficile pour les grands systèmes car leur complexité est souvent le résultat d'une structure qui interconnecte un grand nombre d'objets industriels. Ainsi, nous avons effectué l'analyse structurale du système et développé une procédure d'inclusion qui englobe le système initial dans une sur-structure particulière. Ses caractéristiques permettent la génération de nombreux résultats structuraux. Des manipulations simples donnent la décomposition canonique du graphe et les parties surveillables du processus. Cette complexité rend aussi délicate les

APA, Harvard, Vancouver, ISO, and other styles

8

Vu, Thanh Tung. "Modèles spatiaux pour la planification cellulaire." Electronic Thesis or Diss., Paris, ENST, 2012. http://www.theses.fr/2012ENST0043.

Full text

Abstract:

Dans cette thèse, nous enrichissons et appliquons la théorie des processus de Poisson spatiaux pour résoudre certains problèmes issus de la conception et du déploiement des réseaux cellulaire. Cette thèse comporte deux parties principales. La première partie est consacrée à la résolution de quelques problèmes de dimensionnement et de couverture des réseaux cellulaires. Nous calculons la probabilité de surcharge de systèmes OFDMA grâce aux inégalités de concentration et aux développements d'Edgeworth, pour lesquels nous prouvons des bornes d'erreur explicites, et nous l'appliquons à résoudre un

APA, Harvard, Vancouver, ISO, and other styles

9

Bénaben, Frédérick. "La méthode MoFoV : aide à la conception des systèmes hétérogènes." Montpellier 2, 2001. http://www.theses.fr/2001MON20178.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Arous, Ahmed. "Stratégies de localisation du (des) composant(s) défaillant(s) pour un système multi-composant." Thesis, Université Laval, 2012. http://www.theses.ulaval.ca/2012/28861/28861.pdf.

Full text

Abstract:

Dans ce mémoire nous traitons le problème de localisation du (des) composant(s) responsable(s) de la défaillance. Chaque composant est assujetti à des défaillances aléatoires. La détection de l’état d’un composant ou d’un sous-système est effectuée à l’aide de tests. L’objectif de cette recherche est d’exploiter les techniques et connaissances disponibles pour générer la séquence de tests qui permet de localiser rapidement le(s) composant(s) responsable(s) de la défaillance du système. On considère un système opérant suivant une structure série pour lequel on connaît le coût de tests et la pro

APA, Harvard, Vancouver, ISO, and other styles

11

Silveira, Marcos da. "Sur la distribution avec redondance partielle de modèles à événements discrets pour la supervision de procédés industriels." Toulouse 3, 2003. http://www.theses.fr/2003TOU30225.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Guillet, Sébastien. "Modélisation et contrôle de la reconfiguration : application aux systèmes embarqués dynamiquement reconfigurables." Lorient, 2012. http://www.theses.fr/2012LORIS275.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Malaoui, Abdessamad. "Automatisation en température par microcontrôleur d'un banc de mesure ultrasonore : applications au contrôle qualité en agroalimentaire." Aix-Marseille 1, 2005. http://www.theses.fr/2005AIX11071.

Full text

Abstract:

Ce travail porte sur la mise au point de nouveaux outils (ou l'amélioration d'outils existants), électronique, thermique et informatique pour l'analyse des ondes ultrasonores qui se propagent dans des milieux liquides. Il rassemble les contributions suivantes : - développement d'un nouveau modèle mathématique précis décrivant la vitesse ultrasonore dans l'eau pure en fonction de la température, pour étalonner les montages expérimentaux et estimer des données non mesurées. - utilisation des derniers développements innovants de l'électronique intégrée, programmable, pour la mise au point d'un mo

APA, Harvard, Vancouver, ISO, and other styles

14

Vu, Thanh Tung. "Modèles spatiaux pour la planification cellulaire." Thesis, Paris, ENST, 2012. http://www.theses.fr/2012ENST0043/document.

Full text

Abstract:

Dans cette thèse, nous enrichissons et appliquons la théorie des processus de Poisson spatiaux pour résoudre certains problèmes issus de la conception et du déploiement des réseaux cellulaire. Cette thèse comporte deux parties principales. La première partie est consacrée à la résolution de quelques problèmes de dimensionnement et de couverture des réseaux cellulaires. Nous calculons la probabilité de surcharge de systèmes OFDMA grâce aux inégalités de concentration et aux développements d'Edgeworth, pour lesquels nous prouvons des bornes d'erreur explicites, et nous l'appliquons à résoudre un

APA, Harvard, Vancouver, ISO, and other styles

15

Bouazdia, Lakhdari Dzaïr. "Etude par pénalisation d'un système d'inéquations variationnelles modélisant le comportement d'une coque cylindrique sous chargement de révolution." Ecully, Ecole centrale de Lyon, 1986. http://www.theses.fr/1986ECDL0008.

Full text

Abstract:

Le but de cette these est d'appliquer une methode de penalisation a un probleme d'elasticite lineaire. Partant d'une coque cylindrique soumise a une charge axisymetrique (effet axial - pression normale), on ecrit les equations d'equilibre en deplacement des points de la coque, apres modelisation mathematique. Les calculs sont faits sous l'hypotese que les deplacements radiaux et axiaux sont limites pour des raisons de technologie. Une formulation faible du probleme est presentee sous forme d'inequation variationnelle et la methode de penalisation bornee introduite par brauner - nicolaenko est

APA, Harvard, Vancouver, ISO, and other styles

16

Dumont, Pierre-Emmanuel. "Tolérance active aux fautes des systèmes d'instrumentation." Lille 1, 2006. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2006/50376-2006-Dumont.pdf.

Full text

Abstract:

Cette thèse s'inscrit dans la problématique de la tolérance aux fautes et plus particulièrement de la commande tolérante active aux fautes d'actionneurs. Cette dernière est appliquée à un véhicule expérimental tout électrique. Dans la première étape, le véhicule, appelé RobuCar, est modélisé, en tenant compte des dynamiques longitudinale et transversale ainsi que du lacet, par un système non linéaire affine en la commande. Ensuite, une étude de l'évolution des propriétés d'observabilité non linéaire et d'accessibilité non linéaire suite à la perte de capteurs ou d'actionneurs met en évidence l

APA, Harvard, Vancouver, ISO, and other styles

17

Bondé, Lossan. "Transformations de modèles et interopérabilité dans la conception de systèmes hétérogènes sur puce à base d'IP." Lille 1, 2006. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2006/50376-2006-Bonde.pdf.

Full text

Abstract:

Un système sur puce (SoC, pour« System on Chip ») est un circuit intégré qui comporte un ensemble de composants matériels (microprocesseurs, DSP, entrées/sorties. . . ) connectés entre eux par des bus de communication et une couche logicielle (système d'exploitation temps réel et applicatif). La conception de tels systèmes repose de plus en plus sur la réutilisation de composants virtuels (IP, pour Intellectual property). Le concepteur utilise des IPs très souvent d'origines diverses ayant des modèles hétérogènes (différents niveaux d'abstraction : comportemental, RTL, etc. ). Cette approche a

APA, Harvard, Vancouver, ISO, and other styles

18

Navarre, David. "Contribution à l' ingénierie en Interaction Homme-Machine : une technique de description formelle et un environnement pour une modélisation et une exploitation synergiques des tâches et du système." Toulouse 1, 2001. http://www.theses.fr/2001TOU10073.

Full text

Abstract:

La complexité du développement d' un système interactif est très variable puisqu' une interface peut être une ligne de commande ou faire intervenir des moyens sophistiqués d' interaction. Les processus de développement classiques ont montré leur inaptitude à couvrir le cas des systèmes interactifs. Cette thèse propose : une technique de description formelle, qui étend celle des ICO pour modéliser complètement des systèmes interactifs complexes et permettre une structuration des modèles selon une approche à objets ; un processus de développement, dans lequel vient s' inscrire une méthode de con

APA, Harvard, Vancouver, ISO, and other styles

19

Koudri, Ali. "Processus de conception conjointe logiciel matériel dirigés par les modèles." Thesis, Lille 1, 2010. http://www.theses.fr/2010LIL10181/document.

Full text

Abstract:

L'ingénierie des modèles (IDM) a depuis très largement démontré sa pertinence dans les développements logiciels; restait alors à démontrer son applicabilité dans le développement de tout système d'information. Aujourd'hui, de nombreuses expérimentations montrent avec plus ou moins de succès que l'IDM peut parfaitement supporter d'autres domaines comme le domaine du co-design ou celui de l'ingénierie des processus.Dans le domaine du co-design, les activités de conception consiste essentiellement à concevoir et analyser des systèmes implantées sur des plateformes spécifiques (SoC, MPSoC, NoC, et

APA, Harvard, Vancouver, ISO, and other styles

20

Medjaher, Kamal. "Contribution de l'outil bond graph pour la conception de systèmes de supervision des processus industriels." Lille 1, 2005. https://ori-nuxeo.univ-lille1.fr/nuxeo/site/esupversions/6bea2649-a051-44ad-be6b-6366d3a61c2d.

Full text

Abstract:

Cette recherche présente une nouvelle approche pour la conception de systèmes de supervision appliqués aux processus industriels. L'idée principale est d'utiliser les propriétés de l'outil bond graph pour la génération automatique, à partir des plans des instruments détaillés, de modèles dynamiques et d'indicateurs de défaillances formels. La connaissance générée est utilisée hors ligne pour déterminer les conditions de surveillabilité du processus en fonction du cahier des charges, et. En ligne pour la détection et la localisation de défaillances. Ces procédures ont été automatisées à l'aide

APA, Harvard, Vancouver, ISO, and other styles

21

Derode, Anne-Sophie. "Approximations de la fiabilité : cas des systèmes à réparations différées pu à composants vieillissants." Lille 1, 2007. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2007/50376-2007-75.pdf.

Full text

Abstract:

Les processus de Markov sont fréquemment utilisés pour modéliser les systèmes réparables et reconfigurables, comme par exemple les systèmes électriques. Mais dans le monde industriel, les systèmes réels sont de plus en plus complexes (redondance, grand nombre d'états, réparations sous condition. . . ) et conduisent à des modèles raides et de grande taille. Si tous les composants sont réparables et non-vieillissants, l'état initial est le seul état lent et les approximations exponentielles pour le calcul de la fiabilité sont à la fois précises et faciles à utiliser. En revanche, si les composan

APA, Harvard, Vancouver, ISO, and other styles

22

Tancogne-Dejean, Manuela. "Anticiper la crise : ingénierie d'évacuation des bâtiments et management de l'évacuation, principes et éléments." Troyes, 2012. http://www.theses.fr/2012TROY0038.

Full text

Abstract:

La mise en sécurité des personnes lors d’un incendie passe par l’évacuation des bâtiments. Dans le contexte sociétal actuel, l’évacuation doit être repensée. L’objectif est d’anticipation de la crise qui peut survenir chez les personnes face à une situation d’urgence fondées sur le comportement humain et le processus d’évacuation. La loi Accessibilité de 2005 a fait ressortir que nous sommes tous concernés à un moment ou à un autre. La présence de fumées plus ou moins toxiques, d’obstacles entravant les déplacements, de bruits étourdissants,… ont des conséquences négatives sur nos capacités et

APA, Harvard, Vancouver, ISO, and other styles

23

Labbani, Ouassila. "Modélisation à haut niveau du contrôle dans des applications de traitement systématique à parallélisme massif." Lille 1, 2006. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2006/50376-2006-Labbani.pdf.

Full text

Abstract:

Les travaux présentés dans cette thèse s'inscrivent dans le cadre des recherches menées sur la modélisation et la conception des systèmes sur puce à hautes performances. Ces systèmes sont basés sur des applications de traitement systématique à parallélisme massif opérant sur des données à plusieurs dimensions. Il est donc important de disposer de modèles capables de prendre en considération cet aspect multidimensionnel. Nous présentons les différents modèles de calcul existants pour la spécification de ces applications multidimensionnelles. Puis, nous nous intéressons au modèle Array-OL basé s

APA, Harvard, Vancouver, ISO, and other styles

24

Garde, François. "Validation et développement d'un modèle thermo-aéraulique de bâtiments en climatisation passive et active : intégration multimodèle de systèmes." La Réunion, 1997. http://elgebar.univ-reunion.fr/login?url=http://thesesenligne.univ.run/97_03_Garde.pdf.

Full text

Abstract:

Cette étude apporte une contribution à la validation et au développement d'un modèle de simulation thermo-aéraulique de bâtiment multizone en climatisation passive et active. L'ensemble des supports utilisés pour mener à bien ce travail de validation est décrit dans le premier chapitre. Après une brève description du code de calcul, nous présentons les deux supports expérimentaux qui ont servi pour nos campagnes de mesure, ainsi que l'ensemble de la chaîne d'acquisition. Le premier support est une maison en site réel, le deuxième est une cellule expérimentale équipée d'un climatiseur individue

APA, Harvard, Vancouver, ISO, and other styles

25

Hachette, Rémy. "Réduction de modèle thermique par identification : utilisation pour des conditions aux limites variables, couplage à un modèle détaillé." Aix-Marseille 1, 1995. http://www.theses.fr/1995AIX11048.

Full text

Abstract:

Ces travaux sont relatifs a la reduction de modeles de connaissance par la methode d'identification des modes dominants. On montre ici les dernieres ameliorations: en precision grace a une identification pour chaque sollicitation ; en temps de calcul par selection de quelques reponses les plus representatives de la dynamique du systeme. La methodologie adoptee ne necessite que des simulations numeriques effectuees avec le modele d'origine, associees a des algorithmes d'optimisation. Le bien fonde de la demarche est montre sur deux exemples de modelisation en diffusion thermique: un pont thermi

APA, Harvard, Vancouver, ISO, and other styles

26

Mauran, Philippe. "Un modèle pour la spécification de la synchronisation à l'aide de contraintes." Montpellier 2, 1990. http://www.theses.fr/1990MON20036.

Full text

Abstract:

Ce travail présente un modèle pour la spécification et la programmation d'applications parallèles. Deux idées sous-tendent cette proposition: permettre une conception du contrôle descendante, et rendre possible une expression partiellement déclarative de celui-ci. Le modèle développe ainsi une solution originale, fondée sur une spécification hybride, ou peuvent coexister des éléments déclaratifs et des éléments opératifs. Le document est structuré en trois parties: 1) la première partie présente la problématique associée à la conception de programmes parallèles, considérés comme un ensemble de

APA, Harvard, Vancouver, ISO, and other styles

27

Guihal, David. "Modélisation en langage VHDL-AMS des systèmes pluridisciplinaires." Phd thesis, Université Paul Sabatier - Toulouse III, 2007. http://tel.archives-ouvertes.fr/tel-00157570.

Full text

Abstract:

Ce travail de thèse porte sur la problématique d'élaboration de modèles de systèmes hétérogènes. Il a associé le laboratoire de recherche LAAS-CNRS et la société MENTOR GRAPHICS. Il prend place au sein d'un processus de conception qui se fonde sur les recommandations de l'EIA-632 et sur une ingénierie guidée par les modèles. L'objectif de notre travail est de montrer en quoi le langage VHDL-AMS est adapté à la problématique de modélisation et de simulation de la solution physique au sens des recommandations de l'EIA-632. Dans un premier temps, ce manuscrit présente un état de l'art sur les bes

APA, Harvard, Vancouver, ISO, and other styles

28

Brissaud, Florent. "Contributions à la modélisation et à l'évaluation de la sûreté de fonctionnement de systèmes de sécurité à fonctionalités numériques." Troyes, 2010. http://www.theses.fr/2010TROY0015.

Full text

Abstract:

L’utilisation de nouvelles technologies au sein des systèmes relatifs à la sécurité soulève des problèmes en termes de maîtrise des risques technologiques, et il est nécessaire de disposer d’outils d’évaluation probabiliste adaptés à la complexité accrue de ces systèmes. Les travaux présentés dans ce mémoire apportent des contributions à l’évaluation de la sûreté de fonctionnement des systèmes de sécurité, et en particulier des capteurs-transmetteurs à fonctionnalités numériques qui combinent l’acquisition de données avec des fonctions avancées de traitement et de transmission de l’information

APA, Harvard, Vancouver, ISO, and other styles

29

Adelard, Laetitia. "Caractérisation de bases de données climatiques : proposition d'un générateur de climat : applications en thermique de l'habitat." La Réunion, 1998. http://www.theses.fr/1998LARE0014.

Full text

Abstract:

La prise en compte des interactions ou des apports énergétiques liés aux phénomènes climatiques est nécessaire notamment en thermique de l'habitat où les incidences sur le confort et la consommation d'énergie sont devenus des aaspects cruciaux. L'augmentation des moyens informatiques ont permis l'essor de nouveaux outils permettant une conception optimisée des nouvelles infrastructures. Toutefois, demeure en amont le problème de la prise en considération de l'environnement climatique. L'analyse des sollicitations et des réponses énergétiques au niveau des microclimats (rues, bâtiments, système

APA, Harvard, Vancouver, ISO, and other styles

30

Bénazéra, Emmanuel. "Diagnostic et reconfiguration basés sur des modèles hybrides concurrents : application aux satellites autonomes." Toulouse 3, 2003. http://www.theses.fr/2003TOU30105.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Mehmood, Khan Aamir. "Conception basée sur les modèles pour les systèmes sur puce : utilisation et extension de Marte et IP-XACT." Phd thesis, Université de Nice Sophia-Antipolis, 2010. http://tel.archives-ouvertes.fr/tel-00834283.

Full text

Abstract:

Les Syst emes sur puce (soc) sont de plus en plus complexes. Leur concep- tion repose largement sur la r eutilisation des blocs, appel es ip (Intellectual Pro- perty). Ces ip sont construites par des concepteurs di erents travaillant avec des outils di erents. Aussi existe-t-il une demande pressante concernant l'in- terop erabilit e des ip, c'est- a-dire d'assurer la compatibilit e des formats et l'uni- cit e d'interpr etation de leurs descriptions. ip-xact constitue un standard de facto d e ni dans le cadre de la conception de syst emes electroniques pour fournir des repr esentations portable

APA, Harvard, Vancouver, ISO, and other styles

32

Sperandio, Séverine. "Usage de la modélisation multi-vue d'entreprise pour la conduite des systèmes de production." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2005. http://tel.archives-ouvertes.fr/tel-00358764.

Full text

Abstract:

La ré-ingénierie du système de production et des produits est une activité permanente de l'entreprise, et en constitue en quelques sorte le pilotage organisationnel. Le besoin en méthodologie est dasn ce domaine très important, et constitue le sujet de ce travail. Dans un premiers temps, nous éclaircissons l'usage qui peut être fait des modèles pour structurer la démarche d'ingénierie, et cherchons ainsi à promouvoir la modélisation d'entreprise comme outil de raisonnement de pré-évaluation et de documentation des systèmes de production. Dans un second temps, nous situons la démarche d'ingénie

APA, Harvard, Vancouver, ISO, and other styles

33

Nguyen, Hai Quan. "Conception d'architectures logicielles fiables par transformation et analyse formelle." Lille 1, 2007. https://pepite-depot.univ-lille.fr/RESTREINT/Th_Num/2007/50376-2007-3.pdf.

Full text

Abstract:

RM-ODP (Reference Model - Open Distributed Processing) est un standard défini par l'ISO pour la modélisation et le développement des systèmes d'information complexes et interopérables. Ce modèle repose sur le concept de la séparation de préoccupations proposant ainsi d'aider les architectes à modéliser un système selon différents points de vue. Le département Recherche et Développement d'EDF (Electricité de France) a pour objectif de construire les architectures techniques de son système d'information à partir des architectures fonctionnelles en utilisant un processus de conception maîtrisé et

APA, Harvard, Vancouver, ISO, and other styles

34

Ouhammou, Yassine. "Cadre fondé sur les modèles pour une utilisation avancée de la théorie de l’ordonnancement dans la conception des systèmes temps réel." Thesis, Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique, 2013. http://www.theses.fr/2013ESMA0029/document.

Full text

Abstract:

Les systèmes embarqués temps réel nécessitent une analyse temporelle pour valider leur comportement temporel.Afin de réduire le coût de développement, l’analyse doit être effectuée à une phase précoce au moment de la modélisationpour détecter les anomalies de conception. L’analyse d’ordonnançabilité est une des analyses temporelles qui permettentde s’assurer du bon fonctionnement du système conçu. Elle est issue de la théorie de l’ordonnancement temps réel.Plusieurs méthodes et tests analytiques ont été proposés par la communauté académique mais peu sont les tests adoptéspar les industriels. E

APA, Harvard, Vancouver, ISO, and other styles

35

Berdjag, Denis. "Méthodes algébriques pour la décomposition de modèles comportementaux : Application à la détection et à la localisation de défaillances." Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2007. http://tel.archives-ouvertes.fr/tel-00385550.

Full text

Abstract:

Cette thèse traite de la détection et de la localisation des défaillances à base de modèles comportementaux. L'approche suggérée consiste à extraire du modèle comportemental un sous-modèle découplé par rapport aux perturbations et par rapport à un sous-ensemble de défaillances et couplé par rapport au sous-ensemble complémentaire de défaillances. A l'aide de ce sous modèle, des indicateurs de défaillances structurés sont générés. Ces indicateurs possèdent intrinsèquement des propriétés de robustesse aux perturbations et à certaines défaillances et sont sensibles au reste des défaillances. Cett

APA, Harvard, Vancouver, ISO, and other styles

36

Bouvard, Kéomany. "Planification de la maintenance basée sur la dégradation de composants : application à un véhicule industriel." Thesis, Lille 1, 2010. http://www.theses.fr/2010LIL10190.

Full text

Abstract:

Ce travail, réalisé dans le cadre d'un contrat CIFRE entre le groupe Volvo, le LAGIS et le LM2S, traite des problèmes de planification des tâches de maintenance sur des véhicules industriels. Le but est de proposer un service de planification de maintenance adaptée au véhicule spécifique avec un coût de maintenance optimisé.Pour un système multi-composant, deux ensembles de composants peuvent être définis suivant le type d'information disponible concernant leurs états: âge ou niveau de dégradation. Sur la base de ces deux ensembles, des dates optimales de maintenance pour chaque composant peuv

APA, Harvard, Vancouver, ISO, and other styles

37

Chatti, Nizar. "Contribution à la supervision des systèmes dynamiques à base des bond graph signés." Thesis, Lille 1, 2013. http://www.theses.fr/2013LIL10124/document.

Full text

Abstract:

Les travaux présentés dans ce mémoire concernent l'étude du diagnostic de défauts simples et multiples pour des systèmes dynamiques continus et consistent à développer une stratégie de diagnostic globale pour la gestion des modes de fonctionnement en situations normale et anormale. Nous avons d'abord développé un nouveau formalisme graphique de modélisation des systèmes dynamiques émanant des BG et que nous avons appelé le BGS. Ce formalisme est très aisément interprétable grâce à un certain nombre de propriétés et de définitions que nous avons établies. L'élaboration d'un tel formalisme perme

APA, Harvard, Vancouver, ISO, and other styles

38

Occello, Audrey. "Capitalisation de la sûreté de fonctionnement des applications soumises à des adaptations dynamiques : le modèle exécutable Satin." Phd thesis, Université de Nice Sophia-Antipolis, 2006. http://tel.archives-ouvertes.fr/tel-00090755.

Full text

Abstract:

Les technologies pour l'adaptation dynamique (composants, aspects, ...)<br />arrivent à maturité et permettent de modifier les applications durant leur<br />exécution. Si l'on considère que la sûreté de fonctionnement d'une<br />application est la propriété permettant aux utilisateurs d'un système de<br />placer une confiance justifiée dans le service qu'il leur délivre alors il<br />faut garantir lors d'une adaptation dynamique que cette propriété est<br />préservée. Autrement dit, une adaptation n'est pas "sûre" à partir du moment<br />où le service que fournit l'application après adaptation

APA, Harvard, Vancouver, ISO, and other styles

39

Temperville, Alexandre. "Bases creuses en algèbre linéaire exacte et simplification algorithmique de modèles biologiques." Thesis, Lille 1, 2016. http://www.theses.fr/2016LIL10060/document.

Full text

Abstract:

Les nouveaux algorithmes présentés dans cette thèse contribuent à la thématique générale de la simplification des modèles biologiques : le calcul de bases creuses de lois de conservation, la simplification des systèmes d'équations différentielles paramétriques, fréquents en modélisation, et le reverse engineering des modèles. Les algorithmes de cette thèse sont basés sur de l'algèbre linéaire exacte. Le chapitre 2 présente un algorithme glouton exact et garanti permettant de calculer une base la plus creuse parmi toutes les bases d'un espace vectoriel. On l'applique au calcul de lois de conser

APA, Harvard, Vancouver, ISO, and other styles

40

Amokrane, Nawel. "De l’ingénierie des besoins à l’ingénierie des exigences : vers une démarche méthodologique d’ingénierie de systèmes complexes, de vérification et de validation appliquée à l’informatisation des PME." Thesis, Montpellier, 2016. http://www.theses.fr/2016MONTT259/document.

Full text

Abstract:

Une entreprise, et particulièrement une PME ou une PMI, doit être apte à évoluer sur des secteurs d’activités souvent très concurrentiels qui évoluent rapidement, par exemple, en fonction d’une clientèle volatile et soucieuse de trouver des produits et des services moins chers et plus adaptés à ses besoins. La PME se trouve alors confrontée à des problèmes de réactivité et de flexibilité face à cette clientèle. Par effet direct, elle recherche à réduire les délais et les coûts de réalisation tout en privilégiant aussi la qualité et le degré d’innovation des biens et des services qu’elle propos

APA, Harvard, Vancouver, ISO, and other styles

41

Kiefer, François. "Contribution à l'ingéniérie intégrée des systèmes de production : formalisation des mécanismes d'intégration entre modèles et applications sur site industriel." Cachan, Ecole normale supérieure, 1996. http://www.theses.fr/1996DENS0003.

Full text

Abstract:

Pour vivre et prospérer, l'entreprise doit continuellement s'adapter à son environnement. La rapidité et la qualité de ces évolutions passent par une rationalisation du travail des personnes qui ont pour charge de les réaliser, et notamment par l'utilisation d'outils de conception et de réalisation adaptes et efficaces. Les travaux traitent de l'étude des méthodes et des techniques de conception et de réalisation des systèmes intégrés de production (s. I. P. ), évolution actuelle de l'outil de production des industries manufacturières. Il existe déjà un ensemble d'outils et de méthodes qui, ut

APA, Harvard, Vancouver, ISO, and other styles

42

Vu, Hai Canh. "Stratégies de regroupement pour la maintenance des systèmes à composants multiples avec structure complexe." Thesis, Troyes, 2015. http://www.theses.fr/2015TROY0008/document.

Full text

Abstract:

Au cours des dernières décennies, avec un fort développement de l'économie mondiale et des nouvelles technologies, la structure des systèmes industriels devient de plus en plus complexe. Elle peut être une combinaison des structures élémentaires telles que structures séries, structures parallèles, structures séries-parallèles, etc. Dans la littérature, la plupart des travaux s'intéressent à développer des stratégies de regroupement en considérant des structures séries. Cette hypothèse est parfois très pénalisée et se limite l'application de ces stratégies dans la réalité. C'est pourquoi, l'obj

APA, Harvard, Vancouver, ISO, and other styles

43

Nguyen, Kim Anh. "Développement de stratégies de maintenance prévisionnelle de systèmes multi-composants avec structure complexe." Thesis, Troyes, 2015. http://www.theses.fr/2015TROY0027/document.

Full text

Abstract:

Aujourd'hui, les systèmes industriels deviennent de plus en plus complexes. Cette complexité est due d’une part à la structure du système qui ne se résume pas à des structures classiques en fiabilité, d’autre part à la prise en compte de composants présentant des phénomènes de dégradation graduelle que des systèmes de monitoring permettent de surveiller. Ceci mène à l'objectif de cette thèse portant sur le développement des stratégies de maintenance prévisionnelle pour des systèmes multi-composants complexes. Les politiques envisagées proposent notamment des stratégies de regroupement de compo

APA, Harvard, Vancouver, ISO, and other styles

44

Dao, Tien Tuan. "Modélisation du système musculosquelettique des membres inférieurs : modèle biomécanique vs. méta modèle." Compiègne, 2009. http://www.theses.fr/2009COMP1846.

Full text

Abstract:

La compréhension du fonctionnement du corps humain est un challenge de recherche afin de prendre une décision médicale (le diagnostic, le traitement) adéquate dans le cas des pathologies liées au système musculosquelettique. Pour faire face à cette problématique, dans un premier temps, un modèle biomécanique a été développé décrivant la dynamique du mouvement avec prise en considération des caractéristiques géométriques (os et muscles) et mécaniques du système musculo-squelettique. Une étude de sensibilité de ces paramètres géométriques à partir des données de la littérature a montré l'importa

APA, Harvard, Vancouver, ISO, and other styles

45

Zille, Valérie. "Modélisation et évaluation des stratégies de maintenance complexes sur des systèmes multi-composants." Troyes, 2009. http://www.theses.fr/2009TROY0005.

Full text

Abstract:

L'évaluation des stratégies de maintenance issues des méthodes OMF/RCM se heurte à des difficultés dont la résolution constitue l'enjeu scientifique de cette thèse : - les systèmes considérés sont composés de plusieurs matériels dépendants soumis à plusieurs phénomènes de dégradation et de défaillance - les stratégies sont basées sur plusieurs types de tâches et ne reposent pas sur une structure simple. L’objectif de cette thèse est de proposer une méthode de quantification des performances d’un système maintenu. Nous proposons un cadre global de modélisation de l’ensemble des phénomènes décri

APA, Harvard, Vancouver, ISO, and other styles

46

Nguyen, Danh Ngoc. "Contribution aux approches probabilistes pour le pronostic et la maintenance des systèmes contrôlés." Thesis, Troyes, 2015. http://www.theses.fr/2015TROY0010/document.

Full text

Abstract:

Les systèmes de contrôle-commande jouent un rôle important dans le développement de la civilisation et de la technologie moderne. La perte d’efficacité de l’actionneur agissant sur le système est nocive dans le sens où elle modifie le comportement du système par rapport à celui qui est désiré. Cette thèse est une contribution au pronostic de la durée de vie résiduelle (RUL) et à la maintenance des systèmes de contrôle-commande en boucle fermée avec des actionneurs soumis à dégradation. Dans une première contribution, un cadre de modélisation à l'aide d’un processus markovien déterministe par m

APA, Harvard, Vancouver, ISO, and other styles

47

Asnaashari, Ahmad. "Modélisation de la défaillance des réseaux d'eau : approches statistique, réseau de neurones et survie." Lille 1, 2007. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2007/50376-2007-Asnaashari.pdf.

Full text

Abstract:

La défaillance des réseaux d'eau constitue un problème majeur en Iran, qui nécessite des investissements importants et l'élaboration d'une stratégie optimale pour la réhabilition des réseaux d'eau. Ce travail constitue une contribution à cet objectif. Il vise le développement des outils pour améliorer la gestion et la maintenance des réseaux d'eau. Il comporte la détermination des principaux facteurs affectant la défaillance des réseaux d'eau, l'élaboration d'un modèle de prévision fondé sur les Réseaux de Neurones Artificiels, et le développement d'un modèle de survie. Ces approches ont été a

APA, Harvard, Vancouver, ISO, and other styles

48

Roth, Anastasia. "Développement de méthodologies génériques pour la conception optimale et durable des parcs hybrides d'énergies renouvelables." Thesis, Toulouse, INPT, 2019. http://www.theses.fr/2019INPT0036/document.

Full text

Abstract:

Les enjeux planétaires du développement durable et du réchauffement climatique remettent en cause le fonctionnement de nos sociétés. La transition énergétique se traduit notamment par l’augmentation de l’utilisation des énergies renouvelables et constitue ainsi le contexte de nos travaux. Dans le cadre d’un contrat CIFRE avec l’entreprise VALOREM, nous proposons des méthodologies pour le développement et la conception d’installations renouvelables soutenables. L’approche d’Ingénierie Des Modèles mise en place nous permet de garder une démarche scientifique cohérente entre une vue très générale

APA, Harvard, Vancouver, ISO, and other styles

49

Louajri, Hanane. "Centralized and decentralized fault diagnosis of a class of hybrid dynamic systems : application to three cell converter." Thesis, Lille 1, 2015. http://www.theses.fr/2015LIL10021/document.

Full text

Abstract:

Les travaux de ma thèse ont pour but la définition d’une démarche modulaire permettant le diagnostic des défauts liés conjointement aux dynamiques continue et discrète des systèmes dynamiques hybrides, en particulier les Systèmes Continus à Commande Discrète. L’objectif est de construire un modèle de diagnostic appelé, diagnostiqueur, permettant de diagnostiquer à la fois les défauts paramétriques et discrets des systèmes dynamiques hybrides de grande taille. Les défauts paramétriques sont caractérisés par un changement anormal de certains paramètres tandis que les défauts discrets sont caract

APA, Harvard, Vancouver, ISO, and other styles

50

Vandenbussche, Pierre-Yves. "Définition d'un cadre formel de représentation des Systèmes d'Organisation de la Connaissance." Phd thesis, Université Pierre et Marie Curie - Paris VI, 2011. http://tel.archives-ouvertes.fr/tel-00642545.

Full text

Abstract:

Ce travail de thèse, réalisé au sein de l'entreprise MONDECA et du laboratoire de recherche INSERM, est né du besoin de disposer d'un serveur capable de supporter le processus éditorial de Systèmes d'Organisation de Connaissances (SOC) et soulève la problématique suivante: comment harmoniser la représentation des SOC et de leurs correspondances afin de proposer des services unifiés qui supportent l'édition, la publication et l'utilisation efficaces des connaissances de ces référentiels? Pour répondre à cette problématique, nous soutenons la thèse que l'élaboration d'un modèle de représentation

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!