Literatura científica selecionada sobre o tema "Méthodes récursives"

Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos

Selecione um tipo de fonte:

Consulte a lista de atuais artigos, livros, teses, anais de congressos e outras fontes científicas relevantes para o tema "Méthodes récursives".

Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.

Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.

Artigos de revistas sobre o assunto "Méthodes récursives"

1

Katona, Dániel. "The Pósa method with ATD lenses: Praxeological analysis on math problems in Hungarian talent care education with ‘recursion’ in their logos blocksLa méthode Pósa avec des lentilles TAD: analyse praxéologique des problèmes mathématiques dans l’enseignement hongrois de soins aux talents avec «récursion» dans leurs blocs de logos". Educação Matemática Pesquisa : Revista do Programa de Estudos Pós-Graduados em Educação Matemática 22, n.º 4 (15 de setembro de 2020): 259–81. http://dx.doi.org/10.23925/1983-3156.2020v22i4p259-281.

Texto completo da fonte
Resumo:
Abstract.The praxeological analysis of selected questions used in the Hungarian Pósa method is presented, focusing on a common element in their logos blocks, called recursive thinking. As part of a broader research with reverse didactic engineering methodology, aiming at theorizing the ‘intuitively’ developed Pósa method, the present findings are also compared to previous results and re-interpret the concepts of kernel and web of problem thread. Based on these results gained by using tools of the Anthropological Theory of the Didactic, the paper offers a partial description of the didactic strategy of the Pósa method for inquiry-based learning mathematics and raises questions for further research.RésuméNous présentons l'analyse praxéologique de certaines questions utilisées dans la méthode hongroise Pósa, en nous concentrant sur un élément commun à leurs logos blocs, appelé pensée récursive. Dans le cadre d’une recherche plus large qui met en place une méthodologie d’ingénierie didactique inverse visant à théoriser la méthode de Pósa développée "intuitivement", les résultats actuels réinterprètent les concepts de noyau et de réseau de fils de problèmes. Sur la base des résultats obtenus en utilisant les outils de la théorie anthropologique du didactique, l'article offre une description partielle de la stratégie didactique de la méthode Pósa pour l'apprentissage des mathématiques basé sur l'enquête, et soulève des questions pour des recherches ultérieures.
Estilos ABNT, Harvard, Vancouver, APA, etc.
2

Courrèges, J. P., J. Brett, N. Khutoryansky e V. Aroda. "Identification des facteurs prédictifs de la réponse au liraglutide dans le diabète de type 2 en utilisant une méthode d’analyse de partition récursive". Annales d'Endocrinologie 74, n.º 4 (setembro de 2013): 392. http://dx.doi.org/10.1016/j.ando.2013.07.537.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
3

Courrèges, J. P., R. Ratner, J. Brett, N. Khutoryansky e V. R. Aroda. "PO3 Identification des facteurs prédictifs de la réponse au liraglutide dans le diabète de type 2 en utilisant une méthode d’analyse de partition récursive". Diabetes & Metabolism 39 (março de 2013): A21. http://dx.doi.org/10.1016/s1262-3636(13)71699-9.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
4

Michinel Rondón, Emil Amarilys. "Los imaginarios tecnológicos de los nativos digitales". GACETA DE PEDAGOGÍA, n.º 37 (1 de dezembro de 2018): 76–102. http://dx.doi.org/10.56219/rgp.vi37.727.

Texto completo da fonte
Resumo:
El presente artículo reporta los imaginarios de los nativos digitales, partiendo de sus prácticas cotidianas vinculadas al uso de la tecnología. Esta investigación se enmarcó en un enfoque cualitativo, bajo el método etnográfico virtual. Se recolectó información a través de la observación participativa, entrevistas y grupos focales conformados por estudiantes entre 12 y 17 años de edad. Los testimonios obtenidos fueron consolidados mediante la saturación discursiva y la verificación recursiva, como una manera de garantizar la veracidad del estudio, así como la interpretación de la situación emergente. Una vez codificada la información afloró un cuerpo de cuatro categorías clave que permitieron la comprensión de la realidad. La investigadora considera que los nativos digitales exteriorizan en sus creencias, valoraciones, significaciones y sentimientos, que “todo” se soluciona con la tecnología. ABSTRACT This article reports the imaginary of digital natives, based on their daily practices linked to the use of technology. This research was framed in a qualitative approach, under the virtual ethnographic method. Information was collected through participatory observation, interviews and focus groups made up of students between 12 and 17 years of age. The testimonies obtained were consolidated through discursive saturation and recursive verification, as a way to guarantee the veracity of the study, as well as the interpretation of the emerging situation. Once the information was encoded, a body of four key categories emerged that allowed the understanding of reality. The researcher believes that digital natives externalize their beliefs, values, meanings and feelings, that "everything" is solved with technology. Key word: Imaginaries, technology, natives, subjectivity. RÉSUMÉ Cet article présente l'imaginaire des natifs numériques, basé sur leurs pratiques quotidiennes liées à l'utilisation de la technologie. Cette recherche a été encadrée dans une approche qualitative, sous la méthode ethnographique virtuelle. Les informations ont été collectées par le biais d'observations participatives, d'entretiens et de groupes de discussion composés d'étudiants âgés de 12 à 17 ans. Les témoignages obtenus ont été consolidés par saturation discursive et vérification récursive, afin de garantir la véracité de l'étude et l'interprétation de la situation émergente. Une fois l’information codée, un ensemble de quatre catégories clés a permis de comprendre la réalité. Le chercheur pense que les natifs numériques extériorisent leurs croyances, leurs valeurs, leurs significations et leurs sentiments, que "tout" est résolu avec la technologie. Mots-clés: imaginaires, technologie, natifs, subjectivité.
Estilos ABNT, Harvard, Vancouver, APA, etc.
5

Mraoui, Hamid, e Driss Sbibih. "Hermite spline interpolents ― New methods for constructing and compressing Hermite interpolants". Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées Volume 5, Special Issue TAM... (18 de novembro de 2006). http://dx.doi.org/10.46298/arima.1871.

Texto completo da fonte
Resumo:
International audience In this paper, we present a quite simple recursive method for the construction of classical tensor product Hermite spline interpolant of a function defined on a rectangular domain. We show that this function can be written under a recursive form and a sum of particular splines that have interesting properties. As application of this method, we give an algorithm which allows to compress Hermite data. In order to illustrate our results, some numerical examples are presented. Dans ce travail, nous présentons une méthode simple permettant de construire le produit tensoriel des interpolants splines d'Hermite d'une fonction définie sur un domaine rectangulaire. Nous montrons que cette fonction peut être décrite de manière récursive sous la forme d'une somme de fonctions splines qui vérifiant des propriétés intéressantes. Comme application de cette décomposition, nous décrivons un algorithme qui permet de compresser des données d'Hermite. Pour illustrer nos résultats théoriques, nous donnons quelques exemples numériques.
Estilos ABNT, Harvard, Vancouver, APA, etc.
6

Bernardi, Olivier, e Eric Fusy. "A unified bijective method for maps: application to two classes with boundaries". Discrete Mathematics & Theoretical Computer Science DMTCS Proceedings vol. AN,..., Proceedings (1 de janeiro de 2010). http://dx.doi.org/10.46298/dmtcs.2869.

Texto completo da fonte
Resumo:
International audience Based on a construction of the first author, we present a general bijection between certain decorated plane trees and certain orientations of planar maps with no counterclockwise circuit. Many natural classes of maps (e.g. Eulerian maps, simple triangulations,...) are in bijection with a subset of these orientations, and our construction restricts in a simple way on the subset. This gives a general bijective strategy for classes of maps. As a non-trivial application of our method we give the first bijective proofs for counting (rooted) simple triangulations and quadrangulations with a boundary of arbitrary size, recovering enumeration results found by Brown using Tutte's recursive method. En nous appuyant sur une construction du premier auteur, nous donnons une bijection générale entre certains arbres décorés et certaines orientations de cartes planaires sans cycle direct. De nombreuses classes de cartes (par exemple les eulériennes, les triangulations) sont en bijection avec un sous-ensemble de ces orientations, et notre construction se spécialise de manière simple sur le sous-ensemble. Cela donne un cadre bijectif général pour traiter les familles de cartes. Comme application non-triviale de notre méthode nous donnons les premières preuves bijectives pour l'énumération des triangulations et quadrangulations simples (enracinées) ayant un bord de taille arbitraire, et retrouvons ainsi des formules de comptage trouvées par Brown en utilisant la méthode récursive de Tutte.
Estilos ABNT, Harvard, Vancouver, APA, etc.
7

Jones, Miles Eli, e Jeffrey Remmel. "A reciprocity approach to computing generating functions for permutations with no pattern matches". Discrete Mathematics & Theoretical Computer Science DMTCS Proceedings vol. AO,..., Proceedings (1 de janeiro de 2011). http://dx.doi.org/10.46298/dmtcs.2933.

Texto completo da fonte
Resumo:
International audience In this paper, we develop a new method to compute generating functions of the form $NM_τ (t,x,y) = \sum\limits_{n ≥0} {\frac{t^n} {n!}}∑_{σ ∈\mathcal{lNM_{n}(τ )}} x^{LRMin(σ)} y^{1+des(σ )}$ where $τ$ is a permutation that starts with $1, \mathcal{NM_n}(τ )$ is the set of permutations in the symmetric group $S_n$ with no $τ$ -matches, and for any permutation $σ ∈S_n$, $LRMin(σ )$ is the number of left-to-right minima of $σ$ and $des(σ )$ is the number of descents of $σ$ . Our method does not compute $NM_τ (t,x,y)$ directly, but assumes that $NM_τ (t,x,y) = \frac{1}{/ (U_τ (t,y))^x}$ where $U_τ (t,y) = \sum_{n ≥0} U_τ ,n(y) \frac{t^n}{ n!}$ so that $U_τ (t,y) = \frac{1}{ NM_τ (t,1,y)}$. We then use the so-called homomorphism method and the combinatorial interpretation of $NM_τ (t,1,y)$ to develop recursions for the coefficient of $U_τ (t,y)$. Dans cet article, nous développons une nouvelle méthode pour calculer les fonctions génératrices de la forme $NM_τ (t,x,y) = \sum\limits_{n ≥0} {\frac{t^n} {n!}}∑_{σ ∈\mathcal{lNM_{n}(τ )}} x^{LRMin(σ)} y^{1+des(σ )}$ où τ est une permutation, $\mathcal{NM_n}(τ )$ est l'ensemble des permutations dans le groupe symétrique $S_n$ sans $τ$-matches, et pour toute permutation $σ ∈S_n$, $LRMin(σ )$ est le nombre de minima de gauche à droite de $σ$ et $des(σ )$ est le nombre de descentes de $σ$ . Notre méthode ne calcule pas $NM_τ (t,x,y)$ directement, mais suppose que $NM_τ (t,x,y) = \frac{1}{/ (U_τ (t,y))^x}$ où $U_τ (t,y) = \sum_{n ≥0} U_τ ,n(y) \frac{t^n}{ n!}$ de sorte que $U_τ (t,y) = \frac{1}{ NM_τ (t,1,y)}$. Nous utilisons ensuite la méthode dite "de l'homomorphisme'' et l'interprétation combinatoire de $NM_τ (t,1,y)$ pour développer des récursions sur le coefficient de $U_τ (t,y)$.
Estilos ABNT, Harvard, Vancouver, APA, etc.
8

"COL5-02 Score Diagnostique De Méningite Aiguë Infectieuse : Utilisation Des Méthodes De Partition Récursive (Cart) Et De Monte-Carlo Et Comparaison À 5 Scores". Médecine et Maladies Infectieuses 35 (junho de 2005): S146. http://dx.doi.org/10.1016/s0399-077x(05)81480-5.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
9

Kitaev, Sergey, Jeffrey Liese, Jeffrey Remmel e Bruce Sagan. "Rationality, irrationality, and Wilf equivalence in generalized factor order". Discrete Mathematics & Theoretical Computer Science DMTCS Proceedings vol. AK,..., Proceedings (1 de janeiro de 2009). http://dx.doi.org/10.46298/dmtcs.2688.

Texto completo da fonte
Resumo:
International audience Let $P$ be a partially ordered set and consider the free monoid $P^{\ast}$ of all words over $P$. If $w,w' \in P^{\ast}$ then $w'$ is a factor of $w$ if there are words $u,v$ with $w=uw'v$. Define generalized factor order on $P^{\ast}$ by letting $u \leq w$ if there is a factor $w'$ of $w$ having the same length as $u$ such that $u \leq w'$, where the comparison of $u$ and $w'$ is done componentwise using the partial order in $P$. One obtains ordinary factor order by insisting that $u=w'$ or, equivalently, by taking $P$ to be an antichain. Given $u \in P^{\ast}$, we prove that the language $\mathcal{F}(u)=\{w : w \geq u\}$ is accepted by a finite state automaton. If $P$ is finite then it follows that the generating function $F(u)=\sum_{w \geq u} w$ is rational. This is an analogue of a theorem of Björner and Sagan for generalized subword order. We also consider $P=\mathbb{P}$, the positive integers with the usual total order, so that $\mathbb{P}^{\ast}$ is the set of compositions. In this case one obtains a weight generating function $F(u;t,x)$ by substituting $tx^n$ each time $n \in \mathbb{P}$ appears in $F(u)$. We show that this generating function is also rational by using the transfer-matrix method. Words $u,v$ are said to be Wilf equivalent if $F(u;t,x)=F(v;t,x)$ and we can prove various Wilf equivalences combinatorially. Björner found a recursive formula for the Möbius function of ordinary factor order on $P^{\ast}$. It follows that one always has $\mu (u,w)=0, \pm 1$. Using the Pumping Lemma we show that the generating function $M(u)= \sum_{w \geq u} | \mu (u,w) | w$ can be irrational. Soit $P$ un ensemble partiellement ordonné. Nous considérons le monoïde libre $P^{\ast}$ de tous les mots utilisant $P$ comme alphabet. Si $w,w' \in P^{\ast}$, on dit que $w'$ est un facteur de $w$ s'il y a des mots $u,v$ avec $w=uw'v$. Nous définissons l'ordre facteur généralisé sur $P^{\ast}$ par: $u \leq w$ s'il y a un facteur $w'$ de $w$ ayant la même longueur que $u$ tel que $u \leq w'$, où la comparaison de $u$ avec $w'$ est faite lettre par lettre utilisant l'ordre en $P$. On obtient l'ordre facteur usuel si on insiste que $u=w'$ ou, ce qui est la même chose, en prenant $P$ comme antichaîne. Pour n'importe quel $u \in P^{\ast}$, nous démontrons que le langage $\mathcal{F}(u)=\{w : w \geq u\}$ est accepté par un automaton avec un nombre fini d'états. Si $P$ est fini, ça implique que la fonction génératrice $F(u)=\sum_{w \geq u} w$ est rationnelle. Björner et Sagan ont démontré le théorème analogue pour l'ordre où, en la définition au-dessus, $w'$ est un sous-mot de $w$. Nous considérons aussi le cas $P=\mathbb{P}$, les entiers positifs avec l'ordre usuel, donc $P^{\ast}$ est l'ensemble des compositions. En ce cas on obtient une fonction génératrice pondéré $F(u;t,x)$ en remplaçant $tx^n$ chaque fois on trouve $n \in \mathbb{P}$ en $F(u)$. Nous démontrons que cette fonction génératrice est aussi rationnelle en utilisant la Méthode Matrice de Tranfert. On dit que let mots $u,v$ sont Wilf-équivalents si $F(u;t,x)=F(v;t,x)$. Nous pouvons démontré quelques équivalences dans une manière combinatoire. Björner a trouvé une formule récursive pour la fonction Möbius de l'ordre facteur usuel sur $P^{\ast}$. Cette formule implique qu'on a toujours $\mu (u,w)=0, \pm 1$. En utilisant le Lemme de Pompage, nous démontrons que la fonction génératrice $M(u)= \sum_{w \geq u} | \mu (u,w) | w$ peut être irrationnelle.
Estilos ABNT, Harvard, Vancouver, APA, etc.

Teses / dissertações sobre o assunto "Méthodes récursives"

1

Nespoulous, Eric. "Méthodes de détection et d'exploitation des propriétés de symétries sur les CSP entiers". Dijon, 1999. http://www.theses.fr/1999DIJOS052.

Texto completo da fonte
Resumo:
La résolution de problèmes en programmation par contraintes s'appuie généralement sur des techniques d'énumération et de test des valeurs des variables du problème. Ces techniques d'énumération, couplées avec des algorithmes de filtrage et de retour arrière, permettent de limiter de manière très significative l'arbre de recherche associé au problème. En complément de ces mécanismes, l'exploitation des propriétés de symétries, inhérentes à différentes classes de problèmes, permet d'accroitre la réduction des portions de l'arbre de recherche qui devront être explorées. Nous proposons ici une méthode originale de détection récursive de symétries pour les CSP entiers, basée sur une agrégation des propriétés de symétries intrinsèques à leurs différentes contraintes. Les symétries détectées s'appliquent à des ensembles de variables et des ensembles de valeurs appartenant aux domaines de ces variables, de telle sorte que toute permutation appliquée à ces ensembles respectifs ne change pas le statut d'une instanciation : solution ou non-solution. De manière à recueillir les informations nécessaires a l'identification des propriétés de symétrie, nous proposons une interface de programmation appropriée. Pour ce qui concerne l'exploitation des symétries, nous utilisons une extension aux domaines des CSP entiers de la méthode présentée dans [Chabrier97]. Cette méthode consiste à générer une seule instanciation par classe de symétrie pour les variables symétriques. Nous proposons ensuite un prototype mettant en œuvre les différents concepts et méthodes présentes ; prototype qui a été conçu comme une extension syntaxique et fonctionnelle de l'environnement de programmation par contraintes ILOG Solver. La réalisation de ce prototype nous a permis de valider, en termes de faisabilité technique et de résultats, les différentes méthodes de traitement des symétries proposées.
Estilos ABNT, Harvard, Vancouver, APA, etc.
2

Riondet, Philippe. "Optimisation de la résolution des équations de dispersion : application au calcul des discontinuités". Toulouse, ENSAE, 1997. http://www.theses.fr/1997ESAE0024.

Texto completo da fonte
Resumo:
Ce travail traite de la mise en oeuvre d'une nouvelle méthode pour la résolution des problèmes homogènes dépendant d'un paramètre. Ceci se traduit par un algorithme récursif numériquement efficace et fiable dont l'initialisation se fait à partir des seules données géométriques de la structure. L'utilisation d'une telle méthode assure la recherche exhaustive des solutions avec un temps de calcul extrèmement réduit. La systématisation de l'analyse et le choix de la formulation intégrale associés à la méthode récursive permettent de réaliser en temps réel une caractérisation exacte des lignes planaires usuelles sur micro-ordinateur. L'introduction de la représentation en T des conditions aux limites sur la couche conductrice permet de rendre compte de l'influence des épaisseurs de métallisation, de métallisations multiples ou de couches supraconductrices dans les simulations. Enfin, le calcul d'une discontinuité suppose l'analyse modale des guides de part et d'autre du plan de discontinuité. Un examen attentif fait apparaître que seuls certains modes ont une influence significative sur la convergence des paramètres de diffraction. La recherche de leur nature permet de procéder à une sélection a priori et systématique de ces modes et de s'affranchir ainsi du calcul du spectre complet.
Estilos ABNT, Harvard, Vancouver, APA, etc.
3

Lu, Wei. "Μéthοdes stοchastiques du secοnd οrdre pοur le traitement séquentiel de dοnnées massives". Electronic Thesis or Diss., Normandie, 2024. http://www.theses.fr/2024NORMIR13.

Texto completo da fonte
Resumo:
Avec le développement rapide des technologies et l'acquisition de données de plus en plus massives, les méthodes capables de traiter les données de manière séquentielle (en ligne) sont devenues indispensables. Parmi ces méthodes, les algorithmes de gradient stochastique se sont imposés pour estimer le minimiseur d'une fonction exprimée comme l'espérance d'une fonction aléatoire. Bien qu'ils soient devenus incontournables, ces algorithmes rencontrent des difficultés lorsque le problème est mal conditionné. Dans cette thèse, nous nous intéressons sur les algorithmes stochastiques du second ordre, tels que ceux de type Newton, et leurs applications à diverses problématiques statistiques et d'optimisation. Après avoir établi des bases théoriques et exposé les motivations qui nous amènent à explorer les algorithmes de Newton stochastiques, nous développons les différentes contributions de cette thèse. La première contribution concerne l'étude et le développement d'algorithmes de Newton stochastiques pour la régression linéaire ridge et la régression logistique ridge. Ces algorithmes sont basés sur la formule de Riccati (Sherman-Morrison) pour estimer récursivement l'inverse de la Hessienne. Comme l'acquisition de données massives s'accompagne généralement d'une contamination de ces dernières, on s'intéresse, dans une deuxième contribution, à l'estimation en ligne de la médiane géométrique, qui est un indicateur robuste, i.e. peu sensible à la présence de données atypiques. Plus précisément, nous proposons un nouvel estimateur de Newton stochastique pour estimer la médiane géométrique. Dans les deux premières contributions, les estimateurs des inverses de Hessienne sont construits à l'aide de la formule de Riccati, mais cela n'est possible que pour certaines fonctions. Ainsi, notre troisième contribution introduit une nouvelle méthode de type Robbins-Monro pour l'estimation en ligne de l'inverse de la Hessienne, nous permettant ensuite de développer des algorithmes de Newton stochastiques dits universels. Enfin, notre dernière contribution se focalise sur des algorithmes de type Full Adagrad, où la difficulté réside dans le fait que l'on a un pas adaptatif basé sur la racine carré de l'inverse de la variance du gradient. On propose donc un algorithme de type Robbins-Monro pour estimer cette matrice, nous permettant ainsi de proposer une approche récursive pour Full AdaGrad et sa version streaming, avec des coûts de calcul réduits. Pour tous les nouveaux estimateurs que nous proposons, nous établissons leurs vitesses de convergence ainsi que leur efficacité asymptotique. De plus, nous illustrons l'efficacité de ces algorithmes à l'aide de simulations numériques et en les appliquant à des données réelles
With the rapid development of technologies and the acquisition of big data, methods capable of processing data sequentially (online) have become indispensable. Among these methods, stochastic gradient algorithms have been established for estimating the minimizer of a function expressed as the expectation of a random function. Although they have become essential, these algorithms encounter difficulties when the problem is ill-conditioned. In this thesis, we focus on second-order stochastic algorithms, such as those of the Newton type, and their applications to various statistical and optimization problems. After establishing theoretical foundations and exposing the motivations that lead us to explore stochastic Newton algorithms, we develop the various contributions of this thesis. The first contribution concerns the study and development of stochastic Newton algorithms for ridge linear regression and ridge logistic regression. These algorithms are based on the Riccati formula (Sherman-Morrison) to recursively estimate the inverse of the Hessian. As the acquisition of big data is generally accompanied by a contamination of the latter, in a second contribution, we focus on the online estimation of the geometric median, which is a robust indicator, i.e., not very sensitive to the presence of atypical data. More specifically, we propose a new stochastic Newton estimator to estimate the geometric median. In the first two contributions, the estimators of the Hessians' inverses are constructed using the Riccati formula, but this is only possible for certain functions. Thus, our third contribution introduces a new Robbins-Monro type method for online estimation of the Hessian's inverse, allowing us then to develop universal stochastic Newton algorithms. Finally, our last contribution focuses on Full Adagrad type algorithms, where the difficulty lies in the fact that there is an adaptive step based on the square root of the inverse of the gradient's covariance. We thus propose a Robbins-Monro type algorithm to estimate this matrix, allowing us to propose a recursive approach for Full AdaGrad and its streaming version, with reduced computational costs. For all the new estimators we propose, we establish their convergence rates as well as their asymptotic efficiency. Moreover, we illustrate the efficiency of these algorithms using numerical simulations and by applying them to real data
Estilos ABNT, Harvard, Vancouver, APA, etc.
4

Kouchnarenko, Olga. "Sémantique des programmes récursifs-parallèles et méthodes pour leur analyse". Phd thesis, Université Joseph Fourier (Grenoble), 1997. http://tel.archives-ouvertes.fr/tel-00004949.

Texto completo da fonte
Resumo:
Cette thèse s'inscrit dans le cadre des travaux consacrés au développement des modèles sémantiques destinés aux langages de programmation concurrents. Une particularité de notre étude réside dans la considération explicite d'une récursivité au niveau des programmes parallèles. Pour ces programmes nous proposons une sémantique originale, dont nous étudions en détail les propriétés. Bien que le modèle proposé ne soit pas d'états finis, il est possible de le munir d'une structure de systèmes de transitions bien structurés au sens de Finkel ce qui établit la décidabilité de nombreux problèmes de vérification. Cette sémantique à la Plotkin permet de mieux comprendre le comportement des programmes récursifs-parallèles, d'analyser formellement certaines de leurs propriétés, de décrire la stratégie d'implémentation et d'énoncer en quel sens elle est correcte.
Estilos ABNT, Harvard, Vancouver, APA, etc.
5

Mercère, Guillaume. "Contribution à l'identification récursive des systèmes par l'approche des sous-espaces". Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2004. http://tel.archives-ouvertes.fr/tel-00007958.

Texto completo da fonte
Resumo:
Le travail présenté dans ce mémoire concerne l'étude et le développement de méthodes d'identification récursive. Le chapitre 2 présente une synthèse des principaux algorithmes adaptatifs classiques fondés sur les moindres carrés. Les difficultés rencontrées lors de l'utilisation de telles approches dans certaines situations pratiques motivent la création de techniques récursives employant la forme d'état. Ce type de représentation a démontré son efficacité en identification grâce à l'émergence des méthodes hors ligne des sous-espaces. Ainsi, le chapitre 3 propose une description des algorithmes MOESP. Ces derniers sont en effet considérés comme le point de départ des techniques récursives des sous-espaces. Bien que robuste, la décomposition en valeurs singulières (DVS) employée par ces méthodes les rend inapplicables en ligne de par sa charge calculatoire. Le chapitre 4 est dédié à un état de l'art des algorithmes récursifs des sous-espaces énoncés jusqu'en 2003. Ces méthodes ont en commun d'adapter un critère particulier de traitement d'antennes conduisant à des techniques alternatives à la DVS. Une description de ces algorithmes dans un contexte unifié est plus précisément présentée. Ces techniques présentent néanmoins un certain nombre de limitations principalement liées à la fonction coût utilisée. Afin de remédier à ces inconvénients, nous développons, au sein du chapitre 5, de nouvelles méthodes récursives des sous-espaces. L'approche proposée consiste à adapter un opérateur particulier du traitement d'antennes jusqu'alors inexploité en identification : le propagateur. L'ajustement de ce dernier au problème d'identification récursive permet d'obtenir des critères quadratiques sans approximation et sans contrainte. Le problème des perturbations est traité en introduisant une variable instrumentale. L'étude expérimentale sur des données réelles et simulées est réalisée dans le chapitre 6.
Estilos ABNT, Harvard, Vancouver, APA, etc.
6

Ambellouis, Sébastien. "Analyse du mouvement dans les séquences d'images par une méthode récursive de filtrage spatio-temporel sélectif". Lille 1, 2000. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2000/50376-2000-77-78.pdf.

Texto completo da fonte
Resumo:
Dans cette these, nous presentons la forme generale d'un filtre recursif oriente vitesse dont les parametres permettent de regler sa selectivite vis-a-vis d'une vitesse donnee. Une architecture de filtrage, composee d'un ensemble de filtres orientes pour un ensemble de vitesses donnees, est appliquee a une sequence d'images. L'analyse des reponses de chaque filtre nous permet de definir le champ des vitesses apparentes de la sequence. Dans un premier temps, en rapprochant les methodes d'estimation du mouvement qui exploitent le principe de correlation et la structure biologique du systeme visuel animal, nous decrivons la structure non recursive d'un filtre selectif. Nous validons de maniere theorique la propriete de selectivite du filtre en etudiant la transformee de fourier de son expression mathematique. Afin de reduire le nombre d'operations elementaires necessaires au calcul de la reponse d'un filtre, nous modifions la definition precedente afin d'aboutir a une formulation recursive. Nous implantons une architecture de filtrage fonde sur une structure particuliere des filtres recursifs. Nous precisons les demarches a suivre pour concevoir un banc de filtres qui nous permette de rechercher un ensemble fini de vitesses. Nous appliquons la methode sur plusieurs sequences d'images de synthese dont certains champs des vitesses apparentes presentent des discontinuites.
Estilos ABNT, Harvard, Vancouver, APA, etc.
7

Padilla, Arturo. "Identification récursive de systèmes continus à paramètres variables dans le temps". Electronic Thesis or Diss., Université de Lorraine, 2017. http://www.theses.fr/2017LORR0119.

Texto completo da fonte
Resumo:
Les travaux présentés dans ce mémoire traitent de l'identification des systèmes dynamiques représentés sous la forme de modèles linéaires continus à paramètres variant lentement au cours du temps. La complexité du problème d'identification provient d'une part du caractère inconnu de la loi de variation des paramètres et d'autre part de la présence de bruits de nature inconnue sur les signaux mesurés. Les solutions proposées s'appuient sur une combinaison judicieuse du filtre de Kalman en supposant que les variations des paramètres peuvent être représentées sous la forme d'une marche aléatoire et de la méthode de la variable instrumentale qui présente l'avantage d'être robuste vis à vis de la nature des bruits de mesure. Les algorithmes de type récursif sont développés dans un contexte d'identification en boucle ouverte et en boucle fermée. Les différentes variantes se distinguent par la manière dont est construit la variable instrumentale. Inspirée de la solution développée pour les systèmes linéaires à temps invariant, une construction adaptative de la variable instrumentale est suggérée pour pouvoir suivre au mieux l'évolution des paramètres. Les performances des méthodes développées sont évaluées à l'aide de simulations de Monte Carlo et montrent la suprématie des solutions proposées s'appuyant sur la variable instrumentale par rapport celles plus classiques des moindres carrés récursifs. Les aspects pratiques et d'implantation numérique sont d'une importance capitale pour obtenir de bonnes performances lorsque ces estimateurs sont embarqués. Ces aspects sont étudiés en détails et plusieurs solutions sont proposées non seulement pour robustifier les estimateurs vis à vis du choix des hyper-paramètres mais également vis à vis de leur implantation numérique. Les algorithmes développés sont venus enrichir les fonctions de la boîte à outils CONTSID pour Matlab. Enfin, les estimateurs développés sont exploités pour faire le suivi de paramètres de deux systèmes physiques : un benchmark disponible dans la littérature constitué d'un filtre électronique passe-bande et une vanne papillon équipant les moteurs de voiture. Les deux applications montrent le potentiel des approches proposées pour faire le suivi de paramètres physiques variant lentement dans le temps
The work presented in this thesis deals with the identification of dynamic systems represented through continuous-time linear models with slowly time-varying parameters. The complexity of the identification problem comes on the one hand from the unknown character of the parameter variations and on the other hand from the presence of noises of unknown nature on the measured signals. The proposed solutions rely on a judicious combination of the Kalman filter assuming that the variations of the parameters can be represented in the form of a random walk, and the method of the instrumental variable which has the advantage of being robust with respect to the nature of the measurement noises. The recursive algorithms are developed in an open-loop and closed-loop identification setting. The different variants are distinguished by the way in which the instrumental variable is built. Inspired by the solution developed for time-invariant linear systems, an adaptive construction of the instrumental variable is suggested in order to be able to follow the evolution of the parameters as well as possible. The performance of the developed methods are evaluated using Monte Carlo simulations and show the supremacy of the proposed solutions based on the instrumental variable compared with the more classical least squares based approaches. The practical aspects and implementation issues are of paramount importance to obtain a good performance when these estimators are used. These aspects are studied in detail and several solutions are proposed not only to robustify the estimators with respect to the choice of hyperparameters but also with respect to their numerical implementation. The algorithms developed have enhanced the functions of the CONTSID toolbox for Matlab. Finally, the developed estimators are considered in order to track parameters of two physical systems: a benchmark available in the literature consisting of a bandpass electronic filter and a throttle valve equipping the car engines. Both applications show the potential of the proposed approaches to track physical parameters that vary slowly over time
Estilos ABNT, Harvard, Vancouver, APA, etc.
8

Padilla, Arturo. "Identification récursive de systèmes continus à paramètres variables dans le temps". Thesis, Université de Lorraine, 2017. http://www.theses.fr/2017LORR0119/document.

Texto completo da fonte
Resumo:
Les travaux présentés dans ce mémoire traitent de l'identification des systèmes dynamiques représentés sous la forme de modèles linéaires continus à paramètres variant lentement au cours du temps. La complexité du problème d'identification provient d'une part du caractère inconnu de la loi de variation des paramètres et d'autre part de la présence de bruits de nature inconnue sur les signaux mesurés. Les solutions proposées s'appuient sur une combinaison judicieuse du filtre de Kalman en supposant que les variations des paramètres peuvent être représentées sous la forme d'une marche aléatoire et de la méthode de la variable instrumentale qui présente l'avantage d'être robuste vis à vis de la nature des bruits de mesure. Les algorithmes de type récursif sont développés dans un contexte d'identification en boucle ouverte et en boucle fermée. Les différentes variantes se distinguent par la manière dont est construit la variable instrumentale. Inspirée de la solution développée pour les systèmes linéaires à temps invariant, une construction adaptative de la variable instrumentale est suggérée pour pouvoir suivre au mieux l'évolution des paramètres. Les performances des méthodes développées sont évaluées à l'aide de simulations de Monte Carlo et montrent la suprématie des solutions proposées s'appuyant sur la variable instrumentale par rapport celles plus classiques des moindres carrés récursifs. Les aspects pratiques et d'implantation numérique sont d'une importance capitale pour obtenir de bonnes performances lorsque ces estimateurs sont embarqués. Ces aspects sont étudiés en détails et plusieurs solutions sont proposées non seulement pour robustifier les estimateurs vis à vis du choix des hyper-paramètres mais également vis à vis de leur implantation numérique. Les algorithmes développés sont venus enrichir les fonctions de la boîte à outils CONTSID pour Matlab. Enfin, les estimateurs développés sont exploités pour faire le suivi de paramètres de deux systèmes physiques : un benchmark disponible dans la littérature constitué d'un filtre électronique passe-bande et une vanne papillon équipant les moteurs de voiture. Les deux applications montrent le potentiel des approches proposées pour faire le suivi de paramètres physiques variant lentement dans le temps
The work presented in this thesis deals with the identification of dynamic systems represented through continuous-time linear models with slowly time-varying parameters. The complexity of the identification problem comes on the one hand from the unknown character of the parameter variations and on the other hand from the presence of noises of unknown nature on the measured signals. The proposed solutions rely on a judicious combination of the Kalman filter assuming that the variations of the parameters can be represented in the form of a random walk, and the method of the instrumental variable which has the advantage of being robust with respect to the nature of the measurement noises. The recursive algorithms are developed in an open-loop and closed-loop identification setting. The different variants are distinguished by the way in which the instrumental variable is built. Inspired by the solution developed for time-invariant linear systems, an adaptive construction of the instrumental variable is suggested in order to be able to follow the evolution of the parameters as well as possible. The performance of the developed methods are evaluated using Monte Carlo simulations and show the supremacy of the proposed solutions based on the instrumental variable compared with the more classical least squares based approaches. The practical aspects and implementation issues are of paramount importance to obtain a good performance when these estimators are used. These aspects are studied in detail and several solutions are proposed not only to robustify the estimators with respect to the choice of hyperparameters but also with respect to their numerical implementation. The algorithms developed have enhanced the functions of the CONTSID toolbox for Matlab. Finally, the developed estimators are considered in order to track parameters of two physical systems: a benchmark available in the literature consisting of a bandpass electronic filter and a throttle valve equipping the car engines. Both applications show the potential of the proposed approaches to track physical parameters that vary slowly over time
Estilos ABNT, Harvard, Vancouver, APA, etc.
9

