Bibliografías temáticas / Outil statique / Tesis
Siga este enlace para ver otros tipos de publicaciones sobre el tema: Outil statique.

Tesis sobre el tema "Outil statique"

Autor: Grafiati
Publicado: 25 de mayo de 2024
Última modificación: 31 de julio de 2025

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 22 mejores tesis para su investigación sobre el tema "Outil statique".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

PARMENTELAT, THIERRY. "Metropol : un outil de mesure statique sur les arbres centaur." Paris, CNAM, 1991. http://www.theses.fr/1991CNAM0128.

Texto completo
Resumen
Une etude approfondie de la bibliographie consacree aux mesures statiques du logiciel demontre la necessite d'un outil general, tant pour les mesures que pour les langages traites. Avec l'ambition de repondre a ce double objectif, l'outil metropol a ete realise autour de l'editeur syntaxique centaur. Les algorithmes de mesure sont appliques aux arbres syntaxiques, et sont definis dans un metalangage specialise, qui se prete aux syntheses d'attributs, grace a un puissant mecanisme de filtrage associatif. Nous commentons des exemples d'implementation pour des langages reels, qui utilisent un ges
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Merdassi, Asma. "Outil d'aide à la modélisation moyenne de convertisseurs statiques pour la simulation de systèmes mécatroniques." Phd thesis, Grenoble INPG, 2009. http://www.theses.fr/2009INPG0099.

Texto completo
Resumen
Depuis plusieurs décennies, la modélisation moyenne de convertisseurs statiques a fait l'objet de nombreuses études. En effet, nous avons intérêt à transformer le système original en un système continu qui représente macroscopiquement au mieux les comportements dynamiques et statiques du circuit, notamment en vue d'une étude système. Le modèle dit « moyen » trouve un vaste champ d'applications que ce soit en commande, en simulation (rapide et système) ou encore en analyse des modes. . . Cependant, la modélisation moyenne peut s'avérer laborieuse dés que le nombre de semi-conducteurs du convert
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Merdassi, Asma. "Outil d'aide à la modélisation moyenne de convertisseurs statiques pour la simulation de systèmes mécatroniques." Phd thesis, Grenoble INPG, 2009. http://tel.archives-ouvertes.fr/tel-00434953.

Texto completo
Resumen
Depuis plusieurs décennies, la modélisation moyenne de convertisseurs statiques a fait l'objet de nombreuses études. En effet, nous avons intérêt à transformer le système original en un système continu qui représente macroscopiquement au mieux les comportements dynamiques et statiques du circuit, notamment en vue d'une étude système. Le modèle dit « moyen » trouve un vaste champ d'applications que ce soit en commande, en simulation (rapide et système) ou encore en analyse des modes... Cependant, la modélisation moyenne peut s'avérer laborieuse dés que le nombre de semi-conducteurs du convertis
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Dau, Anh Tuan. "Elaboration d’un outil numérique reliant les échelles micro/méso d’un composite thermoplastique sensible à l’humidité et à la température en quasi-statique." Thesis, Ecole centrale de Nantes, 2019. http://www.theses.fr/2019ECDN0004/document.

Texto completo
Resumen
Les travaux de cette thèse se sont intéressés à l’obtention du comportement d’un composite sergé 2x2 verre/PA66 via un outil numérique basé sur une double homogénéisation : la première concerne les torons et la seconde le volume élémentaire représentatif du composite. A partir d’une campagne de caractérisation expérimentale sur le PA66, nous avons dans un premier temps identifié l’influence à la fois de l’hygrométrie et de la température sur le comportement de la matrice en quasi-statique. Ensuite, nous avons élaboré, implémenté et validé une loi de comportement isotrope élasto-plastique endom
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Enjalbert, Gérard. "Développement d'un outil de conception assistée par ordinateur : le logiciel circuit." Grenoble INPG, 1989. http://www.theses.fr/1989INPG0095.

Texto completo
Resumen
Le but de ce travail est le développement d'un logiciel de CAO orienté vers l'étude de structures de convertisseurs statiques associés à leur environnement. Après une description complète du logiciel, tant sous l'aspect convivial que théorique, nous présentons un ensemble de modifications apportés au post-processeur afin de permettre à l'utilisateur d'étudier les grandeurs électriques qui l'intéresse (courants, tensions simples et composées, analyse harmonique, puissance, valeurs moyennes et efficaces. ,. ) L'implantation de la commande en Modulation de Largeur d'Impulsions met en évidence l'i
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Oikonomopoulou, Apostolia. "APPROCHES NUMERIQUES POUR L'ETUDE DU COMPORTEMENT DES STRUCTURES MAÇONNEES ANCIENNES : Un outil basé sur le Calcul à la Rupture et la visualisation graphique." Phd thesis, Université Paris-Est, 2009. http://tel.archives-ouvertes.fr/tel-00493588.

