Midgard: um middleware baseado em componentes e orientado a recursos para redes de sensores sem fio

On the last years, several middleware platforms for Wireless Sensor Networks (WSN) were proposed. Most of these platforms does not consider issues of how integrate components from generic middleware architectures. Many requirements need to be considered in a middleware design for WSN and the design, in this case, it is possibility to modify the source code of the middleware without changing the external behavior of the middleware. Thus, it is desired that there is a middleware generic architecture that is able to offer an optimal configuration according to the requirements of the application. The adoption of middleware based in component model consists of a promising approach because it allows a better abstraction, low coupling, modularization and management features built-in middleware. Another problem present in current middleware consists of treatment of interoperability with external networks to sensor networks, such as Web. Most current middleware lacks the functionality to access the data provided by the WSN via the World Wide Web in order to treat these data as Web resources, and they can be accessed through protocols already adopted the World Wide Web. Thus, this work presents the Midgard, a component-based middleware specifically designed for WSNs, which adopts the architectural patterns microkernel and REST. The microkernel architectural complements the component model, since microkernel can be understood as a component that encapsulates the core system and it is responsible for initializing the core services only when needed, as well as remove them when are no more needed. Already REST defines a standardized way of communication between different applications based on standards adopted by the Web and enables him to treat WSN data as web resources, allowing them to be accessed through protocol already adopted in the World Wide Web. The main goals of Midgard are: (i) to provide easy Web access to data generated by WSN, exposing such data as Web resources, following the principles of Web of Things paradigm and (ii) to provide WSN application developer with capabilities to instantiate only specific services required by the application, thus generating a customized middleware and saving node resources. The Midgard allows use the WSN as Web resources and still provide a cohesive and weakly coupled software architecture, addressing interoperability and customization. In addition, Midgard provides two services needed for most WSN applications: (i) configuration and (ii) inspection and adaptation services. New services can be implemented by others and easily incorporated into the middleware, because of its flexible and extensible architecture. According to the assessment, the Midgard provides interoperability between the WSN and external networks, such as web, as well as between different applications within a single WSN. In addition, we assessed the memory consumption, the application image size, the size of messages exchanged in the network, and response time, overhead and scalability on Midgard. During the evaluation, the Midgard proved satisfies their goals and shown to be scalable without consuming resources prohibitively

KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B

The development of smart card applications requires a high level of reliability. Formal methods provide means for this reliability to be achieved. The BSmart method and tool contribute to the development of smart card applications with the support of the B method, generating Java Card code from B specifications. For the development with BSmart to be effectively rigorous without overloading the user it is important to have a library of reusable components built in B. The goal of KitSmart is to provide this support. A first research about the composition of this library was a graduation work from Universidade Federal do Rio Grande do Norte, made by Thiago Dutra in 2006. This first version of the kit resulted in a specification of Java Card primitive types byte, short and boolean in B and the creation of reusable components for application development. This work provides an improvement of KitSmart with the addition of API Java Card specification made in B and a guide for the creation of new components. The API Java Card in B, besides being available to be used for development of applications, is also useful as a documentation of each API class. The reusable components correspond to modules to manipulate specific structures, such as date and time. These structures are not available for B or Java Card. These components for Java Card are generated from specifications formally verified in B. The guide contains quick reference on how to specify some structures and how some situations were adapted from object-orientation to the B Method. This work was evaluated through a case study made through the BSmart tool, that makes use of the KitSmart library. In this case study, it is possible to see the contribution of the components in a B specification. This kit should be useful for B method users and Java Card application developers

Um modelo de interconexão de componentes para ambientes mulitmídia distribuídos

Multimedia systems must incorporate middleware concepts in order to abstract hardware and operational systems issues. Applications in those systems may be executed in different kinds of platforms, and their components need to communicate with each other. In this context, it is needed the definition of specific communication mechanisms for the transmission of information flow. This work presents a interconnection component model for distributed multimedia environments, and its implementation details. The model offers specific communication mechanisms for transmission of information flow between software components considering the Cosmos framework requirements in order to support component dynamic reconfiguration

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

Geração de interfaces de usuário de sistemas Web para múltiplos dispositivos com o uso de componentes de IU

This work presents an User Interface (UI) prototypes generation process to the softwares that has a Web browser as a plataform. This process uses UI components more complex than HTML elements. To described this components more complex this work suggest to use the XICL (eXtensinble User Interface Components Language). XICL is a language, based on XML syntax, to describe UI Components and IUs. XICL promotes extensibility and reusability in the User Interface development process. We have developed two compiler. The first one compiles IMML (Interactive Message Modeling Language) code and generates XICL code. The second one compiles XICL code and generates DHTML code

