O objetivo desta dissertação é estudar a caracterização dos módulos injetivos sobre anéis noetherianos e comutativos, dada por Eben Matlis em [16], como soma direta de módulos da forma E(A P ). Assim, discutimos algumas propriedades dos mó- dulos injetivos indecomponíveis sobre esses tipos de anéis. Em particular, mostramos que o completamento do anel local Ap é isomorfo ao anel HomA(E(A P );E(A P )). A partir disso, mostramos que, quando o anel for comutativo, noetheriano, local e completo, então a categoria dos módulos noetherianos e a categoria dual dos módulos artinianos são equivalentes. / The goal of this work is to study the characterization of injective modules over Noetherian and commutative rings, given by Eben Matlis in [16], as a direct sum of modules of the form E(A P ). Thus, we discuss some properties of injective indecomposable modules over these types of rings. In particular, we show that the completion of the local ring Ap is isomorphic to the ring HomA(E(A P );E(A P )). From this, we show that, when a ring is commutative, noetherian, local and complete, the category of the Noetherian modules and the dual category of Artinian modules are equivalent.

Orientador: Thaís Fernanda Mendes Monis / Banca: Anderson Paião dos Santos / Banca: Tatiana Miguel Rodrigues de Souza / Resumo: O intuito deste trabalho é de integrar os aspectos aplicado e teórico da Homologia Persistente, uma ferramenta popular da Topological Data Analysis (TDA). Para isso, são apresentados e demonstrados os resultados fundamentais da teoria embasada na topologia algébrica que permitem o desenvolvimento de algoritmos e paradigmas computacionais para obter diagramas de persistência. Dessa forma, iniciaremos explorando como decodificar as informações contidas em um módulo de persistência, entendendo os conceitos de multiconjuntos, módulos de persistência e cálculos Quiver. Em seguida, o caminho contrário será explorado, onde os dados são codificados em diagramas de persistência a fim de extrair suas características topológicas, aprofundando os conceitos de funções de Morse, Homologia Persistente, diagramas de persistência, dualidade e simetria, bem como estabilidade. Por último, encerramos demonstrando duas possíveis aplicações da teoria no âmbito computacional no campo da Biologia. / Abstract: The goal of this work is to integrate applied and theoretical aspects of Persistence Homology, a popular tool in Topological Data Analysis (TDA). For this, we present and prove fundamental theoretical results based on algebraic topology, which allow us to develop algorithms and computational paradigms to obtain persistence diagrams. In this way, we start exploring how to decode the information contained in a persistence module, understanding the concepts of multiset, persistence modules and Quiver alculations. Then, the opposite path will be explored, where the data are encoded in persistence diagrams in order to extract their topological characteristics, going deep into the concepts of Morse functions, persistent homology, persistence diagrams, duality and symmetry, as well as stability. Finally, we conclude with two possible applications, one from computational theory, and the second one in the field of biology. / Mestre

[pt] Sistemas de software normalmente são descritos por sua arquitetura. Esta descrição fornece uma visão abstrata, demonstrando como o sistema é composto por módulos e interações entre estes módulos. Usando-se a arquitetura como uma especificação executável do sistema, consegue-se maior compromisso entre os requisitos do sistema e sua implementação. Tal compromisso simplifica o desenvolvimento e manutenção de sistemas complexos. Este trabalho define conceitos úteis para a construção, execução e gerenciamento de aplicações distribuídas, usando especificações arquiteturais. A metodologia apresentada distingue a construção de módulos através de programação, da efetiva construção da aplicação, através de configuração (ou especificação da arquitetura). Desta forma, pode-se adotar soluções específicas (e.g. linguagens e metodologias) para módulos particulares, mantendo-se o encapsulamento necessário para seu uso de forma transparente. Para validar os conceitos e permitir sua aplicação em um ambiente de execução real, foi criada uma Linguagem de Configuração chamada BABEL. No decorrer da dissertação, são apresentados os conceitos envolvidos e BABEL. Com o suporte do ambiente RIO, BABEL oferece simplicidade, transparência e flexibilidade para a construção de aplicações distribuídas complexas, possuindo conceitos básicos que viabilizam a elaboração de mecanismos avançados como contratos, herança e polimorfismo. Adicionalmente, são demonstradas experiências decorrentes da implementação de um Interpretador e um Servidor de Nomes para a linguagem. Finalmente, os conhecimentos obtidos com esta pesquisa são apresentados, sugerindo-se trabalhos futuros para continuidade do projeto BABEL. / [en] Software systems are usually described from their architecture. This description provides an abstract vision showing how the system is composed with modules and module interactions. Consistency between the system requirements and implementation may be achieved by using the architecture as a system executable specification. This guarantee of consistency simplifies the development and maintenance of complex systems. This study defines concepts useful to distributed application contructions, execution and management. The presented methodology distinguishes the builiding of modules, throught programming, from the effective application buiding through configuration (or architectural specification). Thus, specific solutions (e.g languages and methodologies) may be adopted for particular modules, preserving the necessary encapsulation for transparent use. A Configuration Language called BABEL was developed to validate these the concepts and apply them in a real execution environment. In the dissertation BABEL ans its related concepts are presented. Along with RIO Environment support, BABEL offers simplicity, transparency and flexibility for complex distributed application construction. It has concepts that allow advanced mechanisms such as contracts, inheritance and polymorphism. Additionally, a language Interpreter and a Name Server implementation for BABEL are presented. Finally, the knowledge gained from this study is presented, along with recommendations for future directions for the BABEL project.

