O desenvolvimento do pensamento algébrico com recurso à folha de cálculo: um estudo com alunos de 9.º ano

Dissertação para a obtenção do Grau de Mestre em Educação Matemática do 3.º Ciclo do Ensino Básico e Secundário

Optimização das condições de moldação de materiais compósitos para construção de ferramenta de reparação de defeito em radome de aeronave

Com o objectivo de construir uma ferramenta de reparação de defeitos em radomes de aeronaves, torna-se necessário identificar quais os materiais e as técnicas apropriadas para esta tarefa, listando a tecnologia, o conhecimento e os recursos humanos existentes na empresa e no mercado, na tentativa de rentabilizar os custos de construção da ferramenta de reparação. Para os prepreg’s de fibra de carbono, a técnica aconselhada é a Moldação por Saco de Vácuo, enquanto que para os tecidos de fibra de vidro impregnados de resina, a Moldação por Infusão de Resina Assistida por Vácuo é a técnica aconselhada. Após a análise de resultados dos ensaios de Tracção e de Flexão, obtêm-se dados para calcular a espessura mínima aconselhada para as paredes da ferramenta de reparação, de modo a que não sofra qualquer distorção aquando da sua utilização nas reparações efectuadas em autoclave. Após se calcular qual a espessura mínima da parede da ferramenta, faz-se o cálculo e a análise de custos para ambas as soluções, de modo a perceber a viabilidade financeira de cada uma das técnicas, concluindo-se qual a solução mais facilmente rentabilizável.

Desenvolvimento de uma ferramenta de apoio à decisão na distribuição de combustíveis

A logística é um elemento essencial para a competitividade das empresas, designadamente para as empresas de distribuição de combustíveis. Para melhorar o desempenho na distribuição de combustíveis é importante definir regras de decisão eficazes e eficientes, nomeadamente no que diz respeito à selecção das redes de transporte, aos meios de transporte, às rotas a definir e aos veículos a atribuir a cada rota. O objectivo da presente dissertação é criar uma ferramenta de apoio à tomada de decisão dos gestores, no que se refere aos preços a aplicar aos clientes no abastecimento de combustíveis. Este objectivo é alcançado através do desenvolvimento de um modelo de cálculo dos custos de distribuição de combustíveis. A dissertação inicia com a descrição do sector da distribuição de combustíveis e com a caracterização da empresa onde o estudo foi realizado. Segue-se uma revisão dos estudos existentes sobre distribuição e custeio da distribuição, descreve-se o sistema de gestão e de planeamento da distribuição da empresa TAMS e, com base nos dados de contabilidade e da operação de 2012 e 2013, estabelece-se um modelo que, através da relação entre os custos variáveis por tipo de veículo e o distância percorrida, permite apoiar a empresa na definição da política de preços a praticar aos clientes por zona do país, e no modo de racionalizar a distribuição.

Desenvolvimento de ferramenta vocacionada para o dimensionamento de estruturas metálicas de acordo com a NP EN 1993-1-1

Trabalho desenvolvido em parceria com a empresa Casais.

Desenvolvimento de ferramenta vocacionada para o dimensionamento de estruturas metálicas de acordo com a NP EN 1993-1-1

Dissertação de mestrado integrado em Engenharia Civil

Cálculo de forças em superestruturas de quebra-mares de talude