Um modelo de interconexão de componentes para ambientes mulitmídia distribuídos

Multimedia systems must incorporate middleware concepts in order to abstract hardware and operational systems issues. Applications in those systems may be executed in different kinds of platforms, and their components need to communicate with each other. In this context, it is needed the definition of specific communication mechanisms for the transmission of information flow. This work presents a interconnection component model for distributed multimedia environments, and its implementation details. The model offers specific communication mechanisms for transmission of information flow between software components considering the Cosmos framework requirements in order to support component dynamic reconfiguration

Processamento e interpretação de dados 2D e 3D de GPR :aplicações no imageamento de feições kársticas e estruturas de dissolução no campo de petróleo de Fazenda Belém-CE

In Fazenda Belém oil field (Potiguar Basin, Ceará State, Brazil) occur frequently sinkholes and sudden terrain collapses associated to an unconsolidated sedimentary cap covering the Jandaíra karst. This research was carried out in order to understand the mechanisms of generation of these collapses. The main tool used was Ground Penetrating Radar (GPR). This work is developed twofold: one aspect concerns methodology improvements in GPR data processing whilst another aspect concerns the geological study of the Jandaíra karst. This second aspect was strongly supported both by the analysis of outcropping karst structures (in another regions of Potiguar Basin) and by the interpretation of radargrams from the subsurface karst in Fazenda Belém. It was designed and tested an adequate flux to process GPR data which was adapted from an usual flux to process seismic data. The changes were introduced to take into account important differences between GPR and Reflection Seismic methods, in particular: poor coupling between source and ground, mixed phase of the wavelet, low signal-to-noise ratio, monochannel acquisition, and high influence of wave propagation effects, notably dispersion. High frequency components of the GPR pulse suffer more pronounced effects of attenuation than low frequency components resulting in resolution losses in radargrams. In Fazenda Belém, there is a stronger need of an suitable flux to process GPR data because both the presence of a very high level of aerial events and the complexity of the imaged subsurface karst structures. The key point of the processing flux was an improvement in the correction of the attenuation effects on the GPR pulse based on their influence on the amplitude and phase spectra of GPR signals. In low and moderate losses dielectric media the propagated signal suffers significant changes only in its amplitude spectrum; that is, the phase spectrum of the propagated signal remains practically unaltered for the usual travel time ranges. Based on this fact, it is shown using real data that the judicious application of the well known tools of time gain and spectral balancing can efficiently correct the attenuation effects. The proposed approach can be applied in heterogeneous media and it does not require the precise knowledge of the attenuation parameters of the media. As an additional benefit, the judicious application of spectral balancing promotes a partial deconvolution of the data without changing its phase. In other words, the spectral balancing acts in a similar way to a zero phase deconvolution. In GPR data the resolution increase obtained with spectral balancing is greater than those obtained with spike and predictive deconvolutions. The evolution of the Jandaíra karst in Potiguar Basin is associated to at least three events of subaerial exposition of the carbonatic plataform during the Turonian, Santonian, and Campanian. In Fazenda Belém region, during the mid Miocene, the Jandaíra karst was covered by continental siliciclastic sediments. These sediments partially filled the void space associated to the dissolution structures and fractures. Therefore, the development of the karst in this region was attenuated in comparison to other places in Potiguar Basin where this karst is exposed. In Fazenda Belém, the generation of sinkholes and terrain collapses are controlled mainly by: (i) the presence of an unconsolidated sedimentary cap which is thick enough to cover completely the karst but with sediment volume lower than the available space associated to the dissolution structures in the karst; (ii) the existence of important structural of SW-NE and NW-SE alignments which promote a localized increase in the hydraulic connectivity allowing the channeling of underground water, thus facilitating the carbonatic dissolution; and (iii) the existence of a hydraulic barrier to the groundwater flow, associated to the Açu-4 Unity. The terrain collapse mechanisms in Fazenda Belém occur according to the following temporal evolution. The meteoric water infiltrates through the unconsolidated sedimentary cap and promotes its remobilization to the void space associated with the dissolution structures in Jandaíra Formation. This remobilization is initiated at the base of the sedimentary cap where the flow increases its abrasion due to a change from laminar to turbulent flow regime when the underground water flow reaches the open karst structures. The remobilized sediments progressively fill from bottom to top the void karst space. So, the void space is continuously migrated upwards ultimately reaching the surface and causing the sudden observed terrain collapses. This phenomenon is particularly active during the raining season, when the water table that normally is located in the karst may be temporarily located in the unconsolidated sedimentary cap

