Bibliografie tematiche / Méthode temporelle

Letteratura scientifica selezionata sul tema "Méthode temporelle"

Autore: Grafiati

Pubblicato: 1 giugno 2024

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

Scegli il tipo di fonte:

Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Méthode temporelle".

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

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

Articoli di riviste sul tema "Méthode temporelle":

KOENIGUER, Elise, Jean-Marie Nicolas, Béatrice Pinel-Puyssegur, Jean-Michel Lagrange e Fabrice Janez. "Visualisation des changements sur séries temporelles radar : méthode REACTIV évaluée à l'échelle mondiale sous Google Earth Engine". Revue Française de Photogrammétrie et de Télédétection, n. 217-218 (21 settembre 2018): 99–108. http://dx.doi.org/10.52638/rfpt.2018.409.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Cet article présente une méthode de visualisation d'une pile temporelle d'images SAR, appelée REACTIV, qui permet de faire ressortir en couleur les zones ayant subi des changements sur la période de temps observée. Cette méthode a été testée à grande échelle grâce à la plateforme Google Earth Engine. Elle est basée sur l'espace de visualisation HSV et n'exploite que des estimations dans le domaine temporel, sans aucune estimation spatiale. La saturation des couleurs est codée par le coefficient de variation temporel, dont plusieurs propriétés statistiques sont explicitées. Les limites de l'utilisation de la plateforme Google Earth Engine sont évaluées, et plusieurs cas d'applications sont proposés : agriculture, dynamique urbaine, trafic maritime.

Herault, Joël, Rouzbeh Moini e Bernard Jecko. "Analyse de “microantennes” par une méthode temporelle". Annales des Télécommunications 42, n. 9-10 (settembre 1987): 578–87. http://dx.doi.org/10.1007/bf02994988.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Dubé, Jean. "Une méthode de réconciliation des données d’enquêtes pour évaluer la dynamique spatiale de l’emploi au Canada, 1987-2008 : Application à l’Enquête sur la population active (EPA)". Articles 87, n. 1 (9 novembre 2011): 9–29. http://dx.doi.org/10.7202/1006337ar.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Cet article présente une application d’une méthode d’estimation de la répartition spatiale et temporelle de l’emploi régional au Canada. La méthode de minimisation de l’entropie croisée permet de réconcilier des données régionales qui sont, a priori, divergentes des totaux agrégés. À partir des données d’emploi provenant de l’Enquête sur la population active en fonction des régions économiques et des secteurs productifs, des matrices (rectangulaires) de répartitions spatiales de l’emploi sont obtenues pour l’ensemble des années disponibles (1987-2008). L’article montre comment il est possible de réconcilier les données d’enquêtes faisant état de règles d’arrondis et de règles de divulgation dans le but d’obtenir une source de données spatio-temporelle permettant d’utiliser, au meilleur des connaissances, des données incomplètes.

Crane, John. "A Model for Single System Evaluation of Treatments". Canadian Journal of Program Evaluation 1, n. 1 (marzo 1986): 59–74. http://dx.doi.org/10.3138/cjpe.01.007.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Les méthodes appropriées à l'analyse de données pour l'étude des systèmes simples varient selon le nombre d'indicateurs requis pour chaque concept, la fréquence de mesures et la possibilité de reproduire les traitements. Cette étude examine le cas le moins développé, en ce qui concerne l'analyse, mais dont l'usage est probablement le plus répandu, et dans lequel on retrouve beaucoup d'indicateurs, peu de données dans le temps, et des traitements qui ne peuvent être reproduits qu'en partie. L'analyse temporelle ne s'applique pas dans ce cas. Une méthode d'analyse de données comportant des transformations qui répondent aux critères des analyses d'ANOVA et de Régression, complétée par l'inforgraphie, est développée et illustrée. Elle s'applique particulièrement aux formes d'exercice telles que la thérapie familiale de Bowen ou aux études des groupes intacts, pour lesquelles n'existe aucune méthode d'analyse satisfaisante.

