Au cours de cette thèse, nous avons étudié des modèles de partitions aléatoires issus de la théorie des représentations des groupes symétriques et des groupes de Chevalley finis classiques, en particulier les groupes GL(n,Fq). Nous avons démontré des résultats de concentration gaussienne pour :- les q-mesures de Plancherel (de type A), qui correspondent à l'action de GL(n,Fq) sur la variété des drapeaux complets de (Fq)^n, et sont liées à la théorie des représentations des algèbres d'Hecke des groupes symétriques.- l'analogue en type B du modèle précédent, correspondant à l'action de Sp(2n,Fq) sur la variété des drapeaux totalement isotropes complets dans (Fq)^2n.- les mesures de Schur-Weyl, qui correspondent aux actions commutantes de GL(N,C) et Sn sur l'espace des n-tenseurs d'un espace vectoriel de dimension N.- et les mesures de Gelfand, qui correspondent à la représentation du groupe symétrique qui est la somme directe sans multiplicité de toutes les représentations irréductibles de Sn.Dans chaque cas, nous avons établi une loi des grands nombres et un théorème central limite tout à fait semblable à la loi des grands nombres de Logan-Shepp-Kerov-Vershik (1977) et au théorème central limite de Kerov (1993) pour les mesures de Plancherel des groupes symétriques.Nos résultats peuvent presque tous être traduits en termes de combinatoire des mots, et d'autre part, les techniques employées sont inspirées des techniques de la théorie des matrices aléatoires. Ainsi, on a calculé pour chaque modèle l'espérance de fonctions polynomiales sur les partitions, qui jouent un rôle tout à fait analogue aux polynômes traciaux en théorie des matrices aléatoires. L'outil principal des preuves est ainsi une algèbre d'observables de diagrammes de Young, qu'on peut aussi interpréter comme algèbre de permutations partielles. Nous avons tenté de généraliser cette construction au cas d'autres groupes et algèbres, et nous avons construit une telle généralisation dans le cas des algèbres d'Hecke des groupes symétriques. Ces constructions rentrent dans le cadre très abstrait des fibrés de semi-groupes par des semi-treillis ; dans le même contexte, on peut formaliser des problèmes combinatoires sur les permutations, par exemple le problème du calcul des nombres de Hurwitz

Les écoulements diphasiques en milieu poreux sont des phénomènes complexes et qui concernent de nombreux problèmes industriels. EDF travaille sur la faisabilité et la sécurité d'un stockage en couche géologique profonde de déchets nucléaires. Dans ce domaine la simulation des écoulements diphasiques en milieu poreux est particulièrement importante dans au moins trois domaines : tout d'abord lors de la phase de ventilation des galeries du stockage qui pourrait désaturer la roche présente et ainsi en modifier ses propriétés de rétention, mais également lors de la phase de resaturation des matériaux et enfin lors de l'arrivée de l'eau sur les parties métalliques contenues dans le stockage qui entraînera alors des phénomènes de corrosion et un dégagement d'hydrogène. Dans ce contexte, EDF souhaite se doter de méthodes numériques performantes et robustes ne nécessitant pas de conditions restrictives sur la forme des mailles. Ce travail s'inscrivant dans cette problématique, est consacré dans un premier temps au développement du schéma volumes finis SUSHI (Scheme Using Stabilization and Hybrid Interfaces) dans le code de mécanique d'EDF, Code_Aster afin de modéliser les écoulements diphasique en milieu poreux. Ce schéma a été développé en 2D et en 3D. Parallèlement une nouvelle formulation qui permet de traiter de manière uniforme les écoulements en milieu saturé et insaturé pour des problèmes miscibles et immiscibles est proposée. Différentes études modélisant des difficultés liées aux problématiques du stockage de déchets radioactifs en couches géologiques profondes ont été traitées. On peut citer l'étude d'un bi-matériau qui met en avant le ré-équilibrage capillaire d'un matériau par un autre possédant des propriétés et des conditions initiales en saturation très hétérogènes. On citera également l'étude de l'injection d'hydrogène dans un milieu initialement saturé en eau pure qui est tirée du benchmark " Ecoulement diphasique " proposé par le GNR MOMAS. Cette étude avait pour objectif de mettre en évidence le bon traitement de l'apparition d'une phase dans un milieu saturé et donc la pertinence de notre nouvelle formulation à traiter d'une manière unifié un problème d'écoulement saturé et un problème d'écoulement insaturé

