Publicación a texto completo no autorizada por el autor / El documento digital no refiere asesor / Realiza el diseño para la implementación de un sistema de aire acondicionado de una oficina Técnica para la empresa Gramsa Contratistas Generales S.A.C., ubicada en el distrito de San Isidro, departamento de Lima. Se hace necesario instalar un sistema que pueda prestar un ambiente agradable de trabajo, ya que las oficinas se ubican cerca de la costa del Perú la cual es de un clima caluroso y con alto porcentaje de humedad sobre todo en los meses desde diciembre hasta abril. Describe el inicio de la necesidad de la elaboración del proyecto, así como detalla la solución a obtener. Se detallan los cálculos de las cargas térmicas obteniéndose un total de 290,514.11 BTU/H, los cuales nos permitirá hacer una elección más precisa de los equipos acondicionadores. Realiza una descripción detallada del costo de los equipos incluyendo la instalación los cuales ascienden a US$ 24,407.12 y el mantenimiento y funcionamiento en un año por el valor de US$ 8,146.12. / Trabajo de suficiencia profesional

O governo brasileiro com seu programa Luz para Todos tem como desafio acabar com a exclusão elétrica das comunidades rurais do país. Outra preocupação é a respeito da falta de abastecimento de energia, previsto para os próximos anos. No entanto, uma vez atendidas estas demandas há uma tendência de minimizar a exclusão elétrica no país, principalmente em regiões isoladas onde vivem as famílias de baixa renda. Este trabalho tem o objetivo de apresentar um estudo de viabilidade econômica de fontes alternativas de energia para comunidades isoladas do Nordeste brasileiro que não têm acesso à energia elétrica. Inicialmente foi feito um levantamento bibliográfico da utilização das fontes alternativas de energia propostas neste trabalho: eólica, solar e biomassa, que podem ser usadas para suprir a falta de energia elétrica na região do Nordeste do Brasil. Numa segunda etapa foi escolhido o estado Maranhão, pois se tem informações suficientes desta região para aplicar a metodologia proposta no trabalho. A partir desta escolha foi construído um banco de dados com as características típicas da região para as comunidades que possuem entre 1.000 a 10.000 habitantes. Finalmente, foi elaborado um programa de cálculo denominado de PEASEB (Programa de Cálculo de Custos das Energias Alternativas Solar, Eólica e Biomassa), com a finalidade de facilitar os cálculos de viabilidade econômica de cada uma das fontes alternativas de energia propostas neste trabalho. Nestes cálculos foram levados em consideração os impactos ambientais causados por cada uma destas fontes de energia. Com base nos resultados obtidos conclui-se que em termos de custo-benefício as alternativas de energia propostas podem atender as comunidades carentes do Nordeste brasileiro. Além disso, qualquer uma delas pode contar com os recursos naturais que a região possui. No entanto, por meio dos resultados comparativos de viabilidade econômica as energias: eólica e de biomassa apresentaram os melhores resultados. As conclusões deste trabalho podem contribuir com os projetos de geração de energia e inclusão social do governo federal, possibilitando assim, o crescimento econômico do país / Brazil has a great economy, but it has large social disparities among its several regions. There are several poor communities mainly in regions far from big cities. Many of these poor communities do not have electric energy. To bring electric energy for these communities, the Brazilian government has a program known as \"Luz para Todos\" (Light for All). This program stimulates the use of alternative energy sources. The objective of this work is to perform an economic viability study of alternative energy sources for typical communities in the Northeast of Brazil, which do not have access to electric energy. A literature review was made concerning the following alternative energy sources: wind, solar, and biomass. These energy sources are very convenient to bring electric energy for poor and small isolated communities. Communities with population varying between 1,000 and 10,000 people in the State of Maranhão were chosen as examples for this work. A computer program named PEASEB (Program for Evaluate Solar, Wind and Biomass Alternative Energy Sources) was developed to calculate costs to implement electric energy systems based on these alternative energy sources. Environmental impact costs are also considered in the economic viability study. The results obtained show that the solar, wind, and biomass energy sources can be used to supply the energy demand of the poor isolated communities in the Northeast of Brazil with reasonable cost-benefits. The natural resources of this region can easily provide the conditions to implement these alternative energy sources. According to the comparative results from the point of view of the economic viability, the energy from the wind and the biomass presented the lowest costs. The results of this work can contribute to the Luz para Todos (Light for All) Brazilians government program, and then, help to improve the social and economic conditions of poor isolated communities in the Northeast of Brazil.