Texto completo
Resumen
L'ingénieur et l'architecte, confrontés à la large demande pour la préservation des structures historiques et monumentales, ont besoin d'une approche transdisciplinaire et efficace pour le traitement de ces systèmes complexes. Les travaux de recherche proposés dans cette thèse s'inscrivent à un effort de développement d'un outil informatique servant à une évaluation préliminaire de la stabilité des structures maçonnées anciennes, qui est compréhensible par des utilisateurs travaillant dans diverses disciplines. Etant donné que le comportement statique global de ce type de structures pose plutô
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Al-Kassar, Feras. "Testability Tarpits - Navigating the Challenges of Static Tools in Web Applications." Electronic Thesis or Diss., Sorbonne université, 2023. http://www.theses.fr/2023SORUS675.

Texto completo
Resumen
L'objectif de cette thèse était d'évaluer l'efficacité d'une combinaison de scanners de sécurité commerciaux et open source. Grâce à l'expérimentation, nous avons identifié divers modèles de code qui entravent la capacité des outils de pointe à analyser les projets. En détectant ces modèles au cours du cycle de développement des logiciels, notre approche peut offrir aux développeurs un retour d'information précieux sur la testabilité de leur code. En outre, elle leur permet d'évaluer plus précisément le risque résiduel que leur code puisse encore contenir des vulnérabilités, même si les analys
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Gauvin, Laetitia. "Modélisation de systèmes socio-économiques à l'aide des outils de physique statique." Paris 6, 2010. http://www.theses.fr/2010PA066425.

Texto completo
Resumen
Cette thèse traite de l’étude des dynamiques résidentielles et en particulier de l’émergence de ségrégation socio-spatiale à partir des comportements individuels. L’approche utilisée repose sur des outils de physique statistique et la modélisation multi-agent. En premier lieu, un archétype pour l’explication de la ségrégation comme résultat des décisions individuelles, le modèle de ségrégation de l’économiste Schelling, est analysé via des méthodes empruntées à la physique statistique. Le point fort du modèle résulte dans l’émergence de structures ségrégatives qui ne sont pas la traduction dir
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Ecorchard, Gaël. "Amélioration de la précision statique des machines-outils à cinématique parallèle redondante." Rennes, INSA, 2009. http://www.theses.fr/2009ISAR0022.

Texto completo
Resumen
Les mécanismes à cinématique parallèle redondante sont des mécanismes parallèles auxquels a été ajoutée une branche cinématique, ou plus, dans le but d'améliorer leurs propriétés mécaniques. De nouvelles méthodes d'étalonnage sont développées dans cette thèse afin de prendre en compte les spécificités liées à la redondance d'actionnement. Les méthodes d'étalonnage utilisant des modèles géométriques sont d'abord testées. Cependant, les méthodes d'étalonnage géométriques ne prennent pas en compte les déformations élastiques dues aux contraintes internes liées à la redondance. Des méthodes de mod
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Metin, Hakan. "Exploitation des symétries dynamiques pour la résolution des problèmes SAT." Electronic Thesis or Diss., Sorbonne université, 2019. http://www.theses.fr/2019SORUS552.

Texto completo
Resumen
Le problème de satisfaisabilité booléenne consiste à trouver une solution à une formule propositionnelle. Ce problème NP-complet peut modéliser une grande variété de problèmes couvrant la planification, la vérification formelle, etc. Dans la pratique, de nombreux systèmes présentent des symétries ce qui permet de raisonner sur une abstraction quotient de l'espace de recherche, et réduire exponentiellement l'espace de recherche dans les cas favorables. Dans cette thèse, nous explorons comment exploiter les symétries pour améliorer les solveurs SAT. Les approches existantes pour exploiter les sy
Los estilos APA, Harvard, Vancouver, ISO, etc.
11

Ben, Ouezdou Fethi. "Outils d'aide a la conception de robots a locomotion articulee. Analyses statique, cinematique et dynamique." Paris 6, 1990. http://www.theses.fr/1990PA066402.

Texto completo
Resumen
Ce travail traite des outils d'aide a la conception de robots a locomotion articulee. Les differentes analyses statique, cinematique et dynamique d'un systeme mecanique constitue de chaines cinematiques complexes y sont developpees. Dans un premier temps, une structure minimale de robot a pattes est determinee a travers des criteres tels que la stabilite, l'isostatisme, la commandabilite, la mobilite globale et relative. . . L'analyse des configurations singulieres instantanees du mecanisme et la determination du domaine atteignable de la plate-forme constituent les criteres de choix des liais
Los estilos APA, Harvard, Vancouver, ISO, etc.
12