Oszwald, Johan, e Valéry Gond. "De l'utilisation des séries temporelles SPOT-VEGETATION pour surveiller un front pionnier". BOIS & FORETS DES TROPIQUES 312, n. 312 (1 giugno 2012): 77. http://dx.doi.org/10.19182/bft2012.312.a20505.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Depuis les années 1960, la forêt amazonienne se réduit face à l'extension des surfaces commerciales agricoles. Ce phénomène a été renforcé par l'augmentation de la population due à l'immigration vers ces nouveaux secteurs défrichés. Le phénomène a alors tendance à s'amplifier aux dépens de la forêt. Dans ce contexte, il devient essentiel de surveiller ces fronts pionniers afin de caractériser les changements rapides qui s'y opèrent. Les satellites à haute résolution ne sont pas adaptés pour surveiller ces milieux très dynamiques car leur résolution temporelle est faible et leur traitement reste compliqué. Inversement, les données satellitaires à basse résolution semblent être plus adaptées pour ce genre d'analyses. En se basant sur des données à basse résolution obtenues à partir du satellite SPOT-VEGETATION cette étude propose une méthode de surveillance adaptée à des fronts de déforestations de petites étendues. La méthode peut être extrapolée à d'autres fronts pionniers afin de les surveiller et d'établir des diagnostics sur les dynamiques temporelle des transformations paysagères.

Hedhli, Ihsen, Gabriele Moser e Josiane Zerubia. "Nouvelle méthode en cascade pour la classification hiérarchique multi-temporelle ou multi-capteur d'images satellitaires haute résolution". Revue Française de Photogrammétrie et de Télédétection, n. 216 (19 aprile 2018): 3–17. http://dx.doi.org/10.52638/rfpt.2018.301.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Ce papier présente un modèle de classification multi-résolution, multi-date et éventuellement multi-capteur fondé sur une modélisation statistique explicite au travers d'un modéle hiérarchique de champs de Markov construit sur une structure quad-arbre. L'approche proposée consiste en un classifieur bayésien supervisé qui combine un modèle statistique conditionnel par classe intégrant des informations pixel par pixel à la même résolution et un champ de Markov hiérarchique fusionnant l'information spatio-temporelle et multi-résolutions, en se basant sur le critère des Modes Marginales a Posteriori (MPM en anglais), qui vise à affecter à chaque pixel l'étiquette optimale en maximisant récursivement la probabilité marginale a posteriori, étant donné l'ensemble des observations multi-temporelles ou multi-capteur. Un nouvel élément intéressant de l'approche proposée est l'utilisation en cascade de plusieurs quad-arbres, chacun étant assocé à une nouvelle image disponible, en vue de caractériser les corrélations associées à des images distinctes.

Van-Wierts, Stéfanie, Pascal Bernatchez e Christian Larouche. "Suivi topographique côtier au moyen d’un système LiDAR mobile terrestre : exemple d’une recharge sédimentaire de plage". GEOMATICA 71, n. 4 (dicembre 2017): 194–212. http://dx.doi.org/10.5623/cig2017-402.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

L’évolution côtière est complexe, notamment par la migration de la ligne de rivage et l’apparition successive de zones d’érosion ou d’accumulation. Les suivis quantitatifs des systèmes côtiers sont largement utilisés afin de comprendre leurs évolutions temporelle et spatiale. Plusieurs méthodes d’acquisition topographiques ont été utilisées (GNSS RTK, LiDAR aéroporté et LiDAR terrestre statique ou mobile) où chaque méthode présente des avantages et des inconvénients lors de suivis d’environnements côtiers. L’objectif de cet article est de quantifier la précision d’un système LiDAR mobile (SLM) terrestre et d’évaluer s’il peut répondre aux principaux défis des levés topographiques en milieu côtier qui consistent à réaliser des levés à une haute résolution temporelle, à moindre coût, tout en assurant une bonne précision altimétrique et une bonne résolution spatiale. Les résultats montrent que la résolution spatiale est centimétrique et que la précision altimétrique est de 0,039 m (RMS calculé sur 124 points de contrôle). La haute précision altimétrique et la haute résolution spatiale permettent de maximiser la précision des calculs de volume sédimentaire et ainsi diminuer les coûts associés à l’erreur de calcul, notamment lors de projets de recharge sédimentaire de plage. Cela permet aussi d’assurer le positionnement exact de limites marégraphiques et géomorphologiques. En comparaison à des profils topographiques obtenus par méthodes clas siques, la forte densité des nuages de points observés avec un SLM permet de cartographier des formes morphologiques de faible amplitude diminuant ainsi l’erreur due à l’interpolation.

