Letteratura scientifica selezionata sul tema "Exploration sous contrainte"

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Exploration sous contrainte".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Articoli di riviste sul tema "Exploration sous contrainte":

1

Lutz, Bruno. "Danilo Martucelli. Doominations ordinaires. Explorations de la condition moderne". Revista Trace, n. 40 (5 settembre 2018): 68. http://dx.doi.org/10.22134/trace.40.2001.548.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
Dans cet ouvrage, Danilo Martucelli défend l'idée que l'analyse des dominations ordinaires doit être une analyse à la fois structurelle, dynamique et relationnelle la domination ordinaire étant définie comme une dissymétrie relationnelle qui se manifeste dans la vie quotidienne sous des formes généralement anodines et inaperçues. L'auteur affirme que cette approche, qu'il veut originale et non dogmatique, est susceptible d'expliquer les formes de pouvoir dans n'importe quelle société parce que la priorité est donnée à l'identification et à l'analyse des conduites normées et des dérives pratiques qu'elles autorisent. Ainsi, les comportements réglementés et l'ensemble des pratiques sociales admises sont abordés comme des invariants: les individus sont soumis aux mêmes contraintes et y répondent de façon analogue indépendamment du pays et du contexte dans lequel ils se trouvent. Martucelli reconnaît bien la nature anonyme, diffuse et complexe des formes de dominations dans la société moderne, mais il reconnaît également l'existence de traits communs en ce qui concerne les "épreuves" sociales et les réactions à celles-ci.
2

Caballé, Guy. "Le port autoportant des lianes tropicales : une synthèse des stratégies de croissance". Canadian Journal of Botany 76, n. 10 (1 ottobre 1998): 1703–16. http://dx.doi.org/10.1139/b98-127.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
Les lianes sont des végétaux ligneux grimpants et non autoportants. Mais les lianes sont capables d'autoportance dans les trois situations suivantes : (i) sous conditions de milieu limitantes (lumineuses surtout); (ii) en phase juvénile du développement morphogénétique; (iii) lors des épisodes d'expansion, de renouvellement ou de restauration morphologique. L'autoportance peut concerner tout ou partie du système aérien, l'ensemble des tiges ou quelques tiges seulement. En général, lorsque l'autoportance et la non autoportance affectent plusieurs tiges d'un même système aérien, ces dernières s'opposent aussi par les fonctions biologiques qu'elles exerçent : asexuée et sexuée, sans accrochage et avec accrochage, établissement et exploration. Lorsque l'ensemble du système aérien est autoportant (situations (i) et (ii)), la liane a un mode de vie comparable à celui d'un petit arbre ou d'un arbuste. Une synthèse des données d'architecture anatomique et de stratégie de croissance est présentée. Elle porte sur quelque 40 sites forestiers d'Afrique, d'Amérique et de l'Océan Indien et plus de 400 espèces d'angiospermes tropicales lianescentes. Le polymorphisme des lianes, révélateur des contrastes de vie en milieu tropical, trouve son expression la plus accomplie dans l'opposition des deux modes de vie, autoportant et non autoportant. Sur un plan évolutif, les lianes pourraient représenter une forme ligneuse originale qui aurait conservé ou acquis ces deux modes de vie. Les contraintes de l'environnement et (ou) du développement morphogénétique stimuleraient selon les cas l'organisation autoportante ou non.Mots clés : liane, autoportance, non autoportance, architecture anatomique, mode de vie, polymorphisme.
3