Do ponto de vista funcional, os quebra-mares de talude são construídos de modo a proporcionar melhores condições de abrigo aos navios e pequenas embarcações e/ou impedir a acumulação de detritos (areias, calhaus, lodo, etc.) à entrada do canal de acesso. Para reforçar as funções acima mencionadas, por questões económicas e/ou para facilitar alguns processos construtivos, os quebra-mares de talude são projectados com uma superestrutura no seu coroamento, cujo objectivo é evitar que haja passagem de água sobre o coroamento de quebra-mar, ou seja, reduzir o galgamento. Para dimensionar a superestrutura de um quebra-mar de talude é necessário conhecer as forças a que estão sujeitas que, neste caso, são essencialmente devidas às ondas. Estas forças ocorrem quando a onda atinge a estrutura durante o espraiamento e quando a onda interage com a superestrutura depois da sua rebentação, estando disponíveis, para este caso, algumas formulações que permitem obter as pressões ou as forças induzidas pela onda. Quando a onda rebenta na própria superestrutura geram-se forças de impulsos para as quais não existe na literatura nenhuma formulação empírica válida que permita obtê-las a não ser os métodos de impulsos. Na presente dissertação analisaram-se as formulações disponíveis para o cálculo de forças em superestruturas de quebra-mares de talude. Desenvolveu-se uma interface que, de acordo com o tipo de estrutura e as condições de agitação, verifica quais as formulações a utilizar, efectua os cálculos (programados com base nas diferentes formulações de cálculo de forças em estruturas marítimas existentes na literatura) e apresenta os resultados de forma gráfica e quantitativamente. Finalmente aplicou-se a ferramenta ao estudo das pressões/forças em duas superestruturas de quebra-mares reais: a do Porto de Gijón, Espanha e a do Porto de Amboim, Angola. Para um dos casos de estudo, o Porto de Amboim, os resultados foram ainda comparados com os resultados obtidos em ensaios em modelo reduzido. Para estes dois casos de estudo apresenta-se ainda uma análise crítica dos resultados de pressões/forças calculados através das formulações estudados no âmbito desta dissertação. Dos resultados obtidos, a formulação de Martín et al., 1999 é a formulação que se recomenda na literatura no caso de se pretender dimensionar superestruturas de quebra-mares de talude [CIRIA/CUR/CETMEF, 2007]. Convém, no entanto, verificar que as condições em estudo estão dentro do seu limite de validade.

Análise digital do terreno: ferramenta na identificação de pedoformas em microbacia na região de "Mar de Morros" (MG)

Este trabalho reporta a utilização de ferramentas de um SIG (Sistema de Informação Geográfica) para o delineamento das geoformas e pedopaisagens em um estudo de caso em microbacia do município de Viçosa (MG), a partir dos dados da carta topográfica (escala 1:50.000) da região. Trabalhos de campo permitiram aferir uma exatidão global de 72 % na classificação das formas da paisagem e correlacionar as classes obtidas com as classes de solos dominantes. Após ajustes, elaborou-se um mapa síntese preliminar de distribuição de pedoformas, que auxilia no mapeamento de solos. O método de classificação das formas da paisagem baseado na geração de um MNT (Modelo Numérico do Terreno) e no cálculo dos atributos do relevo (elevação, declividade, curvatura) mostra-se uma alternativa rápida e econômica em comparação ao delineamento manual a partir da utilização de análise estereoscópica de fotografias aéreas.

Metodologia para o cálculo de um indicador da viabilidade de customização de produtos manufaturados

O tema desta dissertação de mestrado é o estudo da Customização em Massa (CM) com vistas à elaboração de um índice que meça a viabilidade da implantação de sistemas de manufatura customizados. A CM vem sendo identificada por um número crescente de organizações como uma importante estratégia competitiva. A etapa inicial desta dissertação foi a revisão bibliográfica sobre CM, Flexibilidade na Manufatura e Desdobramento da Função Qualidade (QFD), que constituem os seus temas principais. Na segunda etapa foi elaborada a metodologia que propõe o cálculo de um indicador de viabilidade de customização de produtos manufaturados. Como ferramenta para a elaboração deste índice, utilizou-se o QFD. Através do emprego da metodologia proposta é possível listar e ponderar as demandas de customização pelos clientes e, então, avaliar a viabilidade de se customizar os elementos desejados pelo cliente em termos de produto e processo (viabilidade tecnológica e flexibilidade de manufatura). Na última etapa a metodologia proposta nesta dissertação foi aplicada através de um estudo de caso, permitindo-se o esclarecimento da realização das suas etapas.

Gerenciamento do risco de crédito : cálculo do risco de crédito para a carteira de um banco de varejo