Cette thèse est consacrée dans un premier temps à l'élaboration d'un modèle variationnel dedébruitage d'ordre deux, faisant intervenir l'espace BV 2 des fonctions à hessien borné. Nous nous inspirons ici directement du célèbre modèle de Rudin, Osher et Fatemi (ROF), remplaçant la minimisation de la variation totale de la fonction par la minimisation de la variation totale seconde, c'est à dire la variation totale de ses dérivées. Le but est ici d'obtenir un modèle aussi performant que le modèle ROF, permettant de plus de résoudre le problème de l'effet staircasing que celui-ci engendre. Le modèle que nous étudions ici semble efficace, entraînant toutefois l'apparition d'un léger effet de flou. C'est afin de réduire cet effet que nous introduisons finalement un modèle mixte, permettant d'obtenir des solutions à la fois non constantes par morceaux et sans effet de flou au niveau des détails. Dans une seconde partie, nous nous intéressons au problème d'extraction de texture. Un modèle reconnu comme étant l'un des plus performants est le modèle T V -L1, qui consiste simplement à remplacer dans le modèle ROF la norme L2 du terme d'attache aux données par la norme L1. Nous proposons ici une méthode originale permettant de résoudre ce problème utilisant des méthodes de Lagrangien augmenté. Pour les mêmes raisons que dans le cas du débruitage, nous introduisons également le modèle T V 2-L1, consistant encore une fois à remplacer la variation totale par la variation totale seconde. Un modèle d'extraction de texture mixte est enfin très brièvement introduit. Ce manuscrit est ponctué d'un vaste chapitre dédié aux tests numériques.

L'objectif de cette thèse porte sur des recherches théoriques et algorithmiques d'optimisation locale et globale via les techniques de programmation DC & DCA, Séparation et Evaluation (SE) ainsi que les techniques de relaxation DC/SDP, pour résoudre plusieurs types de problèmes d'optimisation non convexe (notamment en Optimisation Combinatoire et Optimisation Polynomiale). La thèse comporte quatre parties :La première partie présente les outils fondamentaux et les techniques essentielles en programmation DC & l'Algorithme DC (DCA), ainsi que les techniques de relaxation SDP, et les méthodes de séparation et évaluation (SE).Dans la deuxième partie, nous nous intéressons à la résolution de problèmes de programmation quadratique et linéaire mixte en variables entières. Nous proposons de nouvelles approches locales et globales basées sur DCA, SE et SDP. L'implémentation de logiciel et des simulations numériques sont aussi étudiées.La troisième partie explore des approches de la programmation DC & DCA en les combinant aux techniques SE et SDP pour la résolution locale et globale de programmes polynomiaux. Le programme polynomial avec des fonctions polynomiales homogènes et son application à la gestion de portefeuille avec moments d'ordre supérieur en optimisation financière ont été discutés de manière approfondie dans cette partie.Enfin, nous étudions dans la dernière partie un programme d'optimisation sous contraintes de type matrices semi-définies via nos approches de la programmation DC. Nous nous consacrons à la résolution du problème de réalisabilité des contraintes BMI et QMI en contrôle optimal.L'ensemble de ces travaux a été implémenté avec MATLAB, C/C++ ... nous permettant de confirmer l'utilisation pratique et d'enrichir nos travaux de recherche.

