Die vorliegende Arbeit ist ein Beitrag auf dem Gebiet der theoretischen Chemie und beschäftigt sich mit der Entwicklung effizienter Berechnungsmethoden für die Elektronendichte und die Energie des Grundzustands molekularer und periodischer Systeme im Rahmen der Kohn-Sham-Dichtefunktionaltheorie (Kohn-Sham-DFT) und unter Verwendung von lokalen Basisfunktionen. Im Vordergrund steht dabei die einheitliche Beschreibung von Molekülen und ausgedehnten Systemen beliebiger Periodizität (zum Beispiel Volumenkristalle, dünne Filme und Polymere) mit einfachen Algorithmen bei einem hohen Maß an numerischer Genauigkeit und Recheneffizienz. Dafür hat der Verfasser bewährte molekulare Simulationsmethoden in neuartiger Form auf periodische Randbedingungen erweitert und zu einer vollständigen DFT-Methode vereint. Von diesen Methoden ist das völlig neue Konzept für die RI-Methode (resolution of identity, Zerlegung der Einheit), die auf den Coulomb-Term angewendet wird, die Schlüsseltechnologie in dieser Arbeit. Ein Merkmal der Methode ist, dass sie ausschließlich im direkten Raum arbeitet. Neben der RI-Methode wurden weitere methodische Ansätze entwickelt werden, um eine gute Speicher- und Zeiteffizienz der gesamten DFT-Methode zu gewährleisten. Dazu gehören die Komprimierung der speicherintensiven Dichte- und Kohn-Sham-Matrizes und die numerische Integration des Austausch-Korrelationsterms durch die Anwendung eines adaptiven, numerischen Integrationsschemas. Die vorgestellten Methoden werden zum Prototypen eines RI-DFT-Programms zusammengefügt. Dieses Programm ermöglicht die Berechnung von single point-Energien am Gamma-Punkt für Systeme mit abgeschlossenen Schalen. Anhand von Berechnungen werden die numerische Genauigkeit und Effizienz bewertet. Das Programm bildet die Basis für ein effizientes und leistungsfähiges DFT-Programm, das Moleküle und periodische Systeme methodisch einheitlich und numerisch genau behandelt. / This work contributes to the field of theoretical chemistry and is aimed at the development of efficient methods for computation of the electron density and the energy belonging to the ground state of molecular and periodic systems. It is based on the use of Kohn Sham density functional theory (Kohn Sham DFT) and local basis functions. In this scope, the molecular and the periodic systems of any dimensionality (e.g., bulk crystals, thin films, and polymers) are treated on an equal footing using methods which are easy to implement, numerically accurate, and highly efficient. For this, the author has augmented established methods of molecular simulations for their use with periodic boundary conditions applying novel techniques. These methods have been combined to a complete DFT method. Among these methods, the innovative approach for the RI (resolution of identity) method applied to the Coulomb term represents the key technology of this work. As a striking feature, this approach operates exclusively in real space. Although the RI method is the chief ingredient, the development of further methods is required to achieve overall efficiency for the consumption of storage and time. One of these methods is used to compress the density and Kohn Sham matrices. Moreover, numerical integration of the exchange-correlation term has been improved applying an adaptive numerical integration scheme. The methods presented in this thesis are combined to the prototype of an RI-DFT program. Using this program single point energies on the gamma point can be calculated for systems with closed shells. Calculations have been performed and the results are used to assess the accuracy and efficiency achieved. This program forms the foundation of an efficient and competitive DFT code. It works numerically accurate and treats molecules and periodic systems on an equal footing.