Caracterização infravermelho e distribuição espectral de energia para as estrelas com planetas

Neste trabalho estudamos o comportamento das estrelas pertencentes a sistemas planetários no que diz respeito às suas características infravermelho e à distribuição espectral de energia (SED). Nosso estudo tem como base uma análise detalhada do comportamento da emissão no infravermelho de 48 estrelas com planetas, classificadas como estrelas da seqüência principal, subgigantes ou gigantes. Foram analisados dados de fotometria infravermelho nas bandas 12, 25 e 60µm do catálogo de fontes IRAS puntiformes (IPSC) e nas bandas JHK do projeto 2 Micron All Sky Survey (2MASS). A partir do cálculo da discrepância na posição de apontamento da fonte e do cálculo do índice de cor, selecionamos e localizamos os objetos no diagrama de cor-cor do IRAS. Este diagrama permite-nos identificar possíveis objetos detentores de disco de poeira. Fizemos também uma análise da distribuição espectral de energia onde observamos também traços de excesso de fluxo no infravermelho, com isso, confirmarmos a presença do disco de poeira nos objetos identificados no diagrama de cor. Apesar da atual amostra de estrelas com planetas incluir apenas um subconjunto de estrelas com planetas detectadas na vizinhança solar, a presente análise do fluxo infravermelho nesses objetos oferecem uma possibilidade única de estudar as características infravermelho das estrelas pertencentes aos sistemas planetários extra-solar. Neste contexto, nosso estudo aponta resultados interessantes, entre outros destacamos o fato de algumas estrelas com planetas apresentarem um peculiar fluxo IRAS [60-25], indicando a co-existência de poeira juntamente com os planetas destes sistemas extra solar

Estruturação litosférica da Província Borborema ao longo da Transecta Angüera (BA) Macau (RN), com base em dados gravimétricos

Since 2005, geophysical surveys have been carried out in the Precambri-an Borborema Province, along two transects with 800 km long each one. A pool of Brazilian public universities and institutions has been acquired deep refrac-tion seismic, gravity and magnetotelluric, with the purpose to model the conti-nental lithosphere of the region. This paper present the gravity survey of the second transect, that crosses the Borborema Province from SW to NE, passing through the São Francisco Craton, Transversal and Meridional zones and Rio Grande do Norte Domain, in the Setentrional Zone. In this way, it cuts some important geologic structures, like the limit of the São Francis Craton and the Borborema Province, Paleozoic and Mesozoic sedimentary basins of Tucano, Jatobá and Potiguar and the extensive Pernambuco and Patos shear zones. Recognition techniques gravity sources in the subsurface, such as spectral analysis and Euler Deconvolution, were applied to the Bouguer anomalies, as well as their regional and residual components. These techniques provided in-formation on possible anomalous bodies, which correlated with pre-existing geological and geophysical data, subsidized a 2.5 D gravity modeling of the lithosphere beneath the Borborema Province and its southern limit with the São Francisco Craton.

Carcaças e componentes não-carcaça de cordeiros terminados em pasto de azevém recebendo suplementação concentrada

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

Características de carcaças e dos componentes não-carcaça de bezerros holandeses alimentados após o desaleitamento com silagem de grãos úmidos ou grãos secos de milho ou sorgo

Avaliaram-se as características de carcaças e dos componentes não-carcaça de bezerros alimentados após desaleitamento até o abate com silagem de grãos úmidos ou grãos secos de milho ou sorgo para a produção de vitelos de carne rosa. Trinta bezerros holandeses foram distribuídos em delineamento em blocos casualizados, com cinco blocos e seis tratamentos, e alimentados com seis rações com teores similares de proteína (18,5% PB) e de energia (3,2 Mcal EM/kg de MS), formuladas com: milho seco moído (MM); silagem de grãos úmidos de milho (SGUM); sorgo seco com tanino moído, (SCTM); silagem de grãos úmidos inteiros de sorgo com tanino (SGUISCT); sorgo seco sem tanino moído (SSTM); e silagem de grãos úmidos inteiros de sorgo sem tanino (SGUISST). Os animais foram recriados em piquetes coletivos até atingirem o peso pré-estabelecido para o abate (170 ± 10 kg PV). Não houve efeito da composição das rações concentradas sobre os pesos de carcaça, de cortes e dos componentes não-carcaça nem sobre os rendimentos de carcaça quente e fria, de traseiro e dos outros cortes. Identificou-se efeito das rações concentradas apenas sobre o rendimento de dianteiro, que foi maior nos animais alimentados com SGUISST em comparação àqueles alimentados com MSM e SCTM. Todos os alimentos avaliados podem ser usados em rações concentradas para bezerros após o aleitamento, pois não comprometem as características de carcaça e dos componentes não-carcaça e conferem resultados similares.