Le présent travail de thèse porte sur la prédiction des efforts vibratoires transmis à l'interface entre deux structures mécaniques. L'étude relève de la dynamique des structures en basses fréquences et concerne des aspects relatifs à la modélisation de couplages structuraux, notamment en présence de paramètres incertains et d'aspects expérimentaux. Les équipements automobiles actifs sont des sources vibratoires qui agissent sur la structure d'accueil (souvent le châssis) sur laquelle ils sont montés. La maîtrise, a priori, du champ vibratoire (et donc acoustique) de l'assemblage, suppose la prédiction des efforts vibratoires à l'interface équipement/structure d'accueil. Le formalisme utilisé pour décrire le couplage entre sous-systèmes permet d'établir que la recherche, dans des situations pratiques, des efforts appliqués à l'accueil est un problème inverse. Une méthode prédictive des efforts est construite et validée par une mise en œuvre expérimentale. Pour que les efforts vibratoires transmis respectent un gabarit imposé a priori, un problème d'optimisation numérique de l'interface est proposé et résolu. Il sera montré que pour l'interface ainsi optimisée, la dispersion de la norme des efforts transmis est systématiquement plus faible que pour l'interface nominale.

Les caméras pushbroom sont omniprésentes en imagerie satellitaire. Ce capteur linéaire enregistre des images 1-D et utilise le défilement du satellite autour de la terre pour construire des bandeaux d'image ; son principe de fonctionnement est identique aux scanners et photocopieurs que l'on peut utiliser tous les jours. Les avantages liés à cette technologie sont principalement une résolution d'image étendue qui va bien au delà des caméras perspectives, un coût d'exploitation faible et une robustesse au contexte spatial. Pour reconstruire des images couleur, le plan focal d'un satellite embarque plusieurs caméras pushbroom sensibles à différentes bandes spectrales de la lumière. Ce mode d'acquisition dépendant du temps suppose que l'orientation du satellite, également appelée attitude dans cette étude, ne varie pas au cours du survol d'une scène. Les satellites ont jusqu'à maintenant été considérés comme stables du fait de leur inertie. Cependant les technologies récentes développées dans la recherche spatiale tendent à réduire leur taille et alléger leur poids pour les rendre plus agiles et moins coûteux en énergie lors de leur mise en orbite. La résolution des capteurs a également été améliorée, ce qui rend nettement plus critique la moindre oscillation de l'imageur. Ces facteurs cumulés font qu'un changement d'attitude de quelques microradians peut provoquer des déformations géométriques notables dans les images. Les solutions actuelles utilisent les capteurs de positionnement du satellite pour asservir son attitude et rectifier les images, mais elles sont coûteuses et limitées en précision. Les images contiennent pourtant une information cohérente sur les mouvements du satellite de par leurs éventuelles déformations. Nous proposons dans cette étude de retrouver les variations d'attitude par recalage des images enregistrées par le satellite. Nous exploitons la disposition des caméras pushbroom dans le plan focal ainsi que la nature stationnaire des oscillations pour conduire l'estimation. Le tout est présenté dans un cadre bayesien, où les données images peuvent se mêler avec une information a priori sur le mouvement ainsi que des mesures exogènes fournies par un capteur stellaire couramment appelé star tracker. Différentes solutions sont décrites et comparées sur des jeux de données satellitaires fournis par le constructeur de satellite EADS Astrium.

abstract: This study investigated the link between the cognitive clusters from the Woodcock–Johnson III Tests of Cognitive Ability (WJ III COG) and Broad Math, Math Calculation Skills, and Math Reasoning clusters of the Woodcock–Johnson III Tests of Achievement (WJ III ACH) using data collected over seven years by a large elementary school district in the Southwest. The students in this study were all diagnosed with math learning disabilities. Multiple regression analyses were used to predict performance on the Broad Math, Math Calculation Skills, and Math Reasoning clusters from the WJ III ACH. Fluid Reasoning (Gf), Comprehension–Knowledge (Gc), Short–Term Memory (Gsm), and Long–term Retrieval (Glr) demonstrated strong relations with Broad Math and moderate relations with Math Calculation Skills. Auditory Processing (Ga) and Processing Speed (Gs) demonstrated moderate relations with Broad Math and Math Calculation Skills. Visual–Spatial Thinking (Gv) and Processing Speed (Gs) demonstrated moderate to strong relations with the mathematics clusters. The results indicate that the specific cognitive abilities of students with math learning disabilities may differ from their peers. / Dissertation/Thesis / M.A. Educational Psychology 2011