Munnich, Arnold, Caroline Demily, Lisa Frugère, Charlyne Duwime, Valérie Malan, Giulia Barcia, Céline Vidal et al. "Vingt ans de consultations de génétique clinique sur site dans les hôpitaux de jour pour les personnes atteintes de troubles du spectre autistique de la région parisienne". médecine/sciences 35, n. 11 (novembre 2019): 843–51. http://dx.doi.org/10.1051/medsci/2019170.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
Malgré les avancées de la recherche, un grand nombre de patients atteints de troubles du spectre autistique (TSA) n’ont pas accès aux explorations aujourd’hui disponibles, du fait d’idées reçues, de l’insuffisance des structures à même de les explorer et de l’inadaptation des consultations hospitalières à leurs troubles du comportement. Pour améliorer l’accès aux soins et au progrès des connaissances, nous avons inversé le paradigme et offrons depuis 20 ans des consultations de génétique clinique sur site dans les hôpitaux de jour et les institutions spécialisées de la région parisienne. Depuis 1998, une équipe mobile de génétique médicale propose aux patients et à leurs familles des consultations dans leur environnement habituel. L’unité mobile opère sous l’égide de l’hôpital universitaire Necker Enfants-Malades, qui leur donne accès aux services de biochimie, de cytogénétique moléculaire et de séquençage de nouvelle génération (NGS). En vingt ans, 502 patients appartenant à 26 institutions ont bénéficié de consultations sur site et d’un accès aux plateformes de génétique moléculaire. Moins de 1 % des parents ont décliné la proposition. Des affections génétiques ont été identifiées chez 71 patients présentant un TSA : anomalies cytogénétiques causales (34/388 : 8,8 % ; de novo : 19, héritées : 4), X Fragile (4/312 : 1,3 %) et mutations monogéniques reconnues responsables de TSA (33/141 ; 23,4 % : de novo : 23 ; héritées : 10, dont 5 liées à l’X et 5 récessives autosomiques). L’IRM cérébrale a été possible chez 347 patients et considérée comme anormale chez 42 % d’entre eux (146/347). Tous les patients diagnostiqués présentaient un TSA atypique ou syndromique, avec déficience intellectuelle modérée à sévère. Grâce à ce mode d’intervention, un grand nombre de consultations manquantes ont été rattrapées et les familles ont pu bénéficier d’une consultation de génétique. Eu égard aux contraintes imposées par les troubles du comportement dans les TSA, les consultations sur site constituent, pour les patients et leurs apparentés, un moyen d’améliorer l’accès aux soins et de réduire le risque de méconnaissance d’une pathologie organique à présentation psychiatrique.
4

Boulenger, J. P., J. C. Bisserbe, N. Perier e E. Zarifian. "Perturbations Cognitives et Pathologie Anxieuse". Psychiatry and Psychobiology 3, S2 (1988): 125s—129s. http://dx.doi.org/10.1017/s0767399x00002133.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
RésuméL’analyse sémiologique de la pathologie anxieuse met en évidence la fréquence des troubles cognitifs associés tant au cours des accès d’angoisse-panique que dans les états d’anxiété plus chroniques de type généralisé ou phobique. Au cours des crises d’angoisse, la survenue de symptômes qualifiés de «psycho-sensoriels» n’est pas rare: modifications d’intensité de diverses modalités sensorielles, altérations du cours de la pensée et de la sensation du temps écoulé, perception anormale de son propre corps (dépersonnalisation) et du milieu environnant (déréalisation). A ces troubles «perceptifs», voisins de ceux observés dans certaines formes d’épilepsie temporale, s’ajoute une focalisation extrême de l’attention sur un danger subjectif contre laquelle les données de la réalité ambiante ou de l’expérience passée paraissent ne plus avoir d’influence. Dans l’anxiété généralisée chronique, l’attention apparaît au contraire plus labile, l’hypervigilance entraînant une exagération de l’attention spontanée et un affaiblissement de l’attention volontaire qui pourraient rendre compte des difficultés de concentration et des troubles de la mémoire à court terme dont se plaignent fréquemment ces patients. Ces troubles de «l’intelligence» font partie des «stigmates psychasthéniques» qui, pour Pierre Janet, résultent de la baisse de tension psychologique, mécanisme psychopathologique commun à la plupart des syndromes qui seront désignés plus tard sous le nom d’états névrotiques ou de troubles anxieux. Malgré I intérêt de telles hypothèses, l’étude des fonctions cognitives n’a fait l’objet jusqu’alors que d’un développement limité dans le champ de la psychiatrie, et les quelques études réalisées chez des volontaires présentant des degrés variables d’anxiété-trait posent le problème de leur extrapolation aux situations pathologiques. L’intérêt de ces explorations neuropsychologiques est évident et devrait être développé, tant en ce qui concerne les grandes fonctions cognitives (attention, mémoire, perception sensorielle) qu’en ce qui concerne le fonctionnement spécifique des deux hémispheres cérébraux dont l’influence sur la régulation des processus émotionnels apparaît inégale.
5