A comparação de sequências finitas é uma ferramenta que é utilizada para a solução de problemas em várias áreas. Comparamos sequências inferindo quais são as operações de edição de substituição, inserção e remoção de símbolos que transformam uma sequência em uma outra. As matrizes de pontuação são estruturas largamente utilizadas e que definem um custo para cada tipo de operação de edição. Uma matriz de pontuação G é indexada pelos símbolos do alfabeto. A entrada de G na linha A, coluna B mede o custo da operação de edição para substituir o símbolo A pelo símbolo B. As matrizes de pontuação induzem funções que atribuem uma pontuação para um conjunto de operações de edição. Algumas dessas funções para a comparação de duas e de várias sequências são estudadas nesta tese. Quando cada símbolo de cada sequência é editado exatamente uma vez para transformar uma sequência em outra, o conjunto de operações de edição pode ser representado por uma estrutura conhecida por alinhamento. Descrevemos uma estrutura para representar o conjunto de operações de edição que não pode ser representado por um alinhamento convencional e descrevemos um algoritmo para encontrar a pontuação de uma sequência ótima de operações de edição usando um algoritmo conhecido para encontrar a pontuação de um alinhamento convencional ótimo. Considerando três diferentes funções induzidas de pontuação, caracterizamos, para cada uma delas, a classe das matrizes para as quais as funções induzidas de pontuação são métricas nas sequências. Dadas duas matrizes de pontuação G e G\', dizemos que elas são equivalentes para uma dada função que é induzida por uma matriz de pontuação e que avalia a qualidade de um alinhamento se, para quaisquer dois alinhamentos A e B, vale o seguinte: o alinhamento A é ``melhor\'\' do que o alinhamento B considerando a matriz G se e somente se A é ``melhor\'\' do que o alinhamento B considerando a matriz G\'. Neste trabalho, determinamos condições necessárias e suficientes para que duas matrizes de pontuação sejam equivalentes. Finalmente, definimos três novos critérios para pontuar alinhamentos de várias sequências. Todos os critérios consideram o comprimento do alinhamento além das operações de edição por ele representadas. Para cada um dos critérios definidos,propomos um algoritmo e o problema de decisão correspondente mostramos ser NP-completo. / Comparison of finite sequences is a tool used to solve problems in several areas. In order to compare sequences, we infer which are the edit operations of substitution, insertion and deletion of symbols that transform one sequence into another. Scoring matrices are a widely used structure to define a cost for each type of edit operation. A scoring matrix G is indexed by symbols of an alphabet. The entry in G in row A and column B measures the cost of the edit operation for replacing symbol A by symbol B. Scoring matrices induce functions that assign a score for a set of edit operations. Some of these functions for comparing two and multiple sequences are studied in this thesis. If each symbol is edited exactly once for transforming a sequence into another, the set of edit operations can be represented by a structure called alignment. We describe a structure to represent the set of edit operations that cannot be represented by a conventional alignment and we design an algorithm to find the cost of an optimal sequence of edit operations by using a known algorithm to find the cost of an optimal alignment. Considering three different kinds of induced scoring functions, we characterize, for each one of them, the class of matrices for which the induced scoring functions are metrics on sequences. Given two scoring matrices G and G\', we say they are equivalent for a given function that is induced by a scoring matrix and that evaluates the quality of an alignment if, for any two alignments A and B of two sequences, we have the following: alignment A is ``better\'\' than B considering scoring matrix G if and only if A is ``better\'\' than B considering scoring matrix G\'. In this work, we determine necessary and sufficient conditions for scoring matrices to be equivalent. Finally, we define three new criteria for scoring alignments of several sequence. Every criterion considers the length of the alignment and the edit operations represented by it. An algorithm for each criterion is studied and the corresponding decision problem is shown to be NP-complete.

Made available in DSpace on 2016-04-26T20:25:18Z (GMT). No. of bitstreams: 1 Renato Romeu Renck.pdf: 847067 bytes, checksum: cc4077af3099f7e2dd49656f8ce62b9e (MD5) Previous issue date: 2006-12-04 / This doctoral dissertation aims at checking if the Brazilian Supreme Court uses recurrent paradigms, determined from a specific and defined nucleolus of intelligibility, when judging parts involved in quantifying the tax base of the income tax for legal person. The Constitution through the concept of income, establishes limits to the taxing power which must be observed in order not to risk constitutional violation. To formulate such limits, it is paramount the formulation of a verifying procedure of what income means, to confront it with the standards determined by law. Through the jurisprudence research, structuring and reasoning of judicial theses, we want to investigate if the Supreme Federal Court establishes such limits. This reasoning must be present in decision making paradigms justified by rational criteria and accepted by the judicial community. We refute the structure of rationality which justifies the theory of the national tributary law by pointing out its flaws. We use the Hermeneutic Phenomenology which is the most adequate theory to the application of the institutional regulations and it also allows for the inference of the universal tributary concepts into single concepts. It defines the limits of each individual taxation. From the results of this research the following is justified: when the Supreme Court rejects as several judged antecedents and permits that the income be determined by the legislator, it is not taking into account the formation of a judging paradigm for the evaluation of income. As it states that the legislator has autonomy to determine what tribute income is for the legal person, the Federal Supreme Court renounces the constitutional duty to establish an applicable paradigm to the income evaluation procedure which institutes the limits to the power of tribute. Such renunciation empowers the legislator to institute whatever pleases him or her, removing from the context of the income tax any remains of the existence of the Rule of Law / A presente tese tem como objetivo verificar se a Suprema Corte brasileira adota paradigmas recorrentes determinados, firmados a partir de um núcleo de inteligibilidade específico e definido, quando julga processos de apuração e quantificação da base impositiva do imposto de renda pessoa jurídica. Para formular, em teses paradigmáticas, limites ao poder de tributar, impõe-se a pré-formulação de um procedimento verificatório do que é renda pelo STF, para confrontá-lo com os standards determinados pela lei. Busca-se verificar, pela pesquisa de jurisprudência e pela estruturação e fundamentação das teses jurídicas, se o STF estabelece tais limites e se repousam em paradigmas de decisões, justificados a partir de critérios racionais e aceitos pela comunidade jurídica. Refuta-se a estrutura de racionalidade, que justifica a teoria do direito tributário nacional, apontando suas deficiências e se adota a fenomenologia hermenêutica, que permite a inferência dos conceitos universais tributários em conceitos singulares; possibilitando concretizar os limites constitucionais em cada tributação individual. Pelo resultado da pesquisa justifica-se: o STF ao permitir que a renda seja livremente fixada pelo legislador, não apresenta um paradigma de julgamento em relação a um procedimento de verificação da renda. Portanto, ao afirmar que o legislador tem autonomia para estabelecer o que é renda tributável da pessoa jurídica, a Suprema Corte renunciou tacitamente ao seu dever constitucional, não estabelecendo um paradigma aplicável ao procedimento de apuração da base de cálculo do Imposto de Renda, que institua limites ao poder de tributar. Tal renúncia outorga ao legislador estabelecer o que quiser, removendo do contexto do imposto sobre a renda a existência do Estado de Direito

