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

Interfaces cultural, política e organizacional do projeto caminhos do frio rota cultural no contexto da regionalização do turismo no brejo paraibano

This study is the analysis of cultural, political and organizational interfaces of "Caminhos do Frio Rota Cultural" Project in the context of tourism regionalization in Brejo Paraibano and it presents the characterization, routing and inventory of six municipalities of the Project, as well as the identification of cultural elements used for tourist in the routing of the pond, the investigation of political and organizational articulation and the verification of participation of each producing agent in the development of tourism resulting from the swamp of Paraiba. This is a qualitative descriptive and exploratory study, which makes use of the interpretive paradigm to perform an analysis of the environment where occurs the regionalization of tourism in Brejo of Paraíba and the social actors involved in this process in order to pursue development of the region through culture and tourism, with the collection spot in the six counties of the Project participants collected through interviews with managers, community, government agencies and tourist trade, and the use of the technique of direct observation. This time, with the data analysis it was possible to establish the production situation and its cultural and tourist development in the region of Brejo (PB), where culture has become a developmental tool within the tourism industry due to its innovation potential. It was possible to ratify the undisputed vocation of cultural tourism in the region in question, since other projects being developed with the use of cultural resources with a strong influence on the policies of regional tourism. Thus, the main result was that was seen is that the regional development has triggered a refunctionalisation / reappropriation of space just rebuilding a new territorial organization through the development of a regional autonomy of management, a capacity of collective ownership and the use of economic surplus, a spontaneous process of social inclusion as well as awareness and mobilization tourist (even if initial and shy), an appreciation of natural and cultural assets for all stakeholders and especially identification of the population with its region and its culture, as to achieve regional development is not enough to increase the economic, but above all the promotion of endogenous social factors such as changes in social and cultural values and the integration of social actors in this process. Finally, taking into account the definitions of sustainability, it is considered that cannot be said that the development model seen in the swamp of Paraiba is sustainable, but it is a model of regional development based on the unique characteristics that each municipality has and create a regional identity and have correponded expectations / desired results and therefore the viability of the region through the development of cultural tourism was proven

A ocupação urbana do entorno de zonasde proteção ambiental de natal, suas condições de sustentabilidade e a relação com a ocorrência de insetos vetores

This study started from the hypothesis of the existence of a relation between the type of the urban occupation concerning to the sustainability conditions at the proximity of Environment Protected Zones and the occurrence of vectors insects in Natal, Rio Grande do Norte, Brazil. This research, which used data available by the City Administration Health and Urbanization Secretaries (respectively SMS and SEMURB), in the time period of 2006 to 2008, aimed to characterize the study site in terms of urban occupation, relating it to social environmental aspects of land occupation and the occurrence of vectors insects. This study is presented in two papers, the first one linking the occurrence of vectors insects and sustainable development indicators and the second relating the incidence of reported cases of Dengue and Dengue Hemorrhagic Fever (DHF) and the occurrence of larvae infection indexes of Aedes aegypti, in Natal, Rio Grande do Norte State. In the first paper, was made a correlation between Dengue Fever vectors and Visceral and Tegumentar Leishmaniasis vectors and sustainable development indicators, selected from IDS Brasil- 2008. Through factorial analysis a Sustainability Index (SI) was acquired for each region, the northern region of the municipality obtained lower numbers than southern region, which, in its turn, presented better sustainability conditions. Linking this index to vector infestation parameters shows a high significant correlation between the SI and the Breteau Index of Aedes aegypti (p=0,028) as well as with SI and sand flies infestation index (p=0,01). Higher rates in vectors infestation in regions with a lower Sustainable Development Index demonstrates that this index can be used to determine the increasing of probability of Aedes and sand flies occurrence in urban environment. The second paper analyzed the occurrence of the main vector of Dengue and DHF, the Aedes aegypti mosquito, and the relation between larvae infection indexes of this insect and reported cases of the diseases. This study revealed unexpected relation where areas with higher Breteau s Indexes showed lower infection rates of Dengue Fever, although showing high incidence of DHF

Sustentabilidade ambiental e qualidade da água do reservatório Itans (Caicó-RN)

This study aimed to assess the sustainability of the Caicó-RN through the application of the Barometer of Sustainability. Scales of performance were made and the results were processed and placed in the scale of that tool, varying from 0 to 100. The results indicate that Caicó has a potentially untenable position in accordance with the Barometer of Sustainability

