[pt] Este trabalho traz uma proposta de ensino de conceitos de matemática financeira com a utilização de planilhas eletrônicas no ensino médio. Ele aponta que os principais fundamentos estudados nesta área da Matemática ganham em entendimento, em possibilidades de análises e em facilitação de cálculos quando o diálogo entre esses conceitos e a tecnologia é realizado. O trabalho se inicia com reflexões sobre a importância da formação continuada dos professores, da utilização da tecnologia no processo de ensino aprendizagem e do estudo da matemática financeira na escola básica em paralelo com a utilização de planilhas eletrônicas. A construção dessa fundamentação tem por base a teoria desenvolvida por autores como Kenski, Pocho, Alvarez, Nascimento e Giraldo. Posteriormente os conceitos básicos sobre o tema são apresentados e exemplificados, acompanhados de suas aplicações numa planilha eletrônica (Excel). Com o intuito de mostrar que o assunto é recorrente em provas de seleção, foram escolhidas algumas provas mais recentes do ENEM e apresentadas algumas questões e suas soluções, resolvendo-as também com a utilização do Excel. Por fim, como forma de aplicação mais contemporânea dos conceitos apresentados, foram elaboradas propostas de construção de simuladores, recursos que funcionam como calculadoras financeiras, através de situações problema que trazem mais significado ao aprendizado. Espera-se que o trabalho aqui apresentado contribua para a formação de cidadãos mais críticos e autônomos e promova qualificação tanto de docentes como de discentes da escola básica. / [en] This work presents a proposal for teaching financial mathematics concepts using electronic spreadsheets in high school. He points out that the main fundamentals studied in this area of Mathematics gain in understanding, in possibilities of analysis and in facilitating calculations when the dialogue between these concepts and technology is carried out. The work begins with reflections on the importance of continuing education for teachers, the use of technology in the teaching-learning process and the study of financial mathematics in elementary school, in parallel with the use of electronic spreadsheets. The construction of this foundation is based on the theory developed by authors such as Kenski, Pocho, Alvarez, Nascimento and Giraldo. Afterwards, the basic concepts on the subject are presented and exemplified, followed by their applications in an electronic spreadsheet (Excel). In order to show that the subject is recurrent in selection tests, some more recent ENEM tests were chosen and some questions and their solutions were presented, solving them also using Excel. Finally, as a more contemporary way of applying the concepts presented, proposals were developed for the construction of simulators, resources that work like financial calculators, through problem situations that bring more meaning to learning. It is expected that the work presented here will contribute to the formation of more critical and autonomous citizens and promote the qualification of both teachers and students in primary schools.

Made available in DSpace on 2016-12-23T14:08:13Z (GMT). No. of bitstreams: 1 Dissertacao de Rodrigo Ramos.pdf: 1546367 bytes, checksum: d9dd7667fd9e6d0f4d87e3b238a29764 (MD5) Previous issue date: 2006-12-14 / The use of transit time ultrasonic flow measurement technique has increased very quickly in the last years, so that it is urgently necessary to develop Brazilian technology in this instrumentation field. This work presents the development of a transit time flow meter prototype, called MEVUS, devoted to measurement of gas flows. It presents the mathematical modeling of the governing physical process of the interaction between the ultrasonic wave and the flow that one wants to measure, which is supposed completely developed in a circular pipe. It also presents a systematization of the uncertainty analysis related to the measurement process. The process of conception, analysis and design of the prototype is equally described, so that the reader can easily understand the problems found during the development, highlighting the proposed solutions and the feedback of the creation process of MEVUS Medidor de Vazão por Ultra-Som (Ultrasonic Flowmeter). Performance tests were conducted in the Flow Machines Laboratory of the Mechanical Engineering Department UFES. They are clearly described. The conclusions are presented, as well as the suggestions for future works / A medição ultra-sônica por tempo de trânsito vem alargando velozmente seu campo de aplicação nos últimos anos, havendo, sem dúvida, a necessidade urgente de desenvolvimento de tecnologia brasileira neste campo da instrumentação. O trabalho apresenta o desenvolvimento de um protótipo, batizado de MEVUS, para medidor de vazão ultra-sônico por tempo de trânsito voltado à medição de vazão de gás. Desenvolve-se a modelagem matemática do processo físico que governa a interação entre a onda ultra-sônica e o escoamento que se deseja medir, o qual se supõe plenamente desenvolvido numa tubulação circular. Apresenta-se também a sistematização da análise de incertezas. O processo de concepção, análise e projeto do protótipo é igualmente descrito, permitindo ao leitor a compreensão dos desafios enfrentados durante as atividades, destacando as soluções propostas e realimentação do processo de desenvolvimento do MEVUS Medidor de Vazão por Ultra-Som. Os testes preliminares de desempenho conduzidos no Laboratório de Máquinas de Fluxo do departamento de Engenharia Mecânica UFES são claramente descritos, apresentando-se as conclusões e as sugestões de trabalhos futuros