Brossais, Emmanuelle, Nathalie Panissal e Claudine Garcia-Debanc. "Analyses plurielles d’un débat entre élèves. Émergence d’une méthode d’analyse thématico-argumentative". Cahiers de recherche sociologique, n. 54 (24 luglio 2014): 113–40. http://dx.doi.org/10.7202/1025995ar.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Quelles méthodes d’analyse de discours permettent de rendre compte de pratiques dialogales argumentatives orales ? Le corpus analysé est un débat entre élèves de quatrième année de l’enseignement secondaire français, provoqué dans le cadre d’une ingénierie d’éducation citoyenne aux nanotechnologies. La confrontation de cadres théoriques en didactique des Questions Socialement Vives (QSV), en Sciences du Langage et en didactique du français langue première, nous amène à proposer une étude d’un débat argumenté entre élèves sur des QSV relatives aux nanotechnologies. Nous présentons l’intérêt et les limites d’une analyse thématique de contenu (Bardin, 1977) et d’une analyse du discours argumentatif (Plantin, 1996). Nous proposons une méthode d’analyse inédite des interactions langagières orales, baptisée analyse thématico-argumentative. Elle permet d’étudier les thèmes dans la dynamique temporelle du déroulement du débat et de rendre compte de l’orientation argumentative des énoncés. Elle se réfère à de nouveaux concepts pour rendre compte des moments argumentatifs.

Mahfoudi, El-Ahcene, Abderrahmane Gahmousse, Athmane Harizi, Kamel Talbi e Abdellah Hadjadj. "Simulation numérique de l’écoulement compressible supersonique Application aux tuyères propulsives à combustible liquide hydrogène". Journal of Renewable Energies 15, n. 3 (23 ottobre 2023): 365–72. http://dx.doi.org/10.54966/jreen.v15i3.327.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Ce travail porte sur la simulation numérique de l’écoulement supersonique adapté dans les tuyères propulsives où le gaz d’essai supposé parfait est le gaz de combustion de l’Hydrogène. Il vise à déterminer les paramètres de l’écoulement Eulérien supersonique dans la tuyère convergente divergente. La méthode numérique utilisée pour la résolution de l’écoulement est basée sur une approche des volumes finis en coordonnées généralisées. L’intégration du système pour les équations de conservation d’Euler s’effectue sur un volume élémentaire quadrilatère. Dans cette étude, le traitement des flux convectifs est effectué en utilisant la méthode de Roe. Pour la discrétisation temporelle des équations, un schéma explicite de type Runge-Kutta du second ordre est utilisé.

Chapelon, Laurent, e Sandra Bozzani. "L'intermodalité air-fer en France : une méthode d'analyse spatiale et temporelle". Espace géographique 32, n. 1 (2003): 60. http://dx.doi.org/10.3917/eg.321.0060.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Più fonti

Tesi sul tema "Méthode temporelle":