A presente pesquisa teve como principal objetivo responder à questão O que as ressonâncias das aulas de matemática podem revelar/indicar sobre a aprendizagem (significativa) da matemática pelos alunos bem como sobre si mesmos enquanto sujeitos/autores/produtores de conhecimento? Nesta perspectiva, a pesquisa aqui desenvolvida teve no centro das atenções a produção de textos entre os alunos sobre a aula de matemática de uma turma de 3ª série do Ensino Médio de uma escola pública de Taboão da Serra, os quais denominei ressonância das aulas de matemática. Para tanto, tomei como solo teórico os estudos de Bakhtin, Powell e Freire, voltado às condições dos processos dialógicos em sala de aula. Os resultados da pesquisa indicaram que a discussão sobre a matemática que estão aprendendo, refletida na produção das ressonâncias, parece ter mobilizado os educandos na busca de critérios para orientar as produções escritas, levando-os a adquirir mais e mais controle na procura de argumentos para encaminhar tais processos. As diferentes manifestações presentes nos textos mostraram que a produção das ressonâncias está associada a uma discussão viva, na qual, como bem diz Powell (2001), não há forma e raciocínio definidos, mas de cujo processo fazem parte elementos e raciocínios substanciais / The main objective of the present research is to answer the question: What can the resonances from math classes reveal/indicate about the students and their (significant) math learning as subjects/authors/producers of knowledge? In this perspective, the present investigation focused on the texts produced by high school seniors about their math classes. These texts are what we call the resonances of the math classes. Therefore, the theoretical ground was based on the studies of Bakhtin, Powell and Freire, on the conditions of dialogical processes in classrooms. The results of the investigation indicated that the discussions about the math that is being learned, reflected in the production of the resonances, seemed to have mobilized the students to search for criteria to guide written productions, leading them to acquire more and more control in finding arguments to refer such processes. The different manifestations in the texts showed that the production of resonances is associated with a live discussion in which, as Powell well said (2001), there is no form or reasoning defined, but substantial elements and reasoning are a part of it.

