Rozprawy doktorskie na temat „Méthodologies et outils”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych rozpraw doktorskich naukowych na temat „Méthodologies et outils”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj rozprawy doktorskie z różnych dziedzin i twórz odpowiednie bibliografie.
Kilian, Pascal. "Outils et méthodologies pour la chirurgie orthopédique assistée par ordinateur mini-invasive". Aix-Marseille 3, 2009. http://www.theses.fr/2009AIX30022.
Pełny tekst źródłaThis thesis presents an innovative methodology for the navigated Minimally Invasive Surgery (MIS) in the frame of orthopedics. Three final clinical applications validate the concepts exposed in each chapter: shoulder, hip and knee replacement. Firstly, the most commonly used techniques in Computer Assisted Surgery (CAS) are described in the context of a not addressed indication: total shoulder replacement. Although this kind of surgery is “open”, it involves the same challenges than the MIS one, by offering to the surgeon only a few “digitizable” anatomical zones. In order to solve these access problems we develop an ultrasound-based digitizer probe, enabling a wider bone surface digitization. We prove its feasibility by providing a fully functional ultrasound digitization chain, based on a 7,5MHz usage, associated to the previously described navigation techniques. The issues linked to its preoperative usage, to its calibration and to the necessary image processing are solved and validated. The provided set of solutions lets foresee a semi-automatic usage of this US digitizer, in clinical routine. The latter is then used for the initialization of a deformable model, getting a patient-specific reconstruction of its distal knee, without using preoperative ionizing imaging, but compatible with the MIS constraints. The fulfilled work covers all stages of a classical development CAS project, from the proof-of-concept to a first usage on patients
Yengui, Firas. "Contribution aux méthodologies et outils d’aide à la conception de circuits analogiques". Thesis, Lyon, INSA, 2013. http://www.theses.fr/2013ISAL0098/document.
Pełny tekst źródłaContrary to digital design, analog design suffers from a real delay in the software solution that enables fast and reliable design. In this PhD, three approaches are proposed. The first is the methodological approach. At this level we recommend a "top-down" hierarchical approach. It consists of partitioning the system to size into sub-blocks of elementary functions whose specifications are directly inherited from the system level specification. Next, we aimed to reduce design time through the exploration of optimal solutions using hybrid algorithms. We attempted to take advantage of the rapid global search and local search accuracy. The interest of hybrid search algorithms is that they allow to conduct effective exploration of the design space of the circuit without the need for prior knowledge of an initial design. This can be very useful for a beginner designer. Finally, we worked on the acceleration of time simulations proposing the use of meta-models which present a more reduced time than electrical simulation models. Meta-models are obtained automatically from extracting results of electrical simulations
Saussard, Romain. "Méthodologies et outils de portage d’algorithmes de traitement d’images sur cibles hardware mixte". Thesis, Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLS176/document.
Pełny tekst źródłaCar manufacturers increasingly provide Advanced Driver Assistance Systems (ADAS) based on cameras and image processing algorithms. To embed ADAS applications, semiconductor companies propose heterogeneous architectures. These Systems-on-Chip (SoCs) are composed of several processors with different capabilities on the same chip. However, with the increasing complexity of such systems, it becomes more and more difficult for an automotive actor to chose a SoC which can execute a given ADAS application while meeting real-time constraints. In addition, embedding algorithms on this type of hardware is not trivial: one needs to determine how to spread the computational load between the different processors, in others words the mapping of the computational load.In response to this issue, we defined during this thesis a global methodology to study the embeddability of image processing algorithms for real-time execution. This methodology predicts the embeddability of a given image processing algorithm on several heterogeneous SoCs by automatically exploring the possible mapping. It is based on three major contributions: the modeling of an algorithm and its real-time constraints, the characterization of a heterogeneous SoC, and a performance prediction approach which can address different types of architectures
Martin, Lionel. "Intégration du métier de la fonderie dans les processus de conception : méthodologies et outils associés". Phd thesis, Paris, ENSAM, 2006. http://pastel.archives-ouvertes.fr/pastel-00002137.
Pełny tekst źródłaThollin, Benoit. "Outils et méthodologies de caractérisation électrothermique pour l'analyse des technologies d'interconnexion de l'électronique de puissance". Phd thesis, Université de Grenoble, 2013. http://tel.archives-ouvertes.fr/tel-00824898.
Pełny tekst źródłaThollin, Benoît. "Outils et méthodologies de caractérisation électrothermique pour l'analyse des technologies d'interconnexion de l'électronique de puissance". Thesis, Grenoble, 2013. http://www.theses.fr/2013GRENT005/document.
Pełny tekst źródłaPower electronic and particularly conversion systems are becoming a major challenge for the future of energetic and transport systems. Technical and economic constraints related to new applications lead to an increase of module power densities while reducing cost and maintaining a good robustness. Today, solutions seem to emerge from innovative structures associated to wide band-gap semiconductors and three-dimensional integration. These solutions lead to many constraints in electro-thermo-mechanical (ETM) interconnection field. Temperature level rises allowed by wide band-gap semiconductors and attractiveness of double sided cooling provide by the 3D assemblies have significantly increase thermo-mechanical stresses and cause reliability problems. This is why new ETM interconnections are developed to facing those difficulties and enable this technological gap. However, thermal and electrical interconnections characterization tools need to be develop. Works presented in this thesis focuses on the development of tools for new interconnections characterization adapted to 3D package. The difficulty of obtaining the temperature of the component within the package has led us to explore two ways to estimate the junction temperature (TJ). In a first hand we integrate temperature and voltage sensors inside a power component in a clean room process thanks to the achievement of a specific thermal test chip (TTC). And in a second hand, by observing the temperature response of functional components, using a temperature-sensitive electrical parameter (TSEP). The both paths explored take advantage of innovative specific solutions to allow precise thermal and electrical characterization of power electronic assemblies
Martinez, Martinez David. "Méthodologies et outils de synthèse pour des fonctions de filtrage chargées par des impédances complexes". Thesis, Limoges, 2019. http://www.theses.fr/2019LIMO0025/document.
Pełny tekst źródłaThe problem of impedance matching in electronics and particularly in RF engineering consists on minimising the reflection of the power that is to be transmitted, by a generator, to a given load within a frequency band. The matching and filtering requirements in classical communication systems are usually satisfied by using a matching circuit followed by a filter. We propose here to design matching filters that integrate both, matching and filtering requirements, in a single device and thereby increase the overall efficiency and compactness of the system. In this work, the matching problem is formulated by introducing convex optimisation on the framework established by the matching theory of Fano and Youla. As a result, by means of modern non-linear semi-definite programming techniques, a convex problem, and therefore with guaranteed optimality, is achieved. Finally, to demonstrate the advantages provided by the developed theory beyond the synthesis of filters with frequency varying loads, we consider two practical applications which are recurrent in the design of communication devices. These applications are, on the one hand, the matching of an array of antennas with the objective of maximizing the radiation efficiency, and on the other hand the synthesis of multiplexers where each of the channel filters is matched to the rest of the device, including the filters corresponding to the other channels
He, Jianguo. "Modélisation des flux d'informations liées aux outils coupants : développement de méthodologies et d'outils de gestion adaptés". Lyon, INSA, 1991. http://www.theses.fr/1991ISAL0074.
Pełny tekst źródłaAt a time when quality and profitability have become the main demands regarding the production apparatus, increasing interest has arisen for tool management, which appears as one of the major keys to achieve these goals. A tool management methodology has been developed in this paper. It mainly deals with : the analysis of all the activities linked with tool management and t he structuration of the necessary pieces of information, - the building up of the functional relationships between the database entities, as well as of a tool codification system, - the modelisation of the tasks and the Logical relations of tool management, - the dynamic tool flow simulation, taking the Laws into account , which describe tool failure probability, - the development of several tool replacement strategies based on the stochastic nature of tool lite and their validation through simulation, the elaboration of a basic module for technical and economie calculation and the output of which are indicators enabling the user to appraise the performance of the tool management system
Lacoma, Vincent. "Évaluation environnementale des procédés composites pour l'analyse multicritère des systèmes de production : méthodologies, outils et applications". Electronic Thesis or Diss., Ecole centrale de Nantes, 2023. http://www.theses.fr/2023ECDN0020.
Pełny tekst źródłaIn the current context of environmental transition, this thesis aims to participate in the reduction of environmental impacts related manufacturing of composite parts, which has been a growing sector for several years. To this purpose,an environmental assessment methodology dedicated to composite manufacturing processes is fundamental to develop and evaluate strategies forreducing environmental impacts. To be applicable in the industry, these strategies must respect the technical and economic imperatives of companies.To carry out environmental assessments, the standardized Life Cycle Assessment (LCA) method can be used. However, the general nature of this approach leaves latitudes on its application which have not been yet the subject of a scientific consensus in the case of composite manufacturing.Thus, our work proposes details for each step of the LCA method to build a model of the environmental impacts of the manufacturing process which depend on its parameters, such as the forming temperatures and the consolidation efforts. A similar approach is also developed for the evaluation of economic indicators based on the same parameters. Finally, multi-criteria decision-making tools are offered to find solutions to the objective of reducing environmental impacts and manufacturing costs while ensuringc ompliance with the technical specifications of the parts produced. In this thesis, the case of thermostamping of polyphenylene sulfide reinforced with carbon fibres (C/PPS) parts is studied to support the construction and presentation of the proposed methodologies
Guillier, Romaric. "Méthodologies et Outils pour l'évaluation des Protocoles de Transport dans le contexte des réseaux très haut débit". Phd thesis, Ecole normale supérieure de lyon - ENS LYON, 2009. http://tel.archives-ouvertes.fr/tel-00529664.
Pełny tekst źródłaValois, Rosine. "Contribution de l'analyse électromagnétique et outils associés à la conception de modules de communications millimétriques et optoélectroniques". Limoges, 2005. https://aurore.unilim.fr/theses/nxfile/default/80036469-b07b-44a9-85bd-f90542e69534/blobholder:0/2005LIMO0049.pdf.
Pełny tekst źródłaBarbacanne, Marie-Aline. "Outils chimiques et méthodologies d'analyse des radicaux superoxyde et monoxyde d'azote : étude par RPE de la régulation du stress oxydant dans la paroi artérielle". Toulouse 3, 2000. http://www.theses.fr/2000TOU30149.
Pełny tekst źródłaKebaili, Mejid. "Réflexions autour de la méthodologie de vérification des circuits multi-horloges : analyse qualitative et automatisation". Thesis, Université Grenoble Alpes (ComUE), 2017. http://www.theses.fr/2017GREAT064/document.
Pełny tekst źródłaFor several years now, the digital IC market has been requiring both more complex systems and reduced production times. In this context, the semiconductor chip maker companies call on external IP providers offering components working on dedicated clock signals. When these IPs communicate between them, the source and destination clocks are not the same, we talk about "Clock Domain Crossing" (CDC).CDC correspond to asynchronous communications and can cause critical failures. Furthermore, due to the complexity and the random nature of CDC issues, they can not be exhaustively checked with methods such as timing analysis or functional simulation. With the increase of CDC in the digital designs, EDA tools providers have developed software solutions dedicated to CDC static verification.Whereas, the designs are subject to continuous change, the verification tools are not able to be up to date. To resolve these practical issues, the CDC industrial verification is based on the specification of constraints and exclusions by the user. This manual flow, which replaces the tools, can mask bugs. Moreover, the human effort required by this approach is incompatible with the time allowed to industrial designs development.Our goal has been to automate the verification submitting solutions based on formal properties.The work consisted in the analysis of the different CDC design and verification approaches through the evaluation of main CDC checker tools. From the results obtained, we have formalized the practical problems and proposed models to obtain automatically exhaustive results. The tests have been performed on a processor-based subsystem (CPUSS) developed at STMicroelectronics.Adopting our models enables a complete checking of CPUSS in an automatic way, which is essential within a competitive industrial environment. Actually, the amount of information to be specified by the user has been reduced by half for each one of the evaluated tools. Otherwise, this work has shown that the development axis of the CDC tools despite the addition of functionalities such as hierarchical flows or fault injection, doesn’t improve the quality of results (QoR). Since a collaboration has been established with the main tool providers some solutions would probably be included into the tools over the coming years
Atienza, Eric. "Méthodologie et outils pour le dimensionnement". Grenoble INPG, 2003. http://www.theses.fr/2003INPG0050.
Pełny tekst źródłaBonhomme, Sylvain. "Méthodologie et outils pour la conception d'un habitat intelligent". Phd thesis, Institut National Polytechnique de Toulouse - INPT, 2008. http://tel.archives-ouvertes.fr/tel-00292456.
Pełny tekst źródłaRoland, Michel. "Des outils conceptuels et méthodologiques pour la médecine générale". Doctoral thesis, Universite Libre de Bruxelles, 2006. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/210869.
Pełny tekst źródłaCette thèse est le rassemblement, par blocs homogènes, de notes d’orientation, de présentations orales, de textes variés, rédigés pour des revues scientifiques, comme chapitres de livres, pour des colloques ou des congrès, pour divers décideurs politiques, des années 80 à ce jour.
Son but est de montrer leur cohérence avec un fil conducteur commun :le développement d’outils conceptuels et méthodologiques utiles pour la pratique de la médecine générale en particulier, pour le système de dispensation des soins plus globalement. L’impact espéré est une amélioration de la qualité des soins dispensés, à l’échelle individuelle (relation soignant/soigné) ou à l’échelle collective (système de santé).
Les différents blocs se succèdent dans l’ordre suivant :
q\
Doctorat en Sciences de la santé publique
info:eu-repo/semantics/nonPublished
Yriarte, Luc. "Modélisation et validation de robots autonomes : une méthodologie, des outils". Montpellier 2, 1997. http://www.theses.fr/1997MON20141.
Pełny tekst źródłaMarfisi-Schottman, Iza. "Méthodologie, modèles et outils pour la conception de Learning Games". Phd thesis, INSA de Lyon, 2012. http://tel.archives-ouvertes.fr/tel-00762855.
Pełny tekst źródłaMarfisi-Schottman, Iza. "Méthodologie, modèles et outils pour la conception de Learning Games". Electronic Thesis or Diss., Lyon, INSA, 2012. http://www.theses.fr/2012ISAL0103.
Pełny tekst źródłaSerious Games are computer games that are designed for a primary purpose other than pure entertainment and that can be used for teaching. Although they are relevant to many fields of education, their development remains very expensive and time consuming. In this thesis, we focus mainly on Learning Games (LGs), that is on Serious Games designed for educational purposes, and more specifically on LGs used for training students in engineering schools. The first part of the thesis is devoted to an analysis of the needs of those who create LGs and a state of the art in terms of methodologies and tools available. Our study shows the need to facilitate collaboration between the various actors, with complementary roles, involved in the development of a LG (domain expert, pedagogical expert, game designer ...). Our research also highlights the need for models and visual representations of the LG scenario to facilitate the design of LGs that are fun and attractive while still maintaining their educational values. To address the first need, we propose a global collaborative methodology for creating LGs in which we indentify the tasks assigned to each actor who is involved in the creation process and the tools available. To meet the second need identified by our preliminary study, we propose a LG scenario model that represents the educational structure chosen by the pedagogical expert and also the way this structure is integrated into a game scenario imagined by the game designer. To reify our proposals, we have developed an authoring environment called LEGADEE (LEarning Game DEsign Environment) that guides each designer with a "toolbar" adapted to his or her role and also provides a validation system that analyzes the ongoing creation. Lastly, we have designed an evaluation protocol to validate our authoring environment as well as the methodology and the models proposed during which we compare 24 LGs of which half were created with LEGADEE and half without. Our evaluation indicates that our tool tends to improve the quality of LGs at several levels. It also brings to light the limits of our work and provides guidance for future improvements of LEGADEE and the evaluation process itself
Deshayes, Laurent. "Méthodologie d'étude de la coupe : liaison entre Couple Outil Matière et Système Pièce Outil Machine". Lyon, INSA, 2003. http://www.theses.fr/2003ISAL0088.
Pełny tekst źródłaThe Machining modelling must be at present realized by considering methodologies allowmg to lmk the Couple Workpiece Tool (CWT) and the Machine-Tool-Workpiece (MTW) system. These methodologies are based on physical models, and on experimental results. In this context the CWT limit parameters COM in conventional turning, in hard bad turnind and also during sbock cutting are studied. A methodology to determine the cutting speed range is established. The tudy of the influence of the cutting speed on the CWT parameters showed the importance of the cbip fissuring phenomenon. The tool life time is important for determining manufacturing cost. It is very difficult to establish a robust law. It iS absolutely necessary to realize some experiments. Nevertheless, mean values of the Taylor's wear law exponents can be used in first estimation. Based on these experimental studies, the data necessary for manufacturers are analyzed to estahlish a global methodology for the construction of an information model. The study is divided into two levels: the data level based on the STEP standard, and the semantic level based on ontologies and PSL. The international standards are considered to propose a consensual method
Galland, Stéphane. "Méthodologie et outils pour la simulation multiagent dans des univers virtuels". Habilitation à diriger des recherches, Université de Franche-Comté, 2013. http://tel.archives-ouvertes.fr/tel-00936334.
Pełny tekst źródłaLavric, Traian. "Methodologies and tools for expert knowledge sharing in manual assembly industries by using augmented reality". Electronic Thesis or Diss., Institut polytechnique de Paris, 2022. http://www.theses.fr/2022IPPAS015.
Pełny tekst źródłaAbstract: To remain competitive in the ongoing industrial revolution (i.e., Industry 4.0), manufacturing sectors must ensure high flexibility at the production level, a need best addressed by skilled human workforce. As traditional training becomes increasingly inefficient, finding a better way of training novice workers becomes a critical requirement. Literature suggests that augmented reality (AR), an emerging technology proposed by Industry 4.0, can potentially address this concern.The benefits of AR-based knowledge sharing tools have been demonstrated in a variety of domains, including industry, from manufacturing to validation and maintenance. However, despite the progress of AR in recent years, no significant industrial breakthrough can be noted. We found that most AR systems are elaborated and evaluated under controlled settings, without the implication of the eventual end users. Guided by literature recommendations, we conducted a long-term case study in a manual assembly factory, to identify needs and expectations that an AR training system should meet, to optimally address the considered industrial sector.Further, we conducted an in-depth analysis on information representation and conveyance in AR, with respect to cognitive implications and content authoring efforts. We explored as well human-computer interaction paradigms to identify principles and design guidelines for elaborating an AR tool dedicated to the shop floor context. We found that the visual representation of the assembly expertise in AR can rely on spatially registered low-cost visual assets (i.e., text, photo, video, and predefined auxiliary data), while a human-centered design should be adopted during the elaboration of the AR system, prioritizing usability and usefulness rather than performance.We defined a formalized visual representation (i.e., 2W1H principle) of assembly operations in AR, that considers authoring concerns and supports training performance. We proposed an HMD-only immersive authoring that allows one to capture his assembly expertise in-situ, during the assembly itself. The authoring is a one-step process, does not rely on existing data or external services and does not require AR or technical expertise, pre- or post-processing of data. During training, the assembly information is conveyed via AR by following the 2W1H principle, designed to guide novice workers in a natural, non-intrusive manner, minimizing user input and UI clutter, and aiming to optimize comprehension and learning.We evaluated our proposal by conducting several experiments. The first, conducted on a real-world assembly workstation, confirmed the hypothesis that spatially registered low-cost visual assets can effectively convey manual assembly expertise to novice workers via AR in an industrial setup. The findings of the second experiment supported the assumption that the worthiness of authoring CAD-based AR instructions in similar industrial context is questionable. A final experiment proved that the proposed AR system, including both authoring and training procedures, can be used effectively by novices in a matter of minutes. The overall reported feedback demonstrated the usability and efficiency of the proposed AR training approach, indicating that a similar system implementation could be successfully adopted in shop floor environments.Future work should validate the reported experimental findings in large-scale industrial evaluations and propose reliable “intelligent” modules (e.g., assembly validation and feedback) to better assist novice workers during training and optimize the authoring procedure as well
Bargain, Mike. "Développement d'une méthodologie de traitement et de fusion d'informations multi-sources et multi-outils". Université de Marne-la-Vallée, 1997. http://www.theses.fr/1997MARN0015.
Pełny tekst źródłaAssayad, Ismaël. "Méthodologie et outils pour la modélisation et l'analyse de performance des systèmes embarqués multiprocesseurs". Grenoble INPG, 2006. http://www.theses.fr/2006INPG0165.
Pełny tekst źródłaWe present a framework and tools for modelling and performance analysis of multiprocessor embedded systems. Our framework consists of component-based models for modelling parallel software and multiprocessor hardware, and tools for code generation and performance analysis. The framework allows jointly analyzing software and hardware performance rather than evaluating each one in isolation. This joint evaluation enables predicting the impact of hardware on software performance and the ability of hardware performance to accommodate future services at design time. We apply the framework for analyzing the performance of several implementations of a MPEG-4 video encoding on custom multimedia hardware, Philips Wasabi/Cake NoC, and IPv4 packet forwarding over the Intel dual IXP2800 NP. The experiments carried out on these real-life industrial-size applications show that our framework is scalable and delivers precise performance results with fast simulation speed
Michel, Fabien. "Formalisme, outils et éléments méthodologiques pour la modélisation et la simulation multi-agents". Montpellier 2, 2004. http://www.theses.fr/2004MON20210.
Pełny tekst źródłaRaddadi, Mohammed. "Élaboration de DCN multiaxes ouvert, évolutif : méthodologie et application". Nancy 1, 1992. http://www.theses.fr/1992NAN10030.
Pełny tekst źródłaMagnaud, Patrick. "Méthodologie et outil de conception d'une architecture parallèle temps réel". Toulouse 3, 1990. http://www.theses.fr/1990TOU30210.
Pełny tekst źródłaAussenac-Gilles, Nathalie. "Conception d'une méthodologie et d'un outil d'acquisition de connaissances expertes". Toulouse 3, 1989. http://www.theses.fr/1989TOU30149.
Pełny tekst źródłaCompany, Olivier. "Machines-outils rapides à structure parallèle : Méthodologie de conception, applications et nouveaux concepts". Phd thesis, Université Montpellier II - Sciences et Techniques du Languedoc, 2000. http://tel.archives-ouvertes.fr/tel-00481184.
Pełny tekst źródłaAyrault, Philippe. "Développement de logiciel critique en FoCalize : méthodologie et outils pour l'évaluation de conformité". Paris 6, 2011. http://www.theses.fr/2011PA066120.
Pełny tekst źródłaVeste, Stéphane. "Méthodologie et outils pour la création d'un test d'écoute dichotique de haute qualité". Grenoble INPG, 1992. http://www.theses.fr/1992INPG0078.
Pełny tekst źródłaReimeringer, Michael. "Une méthodologie et des outils pour concevoir en tenant compte de la simulation". Reims, 2009. http://www.theses.fr/2009REIMS001.
Pełny tekst źródłaSimulation becomes incontrovertible due to the many advancement made in model, software and material. The use of simulation tools supply many advantages: study of alternative solutions, optimization of product, decrease or disparition of physical prototypes, assessment of manufacturing process, and reduction of cost and delay. Nowadays design is often done without considering subsequent step like simulation. However this step is indispensable
Congnard, Florian. "Méthodologie et physiopathologie des mesures de pressions artérielles périphériques chez le sujet sain : aspects cliniques, méthodologiques et pédagogiques". Thesis, Angers, 2017. http://www.theses.fr/2017ANGE0049/document.
Pełny tekst źródłaThe measurement of ankle to brachial pressure index (ABPI) is a simple and non-invasive diagnostic tool for detecting arterial involvement of the lower limbs. If the methodology and interpretation of this index have been standardized, there remain some discrepancies about some aspects of its measurement. Thus, the present thesis reports the investigations of three of these aspects. First, the objective was to study the physiological relationship between ABPI and age among healthy and physically active subjects. The results show a positive relationship. This trend is consistent with structural modifications of arterial wall with ageing. Second, our aim was to investigate the use of automatic blood pressure measurement tools for the calculation of ABPI during the recovery of a maximal physical exercise. We found that the use of anoscillometric blood pressure device allowed to obtain a faster postexercise ABPI faster than a manual recording and also to reduce the standard error of the measurement. Finally, we discussed the learning strategies of this peripheral vascular measurement. Indeed, it appears that the measurement of arterial systolic blood pressure at the ankle (ASBPa) is largely under-taught compared to the humeral measurement. The purpose was to objectively assess, by a simulator, the effect of an additional practical and pedagogical intervention on the ability of novice students to perform ASBP a measurement. The results suggest that a one-hour practical learning allows to significantly reduce the measurement error but is not sufficient to harmonize all of the measurement parameters according to the measurement standards
Greliche, Luc. "Aide à la conception d'installations thermiques solaires : méthodologie et outil logiciel". Perpignan, 1994. http://www.theses.fr/1994PERP0190.
Pełny tekst źródłaPleczon, Patrick. "Éléments de méthodologie et outils pour l'assistance à l'opérateur : application à la conduite automobile". Toulouse, ENSAE, 1992. http://www.theses.fr/1992ESAE0018.
Pełny tekst źródłaDa, Fonseca Munford-Argollo Daniel. "Outils de conception de circuits RF et micro-ondes intégrant les concepts de méthodologie". Limoges, 2000. http://www.theses.fr/2000LIMO0023.
Pełny tekst źródłaRolland, Laurence. "Analyses comparatives de systèmes d'infiltration-percolation : colmatage et outils de diagnostics". Montpellier 2, 2009. http://www.theses.fr/2009MON20132.
Pełny tekst źródłaSeepage beds are widely used for on-site and small communities wastewater treatment. These extensive systems present the advantages of both an easy management and good treatment performances. However, they are sensitive to the physical and biological clogging. Clogging alter the treatment performances but also reduce the service life. The role of materials and conception of filters on the control of the permeability of the filtering bed and regulation of the biomass accumulated remain badly understood. In addition, there is a lack of non-destructive tools in order to perform diagnosis on operating systems. The aim of this thesis is to analyse (at various scales and with different tools, especially non-destructive) the answer of infiltration systems to varying operating conditions that are, namely: (i) the composition of the influent, the seepage bed design (type of sand and its implementation, the presence of a geogrid at the bottom), but also (ii) of the operating parameters (hydraulic load, organic load, and mode of feeding). Results highlight the determining roles (i) of the grain size distribution on hydraulic behaviour and the retention of suspended solids, (ii) and of the feeding mode and organic loads. We estimate the operating state of the systems at different time. We distinguish several non-destructive tools fitted for the diagnosis: the measurement of the gaseous oxygen within soil porosity, the measurement of electrical resistivity. In addition, we determine threshold values that allow to differentiate the different state of the system operation
Justin, Joël. "Étude du couple stratégie-outil de contrôle de gestion : méthodologie et cas". Bordeaux 4, 2001. http://www.theses.fr/2001BOR40010.
Pełny tekst źródłaSemail, Eric. "OUTILS ET MÉTHODOLOGIE D'ÉTUDE DES SYSTÈMES ÉLECTRIQUES POLYPHASÉS. GÉNÉRALISATION DE LA MÉTHODE DES VECTEURS D'ESPACE". Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2000. http://tel.archives-ouvertes.fr/tel-00266256.
Pełny tekst źródłaTout d'abord, on caractérise les modulateurs d'énergie indépendamment de leurs charges. Pour cela des espaces vectoriels leur sont associés ainsi que des familles de vecteurs qui les caractérisent. Il est possible alors de définir quel type de charge le modulateur est capable de contrôler. Les degrés de liberté de la commande trouvent également une formulation mathématique. Les exemples traités sont les onduleurs de tension monophasé et triphasé deux niveaux. L'approche conduit, dans le cas d'une commande aux valeurs moyennes, à un calcul original des durées de conduction des interrupteurs en utilisant la notion de barycentre. Les algorithmes obtenus, généralisables aux onduleurs à n bras, comportent un nombre réduit d'opérations logiques et arithmétiques.
Le formalisme est ensuite appliqué à la machine asynchrone triphasée avec q barres au rotor ; ceci nous permet d'expliciter la notion de rotor diphasé équivalent. La machine asynchrone pentaphasée est également modélisée et l'approche développée met en évidence les conditions que doit remplir l'onduleur à 5 bras pour l'alimenter correctement.
Dans la dernière partie, un onduleur de courant à Modulation de Largeur d'Impulsions est étudié à l'aide du formalisme. Les non-linéarités de la commande sont prises en compte vectoriellement, notamment, de façon originale, celle concernant la durée minimale de conduction des interrupteurs. On décrit enfin l'implantation matérielle de cette commande sur microcontrôleur 16 bits et présente les résultats expérimentaux dans le cas d'une charge constituée d'une machine asynchrone triphasée en parallèle avec des condensateurs.
Razafindramary, Donné. "Conduite de systèmes de fabrication à commande numérique : Méthodologie et outils temps-réel de communication". Paris 13, 1991. http://www.theses.fr/1991PA132012.
Pełny tekst źródłaSemail, Éric. "Outils et méthodologie d'étude des systèmes électriques polyphasés : généralisation de la méthode des vecteurs d'espace". Lille 1, 2000. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2000/50376-2000-166.pdf.
Pełny tekst źródłaLes algorithmes obtenus, généralisables aux onduleurs à n bras, comportent un nombre réduit d'opérations logiques et arithmétiques. Le formalisme est ensuite appliqué à la machine asynchrone triphasée avec q barres au rotor; ceci nous permet d'expliciter la notion de rotor diphasé équivalent. La machine asynchrone pentaphasée est également modélisée et l'approche développée met en évidence les conditions que doit remplir l'onduleur à 5 bras pour l'alimenter correctement. Dans la dernière partie, un onduleur de courant à Modulation de Largeur d'Impulsions est étudié à l'aide du formalisme. Les non linéarités de la commande sont prises en compte vectoriellement, notamment, de façon originale, celle concernant la durée minimale de conduction des interrupteurs. On décrit enfin l'implantation matérielle de cette commande sur microcontrôleur 16 bits et présente les résultats expérimentaux dans le cas d'une charge constituée d'une machine asynchrone triphasée en parallèle avec des condensateurs
Abel, Nicolas. "Outils et méthodes pour les architectures reconfigurables dynamiquement à grain fin : Synthèse et gestion automatique des flux de données". Cergy-Pontoise, 2006. http://biblioweb.u-cergy.fr/theses/06CERG0301.pdf.
Pełny tekst źródłaThis thesis presents tools and methodologies dedicated to fine grain dynamically reconfigurable architectures. In the first part, after studying this reconfiguration mode, we describe a tool set improving dynamical reconfiguration implementation. Firstly, we optimize configuration storage and reconfiguration duration proposing software compressing tools and hardware reconfiguration module. We finish studying the system management of the reconfigurable area. The system, developed with a high level language, makes configurations scheduling flexible. In the second part, we focus on the data flow automatic management. We base this on the separation of treatment modules and data flow managing modules. The second is totally directed by the developing tools and the managing system. In this way, the system has a treatment library and all the tools necessary to interconnect and schedule treatments in real time. The whole studied concepts have been implemented on ARDOISE architecture
Diop, Ibrahima. "Méthodologie et outils pour la mise en pratique des attaques par collision et attaques horizontales sur l'exponentiation modulaire". Thesis, Lyon, 2017. http://www.theses.fr/2017LYSEM010/document.
Pełny tekst źródłaThis thesis is focused on the study of two sub-families of side channel attacks applied on modular exponentiation called respectively, collision based attacks and horizontal (or single shot) attacks. This study is made according to two axes: their applications and the possible countermeasures.Firstly, we study side channel attacks on a simulator developed during this thesis. This simulator allows to validate the good implementation of a any side channel attack before its application in a real environment.Secondly, we study collision based attacks in a real environment. For this purpose, we study the automation of collision detection in practice. Then, we introduce a new collision detection criterion and show its practical interest. Afterwards, we study the estimation of the signal to noise ratio in the context of side channel attacks. So, we introduce a fast and accurate method for its estimation during a side channel analysis. From our method we derive pragmatic and efficient methods for the daily tasks of evaluators. Among them the analysis of the electrical activity of integrated circuit or the identification of the frequencies carrying usable information or information leakage.Finally, through a detailed description of the main stages of an horizontal attack, we propose effective and practical solutions to improve secret information extraction in real environment and on the other hand possible countermeasures against the horizontal attacks applied on modular exponentiation
Barbe, Thierry. "Méthodologie et outils pour la mise en oeuvre automatique d'une synthèse de parole de haute qualité". Grenoble INPG, 1990. http://www.theses.fr/1990INPG0147.
Pełny tekst źródłaMarilleau, Nicolas. "Méthodologie, formalismes et outils de modélisation-simulation pour l'étude des systèmes complexes : application à la mobilité géographique". Besançon, 2006. http://www.theses.fr/2006BESA2072.
Pełny tekst źródłaGaubert, Alexandra. "Vers une méthodologie de la déformulation des mélanges complexes combinant outils analytiques et chimiométriques : apllication aux détergents". Thesis, Lyon 1, 2015. http://www.theses.fr/2015LYO10241.
Pełny tekst źródłaDeformulation of complex mixtures requires analytical methods for compound identification and quantification. It still represents a real analytical challenge in various industrial fields, such as cosmetics, health, food, materials. In this context, we studied complex mixtures such as detergents and especially, laundry detergents, that represent a constantly growing market. Regulations becoming stricter and consumers requiring more eco-friendly products, manufacturers constantly innove detergent formulations by using bio-based surfactants or enzymes. Laundry detergents containing up to 25 compounds, we focused on the analysis of their major components, i.e. surfactants and enzymes. After developing a comprehensive sample library of such raw materials, 1H NMR and Raman spectrometry were used for surfactant identification and quantification while Isotope Ratio Mass Spectrometry (IRMS) was tested to evaluate their bio-sourced origin. Raman spectrometry combined with chemometric tools such as signal extraction methods was useful for surfactant identification and quantification. Enzymes were identified and quantified using protein precipitation before analyses by LCMS/ MS. All these analytical developments contribute to the establishment of a deformulation strategy for detergent products
Brisset, Stéphane. "Outil et méthodologie pour la conception des moteurs à réluctance variable à double saillance". Lille 1, 1995. http://www.theses.fr/1995LIL10012.
Pełny tekst źródłaStephan, Joumana. "Complexité urbaine : langage et outils, le cas de Horch Beyrouth". Thesis, Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLD007/document.
Pełny tekst źródłaPerceived as a complex adaptive system, public space could be examined through the means of complexity. In this thesis, we discuss the case of an urban park, Horch Beirut, aiming to showcase the contributions of the complexity approach to urban studies, both epistemological and methodological ones. Horsh Beirut makes up to 70% of green spaces in Beirut, but has been mostly closed to the public since the end of the Lebanese civil war in 1990. Surrounded by three culturally heterogeneous neighborhoods, the triangular park embodies both urban multiplicity and exclusion. The complexity approach not only offers a transdiciplinary scientific lexicon but also interdisciplinary modeling tools. To showcase these tools, we apply Systemic Triangulation for the urban diagnosis of Horch Beirut. This tool acknowledges the inscription of complex problems in structural, functional and dynamic continuums, establishing the relationships between them, and projecting interactions between the system and its environment. We also propose the Soft Systems Methodology tool for an interactive governance based on non-linear representations of urban reality. The complexity approach has provided us some new insights. First, addressing cities, and urban entities like Horsh Beirut, as complex systems could diverge our perception of fragmented linear solutions towards adaptive evolutionary processes. Secondly, chaos is not to be feared. In fact, by being on the edge of chaos complex systems adapt and co-evolve, consequently creativity is catalyzed and change emerges. Finally, and most importantly, a public space should not be designed, but encouraged to emerge. It would be better to induce its self-organization than to try to control it. Thus, a change of attitude is necessary: the role of urban actors, architects and urban planners, should be reoriented towards seeking the underlying dynamics of an urban system, establishing its emerging properties, and subsequently, determining and inducing its synergistic opportunities
Lazaar, Nadjib. "Méthodologie et outil de Test, de localisation de fautes et de correction automatique des programmes à contraintes". Rennes 1, 2011. http://www.theses.fr/2011REN1S115.
Pełny tekst źródłaThe success of several constraint-based modelling languages such as OPL (Optimization programming Language) of IBM Ilog, COMET of Dynadec, Sicstus Prolog, Gecode, appeals for better software engineering practices, particularly in the testing phase. These languages aim at solving industrial combinatorial problems that arise in optimization, planning, or scheduling. Recently, a new trend has emerged that propose also to use CP programs to address critical applications in e-Commerce, air-traffic control and management, or critical software development that must be thoroughly verified before being used in applications. While constraint program debugging drew the attention of many researchers, few supports in terms of software engineering and testing have been proposed to help verify this kind of programs. In the present thesis, we define a testing theory for constraint programming. For that, we propose a general framework of constraint program development which supposes that a first declarative and simple constraint model is available from the problem specifications analysis. Then, this model is refined using classical techniques such as constraint reformulation, surrogate, redundant, implied and global constraint addition, or symmetry-breaking to form an improved constraint model that must be tested before being used to address real-sized problems. We think that most of the faults are introduced in this refinement step and propose a process which takes the first declarative model as an oracle for detecting non-conformities and derive practical test purposes from this process. Therefore, we enhance the proposed testing framework to introduce a methodology for an automatic tuning with fault localization and correction in constraint programs. We implemented these approaches in a new tool called CPTEST that was used to automatically detect, localize and correct faults on classical benchmark programs and real-world CP problem: the car-sequencing problem
Gillot, Frédéric. "Méthodologie de conception et de fabrication d'outillages prototypes hybrides". Nantes, 2006. http://www.theses.fr/2006NANT2075.
Pełny tekst źródła