Submitted by Cleide Dantas (cleidedantas@ufpa.br) on 2014-04-30T12:33:42Z No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_InvestigacaoCaracteristicasNCPS.pdf: 10527727 bytes, checksum: 7e320cfba4c6a329c0c2d91d6adbdff3 (MD5) / Approved for entry into archive by Ana Rosa Silva (arosa@ufpa.br) on 2014-06-11T13:18:53Z (GMT) No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_InvestigacaoCaracteristicasNCPS.pdf: 10527727 bytes, checksum: 7e320cfba4c6a329c0c2d91d6adbdff3 (MD5) / Made available in DSpace on 2014-06-11T13:18:53Z (GMT). No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_InvestigacaoCaracteristicasNCPS.pdf: 10527727 bytes, checksum: 7e320cfba4c6a329c0c2d91d6adbdff3 (MD5) Previous issue date: 2006 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Neste trabalho, fizemos uma investigação sobre o estudo teórico das características I x V e C x V de Nanotubo Carbono de Parede Simples (NCPS) puro, com Nitrogênio substitucional carregado com cargas -1 (caracterizando um indicativo de dopagem tipo n) e +1 (caracterizando um indicativo de dopagem tipo p) e na presença de grupos doador (NO2)-aceitador (NH2), através da simulação computacional do estado fundamental de NCPS, bem como de sua estrutura eletrônica e propriedades ópticas, utilizando parametrizações semi-empíricas AM1 (Austin Mudel 1) e ZINDO/S-ClS (Zerner´s lntermediate Neglect of Differential Orbital/Spectroscopic - Cunfiguration lnteraction Single) derivadas da Teoria de Hartree-Fock baseada em técnicas de química quântica. Por meio deste modelo teórico analisamos as propriedades ópticas e eletrônicas, de maior interesse para esses materiais, a fim de se entender a melhor forma de interação desses materiais na fabricação de dispositivos eletrônicos, tais como TECs (Transistores de Efeito de Campo) ou em aplicações em optoeletrônica tais como DEL (Dispositivo Emissor de Luz). Observamos que NCPS com Nitrogênio substitucional apresentam defeitos conformacionais do tipo polarônico. Fizemos as curvas dos espectros UV-visível de Absorção para NCPS armchair e zigzag puro, com Nitrogênio substitucional carregado com cargas (-1 e +1) e na presença de grupos doador (NO2)-aceitador (NH2), quando perturbados por intensidades diferentes de campo elétrico. Verificamos que em NCPS zigzag ao aumentarmos a intensidade do campo elétrico, suas curvas sofrem grandes perturbações. Obtivemos as curvas p x E, I x V e C x V para esses NCPS, concluímos que NCPS armchair possui comportamento resistor, pois suas curvas são lineares e zigzag possui comportamento semelhante ao dos dispositivos eletrônicos importantes para o avanço tecnológico. Assim, nossos resultados estão de bom acordo com os resultados experimentais e teóricos de NCPS puro e com Nitrogênio encontrados na literatura. / In this work, we relate an investigation on the theoretical study of the I x V and C x V characteristics os SWCN pure, with substitutional Nitrogen charged with charge -1 (n-type material) and +1 (p-type material) and in the presence of donor (NO2)-aceptor (NH2) grups, through of the computational simulation of the SWCN ground states as well as your electronic structure and optics properties utilizing quantum chemical approaches: AM1 (Austin Model 1) and ZINDO/S-CIS (Zerner’s Intermediate Neglect of Differential Orbital/Spectroscopic – Configuration Interaction Simple) semi-empirical parametrization, Hartree-Fock based theory. By mean of this theoretical model, we analyse the electrons and optics properties, of more interest for that materials, the end understand the best shape of interation of this materials in the fabrication of electronic devices such as FETs (Field-Effect Transistors) or in optoelectronic applications such as LEDs (Light-Emitting Devices). We observate that SWCN with substitutional Nitrogen presents conformational defects of the polaron type. We made the curves of the UV-visivel Absorpion Spectra for armchair and zigzag SWCN pure, with substitutional Nitrogen charged with charge -1 (n-type material) and +1 (p-type material) and in the presence of donor (NO2)-aceptor (NH2) grups, when they are perturbed by different intensity of electric field. We examine in zigzag SWCN when it has na increase in the intensity of the electric field, yours curves suffer large perturbations. We get the curves p x E, I x V and C x V for this SWCN, we conclude that armchair armchair possess resistor behavior, therefore yours curves are linears and zigzag possess similar behavior at the importants electronic devices for the tecnologics advance. Our results are good agreement with the experimentals and theoretical results of the SWCN pure and with Nitrogen found in the literature.