Klimenko, Svetlana. "Playing with Figures". Babel. Revue internationale de la traduction / International Journal of Translation 50, n. 3 (31 dicembre 2004): 193–214. http://dx.doi.org/10.1075/babel.50.3.01kli.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
Abstract The paper is based on a corpus investigation of Danish theatre repertoire for the second half of the twentieth century. The discussion opens with a detailed presentation of those genre-specific challenges and even obstacles to a statistically oriented approach that arise the moment an investigation turns from ‘plays as published texts’ to ‘plays as performances and productions’. The main part of the analysis is a discussion of British and Russian theatrical import to Denmark, and the ways in which its development can shed light on the mechanisms of power working through translation politics. Danish repertoire choices reveal egotistic, self-centred motivation behind their treatment of British and Russian sources, respectively, when the English culture emerges as a source of, first of all, light entertainment, while the Russian one, on the contrary, seems to be called on to satisfy the demand for the artistic exploration of the more melancholic, dark side of human character. The analysis is focussed on the uses of Chekhov and Shakespeare in the construction of Danish cultural Self, and framed in a more theoretical discussion of the challenges and signifi cance of the theatre for Translation Studies in the new, culture conscious phase of its development. Resumé L’article est basé sur l’examen du corpus du répertoire théâtral danois pendant la seconde moitié du vingtième siècle. La discussion débute par une présentation détaillée des défi s spécifi ques au genre, voire des obstacles à une approche statistiquement orientée. Ces défi s surgissent au moment où la recherche passe des « pièces sous forme de textes publiés » à des « pièces devant être représentées et produites ». La partie principale de l’analyse est une discussion sur l’importation théâtrale britannique et russe au Danemark et sur la manière dont son développement peut éclairer les mécanismes de force qui agissent dans la politique de la traduction. Les choix du répertoire danois révèlent l’existence d’une motivation égotiste et égocentrique derrière leur traitement des sources britanniques et russes; la culture anglaise apparaît surtout comme une source de divertissement léger, tandis qu’au contraire, il semble qu’on fasse appel à la culture russe pour satisfaire la demande d’une explora tion artistique du côté sombre et plus mélancolique du caractère humain. L’analyse se concentre sur l’utilisation de Tchekhov et de Shakespeare dans la construction du Moi culturel danois, et s’inscrit dans une discussion plus théorique sur les défi s et la signification du théâtre pour la traductologie, dans la nouvelle phase de son développement, consciente de la culture.

Tesi sul tema "Exploration sous contrainte":

1

Dorval, Valérie. "Planification des activités chirurgicales sous contrainte de capacité". Thesis, Valenciennes, Université Polytechnique Hauts-de-France, 2019. http://www.theses.fr/2019UPHF0004.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
Les services de chirurgies sont confrontés à des difficultés à répondre à la demande et les patients font face à de longues listes d’attente avant d’être traités. Afin d’améliorer les services, des délais maximums à respecter ont été mis en place pour certains types de chirurgie, ajoutant toutefois une contrainte au système surchargé. Finalement, l’annulation de chirurgies pour cause de manque de lits aux soins intensifs et sur les unités de soins est considérée comme assez fréquente, causant un goulot d’étranglement dans le flux de patients. Dans ce contexte, l’objectif de cette thèse est de proposer et de valider une procédure de planification des activités chirurgicales tenant compte de la capacité dans les unités de soins post-opératoires, dans le but d’améliorer l’utilisation des lits d’hospitalisation et ainsi d’augmenter le flux de patients dans le système. Cette thèse propose un outil d’aide à la décision pour formaliser le processus de planification des activités chirurgicales au niveau tactique/opérationnel et permettant de tenir compte de la disponibilité des lits d’hospitalisation et de la variabilité de la durée de séjour des patients, en fonction de différents facteurs. Cet outil tient compte du fonctionnement actuel du système et du contexte l’entourant en vue d’assurer la faisabilité de la mise en oeuvre. Dans un premier temps, un modèle de prédiction de la durée de séjour des patients est conçu en combinant une méthode de classification des données, soit les arbres de classification et de régression, avec une méthode permettant l’estimation de la distribution des données, les distributions phase-type. Une étape de validation permettra de comparer les résultats du modèle aux données empiriques. En second lieu, un outil de planification des activités chirurgicales est développé en utilisant la programmation linéaire en nombres entiers et en y incorporant la composante « durée de séjour des patients » dans le but de contrôler l’occupation des lits d’hospitalisation en plus de l’occupation des salles de chirurgies. Finalement, un simulateur est développé et utilisé pour permettre d’évaluer différentes stratégies et critères d’ordonnancement des activités en plus de tenir compte de la variabilité inhérente au problème. À ce niveau il est possible d’intégrer le modèle de prévision des durées de séjour développé en début de projet
Surgical services face difficulties in meeting demand and patients face long waiting lists for treatment. In order to improve services, maximum deadlines have been set for certain types of surgery, but this adds a constraint to the already overloaded system. Finally, the cancellation of surgeries due to a lack of beds in intensive care and on care units is considered quite frequent, causing a bottleneck in the patient flow. In this context, the objective of this thesis is to propose and validate a surgical activity planning procedure that takes into account capacity in post-operative care units, with the aim of improving the use of hospital beds and thus increasing patient flow in the system. This thesis proposes a decision support tool to formalize the surgical activity planning process at the tactical/operational level and to take into account the availability of hospital beds and the variability in patients' length of stay according to different factors. This tool takes into account the current functioning of the system and the context surrounding it in order to ensure the feasibility of implementation. First, a model for predicting the length of patients' stay is designed by combining a data classification method, classification and regression tree theory, with a method for estimating the data distribution, phase-type distributions. A validation step will compare the model results with empirical data. Second, a surgical activity planning tool is being developed using integer linear programming and incorporating the "length of stay" component to control hospital bed occupancy in addition to surgical room occupancy. Finally, a simulator is developed and used to evaluate different strategies and criteria for scheduling activities and to take into account the inherent variability of the problem. At this point, it is possible to integrate the model for predicting the length of stay developed at the beginning of the project
2