Noël, Christophe. "Méthode temporelle d'identification de sources sonores bruyantes en milieu industriel". Aix-Marseille 2, 2003. http://www.theses.fr/2003AIX22087.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Dionne, É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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Garel, 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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Batista, Dominique. "Intégration temporelle de lois de comportement en environnement éléments finis". Lyon, INSA, 2000. http://www.theses.fr/2000ISAL0104.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Les lois de comportement du génie civil posent fréquemment des difficultés lors de leur intégration temporelle dans un code d'éléments finis. En effet, l'utilisation de schémas de discrétisation temporelle inadaptés au modèle de comportement peut conduire à des coûts de calculs élevés ainsi qu'à l'apparition d'instabilités numériques qui menacent la performance et la fiabilité des codes de calculs par éléments finis. Nous nous intéressons plus particulièrement à la discrétisation de trois modèles rhéologiques : un modèle viscoélastique non linéaire décrivant le coportement de bitumes, un modèle hypoplastique décrivant le comportement de matériaux granulaires ainsi qu'un modèle thermo-viscoplastique décrivant celui de bétons bitumeux. Ayant constaté que les chémas de discrétisation existants pour ces modèles sont tantôt d'ordre de consistance faible tantôt instables donc fréquemment coûteux en terme de temps de calcul, nous proposons, dans le cadre d'une modélisation par éléments finis, une méthode de discrétisation que nous adaptons tour à tour à chacun des trois modèles rhéologiques considérés. Une étude théorique comparant les propriétés de consistance et de stabilité pour les schémas existants et proposés met en valeur les propriétés théoriques de nos développements. De plus, nous proposons, pour ces trois classes de schémas de discrétisation, une stratégie originale de contrôle du pas encontraintes et en déformations qui permet de substantiels gains en temps de calcul. Des résultats numériques et analytiques pour des problèmes linéaires et non linéaires de géomécanique sont fournis. Ils mettent numériquement en évidence les qualités de stabilité et de précision de la méthode proposée
Time 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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Dans le domaine de la modélisation des écoulements turbulents, les approche hybrides RANS/LES ont reçu récemment beaucoup d'attention car ils combinent le coût de calcul raisonnable du RANS et la précision de la LES.Parmi elles, le TPITM (Temporal Partially Integrated Transport Model) est une approche hybride RANS/LES temporelle qui surmonte les inconsistances du raccordement continu du RANS et de la LES grâce à un formalisme de filtrage temporel. Cependant, le modèle TPITM est relativement difficile à mettre en œuvre et, en particulier, nécessite l'utilisation d'une correction dynamique, contrairement à d'autres approches, notamment la DES (Detached Eddy Simulation).Cette thèse propose alors une approche hybride RANS/LES similaire à la DES, mais basée sur un filtrage temporel, déduite du modèle TPITM par équivalence, c'est-à-dire en imposant la même partition entre énergies résolue et modélisée. Ce modèle HTLES (Hybrid Temporal LES) combine les caractéristiques de la DES (facilité de mise en œuvre) et du TPITM (formalisme consistant, justification théorique des coefficients).Après calibration en turbulence homogène, l'approche est appliquée à des cas d'écoulements autour de cylindres carrés puis rectangulaires. La modélisation des tensions de sous-filtre est une adaptation au contexte hybride du modèle RANS k-wSST.

Langlois, 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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Les vibrations éoliennes sont la cause principale de bris de conducteurs en fatigue des lignes aériennes de transport d'énergie électrique. Ces vibrations sont dues à des détachements tourbillonnaires produits dans le sillage du conducteur. Une méthode commune de réduction des vibrations est l'ajout d'amortisseurs de vibrations près des pinces de suspension. Contrairement aux essais en ligne expérimentale, la modélisation numérique permet d'évaluer rapidement et à faible coût la performance d'un amortisseur de vibration sur une portée de ligne aérienne. La technologie la plus fréquemment utilisée fait appel au principe de balance d'énergie (PBE) en évaluant le niveau de vibrations pour lequel la puissance injectée par le vent est égale à la puissance dissipée par le conducteur et l'amortisseur. Les méthodes actuelles pour la prédiction des vibrations reposent sur des hypothèses simplificatrices quant à la modélisation de l'interaction conducteur-amortisseur. Une approche prometteuse pour la prédiction des vibrations est l'utilisation d'un modèle numérique temporel non linéaire qui permet de mieux représenter la masse, la géométrie, la rigidité et l'amortissement du système. L'objectif principal de ce projet de recherche est de développer un modèle numérique avec intégration temporelle directe d'un conducteur et d'un amortisseur en vibration permettant de reproduire le comportement dynamique du système pour la gamme de fréquence et d'amplitude typique des vibrations éoliennes des conducteurs. Un modèle par éléments finis d'un conducteur seul en vibration résolu par intégration temporelle directe a d'abord été développé en considérant une rigidité de flexion variable. Comme une rigidité de flexion constante et égale à 50% de la rigidité de flexion maximale théorique ( EImax ) est jugée adéquate pour la modélisation du conducteur, c'est cette valeur qui a été utilisée pour la suite du projet. Ensuite, des modèles non-linéaires pour deux types d'amortisseur de vibrations (Stockbridge et Hydro-Québec) ont été développés. Ces modèles reproduisent adéquatement le comportement dynamique des amortisseurs pour une grande gamme de fréquences et d'amplitudes de déplacement. Finalement, les modèles d'amortisseur ont été intégrés au modèle de conducteur et uil nouvel outil de prédiction de vibrations éoliennes basé sur le principe de balance d'énergie (PBE) a été développé. Celui-ci permet de bien reproduire des àmplitudes de vibration mesurées sur une ligne expérimentale, en particulier dans la gamme 8 à 35 Hz. À plus long terme, un tel modèle pourrait servir de point de départ vers une modélisation temporelle complète du phénomène de vibrations éoliennes des conducteurs incluant l'excitation éolienne, l'auto-amortissement des conducteurs et des conditions limites réalistes pour les lignes aériennes.

