A região semiárida brasileira.

O Semiárido brasileiro ocupa uma área de 969.589 km2 e inclui os Estados do Ceará, Rio Grande do Norte, a maior parte da Paraíba e Pernambuco, Sudeste do Piauí, Oeste de Alagoas e Sergipe, região central da Bahia e uma faixa que se estende em Minas Gerais, seguindo o Rio São Francisco, juntamente com um enclave no vale seco da região média do rio Jequitinhonha. Clima. Solos e Vegetação e aspectos socieconômicos

Integrated Reasoning and Proof Choice Point Selection in the Jahob System – Mechanisms for Program Survival

In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, and verification system. In contrast to many such systems, which use a monolithic reasoning approach, Jahob provides a general integrated reasoning framework, which enables multiple automated reasoning systems to work together to prove the desired program correctness properties. We have used Jahob to prove the full functional correctness of a collection of linked data structure implementations. The automated reasoning systems are able to automatically perform the vast majority of the reasoning steps required for this verification. But there are some complex verification conditions that they fail to prove. We have therefore developed a proof language, integrated into the underlying imperative Java programming language, that developers can use to control key choice points in the proof search space. Once the developer has resolved these choice points, the automated reasoning systems are able to complete the verification. This approach appropriately leverages both the developer’s insight into the high-level structure of the proof and the ability of the automated reasoning systems to perform the mechanical steps required to prove the verification conditions. Building on Jahob’s success with this challenging program verification problem, we contemplate the possibility of verifying the complete absence of fatal errors in large software systems. We envision combining simple techniques that analyze the vast majority of the program with heavyweight techniques that analyze those more sophisticated parts of the program that may require arbitrarily sophisticated reasoning. Modularity mechanisms such as abstract data types enable the sound division of the program for this purpose. The goal is not a completely correct program, but a program that can survive any remaining errors to continue to provide acceptable service

Caracterização de solos sob cultivo de videira na região do Submédio São Francisco: morfologia e física.

O presente trabalho tem como objetivo caracterizar as propriedades morfológicas e físicas, de solos sob cultivo de uva para vinho e sob vegetação nativa de caatinga, visando fornecer subsídios a exploração agrícola sustentável destes

Qualidade industrial da população de terras altas Primavera x Douradão em Porangatu.

O objetivo deste trabalho foi avaliar a qualidade industrial de famílias provenientes do cruzamento entre as cultivares de arroz de terras altas BRS Primavera e Douradão, conduzido em Porangatu ? GO, em delineamento látice 12 x 19 (repetições) sob irrigação em 2011.Pôster - graduação

Adsorption of yellow lanasol 4g reactive dye in a simulated textile effluent on gallinaceous feathers

Adsorption is one of the most efficient physicochemical processes known to remove colour in textile industry effluents. Activated charcoal is conventionally the most used material for this purpose and although its efficiency is very high also is its price. The aim of this study was to know the variables that influence the adsorption process of wool reactive dye Yellow Lanasol 4G in a simulated textile effluent, on an inexpensive and abundant material, gallinaceous feathers, so as to optimize the operating conditions. Factorial experimentation within a certain domain was used to determine the influence level of several parameters, such as, temperature, initial pH of the solution, "size" and adsorbent's concentration and their interactions. A statistical analysis of the results showed that within the selected domain all the parameters have influence at a significance level of 1% excepting initial pH that only has influence at a significance level of 5%. Some of the possible interactions between these parameters also have significant influence on the adsorption process specially first order ones, including significance levels of 5 and 1%. In industrial practice it will be possible to take advantage of the prominent effect of a temperature increase on adsorption capacity as effluents of wool dyeing baths are already at an elevated temperature. Besides that as the influence of "granulometry" becomes rather smaller for higher temperatures there will be no need to grind the adsorbent. This means then that optimization of operating conditions in industrial wastewaters treatment using the studied adsorption technique will not imply additional costs except those concerning pH adjustment. This emphasizes the importance of gallinaceous feathers as an alternative to activated carbon.(undefined