Conservação dos invertebrados em área de proteção ambiental litorânea no nordeste do Brasil: contribuições da educação ambiental para a sustentabilidade

Today's society is in a real collapse of an environmental nature. The populations are lost due to a dream of development without thinking of the consequences that said development can bring to human populations. Thus, it is necessary that strategies be developed for the purpose of protecting the flora and fauna that is at risk from suffering the pressure to achieve this development. Thus important issues involving the need to conserve nature and the creation of protected areas as these strategies are increasingly being developed in research, whether in the biological and / or social. In this sense, the aim of this research through environmental perception social actors for the formation of significant elements for understanding the relationship between man and nature, and from there to provide actions for sensitization. As well as changing attitudes towards environmental issues, to thereby provide analysis based on Environmental Education in order to provide the production of environmental knowledge as a tool that provides value shift. This area of research was to study the Environmental Protection Area Jenipabu - APA Jenipabu, located in northeastern Brazil. Where, from the environmental perception of students from schools within and around this Nature Conservation Unit notes were made regarding the value and meaning given by students, and how this, the feeling of belonging to these groups. This dissertation is composed of two chapters, the first is titled Environmental perception and feeling of belonging in the area of environmental protection in coastal RN - Brazil, where it makes a diagnosis of how these groups understands and realizes the Unity of Nature Conservation. The second, which is titled Construction of environmental knowledge and conservation of invertebrates in the Environmental Protection Area in the northeast coast of Brazil, specifically developed in the school from within the APA Jenipabu, in order to promote a sense of belonging for those students who become multipliers, in order to realize the importance and necessity of having this unit for Nature Conservation. Looking to the degree of importance of environmental education as a tool to raise awareness on conservation of invertebrates and is all the fauna and flora exists, whether in a conservation of nature or not

Análise da mobilidade urbana de Natal/RN a partir do uso de indicadores de sustentabilidade

In contemporary times, the urban mobility is presented as one of the main challenges of large and medium-sized Brazilian cities , it presents signs of unsustainability , above all due to the increase in motorized transport system , especially the individual . Thus , it is clear that mobility is considered of special interest for sustainable urban development , is facing a crisis that is reflected in negative externalities , particularly with regard to congestion , accidents , air pollution , social exclusion , among others. The complexity of these problems requires an integrated analysis based on the principles of sustainability . In this sense , trying to understand this problem and in the attempt to minimize its impacts, Costa (2008 ) proposed the Index of Sustainable Urban Mobility (I_SUM) with the goal of providing a methodology capable to assess relevant aspects of mobility , including social dimensions , political, economic and environmental . Given the above, was elected as the main objective of this study is to analyze urban mobility in Natal / RN from the perspective of sustainability . Like specific objectives will seek to analyze Natal´s urban mobility, using the I_SUM like a tool for both the city as a whole and for each of its four administrative regions; evaluate Natal s urban accessibility conditions and verify to what extent the access to urban services and equipment is facilitated or hindered because of the location and incomes of the population . For this, it was necessary to use bibliographic , documentary and field research . The index , which varies from 0.00 to 1.00, revealed for Natal an Global value of 0,510, and that refers to its administrative regions, it was found that there are very small percentage differences from the overall index calculated for the city . The performance of I_SUM by administrative region showed that although there are differences , the results were very similar , varying between 0,494 and 0,537. Particularly in relation to urban accessibility, it appears that Natal presents as an unequal city and this inequity , which is not only income is reflected in the issues related to accessibility and hence urban mobility

Sustentabilidade ambiental do cultivo intensivo de Tilápias (Oreochromis niloticus) em tanques-rede e a capacidade de suporte de quatro reservatórios em uma região semi-árida tropical

Intensive production of tilápias, in cages or net tanks, has been proposed as an alternative to increase fish production, that would generate income and offer animal protein in different tropical and subtropical countries. However, this system of production enriches the aquatic environment with nutrients, principally nitrogen and phosphor derived from the dejections of the metabolism of food and eventual food surpluses consumed by the fishes; the alimentation of the fishes in this production modality is dependent on fish food. The emission of these nutritions in levels above the limit that the system is capable metabolize can provoke a phenomenon called eutrofization, putting in risk the quality of water for public and for fish production activities. In this context the work had as a goal to evaluate the trófico state of the four reservoirs for intensive production of tilapias in net-tanks, in other words, he maximum fish production that the reservoirs are able to hold, keeping the desired quantity of nutrient concentrations in water for public use. The results of the four ecosystems in the Boqueirão de Parelhas reservoir showed that it s possible to have an intensive production of tilapias in net tanks, in this environment the annual average concentration of phosphor, was below the considered critical limits to deflagrate the process of eutrofization in semi-arid regions. The carrying capacity of the Boqueirão de Parelhas reservoir depends on the conversion of the feeding facts and phosphor content in the food but it should vary between 100 and 300 tons per year over a variation in the conversion feeding factor of 1,7 to 2,0:1 and a variation in the P in the food of 0,7 to 0,9%