Garcelon, Evrard. "Constrained Exploration in Reinforcement Learning". Electronic Thesis or Diss., Institut polytechnique de Paris, 2022. http://www.theses.fr/2022IPPAG007.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
Une application majeure de l'apprentissage machine automatisée est la personnalisation des différents contenus recommandé à différents utilisateurs. Généralement, les algorithmes étant à la base de ces systèmes sont dit supervisé. C'est-à-dire que les données utilisées lors de la phase d'apprentissage sont supposées provenir de la même distribution. Cependant, ces données sont générées par des interactions entre un utilisateur et ces mêmes algorithmes. Ainsi, les recommandations pour un utilisateur à un instant t peuvent modifier l'ensemble des recommandations pertinentes à un instant ultérieur. Il est donc nécessaire de prendre en compte ces interactions afin de produire un service de la meilleure qualité possible. Ce type d'interaction est réminiscente du problème d'apprentissage en ligne. Parmi les algorithmes dit en ligne, les algorithmes de bandits et d'apprentissage par Renforcement (AR) semblent être les mieux positionnés afin de remplacer les méthodes d'apprentissage supervisé pour des applications nécessitant un certain degré de personnalisation. Le déploiement en production d'algorithmes d'apprentissage par Renforcement présente un certain nombre de difficultés tel que garantir un certain niveau de performance lors des phases d'exploration ou encore comment garantir la confidentialité des données collectées par ces algorithmes. Dans cette thèse nous considérons différentes contraintes freinant l’utilisation d’algorithmes d’apprentissage par renforcement, en fournissant des résultats à la fois empirique et théorique sur la vitesse d’apprentissage en présence de différentes contraintes
A major application of machine learning is to provide personnalized content to different users. In general, the algorithms powering those recommandation are supervised learning algorithm. That is to say the data used to train those algorithms are assumed to be sampled from the same distribution. However, the data are generated through interactions between the users and the recommendation algorithms. Thus, recommendations for a user a time t can have an impact on the set of pertinent recommandation at a later time. Therefore, it is necessary to take those interactions into account. This setting is reminiscent of the online learning setting. Among online learning algorithms, Reinforcement Learning algorithms (RL) looks the most promising to replace supervised learning algorithms for applications requiring a certain degree of personnalization. The deployement in production of RL algorithms presents some challenges such as being able to guarantee a certain level of performance during exploration phases or how to guarantee privacy of the data collected by RL algorithms. In this thesis, we consider different constraints limiting the use of RL algorithms and provides both empirical and theoretical results on the impact of those constraints on the learning process
3