Submitted by Cristiane Chim (cristiane.chim@ucpel.edu.br) on 2017-08-14T14:59:15Z No. of bitstreams: 1 ANDERSON AFONSO CARDOZO.pdf: 14214534 bytes, checksum: 2fe18ba05bfad7a5bf6b404bb2fcfd6c (MD5) / Made available in DSpace on 2017-08-14T14:59:15Z (GMT). No. of bitstreams: 1 ANDERSON AFONSO CARDOZO.pdf: 14214534 bytes, checksum: 2fe18ba05bfad7a5bf6b404bb2fcfd6c (MD5) Previous issue date: 2017-02-24 / Recent surveys show that in the near future billions of smart devices will be interconnected via the Internet, thus attracting the attention of Industry and directing the research of the academic community, this synergy of investment has contributed to the materialization of the scenario known as IoT. From the perspective of IoT, computing provides information of all the "things" at all times, regardless of location, providing a highly distributed environment, heterogeneous, dynamic and strong interaction between man and machine. To this end, the IoT devices need to be aware of contextual data that interest you and where appropriate respond to, interoperating autonomously and with minimal human intervention possible in the aspects of management. For the processing of contextual data in IoT has been used cloud-based strategies, which has proven effective in the treatment of important aspects for the IoT, such as ease of access and availability. Howere, these strategies are vulnerable to systems that have limitations on their channels to the Internet, as well as for systems that require low latency in responses or present high disconnect chances. Given this motivation, the central objective of this thesis is the design of an architecture capable of providing the acquisition and processing of distributed contextual events. Therefore, the proposed architecture, called EXEHDA-FOG provides the middleware EXEHDA support to Fog Computing, using the distributed event processing at the edges as a cloud computing extension strategy. The results obtained with the case studies conducted have shown promising results, leading to the continuity of research efforts. / Pesquisas recentes apontam que em um futuro próximo bilhões de dispositivos inteligentes estarão interconectados através da Internet, atraindo assim a atenção da Indústria e direcionando as pesquisas da comunidade acadêmica. Esta sinergia de investimentos vem contribuindo para a materialização do cenário conhecido como Internet of Things (IoT). Na perspectiva da IoT a computação provê informação de todas as "coisas", a todo o momento, independente de localização, constituindo um ambiente altamente distribuído, heterogêneo, dinâmico e com forte interação entre homem e máquina. Para tal, os dispositivos da IoT necessitam ter ciência dos dados contextuais que lhe interessam e quando for o caso reagirem aos mesmos, interoperando de forma autônoma e com o mínimo de intervenção humana possível nos aspectos de gerenciamento. Para o processamento de dados contextuais na IoT tem sido empregadas estratégias baseadas em Cloud, as quais tem se provado eficientes no tratamento de aspectos importantes para a IoT, como a facilidade de acesso e disponibilidade. Estas estratégias porém mostramse vulneráveis para sistemas que possuem limitações nos seus canais com a Internet, assim como para sistemas que necessitam de baixa latência nas respostas ou ainda apresentem chances de desconexão elevadas. Considerando esta motivação, o objetivo central desta dissertação é a concepção de uma arquitetura capaz de prover a aquisição e o processamento de eventos contextuais distribuídos. Para tanto, esta arquitetura, denominada EXEHDA-FOG capacita o middleware Execution Environment for Highly Distributed Applications (EXEHDA) o suporte à Fog Computing, empregando o processamento distribuído de eventos nas bordas como estraté- gia de extensão da Cloud Computing. Os resultados obtidos com o estudo de caso desenvolvido se mostraram promissores, apontando para continuidade dos esforços de estudo e pesquisa.

