Diversifying medical imaging of breast lesions

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

Gestão de processos de ativação e recuperação com o uso das tecnologias nas empresas de Telecom, direcionada a usuários finais, sediado na região oeste do Estado do Pará

O estudo realizado abriu discursão sobre a gestão de processos de ativação e recuperação e o conhecimento dos gestores desses processos relacionados com o uso das tecnologias. A análise objetivou observar a qualidade no atendimento das empresas de Telecom aos clientes da região Oeste do Pará, foi observado as estratégias empregadas por essas empresas para que seus serviços pudessem se tornar mais viáveis, certamente que o compromisso e responsabilidade dos gestores das empresas de Telecom tem sido bastante árdua, as problemáticas geográficas da região em estudo são muitas. Um dos problemas impactantes é a via de acesso da cidade mãe até as cidades vizinhas, depende de barcos, lanchas, balsas ou via terrestre; as adversidades são inúmeras e podem modificar comportamento e forma estratégica de se trabalhar nos processos analisados, inclusive em tempos de chuva a situação fica mais comprometedora aos técnicos de ativação e recuperação. Percebe que esses fatores alteram resultados estipulados pelas empresas, isso faz com que os gestores repensem e refaçam suas estratégias nos dois processos. O trabalho avaliou a estratégia usada pelos gestores de TI (Tecnologia da Informação) ou gestores geral das empresas usuárias para melhor atender sua clientela interna, e conseguir discernir as práticas dos serviços Telecom, melhorando o diálogo com os gestores Telecom, aumentando a qualidade e satisfação de seus clientes internos, tendo um equilíbrio de conhecimento nos conceitos tecnológicos.

Uma estratégia para controle e supervisão de processos industriais via Internet

Este trabalho descreve de uma fonna geral a proposta de uma estratégia para controle e supervisão de plantas industriais através da Internet. Tal proposta consiste na apresentação de três contextos distintos: o contexto planta industrial, o contexto servidor e o contexto cliente. O levantamento criterioso de requisitos para cada um dos contextos é apresentado. A união entre as tecnologias Web e os barramentos de campo resultam naturalmente no acesso remoto através da Internet a sistemas de automação industrial, sendo assim, surge uma nova tendência em tennos de supervisão e controle. A motivação para este trabalho surgiu através de alguns estudos de casos presentes na literatura, que disponibilizam laboratórios através da Internet. A maioria destes estudos de caso não possuía os requisitos considerados primordiais para a disponibilização de um processo através da Internet, como por exemplo, a independência de platafonna no lado cliente e um processo de escala industrial no contexto planta industrial. A estratégia proposta tem por objetivo suprir as carências apresentadas pela maioria dos centros de ensino e pesquisa que disponibilizam laboratórios através da Internet. Para validar a estratégia proposta, foi desenvolvido um sistema de acesso remoto no DELET da UFRGS que é constituído de uma Planta Piloto Foundation Fieldbus e sua posterior disponibilização para a Internet Neste trabalho é apresentada sua fundamentação teórica, sua aplicabilidade na área de automação industrial e controle, baseando-se no protocolo de comunicação industrial, o Foundation Fieldbus; descreve-se também como é feito o interfaceamento entre softwares de controle da Planta Piloto e o sistema de supervisão e controle indo até a estrutura de comunicação com a Internet para que se tome possível para o cliente da Internet visualizar e interagir com a Planta Piloto. Configuração de hardware e software e vários outros conceitos ligados às ferramentas utilizadas neste sistema também são abordados neste trabalho.

Uma Biblioteca para programação paralela por troca de mensagens de clusters baseados na tecnologia SCI