O presente trabalho objetivou a realização de um estudo de caso sobre o tema risco de crédito. Avaliou-se o risco de crédito sob dois vetores: o risco esperado e o risco não esperado. Procede-se então a uma revisão dos principais modelos de gestão da carteira de crédito destacando-se suas características, aplicações e limitações. O modelo da autarquia é comparado aos modelos utilizados pelo mercado, os quais são apresentados em grau crescente de complexidade. O modelo de mercado utilizado neste trabalho foi constituído a partir do credit scoring, uma ferramenta estatística de pontuação de créditos derivada da aplicação da técnica estatística denominada Análise Discriminante. Este modelo resultou na boa discriminação dos clientes com necessidades emergenciais de empréstimos (bons clientes) dos clientes com situação financeira precária (maus clientes) possibilitando uma boa prevenção da probabilidade de inadimplência. A partir das classes de risco constituídas foi possível a aplicação da análise de portfolio para o cálculo da perda potencial na carteira. Assim, por meio de um estudo de caso, realizado em uma instituição financeira brasileira foram comparadas as medidas de capital e de risco de crédito estabelecidos pelo Banco Central do Brasil, através das resoluções 2.099/94 e 2.682/99, com as medidas calculadas a partir de um modelo de credit scoring. Essa comparação resultou na avaliação da eficácia da norma quanto à mensuração do risco em carteiras de crédito. Os resultados apontam o conservadorismo da autarquia no cálculo desses saldos, penalizando a instituição financeira analisada ao exigir a constituição de provisão e patrimônio líquido mínimo acima do que seria necessário. O risco calculado a partir do modelo de credit scoring para uma carteira de crédito direto ao consumidor foi cerca de 20% inferior aos montantes calculados pelo Banco Central do Brasil.

Uma ferramenta para automação da geração do leiaute de circuitos analógicos sobre uma matriz de transistores MOS pré-difundidos

Este trabalho apresenta o LIT, uma ferramenta de auxílio ao projeto de circuitos integrados analógicos que utiliza a técnica da associação trapezoidal de transistores (TAT) sobre uma matriz digital pré-difundida. A principal característica é a conversão de cada transistor simples de um circuito analógico em uma associação TAT equivalente, seguido da síntese automática do leiaute da associação séria-paralela de transistores. A ferramenta é baseada na matriz SOT (sea-of-transistors), cuja arquitetura é voltada para o projeto de circuitos digitais. A matriz é formada somente por transistores unitários de canal curto de dimensões fixas. Através da técnica TAT, entretanto, é possível criar associações série-paralelas cujo comportamento DC aproxima-se dos transistores de dimensões diferentes dos unitários. O LIT é capaz de gerar automaticamente o leiaute da matriz SOT e dos TATs, além de células analógicas básicas, como par diferencial e espelho de corrente, respeitando as regras de casamento de transistores. O cálculo dos TATs equivalentes também é realizado pela ferramenta. Ela permite a interação com o usuário no momento da escolha da melhor associação. Uma lista de possíveis associações é fornecida, cabendo ao projetista escolher a melhor. Além disso, foi incluído na ferramenta um ambiente gráfico para posicionamento das células sobre a matriz e um roteador global automático. Com isso, é possível realizar todo o fluxo de projeto de um circuito analógico com TATs dentro do mesmo ambiente, sem a necessidade de migração para outras ferramentas. Foi realizado também um estudo sobre o cálculo do TAT equivalente, sendo que dois métodos foram implementados: aproximação por resistores lineares (válida para transistores unitários de canal longo) e aproximação pelo modelo analítico da corrente de dreno através do modelo BSIM3. Três diferentes critérios para a escolha da melhor associação foram abordados e discutidos: menor diferença de corrente entre o TAT e o transistor simples, menor número de transistores unitários e menor condutância de saída. Como circuito de teste, foi realizado o projeto com TATs de um amplificador operacional de dois estágios (amplificador Miller) e a sua comparação com o mesmo projeto utilizando transistores full-custom. Os resultados demonstram que se pode obter bons resultados usando esta técnica, principalmente em termos de desempenho em freqüência. A contribuição da ferramenta LIT ao projeto de circuitos analógicos reside na redução do tempo de projeto, sendo que as tarefas mais suscetíveis a erro são automatizadas, como a geração do leiaute da matriz e das células e o roteamento global. O ambiente de projeto, totalmente gráfico, permite que mesmo projetistas analógicos menos experientes realizem projetos com rapidez e qualidade. Além disso, a ferramenta também pode ser usada para fins educacionais, já que as facilidades proporcionadas ajudam na compreensão da metodologia de projeto.

ANAC : uma ferramenta para a automatização da análise da complexidade de algoritmos