Aklil, Nassim. "Apprentissage actif sous contrainte de budget en robotique et en neurosciences computationnelles. Localisation robotique et modélisation comportementale en environnement non stationnaire". Thesis, Paris 6, 2017. http://www.theses.fr/2017PA066225/document.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
La prise de décision est un domaine très étudié en sciences, que ce soit en neurosciences pour comprendre les processus sous tendant la prise de décision chez les animaux, qu’en robotique pour modéliser des processus de prise de décision efficaces et rapides dans des tâches en environnement réel. En neurosciences, ce problème est résolu online avec des modèles de prises de décision séquentiels basés sur l’apprentissage par renforcement. En robotique, l’objectif premier est l’efficacité, dans le but d’être déployés en environnement réel. Cependant en robotique ce que l’on peut appeler le budget et qui concerne les limitations inhérentes au matériel, comme les temps de calculs, les actions limitées disponibles au robot ou la durée de vie de la batterie du robot, ne sont souvent pas prises en compte à l’heure actuelle. Nous nous proposons dans ce travail de thèse d’introduire la notion de budget comme contrainte explicite dans les processus d’apprentissage robotique appliqués à une tâche de localisation en mettant en place un modèle basé sur des travaux développés en apprentissage statistique qui traitent les données sous contrainte de budget, en limitant l’apport en données ou en posant une contrainte de temps plus explicite. Dans le but d’envisager un fonctionnement online de ce type d’algorithmes d’apprentissage budgétisé, nous discutons aussi certaines inspirations possibles qui pourraient être prises du côté des neurosciences computationnelles. Dans ce cadre, l’alternance entre recherche d’information pour la localisation et la décision de se déplacer pour un robot peuvent être indirectement liés à la notion de compromis exploration-exploitation. Nous présentons notre contribution à la modélisation de ce compromis chez l’animal dans une tâche non stationnaire impliquant différents niveaux d’incertitude, et faisons le lien avec les méthodes de bandits manchot
Decision-making is a highly researched field in science, be it in neuroscience to understand the processes underlying animal decision-making, or in robotics to model efficient and rapid decision-making processes in real environments. In neuroscience, this problem is resolved online with sequential decision-making models based on reinforcement learning. In robotics, the primary objective is efficiency, in order to be deployed in real environments. However, in robotics what can be called the budget and which concerns the limitations inherent to the hardware, such as computation times, limited actions available to the robot or the lifetime of the robot battery, are often not taken into account at the present time. We propose in this thesis to introduce the notion of budget as an explicit constraint in the robotic learning processes applied to a localization task by implementing a model based on work developed in statistical learning that processes data under explicit constraints, limiting the input of data or imposing a more explicit time constraint. In order to discuss an online functioning of this type of budgeted learning algorithms, we also discuss some possible inspirations that could be taken on the side of computational neuroscience. In this context, the alternation between information retrieval for location and the decision to move for a robot may be indirectly linked to the notion of exploration-exploitation compromise. We present our contribution to the modeling of this compromise in animals in a non-stationary task involving different levels of uncertainty, and we make the link with the methods of multi-armed bandits
4

