1000 resultados para Teste baseado em modelos
Resumo:
Orientador: Alberto Manuel Rodrigues da Silva
Resumo:
With the increasing offer of education services in Brazil, it is necessary to evaluate the quality of service in education, especially in those institutions for vocational education which have a greater interaction with the labor market, in order to form qualified professionals and meet the growing demand that the country has today[A1] . In Brazil, the evaluation of the quality of library services has influenced the assessment of educational institutions and in this context, there needs to be a process to monitor the quality of services provided by libraries. However, the service is not done in a single moment and thus to a more detailed assessment it needs to be measured and evaluated each different time the customer uses it. Therefore, the aim of this work consists in measuring the quality in every moment of truth of a cycle of library services to assess which are the most relevant moments in the client's perspective at the library of the Federal Institute of Education, Science and Technology of Rio Grande do Norte (IFRN) Campus João Câmara in building the overall quality of service. In the literature review, internal secondary sources were used, from the database of the institution studied, and also external sources, through literature in books, articles, dissertations, theses and journals on compost quality, service quality, cycle services, measuring quality, satisfaction, teaching activities, and on library services specifically. We applied a questionnaire to students in the library based on models of quality measurement SERVPERF and SERVQUAL and its variations such as SERVQUAL pondered and SERVPERF pondered . Through analysis based on concepts of reliability and validity of measuring instruments, it was found that the SERVPERF model is the instrument that most closely matches the dimensions of quality assessed in the library with customer satisfaction measured by the questionnaire. From there, the search results as measured by statistical techniques of analysis, indicated that the initial and final moments of truth of the cycle of service quality had the greatest influence on overall customer satisfaction with the library service
Resumo:
The development of interactive systems involves several professionals and the integration between them normally uses common artifacts, such as models, that drive the development process. In the model-driven development approach, the interaction model is an artifact that includes the most of the aspects related to what and how the user can do while he/she interacting with the system. Furthermore, the interactive model may be used to identify usability problems at design time. Therefore, the central problematic addressed by this thesis is twofold. In the first place, the interaction modeling, in a perspective that helps the designer to explicit to developer, who will implement the interface, the aspcts related to the interaction process. In the second place, the anticipated identification of usability problems, that aims to reduce the application final costs. To achieve these goals, this work presents (i) the ALaDIM language, that aims to help the designer on the conception, representation and validation of his interactive message models; (ii) the ALaDIM editor, which was built using the EMF (Eclipse Modeling Framework) and its standardized technologies by OMG (Object Management Group); and (iii) the ALaDIM inspection method, which allows the anticipated identification of usability problems using ALaDIM models. ALaDIM language and editor were respectively specified and implemented using the OMG standards and they can be used in MDA (Model Driven Architecture) activities. Beyond that, we evaluated both ALaDIM language and editor using a CDN (Cognitive Dimensions of Notations) analysis. Finally, this work reports an experiment that validated the ALaDIM inspection method
Resumo:
The software development processes proposed by the most recent approaches in Software Engineering make use old models. UML was proposed as the standard language for modeling. The user interface is an important part of the software and has a fundamental importance to improve its usability. Unfortunately the standard UML does not offer appropriate resources to model user interfaces. Some proposals have already been proposed to solve this problem: some authors have been using models in the development of interfaces (Model Based Development) and some proposals to extend UML have been elaborated. But none of them considers the theoretical perspective presented by the semiotic engineering, that considers that, through the system, the designer should be able to communicate to the user what he can do, and how to use the system itself. This work presents Visual IMML, an UML Profile that emphasizes the aspects of the semiotic engineering. This Profile is based on IMML, that is a declarative textual language. The Visual IMML is a proposal that aims to improve the specification process by using a visual modeling (using diagrams) language. It proposes a new set of modeling elements (stereotypes) specifically designed to the specification and documentation of user interfaces, considering the aspects of communication, interaction and functionality in an integrated manner
Resumo:
Pós-graduação em Engenharia Elétrica - FEIS
Resumo:
Pós-graduação em Odontologia Restauradora - ICT
Resumo:
Pós-graduação em Odontologia Restauradora - ICT
Unidade microcontroladora para gerenciamento eletrônico de um motor de combustão interna ciclo Otto.
Resumo:
Nas últimas décadas, a indústria automobilística mundial vem investindo no desenvolvimento tecnológico dos motores, com o objetivo de alcançar melhor eficiência energética e atender às legislações que limitam a quantidade de resíduos tóxicos nos gases de exaustão e menor consumo de combustível. Isso resultou na implantação dos sistemas de gerenciamento eletrônico do motor, que possibilitam funcionalidades para se controlar diversas variáveis do motor, aumentando consideravelmente o rendimento do motor. Este trabalho tem como objetivos explorar a dinâmica de um motor de combustão interna ciclo Otto, os sinais elétricos associados, e os componentes de seu gerenciamento eletrônico. A partir dessas informações, o trabalho apresenta o processo de analise dos sinais elétricos e as estratégias de controle utilizadas em um sistema de gerenciamento real. Assim, são desenvolvidos o hardware e o firmware de uma unidade microcontroladora para gerenciamento eletrônico do motor. O hardware foi elaborado com uma concepção centralizada, ou seja, foi usado apenas um microcontrolador de 32-bit para gerenciar todas as funções. O firmware de controle foi desenvolvido de forma modular baseado em modelos de malha fechada. O modelo matemático do motor foi identificado utilizando técnicas de controle em um veículo real, e a avalidação do modelo foi obtida através de testes em um dinamômetro inercial.
Resumo:
Over time, humanity began to realize the negative impact that the modern world has caused to the environment. The Atlantic Forest is one of the richest biomes in biodiversity, covering more than 60% of all species on the planet. This biome covered about 15% of the Brazilian territory, leaving currently only 7% of its fully fragmented forest remnants. This was the biome that suffered most from modernization and strong anthropogenic pressures in Brazil. For the account of environmental degradation, in the second half of the nineteenth century there was a shift in thinking, giving greater emphasis on conservation of some natural landscapes, with the intention of removing the man still preserved nature. Based on American models of conservation there were created the Nature Conservation Units. This study aimed to analyze the environmental quality of the State Park Vitório Piassa, a Conservation Unit located in the city of Pato Branco - PR. The environmental quality was measured by use of bio-indicators and some environmental pressures that the Park has suffered over the years also were identified. Beetles of the familiy Scarabaeinae (Coleoptera: Scarabaeidae) were used as the bioindicators. To compare the most conserved areas and the most degraded areas of the Park, three specific sites were defined within the Atlantic Forest fragment, these insects were captured with pitfall traps and identified as to their species and genera. There were two collections in February and March 2015, which resulted in 945 individuals in 22 species and nine different genus. Then the population of beetles in each area were classified based on ecological measures such as species richness, abundance of individuals of each species through diversity index (Shannon and Simpson) to identify the differences between the sampled groups and equitability (Pielou) to measure the distribution of the total abundance of the species in each area. To meet the objective of identifying the environmental pressures that occur in PEVP, evidence were collected through photographs, watching the field, aerial images and conversations with the resident population in the park. Similarly, if made relevant to build on the project running by the municipality for the construction of infrastructure for public viewing. These data served as subsidies to confront the current situation of the park and the current Brazilian legislation for UC's of full protection, highlighting the existing socio-environmental conflicts in the park, involving political issues and the proximity of the Conservation Unit with the urban area of the city.
Resumo:
Dissertação de Mestrado apresentada ao Instituto Superior de Psicologia Aplicada para obtenção de grau de Mestre na especialidade de Psicologia Clínica.
Resumo:
Dissertação para obtenção do grau de Mestre em Engenharia Electrotécnica Ramo de Energia
Resumo:
OBJETIVO: Este estudo buscou derivar equações generalizadas para predição da carga máxima para homens e mulheres jovens. MÉTODOS: O método da ergoespirometria direta (Aerosport® TEEM 100, Estados Unidos da América do Norte) foi empregado para determinar o VO2máx e a carga máxima (Wmáx), no cicloergômetro (Monark®, Brasil), de 30 homens (25 ± 5 anos, 75,0 ± 10,7 kg; 48,4 ± 8,8 mL . kg -1 . min -1 e 243 ± 51 Watts) e 30 mulheres (26 ± 5 anos, 56,7 ± 5,9 kg, 39,8 ± 7,6 mL . kg -1 . min -1 e 172 ± 37 Watts). A idade e a massa corporal foram empregadas como variáveis independentes. Para todos os testes estatísticos aceitou-se o nível de significância de p < 0,05. RESULTADOS: No ajuste linear múltiplo a carga máxima foi explicada pela da idade e massa corporal em 54% (r = 0,73), para homens, e em 76% (r = 0,87), para mulheres, com erros padrões respectivamente de 0,66 W . kg -1 e de 25 Watts. As equações propostas passaram pela validação cruzada, empregando-se outra amostra com características similares de idade e VO2máx composta por 15 homens e 15 mulheres. A correlação intraclasse entre os valores de Wmáx preditos e os medidos através da ergoespirometria foram de 0,70 e 0,69, com erros padrões de 28,4 e 15,8 Watts, respectivamente, para homens e mulheres. CONCLUSÃO: Este estudo exibe equações generalizadas válidas para determinação da carga máxima no cicloergômetro para homens e mulheres.
Resumo:
A identificação de modelos é determinante no sucesso das modernas técnicas de controle avançado de processos. Um modelo para o sistema pode ser obtido através de modelagem rigorosa, baseada em equações governantes do sistema ou através da modelagem empírica e estimação de parâmetros. Embora mais rápida e fácil, a modelagem empírica necessita de alguns testes de identificação nos quais as variáveis manipuladas são variadas de modo que resultem em variações nas variáveis controladas. Os testes de identificação podem apresentar custos muito elevados tendo em vista que o sistema pode sair de seu ponto normal de operação, gerando produtos com folga de especificação. Este fato ocorre porque usualmente as perturbações aplicadas nas variáveis manipuladas nas indústrias de processos são independentes umas das outras, aumentando a duração do teste de identificação. Desta forma, neste trabalho foi desenvolvida uma nova metodologia de projeto de perturbações simultâneas para a identificação de modelos dinâmicos baseada na direcionalidade do sistema, com o objetivo de fornecer dados mais ricos para se capturar corretamente o comportamento multivariável do sistema e manter o processo no ponto de operação normal. As perturbações são projetadas conforme as características de um modelo simplificado do processo, ou pré-modelo. Este modelo inicial é obtido essencialmente de dados históricos de planta, selecionados através de uma sistemática análise de correlação desenvolvida neste trabalho A metodologia proposta é composta de duas partes: a primeira parte diz respeito à análise dos dados históricos de planta para obtenção de informações prelimirares as quais são utilizadas no planejamento de perturbações, tais como amplitude do ruído de medida, correlação entre as variáveis de processo, constante de tempo do sistema e matriz de ganhos. E a segunda parte consiste no cálculo da amplitude das perturbações baseado nos resultados da primeira etapa do planejamento. Para sistemas mal-condicionados verificou-se que as perturbações planejadas pela metodologia removem menos a planta de seu ponto de operação gerando resultados mais consistentes em relação às perturbações tradicionais. Já para sistemas bem-condicionados, os resultados são semelhantes. A metodologia foi aplicada em uma unidade piloto experimental e numa unidade de destilação da PETROBRAS, cujos resultados apontam pouca remoção dos sistemas do ponto de operação e modelos consistentes. A validação dos modelos também foi contemplada na dissertação, uma vez que foi proposto um novo critério de validação que considera a derivada dos dados de planta e a do modelo e não apenas os dados de planta e os dados da simulação das saídas do modelo.