Sustentabilidade e responsabilidade socioambiental: crenças provendo a formação de graduandos em administração

This research aims to focus on the education problem, since its source of development is the Research Base: Teachers Training and Qualification of UFRN. Therefore, we seek guidance in the beliefs in sustainability to propose plausible alternatives to promote the education process of UFRN administration undergraduates in order to meet the demands of a market-oriented society, since the market trend is to evolve from environmental guided activities, and future administrators should be trained to meet those conditions. The need to develop an instrument capable of understanding the beliefs of undergraduates on the sustainability problem becomes the object of analysis. This research aims to develop a normative questionnaire to study administration students beliefs in sustainability. The complexity and sensitivity of this research required the integration of various methodological procedures. These proposals were made as follows: analysis and selection of literature, expert validation procedures and psychometric methods and statistics. As for the literature, types of sustainability were identified and categorized, such as: political, social, economic and environmental sustainability. However, it is understood that the educational type, although included in all of those, needed to be converted into another type to fit the theme, since education is believed to be the best way to raise awareness about sustainability. Thus, it was required the categorization of the types, which was defined using criteria such as: contexts, objectives, goals, pathways and hypotheses. The normative questionnaire was the guiding instrument to investigate the role of administration students, regarding the level of knowledge established and regulated by social educational context, especially by becoming a basic condition for carrying out research on beliefs. The study confirmed that the types of sustainability - political, social, economic, environmental and educational - for having institutionalized literatures as sources, in international and national levels, are representative in the identification of future administrators. Therefore, it is believed that the types of sustainability categorized to provide a characterization of sustainability include the structuring of knowledge for undergraduates. The economic and political types, however, were not as representative with respect to their typicality and polarity indices as the educational, environmental and social ones. Although the beliefs of the undergraduates show how much they share ideas on all types, they present more identification with the educational and environmental types. Finally, it is expected that this instrument be subject to application in similar contexts so that it can ascertain whether such statements are part of the knowledge structure of future administrators from other institutions. Therefore, it is expected this strategy to strengthen the validation of the normative questionnaire

Fragilidade ambiental da bacia hidrográfica do Rio Seridó (RN/PB Brasil)

There are many applications coming from geomorphological studies and their different constitutive and inter related elements, to the implementation of public politics of planning and environmental management. This search presents an analysis of the environmental fragility of the watershed of Seridó River, situated between the states of Paraíba and Rio Grande do Norte (Brazil), including the identification of possible unstable areas. It is based on the methodological approach of Ecodynamics of the French researcher J. Tricart (1977) and on the operalisation proposal advocated by the Brazilian J. Ross (1994), related to the Potential and Emerging Ecodynamic Units, grounded in the Relief s Dissection Index or the topographic roughness, soil, rainfall and land use/vegetal cover. Under a quantitative perspective, the results obtained from the analysis of the watershed can be divided into classes of potential fragility: around 2.613,0 km² of low intensity, 5.188,4 km² of medium intensity and 2.585,5 km² of high intensity. Concerning the emerging fragility, the results are close to 2.212,0 km² of low intensity, 6.191,23 km² of medium intensity and 2.062,34 km² of high intensity. In the case of the watershed in question, the environmental degradation is particularly effective in the areas more dissected, where the ecological conditions, in synergy the environmental degradation, prevent the regeneration of vegetation when arises an opportunity for the (re)establishment of its equilibrium tenuous. The collected data is relevant for the territorial and environmental planning of the watershed, once we can still verify a close association of the cities on the central area of desertification with the areas of high environmental instability/fragility. This is an important tool to the understanding of the potential susceptibility of the natural and anthropic environments related to the advance and/or intensification of the erosion process, rock falls, mass movements, among other phenomena inside the potential unstable areas. From this perspective, the continuity of this research becomes extremely important to the understanding and arrangement of the process, together with the engendering and sustainability of the system in its totality; in narrow correlation because their potentialities, constraints and alternatives on Seridó River watershed, and in all the semi-arid region with similar characteristics

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.