Verle, 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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Colin, 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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Dans le domaine des systèmes informatisés où la fiabilité est la première priorité, les méthodes formelles ont prouvé leur efficacité pour la conception de logiciels sûrs. La dépendance à de tels systèmes augmente, et les contraintes rencontrées se font plus diverses et précises, en particulier les contraintes temporelles. Certaines méthodes formelles, notamment la méthode B, rendent la conception malaisée sous de telles contraintes, puisqu'elles n'ont pas été prévues pour cela à l'origine.

Nous 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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Des systèmes informationnels de santé (SIS) ont été mis en place au cours des 20 dernières années pour soutenir les processus de soins, les tâches administratives et les activités de recherche ainsi que pour assurer la gestion raisonnée des établissements de santé. Un entrepôt de données (ED) doit être créé à partir de nombreuses sources de données hétérogènes afin de rendre les données exploitables d’une façon uniforme au sein des SIS. La temporalisation de cet entrepôt est rapidement devenue un enjeu crucial afin de garder les traces de l’évolution des données et d’améliorer la prise de décision clinique. L’entrepôt de données temporalisé (EDT) requiert l’application de règles systématiques afin de garantir l’intégrité et la qualité des données. Générer le schéma temporel d’un EDT est une tâche complexe. Plusieurs questions se posent dès lors, dont celles-ci : (a) Quel modèle temporel est le mieux adapté à l’automatisation de la construction d’un EDT (plus particulièrement dans le domaine de la santé)? (b) Quelles propriétés peut-on garantir formellement, suite à cette construction? D’une part, le volume du schéma de données nécessite d’importantes ressources humaines et financières, et d’autre part, plusieurs modèles temporels existent, mais ils ne sont pas formalisés ou non généraux. Les concepteurs s’en remettent donc le plus souvent à des règles de pratiques variées, floues, incomplètes et non validées. Dans ce travail, un cadre de référence permettant de formaliser, de généraliser et d’opérationnaliser des modèles temporels est défini. Deux modèles : BCDM et TRM sont présentés selon le cadre de référence avec leurs contraintes d’intégrité, leurs algorithmes de construction et une liste des prolongements requis. Il en résulte qu’il est désormais possible de s’affranchir des règles de pratique imprécises et de temporaliser un entrepôt en se fondant sur une méthode rigoureuse aux propriétés démontrables basées sur des critères fondamentaux (théorie relationnelle), des critères de conception reconnus et explicites (normalisation).

El, Baida Rami. "Les composants logiciels réutilisables : méthode de vérification". Toulouse 3, 2004. http://www.theses.fr/2004TOU30066.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

