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

A agricultura familiar do Seridó potiguar: vulnerabilidade, percepção e adaptação às mudanças climáticas

At the semiarid regions of developing countries the rural population has always been vulnerable to the climatic variations e its consequences. The effects of the semiarid climate, together with other biophysics, social and political-economic factors, impair the agricultural production, generating a situation of food insecurity and poverty in the rural areas. With the occurrence of climate change, natural resources of the semiarid regions can became scarcer, what would directly affect the agricultural production and those who depend on it. Therefore, the present study sought to study one of the most susceptible areas to the effects of the semiarid climate and desertification of Rio Grande do Norte, the potiguar s Serido. The study aimed to analyze the socioeconomic and environmental factors that put farmers in a position of vulnerability to the effects of climate; assess their perceptions about climate variations that have already occurred and their knowledge about climate change and global warming, also to identify which adaptation strategies to climate they have adopted at the rural establishment. The survey was conducted in 29 communities of four counties of the potiguar s Serido Caico, Parelhas, Lagoa Nova and Acari. Semi-structured interviews were conducted with local leaders and 241 questionnaires were applied with the family farmers. It was found that in addition to environmental factors such as the scarcity of water resources and climatic conditions, other factors such as the environmental degradation, the small size of the properties, the lack of technical assistance and financial resources and also the low education levels reduce the resilience capacity of family farming to the effects of the Semiarid climate. With the occurrence of climate change, the challenges for family farming at Serido will intensify. If farmers cannot adapt, the impacts may preclude this category of agricultural production causing serious harm to food security and further increasing the vulnerability situation of these populations. Although the farmers perceived changes in climate, the lack resources and information appears as the main reasons preventing the adoption of adaptation strategies. The lack of knowledge about climate change and global warming and the impacts that these phenomena may cause are also limiting factors for adaptation. It is therefore essential to identify the factors that influence the adoption of adaptation strategies, and seek alternatives to living with the semiarid that can strengthen the resilience of family farming and social reproduction that allow agricultural segment, even in a climate change scenario

Adaptação sociocultural de gestores espanhóis expatriados no Brasil

This study aims at understanding how sociocultural adjustment occurs in the case of managers, and their spouses, expatriated to Brazil by private and public Spanish organizations. To do so, it adopts as main theoretical frame the expatriate adaptation model proponed by Parker & McEvoy (1993), based on Black, Mendenhall & Oddou s model (1991), which establishes three dimensions of adaptation: adjustment to work; adjustment to general environment and adjustment to interaction with host country nationals. This work, of exploratory and descriptive nature, used field research to gather primary data subsequently analyzed with a qualitative approach. Data collection came from individual in-depth interviews with three Spanish managers expatriated in Brazil and two of their spouses. Resulting data were analyzed through one of content analysis procedures, thematic analysis. This research shows that adjustment is obstructed by cultural distance or cultural novelty rather than by work role characteristics, being more successful in expatriates that carry previous solid sociocultural knowledge about host country. It also verifies that the degree of expatriate adjustment is enhanced by the comprehension of cultural differences that originate values and behaviors different from those of the expatriate. It points out that individual factors such as perception and relation skills, flexibility, empathy and self-efficacy are positively linked to the three dimensions of adjustment: work, general adjustment and interaction adjustment. It finds expatriate adjustment to be lowered by spouse unsuccessful adjustment and shows that location in an environment perceived as short in key infrastructures is negatively linked to adjustment in expatriates coming from strongly urban environments. It concludes that expatriate adjustment occurs through progressive understanding of host country environment and through comprehension of the sociocultural context that explains differences between host country behaviors and values and those from the country of origin, a process which is favored by expatriate individual characteristics not directly linked to his/her technical qualification, such as perception and relation skills, flexibility and empathy, together with solid sociocultural knowledge about the host country. This research propones, therefore, that organizations involved in expatriation processes should include in their selection criteria the degree to which candidates possess personal characteristics and sociocultural knowledge that may facilitate adaptation

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

Cartografia temporal e análise geoambiental da dinâmica da foz do Rio Piranhas-Açu, regiao de Macau-RN, com base em imagens Landast 5-MT