Made available in DSpace on 2015-09-25T12:18:45Z (GMT). No. of bitstreams: 1 NELSON ROBERTO CARDOSO DE OLIVEIRA.pdf: 1875376 bytes, checksum: f02f554126b827ac3c9ebe95764f6ce3 (MD5) Previous issue date: 2012-07-02 / The objective of this research is to investigate concepts and evaluation practices of teachers of elementary school mathematics II of four schools in the city of Campina Grande, Paraíba, comprising public and private schools. Data collection in the form of questionnaires and interviews carried out in two moments, and the research environment of the schools surveyed. The survey data were analyzed taking into account the theoretical and methodological assumptions of content analysis of Bardin and Franco through the categories and subcategories. They are: The school education in the training of teachers of mathematics, Mathematics learning in practice teacher; Design assessment professor of mathematics; evaluative tools and their meanings; Assessment as a tool of teaching practice and the Relationship between conceptions of assessment and Learning mathematics. The school environment was conducive to our noticing the daily school life with its multiple and diverse realities. As a result, the survey revealed that the conceptions of assessment of school mathematics teachers vary both from a technical and conceptual realm independent of private or public, regardless of the teachers also belong to a single teaching unit or not. It was evident that the qualitative aspects of evaluation are not as effective for the final diagnosis of both the personal view of the teacher and the school for administrative matters. The data also showed that there can be a standard evaluation because the reality of each class varies in age, behavior, discipline and preparation of the previous series. Today, the issue of failure depend, to some part of the teacher, for system requirements. The survey also pointed to the lack of relevance of the assessment as a teaching resource for learning and methodological mathematics. Teachers' conceptions tend towards a more cognitive and sociocultural. These changes occurred in assessment practices should be obedience, rules, regulations and decisions of the administration and not by the spirit of engagement. / O objetivo desta pesquisa consiste em investigar as concepções e práticas avaliativas dos professores de Matemática do Ensino Fundamental II de quatro escolas da cidade de Campina Grande, Paraíba, contemplando escolas públicas e particulares. A coleta de dados na forma de questionários e entrevista se deu em dois momentos, sendo o ambiente da pesquisa as próprias escolas dos entrevistados. Os dados da pesquisa foram analisados levando em consideração os pressupostos teórico-metodológicos da Análise de Conteúdo de Bardin e Franco por meio das categorias e subcategorias. Sendo elas: A Educação Escolar na Formação dos Professores de Matemática; A aprendizagem matemática segundo a prática do professor; Concepção de avaliação do professor de matemática; Instrumentos avaliativos e seus significados; A avaliação como ferramenta da prática pedagógica e a Relação entre concepções de avaliação e Aprendizagem matemática. O ambiente escolar foi propício para que percebêssemos o cotidiano escolar com suas múltiplas e diversificadas realidades. Como resultados, a pesquisa revelou que as concepções de avaliação escolar dos professores de Matemática variam tanto do ponto de vista técnico quanto conceitual independente da esfera particular ou pública, independente também dos professores pertencerem a uma mesma unidade de ensino ou não. Ficou evidente que os aspectos qualitativos da avaliação não são considerados eficientes para o diagnóstico final tanto do ponto de vista pessoal do professor quanto para questões administrativas da escola. Os dados também evidenciaram que não é possível haver um modelo padrão de avaliação porque a realidade de cada turma varia de faixa etária, comportamento disciplinar e preparação das séries anteriores. Hoje, a questão da reprovação independe, em certa parte, do professor, por exigências do sistema. A pesquisa também apontou a falta de relevância da avaliação como recurso didático-metodológico para a aprendizagem matemática. As concepções dos professores tendem para uma abordagem mais cognitivista e sociocultural. Tais mudanças que ocorreram nas práticas avaliativas se devem a obediência, regimentos, normas e determinações da administração e não pelo espírito do engajamento.

Neste trabalho, apresentamos um estudo sobre o problema de dimensionamento de lotes com múltiplas plantas, múltiplos itens e múltiplos períodos. As plantas têm capacidade de produção limitada e a fabricação de cada produto incorre em tempo e custo de preparação de máquina. Nosso objetivo é encontrar um plano de produção que satisfaça a demanda de todos os clientes, considerando que a soma dos custos de produção, de estoque, de transporte e de preparação de máquina seja a menor possível. Este trabalho tem duas contribuições centrais. Primeiramente, propomos a modelagem do problema de dimensionamento de lotes com múltiplas plantas utilizando o conceito de localização de facilidades. Para instâncias de pequena dimensão, os testes computacionais mostraram que a resolução do problema remodelado apresenta, como esperado, resultados melhores que o modelo original. No entanto, seu elevado número de restrições e de variáveis faz com que as instâncias de maiores magnitudes não consigam ser resolvidas. Para trabalhar com instâncias maiores, propomos um método híbrido (math-heurística), que combina o método relax-and-fix, com a restrição de local branching. Testes computacionais mostram que o método proposto apresenta soluções factíveis de boa qualidade para estas instâncias / In this work, we present a study about the multi-plant, multi-item, multi-period lot-sizing problem. The plants have limited capacity, and the production of each item implies in setup times and setup costs. Our objective is to find a production plan which satisfies the demand of every client, considering that the sum of the production, stocking, transport and setup costs is the lowest possible. This work has two main contributions. Firstly, we propose the multi-plant lot-sizing problem modeling using the facility location concept. For small dimension problems, computational tests showed that the remodeled problem resolution presents, as expected, better results than the original model. However, the great number of restrictions and variables make bigger instances to be intractable. To work with the bigger dimension instances, we propose a hybrid method (math-heuristic), which combines the relax-and-fix method and the local branching restriction. Computational tests show that the proposed math-heuristic presents good quality feasible solutions for these instances