La programmation orientée objet est de plus en plus utilisée dans le développement des systèmes complexes. Une des caractéristiques principales de ce type de programmation est de favoriser la réutilisation. Quelques échecs retentissants (comme la panne du réseau téléphonique aux États-Unis en 1989) ont prouvé la nécessité de vérifier ce type de systèmes. Plusieurs méthodes de vérifications existent, comme la vérification par preuves et la vérification par modèles (ou model-checking). Dans cette thèse, nous présentons un langage de modélisation pour les systèmes à objets concurrents ainsi que la logique temporelle associée (TLCO). Les deux types de vérification sont ensuite abordés. D'abord, la vérification par preuve est effectuée en VSE (Visual Support Environment). Ensuite, la vérification automatique est effectuée en SPIN. Finallement, une méthode des tableaux permettant la vérification des formules de TLCO est aussi présentée
The 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

Più fonti

Libri sul tema "Méthode temporelle":

Ariel, Mendez. Processus: Concepts et méthode pour l'analyse temporelle en sciences sociales. Louvain-la-Neuve: Academia-Bruylant, 2010.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Aragon, Yves. Séries temporelles avec R: Méthodes et cas. Paris: Springer Paris, 2011.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Franses, Philip Hans. Time series models for business and economic forecasting. Cambridge, UK: Cambridge University Press, 1998.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

(Editor), Eugene Asarin, e Patricia Bouyer (Editor), a cura di. Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings (Lecture Notes in Computer Science). Springer, 2006.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

(Editor), Paul Pettersson, e Wang Yi (Editor), a cura di. Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings (Lecture Notes in Computer Science). Springer, 2006.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Pettersson, Paul, e Wang Yi. Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings. Springer London, Limited, 2005.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Capitoli di libri sul tema "Méthode temporelle":

SARKIS, Bruno, Anne-Virginie SALSAC e José-Maria FULLANA. "Relaxation de capsules sous écoulement dans un tube". In Écoulements biologiques dans les grands vaisseaux, 209–29. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9065.ch8.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

La déformation et la relaxation d'une capsule dans un écoulement confiné sont étudiées au moyen d'un solveur de Navier-Stokes, couplé avec les équations de la membrane par une méthode de frontière immergée (IMB). Ce couplage fluide-structure donne accès à l'évolution temporelle de la forme de la capsule au travers d'un élargissement, puis à la relaxation de celle-ci.

DUPUTEL, Zacharie. "Phase co-sismique : imagerie de la rupture sismique". In Le cycle sismique, 77–118. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9038.ch2.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Ce chapitre se focalise sur les méthodes permettant de déterminer l’évolution spatiale et temporelle du glissement lors des séismes. On exposera les données utilisées, le problème direct et les méthodes inverses permettant de remonter à un modèle de source à partir de données de surface.

OLIVERO, Jesús. "Biogéographie des maladies". In La biogéographie, 299–325. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9060.ch11.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Les analyses à haute résolution de la dynamique spatio-temporelle des maladies zoonotiques sont actuellement abordées, à l'échelle mondiale, par l'application de méthodes biogéographiques et de concepts théoriques. Ces études sont utiles pour identifier les processus d'émergence, de dispersion et d'établissement des maladies infectieuses, pour améliorer les stratégies de surveillance des maladies et pour concevoir des systèmes d'alerte précoce ayant des bases géographiques significatives.

BOUNTZIS, Polyzois, Eleftheria PAPADIMITRIOU e George TSAKLIDIS. "Processus d’arrivée markoviens pour l’analyse du regroupement des tremblements de terre". In Méthodes et modèles statistiques pour la sismogenèse, 253–83. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9037.ch9.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Ce chapitre montre que l’évolution temporelle des groupes de séismes identifiés est cohérente avec celles obtenues par des études antérieures de séquences sismiques sélectionnées, et que les états cachés des taux de sismicité les plus élevés sont principalement associés à des séquences AM et de type essaim.

"Chapitre 3 Régression linéaire par la méthode des moindres carrés". In Séries temporelles avec R, 39–58. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-1994-2-006.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