Leleu, Marion. "Extraction de motifs séquentiels sous contraintes dans des données contenant des répétitions consécutives". Lyon, INSA, 2004. http://theses.insa-lyon.fr/publication/2004ISAL0001/these.pdf.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
Un axe de recherche typique du data mining, et qui nous concerne dans cette thèse, est la recherche de régularités dans des bases de séquences (e. G. , séquences d'achats, de navigation, d'ADN). De nombreux algorithmes ont été proposés pour traiter l'extraction de motifs séquentiels satisfaisant des contraintes variées. Parmi ceux existants, certains exploitent une représentation en mémoire des positions des motifs (listes d'occurences), ce qui permet de réduire les coûts liés aux accès disque lors de l'exécution d'un processus. Cependant, leurs performances peuvent être grandement améliorées lorsque ces données comportent des répétitions consécutives, c'est-à-dire, en quelque sorte, une redondance de certaines informations dans le temps. Par exemple, un client peut acheter plusieurs fois le même article lors d'achats successifs, la même erreur peut se reproduire plusieurs fois d'affilé sur un réseau informatique, ou encore, comme c'est le cas dans notre contexte d'application (traitement de données financières où l'évolution de produits boursiers est représentée par des séquences d'évènements), lorsque les séquences sont construites à partir de données quantitatives discrétisées. Dans cette thèse, nous tentons d'apporter des solutions efficaces au problème de l'extraction, contrainte ou non, de motifs séquentiels, dans le cas de données contenant des répétitions consécutives. Celles-ci s'appuient sur une généralisation des listes d'occurences et proposent de condenser les informations qu'elles contiennent, sans perte pour les extractions. Cette nouvelle représentation a donné lieu aux développements d'extracteurs de motifs séquentiels, GoSpade (traitement de la seule contrainte de fréquence minimum) et GoSpec (traitement de contraintes temporelles), particulièrement bien adaptés à la présence de répétitions consécutives dans les données. Les algorithmes correspondants ont respectivement fait l'objet d'une démonstration de justesse et de complétude afin d'assurer la correction des résultats qu'ils retournent. De plus, il a été montré, par des expérimentations sur des jeux de données réelles et synthétiques, que ces extracteurs présentaient une nette amélioration des performances en présence de répétitions consécutives. Les gains obtenus, en terme d'espace mémoire et de temps d'exécution, permettent de travailler sur des volumes de données plus importants et à des seuils de fréquence plus faibles, dans des temps raisonnables. Enfin, une application dans le domaine des marchés financiers, visant à construire une représentation synthétique de différentes tendances boursières sous forme de motifs séquentiels caractéristiques, a été effectuée. Nous avons pu montrer que des motifs fréquents constituant une tendance contiennent une information qui est bien spécifique de la tendance représentée
This PhD Thesis concerns the particular data mining field that is the sequential pattern extractions from event sequence databases (e. G. Customer transaction sequences, web logs, DNA). Among existing algorithms, those based on the use of a representation in memory of the pattern locations (called occurrence lists), present a lost of efficiency when the sequences contain consecutive repetitions. This PhD Thesis proposes some efficient solutions to the sequential pattern extraction in such a context (constraints and repetitions) based on a condensation of informations contained in the occurrence lists, without lost for the extraction process. This new representation leads to new sequential pattern extraction algorithms (GoSpade and GoSpec) particularly well adapted to the presence of consecutive repetitions in the datasets. These algorithms have been proved to be sound and complete and experiments on both real and synthetic datasets enabled to show that the gain in term of memory space and execution time is important and that they increase with the number of consecutive repetitions contained in the datasets. Finally, a financial application has been performed in order to make a condensed representation of market trends by means of frequent sequential patterns
5

Leleu, Marion Boulicaut Jean-François. "Extraction de motifs séquentiels sous contraintes dans des données contenant des répétitions consécutives". Villeurbanne : Doc'INSA, 2005. http://docinsa.insa-lyon.fr/these/pont.php?id=leleu.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Prost-Boucle, Adrien. "Génération rapide d'accélerateurs matériels par synthèse d'architecture sous contraintes de ressources". Thesis, Grenoble, 2014. http://www.theses.fr/2014GRENT039/document.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
Dans le domaine du calcul générique, les circuits FPGA sont très attrayants pour leur performance et leur faible consommation. Cependant, leur présence reste marginale, notamment à cause des limitations des logiciels de développement actuels. En effet, ces limitations obligent les utilisateurs à bien maîtriser de nombreux concepts techniques. Ils obligent à diriger manuellement les processus de synthèse, de façon à obtenir une solution à la fois rapide et conforme aux contraintes des cibles matérielles visées.Une nouvelle méthodologie de génération basée sur la synthèse d'architecture est proposée afin de repousser ces limites. L'exploration des solutions consiste en l'application de transformations itératives à un circuit initial, ce qui accroît progressivement sa rapidité et sa consommation en ressources. La rapidité de ce processus, ainsi que sa convergence sous contraintes de ressources, sont ainsi garanties. L'exploration est également guidée vers les solutions les plus pertinentes grâce à la détection, dans les applications à synthétiser, des sections les plus critiques pour le contexte d'utilisation réel. Cette information peut être affinée à travers un scénario d'exécution transmis par l'utilisateur.Un logiciel démonstrateur pour cette méthodologie, AUGH, est construit. Des expérimentations sont menées sur plusieurs applications reconnues dans le domaine de la synthèse d'architecture. De tailles très différentes, ces applications confirment la pertinence de la méthodologie proposée pour la génération rapide et autonome d'accélérateurs matériels complexes, sous des contraintes de ressources strictes. La méthodologie proposée est très proche du processus de compilation pour les microprocesseurs, ce qui permet son utilisation même par des utilisateurs non spécialistes de la conception de circuits numériques. Ces travaux constituent donc une avancée significative pour une plus large adoption des FPGA comme accélérateurs matériels génériques, afin de rendre les machines de calcul simultanément plus rapides et plus économes en énergie
In the field of high-performance computing, FPGA circuits are very attractive for their performance and low consumption. However, their presence is still marginal, mainly because of the limitations of current development tools. These limitations force the user to have expert knowledge about numerous technical concepts. They also have to manually control the synthesis processes in order to obtain solutions both fast and that fulfill the hardware constraints of the targeted platforms.A novel generation methodology based on high-level synthesis is proposed in order to push these limits back. The design space exploration consists in the iterative application of transformations to an initial circuit, which progressively increases its rapidity and its resource consumption. The rapidity of this process, along with its convergence under resource constraints, are thus guaranteed. The exploration is also guided towards the most pertinent solutions thanks to the detection of the most critical sections of the applications to synthesize, for the targeted execution context. This information can be refined with an execution scenarion specified by the user.A demonstration tool for this methodology, AUGH, has been built. Experiments have been conducted with several applications known in the field of high-level synthesis. Of very differen sizes, these applications confirm the pertinence of the proposed methodology for fast and automatic generation of complex hardware accelerators, under strict resource constraints. The proposed methodology is very close to the compilation process for microprocessors, which enable it to be used even by users non experts about digital circuit design. These works constitute a significant progress for a broader adoption of FPGA as general-purpose hardware accelerators, in order to make computing machines both faster and more energy-saving
7

