Rozprawy doktorskie na temat „Méthode temporelle”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych rozpraw doktorskich naukowych na temat „Méthode temporelle”.
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.
Noël, Christophe. "Méthode temporelle d'identification de sources sonores bruyantes en milieu industriel". Aix-Marseille 2, 2003. http://www.theses.fr/2003AIX22087.
Pełny tekst źródłaDionne, Éric. "Méthode asymptotique appliquée à la résolution temporelle des équations dynamiques linéaires". Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp04/mq25557.pdf.
Pełny tekst źródłaGarel, Pierre-Yves. "Une méthode mixte éléments finis volumiques-différences finies pour l'analyse temporelle d'antennes compactes". Nice, 2002. http://www.theses.fr/2002NICE5718.
Pełny tekst źródłaBatista, Dominique. "Intégration temporelle de lois de comportement en environnement éléments finis". Lyon, INSA, 2000. http://www.theses.fr/2000ISAL0104.
Pełny tekst źródłaTime discretization of constitutive equations used in civil engineering leads frequently to numerical problems in finite element modelling. And indeed, serious numerical problems may arise from an unsuitable time-integration of such constitutive equation leading usually to a Jack of stability and high costs of computation time infinite element simulations. We focus our attention on the time discretization of three different constitutive equations : a non linear viscoelastic model describing the behaviour of bitumen, an hypoplastic mode! developed for granular materials such as sand and a thermo-viscoplastic model developed for bituminous concrete. The integration of such constitutive equations, which are stiff Ordinary Differential Equations, leads usually to a Jack of stability which compels engineers to use small steps or implicit schemes of integration (besides, most of them are low order accurate). We build three new methods of time discretization in finite element modelling. These methods appear to be quite general. In our study, we use them in the field of FEM in geomechanics in order to carry out the time discretization of the constitutive equations considered and to build the variational formulations. Analytical and numerical solutions for linear and non-linear problems in geomechanics are computed, they show the good stability and accuracy properties of the method proposed compared to other existing time discretization methods. Moreover, a very cheap strategy of step-size control is described, leading to an important decrease of computation time
Tran, Thanh Tinh. "Développement d'une méthode hybride RANS-LES temporelle pour la simulation de sillages d'obstacles cylindriques". Phd thesis, ISAE-ENSMA Ecole Nationale Supérieure de Mécanique et d'Aérotechique - Poitiers, 2013. http://tel.archives-ouvertes.fr/tel-00823281.
Pełny tekst źródłaLanglois, Sébastien. "Prédiction des vibrations éoliennes d'un système conducteur-amortisseur avec une méthode temporelle non linéaire". Thèse, Université de Sherbrooke, 2013. http://hdl.handle.net/11143/6133.
Pełny tekst źródłaVerle, Alexandre. "Développement d'une méthode de distribution de la contrainte temporelle sur les circuits combinatoires CMOS". Montpellier 2, 2005. http://www.theses.fr/2005MON20066.
Pełny tekst źródłaColin, Samuel. "Contribution à l'intégration de temporalité au formalisme B : Utilisation du calcul des durées en tant que sémantique temporelle pour B". Phd thesis, Université de Valenciennes et du Hainaut-Cambresis, 2006. http://tel.archives-ouvertes.fr/tel-00123899.
Pełny tekst źródłaNous nous proposons donc d'étendre la méthode B pour lui permettre de spécifier et valider des systèmes à contraintes temporelles complexes. Nous utilisons pour ce faire des calculs de durées pour exprimer la sémantique du langage B et en déduire une extension conservative qui permet de l'utiliser à la fois dans son cadre d'origine et dans le cadre de systèmes à contraintes temporelles.
Nous nous penchons également sur le problème de l'utilisation d'un outil de preuve générique pour valider des formules de calcul des durées. La généricité de ce type d'outil répond à la multiplication des méthodes formelles, mais pose le problème de l'intégration des fondations mathématiques de ces méthodes à un outil générique. Nous proposons donc d'étudier la mise en oeuvre en plongement léger du calcul des durées dans l'assistant de preuve Coq. Nous en déduisons un retour sur expérience de la définition d'une logique modale particulière dans un outil à vocation générique.
Khnaisser, Christina. "Méthode de construction d'entrepôt de données temporalisé pour un système informationnel de santé". Mémoire, Université de Sherbrooke, 2016. http://hdl.handle.net/11143/8386.
Pełny tekst źródłaEl, Baida Rami. "Les composants logiciels réutilisables : méthode de vérification". Toulouse 3, 2004. http://www.theses.fr/2004TOU30066.
Pełny tekst źródłaThe object oriented programming is more and more used in the development of complex systems. One of the principal characteristics of this type of programming is to favor the reusability. Some resounding failures (like the breakdown of the telephone network in the United-States of America in 1989) proved the necessity of the verification phase for such type of systems. Several verification's methods exist, like the verification by proof and the model-checking. In this thesis, we present a modeling language for the concurrent object systems as well as the associated temporal logic (temporal logic for concurrent object or TLCO). The two types of verification are then approached. First, the verification by proof is carried out in VSE (Visual Support Environment). Afterwards, the automatic checking is carried out in the model checker of SPIN. Finally, a tableau method allowing the verification of TLCO's formulas is presented
Al, Sayed Ali Mouhamad. "Accélération de schémas d'intégration temporelle pour la résolution d'équations différentielles". Brest, 2007. http://www.theses.fr/2007BRES2021.
Pełny tekst źródłaWhen solving ordinary differential equations or algebraic-differential equations by implicit schemes, one is faced with the difficulty of solving correctly the repeated non linear and linear systems of large size that arise in the implicit schemes. In such a case, Newton-like iteration methods for solving nonlinear systems and iterative methods for linear systems can be used. The Newton-like iteration methods are based upon the idea of using a basic Newton iteration in which Newton equations are solved approximately by an available iterative method. The Newton method converges when the initial guess is close enough to a solution, so a modification is needed to guarantee convergence for arbitrary initial guess. This thesis presents a new approach to compute good initial solutions to the linear systems arising in the implicit schemes, for the Newton method and for the linear systems in the Newton method
Texier, Gaëtan. "Méthode d'évaluation des algorithmes de détection temporelle des épidémies dans le cadre de l'alerte précoce". Thesis, Aix-Marseille, 2016. http://www.theses.fr/2016AIXM5043.
Pełny tekst źródłaThe main goal of this work is to propose an assessment method to evaluate outbreak detection algorithm with the following characteristics: realistic, pragmatic, operational (easy to implement), validated and reproducible. This method will allow testing and evaluating outbreak detection algorithms with the objective to determine their features and limits. To reach this goal, firstly, we propose to model the surveillance process with their associated tasks, the decision-making and the use of ODA in real conditions. A work focused of uncertainty during the outbreak management and identification of possible tools to support the expert decision-making is presented.Secondly, because building a standardized dataset of evaluation is a prior before any evaluation, we proposed a new approach to simulate in few minutes, from published epidemics, realistic outbreak curve. We used a Monte-Carlo sampling approach to solved several problems non treated in literature and identified theχ²divergence to realized the quality control of data simulated. We also proposed a detailed and commented review on published evaluation metrics (>50). An example of ODA evaluation was realized by comparing several change point analysis (CPA) model and expert judgment while seeking to identify the complementarity between human and statistical tool in a goal of help to decision-making
Mahéo, Laurent. "Étude des effets dissipatifs de différents schémas d'intégration temporelle en calcul dynamique par éléments finis". Lorient, 2006. http://www.theses.fr/2006LORIS082.
Pełny tekst źródłaThis phd-thesis deals with several time integration algorithms which are used in dynamic computation. The study focuses on their vibration damping properties in order to dissipate spurious oscillations generated by the use of space and time discretizations. The recents Tchamwa-Wielgosz’s explicite scheme and the Bonelli’s one are compared to the classical Bulk-viscosity method and the Runge-Kutta scheme (with a 4-5 order accuracy) for one-dimensional and three-dimensional problems. We notice the effects of the mass matrix (diagonal or consistent) and the time step size on the damping efficiency for each numerical scheme in a one-dimensional problem. We also note that the use of a high-order accuracy scheme can’t prevent the apparition of spurious oscillations. The study goes on with an axisymmetric three-dimensional problem for which we use a Love’s rods numerical solution. We note that the damping of spurious oscillations is less important in three-dimensional problems than in one-dimpensional problems. We also remark the influence of Poisson’s ratio on numerical damping when the bulk-viscosity method is used. Finally, numerical damping can be observed more easily on radial and shear stresses than on axial stresses because they are composed of the highest frequencies and consequently are more damped. The use of damping methods for three-dimensional problems, which come from experiments (Split Hopkinson Pressure Bar test and transverse impact of a steel plate), is finally studied. Therefore, damping is estimated for experimental and complex examples. Finally, we note the damping efficiency on very highfrequencies. A damping control algorithm is developed for the Tchamwa-Wielgosz’s scheme in order to obtain a damping efficiency during the whole simulation process with an energy control. Damping is realised for each degree-of-freedom of the problem and two nodal variables control the algorithm : acceleration and velocity mean. The algorithm is implemented in the HEREZH++ finite element code which is developed in C++. The results for one-dimensional problems with regular or irregular meshes show a damping efficiency at the beginning of the calculation and an energy drop less important than when a continuous damping is used. This study showed the efficiency of the damping methods to filter spurious oscillations. However, numerical damping excessively attains low-frequency modes. Thus, a new method which controls numerical damping has been developed. The second innovation deals with the study of an explicite time integration algorithm, which belongs to the Finite Element Method. This third order accuracy algorithm can approximate the theoretical solution of a discrete space for a low computational cost
Monroux, Frédéric. "Méthodologie générale de synthèse de correcteurs par la méthode des moments ; approche mixte : fréquentielle et temporelle". Poitiers, 1999. http://www.theses.fr/1999POIT2374.
Pełny tekst źródłaMazet, Michel. "Approche temporelle des phénomènes d'aéroélasticité autour d'ailes d'avions par une méthode de couplage direct fluide-structure". Poitiers, 1995. http://www.theses.fr/1995POIT2260.
Pełny tekst źródłaMobtil, Mohammed. "Identification spatio-temporelle des échanges convectifs pariétaux par techniques inverses : Application aux échangeurs de chaleur". Valenciennes, 2011. http://ged.univ-valenciennes.fr/nuxeo/site/esupversions/68f554d7-6602-43cc-b3c3-fa87c4fe1fa9.
Pełny tekst źródłaThis work thematically fits into the research area on the determination of Convective heat transfer coefficients in heat exchangers developed at the Department of industrial energy engineering of Ecole des mines de Douai. The overall objective is to develop effective techniques for determining the fields of heat transfer coefficient on the surface of the fins of a cooling tower. The experimental method developed in the laboratory consists of a non-intrusive heating of thermally thin plate using an infrared transmitter and afterwards analyzing its cooling using an infrared thermography system. The work presented in this thesis identifies the inverse method by spatio-temporal distribution of the heat transfer coefficient to the fluid-wall interface. Two inverse techniques with Tikhonov regularization are developed. The operating principle of these two techniques is based on minimizing the squared difference between temperatures measured by infrared thermography and those calculated by a direct model discretizing the heat equation in two-dimensional finite element environment. Initially, the validity of both methods was studied by numerical tests which allowed us to determine their limitations and or their benefits from the viewpoint of solution stability and computational speed. The chosen method is then validated against the data obtained by the simulation using “STARCM+”commercial software before being applied to different experimental cases : the case of the smooth plate and the case with a circular fin inside the pipe (pipe and fin heat exchanger type)
Soive, Anthony. "Apports à la méthode des éléments finis appliqués aux calculs de structures en dynamique rapide et amortissement numérique". Lorient, 2003. http://www.theses.fr/2003LORIS032.
Pełny tekst źródłaKesserwani, Georges. "Modélisations des équations 1D de Barré de Saint Venant par la méthode des éléments finis de type discontinus de Galerkin à discrétion temporelle de Runge-Kutta". Université Louis Pasteur (Strasbourg) (1971-2008), 2008. https://publication-theses.unistra.fr/restreint/theses_doctorat/2008/KESSERWANI_Georges_2008.pdf.
Pełny tekst źródłaA numerical model for the 1D simulation of transient water flow in conduits and channels network is derived, discussed and applied. As a background, a detailed discussion of the mathematical ans physical properties of the governing equations is given. A discussion on singular points for the 1D Saint Venant equations is performed highlighting the necessity of internal boundary conditions treatments. The historical developmentof existing Godunov-type numerical schemes, widely recommended for solving hyperbolic conservation laws, is reviewed and discussed. The Runge-Kutta Discountinuous Galerkin (RKDG) finite elementmethod is very local and requires as simple treatment of boundary conditions and source terms to obtain high-order accuracy. The explicit time integration, together with the use of orthogonal shape functions, makes the method computationally as efficient as well-suited finite volume schemes for transcient and transcritical flows. For smooth parts of the solution, the scheme is shown to be second-, third- and fourth-order accurate for linear, quadric and cubic shape functions, respectively. Furthermore, shocks are usually captured within only two neighboring elements. Numerical results of several 1D flow problems show the interest of the developed method. The second-order RKDG scheme is considered, compared favorably with the performance of a finite volume scheme implemented with the same features, improved with a special treatment of source terms and applied successfully for the water flow computation of supercritical flow through a simple confluence system with involvement of nonlinear internal boundary conditions handling. A thorough technique for subcritical flow simulation through a confluence is also investigated, focusing mainly on the reliability of the concept of the stages equality approximation at the junction, which is widely used with the internal boundary conditions treatment of many commercial packages. A new numerical model for the prediction of the flow dicision at a 90° open-channel diffluenceis proposed and successfully compared with conducted experimental data. Its main advantage is that the 2D flow division is taken into account within the 1D conservative form of the Saint Venant system and the approach is capable for handling the transient behaviors of the flow at the separation
Linck, Vannina. "Modélisation numérique temporelle d'un contact frottant : mise en évidence d'instabilités locales de contact : conséquences tribologiques". Lyon, INSA, 2005. http://theses.insa-lyon.fr/publication/2005ISAL0048/these.pdf.
Pełny tekst źródłaThe contact with friction between two bodies can lead to the phenomena of vibration and wear. The global contact conditions (velocities, load) are usually stable, and thus cannot explain these phenomena. A temporal study of the local contact dynamics (local velocities, local contact stresses…) and of the tribological state of the contact interface (sticking, slipping or separated) highlighted the generation of instabilities (presence on the contact surface of sticking, sliding or separation zones) in the contact despite constant global parameters and a constant local friction coefficient. Due to the instabilities, the local velocities and pressures are greater than the applied ones. The instabilities are characterized by the propagation in the volume of the wave generated at the interface. The regime of the instabilities can be different due to the material, the mechanism… (regime of stick-slip, stickslip- separation or slip-separation). Tribological consequences (heat dissipation, impact, pressure…) are different from one regime to another
Rabrait, Cécile. "Imagerie par résonance magnétique à haute résolution temporelle: Développement d'une méthode d'acquisition parallèle tridimensionnelle pour l'imagerie fonctionnelle cérébrale". Phd thesis, Université Paris Sud - Paris XI, 2007. http://tel.archives-ouvertes.fr/tel-00204555.
Pełny tekst źródłaDaude, Frédéric. "Méthode d'intégration temporelle implicite pour la simulation des grandes échelles : application à la réduction du bruit de cavité". Poitiers, 2007. http://www.theses.fr/2007POIT2256.
Pełny tekst źródłaA study concerning the analysis of implicit time integration methods for Large-Eddy Simulation of compressible flows is presented. The objective is the increasement of the numerical efficiency of schemes to tackle multiscale problems in aerodynamic like controlled flows. This work is divided into three parts: 1- an analysis of the influence of the convergence residual and numerical parameters on the accuracy of the numerical solution, 2 - the developpement of an efficient strategy based on an new block local optimisation, 3 - the demonstration of the potentiability of the method proposed in the case of a transonic cavity flow controlled by means a spanwise cylinder. The method makes it possible to reduce the computational effort by a factor 10
Clerjaud, Lilian. "Méthode d’hétérodynage pour la caractérisation de propriétés thermophysiques par thermographie infrarouge dans une large gamme spatiale et temporelle". Thesis, Bordeaux 1, 2010. http://www.theses.fr/2010BOR14040/document.
Pełny tekst źródłaNowadays, the contribution of the miniaturization has led to countless advances in science and technology: microelectronics, microfluidics, nanotechnologies... All areas where the economics of quality monitoring and the optimization of production may require a step of characterizing the intrinsic properties of these constituents. Among these porperties, the thermophysical datas can defined the ability to store or distribute the heat (thermal conductivity, effusivity, diffusivity for example). A way to estimate these properties needs the knowledge of the temperature field. At microscale, the measurement temperature without contact is well adapted. The work of this thesis fall into this category by offering a method to characterize the thermophysical properties at microscopic scales by means of infrared thermography. With the help of the heterodyne methods developed for the Thermoreflectance, an electronic stroboscope has been developped. This method is dedied to the infrared thermography and allowing to follow thermal local and periodical excitations with a characteristic frequency around with a frame camera frequency of . By coupling this heterodyne method with microscope lens, it is possible to observe thermal diffusion phenomena longitudinal and transverse localized to the surface of the diffusive sample like metals and impossible to obtain with standard infrared thermography. From experimental data, the values of in-plane or transverse thermal diffusivity are obtained on two samples. Depending of these results, a debate is organized about the limitation of these estimations as the lowpass filter effect of the intregation time of the infrared camera which becomes important with high frequency excitation or the presence of an emissive of thin layer on the surface of the sample (dark spray coating for enhancing the thermal contrast) which can stopped the thermal waves propagation into the layer sample to characterize soon as the excitation frequency exceeds a threshold dependent on the thermal properties of the sample studied. In another way, the estimation of thermal in-plane or transverse diffusivity with an heterodyne method with repeated flash is shown in first results. For future applications, a first academic approach of thermal diffusion model with transport on rotating disk, an extension of the thermal in-plane diffusivity estimation to obtain cartography by scanning the sample area and few heterodyne results in transient periodic regime which are assilimated to a response level were shown
Bouzid, Maroua. "Contribution au raisonnement temporel : application aux systèmes de maintien de vérité". Nancy 1, 1995. http://www.theses.fr/1995NAN10337.
Pełny tekst źródłaAndré, Christophe. "Développement d'une méthode de mesure de fluctuations de concentration par spectroscopie de fluorescence à hautes résolutions spatiale et temporelle". Vandoeuvre-les-Nancy, INPL, 1991. http://www.theses.fr/1991INPL079N.
Pełny tekst źródłaArquier, Remi. "Une méthode de calcul des modes de vibrations non linéaires de structures". Phd thesis, Université de la Méditerranée - Aix-Marseille II, 2007. http://tel.archives-ouvertes.fr/tel-00487857.
Pełny tekst źródłaHafid, Mohamed. "Prédiction par transfert inverse de l'évolution temporelle du front de solidification : applications aux réacteurs métallurgiques et à la cryochirurgie". Thèse, Université de Sherbrooke, 2017. http://hdl.handle.net/11143/10581.
Pełny tekst źródłaChouchane, Mathieu. "Optimisation spatio-temporelle d’efforts de recherche pour cibles manoeuvrantes et intelligentes". Thesis, Aix-Marseille, 2013. http://www.theses.fr/2013AIXM4318.
Pełny tekst źródłaIn this work, we propose a solution to a problem issued by the DGA Techniques navales in order to survey a strategic area: determining the optimal spatio-temporal deployment of sensors that will maximize the detection probability of a mobile and smart target. The target is said to be smart because it is capable of detecting the threat of the sensors under certain conditions and then of adapting its behaviour to avoid it. The cost of a deployment is known to be very expensive and therefore it has to be taken into account. It is important to note that the wide spectrum of applications within this field of research also reflects the need for a highly complex theoretical framework based on stochastic mono or multi-objective optimisation. Until now, none of the existing works have dealt with the cost of the deployments. Moreover, the majority only treat one type of constraint at a time. Current works mostly rely on operational research algorithms which commonly model the constraints in both discrete space and time.In the first part, we present an algorithm which computes the most efficient spatio-temporal deployment of sensors, but without taking its cost into account. This optimisation method is based on an application of the generalised splitting method.In the second part, we first use a linear combination of the two criteria. For our second approach, we use the evolutionary multiobjective optimisation framework to adapt the generalised splitting method to multiobjective optimisation. Finally, we compare our results with the results of the NSGA-II algorithm
Giannini, Fréderique. "Nouvelle méthode d'extraction des paramètres de bruit basée sur une analyse fréquentielle et temporelle des mesures de puissance de bruit". Cergy-Pontoise, 2003. http://www.theses.fr/2003CERG0183.
Pełny tekst źródłaConception of low noise circuit requires characterizing and modeling of each component. These two conception stages are based on noise measurements. Several methods have been developed to measure noise parameters. Nowadays, components present noise levels reaching the limits of these methods. Moreover, the standard technique, called "multi-impedance " requires expensive adaptative impedance. The method described in this report presents mainly three advantages : First, it doesn't need any adaptative impedance. Then, there is no assumption on the measured two-port. Actually, noise parameters are given for 801 frequencies whereas others hardly give 20 or 30. Its principle is based on the interpretation of the bench flow chart with or without the measured device. From this original approach, bench and device characteristics are extracted from five noise measurements thanks to both temporal and spectral treatments. An optimization and a study of the precision have been realized. The method has been compared to the standard one in order to validate it
Petit, Anne-Cécile. "Stratégies cellulaires et construction de l'ectoderme de surface chez l'embryon de souris : une approche par combinaison de la méthode d'analyse clonale LaacZ et d'une méthode d'induction temporelle du marquage cellulaire". Paris 6, 2008. http://www.theses.fr/2008PA066084.
Pełny tekst źródłaGuerre, Emmanuel. "Méthode non paramétriques d'analyse des séries temporelles multivariées : estimation de mesures de dépendances". Paris 6, 1993. http://www.theses.fr/1993PA066110.
Pełny tekst źródłaPhilippe, Christelle. "Analyse de la pollution atmosphérique aux échelles locale et régionale. Modélisation spatiale et temporelle à l'aide d'une méthode de scénarii épisodiques". Phd thesis, INSA de Rouen, 2004. http://tel.archives-ouvertes.fr/tel-00006789.
Pełny tekst źródłaBatti, Ahmed. "Etude spatio-temporelle par télédection du cycle crue-decrue dans le delta central du fleuve du Niger (Mali) : méthode des ondelettes". Université Louis Pasteur (Strasbourg) (1971-2008), 2001. http://www.theses.fr/2001STR1GE04.
Pełny tekst źródłaPhilippe, Christelle. "Analyse de la pollution atmosphérique aux échelles locale et régionale. Modélisation spatiale et temporelle à l'aide d'une méthode de scénarios épisodiques". Rouen, INSA, 2004. http://www.theses.fr/2004ISAM0005.
Pełny tekst źródłaMora, Vincent. "Étude de l'intégration temporelle du tenseur taux de déformation : Application à la modélisation de l'élastoplasticité en grandes transformations". Lorient, 2004. http://www.theses.fr/2004LORIS040.
Pełny tekst źródłaThis work concerns the formulation of finite strain elastoplasticity constitutive equations. A relation is established between the rate of deformation tensor and three strain measures: the Almansi strain measure, its dual measure, and the logarithmic strain measure. Time derivation and time integration of the tensors are explained in a didactic manner. An original expression for rotational derivatives as a function of convective derivatives is proposed. This expression is particularly suited to numerical implementation. A numerical study of various cumulated tensorial strain measures is presented. These results are applied to the modeling of finite strain elastoplasticity. An effort is made to connect various theories suggested in the literature. We show that the additive decomposition of the rate of deformation can lead, by integration, to the additive decomposition of a strain measure
Sahyoun, Walaa. "Modélisation et caractérisation linéaire et non linéaire des filtres RF en technologie BAW et CRF et méthode pseudo-temporelle de test industriel". Phd thesis, Université de Grenoble, 2011. http://tel.archives-ouvertes.fr/tel-00639427.
Pełny tekst źródłaBesson, Arlène. "Analyse de la variabilité spatio-temporelle de la teneur en eau des sols à l’échelle parcellaire par la méthode de résistivité électrique". Orléans, 2007. http://www.theses.fr/2007ORLE2045.
Pełny tekst źródłaLegué, Emilie. "Bases cellulaire de la morphogenèse du follicule pileux chez la souris : une analyse clonale utilisant une méthode d' induction temporelle de clones". Paris 7, 2005. http://www.theses.fr/2005PA077071.
Pełny tekst źródłaTouhami, Younès. "Identification spatio-temporelle d'une source de chaleur dans un milieu diffusif par résolution d'un problème inverse". Aix-Marseille 1, 1996. http://www.theses.fr/1996AIX11059.
Pełny tekst źródłaRubin, Christophe. "Préparation d'une expérience de diffraction de Laue en temps résolu : aspect expérimental et numérique de la méthode". Grenoble 1, 1994. http://www.theses.fr/1994GRE10125.
Pełny tekst źródłaBroutin, Michaël. "Evaluation des chaussées souples aéroportuaires à l'aide du déflectomètre à masse tombante (HWD) : Développement d'une méthode d'analyse dynamique temporelle par éléments finis pour le calcul inverse des propriétés structurelles". Marne-la-Vallée, ENPC, 2010. http://www.theses.fr/2010ENPC1008.
Pełny tekst źródłaEvolved from the French "déflectomètre à boulet", the Heavy Weight Deflectometer (HWD) is today viewed worldwide as the most appropriate device to assess the bearing capacity of airport pavements. Its principle consists in applying a transient impulsive load simulating the weight effect of an aircraft rolling wheel, onto a stationary load plate placed over the pavement, through a buffer system, and studying the surface deflections induced by this dynamic loading. The latter are continuously measured during the test by means of geophones. These deflection measurements are used to determine the structural properties of the pavement, by means of a "backcalculation" numerical procedure which consists in: 1- choosing a mechanical mode! for the pavement, 2 - identifying the parameters of the mode! for which theoretical computed deflections fit the experimental data set. Then, forward calculations can be performed to estimate the bearing capacity or the remaining life of the structure. Usual processing methods for the assessment of flexible pavements are based on static multilayered elastic models. The structural properties to be backcalculated are the stiffnesses of the different layers. The backcalculations are performed from pseudo-static deflection bowls reconstituted from the deflection peak values measured by each geophone. As emphasized by several authors, these methods have shown limitations. Indeed, they use only part of available information (peak values), and the static modelling is far from the reality of the test. The objective of the thesis was to develop an advanced method for the assessment of flexible pavements using HWD tests data which achieves a better representation of the observed physical phenomena during dynamic loading and allows taking into account the whole available information. A time-domain FEM modelling has been developed, where the applied dynamical load, inertia of materials and structural damping are modelled. It allows the computation of ensuing time-related deflections. An automated convergence algorithm has been developed for numerical resolution of the backcalculation procedure. A full-scale validation ofboth backcalculation method and strains determination has been conducted. It consisted in test surveys run on a reference instrumented pavement. The validation has relied on the comparison between backcalculated and laboratory-determined material properties, and on the comparison between expected strains and measured strains. A numerical tool has been developed which allows automating the finite elements mesh creation and both backcalculation and forward calculation phases: the PREDIW ARE (Pavement Rational Evaluation using Deflections Induced by Falling Weights, for Airfield and Road Engineers) software
Meziane, Anissa. "Apport des analyses numériques temporelle et fréquentielle dans l'étude des instabilités de contact : validation expérimentale". Phd thesis, INSA de Lyon, 2007. http://tel.archives-ouvertes.fr/tel-00780573.
Pełny tekst źródłaPapon, Aurélie. "Modélisation numérique du comportement des sols sous très grands nombres de cycles : homogénéisation temporelle et identification des paramètres". Phd thesis, Université de Nantes, 2010. http://tel.archives-ouvertes.fr/tel-00649079.
Pełny tekst źródłaKilani, Asma. "Le rôle des restrictions temporelles de vente sur l'évaluation de l'offre et l'intention d'achat : analyse par méthode des scénarios". Thesis, Strasbourg, 2017. http://www.theses.fr/2017STRAB014/document.
Pełny tekst źródłaThe role of the sales restrictions on the evaluation of the offer and the intention of purchase still stays controversial. The marketing literature is divided over the subject and sets up different conceptual frames and theories explaining the effects of these restrictions. Facing the lack of unanimity in literature, in a context where the rentability of sales promotions is not established, this thesis aims to a better comprehension of the impact of the temporal limits on the evaluation of a promotional sales offer and the intention of the consumer's purchase. This survey was made through a mixed methodology made by an exploratoring study lead by focus groups and by a quantitative study lead by the scanario method. The results of our explorating survey underline an ambivalent behaviour versus the temporal restriction of sales. Our empiric study reveals a moderating role of the brand able to limit the perception of the drawbacks in the space of the time restrictions of sales
Nowakowski, Samuel. "Détection de défauts dans les séries temporelles". Nancy 1, 1989. http://www.theses.fr/1989NAN10074.
Pełny tekst źródłaBost, François. "Vers une modélisation temporelle unifiée des phénomènes électromagnétiques conduits et rayonnés dans les systèmes électriques : Application à l'électronique de puissance". Ecully, Ecole centrale de Lyon, 1999. http://www.theses.fr/1999ECDL0050.
Pełny tekst źródłaTittarelli, Roberta. "Estimateurs d'erreur a posteriori pour les équations de Maxwell en formulation temporelle et potentielle". Thesis, Lille 1, 2016. http://www.theses.fr/2016LIL10092/document.
Pełny tekst źródłaThis thesis focus on the developement of a posteriori error estimators for the finite element numerical resolution of low frequency electromagnetic problems. We are interested in two potential formulations of the Maxwell's equations in the quasi-static approximation, known as A-φ et T-Ω formulations, for both harmonic and temporal regimes. The challenge consists in developing numerical tools mathematically robust, usable in an industrial code allowing the estimation of the spatio-temporal error discretisation and the improvement of the quality and the cost of the computation. We prove the reliability of the proposed error estimators, which ensures an upper bound for the error in the energy norm. In some cases we also prove the local efficicency of the estimators, which allows to detect the zones where the error is the highest, so that an adaptive remeshing process can be set up. Anyway, the global equivalence between the energy error norm and the estimator is derived. The developed error estimators are finally used for physical and industrial numerical simulations in Code_Carmel3D (EDF R&D)
Mansouri, Chemseddine. "Traitement des signaux laser Doppler et modélisation spatio-temporelle de la spectroscopie tissulaire diffuse et de fluorescence par les méthodes de Monte Carlo et des éléments finis : application au diagnostic médical". Angers, 2009. http://www.theses.fr/2009ANGE0027.
Pełny tekst źródłaThis work is related to the exploration of biological tissues using laser to diagnose microcirculatory insufficiencies and the localization of cancer cells made fluorescent by contribution of a specific marker. It aims at helping experts to carry out their diagnosis non-invasively from a beam of optical measurements, in the spectra of the selected wavelenghts (visible and near infrared). . . .
Delavaud, Virginie. "Modélisation temporelle de l'interaction roue/rail pour une application au bruit de roulement ferroviaire". Phd thesis, Palaiseau, Ecole polytechnique, 2011. http://pastel.archives-ouvertes.fr/pastel-00628346.
Pełny tekst źródłaMethni, Amira. "Méthode de conception de logiciel système critique couplée à une démarche de vérification formelle". Thesis, Paris, CNAM, 2016. http://www.theses.fr/2016CNAM1057/document.
Pełny tekst źródłaSoftware systems are critical and complex. In order to guarantee their correctness, the use of formal methodsis important. These methods can be defined as mathematically based techniques, languages and tools for specifying and reasoning about systems. But, the application of formal methods to software systems, implemented in C, is challenging due to the presence of pointers, pointer arithmetic andinteraction with hardware. Moreover, software systems are often concurrent, making the verification process infeasible. This work provides a methodology to specify and verify C software systems usingmodel-checking technique. The proposed methodology is based on translating the semantics of Cinto TLA+, a formal specification language for reasoning about concurrent and reactive systems. We define a memory and execution model for a sequential program and a set of translation rules from C to TLA+ that we developed in a tool called C2TLA+. Based on this model, we show that it can be extended to support concurrency, synchronization primitives and process scheduling. Although model-checking is an efficient and automatic technique, it faces the state explosion problem when the system becomes large. To overcome this problem, we propose a state-space reduction technique. The latter is based on agglomerating a set of C instructions during the generation phase of the TLA+ specification. This methodology has been applied to a concrete case study, a microkernel of an industrial real-time operating system, on which a set of functional properties has been verified. The application of the agglomeration technique to the case study shows the usefulness of the proposed technique in reducing the complexity of verification. The obtained results allow us to study the behavior of the system and to find errors undetectable using traditional testing techniques
Bahsoun, Jean-Paul. "Expression de la synchronisation dans un module contrôlé par priorité : implantation et méthode de preuve". Toulouse 3, 1988. http://www.theses.fr/1988TOU30126.
Pełny tekst źródła