Les produits déshydratés permettent d’optimiser la conservation et le transport des aliments. Les poudres alimentaires distribuées au consommateur affichent des garanties nutritionnelles en termes d’apports qualitatif et quantitatif. Cependant, l’apport nutritionnel du produit après reconstitution et cuisson, n’est pas garanti. Ce travail se concentre sur l’évaluation des pertes en vitamines dues aux procédés de transformation alimentaire en lien avec l’effet de la matrice alimentaire. Ces pertes mesurées après le traitement thermique ne sont pas négligeables, rendant l’encapsulation nécessaire pour répondre à l’objectif de la thèse de garantir une teneur en vitamines suffisante après reconstitution et traitement thermique du produit alimentaire déshydraté. Différentes matrices ont été testées à l’échelle laboratoire et industrielle. Parmi ces matrices, certaines comme les protéines laitières et l’amidon se sont avérées très intéressants et ont permis la préservation de la vitamine C du traitement thermique. Pour finaliser l’étude, il a été indispensable de prendre en compte le stockage des poudres de la vitamine C encapsulée avant et après leur commercialisation. Pour assurer leur teneur suffisante en vitamine C lors ce stockage, un vieillissement accéléré a été effectué. Cette thèse a permis d’apporter des réponses concrètes au problème industriel posé, qui était de garantir la teneur en vitamine C des produits commercialisés après reconstitution et traitement thermique / Dehydrated products make it possible to optimize the storage and transport of food products. Food powder mixes distributed to the consumer display nutritional guarantees in terms of qualitative and quantitative inputs. However, the nutritional value of the product after reconstitution and cooking, is not guaranteed. This PhD work focuses on the evaluation of vitamins losses due to food processing in relation to the effect of the food matrix. Losses measured after the heat treatment were not negligible, making the encapsulation necessary to meet the objective of the thesis to guarantee a sufficient vitamins content after reconstitution and heat treatment of the dehydrated food product. Different matrices have been tested at the laboratory scale and industrial scales. Some of these matrices, such as dairy proteins and starch, have proved to be very interesting and allowed the preservation of vitamin C during heat treatment. To finalize the study, it was essential to take into account that the vitamin C-encapsulating powders will be stored before and after their distribution. To ensure that they maintain a sufficient vitamin C content during storage, accelerated aging has been carried out. Thus this thesis made it possible to provide concrete answers to the posed industrial problem, which was to guarantee the vitamin C content of the commercial products after reconstitution and heat treatment

Les particules fines troposphériques de diamètre aérodynamique inférieur à 2,5 µm (PM2.5) peuvent impacter la santé et les écosystèmes. Les aérosols inorganiques secondaires (AIS) et organiques (AO) contribuent fortement aux PM2.5. Pour comprendre leur formation et leur origine, une campagne d’1 an (août 2015 - juillet 2016) de mesures horaires de gaz précurseurs inorganiques et d’ions hydrosolubles particulaires a été menée sur un site urbain du nord de la France avec un MARGA 1S, complétées par les concentrations massiques en PM2.5, carbone suie, oxydes d’azote et éléments traces. Des niveaux élevés de nitrate d’ammonium (NA) ont été observés la nuit au printemps et de sulfate d’ammonium la journée en été. L’étude de la contribution des sources par le modèle PMF (Positive Matrix Factorization) a permis d’identifier 8 facteurs sources: 3 régionaux (riche en sulfates, riche en nitrates et marin) pour 73 à 78%, et 5 locaux (trafic, combustion de biomasse, fond industriel métallurgique, industrie locale et poussières minérales) (22-27%). De plus, un HR-ToF-AMS (spectromètre de masse à aérosols) et un SMPS (granulomètre) ont été utilisés lors d’une campagne intensive en hiver, afin de mieux documenter l’AO et la formation de nouvelles particules, respectivement. L’application du PMF aux spectres de masses d’AO a permis d’identifier 5 facteurs liés au trafic (15%), à la cuisson (11%), à la combustion de biomasse (25%), et à une oxydation plus ou moins forte de la matière organique (33% et 16%). Plusieurs événements nocturnes de formation de nouvelles particules impliquant les AIS, notamment du NA, ont été observés. / Tropospheric fine particles with aerodynamic diameters less than 2.5 µm (PM2.5) may impact health, climate and ecosystems. Secondary inorganic (SIA) and organic aerosols (OA) contribute largely to PM2.5. To understand their formation and origin, a 1-year campaign (August 2015 to July 2016) of inorganic precursor gases and PM2.5 water-soluble ions was performed at an hourly resolution at a suburban site in northern France using a MARGA 1S, complemented by mass concentrations of PM2.5, Black Carbon, nitrogen oxides and trace elements. The highest levels of ammonium nitrate (AN) and sulfate were observed at night in spring and during daytime in summer, respectively. A source apportionment study performed by positive matrix factorization (PMF) determined 8 source factors, 3 having a regional origin (sulfate-rich, nitrate-rich, marine) contributing to PM2.5 mass for 73-78%; and 5 a local one (road traffic, biomass combustion, metal industry background, local industry and dust) (22-27%). In addition, a HR-ToF-AMS (aerosol mass spectrometer) and a SMPS (particle sizer) were deployed during an intensive winter campaign, to gain further insight on OA composition and new particle formation, respectively. The application of PMF to the AMS OA mass spectra allowed identifying 5 source factors: hydrocarbon-like (15%), cooking-like (11%), oxidized biomass burning (25%), less- and more-oxidized oxygenated factors (16% and 33%, respectively). Combining the SMPS size distribution with the chemical speciation of the aerosols and precursor gases allowed the identification of nocturnal new particle formation (NPF) events associated to the formation of SIA, in particular AN.