Prost-Boucle, A. "Génération rapide d'accélérateurs matériels par synthèse d'architecture sous contraintes de ressources". Phd thesis, Université de Grenoble, 2014. http://tel.archives-ouvertes.fr/tel-01071661.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
Bien que les FPGA soient très attrayants pour leur performance et leur faible consommation, leur emploi en tant qu'accélérateurs matériels reste marginal. Les logiciels de développement existants ne sont en effet accessibles qu'à un public expert en conception de circuits. Afin de repousser leurs limites, une nouvelle méthodologie de génération basée sur la synthèse d'architecture est proposée. En appliquant des transformations successives à une solution initiale, le processus converge rapidement et permet de respecter strictement des contraintes matérielles, notamment en ressources. Un logiciel démonstrateur, AUGH, a été construit, et des expérimentations ont été menées sur plusieurs applications reconnues. La méthodologie proposée est très proche du processus de compilation pour les microprocesseurs, ce qui permet son utilisation même par des utilisateurs non spécialistes de la conception de circuits numériques.
8

Turbatte, Hervé-Claude. "Conception d'architectures d'instrumentation sous contraintes d'observabilité et de fiabilité : application à des plates-formes pétrolières". Vandoeuvre-les-Nancy, INPL, 1992. http://www.theses.fr/1992INPL087N.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
Pour un processus, notre objectif a été, d'une part, de quantifier la disponibilité des informations nécessaires à la conduite et, d'autre part, de déterminer où placer des capteurs pour que lors de la défaillance d'un ou de plusieurs capteurs, les variables nécessaires à la conduite soient toujours observables en fonction de contraintes de fiabilité, de position ou de coût financier. Pour évaluer la fiabilité d'une architecture d'instrumentation donnée (MTIF : Mean Time To Failure), deux approches ont été développées. Dans la-première approche, la fiabilité est calculée directement en recherchant toutes les pannes de capteurs qui ne nuisent pas à l'observabilité des variables. Dans la deuxième approche, plus simple et plus rapide, on calcule la fonction de défiabilité de l'architecture en utilisant la Méthode de l'Arbre des Causes (MAC). Pour rechercher l'architecture d'instrumentation la plus fiable, quatre méthodes ont été développées. Ces méthodes sont basées soit sur une comparaison du MTTF de différentes architectures, soit sur une analyse de la structure du graphe du processus, soit sur une analyse de l'évolution de la fiabilité dans le temps ou encore sur une analyse des cycles contenus dans le graphe du processus. Les méthodes développées ont été appliquées avec succès sur des plates-formes pétrolières de la société Elf
For a given process, our aim is on the one hand to assess the availability of the necessary informations for the process control, and on the other hand to define the sensor location in order that the necessary variables for control are al ways observable when one or more sensors are defective subject to reliability,location and cost constraints. Two approaches to estimate the reliability of a measurement system are presented. In the first, the reliability is simply calculated by searching the sensory breakdown configurations for which. The system remains observable. Ln the second; we calculate the unrelizbility function using Fault Tree Method. To search the most reliable measurement system, four methods are presented. These methods are based on the MTIF comparison among different measurement systems, or on the structural analysis of the process graph, or on the analysis of the reliability evaluation vs time or more on the cycles study of the process graph. The proposed methods are successfully applied to an off-shore platform of the French petroleum company Elf Aquitaine
9

