6 resultados para Desenvolvimento de software orientado a aspectos
em Biblioteca de Teses e Dissertações da USP
Resumo:
A ciência na qual se estuda a deformação de um fluido no qual é aplicada uma tensão de cisalhamento é conhecida como reologia e o equipamento utilizado para a realização dos ensaios é chamado de reômetro. Devido a impraticabilidade de uso de reômetros comerciais, diversos pesquisadores desenvolveram reômetros capazes de analisar suspensões de macropartículas, baseados nos mesmos princípios de funcionamento dos equipamentos já existentes. Em alguns casos, a medição do torque do motor é realizada pela aquisição da tensão, uma vez que esta é proporcional ao torque. Entretanto, para melhor compreensão do resultado e para evitar a possibilidade de conclusões precipitadas, vê-se necessária correta interpretação do sinal elétrico, precisando avaliar qual frequência do sinal é relevante para o ensaio e, também, qual a melhor taxa de amostragem. Além da aquisição, para que o ensaio reológico seja realizado com precisão, é indispensável ótimo controle da taxa ou tensão do motor e uma alternativa é a utilização de um servomotor e um servoconversor. No caso desse ser comercial é essencial saber configurá-lo. Para facilitar o usuário leigo, alguns pesquisadores desenvolveram softwares para controle do equipamento e análise dos dados. Assim, o presente trabalho tem como objetivo propor uma metodologia para compreender o sinal aquisitado de um reômetro servo controlado e desenvolvimento do software de análise para o tratamento dos dados obtidos a partir de ensaios reológicos. Verificou-se a melhor configuração do servocontrolador, a melhor taxa de amostragem, de no mínimo 20 amostras/segundo, e, também, desenvolveu-se um filtro digital passa-baixa do tipo FIR para remover a frequência indesejada. Além disso, foi desenvolvido um software utilizando uma rotina em Matlab e uma interface gráfica do usuário (Graphical User Interface - GUI), para o pós-processamento dos dados para auxiliar o usuário leigo no tratamento e interpretação do resultado, que se mostrou eficaz.
Resumo:
O Teste Baseado em Modelos (TBM) emergiu como uma estratégia promissora para minimizar problemas relacionados à falta de tempo e recursos em teste de software e visa verificar se a implementação sob teste está em conformidade com sua especificação. Casos de teste são gerados automaticamente a partir de modelos comportamentais produzidos durante o ciclo de desenvolvimento de software. Entre as técnicas de modelagem existentes, Sistemas de Transição com Entrada/Saída (do inglês, Input/Output Transition Systems - IOTSs), são modelos amplamente utilizados no TBM por serem mais expressivos do que Máquinas de Estado Finito (MEFs). Apesar dos métodos existentes para geração de testes a partir de IOTSs, o problema da seleção de casos de testes é um tópico difícil e importante. Os métodos existentes para IOTS são não-determinísticos, ao contrário da teoria existente para MEFs, que fornece garantia de cobertura completa com base em um modelo de defeitos. Esta tese investiga a aplicação de modelos de defeitos em métodos determinísticos de geração de testes a partir de IOTSs. Foi proposto um método para geração de conjuntos de teste com base no método W para MEFs. O método gera conjuntos de teste de forma determinística além de satisfazer condições de suficiência de cobertura da especificação e de todos os defeitos do domínio de defeitos definido. Estudos empíricos avaliaram a aplicabilidade e eficácia do método proposto: resultados experimentais para analisar o custo de geração de conjuntos de teste utilizando IOTSs gerados aleatoriamente e um estudo de caso com especificações da indústria mostram a efetividade dos conjuntos gerados em relação ao método tradicional de Tretmans.
Resumo:
Introdução: Grande parte das ações para promover a atividade física no lazer em populações tem apresentado tamanhos de efeito pequenos ou inexistentes, ou resultados inconsistentes. Abordar o problema a partir da perspectiva sistêmica pode ser uma das formas de superar esse descompasso. Objetivo: Desenvolver um modelo baseado em agentes para investigar a conformação e evolução de padrões populacionais de atividade física no lazer em adultos a partir da interação entre atributos psicológicos dos indivíduos e atributos dos ambientes físico construído e social em que vivem. Métodos: O processo de modelagem foi composto por três etapas: elaboração de um mapa conceitual, com base em revisão da literatura e consulta com especialistas; criação e verificação do algoritmo do modelo; e parametrização e análise de consistência e sensibilidade. Os resultados da revisão da literatura foram consolidados e relatados de acordo com os domínios da busca (aspectos psicológicos, ambiente social e ambiente físico construído). Os resultados quantitativos da consulta com os especialistas foram descritos por meio de frequências e o conteúdo das respostas questões abertas foi analisado e compilado pelo autor desta tese. O algoritmo do modelo foi criado no software NetLogo, versão 5.2.1., seguindo-se um protocolo de verificação para garantir que o algoritmo fosse implementado acuradamente. Nas análises de consistência e sensibilidade, utilizaram-se o Teste A de Vargha-Delaney, coeficiente de correlação de postos parcial, boxplots e gráficos de linha e de dispersão. Resultados: Definiram-se como elementos do mapa conceitual a intenção da pessoa, o comportamento de pessoas próximas e da comunidade, e a percepção da qualidade, do acesso e das atividades disponíveis nos locais em que atividade física no lazer pode ser praticada. O modelo representa uma comunidade hipotética contendo dois tipos de agentes: pessoas e locais em que atividade física no lazer pode ser praticada. As pessoas interagem entre si e com o ambiente construído, gerando tendências temporais populacionais de prática de atividade física no lazer e de intenção. As análises de sensibilidade indicaram que as tendências temporais de atividade física no lazer e de intenção são altamente sensíveis à influência do comportamento atual da pessoa sobre a sua intenção futura, ao tamanho do raio de percepção da pessoa e à proporção de locais em que a atividade física no lazer pode ser praticada. Considerações finais: O mapa conceitual e o modelo baseado em agentes se mostraram adequados para investigar a conformação e evolução de padrões populacionais de atividade física no lazer em adultos. A influência do comportamento da pessoa sobre a sua intenção, o tamanho do raio de percepção da pessoa e a proporção de locais em que a atividade física no lazer pode ser praticada são importantes determinantes da conformação e evolução dos padrões populacionais de atividade física no lazer entre adultos no modelo.
Resumo:
Este trabalho apresenta o macrozoneamento como instrumento de gestão ambiental que visa compatibilizar, em bases permanentes, o desenvolvimento econômico de uma região à manutenção da qualidade ambiental. Neste contexto, o Sistema de Informações Geográficas se apresenta como ferramenta necessária à síntese da dinâmica econômica-ecológica, a fim de que as rápidas mudanças, inerentes ao modelo de desenvolvimento global, não inviabilizem um processo que deve contemplar a visão sistêmica do meio ambiente. No desenvolvimento desta pesquisa foi utilizado o software Idrisi para o processamento dos mapas da área de estudo, que constitui a base do banco de dados. Fundamentando-a, foram abordados os conceitos de gestão e planejamento ambiental e de sistema de informações geográficas, relacionando-os ao macrozoneamento e aos aspectos jurídicos observados no país e, particularmente, no Estado de São Paulo. Como resultado final, o banco de dados digitais e a abordagem do macrozoneamento da região de Ribeirão Preto, através da apresentação e análise de cenários de potenciais usos e conflitos, entre outros, deverão subsidiar a implementação de atividades e diagnósticos regionais. Além disto, o trabalho poderá contribuir para a consolidação e para o direcionamento da inserção do macrozoneamento no sistema de gestão ambiental.
Resumo:
O cavalo Baixadeiro é encontrado na Baixada Maranhense, região caracterizada por planície, podendo permanecer alagada por até seis meses. Ainda que diante destas condições, o cavalo Baixadeiro pode viver sem apresentar doenças da úngula, tais como, a laminite. Assim, propôs-se identificar elementos morfológicos da úngula desta raça específica de cavalo com o intuito de explicar tal resistência à umidade. Foram utilizadas amostras de úngula provenientes de 4 cavalos Baixadeiros (N=16) e de 4 cavalos Puro Sangue Inglês (N=16). Todas as úngulas foram analisadas por macroscopia, morfometria e por microscopia eletrônica de varredura e de luz. Macroscopicamente, a úngula do cavalo Baixadeiro era cuneiforme, com comprimento médio de 10.22 ± 1.3 cm, largura de 9.83 ± 1.01 cm e comprimento da parede medial de 5.67 ± 0.76 cm. A úngula do cavalo Puro Sangue Inglês teve um comprimento médio de 13.47 ± 0.8 cm, largura de 12.54 ± 0.49 cm e comprimento da parede medial de 7.77 ± 0.54 cm. Na microscopia de luz da camada interna, o tecido que conecta as lamelas epidérmicas primárias às secundárias e ao estrato médio foi visualmente mais espesso no Baixadeiro. Além disso, a região distal das lamelas era mais compacta do que as da região proximal, enquanto que no Puro Sangue Inglês não foram observadas diferenças. Na microscopia eletrônica de varredura, o espaço intertubular do estrato médio foi visualmente maior. A partir desta arquitetura nós sugerimos que existe maior adesão da cápsula da úngula à falange distal no cavalo Baixadeiro, provavelmente diminuindo a incidência de rotação da falange distal e, consequentemente, diminuindo a laminite
Resumo:
A utilização de Bromélias tem sido crescente no mercado de plantas onamentais, por outro lado, muitas espécies encontram-se ameaçadas, grande parte pelos impactos humanos no ambiente. Aechmea correia-araujoi E. Pereira & Moutinho, Aechmea gamossepala Wittm, Vriesea ensiformis (Vell.) Beer e Vriesea saundersii (Carrière) E. Morren ex Mez, espécies nativas da Mata Atlântica brasileira, têm sido alvo de extrativismo. Informações básicas sobre a espécie são essenciais para subsidiar a condução de programas de conservação e melhoramento genético, que aliados a ferramentas biotecnológicas permitem a incorporação de estratégias inovadoras aos métodos de melhoramento. Neste sentido, o objetivo do presente trabalho foi descrever essas espécies, quanto à micromorfologia floral, aspectos reprodutivos envolvidos no processo de polinização, desenvolvimento floral e deesenvolvimento gametofítico, como mecanismo de preservação e produção comercial. A caracterização morfológica e anatômica das flores das espécies de Aechmea e Vriesea contribuiu para a compreensão do processo reprodutivo. As espécies apresentam grãos de pólen com alta capacidade reprodutiva, viabilidade polínica superior a 93%, germinação in vitro maior que 80% e o estigma apresenta-se receptivo da antese ao final do dia. A ontogênese floral de A. correia-araujoi é centrípeta, os primórdios desenvolvem-se na ordem, sépala, pétala, androceu e gineceu. O apêndice petalar é formado na fase final do desenvolvimento. O primórdio de óvulo tem origem placentária e caráter trizonal, o óvulo é anátropo, bitegumentado e crassinucelado. O meristema floral de A. gamosepala se desenvolve de forma centrípeta, de forma unidirecional reversa. O estigma diferencia-se na fase inicial do desenvolvimento e os apêndices petalares, na fase final. O óvulo é anátropo, crassinucelado, bitegumentado, tétrade linear, megásporo calazal funcional, desenvolvimento tipo monospórico e Polygonum. As anteras são bitecas, tetraesporangiadas, com tapete secretor. Botões florais de 8,7 - 13,0 mm são indicados no estudo de embriogênese a partir de micrósporo. As alterações celulares e o padrão de distribuição de pectinas e AGPs foram caracterizadas por análise citoquímica com azul de toluidina, KI e DAPI e imunocitoquímica por imunofluorescência com os anticorpos para RNA, pectinas esterificadas (JIM7), não esterificadas (JIM5) e AGPs (LM2, LM6, MAC207, JIM13, JIM14) e analisadas por microscopia de fluorescência. Foram caracterizados padrões de distribuição espaço-temporal de pectinas e AGP que podem ser utilizados como marcadores de desenvolvimento gametofítico masculino. As observações feitas nesse trabalho fornecem dados sobre aspectos reprodutivos das espécies que podem ser utilizados em programas de melhoramento genético, conservação e desenvolvimento de haploides