Submitted by admin tede (tede@pucgoias.edu.br) on 2016-09-12T18:00:01Z No. of bitstreams: 1 DOMINGAS SOARES MACIEL DIAS.pdf: 761247 bytes, checksum: a27bc4d746f6a27004f97f07c6bd8b51 (MD5) / Made available in DSpace on 2016-09-12T18:00:01Z (GMT). No. of bitstreams: 1 DOMINGAS SOARES MACIEL DIAS.pdf: 761247 bytes, checksum: a27bc4d746f6a27004f97f07c6bd8b51 (MD5) Previous issue date: 2015-10-09 / In this study it seizes up and analyzes the theoretical and empirical production of Postgraduate Master's Program, from 2004 to 2013, and spatially held in digital libraries from Brazilian universities, which were one important source for the location of production and, above all, for the latest. In seeking to organize this production of knowledge, with the main points the theme treated in each production, the objectives, the concept of education and its social direction and policy in schools in prison spaces in Brazil given the conditions in the daily lives of those establishments characterized by repression, for order and discipline. Rises as analysis to public formal education developed in Brazilian prisons interferes with the human formation of incarcerated people. It is used in the literature dissertations, which set explicit and several different jobs in different theoretical and methodological bases. The analysis is sustained in authors like Spider (1996), Romanelli (1985), Germano (2005), Ribeiro (1992), Baratta (1990), Fernandes (2005), among others. Added to this, the documentary research that draws on official prison regulations, 1850-1957, and the Law 7210/1984 and thus position the reader as to the content contained within. Clarifies further that the authors of dissertations diverged as to the purpose of public formal education in prisons. The authors were divided into two groups: the first advocates school education as a subject of exploitation so that they have a social practice critical and transformative; already the second, captures the public formal education inside the prisons as an instrument to "re-educate" incarcerated people and prepare them to return to society, with reference to the positivist school. Collected were fiftysix work - articles, theses and dissertations, of which twenty were chosen master's theses by approaching the object in question. / Neste estudo apreende-se e analisa-se a produção teórica e empírica em Programas de Pósgraduação em Mestrado, no período de 2004 a 2013, e, espacialmente realizou-se nas bibliotecas digitais das universidades brasileiras, as quais foram uma fonte importante para a localização das produções e, sobretudo, para as mais recentes. Na busca de se organizar essa produção de conhecimento, tendo como pontos essenciais a temática tratada em cada produção, os objetivos, a concepção de educação e a sua direção social e política nas escolas em espaços prisionais no Brasil dado às condições no cotidiano daqueles estabelecimentos caracterizados pela repressão, pela ordem e pela disciplina. Levanta-se como análise se a educação formal pública desenvolvida em unidades prisionais brasileiras interfere na formação humana das pessoas encarceradas. Utiliza-se da pesquisa bibliográfica em dissertações de mestrado, cujo conjunto explicita vários e distintos trabalhos em bases teóricas e metodológicas diferentes. A análise sustenta-se em autores como Aranha (1996), Romanelli (1985), Germano (2005), Ribeiro (1992), Baratta (1990), Fernandes (2005), dentre outros. Acresce-se a essa, a pesquisa documental, de que se vale de regulamentos penitenciários oficiais, de 1850 a 1957, e da Lei 7210/1984 e, assim, situar o leitor quanto ao conteúdo das mesmas. Esclarece ainda, que os autores das dissertações divergiram quanto à finalidade da educação formal pública em prisões. Os autores foram divididos em dois grupos: o primeiro defende a educação escolarizada como instrumentalização de sujeitos, para que tenham uma prática social crítica e transformadora; já o segundo, apreende a educação formal pública no interior das prisões como instrumento capaz de “reeducar” as pessoas encarceradas e preparálas para o retorno à sociedade, tendo como referência a Escola Positivista. Foram coletados cinquenta e seis trabalhos – artigos, teses e dissertações-dos quais foram escolhidas vinte dissertações de mestrado por se aproximarem do objeto em questão.

