BTS:uma ferramenta de suporte ao desenvolvimento sistemático de sistemas confiáveis baseados em componentes

The component-based development of systems revolutionized the software development process, facilitating the maintenance, providing more confiability and reuse. Nevertheless, even with all the advantages of the development of components, their composition is an important concern. The verification through informal tests is not enough to achieve a safe composition, because they are not based on formal semantic models with which we are able to describe precisally a system s behaviour. In this context, formal methods provide ways to accurately specify systems through mathematical notations providing, among other benefits, more safety. The formal method CSP enables the specification of concurrent systems and verification of properties intrinsic to them, as well as the refinement among different models. Some approaches apply constraints using CSP, to check the behavior of composition between components, assisting in the verification of those components in advance. Hence, aiming to assist this process, considering that the software market increasingly requires more automation, reducing work and providing agility in business, this work presents a tool that automatizes the verification of composition among components, in which all complexity of formal language is kept hidden from users. Thus, through a simple interface, the tool BST (BRIC-Tool-Suport) helps to create and compose components, predicting, in advance, undesirable behaviors in the system, such as deadlocks

Identificação e comparação entre controle preditivo com modelo não linear e PI sintonizados com PSO em sistema de separação gravitacional de águia-óleo

The separation methods are reduced applications as a result of the operational costs, the low output and the long time to separate the uids. But, these treatment methods are important because of the need for extraction of unwanted contaminants in the oil production. The water and the concentration of oil in water should be minimal (around 40 to 20 ppm) in order to take it to the sea. Because of the need of primary treatment, the objective of this project is to study and implement algorithms for identification of polynomial NARX (Nonlinear Auto-Regressive with Exogenous Input) models in closed loop, implement a structural identification, and compare strategies using PI control and updated on-line NARX predictive models on a combination of three-phase separator in series with three hydro cyclones batteries. The main goal of this project is to: obtain an optimized process of phase separation that will regulate the system, even in the presence of oil gushes; Show that it is possible to get optimized tunings for controllers analyzing the mesh as a whole, and evaluate and compare the strategies of PI and predictive control applied to the process. To accomplish these goals a simulator was used to represent the three phase separator and hydro cyclones. Algorithms were developed for system identification (NARX) using RLS(Recursive Least Square), along with methods for structure models detection. Predictive Control Algorithms were also implemented with NARX model updated on-line, and optimization algorithms using PSO (Particle Swarm Optimization). This project ends with a comparison of results obtained from the use of PI and predictive controllers (both with optimal state through the algorithm of cloud particles) in the simulated system. Thus, concluding that the performed optimizations make the system less sensitive to external perturbations and when optimized, the two controllers show similar results with the assessment of predictive control somewhat less sensitive to disturbances

Controle de mofo-cinzento (amphobotrys ricini) da mamoneira (ricinus communis l.) por métodos químico, biológico e com óleos essenciais

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Desempenho clínico da flurescência, imagens digitais ampliadas e ICDAS na detecção de cárie em superfícies oclusais

Pós-graduação em Ciências Odontológicas - FOAR

Avaliação de métodos de identificação e determinação do perfil de sensibilidade aos antimicrobianos em staphylococcus spp. isolados de pacientes com infecção do trato urinário (ITU)

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Desnutrição em pacientes com câncer gastrointestinal: efetividade de diferentes métodos de diagnóstico

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Predicting biological parameters of estuarine benthic communities using models based on environmental data

Este trabalho objetivou predizer parâmetros da estrutura de associações macrobentônicas (composição específica, abundância, riqueza, diversidade e equitatividade) em estuários do Sul do Brasil, utilizando modelos baseados em dados ambientais (características dos sedimentos, salinidade, temperaturas do ar e da água, e profundidade). As amostragens foram realizadas sazonalmente em cinco estuários entre o inverno de 1996 e o verão de 1998. Em cada estuário as amostras foram coletadas em áreas não poluídas, com características semelhantes quanto a presença ou ausência de vegetação, profundidade e distância da desenbocadura. Para a obtenção dos modelos de predição, foram utilizados dois métodos: o primeiro baseado em Análise Discriminante Múltipla (ADM) e o segundo em Regressão Linear Múltipla (RLM). Os modelos baseados em ADM apresentaram resultados melhores do que os baseados em regressão linear. Os melhores resultados usando RLM foram obtidos para diversidade e riqueza. É possível então, concluir que modelos como aqui derivados podem representar ferramentas muito úteis em estudos de monitoramento ambiental em estuários.

Influência das variações de ângulos de projeção na detecção de reabsorções radiculares linguais e apicais simuladas: comparação entre subtração radiográfica digital e radiografia digital direta

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Efeito de restritores hídricos sobre a germinação, comprimento da radícula e níveis de detecção de Colletotrichum gossypii var. cephalosporioides em sementes de algodão