[pt] Esta dissertação apresenta uma implementação de um compilador para a linguagem orientada a objetos School O trabalho se detem as técnicas de implementação específicas de linguagens orientadas a objetos tais como envio de mensagens tipos genéricos e coleta de lixo.Inicialmente e apresentado um estudo de várias propostas para a implementação de diferentes aspectos de linguagens orientadas a objetos Em seguida o compilador de School e descrito e avaliado levando em consideração as técnicas estudadas A dissertação também investiga alguns aspectos de módulos em linguagens orientadas a objetos e propõe um sistema de módulos para linguagem de programação School. A proposta e descrita com a utilização de um método formal.

Orientador : Denise Cristina Kluge / Dissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Humanas, Programa de Pós-Graduação em Letras. Defesa: Curitiba, 03/08/2016 / Inclui referências : f. 145-154 / Resumo: Este estudo tem como objetivo fazer o relato de experiência da criação de um curso de português como língua estrangeira a distância (PLEaD) no Centro de Línguas e Interculturalidade (Celin) da Universidade Federal do Paraná (UFPR) apresentando os pressupostos teóricos norteadores da sua abordagem e analisar, do ponto de vista da aprendizagem, o ensino baseado na proposta por tarefas. Inicio este trabalho apresentando alguns conceitos relacionados à educação a distância e como a tecnologia influencia os processos de ensino e aprendizagem de línguas e viceversa (LEFFA, 1988, 2002, 2006, 2012, 2013a, 2013b, 2014; LÉVY, 1999, PAIVA, 2008). Entendendo o ensino e aprendizagem como um processo socialmente construído (VYGOTSKY, 1978), relaciono conceitos de interação e mediação (VYGOTSKY, 1978) com a nova relação que se estabelece com o conhecimento através do uso das tecnologias (LÉVY, 1999). Colocar o aprendente como ator social que interage em diferentes situações através do ensino baseado em tarefas é um trabalho que se desenvolve nos cursos presenciais do Celin (SANTOS, 2014) e se mostrou adequado para contextos a distância pois ambos estão ancorados na visão do uso da linguagem como "agir no mundo" (QECR, 2001). A partir do conceito de linguagem como ação conjunta (CLARK, 2002), utilizando pressupostos da teoria sócio-cultural (LANTOLF, 2006) apresento a proposta de ensino e aprendizagem de línguas estrangeiras a distância por tarefas (WILLIS, 1996, PRABHU, 1987, JANOWSKA, 2015) com o uso de gêneros textuais (BAHKTIN, 1994, MARCUSCHI, 2002) do curso piloto PLEaD que aconteceu no 1º semestre de 2015. A pesquisa utilizou a metodologia da pesquisa-ação (THIOLLENT, 2011) aliando teoria, reflexão e prática. Encerro a discussão fazendo a análise dos dados conforme a metodologia da análise de conteúdo (BARDIN, 1977). As considerações finais retomam teóricos apresentados ao longo do trabalho contrapondo com dados resultantes da pesquisa a fim de refletir, revisitar e revisar a proposta inicial do curso iniciando assim, um novo ciclo de pesquisa-ação. PALAVRAS-CHAVE: Português língua estrangeira, ensino por tarefas, ensino a distância. / Abstract: This study aims to report the experience of the creation of a portuguese as a foreign language distance course (PLEAD) at the Intercultural and Languages Centre (Celin) of the Federal University of Paraná (UFPR), to present the guiding theoretical principles of its approach as well as to analyze, from the point of view of learning, teaching based on task-based approach. I begin this work presenting some concepts related to distance education and to how technology influences the processes of teaching and learning languages and vice versa (LEFFA 1988, 2002, 2006, 2012, 2013a, 2013b, 2014; LÉVY, 1999; PAIVA, 2008). Teaching and learning is a socially constructed process (VYGOTSKY, 1978), I relate the concepts of interaction and mediation (VYGOTSKY, 1978) with the new relationship established with knowledge through the use of technologies (LÉVY, 1999). Placing the learner as a social actor who interacts in different situations through task-based teaching is a constant practice in Celin's classroom (SANTOS, 2014) and it seems also adequate to distance contexts because both are anchored in the vision of using language as "acting in the world" (QECR, 2001). Based on the language concept as joint action (CLARK, 2002) and using assumptions of socio-cultural theory (LANTOLF, 2006) I present a proposal for teaching and learning foreign languages in distance context by tasks (WILLIS, 1996 PRABHU, 1987 Janowska, 2015) with the use of textual genres (BAHKTIN, 1994 MARCUSCHI, 2002) of the pilot course Plead which happened in the first half of 2015. The present study used the methodology of action research (THIOLLENT 2011), combining theory, reflection and practice. I conclude the discussion by analyzing the data according to the methodology of content analysis (BARDIN, 1977). The final considerations resume theorists presented throughout the work along contrasting with data resulting from this research to reflect, revisit and revise the initial proposal's course starting thereby a new research cycle-action. Keywords: Teaching/learning of Portuguese as a Foreign Language. Task-based Language Teaching. Distance Learning.