[pt] Teste é uma etapa muito importante no desenvolvimento de software. No entanto, essa área ainda carece de ferramentas mais eficazes e com um grau de automação maior e mais abrangente do que o atualmente disponível. Uma boa parte das técnicas de geração de casos de teste utiliza explicitamente ou implicitamente tabelas de decisão como instrumento intermediário na geração dos casos de teste específicos. Essa dissertação tem por objetivo desenvolver um processo semi-automático de geração de suítes de teste e que inicia em tabelas de decisão. As suítes geradas devem ser adequadas a ferramentas de execução dos testes totalmente automáticas. Para atingir esse objetivo foram implementados: (i) um editor de tabelas de decisão, (ii) um gerador automático de casos de teste e (iii) um gerador de scripts de teste para o framework FEST. A seguir foram avaliados os benefícios que esse conjunto de ferramentas pode trazer ao processo de automação dos testes, tanto no planejamento (geração de casos de testes valorados a partir dos casos de teste semânticos) quanto na execução dos casos de teste. A avaliação foi baseada em uma série de exemplos envolvendo elementos específicos de interfaces humanas, e, também, na aplicação a um software real. / [en] Testing is a very important area in the software development. However, this area needs more effective tools with a higher level of automation with are more comprehensive than the tools available today. A large part of the techniques that do generation of test cases use explicity or implicitly decision tables as an auxiliary tool. This dissertation aims to develop a semi-automatic process that has as outputs tests suites that were generated using decision tables. These suites must be appropriate for the test automation tools. To achieve these goals were implemented: (i) an decision table editor, (ii) a automatic generator case test, and (iii) an automatic test scripts generator of the FEST framework. After it was necessary evaluate the benefits that these tools could bring for the test area, both in the planning (generation of valued test cases from semantic test cases) and in the execution of test cases. The evaluation was based on a series of examples involving specific elements of human interfaces, and also in application to real software.

Neste trabalho apresentamos os resultados experimentais da medida do calor específico dos compostos Heusler da série Ni2TA1, onde T =Ti, Zr,Hf,V,Nb, Ta. Estas medidas foram feitas utilizando-se um calorímetro adiabático que atua na faixa de 1,84 K a 10,3 K e visaram o estudo da estrutura elêtrônica dos compostos em termos da densidade de estados eletrônicos à nível de Fermi, bem como da dinâmica da rede cristalina, com o uso dos modelos de Debye e de Einstein para o calor específico. Apresentamos, também, uma descrição do calorímetro, seu funcionamento e as alterações ocorridas em função deste trabalho.

