Métricas de sistemas de middleware orientado a aspectos e Aplicação em um sistema de monitoramento de Poços de Petróleo

Nowadays, there are many aspect-oriented middleware implementations that take advantage of the modularity provided by the aspect oriented paradigm. Although the works always present an assessment of the middleware according to some quality attribute, there is not a specific set of metrics to assess them in a comprehensive way, following various quality attributes. This work aims to propose a suite of metrics for the assessment of aspect-oriented middleware systems at different development stages: design, refactoring, implementation and runtime. The work presents the metrics and how they are applied at each development stage. The suite is composed of metrics associated to static properties (modularity, maintainability, reusability, exibility, complexity, stability, and size) and dynamic properties (performance and memory consumption). Such metrics are based on existing assessment approaches of object-oriented and aspect-oriented systems. The proposed metrics are used in the context of OiL (Orb in Lua), a middleware based on CORBA and implemented in Lua, and AO-OiL, the refactoring of OIL that follows a reference architecture for aspect-oriented middleware systems. The case study performed in OiL and AO-OiL is a system for monitoring of oil wells. This work also presents the CoMeTA-Lua tool to automate the collection of coupling and size metrics in Lua source code

Aplicação do método B ao projeto formal de software embarcado

This work shows a project method proposed to design and build software components from the software functional m del up to assembly code level in a rigorous fashion. This method is based on the B method, which was developed with support and interest of British Petroleum (BP). One goal of this methodology is to contribute to solve an important problem, known as The Verifying Compiler. Besides, this work describes a formal model of Z80 microcontroller and a real system of petroleum area. To achieve this goal, the formal model of Z80 was developed and documented, as it is one key component for the verification upto the assembly level. In order to improve the mentioned methodology, it was applied on a petroleum production test system, which is presented in this work. Part of this technique is performed manually. However, almost of these activities can be automated by a specific compiler. To build such compiler, the formal modelling of microcontroller and modelling of production test system should provide relevant knowledge and experiences to the design of a new compiler. In ummary, this work should improve the viability of one of the most stringent criteria for formal verification: speeding up the verification process, reducing design time and increasing the quality and reliability of the product of the final software. All these qualities are very important for systems that involve serious risks or in need of a high confidence, which is very common in the petroleum industry

Aplicação do Sensoriamento Remoto e do Sistema de Informações Geográficas na Detecção de Manchas de Óleo na Região do Pólo de Exploração de Guamaré, R.N.