Soulet, Arnaud. "Un cadre générique de découverte de motifs sous contraintes fondées sur des primitives". Phd thesis, Université de Caen, 2006. http://tel.archives-ouvertes.fr/tel-00123185.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
La découverte de motifs est une tâche centrale pour
l'extraction de connaissances dans les bases de données. Cette thèse
traite de l'extraction de motifs locaux sous contraintes. Nous
apportons un éclairage nouveau avec un cadre combinant des primitives
monotones pour définir des contraintes quelconques. La variété de ces
contraintes exprime avec précision l'archétype des motifs recherchés
par l'utilisateur au sein d'une base de données. Nous proposons alors
deux types d'approche d'extraction automatique et générique malgré les
difficultés algorithmiques inhérentes à cette tâche. Leurs efficacités
reposent principalement sur l'usage de conditions nécessaires pour
approximer les variations de la contrainte. D'une part, des méthodes
de relaxations permettent de ré-utiliser les nombreux algorithmes
usuels du domaines. D'autre part, nous réalisons des méthodes
d'extraction directes dédiées aux motifs ensemblistes pour les données
larges ou corrélées en exploitant des classes d'équivalences. Enfin,
l'utilisation de nos méthodes ont permi la découverte de phénomènes
locaux lors d'applications industrielles et médicales.
10

Merabet, Massinissa. "Solutions optimales des problèmes de recouvrement sous contraintes sur le degré des nœuds". Thesis, Montpellier 2, 2014. http://www.theses.fr/2014MON20138/document.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Abstract (sommario):
Le travail que nous développons dans le cadre de cette thèse s'articule autour des problèmes de recherche de structure de recouvrement de graphes sous contrainte sur le degré des sommets. Comme l'arbre de recouvrement couvre les sommets d'un graphe connexe avec un minimum de liens, il est généralement proposé comme solution à ce type de problèmes. Cependant, pour certaines applications telles que le routage dans les réseaux optiques, les solutions ne sont pas nécessairement des sous-graphes. Nous supposons dans cette thèse que la contrainte sur le degré est due à une capacité limitée instantanée des sommets et que la seule exigence sur le recouvrement est sa connexité. Dans ce cas, la solution peut être différente d'un arbre. Nous reformulons ces problèmes de recouvrement en nous appuyant sur une extension du concept d'arbre appelée hiérarchie de recouvrement. Notre objectif principal est de démontrer son intérêt vis-à-vis de l'arbre en termes de faisabilité et de coût du recouvrement. Nous considérons deux types de contraintes sur le degré : des bornes sur le degré des sommets ou une borne sur le nombre de sommets de branchement et cherchons dans les deux cas un recouvrement de coût minimum. Nous illustrons aussi l'applicabilité des hiérarchies en étudiant un problème prenant davantage en compte la réalité du routage optique. Pour ces différents problèmes NP-difficiles, nous montrons, tant sur le coût des solutions optimales que sur la garantie de performance des solutions approchées, l'intérêt des hiérarchies de recouvrement. Ce constat se voit conforté par des expérimentations sur des graphes aléatoires
The work conducted in this thesis is focused on the minimum spanning problems in graphs under constraints on the vertex degrees. As the spanning tree covers the vertices of a connected graph with a minimum number of links, it is generally proposed as a solution for this kind of problems. However, for some applications such as the routing in optical networks, the solution is not necessarily a sub-graph. In this thesis, we assume that the degree constraints are due to a limited instantaneous capacity of the vertices and that the only pertinent requirement on the spanning structure is its connectivity. In that case, the solution may be different from a tree. We propose the reformulation of this kind of spanning problems. To find the optimal coverage of the vertices, an extension of the tree concept called hierarchy is proposed. Our main purpose is to show its interest regarding the tree in term of feasibility and costs of the coverage. Thus, we take into account two types of degree constraints: either an upper bound on the degree of vertices and an upper bound on the number of branching vertices. We search a minimum cost spanning hierarchy in both cases. Besides, we also illustrate the applicability of hierarchies by studying a problem that takes more into account the reality of the optical routing. For all those NP-hard problems, we show the interest of the spanning hierarchy for both costs of optimal solutions and performance guarantee of approximate solutions. These results are confirmed by several experimentations on random graphs

Vai alla bibliografia