Este trabalho versa sobre técnicas de estimação de derivadas de forma não assintótica conforme abordagem algébrica de Michel Fliess, e sua aplicação na determinação quase instantânea do estado interno de um sistema dinâmico, cria-se assim estimadores de estado que não se baseiam no observador de Luenberger. Resumo No desenvolvimento do trabalho demonstramos algumas características destes estimadores e apresentamos uma contribuição teórica para viabilizar a implementação destes estimadores em sistemas de controle de tempo real. Posteriormente, um sistema mecânico de dinâmica não linear foi construído e permitiu ensaios em laboratório que atestam, através dos resultados experimentais encontrados, a funcionalidade deste tipo de estimador de estados. / This work is about derivative estimation technique based on a algebraic and non-asymptotically approach, as devised by Michel Fliess, applied on quasi-instantaneous determination of the internal state of a dynamical system, using state estimators that aren\'t based on the Luenberger observer. Abstract Over this work we present some particularities of these estimators and a theoretical contribution that will able to implement these algebraic estimators in a real time control system. After that, a non-linear mechanical system was built to verify the functionality of these state estimators.

O uso de sistemas multiprocessados para a resolução de problemas que demandam um grande poder computacional tem se tornado cada vez mais comum. Porém a conversão de programas seqüenciais para programas concorrentes ainda não é uma tarefa trivial. Dentre os fatores que tornam esta tarefa difícil, destacamos a inexistência de um paradigma único e consolidado para a construção de sistemas computacionais paralelos e a existência de várias plataformas de programação para o desenvolvimento de programas concorrentes. Nos dias atuais ainda é impossível isentar o programador da especificação de como o problema será particionado entre os vários processadores. Para que o programa paralelo seja eficiente, o programador deve conhecer a fundo aspectos que norteiam a construção do hardware computacional paralelo, aspectos inerentes à arquitetura onde o software será executado e à plataforma de programação concorrente escolhida. Isto ainda não pode ser mudado. O ganho que podemos obter é na implementação do software paralelo. Esta tarefa pode ser trabalhosa e demandar muito tempo para a depuração, pois as plataformas de programação não possibilitam que o programador abstraia dos elementos de hardware. Tem havido um grande esforço na criação de ferramentas que otimizem esta tarefa, permitindo que o programador se expresse mais fácil e sucintamente quanto à para1elização do programa. O presente trabalho se baseia na avaliação dos aspectos ligados à implementação de software concorrente utilizando uma plataforma de portabilidade chamada High Performance Fortran, aplicado a um problema específico da física: o cálculo da estrutura de bandas de heteroestruturas semicondutoras. O resultado da utilização desta plataforma foi positivo. Obtivemos um ganho de performance superior ao esperado e verificamos que o compilador pode ser ainda mais eficiente do que o próprio programador na paralelização de um programa. O custo inicial de desenvolvimento não foi muito alto, e pode ser diluído entre os futuros projetos que venham a utilizar deste conhecimento pois após a fase de aprendizado, a paralelização de programas se torna rápida e prática. A plataforma de paralelização escolhida não permite a paralelização de todos os tipos de problemas, apenas daqueles que seguem o paradigma de paralelismo por dados, que representam uma parcela considerável dos problemas típicos da Física. / The employment of multiprocessor systems to solve problems that demand a great computational power have become more and more usual. Besides, the conversion of sequential programs to concurrent ones isn\'t trivial yet. Among the factors that makes this task difficult, we highlight the nonexistence of a unique and consolidated paradigm for the parallel computer systems building and the existence of various programming platforms for concurrent programs development. Nowadays it is still impossible to exempt the programmer of the specification about how the problem will be partitioned among the various processors. In order to have an efficient parallel program the programmer have to deeply know subjects that heads the parallel hardware systems building, the inherent architecture where the software will run and the chosen concurrent programming platform. This cannot be changed yet. The gain is supposed to be on the parallel software implementation. This task can be very hard and consume so much time on debugging it, because the programming platforms do not allow the programmer to abstract from the hardware elements. It has been a great effort in the development of tools that optimize this task, allowing the programmer to work easily and briefly express himself concerning the software parallelization. The present work is based on the evaluation of aspects linked to the concurrent software implementation using a portability platform called High Performance Fortran, applied to a physics specific problem: the calculus of semiconductor heterostructures? valence band structure. The result of the use of this platform use was positive. We obtained a performance gain superior than we expected and we could assert that the compiler is able to be more effective than the programmer on the paralelization of a program. The initial development cost wasn\'t so high and it can be diluted between the next projects that would use the acquired knowledge, because after the learning phase, the programs parallelization task becomes quick and practical. The chosen parallelization platform does not allow the parallelization of all kinds of problems, but just the ones that follow the data parallelism paradigm that represents a considerable parcel of tipical Physics problems.