The fatigue cracking process occurs by the repeated dynamic loading from the traffic of heavy vehicle. This phenomenon initiates as microcracks and develops under two circumstances: (i) after adhesive failure, when the crack occurs at the interface aggregate-mortar, and/or (ii) after cohesive failure, when the crack develops within the mortar. Based on such interpretation of the cracking phenomenon in asphalt concrete mixtures, researchers have been using the fine aggregate matrices (FAMs) to estimate the fatigue behavior of the asphalt concrete. Good agreement is observed between the properties of the FAM and asphalt concrete properties in studies related to moisture damage, fatigue cracking and permanent deformation. Regarding the fatigue resistance of the flexible pavements, it is important to investigate the effect of the use of modified binders and the binder aging on the fatigue properties of the asphalt concrete, once that the modified binder can enhance the fatigue behavior of the asphalt concrete, and the binder aging hardens the asphalt binder and turns it into a fragile material, with negative effects on the fatigue life of the asphalt concrete. Based on these evidences, this study has the objective of evaluating the effect of modified binders and aging level on the fatigue life of the FAMs, asphalt mastics and asphalt binders. The three scales are comprised of four asphalt binders (neat, AC+PPA, AC+SBS and AC+rubber) aged in short- and long-term. The fatigue properties of the three scales were evaluated by means of the viscoelastic continuum damage (VECD) concepts, once that this theory is able to predict the asphalt concrete behavior independent of loading mode (uniaxial or torsional), control mode (stress-control or strain-control), and amplitude loading applied to induce the damage. The overall results indicate that the addition of modified binder enhances the fatigue behavior and that extended aging is capable of compromise the fatigue performance. At the scales of the binder and the mastic, the AC+rubber presented the best fatigue performance, occupying the first position in the final rank order, and the AC+SBS presented the worst performance, occupying the last position. However, at the FAM scale, the FAMs prepared with the AC+SBS presented the best fatigue performance, occupying the first position in the final rank order, and the FAMs prepared with the neat binder presented the worst behavior, occupying the last position. The best correlation between the three scales regarding the short- and long-term aging was obtained between binder and mastics aged in the PAV with the FAMs aged in long-term for 30 days. / O processo de trincamento por fadiga ocorre devido ao carregamento dinâmico repetido do tráfego de veículos pesados. Este fenômeno tem o início por meio de microtrincas e se propaga por meio de duas condições: (i) após a ruptura adesiva, quando a trinca ocorre na interface entre agregado e mástique, e/ou (ii) após a ruptura coesiva, quando o processo de trincamento ocorre no mástique. Com base nesta interpretação para o trincamento por fadiga em mistura asfáltica, pesquisadores vêm usando matrizes de agregado fino (MAFs) para estimar o comportamento da mistura asfáltica completa quanto ao dano por fadiga. Boa correlação é observada entre as propriedades da MAF e da mistura asfáltica completa (MAC) em estudos relacionados ao dano por umidade, fadiga e deformação permanente. Com relação a resistência de pavimentos flexíveis, é importante avaliar o efeito do uso de ligantes asfálticos modificados e do envelhecimento do ligante nas propriedades da mistura asfáltica, uma vez que ligantes modificados podem melhorar o comportamento da mistura asfáltica quanto ao dano por fadiga, e o envelhecimento do ligante asfáltico pode enrijecer o material tornando-o mais frágil, reduzindo a vida de fadiga das misturas asfálticas. Levando em consideração as evidências apresentadas, este estudo tem por objetivo avaliar o efeito de ligantes asfálticos modificados e o nível de envelhecimento na vida de fadiga das MAFs, mástiques e ligantes asfálticos. Estas três escalas da mistura asfáltica completa foram compostas por quatro ligantes asfálticos (CAP 50/70, CAP+PPA, CAP+SBS e CAP+borracha) envelhecidos a curto e a longo prazo. As propriedades das três escalas quanto ao dano por fadiga foram avaliadas por meio dos conceitos da teoria do dano contínuo em meio viscoelástico (VECD), uma vez que esta teoria é capaz de prever o comportamento da mistura asfáltica independentemente do modo de carregamento (uniaxial ou torsional, tensão ou deformação controlada) e da amplitude do carregamento aplicado ao material para induzir o dano. De modo geral, os resultados indicaram que o uso de ligantes asfálticos modificados melhoram o comportamento das MAFs quanto ao dano por fadiga e o envelhecimento é capaz de comprometer o desempenho das MAFs quanto ao trincamento por fadiga. Na escala do ligante e do mástique asfáltico, o CAP+borracha apresentou o melhor desempenho à fadiga, ocupando o primeiro lugar no ordenamento final, e o CAP+SBS o pior desempenho, ocupando a última posição. Entretanto, na escala da MAF, as MAFs preparadas com CAP+SBS apresentaram o melhor desempenho à fadiga, ocupando o primeiro lugar no ordenamento final, e as MAFs preparadas com CAP 50/70 apresentaram o pior desempenho, ocupando o último lugar no ordenamento final. A melhor correlação entre as três escalas com relação ao envelhecimento a curto e a longo prazo, foi obtido entre os ligantes asfálticos e mástiques envelhecidos no PAV com as MAFs envelhecidas a longo prazo por 30 dias.