[pt] Este trabalho consiste na determinação dos valores e da distrbuição dos módulos de elasticidade com a profundidade de maciços de solo estratificados através de retroanálises de provas de carga em estaca instrumentada, com medição de recalques no topo e na base, publicadas na literatura para depósito de solos resuduais, argila rija e areia. Nas retroanálises utilizou-se um programa computacional baseado numa versão simplificada do método dos elementos de contorno, sugerida por Poulos (1968), com adaptações da formulação de Mindlin (1936) para permitir também a consideração de maciços estratificados. Seus resultados foram comparados com aqueles obtidos por vários tipos de ensaios de campo ou de laboratório, com o objetivo de indicar quais destes ensaios são os mais adequados para a determinação dos parâmetros de deformação do solo, visando o cálculo do recalque de estacas. Os valores de módulo de elasticidade computados nas retroanálises compararam-se satisfatoriamente com aqueles determinados com base nos ensaios que, durante a execução, induzem pequenas deformações no solo, ocorrendo, por outro lado, uma significativa subestimativa destes valores quando determinados em ensaios envolvendo grandes deformações. Este comportamento permitiu então concluir que uma escolha adequada do nível de deformações associada ao tipo de ensaio é essencial para a determinação das características de compressibilidade do solo na engenharia de fundações. / [en] This work consists of the determination of values and distribution of the modulus of elasticity with depth in layered soils through backanalysis of instrumented pile load tests, published in literature for residual soils, stiff clay and sand. In the backanalysis was used a simplified version of the boundary element method, originally introduced by Poulos and Davis (1968), with adaptations of Mindlin´s formulation to allow for the consideration of layered soils. The results of the backanalysis were compared with those obtained through many ´in situ´ and laboratory tests, with the aim of indicating which of those tests are more suitable for the determination of the deformation parameters of the soil, to be used in the evaluation of pile settlement. The values of elasticity modulus computed in the backanalysis agreed well with those determined from the tests which transmit small strains to the soil during its execution. On the other hand, these values were subestimated when obtained from tests that involve high strains. This behavior permitted the conclusion that an appropriate choice of the strain level, associated to the type of the test, is essential to the determination of the compressibility characteristics of the soil in foundation engineering problems. / [es] Este trabajo aborda la determinación de los valores de los módulos de elasticidad con profundidad de macizos de suelo estratificados así como su distribución. Dicha determinación se efectua a través de retroanálisis de pruebas de carga en estaca instrumentada, que aparecen publicadas en la literatura para depósito de suelos residuales, arcilla dura y arena. En el retroanálisis se utilizó un programa computacional basado en una versión simplificada del método de los elementos de contorno, sugerida por Polos (1968), con adaptaciones de la formulación de Mindlin (1936) que permiten considerar macizos estratificados. Con el objetivo de indicar cuál de estos ensayos resulta más adecuado para la determinación de los parámetros de deformación del suelo y para el cálculo del recalque de estacas, se compararon sus resultados con los obtenidos por varios tipos de ensayos de campo o de laboratorio. Los valores de módulo de elasticidad computados en el retroanálisis se compararan satisfactoriamente con los determinados con base en los ensayos que, durante la ejecución, inducen pequenas deformaciones en el suelo, teniendo, por otro lado, una significativa subestimación de estos valores cuando son determinados en ensayos con grandes deformaciones. Este comportamiento permitió entonces concluir que una selección adecuada del nível de deformación asociada al tipo de ensayo es esencial para la determinación de las características de compresibilidad del suelo en la ingeniería de fundaciones.