Orientador: Marcelo de Carvalho Borba / Banca: Edna Maura Suffi / Banca: João Frederico da Costa Azevedo Meyer / Banca: Klaus Schlünzen Júnior / Banca: Ricardo Scucuglia Rodrigues da Silva / Resumo: Esta pesquisa tem como objetivo compreender o papel das Tecnologias Digitais(TD) no ensino da disciplina Cálculo I oferecida a distância, em particular, paracursos de Licenciatura em Matemática da Universidade Aberta do Brasil (UAB).Trata-se de uma pesquisa de cunho qualitativo. Mais especificamente, utilizei aabordagem metodológica da Teoria Fundamentada nos Dados (TFD). Nessaabordagem, o pesquisador deve construir uma teoria a partir do desenvolvimento deconceitos, categorias, propriedades e dimensões. A TFD foi utilizada na construçãoe na análise dos dados, estes, produzidos a partir de quatro fontes: observação noAmbiente Virtual de Aprendizagem (AVA), entrevistas com professores, tutores ealunos dos cursos, análise dos documentos oficiais destes cursos e um diário decampo do pesquisador. Os dados produzidos permitiram um diálogo com as ideiasde polidocência, que discute a fragmentação do ensino em cursos a distância, e doconstruto seres-humanos-com-mídias, que propõe que humanos e tecnologiasatuam juntos na produção do conhecimento matemático. Esses dados permitiraminferir que há dois papéis em evidência, cada um analisado em uma das categoriasque emergiram, intituladas "TD e seu papel na estruturação da disciplina" e "TD eseu papel na docência da disciplina". Em cada uma das categorias foramdesenvolvidas três propriedades. Na primeira: o design da disciplina, a avaliaçãoonline e a interação. Na segunda categoria, as propriedades ... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: This research aims to understand the role of Digital Technologies (DT) in the teaching of Calculus in distance education, in particular, in the Pre-Service Mathematics Teacher Education of the Open University of Brazil (UAB). A qualitative research approach was used, specifically the methodological approach of Grounded Theory (GT). In this approach, the researcher builds a theory grounded in concepts, categories, properties and dimensions identified through analysis of the data. The data were produced from four sources: observation in Virtual Learning Environment (VLE), interviews with teachers, tutors and students of the courses, analysis of official documents of these courses, and research field notes. Based on the produced data, it was possible to build a dialogue between poly-teaching ideas regarding the fragmentation of teaching in distance learning courses, and the theoretical construct humans-with-media, which proposes that humans and technology work together in the production of mathematical knowledge. Two roles of DT emerged as analytic categories: "DT and its role in the structuring of the course" and "DT and its role in teaching the course". In each category, three properties were developed. In the first category, they were: the course design, evaluation and online interaction. In the second category, the properties explored were: changing roles, strategy and epistemological difficulties. Later, these categories were integrated into a central category that formed the basis for defending the existence of the theoretical construct "poly-teachers-with-media". This construct suggests that DT act in the collective of poly-teaching workers, changing roles and revealing others in this collective. Therefore, it is necessary for the VLE to be an environment rich in collaborative interactions, in which the dialogue is constantly encouraged by teachers ... (Complete abstract electronic acess below) / Doutor