Neste trabalho é proposto um método de carregamento incremental dos fluxos veiculares para a estimação de matriz O-D sintética. A principal motivação para o desenvolvimento deste trabalho está na complexidade dos métodos de estimação de matriz sintética pelo método iterativo, que tem conduzido a resultados não satisfatórios. O método de carregamento incremental, ora proposto neste trabalho, pode ser definido como o inverso do método de alocação incremental de viagens aos arcos de uma rede viária. A matriz O-D obtida com este método é o resultado da soma sucessiva das sub-matrizes estimadas através das parcelas dos fluxos observados nos arcos da rede. Este método pode ser aplicado em qualquer tipo de rede viária: congestionada ou não congestionada e com ou sem continuidade de fluxo. Para verificação do desempenho do método foram realizados testes experimentais, nos quais os resultados obtidos foram comparados com os valores observados. O desempenho do método incremental não se mostrou satisfatório. Assim, com o intuito de verificar a sua utilidade como um método alternativo os mesmos dados foram processados através de dois métodos iterativos. Os resultados mostraram que os erros são ainda maiores do que os obtidos pelo método proposto. A principal conclusão deste trabalho é que o método incremental pode ser usado como uma alternativa aos métodos iterativos. / A synthetic O-D matrix estimation method, based on incremental loading of traffic flow, was proposed in this work. This research was motivated because of the complexity of the iterative methods for synthetic matrix estimation that might produce bias accumulation in the results. The referred incremental loading method could be defined as the inverse of the incremental assignment method for trips to links of a traffic network. The O-D matrix is gathered by successively summing the sub-matrices obtained from parts of the traffic flow counted on the links of the traffic network. This method could be applied to any traffic networks: congested or uncongested and with or without volumetric continuity. As a part of verification proceeding, several experimental tests were carried out to evaluate the method performance. In these tests the estimated results were compared with the real values. These results show that the incremental loading method performance was not satisfactory. Thus, aiming to test the utility of the incremental method, a second round of experimental tests was conducted to evaluate two iterative methods. In these second round tests, the results show that theses methods performance was worse those of the incremental method. The main conclusion of this work is that the incremental loading method for synthetic matrices estimation could be used as an alternative to the iterative methods.

Em uma detalhada revisão nós obtemos a lei do semi-círculo para a densidade de estados no ensemble gaussiano de Wigner. Também falamos sobre a analogia eletrostática de Dyson, enxergando os autovalores como cargas que se repelem no círculo unitário, mostrando que nesse caso a densidade de estados é uniforme. Em um contexto mais geral nós obtemos a lei do semicírculo, provando o teorema de Glivenko-Cantelli para variáveis fortemente correlacionadas usando um método combinatorial de contagem de trajetos, o que nos dá subsídios para falar em estabilidade da lei do semi-círculo. Também, nesta dissertação nós estudamos as funções de correlação nos ensembles gaussiano e circular, mostrando que sob um adequado reescalamento elas são idênticas. Outros ensembles nesta dissertação foram investigados usando o Método de Gram para o caso em que os autovalores são limitados em um intervalo. Computamos a densidade de estados para cada um desses ensembles. Mais precisamente no ensemble de Chebychev, os resultados foram obtidos analiticamente e nesse ensemble além da densidade de estados, também traçamos grá…cos da função de correlação truncada. / In a detailed review we obtain a semi-circle law for the density of states in theWigner’s Gaussian Ensemble. Also we talk about Dyson’s Analogy, seeing the eigenvalues like charges that repulse themselves in the unitary circle, showing that this case the density of states is uniform. In a more general context we obtain the semi-circle law, proving the Glivenko-Cantelli Theorem to strongly correlated variables, using a combinatorial method of Paths' Counting. Thus we are showing the stability of the semi-circle Law. Also, in this dissertation we study the correlation functions in the Gaussian and Circular ensembles showing that using the Gram's Method in the case that eigenvalues are limited in a interval. In these ensembles we computed the density of states. More precisely, in a Chebychev ensemble the results were obtained analytically. In this ensemble, we also obtain graphics of the truncated correlation function.