Marais, Benjamin. "Améliorations des outils de détection de malwares par analyse statique grâce à des mécanismes d'intelligence artificielle." Electronic Thesis or Diss., Normandie, 2023. http://www.theses.fr/2023NORMC245.

Texto completo
Resumen
Cette thèse porte sur l'analyse de fichiers malveillants. Nous nous intéressons particulièrement à l'utilisation de l'intelligence artificielle pour développer et améliorer des outils d'analyse de malware. Dans un premier temps, nous abordons le problème d'un point de vue défensif en proposant des outils d'analyse, et en élaborant de nouveaux modèles de détection de logiciels malveillants basés sur l'apprentissage supervisé et l'apprentissage profond. Nous proposons aussi une approche offensive, basée sur des méthodes d'apprentissage par renforcement, dans le but de contourner différentes solu
Los estilos APA, Harvard, Vancouver, ISO, etc.
13

Delbove, Julien. "Contribution aux outils de simulation aéroélastique des aéronefs : prédiction du flottement et déformation statique des voilures." Toulouse, ENSAE, 2005. http://www.theses.fr/2005ESAE0006.

Texto completo
Resumen
Ce travail traite des méthodes numériques pour la simulation des interactions fluide/structure. Ll peut être utilisé en réponse aux nouveaux besoins d’outils pour la prédiction du flottement; sur l'ensemble du domaine de vol des constructeurs d’avions de transport. Les simulations couplées nécessitent un solveur aérodynamique efficace, une méthode de déformation de maillage et la connaissance du comportement de la structure aux efforts aérodynamiques. La performance de ces éléments de base dans chacun de ces domaines représente une première étape pour les simulations d'interactions fluide/struc
Los estilos APA, Harvard, Vancouver, ISO, etc.
14

Charki, Abdérafi. "Modélisation du comportement statique et dynamique des paliers à air à orifices. Application à la conception de broches." Compiègne, 2000. http://www.theses.fr/2000COMP1313.

Texto completo
Resumen
Cette thèse traite de l'étude des caractéristiques statiques et dynamiques des paliers à air à multiples orifices. Grâce à la méthode des éléments finis, plusieurs géométries de palier ont pu être calculées en utilisant l'équation de Reynolds. Les régimes aérostatique et hybride ont été pris en compte. L'influence des paramètres géométriques et des conditions d'écoulement sur les performances de sustentation des paliers a été étudiée. Une expérimentation a été entreprise pour tester des patins circulaires alimentés différemment (avec des orifices ou (et) une rainure ou une paroi poreuse) ; les
Los estilos APA, Harvard, Vancouver, ISO, etc.
15

Alliet, Marion. "Concepts et outils logiciels pour l'aide à l'analyse des résultats de simulations statiques de procédés." Toulouse, INPT, 1997. http://www.theses.fr/1997INPT004G.

Texto completo
Resumen
L'objectif de ce travail est de definir de nouveaux concepts et de concevoir des outils logiciels pour l'aide a l'analyse des resultats de simulations de procedes continus en regime permanent. L'auteur montre que l'aide sera d'autant plus efficace que la structuration de l'information sera proche de la vision de l'utilisateur. Ainsi, dans une premiere partie, une synthese bibliographique des modelisations orientees utilisateur et des outils d'aides existants, tels qu'interfaces graphiques ou systemes experts, est effectuee. La modelisation proposee repose sur trois concepts generaux : l'agrega
Los estilos APA, Harvard, Vancouver, ISO, etc.
16

Lecocq, Pascal. "Simulation d'éclairage temps réel par des sources lumineuses mobiles et statiques : outils pour la simulation de conduite." Université de Marne-la-Vallée, 2001. http://www.theses.fr/2001MARN0122.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
17

Merheb, Rania. "Fiabilité des outils de prévision du comportement des systèmes thermiques complexes." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2013. http://tel.archives-ouvertes.fr/tel-00969036.

Texto completo
Resumen
La conception des bâtiments à faible consommation d'énergie est devenue un enjeu très important dans le but de réduire au maximum la consommation d'énergie et les émissions de gaz à effet de serre associées. Pour y arriver, il est indispensable de connaître les sources potentielles de biais et d'incertitude dans le domaine de la modélisation thermique des bâtiments d'un part, et de les caractériser et les évaluer d'autre part.Pour répondre aux exigences courantes en termes de fiabilité des prévisions du comportement thermique des bâtiments, nous avons essayé dans le cadre de cette thèse de qua
Los estilos APA, Harvard, Vancouver, ISO, etc.
18