Orientador: Manoel Ferreira Borges Neto / Banca: Antônio Luís Venezuela / Banca: Sandra Regina Monteiro Masalshiene Roveda / Resumo: O objetivo deste trabalho ée estabelecer similaridades entre a análise complexa e os quatérnios. Nele é feito um estudo da regularidade de funções quaterniônicas e são estabelecidas as funções exponencial e logarítmica para os quatérnios sendo feito um estudo da hiperpe- riodicidade dessas funções. Outro resultado apresentado é a generalização quaterniônica da fórmula integral de Cauchy um dos principais teoremas da análise complexa. / Abstract: The objective of this work is to establish similarities between the complex analysis and the quaternions. In it is made a study of the regularity of quaternionic functions and are established the exponential and logarithmic functions for the quaternions being made a study of the hiperperiodicity of these functions. Another presented result is the quater- nionic generalization of the Cauchy's integral formula one of the main theorems of the complex analysis. / Mestre

Orientador: Manoel Ferreira Borges Neto / Banca: Masoyoshi Tsuchida / Banca: José Arnaldo Frutuoso Roveda / Resumo: Nesta dissertação, estuda-se estruturas matemáticas relacionadas à álgebra dos sedenions de Cayley-Dickson. O conceito de funções sedeniônicas do tipo f(z) = zn, z 2 S e n 2 N, é desenvolvido a partir da distância jf(y)¡f(x)j, com o objetivo de obter-se uma generalização. A este tipo de mapeamentos trata-se por funções quaseconformes, ou seja, mapeamentos que não preservam a magnitude dos ângulos. Em particular, através de métodos de resolução, apresenta-se e discute-se polinômios de 2n graus com coeficientes sedeniônicos com o intuito de enfatizar o valor da k-dilatação causada quando trabalha-se com o número sedeniônico em coordenadas esféricas. Por fim, ilustra-se geometricamente os cortes produzidos em hiperesferas B(x; r) quando submetidas às transformações do tipo z2 e z3. / Abstract: In this work, we propose to study the mathematical construction related with algebra of Cayley-Dickson sedenions. We will present the concept of sedenions functions of f(z) = zn type, z 2 S and n 2 N, developing jf(y) ¡ f(x)j distance, with the objective of creating a generalization. This type of mappings is known as quasiconformal functions, that is, mapping that don't preserve the magnitude of angles. Specially, by means of resolution methods, we will discuss polynomials of 2n degrees with sedenions coefficients focused on highlighting the value of the k-dilation caused when we work with the sedenion number in spherical coordinates. Finally, it is illustrated geometrically the cuts produced in hiperspheres B(x; r) when submitted to the transformations of the type z2 and z3. / Mestre