O objetivo geral desta pesquisa consiste na avaliação de diferentes sistemas de alojamento para matrizes gestantes, visando caracterizar aspectos quantitativos e qualitativos do ambiente e as variáveis que influenciam o sistema de produção, determinando as condições favoráveis ao melhor desempenho animal, baseada nas respostas ao ambiente de criação. O experimento foi realizado no período compreendido entre 04/01 e 11/03/2005, em uma propriedade de produção industrial de suínos, localizada no município de Elias Fausto, estado de São Paulo. A pesquisa foi desenvolvida no setor de gestação, com 24 matrizes primíparas, 12 fêmeas alojadas em baias individuais (T1) e 12 animais em baias coletivas (T2) e posteriormente na maternidade, onde foram quantificados os índices de produção dos leitões provenientes do estudo. O trabalho foi dividido basicamente em três etapas, em função da forma de avaliação dos dados: análise bioclimática; análise dos sistemas de produção; avaliação de sistemas inteligentes disponíveis, lógica fuzzy e redes neurais artificiais (RNAs) para o estudo de padrões de conforto térmico ambiental e predição dos índices zootécnicos, peso no nascimento e número de leitões mumificados, com base nos dados de temperatura ambiente e taxa respiratória das matrizes. A avaliação bioclimática foi realizada por meio do registro das variáveis meteorológicas (temperatura ambiente, umidade do ar, temperatura de globo negro e velocidade do vento) e ambientais (concentração de gases), na sala de gestação e no ambiente externo, possibilitando a caracterização da eficiência térmica, pelos índices de temperatura de globo e umidade (ITGU) e entalpia específica (h) e da condição de salubridade da instalação. A análise do sistema de produção teve, como variáveis respostas aos tratamentos avaliados, as relações comportamentais, os parâmetros fisiológicos e os índices zootécnicos. O delineamento experimental foi em blocos casualizados, com dois tratamentos e 67 blocos, e as médias, comparadas pelo teste de Tukey. As variáveis meteorológicas e ambientais apontam o sistema de confinamento em baias coletivas como aquele que permitu melhor condicionamento térmico natural às matrizes em gestação. Com relação à concentração de gases, os teores médios não superaram as concentrações consideradas críticas para as matrizes. Os parâmetros fisiológicos e os índices zootécnicos apresentaram valores mais adequados para o T2, assim como seu reflexo no desempenho da parição dos leitões. A avaliação comportamental, realizada pelo monitoramento por meio do registro de imagens de vídeo, apontou menor incidência de comportamentos resultantes do estresse ambiental, estereotipias e interações agressivas referentes ao estabelecimento de uma organização social no T2 comparativamente ao T1. O uso da teoria dos conjuntos fuzzy permitiu que se fizesse uma alusão entre os dados resultantes do trabalho experimental com os estabelecidos pela literatura, por intermédio de uma base de regras estabelecidas, para a determinação do conforto ambiental aplicado a matrizes na fase de gestação. O sucesso das redes neurais esteve diretamente relacionado com a sua alta versatilidade, permitindo as aproximações propostas neste trabalho para a predição dos índices zootécnicos. / This study evaluated different housing systems for pregnant sows aiming to describe quantitative and qualitative aspects of environment, as well as variables that have effect on production system. The optimal conditions for animal performance improvement have been determined analyzing behavioral data took in breeding environment. Trial was carried out from january 4th to march 11th 2005 in a farm specialized in industrial production of pork, located in Elias Fausto City, São Paulo State. In gestation facility 24 gilts were allocated:12 in individual stalls (T1) and 12 in group housing (T2). Further, in farrowing housing, piglets were evaluated in relation to their production variables. Basicaly, this study was divided in three steps in function of the way chose for data analysis: bioclimatic analysis; analysis of the production systems; evaluation of the available intelligent systems: fuzzy logic and artificial neural nets (ANNs) for studing environmental thermal confort patterns and prediction of produtive indexes, birth weights and number of mummifed piglets, based on data of environmental temperature and sow respiratory rates. Bioclimatic evaluation was realized by registering metheorological variables (environmental temperature, air humidity, dark globe temperature and wind velocity) and environmental variables (concentration of gases) inside of parturition room and in external environment, which permitted to characterize thermal efficiency by indexes of globe temperature and humidity (IGTH) and specific enthalpy (h) and salubrious condition of facility. The analysis of production system had as variables the answers to treatments, the behavioral relationships, physiological parameters and productive indexes. Experimental design was randomized blocks with two treatments and 67 blocks. Means were compared by Tukey test. Metheorological and environmental variables indicated the confinement system in group-houses as that permitted the better natural thermal monitoring for pregnant gilts. In relation to concentration of gases, mean levels did not exceed the concentrations considered limitating for sows. Physiological parameters and productive indexes were more adequate in T2, which reflected in performance during parturition. Behavior evaluation, realized by image monitoring using video cameras, showed lower incidence of behaviors related to environmental stress, stereotypies and agressive interactions caused by social organization establishment within group-housing system. The fuzzy set theory permitted to compare experimental data with those reported in cientific papers through rules created for proportionating well-fare of sows during gestation period. The success of neural nets was directly related to it high versatility, wich allowed aproximating productive indexes for predictions proposed in this work.