The thesis explored the use of different sorbent materials in solid phase extraction method development. The methods included the use of the polymeric Agilent Bond Elut Plexa solid phase extraction and electrospun polymer-silica composite sorbents for clean-up and preconcentration. Sample clean-up for alkaloids (hydrastine and berberine) in goldenseal, Hydrastis canadensis and flavonoids (quercetin, kaempferol and isorhamnetin) in Ginkgo biloba was achieved using Bond Elut Plexa SPE sorbent. Clean-up of flavonoids in Ginkgo biloba was also achieved using electrospun polymer-silica composite (polystyrene-silica, polyacrylonitrile-silica and nylon 6-silica) sorbents. All analysis of flavonoids and alkaloids was carried out using an Agilent 1200 Series HPLC coupled with a diode array detector. Good peak separation was achieved in less than 6 min employing an Agilent ZORBAX Eclipse Plus C18 column (4.6 x 75 mm, 3.5 μm) at 35⁰C. The mobile phases employed were 0.1% phosphoric acid/methanol gradient and 0.5% phosphoric acid/methanol (40:60) for alkaloids and flavonoids respectively. The calibration curves exhibited linearity up to 120 μg mL⁻¹ with correlation coefficients of more than 0.9980. The recoveries ranged from 73-109% with relative standard deviation of less than 5% for all analytes. Agilent Chem Elut supported liquid extraction was employed for the development of a sample preparation method for the determination of 24 banned aromatic amines from azo dyes in textile following the EU standard method EN 14362-1:2003 (E) and the Chinese standard method GB/T 17592-2006. The supported liquid extraction was effective in the extraction of the aromatic amines from textile (cotton, wool and polyester/cotton [80%:20%]). Most of the recoveries obtained were conforming to the minimum requirements set in the EN 14362-1:2003 (E) standard method and the relative standard deviations were less than 15%. Good peak separation was obtained within 70 min run time using the Agilent Zorbax SB-Phenyl column (4.6 mm x 250 mm, 5-micron) or the Agilent DB-35 MS (J & W) (30 m x 0.25 mm, 0.25 μm film thickness. It was demonstrated that the polymeric Agilent Bond Elut Plexa, electrospun nanofibers and diatomaceous earth were effective in extraction of alkaloids, flavonoids and aromatic amines in different matrices. The developed methods were simple, rapid and reproducible.

Computaçãao quântica pode ser entendida como transformação da informação codificada no estado de um sistema físico quântico. A idéia básica da computação quântica é codificar dados utilizando bits quânticos (qubits). Diferentemente do bit clássico, o qubit pode existir em uma superposição dos seus estados básicos permitindo o “paralelismo quântico”, o qual é uma característica importante da computação quântica visto que pode aumentar consideravelmente a velocidade de processamento dos algoritmos. Entretanto, tipos de dados quânticos são bastante poderosos não somente por causa da superposição de estados. Existem outras propriedades ímpares como medida e emaranhamento. Nesta tese, nós discutimos que um modelo realístico para computações quânticas deve ser geral com respeito a medidas, e completo com respeito a comunicação entre o mundo quântico e o mundo clássico. Nós, então, explicamos e estruturamos computações quânticas gerais e completas em Haskell utilizando construções conhecidas da área de semântica e linguagens de programação clássicas, como mônadas e setas. Em mais detalhes, esta tese se concentra nas seguintes contribuições. Mônadas e Setas. Paralelismo quântico, emaranhamento e medida quântica certamente vão além do escopo de linguagens funcionais “puras”. Nós mostramos que o paralelismo quântico pode ser modelado utilizando-se uma pequena generalização de mônadas, chamada mônadas indexadas ou estruturas Kleisli. Além disso, nós mostramos que a medida quântica pode ser explicada utilizando-se uma generalização mais radical de mônadas, as assim chamadas setas, mais especificamente, setas indexadas, as quais definimos nesta tese. Este resultado conecta características quânticas “genéricas” e “completas” `a construções semânticas de linguagens de programação bem fundamentadas. Entendendo as Interpretações da Mecânica Quântica como Efeitos Computacionais. Em um experimento hipotético, Einstein, Podolsky e Rosen demonstraram algumas consequências contra-intuitivas da mecânica quântica. A idéia básica é que duas partículas parecem sempre comunicar alguma informação mesmo estando separadas por uma distância arbitrariamente grande. Existe muito debate e muitos artigos sobre esse tópico, mas é interessante notar que, como proposto por Amr Sabry, essas características estranhas podem ser essencialmente modeladas por atribuições a variáveis globais. Baseados nesta idéia nós modelamos este comportamento estranho utilizando noções gerais de efeitos computacionais incorporados nas noções de mônadas e setas. Provando Propriedades de Programas Quânticos Utilizando Leis Algébricas. Nós desenvolvemos um trabalho preliminar para fazer provas equacionais sobre algoritmos quânticos escritos em uma sublinguagem pura de uma linguagem de programação funcional quântica, chamada QML. / Quantum computation can be understood as transformation of information encoded in the state of a quantum physical system. The basic idea behind quantum computation is to encode data using quantum bits (qubits). Differently from the classical bit, the qubit can be in a superposition of basic states leading to “quantum parallelism”, which is an important characteristic of quantum computation since it can greatly increase the speed processing of algorithms. However, quantum data types are computationally very powerful not only due to superposition. There are other odd properties like measurement and entangled. In this thesis we argue that a realistic model for quantum computations should be general with respect to measurements, and complete with respect to the information flow between the quantum and classical worlds. We thus explain and structure general and complete quantum programming in Haskell using well known constructions from classical semantics and programming languages, like monads and arrows. In more detail, this thesis focuses on the following contributions. Monads and Arrows. Quantum parallelism, entanglement, and measurement certainly go beyond “pure” functional programming. We have shown that quantum parallelism can be modelled using a slightly generalisation of monads called indexed monads, or Kleisli structures. We have also build on this insight and showed that quantum measurement can be explained using a more radical generalisation of monads, the so-called arrows, more specifically, indexed arrows, which we define in this thesis. This result connects “generic” and “complete” quantum features to well-founded semantics constructions and programming languages. Understanding of Interpretations of QuantumMechanics as Computational Effects. In a thought experiment, Einsten, Podolsky, and Rosen demonstrate some counter-intuitive consequences of quantum mechanics. The basic idea is that two entangled particles appear to always communicate some information even when they are separated by arbitrarily large distances. There has been endless debate and papers on this topic, but it is interesting that, as proposed by Amr Sabry, this strangeness can be essentially modelled by assignments to global variables. We build on that, and model this strangeness using the general notions of computational effects embodied in monads and arrows. Reasoning about Quantum Programs Using Algebraic Laws. We have developed a preliminary work to do equational reasoning about quantum algorithms written in a pure sublanguage of a functional quantum programming language, called QML.

Este trabalho apresenta metodologias para a construção e a sintonia de estimadores de estados não-lineares visando aplicações práticas. O funcionamento de um estimador de estados não-linear está calcado em quatro etapas básicas: (a) sintonia; (b) predição; (c) atualização da matriz de covariância de estados; (d) filtragem e suavização dos estados. As principais contribuições deste trabalho para cada uma destas etapas podem ser resumidas como segue: (a) Sintonia. A sintonia adequada da matriz de covariância do ruído de processos é fundamental na aplicação dos estimadores de estado com modelos sujeitos a incertezas paramétricas e estruturais. Sendo assim, foi proposto um novo algoritmo para a sintonia desta matriz que considera dois novos métodos para a determinação da matriz de covariância dos parâmetros. Este algoritmo melhorou significativamente a precisão da estimação dos estados na presença dessas incertezas, com potencialidade para ser usado na atualização de modelos em linha em práticas industriais. (b) Predição. Uma das etapas mais importantes para a aplicação do estimador de estados é a formulação dos modelos usados. Desta forma, foi mostrado como a formulação do modelo a ser usada em um estimador de estados pode impactar na observabilidade do sistema e na sintonia das matrizes de covariância. Também são apresentadas as principais recomendações para formular um bom modelo. (c) Atualização da matriz de covariância dos estados. A robustez numérica das matrizes de covariância dos estados usadas em estimadores de estados sem e com restrições é ilustrada através de dois exemplos da engenharia química que apresentam multiplicidade de soluções. Mostrou-se que a melhor forma de atualizar os estados consiste na resolução de um problema de otimização sujeito a restrições onde as estimativas fisicamente inviáveis dos estados são evitadas. Este também preserva a gaussianidade dos ruídos evitando que estes sejam mal distribuídos. (d) Filtragem e suavização dos estados. Entre as formulações estudadas, observou-se também que a melhor relação entre a acuracidade das estimativas e a viabilidade de aplicação prática é obtida com a formulação do filtro de Kalman estendido sujeita a restrições (denominada Constrained Extended Kalman Filter - CEKF), uma vez que esta demanda menor esforço computacional que a estimação de horizonte móvel, apresentando um desempenho comparável exceto no caso de estimativas ruins da condição inicial dos estados. Como uma solução alternativa eficiente para a estimação de horizonte móvel neste último caso, foi proposto um novo estimador baseado na inclusão de uma estratégia de suavização na formulação do CEKF, referenciado como CEKF & Smoother (CEKF&S). / This work presents approaches to building and tuning nonlinear state estimators aiming practical applications. The implementation of a nonlinear state estimator is supported by four basic steps: (a) tuning; (b) forecast; (c) state covariance matrix update; (d) states filtering and smoothing. The main contributions of this work for each one of these stages can be summarized as follows: (a) Tuning. An appropriate choice of the process-noise covariance matrix is crucial in applying state estimators with models subjected to parametric and structural uncertainties. Thus, a new process-noise covariance matrix tuning algorithm is presented in this work which incorporates two new methods for the parameter covariance matrix computation. The algorithm has improved significantly the state estimation accuracy when the presence of such uncertainties, with potential to be applied in on-line model update in industrial practice. (b) Forecast. One of the most important stages in applying state estimators is the used model formulation. In this way, it has been shown that the model formulation to be used in state estimator can impact on the system observability and noisecovariance matrices tuning. In this work it is also presented the main recommendations to formulate an appropriated model. (c) State covariance matrix update. The numerical robustness of the state covariance matrices used in unconstrained and constrained state estimators is illustrated by two chemical engineering examples tending to multiple solutions. It has been shown that the best technique to update the states consists in solving an optimization problem subjected to constraints, since it prevents from physically unfeasible states. It also preserves the noise gaussianity preventing from bad noise distribution. (d) States filtering and smoothing. Among the studied formulations, it was also noticed that the better relationship between performance and practical application is obtained with an extended Kalman filter formulation subjected to constraints (called Constrained Extended Kalman Filter - CEKF) because it requires small computational effort than MHE with comparable performance, except in case of poor guesses of the initial state. As an efficient solution for moving horizon estimation in the last case, it was proposed a new estimator based on the addition of a smoother strategy into the CEKF formulation, referred as CEKF & Smoother (CEKF&S).

CUNHA FILHO, Clayton Mendonça. A construção do horizonte plurinacional: liberalismo, indianismo e nacional-popular na formação do Estado boliviano. 2015. 314f. Tese (Doutorado) – Universidade do Estado do Rio de Janeiro, Instituto de Estudos Sociais e Políticos, Programa de Pós-Graduação em Ciência Política, Rio de Janeiro, 2015. / Submitted by Hanna Sandy (nannybells@gmail.com) on 2016-12-20T13:38:23Z No. of bitstreams: 1 2015_tese_cmcunhafilho.pdf: 3039107 bytes, checksum: 029d2640cbddee9a3f8ed9e6152d4a56 (MD5) / Approved for entry into archive by Márcia Araújo (marcia_m_bezerra@yahoo.com.br) on 2016-12-22T11:41:06Z (GMT) No. of bitstreams: 1 2015_tese_cmcunhafilho.pdf: 3039107 bytes, checksum: 029d2640cbddee9a3f8ed9e6152d4a56 (MD5) / Made available in DSpace on 2016-12-22T11:41:06Z (GMT). No. of bitstreams: 1 2015_tese_cmcunhafilho.pdf: 3039107 bytes, checksum: 029d2640cbddee9a3f8ed9e6152d4a56 (MD5) Previous issue date: 2015 / A presente tese busca compreender e explicar a formação do Estado Plurinacional da Bolívia a partir do legado de símbolos, procedimentos e modelos de aquisição de legitimidade deixados ao longo de sua história e que podem ser agrupados em três grandes matrizes políticas: o liberalismo-constitucional, o indianismo-comunitário e o nacional-popular. Assim, o objetivo é analisar como o legado destas três matrizes políticas, através principalmente da evolução histórica de seus horizontes políticos e da memória de suas agendas e promessas inconclusas acerca do Estado e da nação na Bolívia, influenciam o atual experimento inaugurado em 2009 com a promulgação de sua atual Constituição Política do Estado (CPE). A hipótese subjacente é a de que o experimento plurinacional, em sua tentativa de resolver a forte crise de legitimidade estatal trazida pela conjuntura crítica dos anos 2000-2005, se nutre fortemente das agendas destas três matrizes – seja intencional e deliberadamente como no caso do Indianismo e do Nacional-popular ou de maneira reticente como no caso do Liberalismo - de forma a tentar reconciliar o Estado com sua altamente heterogênea formação social. A fim de verificá-la, foi realizado um estudo de natureza eminentemente bibliográfica complementado por pesquisa de campo de seis meses a fim de traçar a evolução política das três matrizes em seus momentos constitutivos, horizontes e agendas e contrastá-las com as características institucionais assumidas pelo novo Estado Plurinacional, bem como a prática política dos principais atores bolivianos contemporâneos. Dessa maneira, foi possível perceber o quanto de fato persistem no experimento refundacionista atual e na prática política corrente do país uma mescla heterogênea e com distintas ênfases das agendas e práticas das três matrizes, representadas sobretudo no apego à democracia como valor e procedimento; no reconhecimento étnico-cultural trazido ao interior do Estado com a incorporação potencial pelo mesmo de formatos institucionais comunitários e a preservação de espaços autônomos de deliberação; e na busca por participação política mais direta por parte do povo e na ênfase relativa à soberania popular sobre os recursos naturais do país e um maior intervencionismo estatal na economia. / La presente tesis busca comprender y explicar la formación del Estado Plurinacional de Bolivia a partir del legado de símbolos, procedimientos y modelos de adquisición de legitimidad dejados a lo largo de su historia y que pueden ser agrupados en tres grandes matrices políticas: el liberalismo-constitucional, el indianismo-comunitario y lo nacionalpopular. Así, el objetivo es analizar cómo el legado de estas tres matrices, a través principalmente de la evolución histórica de sus horizontes políticos y de la memoria de sus agendas y promesas inconclusas acerca del Estado y de la nación boliviana influencian al presente experimento inaugurado en 2009 con la promulgación de su actual Constitución Política del Estado (CPE). La hipótesis subyacente es la de que el experimento plurinacional, en su tentativa de solucionar la fuerte crisis de legitimidad estatal desatada por por la coyuntura crítica de los años 2000-2005, se alimenta fuertemente de las agendas de estas tres matrices - ya sea intencional y deliberadamente como en el caso del indianismo y del nacional-popular o de manera vacilante como en el del liberalismo - de manera a intentar conciliar al Estado con su abigarrada formación social. A fin de verificarlo, fue realizado un estudio de naturaleza eminentemente bibliográfica complementado por investigación de campo de seis meses con el objetivo de trazar la evolución política de las tres matrices en sus momentos constitutivos, horizontes y agendas y contrastarlas con las características institucionales asumidas por el nuevo Estado Plurinacional, bien como la práctica política de los principales actores bolivianos contemporáneos. De esa manera, fue posible observar la persistencia en el experimento refundacional actual bien como en la práctica política corriente del país una mezcla heterogénea y con distintos énfasis de las agendas y prácticas de las tres tradiciones, representadas sobre todo en el apego a la democracia como valor y procedimiento; en el reconocimiento étnico-cultural traído al interior del Estado con la incorporación potencial por el mismo de formatos institucionales comunitarios y la preservación de espacios autónomos de deliberación; y en la búsqueda por participación política más directa por parte del pueblo y en el énfasis sobre la soberanía popular sobre los recursos naturales del país y una incrementada intervención estatal en la economía.

A Geografia tem a importante tarefa de renovar conceitos relacionados ao papel que o homem exerce sobre o ambiente. Resta saber se essas mudanças, assim como as necessidades surgidas a partir do novo papel do geógrafo, estão sendo refletidas nos cursos de graduação e qual o atual conceito de ambiente concebido pelos estudiosos, aqui representados por professores entrevistados. Com base nisso, remete-se à problemática acerca da questão ambiental dentro das matrizes curriculares dos cursos de graduação em Geografia no Brasil, nos anos de 2010 a 2012. Procurou-se problematizar sobre a possibilidade de discussão de um novo conceito de ambiente a partir da Geografia. O objetivo geral desta tese é avaliar a situação atual das disciplinas que trabalham a questão ambiental dentro dos cursos de Geografia no Brasil e, a partir dessa avaliação, analisar e estabelecer um diálogo com a bibliografia relativa ao tema hoje em dia, além de avaliar a concepção acerca do conceito de ambiente que se discute na formação dos geógrafos no Brasil. Os objetivos específicos são: diagnosticar e mapear quais instituições no Brasil possuem o curso de Geografia; analisar a matriz curricular de um conjunto de cursos de Geografia no Brasil, durante o período de 2010 a 2012; compreender como se expressa a concepção ambiental por meio da análise de currículos e de ementas em relação ao conceito de ambiente; analisar as concepções sobre Ambiente, na Geografia contemporânea, por meio da seleção de geógrafos que abordam o tema; avaliar e compreender como se manifesta a questão ambiental na estrutura curricular da formação do geógrafo. Para a evidência dos dados acerca das instituições de ensino objeto da pesquisa, utilizou-se o SIG – Sistema de Informações Geográficas, o qual permitiu a localização e o mapeamento das instituições, com sua distribuição geográfica no país. O método utilizado para que seja possível atingir os propósitos da presente tese é a análise de conteúdo, tida como o conjunto de instrumentos metodológicos cada vez mais sutis e em constante aperfeiçoamento, que se aplicam a discursos extremamente diversificados. Com a utilização das técnicas que formam a análise de conteúdo, foi possível calcular a frequência com que alguns fatores apareceram nos dados primários, cifrando-os. Isso foi feito em dois momentos do trabalho: no capítulo três, que trata dos conteúdos das matrizes curriculares dos Cursos de Geografia, e no capítulo quatro, quando da análise das respostas subjetivas que fizeram parte do questionário aplicado aos professores participantes da pesquisa sobre a concepção atual de ambiente. A pesquisa mostrou resultados atualizados de como se apresenta a questão do ambiente nas matrizes curriculares brasileiras dos cursos de Geografia oferecidos em nível superior de ensino. Chegou-se também a uma nova concepção de ambiente dentro da ciências geográficas, que pode ser relacionado ao ambiente como resultado das relações humanas e naturais sobre o espaço geográfico. / Geography has the important task of renovating concepts related to the role that man has on the environment . The question is whether these changes as well as the needs arising from the new role of the geographer are being reflected in undergraduate and what the current environment concept conceived by scholars , represented here by teachers interviewed . Based on this , we refer to the problem about the environmental issue within the curricular undergraduate courses in Geography in Brazil , in the years 2011 and 2012 . We also sought to discuss the possibility of discussion of a new concept of environment from Geography. The aim of this thesis is to assess the current situation of disciplines working environmental issues within the Geography courses in Brazil and , from this review , analyze and establish a dialogue with the literature on the subject today , and to evaluate the conceptions of the concept of environment is discussed in the training of geographers in Brazil . The specific objectives are : to diagnose and map out which institutions in Brazil have the course in Geography ; analyze the curriculum of a set of courses in Geography in Brazil during the period 2010-2012 ; understand how to express the design environment through review of curricula and menus on the concept of environment , analyze the conceptions of environment , Geography in contemporary , through the selection of geographers that address ; evaluate and understand how it manifests itself in the environmental curriculum training geographer . For evidence of data on educational institutions research object , used the GIS - Geographic Information System , which allowed the location and mapping of institutions , with their geographical distribution in the country. The method used to make it possible to achieve the purposes of this thesis is the analysis of content, taken as a set of methodological tools increasingly subtle and constant improvement , which apply to speeches extremely diverse . With the use of techniques that make up the content analysis was used to calculate the frequency with which certain factors appeared in the primary data by encrypting them . This was done in two phases of work : in chapter three , which deals with the curricular content of geography courses , and in chapter four , when analyzing the objective answers that were part of the questionnaire used to teachers participating in the research on the design current environment. The research results showed updated as has the issue of environment on curricular Brazilian Geography courses offered at undergraduate level . There was also a new conception of the environment within the geographical sciences , which may be related to the environment as a result of natural and human relations on the geographical space.

Made available in DSpace on 2016-06-02T20:29:21Z (GMT). No. of bitstreams: 1 5047.pdf: 7174607 bytes, checksum: 837e7cc228e4843dda4ee2007b2c7c55 (MD5) Previous issue date: 2013-03-21 / The present work aims at showing the development and implementation of a Didactic Engineering on the use of encrypted messages in teaching matrices to students who are attending the second high school year at Esmeralda Soares Ferraz School in the City of Ourinhos-SP. This work begins with a question related to the discouragement and apathy of students in studying mathematics and suggests, taking the teaching of matrices through encrypted messages by transposition of letters, a different approach from those commonly applied, through which, the student eager to solve them, will get engaged and interested in learning, in a simple way, the concepts of matrices and transposed matrices, being protagonist of his/her search for knowledge. / O presente trabalho tem como objetivo mostrar a elaboração e realização de uma Engenharia Didática sobre o uso de mensagens criptografadas no ensino de matrizes com alunos do 2o ano do Ensino Médio da Escola Esmeralda Soares Ferraz na Cidade de Ourinhos-SP. Esse trabalho inicia-se com um questionamento sobre o desânimo e a apatia dos alunos em estudar Matemática e sugere, abordando o ensino de matrizes através de mensagens criptografadas por transposição de letras, uma abordagem diferente daquela aplicada no cotidiano, através da qual, o aluno, no anseio de solucioná-las, se empenhe e se interesse em aprender de forma simples os conceitos de matrizes e matrizes transpostas, sendo protagonista de sua busca pelo conhecimento.

This thesis addresses the issues surrounding the application of the finite element method to analyse composite structure repairs with an emphasis on aircraft applications. A comprehensive literature survey has been carried out for this purpose and the results are presented. A preliminary study and a comparative study of different modelling approaches have been completed. These studies aim to explore and identify the problems in modelling repairso n simplec ompositep anelsw ith speciala ttention given to adhesivem odelling. Three modelling approaches have been considered: Siener's model which is an extension of the traditional plane strain 2D model used for adhesively bonded joints, Bait's model which is a promising new approach and a full 3D model. These studies have shown that these methods are complementary providing a different insight into bonded repairs. They have also highlighted the need for a new modelling approach which will provide an overall view of bonded repairs. Improved modelling approachesh ave been developedf or externallyb onded patch and flush repairs. These models enable the study of adhesive failure as well as composite adherendf ailures.T hesea pproachesh aveb eena ppliedt o real repairs and the predicted results compared to experimental data. Four case studies have been conducted: external bonded patch repairs to composite plates, a scarf joint for bonded repairs, a flat panel repaired with a scarfed patch and a repaired curved panel. These case studies have shown that bonded repairs to composite structures can be analyseds uccessfullyu sing PC-basedc ommercialf inite elementc odes.

Computaçãao quântica pode ser entendida como transformação da informação codificada no estado de um sistema físico quântico. A idéia básica da computação quântica é codificar dados utilizando bits quânticos (qubits). Diferentemente do bit clássico, o qubit pode existir em uma superposição dos seus estados básicos permitindo o “paralelismo quântico”, o qual é uma característica importante da computação quântica visto que pode aumentar consideravelmente a velocidade de processamento dos algoritmos. Entretanto, tipos de dados quânticos são bastante poderosos não somente por causa da superposição de estados. Existem outras propriedades ímpares como medida e emaranhamento. Nesta tese, nós discutimos que um modelo realístico para computações quânticas deve ser geral com respeito a medidas, e completo com respeito a comunicação entre o mundo quântico e o mundo clássico. Nós, então, explicamos e estruturamos computações quânticas gerais e completas em Haskell utilizando construções conhecidas da área de semântica e linguagens de programação clássicas, como mônadas e setas. Em mais detalhes, esta tese se concentra nas seguintes contribuições. Mônadas e Setas. Paralelismo quântico, emaranhamento e medida quântica certamente vão além do escopo de linguagens funcionais “puras”. Nós mostramos que o paralelismo quântico pode ser modelado utilizando-se uma pequena generalização de mônadas, chamada mônadas indexadas ou estruturas Kleisli. Além disso, nós mostramos que a medida quântica pode ser explicada utilizando-se uma generalização mais radical de mônadas, as assim chamadas setas, mais especificamente, setas indexadas, as quais definimos nesta tese. Este resultado conecta características quânticas “genéricas” e “completas” `a construções semânticas de linguagens de programação bem fundamentadas. Entendendo as Interpretações da Mecânica Quântica como Efeitos Computacionais. Em um experimento hipotético, Einstein, Podolsky e Rosen demonstraram algumas consequências contra-intuitivas da mecânica quântica. A idéia básica é que duas partículas parecem sempre comunicar alguma informação mesmo estando separadas por uma distância arbitrariamente grande. Existe muito debate e muitos artigos sobre esse tópico, mas é interessante notar que, como proposto por Amr Sabry, essas características estranhas podem ser essencialmente modeladas por atribuições a variáveis globais. Baseados nesta idéia nós modelamos este comportamento estranho utilizando noções gerais de efeitos computacionais incorporados nas noções de mônadas e setas. Provando Propriedades de Programas Quânticos Utilizando Leis Algébricas. Nós desenvolvemos um trabalho preliminar para fazer provas equacionais sobre algoritmos quânticos escritos em uma sublinguagem pura de uma linguagem de programação funcional quântica, chamada QML. / Quantum computation can be understood as transformation of information encoded in the state of a quantum physical system. The basic idea behind quantum computation is to encode data using quantum bits (qubits). Differently from the classical bit, the qubit can be in a superposition of basic states leading to “quantum parallelism”, which is an important characteristic of quantum computation since it can greatly increase the speed processing of algorithms. However, quantum data types are computationally very powerful not only due to superposition. There are other odd properties like measurement and entangled. In this thesis we argue that a realistic model for quantum computations should be general with respect to measurements, and complete with respect to the information flow between the quantum and classical worlds. We thus explain and structure general and complete quantum programming in Haskell using well known constructions from classical semantics and programming languages, like monads and arrows. In more detail, this thesis focuses on the following contributions. Monads and Arrows. Quantum parallelism, entanglement, and measurement certainly go beyond “pure” functional programming. We have shown that quantum parallelism can be modelled using a slightly generalisation of monads called indexed monads, or Kleisli structures. We have also build on this insight and showed that quantum measurement can be explained using a more radical generalisation of monads, the so-called arrows, more specifically, indexed arrows, which we define in this thesis. This result connects “generic” and “complete” quantum features to well-founded semantics constructions and programming languages. Understanding of Interpretations of QuantumMechanics as Computational Effects. In a thought experiment, Einsten, Podolsky, and Rosen demonstrate some counter-intuitive consequences of quantum mechanics. The basic idea is that two entangled particles appear to always communicate some information even when they are separated by arbitrarily large distances. There has been endless debate and papers on this topic, but it is interesting that, as proposed by Amr Sabry, this strangeness can be essentially modelled by assignments to global variables. We build on that, and model this strangeness using the general notions of computational effects embodied in monads and arrows. Reasoning about Quantum Programs Using Algebraic Laws. We have developed a preliminary work to do equational reasoning about quantum algorithms written in a pure sublanguage of a functional quantum programming language, called QML.