Self-consolidating concrete (SCC) is widely used for several types of structural applications. The high workability of such concrete has been turned into tangible benefits in precast, prestress manufactories in terms of enhancement of the overall quality of the final product and high productivity. The range of benefits offered by SCC goes beyond fundamental aspects of concrete quality and productivity; it includes a major improvement in the health and safety of workers and the reduction of noise level on construction sites. Furthermore, to improve the productivity in the precast manufacturing plants, steam-curing is often used to expedite strength gain and shorten the construction cycle. It is well established that mechanical properties of steam-cured SCC are affected by mixture composition and can vary widely with the steam-curing parameters. The research project presented here aims to address the significance of mixture parameters governing the performance of SCC for precast applications. Two classes of SCC with design compressive strengths of 60 and 80 MPa at 56 days were investigated. The examined mixture parameters include the w/cm, binder content and type, and the type of superplasticizer. In addition, this research seeks to assess the effect of steam-curing parameters on early-mechanical properties of SCC and to optimize a steam-curing regime to meet fabrication requirements with efficiency and economy. The studied steam-curing parameters include the maximum curing temperature, the preset period prior to heat treatment, and the rate of heating. The employed mixtures proportioning and steam-curing regimes to achieve the anticipated early-strength were proposed by an experimental factorial design to cover a wide scope of SCC mix designs and steam-curing regimes. Among the modeled mixture parameters, the w/cm and binder content were shown to play key roles on the majority of steam-cured mechanical properties and workability criteria. Among the steam-curing parameters, the maximum steam-curing temperature was shown to have a dominant effect on early-age strength. The preset period exhibited a major influence on mechanical properties as well. SCC cured under a maximum chamber temperature of 65ÀC and a longer preset period of 5 hours was found to develop higher early-compressive strength. Beyond limits, increasing maximum curing temperature can adversely affect the strength development leading to a lower early-compressive strength. The early heat treatment was found to decrease early-age strength. Longer preset period of 5 hours is then recommended in terms of fuel and time saving in manufacturing plants.