Características da carcaça e dos não-componentes da carcaça de ovelhas de descarte abatidas em diferentes estágios fisiológicos

Um experimento foi conduzido no intuito de avaliar ovelhas de descarte abatidas em diferentes estágios fisiológicos e terminadas em confinamento, quanto aos rendimentos de carcaça e seus cortes, assim como os percentuais de cada não-componente da carcaça. Utilizaram-se 21 ovelhas da raça Santa Inês com idade média de 6 anos, distribuídas nos tratamentos: OL = ovelhas mantidas por 60 dias em lactação com seus cordeiros e abatidas um dia após o desmame dos mesmos; OSC = ovelhas mantidas por 60 dias em lactação com seus cordeiros e mais um período de aproximadamente 30 dias sem os cordeiros, no intuito de recuperar o peso corporal perdido na amamentação, e posteriormente abatidas; e ONP = ovelhas mantidas por 60 dias em confinamento e que não pariram durante o ano. As ovelhas que permaneceram por 60 dias em confinamento e que não pariram durante o ano apresentaram maiores rendimentos de carcaça quente 45,00 e fria 44,73% em comparação àquelas mantidas por 60 dias em lactação com seus cordeiros e abatidas um dia após o desmame: 40,80 e 40,66%. Os rendimentos dos cortes da carcaça (perna, lombo, paleta, costelas e pescoço) foram similares entre todas as ovelhas abatidas nos distintos estágios fisiológicos. Os rendimentos dos não-componentes da carcaça, com exceção dos valores do fígado, do sangue, do úbere e da gordura interna, foram similares entre as ovelhas.

Heterogeneidade dos componentes de variância na produção de leite e seus efeitos nas estimativas de herdabilidade e repetibilidade

It was evaluated the heterogeneity of components of phenotypic variance and its effects on the heritability and repeatability estimates for milk yield in Holstein cattle. The herds were grouped according to their level of production (low, medium and high) and evaluated in the non-transformed, square-root and logarithmic scale. Variance components were estimated using a restricted maximum likelihood method based on an animal model that included fixed effects of herd-year-season, and as covariates the linear effect of lactation duration and the linear and quadratic effects of cow's age at calving and the random direct additive genetic, permanent environment and residual effects. In the non-transformed scale all the variance components were heterogeneous. on this scale, residual and phenotypic variance components were associated positively with the level of production while in logarithmic scale that association was negative. Estimates of heritability were more affected than the repeatability for the phenotypic variance heterogeneity and their components. The of selection process efficiency for milk production could be affected by the level of production which was considered for genetic parameters estimation.

Avaliação com Doppler colorido e espectral da veia porta de cães

A perfusão total do fígado e suas contribuições relativas, pelo sistema portal e pela artéria hepática, podem estar alteradas por vários processos hepáticos, como doença hepato-celular difusa, neoplasia e shunts intra-hepáticos. O estudo do comportamento do fluxo sangüíneo nos vasos do fígado por meio da ultra-sonografia Doppler tem demonstrado que este é um método viável não-invasivo e de grande auxílio, principalmente na avaliação da hemodinâmica portal. São duas as modalidades de ultra-sonografia Doppler com maior aplicação na rotina para avaliação de fluxo nos vasos abdominais, o Doppler espectral e o Doppler colorido. Na doença hepática crônica, ocorre alteração da complacência hepática devido à fibrose ou à cirrose, as quais acarretam alterações vasculares, levando ao aumento da pressão venosa portal. As principais indicações desse exame são os casos em que há suspeita de hipertensão portal. A hemodinâmica portal é avaliada pela mensuração de sua área, da velocidade média, do volume de fluxo no vaso e do índice de congestão portal. Esta revisão de literatura tem como objetivo descrever os princípios físicos básicos da ultra-sonografia Doppler e sua aplicação na avaliação da hemodinâmica portal nos cães.

Análise espectral do sinal eletromiográfico do músculo eretor da espinha obtido do teste de Sorensen

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