Submitted by Rosana Moreira (rosanapsm@outlook.com) on 2018-08-06T19:53:46Z No. of bitstreams: 3 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_EnsinoAprendizagemMatrizes.pdf: 3323944 bytes, checksum: 3ef71bb643fa52c7313c83cb7718292d (MD5) Produto_EnsinoAprendizagemMatrizes.pdf: 3316864 bytes, checksum: 125378ecad623720f31d57d12192e4b0 (MD5) / Approved for entry into archive by Edisangela Bastos (edisangela@ufpa.br) on 2018-12-19T14:11:44Z (GMT) No. of bitstreams: 3 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_EnsinoAprendizagemMatrizes.pdf: 3323944 bytes, checksum: 3ef71bb643fa52c7313c83cb7718292d (MD5) Produto_EnsinoAprendizagemMatrizes.pdf: 3316864 bytes, checksum: 125378ecad623720f31d57d12192e4b0 (MD5) / Made available in DSpace on 2018-12-19T14:11:44Z (GMT). No. of bitstreams: 3 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_EnsinoAprendizagemMatrizes.pdf: 3323944 bytes, checksum: 3ef71bb643fa52c7313c83cb7718292d (MD5) Produto_EnsinoAprendizagemMatrizes.pdf: 3316864 bytes, checksum: 125378ecad623720f31d57d12192e4b0 (MD5) Previous issue date: 2017-09-28 / Esse trabalho de pesquisa foi desenvolvido junto aos alunos da Educação de Jovens e adultos - EJA do Ensino Médio. A organização pedagógica em turmas desta modalidade de aceleração da escolarização não pode ter característica de aula comum, por isso, proponho desenvolver junto a esses alunos estudos sobre as Matrizes em dois ambientes: a sala de aula para encontros presenciais e a plataforma whatsapp para encontros virtuais. A escolha do conceito matemático de Matrizes é justificada pelo fato dos próprios alunos mostrarem interesse e relevância em seu estudo, já o aplicativo whatsapp pelo fato de sua popularização e familiarização entre os alunos pesquisados. Nas aulas presenciais foi utilizado o método de Resolução de Problemas para organização do ensino, no segundo momento, os alunos trabalham dialogicamente no grupo virtual buscando o desenvolvimento das atividades pedagógicas apresentadas, funcionando como um fórum de discussão, orientado pelo professor. Os alunos interagem trocando mensagens, enviando respostas aos questionamentos propostos, além de fazerem pesquisas e dialogar sobre o tema Matrizes. Na busca de promover o ensino de matemática a partir do uso de recursos de mídia, levantamos nossa questão de pesquisa: como utilizar o whatsapp para promover autonomia da aprendizagem, construção do conceito e a interação do aluno com o conceito matemático a partir da mídia? Para responder a essa questão, recorro ao objetivo da pesquisa: discutir o estudo de Matrizes a partir da Resolução de Problemas, utilizando como meio o whatsapp. Os diálogos no grupo virtual ampliam o tempo de estudo dos alunos, por meio de pequenos comentários e o tema flui para uma conclusão, além de o aluno ter em mãos o registro das conversas e explicações do professor, neste sentido o aplicativo whatsapp tem impacto direto na proposta desta dissertação trazendo um ambiente de revisão e registro. Para fundamentar nossa proposta dialogamos com os autores que tratam: Matrizes, Guelli, Iezzi e Dolce ([198-?]); Resolução de Problemas, Polya (2006); sobre a mídia, Lévy (1999), (2004), (2007), além de outros pesquisadores que colaboram nas discussões da referida proposta. A revisão das postagens e o acúmulo de informações geradas no ambiente whatsapp, no estudo de Matrizes, promove um fluxo constante de informações fazendo com que o aluno não fique passivo frente a elas, desenvolvendo suas conclusões acerca da proposta apresentada pelo professor. As atividades dinâmicas e testes com questões objetivas e discursivas, trabalhadas em sala de aula e no ambiente virtual, farão parte do produto fim desse estudo, que visam contribuir com a melhoria do desempenho dos alunos nas atividades de aprendizagem da Matemática. / This research work was developed with the students of Youth and Adult Education - EJA of High School. The pedagogical organization in classes of this modality of acceleration of schooling can not have characteristic of common class, so I propose to develop with these students studies about the Matrices in two environments: the classroom for face meetings and the platform whatsapp for virtual meetings . The choice of the mathematic concept of matrices is justified by the fact that the students themselves show interest and relevance in their study, since the whatsapp application due to the fact of its popularization and familiarization among the researched students. In the face-to-face classes, the problem solving method was used to organize teaching. At the second moment, the students worked dialogically in the virtual group, seeking the development of the pedagogical activities presented, functioning as a discussion forum, guided by the teacher. The students interact by exchanging messages, sending answers to the questions raised, as well as doing researches and discussing the Matrix theme. In the quest to promote the teaching of mathematics from the use of media resources, we raise our research question: how to use whatsapp to promote learning autonomy, concept construction and student interaction with the mathematical concept from the media? To answer this question, I focus on the purpose of the research: to discuss the study of Matrices from Problem Solving, using whatsapp as the medium. The dialogues in the virtual group extend the students' time of study, through small comments and the theme flows to a conclusion, in addition to the student having in hand the record of the conversations and explanations of the teacher, in this sense the application whatsapp has direct impact in the proposal of this dissertation bringing an environment of revision and registration. In order to substantiate our proposal we dialogue with the authors who deal with: Matrizes, Guelli, Iezzi and Dolce ([198-?]); Problem Solving, Polya (2006); on the media, Lévy (1999), (2004), (2007), besides other researchers who collaborate in the discussions of the mentioned proposal. Reviewing the postings and the accumulation of information generated in the whatsapp environment in the Matrix study promotes a constant flow of information so that the student is not passive in front of them and develop their conclusions about the proposal presented by the teacher. The dynamic activities and tests with objective and discursive questions, worked in the classroom and in the virtual environment, will be part of the final product of this study, which aim to contribute to the improvement of students' performance in the learning activities of Mathematics.

