Dissertations / Theses on the topic 'Grilles d'analyse de méthodes'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Grilles d'analyse de méthodes.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
Bilhaj, Hussain. "Enseignement du français langue étrangère en Libye : analyse des méthodes appliquées au lycée et propositions didactiques." Electronic Thesis or Diss., Université de Lorraine, 2022. http://www.theses.fr/2022LORR0163.
Full textThis research focuses on the teaching-learning (EA) French as a foreign language (FLE) in sec-ondary school in Libya. It aims to question the program followed, but also the textbooks and teaching materials used in secondary schools. Given the critical nature of the role played by the MS / MD in the success or failure of EA (Mackey, 1972: 193), and the difficult conditions that the teaching of FLE in secondary school has gone through and still goes through today, ques-tioning the teaching set and its content has become a necessity. Indeed, our field study shows that it is essential and even urgent to verify the applicability of this didactic device, its effective-ness, but also its compliance with the intended audience, its needs and the objectives and rec-ommendations of the Ministry of Education. To study this question, our thesis defines, in a first part, the theoretical framework of this research by addressing the main methodological currents of the EA of foreign languages and the psychological theories of learning. This part also deals with methodologies of MS / MD analysis. The second part concerns, first, a general presenta-tion of the historical and geographical context of Libya but also on the status of FLE in Libya. Subsequently, we take stock of the MS / MD, with a presentation of the MS / MD (Oasis 1, 2, 3) used from 2007 until 2014. Then, we carry out a comparative analysis of a contrastive nature of the two methods of FLE: Le Nouveau Pixel 1 (Favret: 2016) and Le français pour la Libye/Pixel 1 (Favret: 2019). Finally, we present various didactico-pedagogical and methodolog-ical avenues, based on the results of the analyzes carried out
James, Nicolas. "Méthodes multi-niveaux sur grilles décalées." Phd thesis, Clermont-Ferrand 2, 2009. http://www.theses.fr/2009CLF21995.
Full textFortunato, Léa. "Méthodes statistiques d'analyse spatiale en épidémiologie." Paris 11, 2006. http://www.theses.fr/2006PA11T060.
Full textChehaibar, Ghassan. "Méthodes d'analyse hiérarchique des réseaux de Petri." Phd thesis, Ecole Nationale des Ponts et Chaussées, 1991. http://tel.archives-ouvertes.fr/tel-00519683.
Full textNdiaye, Ibrahima. "Méthodes d'analyse de modèles de régulation cellulaire." Phd thesis, Université de Nice Sophia-Antipolis, 2010. http://tel.archives-ouvertes.fr/tel-00459987.
Full textMouine, Mohamed. "Combinaison de deux méthodes d'analyse de sensibilité." Thesis, Université Laval, 2011. http://www.theses.ulaval.ca/2011/27885/27885.pdf.
Full textRousseau, François. "Méthodes d'analyse d'images pour l'anatomie numérique cérébrale." Habilitation à diriger des recherches, Université de Strasbourg, 2014. http://tel.archives-ouvertes.fr/tel-01011781.
Full textAthias, Nicolas. "Méthodes d'analyse physico-chimiques du stratum corneum." Besançon, 1996. http://www.theses.fr/1996BESA3304.
Full textDubourg, Grégory. "Méthodes d'analyse et variations du microbiote digestif." Thesis, Aix-Marseille, 2016. http://www.theses.fr/2016AIXM5025.
Full textThe study of the composition of the intestinal flora as well as its involvement with health and disease has become a major issue.We studied the flora of patients treated by broad-spectrum antibiotics by both culture and pyrosequencing. This work showed a significant decrease in the number of different bacteria colonizing the digestive tract after treatment. This decrease was even more important that treatment was extended. Bacteria interacting with immune protection against some pathogens, it is now proposed vaccinations against invasive microorganisms after prolonged antibiotic treatment. Furthermore, the sequencing techniques have shown for two samples a high-level colonization by Akkermansia muciniphila a microorganism belonging to the phylum Verrucomicrobia. Despite the successive failures of culture attempt of this organism, this finding was also confirmed using fluorescence in situ hybridization technique (FISH). Ultimately this work has enabled us to discover 7 new species that have been described using the taxonomogenomics approach which includes phenotypic data and genome sequencing.We also studied the flora of HIV-infected patients by metagenomics, and observed a significant increase in bacteria that withstand oxygen, while intolerant bacteria were deceased. These changes were associated with markers of disease progression, opening the way for antioxidant supplementation
Guyon, Frédéric. "Application des méthodes multi-grilles au contrôle optimal : méthodes de pondération en estimation de paramètres." Compiègne, 1991. http://www.theses.fr/1991COMPD431.
Full textBar, Romain. "Développement de méthodes d'analyse de données en ligne." Phd thesis, Université de Lorraine, 2013. http://tel.archives-ouvertes.fr/tel-00943148.
Full textBazelaire, Cédric de. "Méthodes d'analyse de la microcirculation tumorale en IRM." Paris 11, 2005. http://www.theses.fr/2005PA112038.
Full textAngiogenesis plays a key role in tumor growth. New approaches to treat cancer by interfering with angiogenesis stimulating factors are now available. However, clinicians need new surrogates of antiangiogenic activity. Tumor size changes occure 2 or 3 month after the beginning of the treatment, which is to late. Functional analysis of tracer kinetic in tissue in MRI may be an attractive alternative. Antiangiogenic activity of a VEGF receptor inhibitor, was evaluated by tumor blood flow, assessed by arterial spin labeling (ASL) with background suppression. Preliminary results reveal a significant correlation (Spearman r = 0. 90, p =. 0002) between the change in blood flow at 1 month and change in tumor size measured at 4 months or the time of disease progression. A capillary permeability assessment in dynamic contrast enhancement (DCE) was optimized using a dual gradient echo sequence. This dual sequence was sensitive to high concentration thanks to T2* weighted images and to low concentrations with T1 weighted slices. The use of this sequence leads to reduce by 58% the permeability measurements. The development of a new technique to assess to relaxation time in the body within a single breath hold may improve perfusion and permeability measurements. Real relaxation time can be used for quantification instead of theoretical values, reducing systematic error. ASL and DCE have promise as early predictors of clinical response to antiangiogenic therapies and may help to identify non-responding patients
Poupa-Rouault, Marie-Madeleine. "Méthodes d'Analyse des processus d'appropriation de nouvelles technologie." Paris 1, 1986. http://www.theses.fr/1986PA010635.
Full textTagny, Ngompe Gildas. "Méthodes D'Analyse Sémantique De Corpus De Décisions Jurisprudentielles." Thesis, IMT Mines Alès, 2020. http://www.theses.fr/2020EMAL0002.
Full textA case law is a corpus of judicial decisions representing the way in which laws are interpreted to resolve a dispute. It is essential for lawyers who analyze it to understand and anticipate the decision-making of judges. Its exhaustive analysis is difficult manually because of its immense volume and the unstructured nature of the documents. The estimation of the judicial risk by individuals is thus impossible because they are also confronted with the complexity of the judicial system and language. The automation of decision analysis enable an exhaustive extraction of relevant knowledge for structuring case law for descriptive and predictive analyses. In order to make the comprehension of a case law exhaustive and more accessible, this thesis deals with the automation of some important tasks for the expert analysis of court decisions. First, we study the application of probabilistic sequence labeling models for the detection of the sections that structure court decisions, legal entities, and legal rules citations. Then, the identification of the demands of the parties is studied. The proposed approach for the recognition of the requested and granted quanta exploits the proximity between sums of money and automatically learned key-phrases. We also show that the meaning of the judges' result is identifiable either from predefined keywords or by a classification of decisions. Finally, for a given category of demands, the situations or factual circumstances in which those demands are made, are discovered by clustering the decisions. For this purpose, a method of learning a similarity distance is proposed and compared with established distances. This thesis discusses the experimental results obtained on manually annotated real data. Finally, the thesis proposes a demonstration of applications to the descriptive analysis of a large corpus of French court decisions
Alkosseifi, Clara. "Méthodes bi-grilles en éléments finis pour les systèmes phase-fluide." Thesis, Amiens, 2018. http://www.theses.fr/2018AMIE0048/document.
Full textThis thesis deals with the development, the analysis and the implementation of new bi-grid schemes in finite elements, when applied to phase-field models such as Allen-Cahn (AC) and Cahn-Hilliard (CH) equations but also their coupling with 2D incompressible Navier-Stokes equations. Due to the presence of a small parameter, namely the length of the diffuse interface, and in order to recover the intrinsic properties of the solution, (costly) implicit time schemes must be used; semi-implicit time schemes are fast but suffer from a hard time step limitation. The new schemes introduced in the present work are based on the use of two FEM spaces, one coarse VH and one fine Vh, of larger dimension. This allows to decompose the solution into a main part (containing only low mode components) and a fluctuant part capturing the high mode ones. The bi-grid approach consists then in applying as a prediction an unconditional stable scheme (costly) to VH and to update the solution in Vh by using a high mode stabilized linear scheme. A gain in CPU time is obtained while the consistency is not deteriorated. This approach is extended to NSE and to coupled models (AC/NSE) and (CH/NSE). Stability results are given, the numerical simulations are validated on reference benchmarks
Kosawat, Krit. "Méthodes de segmentation et d'analyse automatique de textes thaï." Phd thesis, Université Paris-Est, 2003. http://tel.archives-ouvertes.fr/tel-00626256.
Full textBourmaud, Gaëtan. "Les systèmes d'instruments : méthodes d'analyse et perspectives de conception." Phd thesis, Université Paris VIII Vincennes-Saint Denis, 2006. http://tel.archives-ouvertes.fr/tel-00109046.
Full textl'ordonnancement de la maintenance dans une entreprise de télédiffusion. Nous nous
inscrivons dans le cadre théorique des activités avec instruments qui propose une approche
psychologique des outils, alors nommés instruments. Les instruments ne sont pas donnés
d'emblée, ils sont constitués par le sujet lui-même dans le cadre de processus de genèses
instrumentales assimilables à une poursuite de la conception dans l'usage. Notre travail se
propose d'étudier les instruments comme un ensemble cohérent et organisé par le sujet pour
répondre à la variété des situations rencontrées, nous parlons alors de système
d'instruments. Dans cette recherche, l'enrichissement du cadre théorique tient (1) en une
approche méthodologique spécifique des systèmes d'instruments et (2) en la proposition de
perspectives nouvelles pour une conception anthropocentrée sur la base des caractéristiques
des systèmes d'instruments.
Martel, Laurence. "Méthodes d'analyse de surface appliquées à l'étude de protéines." Phd thesis, Université Joseph Fourier (Grenoble), 2002. http://tel.archives-ouvertes.fr/tel-00006293.
Full textLanglet, Alyssa. "Développement de méthodes d'analyse de comprimés à haute vitesse." Mémoire, Université de Sherbrooke, 2018. http://hdl.handle.net/11143/11773.
Full textTorras, Flaquer Josep. "Méthodes probabilistes d'analyse de fiabilité dans la logique combinatoire." Phd thesis, Télécom ParisTech, 2011. http://pastel.archives-ouvertes.fr/pastel-00678275.
Full textVétillard, Jocelyne. "Quelques méthodes d'analyse et de contrôle de problèmes aérocoustiques." Paris, CNAM, 2006. http://www.theses.fr/2006CNAM0551.
Full textThe aim of this thesis is to study the numerical modelling and the control of acoustic waves which propagate in a flow duct with a constant or a variable section a part of which is flexible. It deals with a problem in fluid-stucture interaction. The control system is modelled by actionners located on the flexible part of the duck. The problem of exact controllabity is solved by using some restricted hypotheses dealing both with the duct geometry and the mean velocity of the flow. In particular, the flutter phenomenon an coccur for critical velocities and corresponds to the resonance between the intern cavity eigennodes and the flexible structure eigennodes. Several results come to support theorical results
Caspary, Olivier. "Applicabilité des méthodes d'analyse spectrale à haute résolution fréquentielle." Nancy 1, 1995. http://www.theses.fr/1995NAN10004.
Full textRamel, Jean-Yves. "Interprétation automatique de dessins : Méthodes d'analyse et de reconnaissance." Lyon, INSA, 1996. http://www.theses.fr/1996ISAL0105.
Full textAutomatic interpretation of documents is developed to make easier the retrieval and then the exploitation of the handmade paper drawings. We propose a set of stages achieving the transformation of a paper drawn diagram into numeric data allowing storage and including a drawing interpretation which could be used by a specialized software. To do that, we need to extract the graphic and alphanumeric information from the document in order to rebuild the semantic data associated to the different objects in the drawing and to their relationships. To realize this duty, we have taken advantage of natural techniques commonly associated with human perception. They have inspired the architecture of our model. At first stage, a global perception of the document is realized, using a limited number of elementary primitives: the Pixel, the Vector and the Quadrilateral. So a first representation of the document is obtained. All along the different levels of the analysis, this representation will provide a precise description of all the shapes from the original document. Next, the dual use of our representation of the document and of a multi-expert system tends to improve the local analysis all along the reading and understanding steps. A mechanism of perceptive cycles allows the different experts to cooperate. Each expert has some elementary, precise and enough knowledge of some particular domains, such as extraction of text, of curves, of mechanical elements. Too, it uses the global vision to focus its attention on different places in the image. The hypotheses that the experts have assumed are verified and they induce the evolution of the document representation. Every step of the process brings some new information that is used either to confirm a previous hypothesis or to state a new one until full understanding of the document is obtained
Tang, Ahanda Barnabé. "Extension des méthodes d'analyse factorielle sur des données symboliques." Paris 9, 1998. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1998PA090047.
Full textSORIA-COUSINEAU, MICHELE. "Méthodes d'analyse pour les constructions combinatoires et les algorithmes." Paris 11, 1990. http://www.theses.fr/1990PA112317.
Full textSève, Gilles. "Stabilité des ouvrages géotechniques : Données expérimentales et méthodes d'analyse." Marne-la-vallée, ENPC, 1998. http://www.theses.fr/1998ENPC0013.
Full textEarthwork projects are generally designed, using methods of calculation which are defined by codes and practice depending on earthwork type. The present study deals with the experimental validation of the methods used to compute earthwork stability (natural slopes, excavations and embankments, eventually reinforced). The mechanical principles and assumptions of various methods are described and analysed. Three groups have been assessed : a) methods based on limit equilibrium, b) methods based on limit analysis theory and c) methods based on deformations computing using FEM. A comparative study between different methods leads to specify their limits of applicability and indicates that the factors of safety calculated using one or another method are very close (less that 10 % difference). Common practice of slope stability analysis is described and analysed. Regulations and codes are also presented with emphasis on Eurocode 7. The effect of using Eurocode 7 recommendations for design is illustrated by a parametric study. Particular slope problems, like natural and embankment slopes subjected to seismic loading, as well as special earthwork techniques (soil nailing) are evaluated. Numerous sites are fully described and analysed using different methods. Predictions are compared to the actual slope behaviour. Experimental validation of most numerical methods is presented
Meyer, Nicolas. "Méthodes statistiques d'analyse des données d'allélotypage en présence d'homozygotes." Université Louis Pasteur (Strasbourg) (1971-2008), 2007. https://publication-theses.unistra.fr/public/theses_doctorat/2007/MEYER_Nicolas_2007.pdf.
Full textAllelotyping data contain measures done using Polymerase Chain Reaction on a batch of DNA microsatellites in order to ascertain the presence or not of an allelic imbalance for this microsatellites. From a statistical point of view, those data are characterised by a high number of missing data (in case of homozygous microsatellite), square or °at matrices, binomial data, sample sizes which may be small with respect to the number of variables and possibly some colinearity. Frequentist statistical methods have a number of shortcomings who led us to choose a bayesian framework to analyse these data. For univariate analyses, the Bayes factor is explored and several variants according to the presence or absence of missing data are compared. Di®erent multiple imputations types are then studied. Meta-analysis models are also assessed. For multivariate analyses, a Partial Least Square model is developed. The model is applied under a generalised linear model (logistic regression) and combined with a Non Iterative Partial Least Squares algorithm which 3 makes it possible to manage simultaneously all the limits of allelotyping data. Properties of this model are explored. It is then applied on allelotyping data on 33 microsatellites of 104 patients who have colon cancer to predict the tumor Astler-Coller stage. A model with all possible microsatellites pairs interactions is also run
Pommier, David. "Méthodes numériques sur des grilles sparse appliquées à l'évaluation d'options en finance." Paris 6, 2008. http://www.theses.fr/2008PA066499.
Full textIn this work, we present some numerical methods to approximate Partial Differential Equation(PDEs) or Partial Integro-Differential Equations (PIDEs) commonly arising in finance. This thesis is split into three part. The first one deals with the study of Sparse Grid techniques. In an introductory chapter, we present the construction of Sparse Grid spaces and give some approximation properties. The second chapter is devoted to the presentation of a numerical algorithm to solve PDEs on these spaces. This chapter gives us the opportunity to clarify the finite difference method on Sparse Grid by looking at it as a collocation method. We make a few remarks on the practical implementation. The second part of the thesis is devoted to the application of Sparse Grid techniques to mathematical finance. We will consider two practical problems. In the first one, we consider a European vanilla contract with a multivariate generalisation of the one dimensional Ornstein-Ulenbeck-based stochastic volatility model. A relevant generalisation is to assume that the underlying asset is driven by a jump process, which leads to a PIDE. Due to the curse of dimensionality, standard deterministic methods are not competitive with Monte Carlo methods. We discuss sparse grid finite difference methods for solving the PIDE arising in this model up to dimension 4. In the second problem, we consider a Basket option on several assets (five in our example) in the Black & Scholes model. We discuss Galerkin methods in a sparse tensor product space constructed with wavelets. The last part of the thesis is concerned with a posteriori error estimates in the energy norm for the numerical solutions of parabolic obstacle problems allowing space/time mesh adaptive refinement. These estimates are based on a posteriori error indicators which can be computed from the solution of the discrete problem. We present the indicators for the variational inequality obtained in the context of the pricing of an American option on a two dimensional basket using the Black & Scholes model. All these techniques are illustrated by numerical examples
Bresson, Florent. "Essais sur les méthodes d'analyse des variations de la pauvreté." Phd thesis, Université d'Auvergne - Clermont-Ferrand I, 2007. http://tel.archives-ouvertes.fr/tel-00196851.
Full textVeltz, Romain. "Méthodes d'analyse non-linéaires pour les modèles de champs neuronaux." Phd thesis, Université Paris-Est, 2011. http://tel.archives-ouvertes.fr/tel-00850266.
Full textLetendre, Patrick. "Méthodes d'analyse des fonctions sur un corps de caractéristique p." Thesis, Université Laval, 2010. http://www.theses.ulaval.ca/2010/27169/27169.pdf.
Full textYu, Ping. "Méthodes instrumentales d'analyse de la dysphonie : corrélation avec l'analyse perceptive." Aix-Marseille 2, 2001. http://theses.univ-amu.fr.lama.univ-amu.fr/2001AIX20687.pdf.
Full textLachmann, Frédéric. "Méthodes d'analyse d'images médicales pour la reconnaissance de structures cérébrales." Tours, 1992. http://www.theses.fr/1992TOUR3301.
Full textJonchery, Alain. "Aromes des champignons : méthodes d'analyse, composition chimique et nouvelles perpectives." Paris 5, 1994. http://www.theses.fr/1994PA05P146.
Full textCrouzy, Serge. "Méthodes d'analyse des signaux de Patch-Clamp à temps discret." Grenoble INPG, 1989. http://www.theses.fr/1989INPG0005.
Full textCautres, René. "Discrétisation par volumes finis et méthodes de décomposition de domaine pour des problèmes de convection diffusion." Aix-Marseille 1, 2004. http://www.theses.fr/2004AIX10008.
Full textLabastie-Coeyrehourcq, Karine. "Étude de méthodes d'analyse rapides de la structure moléculaire du polyéthylène." Phd thesis, École Nationale Supérieure des Mines de Paris, 2003. http://tel.archives-ouvertes.fr/tel-00443616.
Full textBernard, Francis. "Méthodes d'analyse des données incomplètes incorporant l'incertitude attribuable aux valeurs manquantes." Mémoire, Université de Sherbrooke, 2013. http://hdl.handle.net/11143/6571.
Full textFarges, Christophe. "Méthodes d'analyse et de synthèse robustes pour les systèmes linéaires périodiques." Phd thesis, Université Paul Sabatier - Toulouse III, 2006. http://tel.archives-ouvertes.fr/tel-00132343.
Full textPark, Soo-Uk. "Les Méthodes d'analyse par enveloppement des données : généralisations et applications nouvelles." Paris, EHESS, 1994. http://www.theses.fr/1994EHES0064.
Full textOur work, in its theoretical part, presents the concept of productive efficiency, which is linked to the problem of the performance of a production unit on a market. This concept has, for some time, been the object of important advances. In particular, dea methods, which rests on linear programming methods. All these approches have been developped under a renewed form, with some original results. This dissertation tries to apply some variants of the dea method to the corean industry of thermal electricity production. It proposes an attempt at obtaining the signification of these dea efficiency, as measured in our sample of power plants, by introducing these efficiencies as exogeneous variables in econometric production function models
Nuez, Catherine. "Méthodes d'analyse en microdialyse cérébrale et sanguine par CLHP-SM-SM." Mulhouse, 1996. http://www.theses.fr/1996MULH0428.
Full textDouzal-Chouakria, Ahlame. "Extension des méthodes d'analyse factorielle à des données de type intervalle." Paris 9, 1998. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1998PA090044.
Full textFactorial analysis aims to extract and to visualize the main trends of a data set. The aim of this work is to extend principal component and correspondence analysis to interval data. In the first part of this work we present an extension of principal component analysis to interval data, with or without field constraints. We propose two novel methods called the vertices method and the centers method corresponding, respectively, to the within/between analysis and the between analysis. These methods are first compared in a probabilistic case, then a link is made between the vertices method, the Statis method and the discriminant factorial analysis. In the second part of this work, we extend the multiple correspondence method to interval data. To do so, we propose three new fuzzy coding techniques for interval variables: cross-coding, vertices coding and coding without decomposition. The first two are based on the decomposition of interval variables into numerical ones. The third technique is based on the extension of classical coding tools (histogram, probabilistic distribution function, membership function, etc. ) to interval distribution
Souty, Cécile. "Méthodes d'analyse de données de surveillance épidémiologique : application au réseau Sentinelles." Thesis, Paris 6, 2016. http://www.theses.fr/2016PA066183.
Full textDisease surveillance networks are usually based on a group of health professionals or institutions which monitor one or more diseases. These data providers report cases seen among their patients. The characteristics of these providers, their spatial distribution and their participation to the network cannot be controlled: they are not a random sample of health professionals. Representativeness must be considered in networks where collected information are not exhaustive. It ensures that the network could provide an accurate representation of the population affected by the disease. In this thesis, we are interested in estimation methods for data produced by a surveillance network based on voluntary participation. The different works are based on the experience of the French practice-based Sentinelles network.The Horvitz-Thompson estimator was used to reduce the bias of incidence estimates. Inclusion probabilities were based on the difference in activity of participating and non-participating general practitioners in surveillance. We also study the impact of the spatial sampling of professionals participating to a surveillance network. By a simulation study, we show that sample weights based on local medical density eliminates the temporal and spatial variations of the providers. We ultimately applied these adjustments to estimate influenza vaccine effectiveness using data provided by GPs participating to the French Sentinelles network.These works show the contribution of appropriate statistical methods for epidemiological data collected in primary care to accurately inform public health authorities
Nascimento, Pagliarini Samuel. "Méthodes d'analyse et techniques d'amélioration de fiabilité pour les circuits numériques." Thesis, Paris, ENST, 2013. http://www.theses.fr/2013ENST0060/document.
Full textWith the current advances achieved in the manufacturing process of integrated circuits, a series of reliability-threatening mechanisms have emerged or have become more prominent. For instance, physical defects originating from poorly lithographed wires, vias and other low-level devices are commonly seen in nanometric circuits. On the other hand, circuits have also become more sensitive to the strikes of highly energized particles. Both mechanisms, although essentially different, can cause multiple faults that contribute for lower reliabilities in integrated circuits. Multiple faults are more troubling than single faults since these are more severe and also because they can overcome fault tolerance techniques. Digital circuits are used in most electronic systems nowadays, but there is a specific context in which they are required to be reliable. Such context comprises high-dependability applications. This is the scenario in which this thesis is conceived. It’s goals are twofold : (a) to pro pose methods to assess the reliability of digital circuits, and (b) to propose techniques for reliability improvement. Concerning the first goal, several methods have been proposed in the literature and the text shows how these methods present limitations with respect to circuit size (number of gates), circuit type (sequential or combinational) and fault profile (single versus multiple faults). This thesis proposes two methods for reliability assessment. The first method is termed SPR+ and its targeted at the analysis of combinational logic only. SPR+ improves the average analysis accuracy by taking into account the effect of each fanout reconvergent node to the overall circuit reliability. Another method, termed SNaP, is also proposed in this thesis. It is a hybrid approach since it is partially based on simulation. SNaP can be used for combinational and sequential logic and can also be emulated in an FPGA device for faster analysis. Both SPR+ and SNaP can cope with multiple faults
Mezmaz, Mohand. "Une approche efficace pour le passage sur grilles de calcul de méthodes d'optimisation combinatoire." Lille 1, 2007. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2007/50376-2007-Mezmaz.pdf.
Full textThe exact resolution of large combinatorial optimization problems is a challenge for grids. Indeed, it is necessary to rethink the resolution algorithms to take into account the characteristics of such environments, in particular their large-scale, the heterogeneity and the dynamic availability of their resources, and their multi-domain administration. Ln this thesis, we propose a new approach, called B&B@Grid, to adapt exact methods for grids. This approach is based on coding work units in the form of intervals in order to minimize the cost of communications caused by the operations of load balancing, fault tolerance and detection of termination. This approach, about 100 times more efficient than the best known approach in term of communication cost, led to the optimal resolution on the Grid5000 of a standard instance of the Flow-Shop problem remained unsolved for fifteen years. To accelerate the resolution, we also deal with cooperation on the grid of exact methods with meta-heuristics. Two cooperation modes have been considered: the relay mode where a meta-heuristic is performed before an exact method, and the co-evolutionary mode where both methods are executed in parallel. The implementation of this cooperation on a grid has led us to propose an extension of the Linda coordination model
Blanc, Philippe. "Méthodes de volumes finis pour les équations de Stokes." Aix-Marseille 1, 2005. http://www.theses.fr/2005AIX11026.
Full textBurtea, Cosmin. "Méthodes d'analyse de Fourier en hydrodynamique : des mascarets aux fluides avec capillarité." Thesis, Paris Est, 2017. http://www.theses.fr/2017PESC1047/document.
Full textThe first part of the present thesis deals with the so -called abcd systems which were derived by J.L. Bona, M. Chen and J.-C. Saut back in 2002. These systems are approximation models for the waterwaves problem in the Boussinesq regime, that is, waves of small amplitude and long wavelength. In the first two chapters we address the long time existence problem which consists in constructing solutions for the Cauchy problem associated to the abcd systems and prove that the maximal time of existence is bounded from below by some physically relevant quantity. First, we consider the case of initial data belonging to some Sobolev spaces imbedded in the space of continuous functions which vanish at infinity. Physically, this corresponds to spatially localized waves. The key ingredient is to construct a nonlinear energy functional which controls appropriate Sobolev norms on the desired time scales. This is accomplished by working with spectrally localized equations. The two important features of our method is that we require lower regularity levels in order to develop a long time existence theory and we may treat in an uni ed manner most of the cases corresponding to the di erent values of the parameters. In the second chapter, we prove the long time existence results for the case of data thatdoes not necessarily vanish at in nity. This is especially useful if one has in mind bore propagation. One of the key ideas of the proof is to consider a well-adapted high-low frequency decomposition of the initial data. In the third chapter, we propose infinite volume schemes in order to construct numerical solutions. We use these schemes in order to study traveling waves interaction.The second part of this manuscript, is devoted to the study of optimal regularity issues for the incompressible inhomogeneous Navier-Stokes system and the Navier-Stokes-Korteweg system used in order to take in account capillarity effects. More precisely, we prove that these systems are well-posed in their truly critical spaces i.e. the spaces that have the same scale invariance as the system itself. Inorder to achieve this we derive new estimates for a Stoke-like problem with time independent variable coefficients
Patrice, Estellé. "Méthodes d'analyse inverse des données d'écoulement de compression de fluides complexes homogènes." Phd thesis, INSA de Rennes, 2004. http://tel.archives-ouvertes.fr/tel-00642094.
Full textPrzybylski, Cédric. "Développement de nouvelles méthodes d'analyse d'oligosaccharides anioniques bioactifs par spectrométrie de masse." Thesis, Evry-Val d'Essonne, 2014. http://www.theses.fr/2014EVRY0001.
Full textThe non-Covalent interactions between proteins and anionic polysaccharides such as glycosaminoglycans (GAGs) are involved in several physio-Pathological processes such as cell signalling and recognition, bacterial and viral infections or during cancer progression. One of the obstacles to get the molecular mechanisms involved during these interactions hold in the structural information deciphering within GAG's sequences. This task is delicate especially because of variable level of acetylations and sulfations, constituting important bottleneck in the research advances of the glycobiology field. To bypass these restrictions, accurate and innovative analytical methods such as mass spectrometry (MS) provide numerous advantages. During this Ph.D training, three original MS based approaches have been developed. The first dealt with the synthesis of new ionic liquid matrices, which both restrict desulfation process and favour the homogeneous deposits for UV-MALDI-TOF analysis. The second way used a soft recently introduced ionization method, desorption electrospray ionization (DESI) allowing direct analysis in ambient conditions of anionic oligosaccharides or under complexes with protein. Finally, the third involved the making of protein or saccharide chips for the analysis of protein / GAG complexes using the hyphenation of surpface plasmon resonance with MS (SPR-MS). Thos coupling allows real time monitoring protein / GAG complexes formation, their dissociation constant determination and the direct detection of protéic as wall as saccharidic ligands by UV-MALDI-TOF
Kabir, Shahid. "Méthodes d'analyse d'images pour l'évaluation de la dégradation des structures en béton." Thèse, Université de Sherbrooke, 2008. http://savoirs.usherbrooke.ca/handle/11143/1819.
Full text