This work embraces the application of Landsat 5-TM digital images, comprising August 2 1989 and September 22 1998, for temporal mapping and geoenvironmental analysis of the dynamic of Piranhas-Açu river mouth, situated in the Macau (RN) region. After treatment using several digital processing techniques (e.g. colour composition in RGB, ratio of bands, principal component analysis, index methods, among others), it was possible to generate several image products and multitemporal maps of the coastal morphodynamics of the studied area. Using the image products it was possible the identification and characterization of the principal elements of interest (vegetation, soil, geology and water) in the surface of the studied area, associating the spectral characteristics of these elements to that presented by the image products resulting of the digital processing. Thus, it was possible to define different types of soils: Amd, AQd6, SK1 and LVe4; vegetation grouping: open arboreal-shrubby caatinga, closed arborealshrubby caatinga, closed arboreal caatinga, mangrove vegetation, dune vegetation and areas predominately constituted by juremas; geological units: quaternary units beach sediments, sand banks, dune flats, barrier island, mobile dunes, fixed dunes, alluvium, tidal and inundation flats, and sandy facies of the Potengi Formation; tertiary-quaternary units Barreiras Formation grouped to the clayey facies of the Potengi Formation, Macau Formation grouped to the sediments of the Tibau Formation; Cretaceous units Jandaíra Formation; moreover it was to identify the sea/land limit, shallow submersed areas and suspended sediments. The multitemporal maps of the coastal morphodynamics allowed the identification and a semi-quantitative evoluation of regions which were submitted to erosive and constructive processes in the last decade. This semi-quantitative evoluation in association with an geoenvironmental characterization of the studied area are important data to the elaboration of actions that may minimize the possible/probable impacts caused by the implantation of the Polo Gas/Sal and to the monitoring of areas explorated by the petroleum and salt industries

Interpretação de dados de GPR com base na hierarquização de superfícies limitantes e na adaptação de critérios sismoestratigráficos

Due to its high resolution, Ground Penetrating Radar (GPR) has been used to image subsurface sedimentary deposits. Because GPR and Seismic methods share some principles of image construction, the classic seismostratigraphic interpretation method has been also applied as an attempt to interpret GPR data. Nonetheless some advances in few particular contexts, the adaptations from seismic to GPR of seismostratigraphic tools and concepts unsuitable because the meaning given to the termination criteria in seismic stratigraphy do not represent the adequate geologic record in the GPR scale. Essentially, the open question relies in proposing a interpretation method for GPR data which allow not only relating product and sedimentary process in the GPR scale but also identifying or proposing depositional environments and correlating these results with the well known Sequence Stratigraphy cornerstones. The goal of this dissertation is to propose an interpretation methodology of GPR data able to perform this task at least for siliciclastic deposits. In order to do so, the proposed GPR interpretation method is based both on seismostratigraphic concepts and on the bounding surface hierarchy tool from Miall (1988). As consequence of this joint use, the results of GPR interpretation can be associated to the sedimentary facies in a genetic context, so that it is possible to: (i) individualize radar facies and correlate them to the sedimentary facies by using depositional models; (ii) characterize a given depositional system, and (iii) determine its stratigraphic framework highligthing how it evolved through geologic time. To illustrate its use the proposed methodology was applied in a GPR data set from Galos area which is part of the Galinhos spit, located in Rio Grande do Norte state, Northeastern Brazil. This spit presents high lateral sedimentary facies variation, containing in its sedimentary record from 4th to 6th cicles caused by high frequency sea level oscillation. The interpretation process was done throughout the following phases: (i) identification of a vertical facies succession, (ii) characterization of radar facies and its associated sedimentary products, (iii) recognition of the associated sedimentary process in a genetic context, and finally (iv) proposal of an evolutionay model for the Galinhos spit. This model proposes that the Galinhos spit is a barrier island constituted, from base to top, of the following sedimentary facies: tidal channel facies, tidal flat facies, shore facies, and aeolic facies (dunes). The tidal channel facies, in the base, is constituted of lateral accretion bars and filling deposits of the channels. The base facies is laterally truncated by the tidal flat facies. In the foreshore zone, the tidal flat facies is covered by the shore facies which is the register of a sea transgression. Finally, on the top of the stratigraphic column, aeolic dunes are deposited due to areal exposition caused by a sea regression