Este trabalho apresenta o desenvolvimento de uma nova ferramenta para a síntese automática de células, a partir de uma descrição estrutural no nível lógico. A ferramenta esta sendo integrada ao sistema TRAMO3, e visa eliminar a necessidade do use de biblioteca de células na geração de circuitos. Uma revisão sobre síntese de leiaute e metodologias de projeto é apresentada. A metodologia TRANCA é descrita de forma sucinta e os sistemas TRAMO2 e TRAMO3, assim como o roteador MARTE são analisados em detalhe para indicar o contexto onde se insere o trabalho. As principais alternativas para a geração de células são analisadas e o algoritmo descrito em [REI 93b] é utilizado com algumas modificações, levando em conta situações praticas. Os seguintes passos são executados durante o processo: posicionamento dos transistores, roteamento das conexões internas e compactação do leiaute. Finalmente, alguns melhoramentos no gerador são propostos, de forma a eliminar algumas restrições impostas na primeira versão. / This work presents the development of a new tool for automatic cell synthesis, starting from a structural description at the logic level. The tool is currently being integrated to TRAMO3 system, and aims at eliminating the need of cell libraries utilization during the circuit generation. A brief review about layout synthesis and design methodologies is presented. TRANCA design approach is briefly described and the TRAMO2 and TRAMO3 systems, as well as the MARTE router are analyzed with some detail in order to show the environment where the work is inserted. The main alternatives for cell generation are analyzed and the algorithm described in [REI 93b] is used with some changes, taking into account practical situations. The following steps are executed during the process: transistor placement, routing of internal connections and layout compaction. Finally, some improvements to the generator are proposed, in order to remove some restrictions imposed in the first version.

Este trabalho apresenta o desenvolvimento de uma nova ferramenta para a síntese automática de células, a partir de uma descrição estrutural no nível lógico. A ferramenta esta sendo integrada ao sistema TRAMO3, e visa eliminar a necessidade do use de biblioteca de células na geração de circuitos. Uma revisão sobre síntese de leiaute e metodologias de projeto é apresentada. A metodologia TRANCA é descrita de forma sucinta e os sistemas TRAMO2 e TRAMO3, assim como o roteador MARTE são analisados em detalhe para indicar o contexto onde se insere o trabalho. As principais alternativas para a geração de células são analisadas e o algoritmo descrito em [REI 93b] é utilizado com algumas modificações, levando em conta situações praticas. Os seguintes passos são executados durante o processo: posicionamento dos transistores, roteamento das conexões internas e compactação do leiaute. Finalmente, alguns melhoramentos no gerador são propostos, de forma a eliminar algumas restrições impostas na primeira versão. / This work presents the development of a new tool for automatic cell synthesis, starting from a structural description at the logic level. The tool is currently being integrated to TRAMO3 system, and aims at eliminating the need of cell libraries utilization during the circuit generation. A brief review about layout synthesis and design methodologies is presented. TRANCA design approach is briefly described and the TRAMO2 and TRAMO3 systems, as well as the MARTE router are analyzed with some detail in order to show the environment where the work is inserted. The main alternatives for cell generation are analyzed and the algorithm described in [REI 93b] is used with some changes, taking into account practical situations. The following steps are executed during the process: transistor placement, routing of internal connections and layout compaction. Finally, some improvements to the generator are proposed, in order to remove some restrictions imposed in the first version.

Este trabalho apresenta o desenvolvimento de uma nova ferramenta para a síntese automática de células, a partir de uma descrição estrutural no nível lógico. A ferramenta esta sendo integrada ao sistema TRAMO3, e visa eliminar a necessidade do use de biblioteca de células na geração de circuitos. Uma revisão sobre síntese de leiaute e metodologias de projeto é apresentada. A metodologia TRANCA é descrita de forma sucinta e os sistemas TRAMO2 e TRAMO3, assim como o roteador MARTE são analisados em detalhe para indicar o contexto onde se insere o trabalho. As principais alternativas para a geração de células são analisadas e o algoritmo descrito em [REI 93b] é utilizado com algumas modificações, levando em conta situações praticas. Os seguintes passos são executados durante o processo: posicionamento dos transistores, roteamento das conexões internas e compactação do leiaute. Finalmente, alguns melhoramentos no gerador são propostos, de forma a eliminar algumas restrições impostas na primeira versão. / This work presents the development of a new tool for automatic cell synthesis, starting from a structural description at the logic level. The tool is currently being integrated to TRAMO3 system, and aims at eliminating the need of cell libraries utilization during the circuit generation. A brief review about layout synthesis and design methodologies is presented. TRANCA design approach is briefly described and the TRAMO2 and TRAMO3 systems, as well as the MARTE router are analyzed with some detail in order to show the environment where the work is inserted. The main alternatives for cell generation are analyzed and the algorithm described in [REI 93b] is used with some changes, taking into account practical situations. The following steps are executed during the process: transistor placement, routing of internal connections and layout compaction. Finally, some improvements to the generator are proposed, in order to remove some restrictions imposed in the first version.