A presente Dissertação propõe uma biblioteca de comunicação de alto desempenho, baseada em troca de mensagens, especificamente projetada para explorar eficientemente as potencialidades da tecnologia SCI (Scalable Coherent Interface). No âmago da referida biblioteca, a qual se denominou DECK/SCI, acham-se três protocolos de comunicação distintos: um protocolo de baixa latência e mínimo overhead, especializado na troca de mensagens pequenas; um protocolo de propósito geral; e um protocolo de comunicação que emprega uma técnica de zero-copy, também idealizada neste Trabalho, no intuito de elevar a máxima largura de banda alcançável durante a transmissão de mensagens grandes. As pesquisas desenvolvidas no decurso da Dissertação que se lhe apresenta têm por mister proporcionar um ambiente para o desenvolvimento de aplicações paralelas, que demandam alto desempenho computacional, em clusters que se utilizam da tecnologia SCI como rede de comunicação. A grande motivação para os esforços envidados reside na consolidação dos clusters como arquiteturas, a um só tempo, tecnologicamente comparáveis às máquinas paralelas dedicadas, e economicamente viáveis. A interface de programação exportada pelo DECK/SCI aos usuários abarca o mesmo conjunto de primitivas da biblioteca DECK (Distributed Execution Communication Kernel), concebida originalmente com vistas à consecução de alto desempenho sobre a tecnologia Myrinet. Os resultados auferidos com o uso do DECK/SCI revelam a eficiência dos mecanismos projetados, e a utilização profícua das características de alto desempenho intrínsecas da rede SCI, haja visto que se obteve uma performance muito próxima dos limites tecnológicos impostos pela arquitetura subjacente. Outrossim, a execução de uma clássica aplicação paralela, para fins de validação, testemunha que as primitivas e abstrações fornecidas pelo DECK/SCI mantêm estritamente a mesma semântica da interface de programação do original DECK.

SISAL - Um sistema supervisório para elevação artificial de petróleo

MEDEIROS, Adelardo A. D. et al. SISAL - Um Sistema Supervisório para Elevação Artificial de Petróleo. In: Rio Oil and Gas Expo Conference, 2006, Rio de Janeiro, RJ. Anais... Rio de Janeiro, 2006.

Avaliação da cobertura e monitoramento do branqueamento de corais nos

Coral bleaching has been increasingly the focus of research around the world since the early 1980s, when it was verified to be increasing in frequency, intensity and amount of areas affected. The phenomenon has been recorded since 1993, associated with elevation of the sea surface temperature due to El Niños and water thermal anomalies, according to most reports around the world. On the coast of Rio Grande do Norte, Brazil, a mass coral bleaching event was recorded in the Environmental Protection Area of Coral Reefs (APARC) during March and April 2010, when the water temperature reached 34°C for several days. About 80% of the corals in Maracajaú reef-complex exhibited partial or total bleaching. The aims of this study were to verify representativeness of coral coverage and how the bleaching dynamic has developed among different species. Coral coverage was estimated according to Reef Check Brazil protocol associated with quadrant method, and bleaching was evaluated from biweekly visual surveys in 80 colonies of Favia gravida, Porites astreoides, Siderastrea stellata and Millepora alcicornis. At the same time temperature, pH, salinity and horizontal transparency, as well as mortality and disease occurrence were monitored. Analysis of variance and Multiple Regression from the perspective of time lag concept were used to evaluate the bleaching dynamics among species and the relationship between variation of means of bleaching and variations of abiotic parameters, respectively. Species showed significant differences among themselves as to variation of means of bleaching over time, but the dynamic of variation exhibited similar patterns

Especificação e implementação de um modelo assíncrono para replicação, propagação e conciliação de bases de dados distribuídas

This graduate thesis proposes a model to asynchronously replicate heterogeneous databases. This model singularly combines -in a systematic way and in a single project -different concepts, techniques and paradigms related to the areas of database replication and management of heterogeneous databases. One of the main advantages of the replication is to allow applications to continue to process information, during time intervals when they are off the network and to trigger the database synchronization, as soon as the network connection is reestablished. Therefore, the model introduces a communication and update protocol that takes in consideration the environment of asynchronous characteristics used. As part of the work, a tool was developed in Java language, based on the model s premises in order to process, test, simulate and validate the proposed model

WI-BIO: redes de monitoramento de pacientes em ambientes de automação hospitalar utilizando o padrão IEEE 802.11