Adaptação do modelo experimental de colestase extra-hepática em ratos jovens

Os autores descrevem a adaptação da técnica de ligadura e ressecção do ducto biliar comum descrita na literatura, enfatizando suas vantagens na recuperação pós-cirúrgica. Este trabalho foi realizado no Laboratório Experimental do Departamento de Pediatria da FMB-UNESP.

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.

Sistema de Apoio Ósseo para Mecânica Ortodôntica (SAO®): miniplacas para ancoragem ortodôntica. Parte I: tratamento da mordida aberta

Este trabalho descreve uma nova forma de ancoragem por meio de miniplacas denominada SAO®, Sistema de Apoio Ósseo para Mecânica Ortodôntica. Após a descrição do sistema, protocolos de tratamento para mordidas abertas esqueléticas são apresentados. A aplicação de cantiléveres e alças apoiadas diretamente nos tubos do sistema de ancoragem permite que associações de problemas verticais e sagitais (Classe II e III) sejam tratadas de formas distintas. A aplicação de forças leves e constantes e o controle tridimensional das forças aplicadas são o grande diferencial desse novo sistema.

Adaptação transcultural Portugal-Brasil do Inventário de Burnout de Maslach para estudantes

OBJETIVO: Realizar a adaptação transcultural da versão em português do Inventário de Burnout de Maslach para estudantes e investigar sua confiabilidade, validade e invariância transcultural. MÉTODOS: A validação de face envolveu participação de equipe multidisciplinar. Foi realizada validação de conteúdo. A versão em português foi preenchida em 2009, pela internet, por 958 estudantes universitários brasileiros e 556 portugueses da zona urbana. Realizou-se análise fatorial confirmatória utilizando-se como índices de ajustamento o χ²/df, o comparative fit index (CFI), goodness of fit index (GFI) e o root mean square error of approximation (RMSEA). Para verificação da estabilidade da solução fatorial conforme a versão original em inglês, realizou-se validação cruzada em 2/3 da amostra total e replicada no 1/3 restante. A validade convergente foi estimada pela variância extraída média e confiabilidade composta. Avaliou-se a validade discriminante e a consistência interna foi estimada pelo coeficiente alfa de Cronbach. A validade concorrente foi estimada por análise correlacional da versão em português e dos escores médios do Inventário de Burnout de Copenhague; a divergente foi comparada à Escala de Depressão de Beck. Foi avaliada a invariância do modelo entre a amostra brasileira e a portuguesa. RESULTADOS: O modelo trifatorial de Exaustão, Descrença e Eficácia apresentou ajustamento adequado (χ²/df = 8,498; CFI = 0,916; GFI = 0,902; RMSEA = 0,086). A estrutura fatorial foi estável (λ: χ²dif = 11,383, p = 0,50; Cov: χ²dif = 6,479, p = 0,372; Resíduos: χ²dif = 21,514, p = 0,121). Observou-se adequada validade convergente (VEM = 0,45;0,64, CC = 0,82;0,88), discriminante (ρ² = 0,06;0,33) e consistência interna (α = 0,83;0,88). A validade concorrente da versão em português com o Inventário de Copenhague foi adequada (r = 0,21;0,74). A avaliação da validade divergente do instrumento foi prejudicada pela aproximação do conceito teórico das dimensões Exaustão e Descrença da versão em português com a Escala de Beck. Não se observou invariância do instrumento entre as amostras brasileiras e portuguesas (λ:χ²dif = 84,768, p < 0,001; Cov: χ²dif = 129,206, p < 0,001; Resíduos: χ²dif = 518,760, p < 0,001). CONCLUSÕES: A versão em português do Inventário de Burnout de Maslach para estudantes apresentou adequada confiabilidade e validade, mas sua estrutura fatorial não foi invariante entre os países, apontando ausência de estabilidade transcultural.