Educação matemática pela arte
Gusmão, Lucimar Donizete
2013-08-28
Search results
46,707 records were found.
Os sistemas de manufatura há muito vêm sendo objeto de interesse por profissionais e pesquisadores devido à busca de melhores técnicas visando o aumento da produtividade bem como pelo aumento da competitividade empresarial ao longo dos anos. Dentre seus componentes, o sistema de movimentação de materiais merece atenção especial pois, apesar de não aumentar o valor do produto, é responsável por manter o fluxo de materiais entre máquinas, células de manufatura, centros de custos ou mesmo entre empresas, que é imprescindível para qualquer sistema produtivo. Neste contexto, o presente trabalho propõe uma metodologia para a modelagem de sistemas flexíveis de movimentação de materiais e partes em ambiente fabril, focando-se em sistemas cuja movimentação possa ser realizada por VATs (Veículos Autônomos de Transporte). Considerando-se o siste...
Interação entre angiotensina-(1-7) [Ang-(1-7)] e bradicinina (BK) foi determinada no mesentério de ratos Wistar anestesiados utilizando-se microscopia intravital. Aplicação tópica de BK e Ang-(1-7) induziram vasodilatação que foi abolida por HOE-140 e A-779, respectivamente. Ang-(1-7) (100 pmol) potencializou a vasodilatação de BK (1 pmol) mas não a vasodilatação promovida por acetilcolina, nitroprussiato de sódio, histamina e ácido araquidônico. O efeito potencializador de Ang-(1-7) sobre BK foi abolido por A-779, HOE-140, indometacina, L-NAME e TEA, entretanto, losartan não bloqueou este efeito. Enalaprilato aumentou a resposta vasodilatadora de BK e Ang-(1-7) e não alterou o efeito potencializador do segundo sobre o primeiro. Conclui-se que: 1)efeito potencializador de Ang-(1-7) sobre BK depende da interação de ambos com seus respec...
Para sistematizar os testes e contornar as restrições de tempo e custo associadas à atividade de teste, diversas técnicas, critérios e ferramentas têm sido desenvolvidas. Além disso, visando ao estabelecimento de uma estratégia de teste incremental, que apresente baixo custo de aplicação e alta eficácia em revelar a presença de erros, estudos teóricos e empíricos vêm sendo conduzidos pela comunidade de teste. O presente trabalho está inserido nesse contexto e tem como objetivo a realização de estudos empíricos para comparar a adequação entre os critérios baseados em erros - Análise de Mutantes (teste de unidade) e Mutação de Interface (teste de integração) - visando ao estabelecimento de estratégias de teste de baixo custo e eficazes, que englobem todo o ciclo de desenvolvimento de software. Nessa perspectiva, algumas estratégias incre...
Este trabalho é concernente a periodicidade na equação de Wright. Provaremos a existência de soluções periódicas não constantes, explorando o conceito de ejetividade de um teorema de ponto fixo. Além disso, provamos a existência de uma seqüência infinita de Bifurcação de Hopf.
Atividades de teste no desenvolvimento de sistemas Reativos são de grande relevância, bem como a disponibilidade de ferramentas que apóiem essas atividades, pois falhas nesses sistemas podem causar graves conseqüências econômicas e/ou sociais. A Análise de Mutantes tem sido explorada no teste de especificações do aspecto comportamental de Sistemas Reativos baseadas em Máquinas de Estados Finitos, Statecharts e Redes de Petri. Este trabalho tem como objetivo a implementação da Proteum-RS/ST, que apóia o teste de especificações Statecharts baseada na Análise de Mutantes. Dessa forma, fornecem-se subsídios para se investigar a adequação de critérios tradicionalmente usados no teste de programas, como a Análise de Mutantes, no teste de especificações de Sistemas Reativos, em particular no contexto de especificações baseadas em Statecharts.
O presente trabalho tem por objetivo a implementação de algoritmos de controle do tipo PID com sintonia automática de seus parâmetros para controle de processos térmicos de primeira ordem mais tempo morto. Existe um grande número de métodos para a sintonia automática, os quais requerem informações variadas sobre o processo. A sintonia automática dos parâmetros do controlador escolhida para implementação é baseada no método da realimentação a relê que utiliza o ganho estático e o período e amplitude críticos do processo e pode ser facilmente adotada na indústria. Este método foi implementado em um controlador industrial microprocessado que utiliza um microcontrolador da família 8051. A correta identificação dos parâmetros críticos do processo presume a geração de oscilações simétricas durante a realimentação a relê. O algoritmo de sinto...
Neste trabalho foi estudada a influência da forma de preparo do inóculo na morfologia do microrganismo e na produção de glicoamilase por Aspergillus awamori, em cultivo submerso. Foram realizados ensaios variando-se a concentração de esporos utilizada no preparo do inóculo para o fermentador (pré-cultivo de células em incubador rotativo a 200 rpm e 35 oC, por 24 horas) no intervalo entre 9,5 exp 03 e 1,8 exp 07 esporos/mL. Os inóculos preparados com concentração de esporos entre 9,5 exp 03 e 9,5 exp 05 esporos/mL apresentaram-se na forma de uma suspensão de pellets e conduziram a um crescimento na forma filamentosa, em fermentador. A produção de glicoamilase, nos ensaios com concentração inicial de substrato de 40 g/L, realizados em fermentador, não foi influenciada pela concentração de esporos nessa faixa, mantendo-se entre 2100 e ...
Os processos de conformação de metais, apesar de sua extensa aplicação na indústria, tem seus projetos baseados principalmente em técnicas experimentais. Com o desenvolvimento e facilidade de acesso a computadores mais potentes, tornou-se viável a utilização de soluções numéricas como ferramentas de otimização das características do produto, do processo, bem como de seu custo. Um método numérico amplamente utilizado para simulação do processo de conformação é o Método dos Elementos Finitos, que permite a previsão do comportamento do fluxo de material durante a operação de conformação de chapas. Considera-se um blank com perfil ideal aquele onde a peça produzida a partir de sua conformação possua uma flange constante, minimizando ou eliminando a operação de retirada da rebarba. Com o objetivo de se obter o blank com perfil ideal para op...
Este trabalho tem como objetivo principal calibrar as assinaturas espectrais das fisionomias do cerrado sazonalmente de modo a fornecer subsídios para o manejo e a conservação dos remanescentes do mesmo. O local de estudo, a gleba Pé-de-Gigante (Parque Estadual de Vassununga - SP), possui vários morfotipos de cerrado senso lato desde os florestais até os campestres. Assim, usando imagens Landsat Thematic Mapper nas faixas do vermelho (TM-3) e infravermelho próximo (TM-4), foram obtidas imagens índice de vegetação (IVDN), que destacam a densidade de folhas verdes. As classes fisionômicas foram identificadas espectral e sazonalmente. Para validar o método, construiu-se um mapa com as áreas de probabilidade de ocorrência das fitofisionomias da gleba utilizando os IVDN do período de estiagem, pré-estiagem e de chuvas. Após teste com dados ...
Entre os processos de fabricação mecânicos atuais destacam-se os processos de conformação de chapas metálicas devido à sua produtividade e confiabilidade e a seus baixos custos de produção, baixo consumo de material e produtos nos formatos bem próximos dos esperados nas fases de projeto. Isto só é possível se todas as variáveis do projeto e do processo estiverem conforme as especificações prévias, exigidas principalmente em setores da indústria tais como o aeronáutico e o automobilístico. Um recurso útil para se alcançar estas expectativas é o estudo da estricção e da conformabilidade em chapas metálicas, representadas em diagramas de limite de conformação (DLC), os quais, aliados à análise numérica através do Método dos Elementos Finitos, permitem predições a respeito das variáveis de projeto. Este trabalho tem como objetivos rever e ...