A análise de um algoritmo tem por finalidade melhorar, quando possível, seu desempenho e dar condições de poder optar pelo melhor, dentre os algoritmos existentes, para resolver o mesmo problema. O cálculo da complexidade de algoritmos é muito dependente da classe dos algoritmos analisados. O cálculo depende da função tamanho e das operações fundamentais. Alguns aspectos do cálculo da complexidade, entretanto, não dependem do tipo de problema que o algoritmo resolve, mas somente das estruturas que o compõem, podendo, desta maneira, ser generalizados. Com base neste princípio, surgiu um método para o cálculo da complexidade de algoritmos no pior caso. Neste método foi definido que cada estrutura algorítmica possui uma equação de complexidade associada. Esse método propiciou a análise automática da complexidade de algoritmos. A análise automática de algoritmos tem como principal objetivo tornar o processo de cálculo da complexidade mais acessível. A união da metodologia para o pior caso, associada com a idéia da análise automática de programas, serviu de motivação para o desenvolvimento do protótipo de sistema ANAC, que é uma ferramenta para análise automática da complexidade de algoritmos não recursivos. O objetivo deste trabalho é implementar esta metodologia de cálculo de complexidade de algoritmos no pior caso, com a utilização de técnicas de construção de compiladores para que este sistema possa analisar algoritmos gerando como resultado final a complexidade do algoritmo dada em ordens assintóticas.

Limites (cálculo e significado)

Capítulo 3 do Livro "Noções de Cálculo Diferencial e Integral para Tecnólogos"

Ferramenta de simulação do consumo de energia na iluminação pública

A iluminação pública é uma área importante de consumo energético. Actualmente existem uma variedade de soluções tecnológicas que permitem diminuir esse consumo e o correspondente impacte ambiental. No entanto, estas soluções tecnológicas nem sempre são utilizadas devido à falta de suporte informático que permita o planeamento para instalação de redes de iluminação, e/ou actualização das tecnologias utilizadas na rede de iluminação existente. Este relatório apresenta uma ferramenta de simulação do consumo de energia na iluminação pública, através da definição de cenários pelo utilizador, nos quais são simuladas a escolha de lâmpadas, luminárias e sistemas de controlo para cada ramal de electricidade, representados sobre um plano geográfico, que permita o cálculo de indicadores de apoio à decisão. A solução apresentada neste relatório, desenvolvida sobre o sistema de web mapping Google Maps, e sobre a plataforma de desenvolvimento para a web Ruby on Rails, permite o desenho sobre o mapa de uma rede de iluminação pública, e o cálculo em tempo de execução do custo e consumo de energia dos cenários de iluminação simulados pelo utilizador. Através de expansões futuras esta ferramenta poderá contribuir para a eficiente optimização de redes de iluminação pública.

Uma ferramenta de análise automatizada de técnicas de seleção de testes de regressão baseada em mineração de repositórios de software

The main goal of Regression Test (RT) is to reuse the test suite of the latest version of a software in its current version, in order to maximize the value of the tests already developed and ensure that old features continue working after the new changes. Even with reuse, it is common that not all tests need to be executed again. Because of that, it is encouraged to use Regression Tests Selection (RTS) techniques, which aims to select from all tests, only those that reveal faults, this reduces costs and makes this an interesting practice for the testing teams. Several recent research works evaluate the quality of the selections performed by RTS techniques, identifying which one presents the best results, measured by metrics such as inclusion and precision. The RTS techniques should seek in the System Under Test (SUT) for tests that reveal faults. However, because this is a problem without a viable solution, they alternatively seek for tests that reveal changes, where faults may occur. Nevertheless, these changes may modify the execution flow of the algorithm itself, leading some tests no longer exercise the same stretch. In this context, this dissertation investigates whether changes performed in a SUT would affect the quality of the selection of tests performed by an RTS, if so, which features the changes present which cause errors, leading the RTS to include or exclude tests wrongly. For this purpose, a tool was developed using the Java language to automate the measurement of inclusion and precision averages achieved by a regression test selection technique for a particular feature of change. In order to validate this tool, an empirical study was conducted to evaluate the RTS technique Pythia, based on textual differencing, on a large web information system, analyzing the feature of types of tasks performed to evolve the SUT

Concepções infinitesimais em um curso de cálculo

Pós-graduação em Educação Matemática - IGCE