Neste trabalho é proposto um método de carregamento incremental dos fluxos veiculares para a estimação de matriz O-D sintética. A principal motivação para o desenvolvimento deste trabalho está na complexidade dos métodos de estimação de matriz sintética pelo método iterativo, que tem conduzido a resultados não satisfatórios. O método de carregamento incremental, ora proposto neste trabalho, pode ser definido como o inverso do método de alocação incremental de viagens aos arcos de uma rede viária. A matriz O-D obtida com este método é o resultado da soma sucessiva das sub-matrizes estimadas através das parcelas dos fluxos observados nos arcos da rede. Este método pode ser aplicado em qualquer tipo de rede viária: congestionada ou não congestionada e com ou sem continuidade de fluxo. Para verificação do desempenho do método foram realizados testes experimentais, nos quais os resultados obtidos foram comparados com os valores observados. O desempenho do método incremental não se mostrou satisfatório. Assim, com o intuito de verificar a sua utilidade como um método alternativo os mesmos dados foram processados através de dois métodos iterativos. Os resultados mostraram que os erros são ainda maiores do que os obtidos pelo método proposto. A principal conclusão deste trabalho é que o método incremental pode ser usado como uma alternativa aos métodos iterativos. / A synthetic O-D matrix estimation method, based on incremental loading of traffic flow, was proposed in this work. This research was motivated because of the complexity of the iterative methods for synthetic matrix estimation that might produce bias accumulation in the results. The referred incremental loading method could be defined as the inverse of the incremental assignment method for trips to links of a traffic network. The O-D matrix is gathered by successively summing the sub-matrices obtained from parts of the traffic flow counted on the links of the traffic network. This method could be applied to any traffic networks: congested or uncongested and with or without volumetric continuity. As a part of verification proceeding, several experimental tests were carried out to evaluate the method performance. In these tests the estimated results were compared with the real values. These results show that the incremental loading method performance was not satisfactory. Thus, aiming to test the utility of the incremental method, a second round of experimental tests was conducted to evaluate two iterative methods. In these second round tests, the results show that theses methods performance was worse those of the incremental method. The main conclusion of this work is that the incremental loading method for synthetic matrices estimation could be used as an alternative to the iterative methods.