O fungo Colletotrichum gossypii var. cephalosporioides, agente causal da ramulose do algodoeiro, é transmitido pela semente que se constitui em uma das mais importantes fontes de inóculo inicial e de introdução da doença em áreas indenes. Para que se possa identificar sua presença em lotes de sementes, é importante que se empreguem métodos de detecção rápidos e seguros. O mais empregado é o do papel de filtro, que se baseia na avaliação de sinais do patógeno desenvolvidos sobre as sementes, seguida da sua identificação morfológica. O método apresenta a desvantagem do crescimento das plântulas no período de incubação das sementes que pode favorecer o desenvolvimento de outros fungos e prejudicar a caracterização do patógeno. Para minimizar este problema vem sendo empregada a técnica da restrição hídrica. O presente trabalho teve como objetivo avaliar o efeito de três solutos em dois potenciais osmóticos, comparados ao tratamento padrão de água destilada, ao congelamento e ao 2,4 D, sobre a germinação, comprimento da radícula e detecção do agente causal da ramulose, durante o teste de sanidade. Os solutos Manitol e NaCl foram mais eficientes em inibir a germinação e favorecer a incidência do patógeno no potencial osmótico de -0,8 MPa. O KCl mostrou-se eficiente em inibir a germinação nos dois potenciais osmóticos testados, -0,6 e -0,8 MPa, porém reduziu a incidência do patógeno no potencial de -0,8 MPa. Os solutos Manitol, nos potenciais osmóticos de -0,8 e -0,6 MPa e o NaCl no potencial osmótico de -0,8 foram eficientes em reduzir o comprimento da radícula, sem interferir negativamente nos níveis de detecção de C. gossypii var. cephalosporioides, podendo ser recomendados para uso em análises sanitárias de rotina.

Modelos em provisão de sinistros

Part of the work of an insurance company is to keep claims reserves, which is known as the technical reserves, in order to mitigate the risk inherent in their activities and comply with the legal obligations. There are several methods for estimate the claims reserves, deterministics and stochastics methods. One of the most used method is the deterministic method Chain Ladder, of simple application. However, the deterministics methods produce only point estimates, for which the stochastics methods have become increasingly popular because they are capable of producing interval estimates, measuring the variability inherent in the technical reserves. In this study the deterministics methods (Grossing Up, Link Ratio and Chain Ladder) and stochastics (Thomas Mack and Bootstrap associated with Overdispersed Poisson model) will be applied to estimate the claims reserves derived from automobile material damage occurred until December 2012. The data used in this research is based on a real database provided by AXA Portugal. The comparison of results obtained by different methods is hereby presented.

Tutoria da anatomia mamária feminina utilizando uma rede neural artificial interactive activation and competition orientada a serviço

Dissertação (mestrado)—Universidade de Brasília, Faculdade Gama, Programa de Pós-Graduação em Engenharia Biomédica, 2015.

Transformação de modelos ORM-UML

Dissertação de Mestrado, Engenharia Informática, Faculdade de Ciências e Tecnologia, Universidade do Algarve, 2014

Implementação de um Módulo de Supervisão para um Sistema de Detecção de Vazamentos em Dutos de Petróleo

The transport of fluids through pipes is used in the oil industry, being the pipelines an important link in the logistics flow of fluids. However, the pipelines suffer deterioration in their walls caused by several factors which may cause loss of fluids to the environment, justifying the investment in techniques and methods of leak detection to minimize fluid loss and environmental damage. This work presents the development of a supervisory module in order to inform to the operator the leakage in the pipeline monitored in the shortest time possible, in order that the operator log procedure that entails the end of the leak. This module is a component of a system designed to detect leaks in oil pipelines using sonic technology, wavelets and neural networks. The plant used in the development and testing of the module presented here was the system of tanks of LAMP, and its LAN, as monitoring network. The proposal consists of, basically, two stages. Initially, assess the performance of the communication infrastructure of the supervisory module. Later, simulate leaks so that the DSP sends information to the supervisory performs the calculation of the location of leaks and indicate to which sensor the leak is closer, and using the system of tanks of LAMP, capture the pressure in the pipeline monitored by piezoresistive sensors, this information being processed by the DSP and sent to the supervisory to be presented to the user in real time

Experimentos numéricos para deposição de parafinas com modelo Multisólido

Este trabalho objetiva a construção de estruturas robustas e computacionalmente eficientes para a solução do problema de deposição de parafinas do ponto de vista do equilíbrio sólido-líquido. São avaliados diversos modelos termodinâmicos para a fase líquida: equação de estado de Peng-Robinson e os modelos de coeficiente de atividade de Solução Ideal, Wilson, UNIQUAC e UNIFAC. A fase sólida é caracterizada pelo modelo Multisólido. A previsão de formação de fase sólida é inicialmente prevista por um teste de estabilidade termodinâmica. Posteriormente, o sistema de equações não lineares que caracteriza o equilíbrio termodinâmico e as equações de balanço material é resolvido por três abordagens numéricas: método de Newton multivariável, método de Broyden e método Newton-Armijo. Diversos experimentos numéricos foram conduzidos de modo a avaliar os tempos de computação e a robustez frente a diversos cenários de estimativas iniciais dos métodos numéricos para os diferentes modelos e diferentes misturas. Os resultados indicam para a possibilidade de construção de arcabouços computacionais eficientes e robustos, que podem ser empregados acoplados a simuladores de escoamento em dutos, por exemplo.

Optimisation of an aptamer-biosensor to detect C-reactive protein

Dissertação de Mestrado, Engenharia Biológica, Faculdade de Engenharia de Recursos Naturais, Universidade do Algarve, 2009