O governo brasileiro com seu programa Luz para Todos tem como desafio acabar com a exclusão elétrica das comunidades rurais do país. Outra preocupação é a respeito da falta de abastecimento de energia, previsto para os próximos anos. No entanto, uma vez atendidas estas demandas há uma tendência de minimizar a exclusão elétrica no país, principalmente em regiões isoladas onde vivem as famílias de baixa renda. Este trabalho tem o objetivo de apresentar um estudo de viabilidade econômica de fontes alternativas de energia para comunidades isoladas do Nordeste brasileiro que não têm acesso à energia elétrica. Inicialmente foi feito um levantamento bibliográfico da utilização das fontes alternativas de energia propostas neste trabalho: eólica, solar e biomassa, que podem ser usadas para suprir a falta de energia elétrica na região do Nordeste do Brasil. Numa segunda etapa foi escolhido o estado Maranhão, pois se tem informações suficientes desta região para aplicar a metodologia proposta no trabalho. A partir desta escolha foi construído um banco de dados com as características típicas da região para as comunidades que possuem entre 1.000 a 10.000 habitantes. Finalmente, foi elaborado um programa de cálculo denominado de PEASEB (Programa de Cálculo de Custos das Energias Alternativas Solar, Eólica e Biomassa), com a finalidade de facilitar os cálculos de viabilidade econômica de cada uma das fontes alternativas de energia propostas neste trabalho. Nestes cálculos foram levados em consideração os impactos ambientais causados por cada uma destas fontes de energia. Com base nos resultados obtidos conclui-se que em termos de custo-benefício as alternativas de energia propostas podem atender as comunidades carentes do Nordeste brasileiro. Além disso, qualquer uma delas pode contar com os recursos naturais que a região possui. No entanto, por meio dos resultados comparativos de viabilidade econômica as energias: eólica e de biomassa apresentaram os melhores resultados. As conclusões deste trabalho podem contribuir com os projetos de geração de energia e inclusão social do governo federal, possibilitando assim, o crescimento econômico do país / Brazil has a great economy, but it has large social disparities among its several regions. There are several poor communities mainly in regions far from big cities. Many of these poor communities do not have electric energy. To bring electric energy for these communities, the Brazilian government has a program known as \"Luz para Todos\" (Light for All). This program stimulates the use of alternative energy sources. The objective of this work is to perform an economic viability study of alternative energy sources for typical communities in the Northeast of Brazil, which do not have access to electric energy. A literature review was made concerning the following alternative energy sources: wind, solar, and biomass. These energy sources are very convenient to bring electric energy for poor and small isolated communities. Communities with population varying between 1,000 and 10,000 people in the State of Maranhão were chosen as examples for this work. A computer program named PEASEB (Program for Evaluate Solar, Wind and Biomass Alternative Energy Sources) was developed to calculate costs to implement electric energy systems based on these alternative energy sources. Environmental impact costs are also considered in the economic viability study. The results obtained show that the solar, wind, and biomass energy sources can be used to supply the energy demand of the poor isolated communities in the Northeast of Brazil with reasonable cost-benefits. The natural resources of this region can easily provide the conditions to implement these alternative energy sources. According to the comparative results from the point of view of the economic viability, the energy from the wind and the biomass presented the lowest costs. The results of this work can contribute to the Luz para Todos (Light for All) Brazilians government program, and then, help to improve the social and economic conditions of poor isolated communities in the Northeast of Brazil.

O propósito desta tese é estudar um método numérico indireto para a solução de problemas de otimização de trajetórias espaciais em campo gravitacional central Newtoniano. Neste método, a resolução do problema de valor de contorno em dois pontos é baseada no conceito de variação segunda, motivo pelo qual ele é denominado de método da variação segunda.Inicialmente, este trabalho apresenta alguns fundamentos e resultados matemáticos da Teoria de Controle Ótimo. Estes conceitos são então utilizados no desenvolvimento matemático e formulação do método da variação segunda, incluindo sua extensão para problemas com vínculos nas variáveis de controle e a descrição do algoritmo final. Este algoritmo é então aplicado a problemas de transferências espaciais ótimas entre órbitas circulares coplanares próximas, considerando dois modelos clássicos de sistemas propulsivos: sistemas a velocidade de ejeção constante (VEC) e empuxo limitado; e sistemas com velocidade de ejeção modulável e potência limitada (PL). De modo geral, os resultados obtidos para os problemas são muito bons. Para o sistema PL, há grande concordância deles com resultados analíticos, provenientes de uma teoria linear, e numéricos, obtidos através de outros métodos. Para o sistema VEC, os resultados estão em acordo com a teoria de transferências orbitais ótimas e verifica-se que as duas formulações utilizadas, linearizada e não-linearizada, fornecem resultados bastante próximos, para problemas de transferência entre órbitas próximas.

CCS (Communicating and Concurrent Systems) is the process algebra to specify and verify concurrent and communicating systems. This work proposes a transformation guide of the CCS equations into to the UML-RT (Unified Modeling Language for Real-Time) model and a transformation guide of the UML-RT model into a set of CCS equations. The UML-RT model is a software design language, which supports code generation and the construction of executable systems. The UML-RT is an UML extension, and it does not have a formal semantics; therefore it is not possible to verify UMLRT models. The transformation guide of UML-RT models into CCS equations allows verifying the models. We argue that the transformation of CCS models into UML-RT models allows an alternative way of correctly building systems. This work details the transformation guides from CCS equations to UML-RT models and from UML-RT models to CSS equations and it discusses the limitations and benefits.