Littérature scientifique sur le sujet « Outil statique »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Outil statique ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Outil statique"
1
Parent, Geneviève, Jean-Pierre Guay et Raymond A. Knight. « Évaluation de la validité prédictive de neuf instruments chez les agresseurs sexuels adultes ». Criminologie 42, no 2 (19 novembre 2009) : 223–47. http://dx.doi.org/10.7202/038606ar.
Texte intégralRésumé :
Résumé Un large éventail d’instruments s’offre aux cliniciens pour évaluer le risque que posent les délinquants sexuels. La présente étude vise à comparer la validité prédictive de huit instruments (VRAG, SORAG, RRASOR, Statique-99, Statique-2002, RM2000, MnSOST–R et SVR-20) et un outil de référence (PCL-R) selon quatre types de récidive (nuisance sexuelle, récidive sexuelle, récidive violente non sexuelle et récidive non violente et non sexuelle) et pour trois groupes d’agresseurs sexuels. Les résultats indiquent que ces outils ont une validité prédictive marginale à modeste en ce qui concerne la récidive sexuelle. Cependant, une étude plus détaillée en fonction du type d’agresseurs indique une plus grande efficacité de ces instruments pour la récidive sexuelle chez les agresseurs d’enfants et pour la récidive non sexuelle chez les agresseurs de femmes. Les outils actuariels ne permettent de prédire aucune forme de récidive chez les agresseurs mixtes.
2
Kirman, Alan. « La pensée évolutionniste dans la théorie économique néoclassique ». Philosophiques 25, no 2 (8 août 2007) : 219–37. http://dx.doi.org/10.7202/027488ar.
Texte intégralRésumé :
RÉSUMÉ Cette communication traite de l'utilisation des concepts évolutionnaires en économie. Une approche a été d'utiliser Vidée de révolution comme une vague analogie. Il y a deux exemples de ce type d'approche. Certains; comme Friedman, ont utilisé la notion de sélection naturelle afin de justifier le modèle standard de la théorie économique, celui d'Arrow-Debreu. D'autres ont utilisé l'idée d'évolution comme base à une critique de la nature fermée et statique de ce modèle. Une autre approche a été de prendre l'idée de l'évolution au sérieux, comme cela a été fait en théorie des jeux évolutionnaires. Je suggère que même dans ce cas, le modèle standard est incompatible avec un point de vue évolutionniste et qu'il ne suffit pas d'utiliser l'évolution comme outil pour sélectionner parmi les équilibres statiques. Des modèles économiques compatibles avec une approche évolutionnaire doivent nécessairement être très différents des modèles standards qu 'on utilise aujourd'hui.
3
Yao, Marcel Konan, Djedro Clément Akmel, Kouamé Lazare Akpetou, Albert Trokourey, Kouassi Benjamin Yao et Nogbou Emmanuel Assidjo. « Modélisation de l'évolution spatiotemporelle du phosphore minéral dans une baie lagunaire hypereutrophe tropicale : la baie lagunaire de Tiagba (Côte d'Ivoire) ». Revue des sciences de l’eau 30, no 3 (28 mars 2018) : 247–58. http://dx.doi.org/10.7202/1044250ar.
Texte intégralRésumé :
Ce travail décrit une nouvelle approche de la prédiction de l'évolution spatio-temporelle du phosphore minéral dans les eaux de surface, particulièrement dans la baie lagunaire de Tiagba. L'originalité de cette étude réside dans l'utilisation des réseaux de neurones artificiels, précisément du perceptron multicouche, comme outil de modélisation. Deux approches de l'évolution spatio-temporelle de ce nutriment dans cette baie ont été étudiées : sa modélisation statique et sa modélisation dynamique. Ainsi, il a été utilisé deux bases de 3 966 et 4 627 données respectivement pour sa modélisation statique et sa modélisation dynamique. L'algorithme de Levenberg-Marquardt a été utilisé pour la détermination des poids de connexions lors du développement du perceptron multicouche. Il ressort, des résultats obtenus, que les modèles 5-14-1 et 6-14-2 permettent de prédire à 70,30 % et à environ 70 % respectivement les évolutions statique et dynamique du phosphore minéral dans cette baie lagunaire. Ces modèles, jugés satisfaisant peuvent servir de socle pour d'éventuelles études visant à la réhabilitation et la gestion de cet écosystème aquatique dans le cadre de son développement durable.
4
Boudour, Mohamed, et Abdelhafid Hellal. « Développement d'un outil rapide d'évaluation de la sécurité statique des réseaux électriques ». Revue internationale de génie électrique 7, no 5-6 (30 décembre 2004) : 543–61. http://dx.doi.org/10.3166/rige.7.543-561.
Texte intégral
5
DÜPPE, Till. « L’histoire du concept d’équilibre en sciences économiques ». L'Actualité économique 92, no 3 (30 mai 2017) : 581–94. http://dx.doi.org/10.7202/1040002ar.
Texte intégralRésumé :
Le concept d’équilibre permet d’identifier le domaine de théorie économique dans la recherche actuelle en économie. Cette place prépondérante a plusieurs origines historiques. Avant même que la notion d’équilibre fasse son apparition, les arguments d’équilibre se retrouvaient dans les écrits du XVIIe siècle sur le commerce. C’est à la fin du XVIIIe siècle qu’il entre dans le vocabulaire des économistes politiques. C’était un concept analogique et surtout normatif se rapportant à l’ordre naturel de l’économie. À la fin du XIXe siècle, il s’enrichit d’une signification analytique, principalement grâce à la différenciation entre équilibre statique et dynamique. Entre les années 1940 et 1960, le concept évolue en notion métathéorique, devenant la pierre angulaire de l’analyse axiomatique de l’équilibre général; cette dernière deviendra le fondement de la modélisation mathématique actuelle. On retrouve également le concept dans la théorie des jeux, où il est le principal outil d’analyse sans être restreint à l’étude des marchés concurrentiels; il permet la formalisation d’environnements institutionnels et d’interactions stratégiques au niveau d’un individu ou d’un groupe. Dans presque tout modèle macroéconomique, la théorie de l’équilibre général reste le point de référence principal.
6
Brouillette-Alarie, Sébastien, Jean Proulx et Massil Benbouriche. « Mieux saisir les outils actuariels : une analyse factorielle de la Statique-99R ». Criminologie 46, no 1 (30 avril 2013) : 199–219. http://dx.doi.org/10.7202/1015299ar.
Texte intégralRésumé :
Une critique couramment formulée à l’encontre des outils actuariels statiques concerne leur incapacité à éclairer l’intervention, au regard de leurs fondements athéoriques. Dans la cadre d’un effort visant à nuancer cette critique, la présente étude a tenté d’identifier les construits théoriques présents dans la Statique-99R, l’échelle actuarielle de prédiction de la récidive des délinquants sexuels la plus utilisée. Une analyse factorielle exploratoire des items de l’instrument en a extrait trois facteurs : la délinquance sexuelle, la délinquance générale et le jeune âge. Une interprétation de ces facteurs en ce qui a trait aux dimensions psychologiques a été proposée : la délinquance sexuelle en tant qu’indicatrice de déviance sexuelle ou de préoccupations sexuelles et la délinquance générale en tant qu’indicatrice de traits antisociaux et/ou de psychopathie. Les limites et les implications pour de futures recherches sont discutées.
7
MAKOSSO, Béthuel. « Efficacité et efficience statique et dynamique dans la régulation des télécommunications ». L'Actualité économique 92, no 4 (12 juillet 2017) : 733–52. http://dx.doi.org/10.7202/1040504ar.
Texte intégralRésumé :
Cet article se propose de faire un réexamen des facteurs d’inefficacité de la régulation des télécommunications en mettant en avant le rôle de l’opportunisme qui lui est associé et les coûts de transaction qu’elle génère pour les firmes. En effet, bien que la présence d’organes de régulation dans cet environnement soit justifiée par le souci pour les pouvoirs publics de corriger les défaillances de tels marchés, l’évolution rapide de la technologie des télécommunications rend inadaptés les éléments caractéristiques de la régulation dans ce secteur (les objectifs, les outils et le processus décisionnel). Sujette à l’opportunisme et génératrice des coûts de transaction, la régulation des télécommunications, si elle permet d’assurer l’efficience statique au sens où la concurrence qu’elle favorise peut aider à réduire le pouvoir de marché des firmes, et donc à l’accroissement du surplus des consommateurs, elle est cependant loin d’intégrer les aspects inhérents à la dynamique propre du secteur des télécommunications, ceux qui conduiraient à l’efficience dynamique. D’où la nécessité de concevoir un système de régulation optimal intégrant les modèles dynamiques qui puissent concilier efficience statique et efficience dynamique.
8
Lussier, Patrick. « Trajectoires criminelles et récidive des délinquants sexuels adultes : l’hypothèse « statique » revue et corrigée ». Criminologie 43, no 2 (4 avril 2011) : 269–302. http://dx.doi.org/10.7202/1001778ar.
Texte intégralRésumé :
De façon générale, l’évaluation du risque repose sur des outils actuariels qui incluent des facteurs statiques ou historiques tels les antécédents criminels. La présente étude réexamine la relation entre les antécédents criminels et la récidive violente/sexuelle en tenant compte de l’aspect dynamique de la carrière criminelle. L’étude pose la question suivante : est-ce que les trajectoires criminelles informent sur les risques de récidive ? L’étude actuelle est basée sur une quasi-population de délinquants sexuels adultes incarcérés dans la province de Québec entre 1994 et 2000. Des analyses de classes latentes ont été réalisées afin d’identifier les trajectoires criminelles violentes/sexuelles. Les analyses de survie indiquent que les trajectoires criminelles informent sur les risques de récidive violente/sexuelle tout en montrant des limites importantes de la prédiction actuarielle.
9
Blanchon, David, et Jean-Paul Bravard. « La stabilité des formes fluviales de l’Orange, entre variabilité naturelle et impacts des grands barrages (secteur Boegoeberg-Augrabies, Afrique du Sud) ». Géographie physique et Quaternaire 61, no 1 (26 mars 2009) : 21–37. http://dx.doi.org/10.7202/029568ar.
Texte intégralRésumé :
RésuméLe fleuve Orange (Afrique du Sud) est l’un des systèmes fluviaux les plus aménagés au monde : les barrages hydroélectriques ont modifié le volume d’écoulement du fleuve et son débit solide a diminué depuis les années 1930. Plus encore, dans son cours moyen inférieur (secteur d’Upington), le fleuve a été contraint entre des digues de 5 à 10 m de hauteur, des chenaux secondaires ont été remplis pour permettre le développement agricole et plus de 10 déversoirs de bas niveau ont été construits à travers le chenal. Dans des conditions similaires, des changements géomorphologiques visibles et rapides (incision du chenal, alluvionnement, etc.) ont été enregistrés dans divers systèmes fluviaux en région semi-aride. Pourtant, l’étude de cartes anciennes (des années 1920) et de photographies aériennes (à partir de 1937) montre une stabilité remarquable des formes fluviales, et ce, même à petite échelle : des bancs sableux et des seuils rocheux sont facilement reconnaissables dans le chenal principal. L’objectif de cet article est d’explorer les différentes hypothèses expliquant cette stabilité, en utilisant le concept de discontinuité et la théorie de la catastrophe, et de confronter les résultats avec les travaux récents sur le fleuve Orange. Notre recherche est basée sur le calcul des puissances spécifiques des crues vicennales, la reconnaissance de terrain (entre 2000 et 2003) et le prélèvement de sédiments, en utilisant la méthode de la courbe de Passega. Nous avons également effectué des comparaisons entre les photographies aériennes et les cartes anciennes et les photographies aériennes les plus récentes à l’aide des outils SIG (MapInfo). À micro-échelle, la progression et la destruction des roseaux (Phragmites australisetArundo donax) a été utilisée comme indicateur des changements géomorphologiques du chenal. Les résultats montrent que les concepts de stabilité et d’équilibre, et les changements géomorphologiques fluviaux sont plus complexes qu’une simple comparaison statique.
10
Haman, Didier Jean B., Fyetoh W. Fantong, G. Ombolo Auguste Ewodo Mboudou et Gabriel Messi. « Approche décisionnelle géospatiale et multicritère dans l’identification des zones potentielles de recharge des eaux souterraines : cas du bassin versant du Mayo Bocki au Nord Cameroun ». Journal of the Cameroon Academy of Sciences 18, no 1 (16 août 2022) : 339–56. http://dx.doi.org/10.4314/jcas.v18i1.5.
Texte intégralRésumé :
La présente étude a été effectuée pour déterminer les zones potentielles de recharge des eaux souterraines. Pour ce faire, la démarche méthodologique était basée sur l’analyse multicritère associée aux techniques géospatiales. Les données utilisées étaient entre autres les images satellitaires, les fonds cartographiques, les données pluviométriques et les niveaux statiques. Ces données ont permis d’exprimer sous forme de carte thématique les facteurs régissant la recharge (pente, drainage, lithologie, fracturation, sol, pluviométrie et occupation du sol). L’analyse de sensibilité par suppression d’un paramètre a permis d’établir l’ordre d’influence suivant : Lit > Sol > AACH > Df > Pl > Pe > Dd > OS. Le croisement de tous ces paramètres après pondération a conduit à l’élaboration de la carte qui montre que les zones à ort potentiel occupent 3 % de la zone d’étude pendant que les zones de faible à faible potentialité sont de l’ordre de 58 % dans le bassin. Les zones à potentialité moyenne quant à elles représentent 39%. Ce support cartographique constitue indéniablement un outil d’aide à la décision pour les gestionnaires de l’eau.
This study was carried out to determine potential groundwater recharge areas. To do this, the methodological approach was based on multi-criteria analysis associated with geospatial techniques. The data used were, among others, satellite images, base maps, rainfall data and static levels. These data made it possible to express in the form of a thematic map the factors governing the recharge (slope, drainage, lithology, fracturing, soil, rainfall and land use). The sensitivity analysis by deletion of a parameter made it possible to establish the following order of influence: Lit > Sol > AACH > Df > Pl > Pe > Dd > OS. The crossing of all these parameters after weighting led to the development of the map of potential recharge zones which revealed that the zones with high potential occupy 3% of the study zone while the zones with low to low potentiality are around 58% in the basin. Areas with average potential represent 39%. This cartographic support is undeniably a decision-making tool for water managers.
Thèses sur le sujet "Outil statique"
1
PARMENTELAT, THIERRY. « Metropol : un outil de mesure statique sur les arbres centaur ». Paris, CNAM, 1991. http://www.theses.fr/1991CNAM0128.
Texte intégralRésumé :
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 gestionnaire de graphes generique, assorti d'algorithmes de dessin originaux. Une description detaillee des strategies de complication du filtrage, ainsi que des interfaces utilisateur, termine le corps de ce memoire. Les outils realises grace a cette technologie sont actuellement commercialises. On a entrepris de les etendre a la mesure dynamique, de les integrer dans l'atelier de developpement concerto, et des resultats partiels sont mis en pratique pour le developpement d'autres applications informatiques
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://tel.archives-ouvertes.fr/tel-00434953.
Texte intégralRésumé :
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 convertisseur devient important. Dans cette optique, plusieurs auteurs ont essayé d'apporter une aide automatique dans le processus de calcul de ces modèles afin d'épargner l'utilisateur de cette fastidieuse tâche de calcul faite à la main. Néanmoins, actuellement, la démarche de modélisation n'a jamais été entièrement automatisée. Dans cette perspective, les objectifs de cette thèse visent à fournir un outil d'aide à la génération automatique de modèles exacts et moyens dans le cas de la conduction continue et/ou discontinue et en partant d'un a priori sur le fonctionnement du convertisseur à étudier : la description du circuit, le mode de fonctionnement et la commande du convertisseur statique. La conception d'un tel outil repose sur trois étapes principales et qui sont l'analyse topologique du circuit, le calcul des matrices d'état pour chaque configuration du convertisseur statique et enfin une mise en équations des modèles. Les modèles générés sont sous forme symbolique ce qui permet de les réutiliser dans plusieurs logiciels.
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://www.theses.fr/2009INPG0099.
Texte intégralRésumé :
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 convertisseur devient important. Dans cette optique, plusieurs auteurs ont essayé d'apporter une aide automatique dans le processus de calcul de ces modèles afin d'épargner l'utilisateur de cette fastidieuse tâche de calcul faite à la main. Néanmoins, actuellement, la démarche de modélisation n'a jamais été entièrement automatisée. Dans cette perspective, les objectifs de cette thèse visent à fournir un outil d'aide à la génération automatique de modèles exacts et moyens dans le cas de la conduction continue et/ou discontinue et en partant d'un a priori sur le fonctionnement du convertisseur à étudier : la description du circuit, le mode de fonctionnement et la commande du convertisseur statique. La conception d'un tel outil repose sur trois étapes principales et qui sont l'analyse topologique du circuit, le calcul des matrices d'état pour chaque configuration du convertisseur statique et enfin une mise en équations des modèles. Les modèles générés sont sous forme symbolique ce qui permet de les réutiliser dans plusieurs logicielsPower electronics models of static converters are useful in a huge set of applications. They are used for component sizing, as well for control adjustment, control or behaviour simulation. In this context, average models are a good compromise between complexity, computation time and acceptable accuracy for system simulation. However, they may be difficult to create, especially when the structures of the studied converters are complex and their control involves uncontrolled commutations. Our work focuses on the way to carry out automatically such a process by using a symbolic treatment. We propose an automatic building approach of both exact and average models by using a software tool. This one is named AMG (for Average Model Generator) and has been developed in our works. This tool is dedicated to the average modelling of power electronics converters. It deals with some discontinuous conduction modes and continuous conduction modes. The models are created from the description of the structure of the static converter (i. E. Its netlist), its operating mode and its control. In the architecture of AMG, three steps are important: the analysis of the circuit, the extraction of the state matrixes for each configuration of the static converter and finally the building of the global state model. The generated models are generated under their symbolic forma and in Modelica and VHDL-AMS languages; so this allows their simulation in several software. The modelling of several static converters is presented to show the possibilities of AMG
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.
Texte intégralRésumé :
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 endommageable. Cette loi a servi à identifier par homogénéisation le comportement des torons en supposant un collage parfait des fibres et de la matrice ainsi qu’une homogénéité de l’eau dans le toron. Grâce à ces comportements identifiés et à l’élaboration d’une loi de comportement anisotrope élasto-plastique endommageable, nous avons pu déterminer les caractéristiques élastiques dans un premier temps et les comportements longitudinaux et en cisaillement dans un second temps. Les comparaisons aux résultats expérimentaux menés sur le composite offrent des résultats satisfaisants et permettent de penser que l’outil numérique développé, permettrait, à termes, d’aider à une conception rapide incluant ce genre de matériau en diminuant le nombre d’essais expérimentaux à faire. Des perspectives enfin sont proposées notamment pour l’extension aux comportements en dynamique (crash)The objective of this PhD thesis is to create a methodology to simulate the behavior of a 2x2 glass/PA66 twill composite using homogenization. To achieve this goal, we use two steps: first one is dedicated to represent the yarn behavior and the second one to represent the behavior of the composite RVE. An experimental characterization campaign about the PA66 has been done in order to quantify the influence of both hygrometry and temperature on the behavior of the matrix in quasi-static. Then, we formulated, implemented and validated an isotropic elasto-plastic damageable constitutive law. It was used to identify by homogenization the behavior of the yarns by assuming a perfect bonding of the fibers and the matrix as well as a water homogeneity inside the yarn. Thanks to the identified behavior of the yarns and by formulating a compatible constitutive law (anisotropic elasto-plastic damageable), we have determined for the woven composite on one hand the elastic properties and in the other hand the longitudinal/transversal and shear nonlinear behaviors. The comparisons of the numerical and experimental results offer satisfactory results. It provides good outlook in short-term in regard of structures design which include this type of woven composite materials. The main advantage of the methodology is to decrease the number of required experimental tests. Some outlook dedicated to crash studies are finally suggested
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.
Texte intégralRésumé :
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'influence des limitations pratiques introduites dans la commande des interrupteurs. L'intégration de boucles de régulation ainsi que sa validation par la comparaison entre la simulation et un montage expérimental complète l'éventail des fonctions disponibles en permettant au logiciel de simuler le comportement d'un convertisseur dans un environnement
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.
Texte intégralRésumé :
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ôt un problème d'équilibre, le théorème statique du Calcul à Rupture est utilisé afin de vérifier la stabilité d'une structure maçonnée sous chargements statiques ou quasi-statiques. La méthode proposée correspond aux systèmes structuraux bidimensionnels ou pseudo-tridimensionnels (symétries axiales) qui comportent les éléments typiques de l'architecture médiévale combinés de façons variables.
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.
Texte intégralRésumé :
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 analyseurs statiques ne font état d'aucune découverte. Notre approche suggère également des méthodes alternatives pour transformer le code et améliorer sa testabilité pour SASTThe goal of this thesis was to evaluate the effectiveness of a combination of commercial and open source security scanners. Through experimentation, we identified various code patterns that hinder the ability of state-of-the-art tools to analyze projects. By detecting these patterns during the software development lifecycle, our approach can offer valuable feedback to developers regarding the testability of their code. Additionally, it enables them to more accurately evaluate the residual risk that their code might still contain vulnerabilities, even if static analyzers report no findings. Our approach also suggests alternative methods to transform the code and enhance its testability for SAST
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.
Texte intégralRésumé :
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 directe des préférences individuelles. Un diagramme de phase est construit, les phases sont interprétées dans un contexte socio-économique. De plus, un lien entre ce modèle et un modèle de spins, le modèle de Blume-Emery-Griffiths, est mis en évidence. Ce lien est ensuite utilisé pour étendre le modèle de ségrégation en version ouverte. L’introduction des flux migratoires externes se fait ainsi via un potentiel chimique, vu comme une mesure de l’attractivité du réseau-ville. De cette ouverture du système naît une ségrégation par formation d’espaces vides entre les agents différents. Enfin, un modèle de marché du logement est élaboré en utilisant les notions d’attractivité et de préférences individuelles. L'état stationnaire résolu analytiquement par approximations successives montre un bon accord avec les simulations. Une zone de mixité sociale est mis en évidence dans les simulations. De plus, les simulations reproduisent des phénomènes observés dans les transactions immobilières de Paris : des fluctuations intenses des prix au centre contre une tendance à l’homogénéisation à la périphérie
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.
Texte intégralRésumé :
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élisation qui prennent en compte la géométrie du mécanisme ainsi que la rigidité des éléments sont donc développées pour améliorer la précision de l'étalonnage. Avec de telles méthodes, il est possible de déterminer la position de l'outil des mécanismes à redondance d'actionnement à partir de paramètres géométriques et élastiques et de la position de tous les actionneursRedundant parallel kinematic machines are parallel mechanisms to which one or more kinematic branch is added in order to improve their mechanical properties. New calibration methods are developed in this thesis in order to deal with the particularities related to the actuation redundancy. First, calibration methods using geometrical models are tested. Geometrical calibration methods, however, do not take into account the elastic deformations due to the internal constraints related to the redundancy. Modeling methods are then developed that take into account the geometry of the mechanism as well as the stiffness of its elements to improve the accuracy of the calibration. With such modeling methods, it is possible to determine the tool-center-point position for redundantly actuated parallel mechanisms from geometrical and stiffness parameters and given positions for all actuators
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.
Texte intégralRésumé :
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 symétries dans la résolution SAT, consistent à calculer les symétries du problème puis à générer des "prédicats de rupture de symétrie statique" (sbp) qui s'ajoutent au problème, obligeant le solveur à adopter un seul représentant pour chaque classe d'équivalence. Le problème avec cette approche est que les contraintes supplémentaires peuvent surcharger le solveur. La première contribution de cette thèse appelée CDCL[sym] est un algorithme, qui n'introduit ces sbps que de manière opportuniste au fur et à mesure que le solveur progresse. Une deuxième approche pour exploiter les symétries consiste en ce qu'on appelle la rupture de symétrie dynamique qui s'intéresse à la propagation symétrique des deductions du solveur. Cette approche résout certains modèles que la rupture de symétrie statique ne peut résoudre, et vice-versa. Dans notre deuxième contribution de cette thèse, nous combinons cette stratégie avec la précédente permettant la propagation à la volée de déductions symétriques tout bénéficiant des avantages de CDCL[sym]Boolean satisfiability (SAT) solves the problem of finding a solution to a propositional Boolean formula. This NP-complete problem can model a wide variety of industrial and academic problems covering planning, formal verification, logic optimization... Many systems in practice exhibit symmetries, that can allow to reason on a quotient abstraction of the search space that can be exponentially smaller than the full search space in favorable cases. In this thesis, we explore how to exploit symmetry to improve the performance of SAT solvers. Existing approaches to exploit symmetries in SAT solving, consist in computing the symmetries of the problem then generating so-called static "symmetry breaking predicates" (sbps) that are added to the problem, forcing the solver to adopt only one representative for each equivalence class. The problem with this approach is that the number of additional constraints can be larger than the original system, and may overload the solver. The first contribution of this thesis called CDCL[sym] is a novel lightweight and dynamic algorithm, that only introduces these additional sbps opportunistically as the solver progresses. A second approach to exploit symmetries consists in so-called dynamic symmetry breaking that is concerned with symmetric propagation of the deductions of the solver when possible. This approach solves some models that static symmetry breaking cannot solve, and vice-versa. In our second contribution of this thesis, we combine this strategy with the previous approach, enabling for the first time on the fly propagation of symmetric deductions while still gaining the benefits of CDCL[sym]
Actes de conférences sur le sujet "Outil statique"
1
Baranes, M., et T. Fortin. « Planification et chirurgie guidée - Avis d’experts : Apports des nouvelles technologies en implantologie : de la planification à la réalisation de la prothèse provisoire immédiate ». Dans 66ème Congrès de la SFCO. Les Ulis, France : EDP Sciences, 2020. http://dx.doi.org/10.1051/sfco/20206601011.
Texte intégralRésumé :
Les dernières technologies informatiques ainsi que le développement des imprimantes 3D ouvrent des perspectives intéressantes en terme de diagnostic et de thérapeutique en implantologie (1). Le plan de traitement prothétique doit guider le choix du nombre et du positionnement des implants. Les logiciels de planification implantaire permettent de superposer les fichiers DICOM (Digital Imaging and Communications in Medicine) de limagerie tridimensionnelle issue du CBCT et les données numériques de surface issues d’empreintes optiques ou de la numérisation de modèles conventionnels (2). Les modélisations occlusales peuvent être elles aussi réalisées virtuellement en statique et dynamique via l’utilisation darticulateurs virtuels (3,4). Un guide chirurgical est alors imprimé permettant de positionner les implants selon la planification virtuelle. Dans certains cas, la restauration provisoire peut être prévue à l’avance et mise en place à lissue de lintervention (5,6). Bien quil soit établit que la chirurgie guidée soit plus précise que la chirurgie à main levée (7), son utilisation en pratique quotidienne a été ralentie en grande partie à cause du coût de fabrication élevé. Le développement récent dimprimantes 3D de bureau de haute précision (8,9) et la multiplicité des logiciels de planification implantaire ont permis le développement de la chirurgie guidée. Cependant, à chaque étape du flux numérique, des imprécisions peuvent se cumuler pouvant aboutir à des erreurs de positionnement ayant des conséquences potentiellement graves : proximité avec les racines adjacentes, perforation des racines, lésion nerveuse. La précision des guides chirurgicaux sté- réolithographiques dépend de nombreux paramètres : lempreinte, l’impression du guide, le matériau utilisé, la nature du support, lexpérience du praticien. Les empreintes optiques réalisées avec des scanners intra-oraux de plus en plus puissants présentent de nombreux avantages par rapport aux techniques conventionnelles en terme de rapidité, de précision et de reproductibilité. (10-14). Les guides peuvent être à appui osseux, muqueux, dentaire ou mixte. Une revue systématique de la littérature de Gallardo et coll. en 2017 (15) compare la précision des guides chirurgicaux en fonction du type de support. Cette revue conclut que les guides à appui osseux présentent le plus de déviation au niveau de langle, du point dentrée et de la localisation de lapex de l’implant par rapport aux guides à appuis dentaires. Les guides à appuis muqueux montrent moins de déviation par rapport aux guides à appuis osseux. Les auteurs nont pas trouvé de différence statistiquement significative entre les guides à appuis dentaires et muqueux. Selon L’étude de Cassetta publiée en 2017 (16), lexpérience du praticien influence la précision du positionnement des implants en chirurgie guidée. Un praticien novice en implantologie présente plus de déviation sur le positionnement des implants avec lutili- sation d’un guide chirurgical stéréolithographique quun praticien expérimentée. La chirurgie implantaire guidée reste un outil et nécessite une expérience chirurgicale. Le flux numérique en implantologie peut aujourdhui se réaliser de la prise d’empreintes d’étude à la fabrication de la restauration prothétique implantaire en passant par la conception et l’impression d’un guide chirurgi- cal. Ce flux est une aide précieuse en terme de communication avec le patient mais aussi avec le prothésiste, il permet daugmenter la reproductibilité des résultats et daboutir à une restauration prothétique esthétique et fonctionnelle.
Rapports d'organisations sur le sujet "Outil statique"
1
Gruson-Daniel, Célya, et Maya Anderson-González. Étude exploratoire sur la « recherche sur la recherche » : acteurs et approches. Ministère de l'enseignement supérieur et de la recherche, novembre 2021. http://dx.doi.org/10.52949/24.
Texte intégralRésumé :
• Introduction Dans le cadre du deuxième Plan National de la Science Ouverte, le Comité pour la science ouverte a souhaité mener une étude pour la préfiguration d’un Lab de la science ouverte (LabSO) afin de mieux comprendre le périmètre de la recherche sur la recherche (research on research) dans un contexte international. • Objectifs de l’étude : L’étude répond ainsi à trois objectifs : 1. repérer des grands courants de recherche sur la recherche (RoR) dans le paysage plus général de la recherche universitaire en Europe et outre-atlantique, en reconnaître les principaux acteurs institutionnels et différencier les approches mobilisées par les uns et les autres ; 2. proposer une méthodologie d’analyse dans une démarche de science ouverte (méthodes mixtes et cartographie numérique) pour faciliter l’appropriation de son contenu ; 3. émettre des recommandations pour faciliter le positionnement du LabSO et s’inspirer d’initiatives existantes. • Méthodologie Une série de treize entretiens et une collecte de données d’une sélection thématique de sites web ont permis de dresser un paysage d’acteurs et d’approches impliqués dans des recherches sur la recherche. Ce dernier s’est nourri d’une démarche de cartographie numérique pour repérer et visualiser les liens existants entre différentes communautés, mouvements, réseaux et initiatives (financeurs, projets, centres de recherche, fournisseurs de données, éditeurs, etc.). • Résultats Le rapport présente différents courants de « recherche sur la recherche » issus des traditions théoriques et méthodologiques de la sociologie, de l’économie, des sciences politiques, de la philosophie, des sciences de l’information et des mesures (biblio/scientométrie). Des courants plus récents sont aussi décrits. Ils s’inscrivent dans un contexte de politiques publiques favorables à la science ouverte et ont émergé dans le champ des sciences sociales computationnelles, des Big Data ou encore des domaines biomédicaux. Si certaines de ces approches s’appuient sur des courants académiques (STS, sciences des mesures) établis depuis de nombreuses décennies, d’autres comme ceux de la « métascience » ou de la « science de la science », se sont structurées plus récemment avec une visée prescriptive et de changement fondé sur des preuves (evidence-based) se basant sur un engagement normatif pour une science plus ouverte, inclusive et diverse. Bien loin d’un paysage statique, l’étude fait ressortir des recherches en mouvement, des débats tout autant que des mises en garde afin que certains courants « ne réinventent pas la roue » en faisant fit d’une longue tradition académique de l’étude des sciences et de la production scientifiques. De nouvelles alliances entre centres de recherche et laboratoires, institutions subventionnaires, décideurs politiques et fournisseurs de données ont été repérées. Elles participent à une dynamique actuelle d’équipement des politiques publiques par des outils d’évaluation et des protocoles de recherche pour guider les actions menées, on parle d’évidence-based policies. Un des exemples les plus récents étant laa seconde feuille de route du RoRI1 poussant notamment à la formation d’un réseau international d’instituts de recherche sur la recherche, fondé sur le partage et la mutualisation de données, de méthodes et d’outils. Outre la présentation de ces différents acteurs et courants, le rapport pointe le rôle joué par les infrastructures et les fournisseurs de données scientifiques (publications, données, métadonnées, citations, etc.) dans la structuration de ce paysage et les équilibres à trouver. • Recommandations 1. Accompagner la construction d’indicateurs et de métriques par le biais d’un regard critique et de discussions collectives pour mesurer leurs impacts sur les comportements des professionnels de la recherche (mésusages, gaming). 2. Porter attention aux étapes de diffusion des résultats scientifiques issus des « recherches sur la recherche » pour les adapter aux différents publics ciblés (chercheurs, responsables des politiques publiques de recherche, journalistes, etc.). 3. Articuler les travaux de « recherche sur la recherche » avec une démarche de science ouverte en questionnant notamment les choix faits concernant les fournisseurs de données, les infrastructures et outils d’évaluation, de découvrabilité et d’analyse de la production scientifique (gouvernance, utilisation des données, etc.). 4. Soutenir les approches thématiques et transversales plutôt que disciplinaire de manière collaborative entre les différents membres du Lab de la science ouverte et aider le dialogue entre les différentes approches et mouvements (STS, research on research, science of science, scientométrie, etc.)