Neste trabalho apresentamos os resultados experimentais da medida do calor específico dos compostos Heusler da série Ni2TA1, onde T =Ti, Zr,Hf,V,Nb, Ta. Estas medidas foram feitas utilizando-se um calorímetro adiabático que atua na faixa de 1,84 K a 10,3 K e visaram o estudo da estrutura elêtrônica dos compostos em termos da densidade de estados eletrônicos à nível de Fermi, bem como da dinâmica da rede cristalina, com o uso dos modelos de Debye e de Einstein para o calor específico. Apresentamos, também, uma descrição do calorímetro, seu funcionamento e as alterações ocorridas em função deste trabalho.

Neste trabalho apresentamos os resultados experimentais da medida do calor específico dos compostos Heusler da série Ni2TA1, onde T =Ti, Zr,Hf,V,Nb, Ta. Estas medidas foram feitas utilizando-se um calorímetro adiabático que atua na faixa de 1,84 K a 10,3 K e visaram o estudo da estrutura elêtrônica dos compostos em termos da densidade de estados eletrônicos à nível de Fermi, bem como da dinâmica da rede cristalina, com o uso dos modelos de Debye e de Einstein para o calor específico. Apresentamos, também, uma descrição do calorímetro, seu funcionamento e as alterações ocorridas em função deste trabalho.

Submitted by Marta Toyoda (1144061@mackenzie.br) on 2018-02-08T20:32:01Z No. of bitstreams: 2 GEORGE HENRIQUE MARANHÃO GARCIA DE OLIVEIRA.pdf: 3162275 bytes, checksum: 7e4e2ff4fcb19dbee94fa8f9ac1a5a69 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Paola Damato (repositorio@mackenzie.br) on 2018-04-03T15:10:51Z (GMT) No. of bitstreams: 2 GEORGE HENRIQUE MARANHÃO GARCIA DE OLIVEIRA.pdf: 3162275 bytes, checksum: 7e4e2ff4fcb19dbee94fa8f9ac1a5a69 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-04-03T15:10:51Z (GMT). No. of bitstreams: 2 GEORGE HENRIQUE MARANHÃO GARCIA DE OLIVEIRA.pdf: 3162275 bytes, checksum: 7e4e2ff4fcb19dbee94fa8f9ac1a5a69 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-02-06 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Fundo Mackenzie de Pesquisa / This work presents the characteristics of the ISDB-TB, adopted in Brazil as part of Digital TV Brazilian System (SBTVD) and the challenges and needed adaptations for the next digital TV generations. It also shows the historic of SDR, physical layer LDM, NUC modulations and error correction code LDPC technologies. Their advantages are demonstrated in terms of eficient use of spectrum, robustness and increase of transmission rate. A digital communication system with this technologies was proposed, allowing the compatibility with the ISDB-TB system. The focus of this work are the stages of coding and modulation in the LDM lower layer, enabling better performance of this technique in the ISDB-TB system. This implementation was performed with the software GNU Radio Companion and the use of the C ++ language. / Este trabalho apresenta as características do ISDB-TB, adotado no Brasil como parte do Sistema Brasileiro de TV Digital (SBTVD) e os desafios e adaptações necessárias para as próximas gerações da TV digital. O trabalho também mostra o histórico das tecnologias SDR, camada física LDM, modulações NUC e código corretor de erro LDPC. Suas vantagens de utilização são demonstradas em termos de sua eficiência espectral, robustez e do aumento da taxa de dados transmitida. Um sistema de comunicação digital unindo estas tecnologias é proposto, permitindo a compatibilidade com o sistema ISDB-TB. O foco deste trabalho são as etapas de codificação e modulação da camada inferior do LDM, permitindo maior desempenho desta técnica no sistema ISDB-TB. Esta implementação foi realizada com o software GNU Radio Companion e o uso da linguagem C++.