Objective to establish a methodology for the oil spill monitoring on the sea surface, located at the Submerged Exploration Area of the Polo Region of Guamaré, in the State of Rio Grande do Norte, using orbital images of Synthetic Aperture Radar (SAR integrated with meteoceanographycs products. This methodology was applied in the following stages: (1) the creation of a base map of the Exploration Area; (2) the processing of NOAA/AVHRR and ERS-2 images for generation of meteoceanographycs products; (3) the processing of RADARSAT-1 images for monitoring of oil spills; (4) the integration of RADARSAT-1 images with NOAA/AVHRR and ERS-2 image products; and (5) the structuring of a data base. The Integration of RADARSAT-1 image of the Potiguar Basin of day 21.05.99 with the base map of the Exploration Area of the Polo Region of Guamaré for the identification of the probable sources of the oil spots, was used successfully in the detention of the probable spot of oil detected next to the exit to the submarine emissary in the Exploration Area of the Polo Region of Guamaré. To support the integration of RADARSAT-1 images with NOAA/AVHRR and ERS-2 image products, a methodology was developed for the classification of oil spills identified by RADARSAT-1 images. For this, the following algorithms of classification not supervised were tested: K-means, Fuzzy k-means and Isodata. These algorithms are part of the PCI Geomatics software, which was used for the filtering of RADARSAT-1 images. For validation of the results, the oil spills submitted to the unsupervised classification were compared to the results of the Semivariogram Textural Classifier (STC). The mentioned classifier was developed especially for oil spill classification purposes and requires PCI software for the whole processing of RADARSAT-1 images. After all, the results of the classifications were analyzed through Visual Analysis; Calculation of Proportionality of Largeness and Analysis Statistics. Amongst the three algorithms of classifications tested, it was noted that there were no significant alterations in relation to the spills classified with the STC, in all of the analyses taken into consideration. Therefore, considering all the procedures, it has been shown that the described methodology can be successfully applied using the unsupervised classifiers tested, resulting in a decrease of time in the identification and classification processing of oil spills, if compared with the utilization of the STC classifier

Sistema automático para o controle eficiente de iluminação para multiplas lâmpadas fluorescentes

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Definição de requisitos de software baseada numa arquitetura de modelagem de negócios

Não é uma tarefa fácil definir requisitos para os sistemas de software que darão suporte a um negócio, dada a dinâmica de mudanças nos processos. O levantamento de requisitos tem sido feito de forma empírica, sem o apoio de métodos sistematizados que garantam o desenvolvimento baseado nos reais objetivos do negócio. A engenharia de software carece de métodos que tornem mais ordenadas e metódicas as etapas de modelagem de negócios e de levantamento de requisitos de um sistema. Neste artigo é apresentada uma metodologia de desenvolvimento de software resultante da incorporação de atividades propostas para modelagem de negócios e levantamento de requisitos, baseadas em uma arquitetura de modelagem de negócios. Essas atividades tornam o desenvolvimento de software mais sistemático e alinhado aos objetivos da organização, e podem ser incorporadas em qualquer metodologia de desenvolvimento baseada no UP (Unified Process - Processo Unificado).

Sistema computacional para índices de cárie dentária: banco de dados e análise estatística

Apresenta-se um sistema computacional, denominado ICADPLUS, desenvolvido para elaboração de banco de dados, tabulação de dados, cálculo do índice CPO e análise estatística para estimação de intervalos de confiança e comparação de resultados de duas populações.Tem como objetivo apresentar método simplificado para atender necessidades de serviços de saúde na área de odontologia processando fichas utilizadas por cirurgiões dentistas em levantamentos epidemiológicos de cárie dentária. A característica principal do sistema é a dispensa de profissional especializado na área de odontologia e computação, exigindo o conhecimento mínimo de digitação por parte do usuário, pois apresenta menus simples e claros como também relatórios padronizados, sem possibilidade de erro. Possui opções para fichas de CPO segundo Klein e Palmer, CPO proposto pela OMS, CPOS segundo Klein, Palmer e Knutson, e ceo. A validação do sistema foi feita por comparação com outros métodos, permitindo recomendar sua adoção.

Desenvolvimento de um sistema computacional para dimensionamento e evolução de rebanhos bovinos

Os objetivos deste estudo foram desenvolver um sistema computacional que efetue o dimensionamento e a evolução de rebanhos bovinos e criar uma ferramenta que possibilite ao usuário efetuar simulações em um sistema de produção de carne e/ou leite. Foi utilizada a linguagem CA Clipper. As rotinas foram desenvolvidas de forma conversacional, com acesso aos diversos programas, por meio de menus auto-explicativos. O sistema desenvolvido pode auxiliar o técnico e o pecuarista no dimensionamento e na evolução de um rebanho bovino com precisão e considerável rapidez; possibilita ao usuário efetuar inúmeras simulações; e constitui -se em importante ferramenta no auxílio da tomada de decisões.

Sistema de Informações Geográficas para o Mapeamento e Controle do Crime: Proposta para o Município de Feira de Santana, Bahia

The mapping crime using a Geographical Information System (SIG), besides a scientific activity, is an intelligent strategy of violence figthing, constituted in a base of information for discerning analysis of data, for better understanding and control of criminal action. This proposal of a GIS, for the region of Feira de Santana, State of Bahia - Brazil, shows how the mapping crime can be carried through a set of computational tools composed of hardware and software, through space information, in the study of its causes, consequences and ways for its control.

Software educacional sobre escala de pessoal de enfermagem: Elaboração, desenvolvimento e aplicação via internet

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

Implantação do pilar ruju Botucatu na UNESP para integração ao Sistema Geodésico Brasileiro

The objective of this work was to implant a geodesic pillar in the campus of Botucatu (Rubião Júnior) of the São Paulo State University (UNESP), using active stations of the Brazilian Net of Continuous Monitoring (RBMC) as reference, aiming at inclusion in the Brazilian Geodesic System (BGS). In the planning of the trace, some aspects of the pillar optimization were considered: the field evaluation, the equipment Receiver GPS Topcon Hiper GGD and the net RBMC were used to trace the height, and the Topcon Tools 6.04 version software was use for the data processing, the ambiguity solution, as well as the treatment of injunctions during the column adjustment. The obtained results allowed the implantation of a more accurate pillar then 1ppm compatible to the RBMC net, meeting the specification of IBGE.

Sistema especialista para a monitoração do processo de degradação de medidores tipo indução de energia elétrica ativa

This paper presents a methodology and software for hazard rate analysis of induction type watt-hour meters, considering the main variables related with the degradation process of these meters, for the Elektro Electricity and Services SA. The modeling developed to calculate the watt-hour meters hazard rate was implemented in a tool through a user friendly platform, in Delphi language, enabling not only hazard rate analysis, but also a classification by risk range, localization of installation for the analyzed meters, and, allowing, through an expert system, the sampling of induction type watt-hour meters, based on the model risk developed with artificial intelligence, with the mainly goal of follow and manage the process of degradation, maintenance and replacement of these meters. © 2010 IEEE.

Uso do AHP na avaliação do desempenho do sistema de gestão da qualidade, meio ambiente e segurança e saúde ocupacional integrados

The paper analyses the application of the AHP method together with the attach A of ISO 9004:2000 in order to evaluate the performance of two industrial organizations, both possessing quality management systems with ISO 9001:2000 certifications, based on the specific requirements of quality, environment, occupational health and management systems. The evaluated organizations were a government-owned company from the science and technology sector that works in the nuclear area, and a private company that works in the automotive and railroad area. The open software Web-Hipre version 1.22 from Helsinki University of Technology, Finland, was used. The results demonstrated that the AHP method together with the attach A of ISO 9004:2000 is adequate to evaluate organizational performances. Both organizations presented similar performance levels.

Migración interna y sistema de ciudades en América Latina: intensidad, patrones, efectos y potenciales determinantes, censos de la década del 2000

Incluye Bibliografía

Sistema para elaborar proyecciones subnacionales, de áreas intermedias y pequeñas, por sexo y grupos de edades

Incluye Bibliografía

El software REDATAM para divulgación y análisis de datos censales

Incluye Bibliografía