The monitoring of patients performed in hospitals is usually done either in a manual or semiautomated way, where the members of the healthcare team must constantly visit the patients to ascertain the health condition in which they are. The adoption of this procedure, however, compromises the quality of the monitoring conducted since the shortage of physical and human resources in hospitals tends to overwhelm members of the healthcare team, preventing them from moving to patients with adequate frequency. Given this, many existing works in the literature specify alternatives aimed at improving this monitoring through the use of wireless networks. In these works, the network is only intended for data traffic generated by medical sensors and there is no possibility of it being allocated for the transmission of data from applications present in existing user stations in the hospital. However, in the case of hospital automation environments, this aspect is a negative point, considering that the data generated in such applications can be directly related to the patient monitoring conducted. Thus, this thesis defines Wi-Bio as a communication protocol aimed at the establishment of IEEE 802.11 networks for patient monitoring, capable of enabling the harmonious coexistence among the traffic generated by medical sensors and user stations. The formal specification and verification of Wi-Bio were made through the design and analysis of Petri net models. Its validation was performed through simulations with the Network Simulator 2 (NS2) tool. The simulations of NS2 were designed to portray a real patient monitoring environment corresponding to a floor of the nursing wards sector of the University Hospital Onofre Lopes (HUOL), located at Natal, Rio Grande do Norte. Moreover, in order to verify the feasibility of Wi-Bio in terms of wireless networks standards prevailing in the market, the testing scenario was also simulated under a perspective in which the network elements used the HCCA access mechanism described in the IEEE 802.11e amendment. The results confirmed the validity of the designed Petri nets and showed that Wi-Bio, in addition to presenting a superior performance compared to HCCA on most items analyzed, was also able to promote efficient integration between the data generated by medical sensors and user applications on the same wireless network

Geração automática de hardware apartir de especificações formais: estendendo uma abordagem de tradução

A remoção de inconsistências em um projeto é menos custosa quando realizadas nas etapas iniciais da sua concepção. A utilização de Métodos Formais melhora a compreensão dos sistemas além de possuir diversas técnicas, como a especificação e verificação formal, para identificar essas inconsistências nas etapas iniciais de um projeto. Porém, a transformação de uma especificação formal para uma linguagem de programação é uma tarefa não trivial. Quando feita manualmente, é uma tarefa passível da inserção de erros. O uso de ferramentas que auxiliem esta etapa pode proporcionar grandes benefícios ao produto final a ser desenvolvido. Este trabalho propõe a extensão de uma ferramenta cujo foco é a tradução automática de especificações em CSPm para Handel-C. CSP é uma linguagem de descrição formal adequada para trabalhar com sistemas concorrentes. Handel-C é uma linguagem de programação cujo resultado pode ser compilado diretamente para FPGA's. A extensão consiste no aumento no número de operadores CSPm aceitos pela ferramenta, permitindo ao usuário definir processos locais, renomear canais e utilizar guarda booleana em escolhas externas. Além disto, propomos também a implementação de um protocolo de comunicação que elimina algumas restrições da composição paralela de processos na tradução para Handel-C, permitindo que a comunicação entre múltiplos processos possa ser mapeada de maneira consistente e que a mesma somente ocorra quando for autorizada.

Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução

Removing inconsistencies in a project is a less expensive activity when done in the early steps of design. The use of formal methods improves the understanding of systems. They have various techniques such as formal specification and verification to identify these problems in the initial stages of a project. However, the transformation from a formal specification into a programming language is a non-trivial task and error prone, specially when done manually. The aid of tools at this stage can bring great benefits to the final product to be developed. This paper proposes the extension of a tool whose focus is the automatic translation of specifications written in CSPM into Handel-C. CSP is a formal description language suitable for concurrent systems, and CSPM is the notation used in tools support. Handel-C is a programming language whose result can be compiled directly into FPGA s. Our extension increases the number of CSPM operators accepted by the tool, allowing the user to define local processes, to rename channels in a process and to use Boolean guards on external choices. In addition, we also propose the implementation of a communication protocol that eliminates some restrictions on parallel composition of processes in the translation into Handel-C, allowing communication in a same channel between multiple processes to be mapped in a consistent manner and that improper communication in a channel does not ocurr in the generated code, ie, communications that are not allowed in the system specification

Desenvolvimento e implementação de um sistema de controle de posição e velocidade de uma esteira transportadora usando inversor de frequência e microcontrolador

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

Sistema de gerenciamento automático de reatores eletrônicos com ajuste do nível de luminosidade para múltiplas lâmpadas fluorescentes

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

Levante popular da juventude brasileira: saímos do Facebook