"Chapitre 3 Régression linéaire par la méthode des moindres carrés". In Séries temporelles avec R, 39–58. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-1994-2.c006.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

GRASLAND, Claude. "Exploration, agrégation et visualisation spatiotemporelle de données massives". In Traitements et cartographie de l’information géographique, 273–302. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9161.ch8.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Les méthodes d’exploration, agrégation et visualisation spatio-temporelles des données massives ont élargi le champ d’application de la cartographie et de l’analyse spatiale. Les nouvelles internationales publiées par les grands journaux de presse quotidienne de quatre pays d’Europe de l’Ouest (France, Allemagne, Espagne, Royaume-Uni) entre 2014 et 2019 constituent un bon exemple des nouvelles pistes dans ce domaine.

KARBOU, Fatima, Guillaume JAMES, Philippe DURAND e Abdourrahmane M. ATTO. "Seuils et distances pour la détection de neige avec les séries d’images Sentinel-1". In Détection de changements et analyse des séries temporelles d’images 1, 139–58. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9056.ch5.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Dans ce chapitre, nous abordons l'estimation de l'étendue de la neige humide à l'aide de la méthode de seuillage de rétrodiffusion de Nagler. Nous examinons également certaines autres options intéressantes pour améliorer la détection de neige humide en explorant l'utilisation de métriques de similarité (comme le rapport de corrélation croisée normalisée, la distance de Hausdorff et certaines autres fonctions de distance d'images plus raffinées). Plusieurs distances sont calculées et testées sur une base de données de séries chronologiques d'images Sentinel-1 SAR de différentes tailles au-dessus des Alpes françaises. Le métriques résultantes sont évoquées et comparées à la méthode de Nagler, ainsi qu'à des données indépendantes.

GOUHIER, Mathieu. "Surveillance des volcans par télédétection spatiale". In Aléas et surveillance de l’activité volcanique 2, 177–226. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9045.ch3.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Depuis les années 1980, l’avènement des techniques de télédétection spatiales a permis une amélioration notable de la détection et du suivi des éruptions volcaniques. C'est un domaine en fort évolution, avec le développement de nouveaux capteurs et l'amélioration des résolutions spectrales et spatiales ainsi que temporelles. On utilise soit des capteurs passifs (visible, UV et IR), soit des capteurs actifs (radar, lidar). On surveille les anomalies thermiques, les écoulements, les panaches de cendres et certains gaz. Ce chapitre décrit à la fois les principes des méthodes et leurs applications à la surveillance opérationnelle.

ATTO, Abdourrahmane M., Aluísio PINHEIRO, Guillaume GINOLHAC e Pedro MORETTIN. "Analyse d’ordre fractionnaire et prédiction de trajectoire de cyclones". In Détection de changements et analyse des séries temporelles d’images 1, 159–82. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9056.ch6.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Abstract (sommario):

Les contributions apportées dans le chapitre sont les suivantes. Premièrement, nous proposons un modèle statistique associé à un champ aléatoire rose fractionnaire afin de caractériser le mur de l'oeil du cyclone et la rugosité de l'oeil (modélisation de texture). Deuxièmement, nous proposons une méthode d'estimation du paramètre de ce modèle de champ fractionnaire rose et de détection de la position spatiale de l'oeil du cyclone. La détection de l'oeil est effectuée par trame d'image, en recherchant la région présentant le plus petit paramètre fractal sous la contrainte que cette region soit entouré par des régions associées à des paramètres d'intensité fractale maximum (mur de l'oeil). Un suivi de l'oeil est aussi proposé sur la base de la méthode de détection de l'oeil, en se focalisant sur une recherche de fenêtre plus serrée et en détectant la position future de l'oeil. Nous construisons une suite chronologique de paramètres associés à chaque position spatiale géoréférencée et décrivons cette suite comme un processus autorégressif à moyenne mobile et intégration fractionnaire (ARFIMA). Le modèle ARFIMA capture les variations statistiques tant à long terme qu'à court terme du processus aléatoire d'intensité fractale du cyclone. L'ouragan Isaac est utilisé comme étude de cas.