Groud, Alain. "Contribution à l'analyse des systèmes électrotechniques complexes : méthodes et outils appliqués à l'étude des harmoniques." Grenoble INPG, 1997. http://www.theses.fr/1997INPG0085.

Texto completo
Resumen
Les systèmes électrotechniques complexes tels qu'une chaîne électromécanique sont formés de plusieurs éléments de natures différentes (convertisseurs statiques, machines, charge. . . ), qui interagissent de manière étroite. Ce travail a pour but d'étudier ces interactions,en se limitant au cas des perturbations harmoniques, et, de choisir, voire ,d'élaborer les Outils de calcul les mieux adaptes en vue de l'analyse puis de l'optimisation globale des systèmes. Une solution consiste à employer des moyens de simulation et de calcul spectral lourds, tant en durée qu'en volume à stocker, mais elle
Los estilos APA, Harvard, Vancouver, ISO, etc.
19

Latappy, Corentin. "Les pratiques de code : de la documentation à la détection." Electronic Thesis or Diss., Bordeaux, 2024. http://www.theses.fr/2024BORD0101.

Texto completo
Resumen
Les pratiques de code sont de plus en plus utilisées dans le domaine du développement logiciel. Leur mise en place permet d’assurer la maintenabilité, la lisibilité et la consistance du code, ce qui contribue fortement à la qualité logicielle. La majorité de ces pratiques est implémentée dans des outils d’analyse statique, ou linters, qui permettent d’alerter automatiquement les développeurs lorsqu’une pratique n’est pas respectée. Toutefois, de plus en plus d’organisations, ayant tendance à créer leurs propres pratiques internes, rencontrent des problèmes sur leur compréhension et leur adopti
Los estilos APA, Harvard, Vancouver, ISO, etc.
20

Raelijohn, Erick F. "Vérification des patrons temporels d’utilisation d’API sans exécution du code : une approche et un outil." Thesis, 2020. http://hdl.handle.net/1866/24332.

Texto completo
Resumen
La réutilisation est une pratique courante lors du développement de logiciel. Bien souvent, cette réutilisation se fait à travers l’utilisation des librairies. Cette dernière met ses fonctionnalités à disposition des développeurs en utilisant les Interfaces de Programmation d’Application (API). En théorie, les développeurs qui utilisent les API n’ont pas forcément besoin de se préoccuper de comment les éléments internes de cette API fonctionnent. En effet, les API mettent leurs fonctionnalités à disposition des développeurs sans forcément dévoiler ce qui se passe à l’interne. Cependant,
Los estilos APA, Harvard, Vancouver, ISO, etc.
21

Brouillette-Alarie, Sébastien. "L’évaluation du risque de récidive des agresseurs sexuels : vers une approche centrée sur les construits psychologiques." Thèse, 2016. http://hdl.handle.net/1866/18446.

Texto completo
Resumen
Cette thèse a été faite sous la tutelle de Jean Proulx et R. Karl Hanson. Elle a évaluée par un jury composé de Franca Cortoni, Jean Proulx, R. Karl Hanson, Jean-Pierre Guay et Howard E. Barbaree. Suite à la soutenance, la thèse a reçu la mention "exceptionnelle", a été recommandée à la liste d'honneur du doyen et a été soumise pour le prix de la meilleure thèse de la FESP 2017.<br>Les outils actuariels servant à évaluer le risque de récidive criminelle des agresseurs sexuels ont souvent été critiqués pour leurs fondements « athéoriques ». En effet, ces derniers ont été constitués en rassembla
Los estilos APA, Harvard, Vancouver, ISO, etc.
22

Considine, Breandan. "Programming tools for intelligent systems." Thesis, 2020. http://hdl.handle.net/1866/24310.

Texto completo
Resumen
Les outils de programmation sont des programmes informatiques qui aident les humains à programmer des ordinateurs. Les outils sont de toutes formes et tailles, par exemple les éditeurs, les compilateurs, les débogueurs et les profileurs. Chacun de ces outils facilite une tâche principale dans le flux de travail de programmation qui consomme des ressources cognitives lorsqu’il est effectué manuellement. Dans cette thèse, nous explorons plusieurs outils qui facilitent le processus de construction de systèmes intelligents et qui réduisent l’effort cognitif requis pour concevoir, développer, teste
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías sobre el tema "Outil statique" para otros tipos de fuentes:
Artículos de revistas
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía