Le travail présenté ici s'intéresse à la résolution numérique de problèmes de commande optimale stochastique de grande taille. Nous considérons un système dynamique, sur un horizon de temps discret et fini, pouvant être influencé par des bruits exogènes et par des actions prises par le décideur. L'objectif est de contrôler ce système de sorte à minimiser une certaine fonction objectif, qui dépend de l'évolution du système sur tout l'horizon. Nous supposons qu'à chaque instant des observations sont faites sur le système, et éventuellement gardées en mémoire. Il est généralement profitable, pour le décideur, de prendre en compte ces observations dans le choix des actions futures. Ainsi sommes-nous à la recherche de stratégies, ou encore de lois de commandes, plutôt que de simples décisions. Il s'agit de fonctions qui à tout instant et à toute observation possible du système associent une décision à prendre. Ce manuscrit présente trois contributions. La première concerne la convergence de méthodes numériques basées sur des scénarios. Nous comparons l'utilisation de méthodes basées sur les arbres de scénarios aux méthodes particulaires. Les premières ont été largement étudiées au sein de la communauté "Programmation Stochastique". Des développements récents, tant théoriques que numériques, montrent que cette méthodologie est mal adaptée aux problèmes à plusieurs pas de temps. Nous expliquons ici en détails d'où provient ce défaut et montrons qu'il ne peut être attribué à l'usage de scénarios en tant que tel, mais plutôt à la structure d'arbre. En effet, nous montrons sur des exemples numériques comment les méthodes particulaires, plus récemment développées et utilisant également des scénarios, ont un meilleur comportement même avec un grand nombre de pas de temps. La deuxième contribution part du constat que, même à l'aide des méthodes particulaires, nous faisons toujours face à ce qui est couramment appelé, en commande optimale, la malédiction de la dimension. Lorsque la taille de l'état servant à résumer le système est de trop grande taille, on ne sait pas trouver directement, de manière satisfaisante, des stratégies optimales. Pour une classe de systèmes, dits décomposables, nous adaptons des résultats bien connus dans le cadre déterministe, portant sur la décomposition de grands systèmes, au cas stochastique. L'application n'est pas directe et nécessite notamment l'usage d'outils statistiques sophistiqués afin de pouvoir utiliser la variable duale qui, dans le cas qui nous intéresse, est un processus stochastique. Nous proposons un algorithme original appelé Dual Approximate Dynamic Programming (DADP) et étudions sa convergence. Nous appliquons de plus cet algorithme à un problème réaliste de gestion de production électrique sur un horizon pluri-annuel. La troisième contribution de la thèse s'intéresse à une propriété structurelle des problèmes de commande optimale stochastique : la question de la consistance dynamique d'une suite de problèmes de décision au cours du temps. Notre but est d'établir un lien entre la notion de consistance dynamique, que nous définissons de manière informelle dans le dernier chapitre, et le concept de variable d'état, qui est central dans le contexte de la commande optimale. Le travail présenté est original au sens suivant. Nous montrons que, pour une large classe de modèles d'optimisation stochastique n'étant pas a priori consistants dynamiquement, on peut retrouver la consistance dynamique quitte à étendre la structure d'état du système

Cette thèse s'intéresse au problème de la reconnaissance d'objets dans les images vidéo et plus particulièrement à celui de leur localisation. Elle a été conduite dans le contexte d'une collaboration scientifique entre l'INRIA Rhône-Alpes et MBDA France. De ce fait, une attention particulière a été accordée à l'applicabilité des approches proposées aux images infra-rouges. La méthode de localisation proposée repose sur l'utilisation d'une fenêtre glissante incluant une cascade à deux étages qui, malgré sa simplicité, permet d'allier rapidité et précision. Le premier étage est un étage de filtrage rejetant la plupart des faux positifs au moyen d'un classifieur SVM linéaire. Le deuxième étage élimine les fausses détections laissées par le premier étage avec un classifieur SVM non-linéaire plus lent, mais plus performant. Les fenêtres sont représentées par des descripteurs HOG et Bag-of-words. La seconde contribution de la thèse réside dans une méthode permettant de combiner localisation d'objets et catégorisation d'images. Ceci permet, d'une part, de prendre en compte le contexte de l'image lors de la localisation des objets, et d'autre part de s'appuyer sur la structure géométrique des objets lors de la catégorisation des images. Cette méthode permet d'améliorer les performances pour les deux tâches et produit des détecteurs et classifieurs dont la performance dépasse celle de l'état de l'art. Finalement, nous nous penchons sur le problème de localisation de catégories d'objets similaires et proposons de décomposer la tâche de localisation d'objets en deux étapes. Une première étape de détection permet de trouver les objets sans déterminer leurs positions tandis qu'une seconde étape d'identification permet de prédire la catégorie de l'objet. Nous montrons que cela permet de limiter les confusions entre les classes, principal problème observé pour les catégories d'objets visuellement similaires. La thèse laisse une place importante à la validation expérimentale, conduites sur la base PASCAL VOC ainsi que sur des bases d'images spécifiquement réalisées pour la thèse.

D'abord, on étudie trois façons d'associer une C*-algèbre à une transformation continue. Ensuite, nousdonnons une nouvelle définition de l'entropie. Nous trouvons des relations entre les états KMS des algèbrespréalablement définies et les états d'équilibre, donné par un principe variationnel. Dans la seconde partie,nous étudions les algèbres de Kajiwara-Watatani associées à un système des fonctions itérées. Nouscomparons ces algèbres avec l'algèbre de Cuntz et le produit croisé. Enfin, nous étudions les états KMS desalgèbres de Kajiwara-Watatani pour les actions provenant d'un potentiel et nous trouvouns des relationsentre ces états et les mesures trouvée dans une version de le théorème de Ruelle-Perron-Frobenius pour lessystèmes de fonctions itérées.

On considère le problème de contrôle optimal de temps minimal pour des systèmes affine et mono-entrée en dimension finie, avec conditions initiales et finales fixées, où le contrôle scalaire prend ses valeurs dans un intervalle fermé. Lors de l'application d'une méthode de tir pour résoudre ce problème, on peut rencontrer des obstacles numériques car la fonction de tir n'est pas lisse lorsque le contrôle est bang-bang. Pour ces systèmes, dans le cas bang-bang, un concept théorique de temps conjugué a été défini, toutefois les algorithmes de calcul direct sont difficiles à appliquer. En outre, les questions théoriques et pratiques de la théorie du temps conjugué sont bien connues dans le cas lisse, et des outils efficaces de mise en oeuvre sont disponibles. On propose une procédure de régularisation pour laquelle les solutions du problème de temps minimal dépendent d'un paramètre réel positif suffisamment petit et sont définis par des fonctions lisses en temps, ce qui facilite l'application de la méthode de tir simple. Sous des hypothèses convenables, nous prouvons un résultat de convergence forte des solutions du problème régularisé vers la solution du problème initial, lorsque le paramètre réel tend vers zéro. Le calcul des temps conjugués pour les trajectoires localement optimales du problème régularisé est standard. Nous prouvons, sous des hypothèses appropriées, la convergence du premier temps conjugué du problème régularisé vers le premier temps conjugué du problème de contrôle bang-bang initial, quand le paramètre réel tend vers zéro. Ainsi, on obtient une procédure algorithmique efficace pour calculer les temps conjugués dans le cas bang-bang.

Cette thèse s'articule autour des fonctions booléennes liées à la cryptographie et la cryptanalyse de certains schémas d'identification. Les fonctions booléennes possèdent des propriétés algébriques fréquemment utilisées en cryptographie pour constituer des S-Boxes (tables de substitution).Nous nous intéressons, en particulier, à la construction de deux types de fonctions : les fonctions courbes et les fonctions équilibrées de haut degré de non-linéarité.Concernant la cryptanalyse, nous nous focalisons sur les techniques d'identification basées sur les problèmes de perceptron et de perceptron permuté. Nous réalisons une nouvelle attaque sur le schéma afin de décider de sa faisabilité.Nous développons ici des nouvelles méthodes combinant l'approche déterministe DCA (Difference of Convex functions Algorithm) et heuristique (recuit simulé, entropie croisée, algorithmes génétiques...). Cette approche hybride, utilisée dans toute cette thèse, est motivée par les résultats intéressants de la programmation DC.

Les travaux de recherche de cette thèse concernent l'encadrement de la constante de Markov Bernstein pour la norme L2 associée aux mesures de Jacobi et Gegenbauer généralisée. Ce travail est composé de deux parties : dans la première partie, nous avons développé une généralisation de l'algorithme qd pour les matrices symétriques définies positives à largeur de bande $\ell$ et nous avons construit l'algorithme qd pour les matrices de Jacobi par blocs. Ensuite, nous l'avons généralisé aux cas des matrices par bloc à largeur de bande $\ell$. Ces algorithmes nous permettent de trouver un majorant de la constante. Enfin, nous avons développé le déterminant caractéristique d'une matrice symétrique définie positive pentadiagonale, ce qui nous permet d'obtenir un minorant de la constante en utilisant la méthode de Newton. La deuxième partie est consacrée à l'application de tous les outils développés à l'encadrement de la constante de Markov Bernstein pour la norme L2 associée à la mesure de Gegenbauer généralisée.

Dans les situations convexes, le problème d'optimisation globale peut être abordé par un ensemble de méthodes classiques, telles, par exemple, celles basées sur le gradient, qui ont montré leur efficacité en ce domaine. Lorsque la situation n'est pas convexe, ces méthodes peuvent être mises en défaut et ne pas trouver un optimum global. La contribution de cette thèse est une méthodologie pour la détermination de l'optimum global d'une fonction non convexe, en utilisant des algorithmes hybrides basés sur un couplage entre des algorithmes stochastiques issus de familles connues, telles, par exemple, celle des algorithmes génétiques ou celle du recuit simulé et des algorithmes déterministes perturbés aléatoirement de façon convenable. D'une part, les familles d'algorithmes stochastiques considérées ont fait preuve d'efficacité pour certaines classes de problèmes et, d'autre part, l'adjonction de perturbations aléatoires permet de construire des méthodes qui sont en théorie convergents vers un optimum global. En pratique, chacune de ces approches a ses limitations et insuffisantes, de manière que le couplage envisagé dans cette thèse est une alternative susceptible d'augmenter l'efficacité numérique. Nous examinons dans cette thèse quelques unes de ces possibilités de couplage. Pour établir leur efficacité, nous les appliquons à des situations test classiques et à un problème de nature stochastique du domaine des transports.

Cette thèse porte sur l'indécomposabilité dans les graphes et les tournois. Elle comporte cinq chapitres dont le premier est introductif. Le deuxième chapitre consiste en une étude des tournois indécomposables suivant les tournois indécomposables à 5 ou à 7 sommets qu'ils abritent [3, 2]. Le troisième chapitre est une caractérisation des tournois (-1)-critiques avec une description morphologique de ces tournois [4,5]. Le quatrième chapitre contient une caractérisation des graphes (-1)-critiques [6], répondant ainsi, dans le cas général, à un problème posé par Y. Boudabbous et P. Ille[10]. Le cinquième chapitre est consacré à une opération d'inversion dans les tournois et un invariant, l'indice d'inversion d'un tournoi, dont l'étude a été proposée par M. Pouzet. Le fait que les tournois (-1)-critiques sont d'indice entre 2 et 4 est le lien avec l'étude de la criticalité. Plusieurs propriétés de la classe des tournois d'indice au plus n sont données.

Submitted by FERNANDA PIZZIGATTI MARQUES JASINEVICIUS null (ferpizzi@uol.com.br) on 2016-01-25T17:35:06Z No. of bitstreams: 1 DEFESA DE DISSERTACAO Fernanda Pizzigatti final.pdf: 7736036 bytes, checksum: 2fc26bfeb49858ae296a605eac26e2dc (MD5) / Approved for entry into archive by Sandra Manzano de Almeida (smanzano@marilia.unesp.br) on 2016-01-25T18:16:47Z (GMT) No. of bitstreams: 1 jasinevicius_fpm_me_bauru.pdf: 7736036 bytes, checksum: 2fc26bfeb49858ae296a605eac26e2dc (MD5) / Made available in DSpace on 2016-01-25T18:16:47Z (GMT). No. of bitstreams: 1 jasinevicius_fpm_me_bauru.pdf: 7736036 bytes, checksum: 2fc26bfeb49858ae296a605eac26e2dc (MD5) Previous issue date: 2015-12-18 / Outra / Esta pesquisa tem como objetivo geral analisar e avaliar a competência leitora e suas relações com o processo de ensino e aprendizagem da Matemática de uma turma de 38 estudantes do 9º ano dos anos finais do ensino fundamental de uma escola do interior de São Paulo. Foi realizado o estudo de pressupostos teóricos pertinentes ao tema, abordados por pesquisadores como Polya (1994), Mayer (1992), Sternberg (1992), Solé (1998), Bakhtin (1993), Schneuwly e Dolz (2004) e o levantamento bibliográfico de trabalhos publicados em eventos que abordam a questão da leitura e da escrita no ensino da Matemática. A pesquisa teve como ponto de partida a análise dos resultados obtidos pelos estudantes nas Avaliações de Aprendizagem em Processo (A.A.P) nas disciplinas de Matemática e Língua Portuguesa do 6º ao 9º ano e a análise de dois questionários semiestruturados que foram elaborados com o intuito de investigar as dificuldades dos estudantes quanto à Matemática e à Leitura. Após o tratamento qualitativo dos dados, realizaram-se intervenções por meio da metodologia de pesquisa-ação junto aos estudantes, trabalhando situações e sequências didáticas relacionadas ao conteúdo proposto no Currículo Oficial do Estado de São Paulo. Como conclusão, a análise qualitativa das avaliações durante toda a trajetória escolar dos estudantes constatou a falta de proficiência na leitura e escrita em suas diversas formas, e a dificuldade no tratamento das informações nos problemas matemáticos. Entretanto, após serem realizadas as intervenções consideradas necessárias, os estudantes, em sua totalidade, tiveram um avanço, uma melhora, em suas dificuldades mediante os resultados apresentados na Avaliação de Aprendizagem em Processo aplicada no 2º Semestre do ano letivo quando comparados à 1ª A.A.P. As intervenções durante as aulas mostraram ser perfeitamente praticável e pertinente a união entre o ensino da Matemática e o aprimoramento da linguagem. O gerenciamento das aulas, o objetivo que se pretende alcançar, as perguntas determinantes realizadas aos estudantes pela professora, a cautela com a interpretação textual dos enunciados e com o levantamento das informações implícitas e explícitas contidas nos problemas matemáticos acabaram resultando em maior motivação por parte dos estudantes em realizar as atividades, contribuindo imensamente para seu desenvolvimento e das aulas. Além disso, baseando-se nos resultados e nas experiências vivenciadas, e em conformidade com o que determina a Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES), foi elaborado o produto educacional, denominado Proposta de Sequências didáticas aos professores de Educação Básica, apontando os referenciais teóricos que as embasam e sugestões metodológicas em prol do desenvolvimento da competência leitora dos estudantes. / This research has as a general goal to analyze and evaluate the reading competence and its relations to the process of teaching and learning of mathematics of 38 students from 9th year of the last years of fundamental grade of an inner school in São Paulo. A study has been performed of theoretical assumptions about the theme and studied by the researchers Polya (1994), Mayer (1992), Stenberg (1992), Solé(1998), Bakhtin (1993), Schneuwly e Dolz (2004), the survey bibliographic of the published tasks in events that talk about the reading and the writing in math learning. The survey has its beggining, the analysis of the obtained results by the students in the evaluations of the learning process (A.A.P) in Math and Portuguese subjects from the sixth to the ninth year and the analysis of the two questionnaires that have been semi structured that have been elaborated in order to investigate the difficulties of the students about math and reading. After the qualitative treatment of the data, interventions have been performed using the action-research methodology along with the students and the teaching sequences related to the pre established content in the official curriculum of São Paulo state. As the parcial conclusion the qualitative analysis of the evaluations during all the schooling time of the students have shown the lack of proficiency in the reading and writing an in their different ways and the difficulty in treating the information about the mathematical problems. Although, after being made the interventions considered needed the students in the whole had an upgrade, a considerable change in their difficulties by the presented results in the evaluation of learning in process apllied in the second semester when compared to the first A.A.P. The interruptions during the classes showed to be perfectly practicable and relevant the union between the math teaching and the improvement of the language. The management of the classes, the aim in which we intend to reach, the relevant questions asked to the students by the teacher, the caution about the textual interpretation of the statements and the survey of the implicit and explicit information in the mathematical problems ended up resulting in a bigger motivation for the students to accomplish the activities, contributing hugely to their development and to their classes. Besides it is based on the results and on the experience they have lived and to what in accordance to the personal improvement coordination of the higher level (CAPES), it was made the educational product, named The Proposal of the didatics sequence of the basic education teachers, pointing out the theorical referencials that base and methodology suggestions to the development of the reading competence of the students.

Submitted by Maria Suzana Diniz (msuzanad@hotmail.com) on 2015-11-23T12:21:50Z No. of bitstreams: 1 arquivototal.pdf: 5513088 bytes, checksum: bea82a4c181f3089c6182ddfcd4464de (MD5) / Made available in DSpace on 2015-11-23T12:21:50Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 5513088 bytes, checksum: bea82a4c181f3089c6182ddfcd4464de (MD5) Previous issue date: 2015-05-05 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This paper starts from the premise that there are specific discourses of Mathematics and about Mathematics, presenting effective work proposals with the teaching and learning of mathematics in an attempt to minimize the negative discourses imposed on this discipline in teaching practices. Thus, it will be possible a reflection on new possibilities of teaching that consider the construction of new discursive practices around the subject with focus on the interdiscursivity phenomenon. At first It will be developed a characterization of discourse studies, its evolution and impact on the French Discourse Analysis with theoretical anchoring in Brandão (2003/2004), Charaudeau et al (2008), Maingueneau (1984/1993), Althier Revuz (1982) Mussalim (2001) Pêcheux (1990-1999) and Voloshinov (1981). In sequence, the research will depart from an analytical description of Mathematics discourse as a science and development in history from authors such as Avila (2006/2010), Atalay (2007) and Roque (2012); even thought, it's still essential to understand the proposals compreentions and didactic orientations brought by the National Curriculum Parameters of Mathematics (PCNs) as well as the Curriculum Parameters of Mathematics from Pernambuco (PCPE). Later, crystallized socialy discourses about math are presented with theoretical anchoring in Silveira (2012) and Machado (2011) analizing their impacts on the students discursive practices when they take part in a semistructured interview. Getting as a base all this discourse built about math, it was developed an intervention proposal in order to bring a discursive resignification to the teaching based on math education theoreticals. A detailed analysis of this proposal aplication, followed by a new interview, revealed that it is possible to reframe the discourse about Mathematics by producing effects of meaning in new discoursive practices in the classroom. / Este trabalho parte da premissa de que existem discursos próprios da Matemática e sobre a Matemática, para subsidiar propostas de trabalho efetivo ao seu ensino e aprendizagem no sentido de tentar minimizar os discursos negativos instituídos sobre essa disciplina nas práticas pedagógicas. Assim, será possível uma reflexão sobre novas possibilidades de ensino que considerem a construção de novas práticas discursivas em torno da disciplina sob o fenômeno da interdiscursividade. Num primeiro momento, será desenvolvida uma caracterização dos estudos do discurso, sua evolução e incidência sobre a Análise de Discurso Francesa com ancoragem teórica em Brandão (2003 / 2004), Charaudeau et al (2008), Maingueneau (1984 /1993), Althier Revuz (1982), Mussalim (2001), Pêcheux (1990/1999) e Volochinov (1981). Na sequência, a pesquisa partirá de uma descrição analítica do discurso da Matemática enquanto ciência e desenvolvimento na história a partir de autores como Ávila (2006 / 2010), Atalay (2007) e Roque (2012); fazendo-se ainda essencial a compreensão das propostas e orientações didáticas trazidas pelos Parâmetros Curriculares Nacionais de Matemática (PCNs) como também dos Parâmetros Curriculares de Pernambuco de Matemática (PCPE). Posteriormente, são apresentados os discursos socialmente cristalizados sobre a Matemática com ancoragem em autores como Silveira (2012) e Machado (2011) analisando sua incidência nas práticas discursivas dos estudantes quando submetidos a uma entrevista semiestruturada. Tomando por base todo esse discurso construído sobre a Matemática, foi elaborada uma proposta de intervenção via texto instrucional com objetivo de trazer uma ressignificação discursiva ao ensino da disciplina a partir de teóricos da educação matemática. Uma análise detalhada da aplicação dessa proposta seguida de uma nova entrevista revelou que é possível ressignificar o discurso sobre a Matemática mediante a produção de efeitos de sentido em novas práticas discursivas em sala de aula.