Heitz, Thomas. "Une méthode pour le prétraitement des textes : dépendances entre traitements et leur intelligibilité". Paris 11, 2008. http://www.theses.fr/2008PA112074.

Texto completo da fonte
Resumo:
Notre travail se concentre sur les prétraitements dans la chaîne de traitements des textes. C'est-à-dire, lorsque les textes sont bruts, sans annotations initiales telles le type de donnée ou métadonnée, les fins de phrases, ou l'appartenance d'un groupe de mots à une locution. Nous précisons que les métadonnées sont les données qui décrivent les données principales telles l'auteur, le lieu et la date d'un texte. Si ce problème nous intéresse c'est qu'il est fondamental puisque tous les traitements ultérieurs sur le texte nécessitent des prétraitements et dépendent de ceux-ci pour leur qualité. Le fait qu'ils soient si souvent passés sous silence dans les publications alors qu'ils prennent officieusement la moitié voir les trois-quarts du temps total des traitements appliqués aux textes nous a conduit à réfléchir sérieusement sur leurs possibles améliorations. Un premier axe de recherche de ce travail est basé sur les dépendances entre traitements lors de ces prétraitements. Ces dépendances peuvent être récursives ce qui nous amène aussi à aborder des traitements ultérieurs pour illustrer les allers-retours entre traitements. Un second axe de recherche concerne l'intelligibilité des prétraitements. Par exemple, l'utilisateur qui applique un traitement peut-il comprendre pourquoi ce traitement ne fonctionne pas sur un type de texte alors qu'il fonctionnait sur un autre type ?
This work deals with knowledge discovery in texts whose main applications are information retrieval using a search engine, communication filtering using an e-mail client and knowledge management using methods of knowledge engineering. We justify, define, illustrate and evaluate two new complementary extensions for text mining chains intended to save time and improve quality. These extensions apply to all the chain links and take into account the global chain and no more only one link in particular since the field is now sufficiently mature. On the one hand, one can improve the text mining chain while modeling locally and globally the information exchanges which take place. The objective is to optimize the dependencies between the various treatments in order to transmit the results between treatments among which those intractable but not those irretrievable. To reach it, we introduce recursive and mutually recursive dependent treatments. On the other hand, one can improve the text mining chain while taking into account that the majority of data are raw, without initial annotations. The objective is thus to make more controllable the training algorithms at the time of the training. To reach it, we introduce the user guided learning which consists in combining the stages of annotation and training by making coevolve the annotations, the learned model and knowledge from the user
Estilos ABNT, Harvard, Vancouver, APA, etc.
10

Khereddine, Rafik. "Méthode adaptative de contrôle logique et de test de circuits AMS/FR". Phd thesis, Université de Grenoble, 2011. http://tel.archives-ouvertes.fr/tel-00647169.

Texto completo da fonte
Resumo:
Les technologies microélectroniques ainsi que les outils de CAO actuels permettent la conception de plus en plus rapide de circuits et systèmes intégrés très complexes. L'un des plus importants problèmes rencontrés est de gérer la complexité en terme de nombre de transistors présents dans le système à manipuler ainsi qu'en terme de diversité des composants, dans la mesure où les systèmes actuels intègrent, sur un même support de type SiP ou bien SoC, de plus en plus de blocs fonctionnels hétérogènes. Le but de cette thèse est la recherche de nouvelles techniques de test qui mettent à contribution les ressources embarquées pour le test et le contrôle des modules AMS et RF. L'idée principale est de mettre en oeuvre pour ces composantes des méthodes de test et de contrôle suffisamment simples pour que les ressources numériques embarquées puissent permettre leur implémentation à faible coût. Les techniques proposées utilisent des modèles de représentation auto-régressifs qui prennent en comptes les non linéarités spécifiques à ce type de modules. Les paramètres du modèle comportemental du système sont utilisés pour la prédiction des performances du système qui sont nécessaire pour l'élaboration de la signature de test et le contrôle de la consommation du circuit. Deux démonstrateurs ont été mis en place pour valider la technique proposée : une chaine RF conçue au sein du groupe RMS et un accéléromètre de type MMA7361L.
Estilos ABNT, Harvard, Vancouver, APA, etc.

Capítulos de livros sobre o assunto "Méthodes récursives"

1

Marceau, Étienne. "Méthodes récursives d’agrégation". In Modélisation et évaluation quantitative des risques en actuariat, 201–48. Paris: Springer Paris, 2013. http://dx.doi.org/10.1007/978-2-8178-0112-4_6.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
2

ANDRÉ, Jean-Michel, e Philippe JONNARD. "Propagation du rayonnement X dans une structure de Bragg : domaine fréquentiel". In Rayonnement X et structures de Bragg artificielles, 27–67. ISTE Group, 2024. http://dx.doi.org/10.51926/iste.9187.ch2.

Texto completo da fonte
Resumo:
Ce chapitre présente les principales approches théoriques qui décrivent la propagation du rayonnement X au sein de structures de Bragg dans le domaine fréquentiel. L’approche de Bloch-Floquet, les méthodes matricielles et récursives sont détaillées.
Estilos ABNT, Harvard, Vancouver, APA, etc.
Oferecemos descontos em todos os planos premium para autores cujas obras estão incluídas em seleções literárias temáticas. Contate-nos para obter um código promocional único!

Vá para a bibliografia