Ambiente computacional paradesenvolvimento de aplicações de controladores lógicos programáveis baseado em linguagens SFC e ST

This work proposes an environment for programming programmable logic controllers applied to oil wells with BCP type method of artificially lifting. The environment will have an editor based in the diagram of sequential functions for programming of PLCs. This language was chosen due to the fact of being high-level and accepted by the international standard IEC 61131-3. The use of these control programs in real PLC will be possible with the use of an intermediate level of language based on XML specification PLCopen T6 XML. For the testing and validation of the control programs, an area should be available for viewing variables obtained through communication with a real PLC. Thus, the main contribution of this work is to develop a computational environment that allows: modeling, testing and validating the controls represented in SFC and applied in oil wells with BCP type method of artificially lifting

Compressão de Imagens Usando a Função de Peano e a Transformada Wavelet 1D

In this work, spoke about the importance of image compression for the industry, it is known that processing and image storage is always a challenge in petrobrás to optimize the storage time and store a maximum number of images and data. We present an interactive system for processing and storing images in the wavelet domain and an interface for digital image processing. The proposal is based on the Peano function and wavelet transform in 1D. The storage system aims to optimize the computational space, both for storage and for transmission of images. Being necessary to the application of the Peano function to linearize the images and the 1D wavelet transform to decompose it. These applications allow you to extract relevant information for the storage of an image with a lower computational cost and with a very small margin of error when comparing the images, original and processed, ie, there is little loss of quality when applying the processing system presented . The results obtained from the information extracted from the images are displayed in a graphical interface. It is through the graphical user interface that the user uses the files to view and analyze the results of the programs directly on the computer screen without the worry of dealing with the source code. The graphical user interface, programs for image processing via Peano Function and Wavelet Transform 1D, were developed in Java language, allowing a direct exchange of information between them and the user

GATE - Uma abordagem baseada em middleware para aplicações interperceptivas envolvendo múltiplos dispositivos

In this work, we present the GATE, an approach based on middleware for interperceptive applications. Through the services offered by the GATE, we extension we extend the concept of Interperception for integration with several devices, including set-top box, mobile devices (cell phones), among others. Through this extension ensures the implementation of virtual environments in these devices. Thus, users who access the version of the computer environment may interact with those who access the same environment by other devices. This extension is just a part of the services provided by the GATE, that remerges as a new proposal for multi-user virtual environments creation.

Análise e projeto de superfícies seletivas de frequência com elementos pré-fractais para aplicações em comunicações indoor

In this thesis, a frequency selective surface (FSS) consists of a two-dimensional periodic structure mounted on a dielectric substrate, which is capable of selecting signals in one or more frequency bands of interest. In search of better performance, more compact dimensions, low cost manufacturing, among other characteristics, these periodic structures have been continually optimized over time. Due to its spectral characteristics, which are similar to band-stop or band-pass filters, the FSSs have been studied and used in several applications for more than four decades. The design of an FSS with a periodic structure composed by pre-fractal elements facilitates the tuning of these spatial filters and the adjustment of its electromagnetic parameters, enabling a compact design which generally has a stable frequency response and superior performance relative to its euclidean counterpart. The unique properties of geometric fractals have shown to be useful, mainly in the production of antennas and frequency selective surfaces, enabling innovative solutions and commercial applications in microwave range. In recent applications, the FSSs modify the indoor propagation environments (emerging concept called wireless building ). In this context, the use of pre-fractal elements has also shown promising results, allowing a more effective filtering of more than one frequency band with a single-layer structure. This thesis approaches the design of FSSs using pre-fractal elements based on Vicsek, Peano and teragons geometries, which act as band-stop spatial filters. The transmission properties of the periodic surfaces are analyzed to design compact and efficient devices with stable frequency responses, applicable to microwave frequency range and suitable for use in indoor communications. The results are discussed in terms of the electromagnetic effect resulting from the variation of parameters such as: fractal iteration number (or fractal level), scale factor, fractal dimension and periodicity of FSS, according the pre-fractal element applied on the surface. The analysis of the fractal dimension s influence on the resonant properties of a FSS is a new contribution in relation to researches about microwave devices that use fractal geometry. Due to its own characteristics and the geometric shape of the Peano pre-fractal elements, the reconfiguration possibility of these structures is also investigated and discussed. This thesis also approaches, the construction of efficient selective filters with new configurations of teragons pre-fractal patches, proposed to control the WLAN coverage in indoor environments by rejecting the signals in the bands of 2.4~2.5 GHz (IEEE 802.11 b) and 5.0~6.0 GHz (IEEE 802.11a). The FSSs are initially analyzed through simulations performed by commercial software s: Ansoft DesignerTM and HFSSTM. The fractal design methodology is validated by experimental characterization of the built prototypes, using alternatively, different measurement setups, with commercial horn antennas and microstrip monopoles fabricated for low cost measurements

BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B

Java Card technology allows the development and execution of small applications embedded in smart cards. A Java Card application is composed of an external card client and of an application in the card that implements the services available to the client by means of an Application Programming Interface (API). Usually, these applications manipulate and store important information, such as cash and confidential data of their owners. Thus, it is necessary to adopt rigor on developing a smart card application to improve its quality and trustworthiness. The use of formal methods on the development of these applications is a way to reach these quality requirements. The B method is one of the many formal methods for system specification. The development in B starts with the functional specification of the system, continues with the application of some optional refinements to the specification and, from the last level of refinement, it is possible to generate code for some programming language. The B formalism has a good tool support and its application to Java Card is adequate since the specification and development of APIs is one of the major applications of B. The BSmart method proposed here aims to promote the rigorous development of Java Card applications up to the generation of its code, based on the refinement of its formal specification described in the B notation. This development is supported by the BSmart tool, that is composed of some programs that automate each stage of the method; and by a library of B modules and Java Card classes that model primitive types, essential Java Card API classes and reusable data structures

Avaliação do Uso de Smartphones na Interação com as Aplicações da Televisão Digital Brasileira

Brazil is going through the process from analogical transmission to digital transmission. This new technology, in addition to providing a high quality audio and video, also allows applications to execute on television. Equipment called Set-Top Box are needed to allow the reception of this new signal and create the appropriate environment necessary to execute applications. At first, the only way to interact with these applications is given by remote control. However, the remote control has serious usability problems when used to interact with some types of applications. This research suggests a software resources implementation capable to create a environment that allows a smartphone to interact with applications. Besides this implementation, is performed a comparative study between use remote controle and smartphones to interact with applications of digital television, taking into account parameters related to usability. After analysis of data collected by the comparative study is possible to identify which device provides an interactive experience more interesting for users

Avaliando a robustez e manutenibilidade do comportamento excepcional de aplicações C#

Mainstream programming languages provide built-in exception handling mechanisms to support robust and maintainable implementation of exception handling in software systems. Most of these modern languages, such as C#, Ruby, Python and many others, are often claimed to have more appropriated exception handling mechanisms. They reduce programming constraints on exception handling to favor agile changes in the source code. These languages provide what we call maintenance-driven exception handling mechanisms. It is expected that the adoption of these mechanisms improve software maintainability without hindering software robustness. However, there is still little empirical knowledge about the impact that adopting these mechanisms have on software robustness. This work addresses this gap by conducting an empirical study aimed at understanding the relationship between changes in C# programs and their robustness. In particular, we evaluated how changes in the normal and exceptional code were related to exception handling faults. We applied a change impact analysis and a control flow analysis in 100 versions of 16 C# programs. The results showed that: (i) most of the problems hindering software robustness in those programs are caused by changes in the normal code, (ii) many potential faults were introduced even when improving exception handling in C# code, and (iii) faults are often facilitated by the maintenance-driven flexibility of the exception handling mechanism. Moreover, we present a series of change scenarios that decrease the program robustness

Solução rápida das ambigüidades GPS para aplicações no posicionamento relativo de linhas de base curtas

Pós-graduação em Ciências Cartográficas - FCT

Plataforma de força para aplicações biomédicas

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

Sistema de armazenamento de imagens comprimidas através da transformada wavelet

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

Treinamento de uma rede neural de base radial usando computação evolutiva: implementação e aplicações

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

Geração automática de Trimap para Matting Digital de Imagens e Vídeo

Pós-graduação em Ciência da Computação - IBILCE

Análise, aplicação e otimização de metodologias para a elaboração de websites: o design ergonômico na busca da usabilidade e melhor interação humano-computador

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

Avaliação das alterações radiográficas após tratamento endodôntico de dentes com lesão periapical empregando dois programas de interpretação de imagens

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

O uso do computador em escolas públicas estaduais da cidade de Limeira/SP

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