Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída

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.

Modelagem de sinais neuronais utilizando filtros lineares de tempo discreto.

A aquisição experimental de sinais neuronais é um dos principais avanços da neurociência. Por meio de observações da corrente e do potencial elétricos em uma região cerebral, é possível entender os processos fisiológicos envolvidos na geração do potencial de ação, e produzir modelos matemáticos capazes de simular o comportamento de uma célula neuronal. Uma prática comum nesse tipo de experimento é obter leituras a partir de um arranjo de eletrodos posicionado em um meio compartilhado por diversos neurônios, o que resulta em uma mistura de sinais neuronais em uma mesma série temporal. Este trabalho propõe um modelo linear de tempo discreto para o sinal produzido durante o disparo do neurônio. Os coeficientes desse modelo são calculados utilizando-se amostras reais dos sinais neuronais obtidas in vivo. O processo de modelagem concebido emprega técnicas de identificação de sistemas e processamento de sinais, e é dissociado de considerações sobre o funcionamento biofísico da célula, fornecendo uma alternativa de baixa complexidade para a modelagem do disparo neuronal. Além disso, a representação por meio de sistemas lineares permite idealizar um sistema inverso, cuja função é recuperar o sinal original de cada neurônio ativo em uma mistura extracelular. Nesse contexto, são discutidas algumas soluções baseadas em filtros adaptativos para a simulação do sistema inverso, introduzindo uma nova abordagem para o problema de separação de spikes neuronais.

Reengenharia de sistemas na recuperação e modernização de produtos: proposta de um modelo baseado em risco.

Produtos com um tempo considerável de utilização podem ser objeto de um processo de manutenção mais amplo e profundo, que visa prolongar a sua vida útil. O termo recuperação é aplicado a este tipo de manutenção, que visa à substituição de peças defeituosas, desgastadas, e/ou com a vida útil encerrada. O surgimento de novos paradigmas e de um novo conjunto de doutrinas operacionais pode mudar as expectativas e necessidades das partes interessadas de modo que o produto pode ser proposto para uma modernização. Assim, o produto pode ser reengenheirado durante a sua recuperação. Para realizar um projeto de recuperação e modernização, propõe-se uma abordagem em seis passos centrada numa decisão baseada no risco para classificar os componentes de acordo com a ação a ser realizada. A análise do produto é desenvolvida com base em técnicas de desmontagem e uma análise da fase operacional é realizada para as tomadas de decisões. Deste modo, um componente pode sofrer manutenção, ser modernizado, ser excluído, ser inserido ou permanecer fora do escopo dos trabalhos. O processo da gestão baseada em risco também inclui duas fases de monitoramento de risco continuado: durante a produção e na fase de operação. As decisões podem ser revistas pelo uso da análise bayesiana. Um estudo de caso é proposto para ilustrar o modelo num programa de recuperação e modernização de veículos blindados realizada numa unidade do Exército Brasileiro. A aplicação da metodologia permitiu a seleção de uma alternativa de modernização, considerando riscos e benefícios. O desdobramento das análises no projeto detalhado permitiu a definição final do escopo de recuperação e modernização, observando efeitos de propagação de alterações de engenharia. A principal contribuição deste trabalho é a formalização de um estudo da recuperação e modernização como projeto específico, descrevendo suas características de uma forma a permitir a aplicação de um modelo baseado em risco.

Os Sistemas de Informação Geográfica como ferramenta de apoio à decisão em Protecção Civil

Dissertação apresentada à Escola Superior Agrária do Instituto Politécnico de Castelo Branco para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Sistemas de Informação Geográfica - Recursos Agro-Florestais e Ambientais.

Perdas em sistemas de abastecimento de água : INOVA - Cantanhede