The paper studies the mobilization occurred in June 2013 in Brazil, initially under the banner of the Movement Free Pass, but without the existence of a lead, but multiple voices that alternate in search of social and economic change. The object of study is the communication made through social networks and their realization, or realization, the streets of major cities. The rallies demonstrate the power of communications media and a new phenomenon of talk, the use of social networks, now as uniting factor and not just a showcase of everyday life. The internet has become a new means of communication easy and free access, in addition to its fast dissipation data. Thus, the youth was used such technology to an uprising in the pursuit of social improvement of the cities where marches happened. Such a move still without an academic and social needs to be discussed so that, in addition to understood, can expand contributions to society, helping it in its claims. Was chosen as the site for the #causabrasil study and understanding of issues in which the public expresses dissatisfaction. The site performs an analysis with the combination of hastags a list of pre-registered and a list of terms used by different users of Facebook, Twitter, Instagram, Youtube and Google, through monitoring tool Seekr, and an infographic presents the main political demands of the population.

Levante popular da juventude brasileira: saímos do Facebook (on line)

The paper studies the mobilization occurred in June 2013 in Brazil, initially under the banner of the Movement Free Pass, but without the existence of a lead, but multiple voices that alternate in search of social and economic change. The object of study is the communication made through social networks and their realization, or realization, the streets of major cities. The rallies demonstrate the power of communications media and a new phenomenon of talk, the use of social networks, now as uniting factor and not just a showcase of everyday life. The internet has become a new means of communication easy and free access, in addition to its fast dissipation data. Thus, the youth was used such technology to an uprising in the pursuit of social improvement of the cities where marches happened. Such a move still without an academic and social needs to be discussed so that, in addition to understood, can expand contributions to society, helping it in its claims. Was chosen as the site for the #causabrasil study and understanding of issues in which the public expresses dissatisfaction. The site performs an analysis with the combination of hastags a list of pre-registered and a list of terms used by different users of Facebook, Twitter, Instagram, Youtube and Google, through monitoring tool Seekr, and an infographic presents the main political demands of the population.

Sistema especialista para análise pós-evento da proteção em subestações distribuidoras.

É importante que as redes elétricas tenham altos índices de confiabilidade, de forma a se manter a agilidade e a manutenção ideais para um melhor funcionamento. Por outro lado, o crescimento inesperado da carga, falhas em equipamentos e uma parametrização inadequada das funções de proteção tornam a análise de eventos de proteção mais complexas e demoradas. Além disso, a quantidade de informações que pode ser obtida de relés digitais modernos tem crescido constantemente. Para que seja possível uma rápida tomada de decisão e manutenção, esse projeto de pesquisa teve como objetivo a implementação de um sistema completo de diagnóstico que é ativado automaticamente quando um evento de proteção ocorrer. As informações a serem analisadas são obtidas de uma base de dados e de relés de proteção, via protocolo de comunicação IEC 61850 e arquivos de oscilografia. O trabalho aborda o sistema Smart Grid completo incluindo: a aquisição de dados nos relés, detalhando o sistema de comunicação desenvolvido através de um software com um cliente IEC61850 e um servidor OPC e um software com um cliente OPC, que é ativado por eventos configurados para dispará-lo (por exemplo, atuação da proteção); o sistema de pré-tratamento de dados, onde os dados provenientes dos relés e equipamentos de proteção são filtrados, pré-processados e formatados; e o sistema de diagnóstico. Um banco de dados central mantém atualizados os dados de todas essas etapas. O sistema de diagnóstico utiliza algoritmos convencionais e técnicas de inteligência artificial, em particular, um sistema especialista. O sistema especialista foi desenvolvido para lidar com diferentes conjuntos de dados de entrada e com uma possível falta de dados, sempre garantindo a entrega de diagnósticos. Foram realizados testes e simulações para curtos-circuitos (trifásico, dupla-fase, dupla-fase-terra e fase-terra) em alimentadores, transformadores e barras de uma subestação. Esses testes incluíram diferentes estados do sistema de proteção (funcionamento correto e impróprio). O sistema se mostrou totalmente eficaz tanto no caso de disponibilidade completa quanto parcial de informações, sempre fornecendo um diagnóstico do curto-circuito e analisando o funcionamento das funções de proteção da subestação. Dessa forma, possibilita-se uma manutenção muito mais eficiente pelas concessionárias de energia, principalmente no que diz respeito à prevenção de defeitos em equipamentos, rápida resposta a problemas, e necessidade de reparametrização das funções de proteção. O sistema foi instalado com sucesso em uma subestação de distribuição da Companhia Paulista de Força e Luz.