Submitted by Cristiane Chim (cristiane.chim@ucpel.edu.br) on 2016-10-17T11:10:28Z No. of bitstreams: 1 JULIO FRANCISCO ROCHA DE OLIVEIRA.pdf: 2087173 bytes, checksum: c38d1eda0641d13eef2ccdb59655b27a (MD5) / Made available in DSpace on 2016-10-17T11:10:28Z (GMT). No. of bitstreams: 1 JULIO FRANCISCO ROCHA DE OLIVEIRA.pdf: 2087173 bytes, checksum: c38d1eda0641d13eef2ccdb59655b27a (MD5) Previous issue date: 2016-08-01 / This work proposes the exploration of approximate adders circuits for the implementation of power-efficient for Image Processing. The Gaussian filter is a convolution operator which is used to blur images and to remove noise. On the other hand, the Gradient of an image measures how it is changing. Both blocks can be designed in hardware using only shifts and additions/subtractions. In this work we exploit a set of approximate adders in order to implement energy-efficient filters. The tree of adders of Gaussian and Gradient filters are implemented using one Copy of bits adder, as well as an Error-Tolerant Adders - ETA. The approximate architectures are compared to the best precise implementation of the filters. As the Gaussian and Gradient blocks are part of the Canny edge detector algorithm, we have implemented the tree of adders of the filters aiming this application. In particular, an algorithm was proposed in the scope of this work in order to achieve the best adder trees for the Gaussian and Gradient filters. The main results show that for an efficient power realization of this algorithm, the best strategy consists in the implementation of the Gaussian filter with ETA I adder, and the Gradient filter with the Copy of bits adder. The approximate Gaussian and Gradient filters were applied to the fully hardware of Canny edge detector. The main results showed that the approximate Canny edge detector architectures present the best performance and precision metrics results, for most of the cases, when using both the Copy of bits and ETA I adders. For these tests a set of true images were used. The synthesis results showed that the use of the Gaussian and Gradient filters including the Copy of bits and ETA I adders has been efficient to the hardwired Canny edge detector that presented both area and energy consumption reductions. / Este trabalho propõe a exploração de circuitos somadores aproximados para a implementação de filtros eficientes em consumo de potência para Processamento de Imagem. O filtro Gaussiano é um operador de convolução que é usado para borrar as imagens e remover ruídos. Por outro lado, o Gradiente de uma imagem quantifica o quanto uma imagem está mudando. Ambos os blocos podem ser implementados em hardware usando apenas operações de deslocamento e somas/subtrações. Nesse trabalho, um conjunto de somadores aproximados é explorado para a implementação de filtros eficientes em termos de energia. As árvores de somadores dos filtros Gaussiano e Gradiente são implementadas usando um somador aproximado baseado na cópia de bits para a saída, bem como somadores tolerantes a erros (ETA - Error-Tolerant Adders). As arquiteturas aproximadas são comparadas com as implementações dos filtros com somadores precisos. Como os blocos Gaussiano e Gradiente são partes integrantes do algoritmo de detecção de bordas de Canny, logo as árvores de somadores dos filtros Gaussiano e Gradiente foram implementadas visando a esta aplicação. Em particular, um algoritmo foi proposto no âmbito deste trabalho para encontrar a melhor composição da árvore de somadores nos filtros Gaussiano e Gradiente. Os principais resultados mostram que, para a realização eficiente em potência desse algoritmo, as melhores estratégias consistem na implementação do filtro Gaussiano com o somador ETA I e a implementação do filtro Gradiente com o somador baseado em cópia de bits. Os filtros Gaussiano e Gradiente aproximados foram aplicados ao circuito completo de detecção de bordas de Canny. Os resultados mostraram que as arquiteturas de detecção de bordas de Canny aproximadas, com somadores baseado na cópia de bits e ETAI, na maioria dos casos possuem melhores resultados em relação às métricas de desempenho e precisão, com relação à arquitetura precisa. Os testes foram realizados usando um conjunto de imagens reais. Os resultados da síntese em ASIC mostraram que, as aproximações dos filtros Gaussiano e Gradiente com os somadores baseado em cópia de bits e ETA I trazem economia em área e energia ao circuito de detecção de bordas de Canny.