O presente trabalho tem como base um estágio na entidade gestora INOVA-EM-S.A. a fim de reduzir a água não faturada. O estudo forcar-se-á especificamente nas perdas de água, às quais se dará uma maior importância às perdas reais. Este tema assume grande importância, notando-se cada vez mais, a consciência para este problema que afeta as entidades gestoras de todo o mundo. A nível nacional, a entidade reguladora - ERSAR define como principal alvo o valor de 20% de água não faturada, valor este que se tem revelado bastante inferior ao verificado para a realidade de várias entidades gestoras. Numa primeira fase, por forma a reduzir as perdas de água, será analisado todo o sistema de abastecimento de água do concelho de Cantanhede nomeadamente reservatórios, condutas, consumidores e os respetivos consumos. Posteriormente serão analisados todos os dados dos consumidores, bem como os das ZMCs presentes, resultando na elaboração de indicadores. Estes indicadores serão importantes para a tomada de decisão sobre qual ZMC intervir, e também aqui será essencial a análise dos caudais mínimos noturnos resultante do processo de telemetria. A escolha da zona de medição crítica será consequência dos valores referentes aos indicadores anteriormente referidos, assim como do tempo necessário para o estudo e todo o processo de atuação nesta ZMC. A ZMC (Bolho) escolhida será alvo de campanhas de deteção e intervenção, com a finalidade da redução das perdas reais, entretanto, paralelamente a este processo, será revisto todo o parque de contadores procedendo à verificação e mesmo à substituição de alguns contadores, combatendo assim parte das perdas aparentes. Estes processos serão acompanhados com a monitorização constante permitindo assim a verificação das medidas tomadas. Posteriormente serão abandonadas as intervenções, dando lugar a intervenções pontuais a realizar apenas quando necessário, mantendo a monitorização constante durante este período. Verificou-se que os indicadores, bem como os caudais mínimos noturnos subiram de forma considerável. Mais tarde será realizada uma nova campanha de deteção de fugas, desta vez não tão exaustiva como a anterior. Esta campanha será realizada com vista a analisar o estado da ZMC depois de realizado todo este processo exaustivo de intervenções. Como resultado desta segunda campanha serão identificados novos locais com roturas, locais que anteriormente na primeira campanha não foram destacados como locais a intervir por não apresentarem indícios de rotura ou fuga de água.

Resistências adesivas de diferentes sistemas adesivos ao MTA e Biodentine™

Dissertação para obtenção do grau de Mestre no Instituto Superior de Ciências da Saúde Egas Moniz

Sistemas participativos online de monitorização de epidemias: avaliação do conhecimento e participação dos alunos finalistas dos cursos de ciências farmacêuticas da área de Lisboa

Dissertação para obtenção do grau de Mestre no Instituto Superior de Ciências da Saúde Egas Moniz

Soluções globais para sistemas industriais-teste de software

Relatório de estágio apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Sistemas de Informação Organizacionais

Desenvolvimento de Sistemas de Encapsulamento para Integração em Protótipos de Vestuário/Têxtil

A monitorização de sinais vitais é uma ferramenta essencial da medicina, principalmente no que se relaciona com a avaliação do estado físico de qualquer indivíduo. As ferramentas foram evoluindo ao longo do tempo, tendo a tecnologia desempenhado um papel central na melhoria do seu desempenho. Apesar destes dispositivos estarem intimamente ligados ao contexto médico, as mudanças no estilo de vida no consumo dos utilizadores fizeram com que estas ferramentas passassem a fazer parte do quotidiano. O paradigma alterou-se, ou seja, quando eram utilizadas exclusivamente para fins médicos, agora são também usados para actividades relacionadas com o lazer e desporto. A preocupação com a monitorização de sinais vitais cresceu nos últimos anos, pois a interpretação correcta destes dados permite intervir em certos aspectos da rotina diária, melhorando a qualidade de vida. A portabilidade tornou-se um factor importante uma vez que grande parte dos utilizadores, associa estes dispositivos à sua actividade física. Desta necessidade surgem novos tipos de produtos, que inclusivamente são associados e integrados em peças de vestuário. Este factor obriga a tecnologia a miniaturizar os componentes, no sentido de tornar possivel o funcionamento destes produtos em qualquer lugar e hora. Por outro lado, quanto menos intrusivo for o dispositivo melhor conforto e funcionalidade oferece ao utilizador. Assim sendo, a disciplina do design deve ter em conta as premissas de funcionamento dos diferentes componentes que permitem recolher dados sobre os sinais vitais: batimento cardíaco e temperatura. A intervenção da disciplina do design nesta investigação passa pelo re-design de um dispositivo existente, que é analisado no seu desempenho funcional, ergonómico e estético. O dispositivo em questão é portátil e colocado na zona inferior da perna, acima do tornozelo. Todas as envolvências ergonómicas e funcionais são tomadas em conta para a concepção de hipóteses que incrementem a performance do dispositivo. A integração de componentes e a avaliação funcional são mais eficazes quando se utilizam técnicas de prototipagem, que permitem uma visão efectiva da realidade. Para melhor conceber as propostas, e aprofundar o conhecimento sobre estas técnicas realizaram-se testes com o objectivo de aferir a precisão e a qualidade do acabamento das superfícies das peças prototipadas. No sentido de criar uma proposta final, são criadas várias hipóteses de solução que são avaliadas segundo a detecção de problemas, bem como através do contacto com os utilizadores. Ao longo da investigação as propostas evoluem, culminando naquela que é apresentada como uma proposta optimizada, que aglutina todo o levantamento literário, testes, e análises feitas durante a construção do documento.

Método híbrido para detecção e diagnóstico de falhas baseado em resíduos

The detection and diagnosis of faults, ie., find out how , where and why failures occur is an important area of study since man came to be replaced by machines. However, no technique studied to date can solve definitively the problem. Differences in dynamic systems, whether linear, nonlinear, variant or invariant in time, with physical or analytical redundancy, hamper research in order to obtain a unique solution . In this paper, a technique for fault detection and diagnosis (FDD) will be presented in dynamic systems using state observers in conjunction with other tools in order to create a hybrid FDD. A modified state observer is used to create a residue that allows also the detection and diagnosis of faults. A bank of faults signatures will be created using statistical tools and finally an approach using mean squared error ( MSE ) will assist in the study of the behavior of fault diagnosis even in the presence of noise . This methodology is then applied to an educational plant with coupled tanks and other with industrial instrumentation to validate the system.

Um algoritmo paralelo eficiente de migração reversa no tempo (rtm) 3d com granularidade fina

The reverse time migration algorithm (RTM) has been widely used in the seismic industry to generate images of the underground and thus reduce the risk of oil and gas exploration. Its widespread use is due to its high quality in underground imaging. The RTM is also known for its high computational cost. Therefore, parallel computing techniques have been used in their implementations. In general, parallel approaches for RTM use a coarse granularity by distributing the processing of a subset of seismic shots among nodes of distributed systems. Parallel approaches with coarse granularity for RTM have been shown to be very efficient since the processing of each seismic shot can be performed independently. For this reason, RTM algorithm performance can be considerably improved by using a parallel approach with finer granularity for the processing assigned to each node. This work presents an efficient parallel algorithm for 3D reverse time migration with fine granularity using OpenMP. The propagation algorithm of 3D acoustic wave makes up much of the RTM. Different load balancing were analyzed in order to minimize possible losses parallel performance at this stage. The results served as a basis for the implementation of other phases RTM: backpropagation and imaging condition. The proposed algorithm was tested with synthetic data representing some of the possible underground structures. Metrics such as speedup and efficiency were used to analyze its parallel performance. The migrated sections show that the algorithm obtained satisfactory performance in identifying subsurface structures. As for the parallel performance, the analysis clearly demonstrate the scalability of the algorithm achieving a speedup of 22.46 for the propagation of the wave and 16.95 for the RTM, both with 24 threads.

Tratamento de cascalho de perfuração utilizando sistemas microemulsionados

The oil industry is one of the activities that generates more waste to the environment. The drill cuttings is a waste generated in large quantities in the drilling process and that may cause environmental damage such as soil contamination and consequently the contamination of groundwater if disposed of without prior treatment. Arises the need to develop scientific activities and research ways to adapt these wastes the current environmental standards. In the case of solid wastes, the NBR 10004: 2004 of the Brazilian Association of Technical Standards (ABNT) classifies them into class I waste (hazardous) and class II (not dangerous), which determines which wastes may or may not be discarded in the environment without causing environmental impact. This study presents a novel alternative for treating drill cuttings, where this waste was classified as class I (Abreu & Souza, 2005), mainly by removing the n-paraffin present in it, since this arises when using drilling fluids base oil. Using microemulsion systems promotes the removal of this contaminant drill cuttings samples from wells located in Alto do Rodrigues - RN. Initially, we determined the concentration of paraffin using infrared method in samples were extracted with ultrasound, we obtained a paraffin concentration in the range from 36.59 to 43.52 g of paraffin per kilogram of cuttings. Used two microemulsion systems containing two nonionic surfactants from different classes, one is an alcohol ethoxylated (UNTL-90) and the other an nonylphenol ethoxylated (RNX 110). The results indicated that the system UNTL-90 surfactant has better efficiency than the system with RNX 110. The study of the influence of contact time at the extraction showed that for times greater than 25 minutes has a tendency to increase the percentage extraction with increasing contact time. It was also observed that the extraction is fast because at 1 minute contact has 22.7% extraction. The reuse of the microemulsion system without removing the paraffin extracted in previous steps, showed reduction of 29.32 in percentage of extraction by comparing the first and third extraction, but by comparing the first and second extractions reduction is 8.5 in percentage extraction, so the systems reuse optimization can be an option for economically viable removing paraffin from cuttings. The extraction with shaking is more effective in the treatment of cuttings, reaching the extraction percentage of 87.04%, that is, obtaining a drill cuttings with 0.551% paraffin. Using the percentage of paraffin employed in non-aqueous drilling fluids and fluid maximum limit on cuttings for disposal established by the Environmental Protection Agency of the United States (US EPA), one arrives at the conclusion that the level of paraffin on gravel cannot exceed 3.93%. Conclude that the amount of paraffin in the treated cuttings with the microemulsion system with shaking is below the established by US EPA, showing that the system used was efficient in removing the paraffin from the drill cuttings.

A neuromodulação do córtex pré-frontal dorsolateral na percepção de tempo em contexto neutro ou emocionalmente ativo

The time perception is critical for environmental adaptation in humans and other species. The temporal processing, has evolved through different neural systems, each responsible for processing different time scales. Among the most studied scales is that spans the arrangement of seconds to minutes. Evidence suggests that the dorsolateral prefrontal (DLPFC) cortex has relationship with the time perception scale of seconds. However, it is unclear whether the deficit of time perception in patients with brain injuries or even "reversible lesions" caused by transcranial magnetic stimulation (TMS) in this region, whether by disruption of other cognitive processes (such as attention and working memory) or the time perception itself. Studies also link the region of DLPFC in emotional regulation and specifically the judgment and emotional anticipation. Given this, our objective was to study the role of the dorsolateral prefrontal cortex in the time perception intervals of active and emotionally neutral stimuli, from the effects of cortical modulation by transcranial direct current stimulation (tDCS), through the cortical excitation (anodic current), inhibition (cathode current) and control (sham) using the ranges of 4 and 8 seconds. Our results showed that there is an underestimation when the picture was presented by 8 seconds, with the anodic current in the right DLPFC, there is an underestimation and with cathodic current in the left DLPFC, there is an overestimation of the time reproduction with neutral ones. The cathodic current over the left DLPFC leads to an inverse effect of neutral ones, an underestimation of time with negative pictures. Positive or negative pictures improved estimates for 8 second and positive pictures inhibited the effect of tDCS in DLPFC in estimating time to 4 seconds. With this work, we conclude that the DLPFC plays a key role in the o time perception and largely corresponds to the stages of memory and decision on the internal clock model. The left hemisphere participates in the perception of time in both active and emotionally neutral contexts, and we can conclude that the ETCC and an effective method to study the cortical functions in the time perception in terms of cause and effect.

Estimação de potência em tempo real utilizando a transformada wavelet

The goal of the power monitoring in electrical power systems is to promote the reliablility as well as the quality of electrical power.Therefore, this dissertation proposes a new theory of power based on wavelet transform for real-time estimation of RMS voltages and currents, and some power amounts, such as active power, reactive power, apparent power, and power factor. The appropriate estimation the of RMS and power values is important for many applications, such as: design and analysis of power systems, compensation devices for improving power quality, and instruments for energy measuring. Simulation and experimental results obtained through the proposed MaximalOverlap Discrete Wavelet Transform-based method were compared with the IEEE Standard 1459-2010 and the commercial oscilloscope, respectively, presenting equivalent results. The proposed method presented good performance for compact mother wavelet, which is in accordance with real-time applications.

Análise wavelet em curvas de luz estelares de sistemas binários da missão espacial CoRoT

Binary systems are key environments to study the fundamental properties of stars. In this work, we analyze 99 binary systems identified by the CoRoT space mission. From the study of the phase diagrams of these systems, our sample is divided into three groups: those whose systems are characterized by the variability relative to the binary eclipses; those presenting strong modulations probably due to the presence of stellar spots on the surface of star; and those whose systems have variability associated with the expansion and contraction of the surface layers. For eclipsing binary stars, phase diagrams are used to estimate the classification in regard to their morphology, based on the study of equipotential surfaces. In this context, to determine the rotation period, and to identify the presence of active regions, and to investigate if the star exhibits or not differential rotation and study stellar pulsation, we apply the wavelet procedure. The wavelet transform has been used as a powerful tool in the treatment of a large number of problems in astrophysics. Through the wavelet transform, one can perform an analysis in time-frequency light curves rich in details that contribute significantly to the study of phenomena associated with the rotation, the magnetic activity and stellar pulsations. In this work, we apply Morlet wavelet (6th order), which offers high time and frequency resolution and obtain local (energy distribution of the signal) and global (time integration of local map) wavelet power spectra. Using the wavelet analysis, we identify thirteen systems with periodicities related to the rotational modulation, besides the beating pattern signature in the local wavelet map of five pulsating stars over the entire time span.