Representações espectrais de sistemas complexos: aplicações à síntese de superfícies brownianas fracionárias anisotrópicas, filtragem de sinais e identificação de correlações

In this thesis, we study the application of spectral representations to the solution of problems in seismic exploration, the synthesis of fractal surfaces and the identification of correlations between one-dimensional signals. We apply a new approach, called Wavelet Coherency, to the study of stratigraphic correlation in well log signals, as an attempt to identify layers from the same geological formation, showing that the representation in wavelet space, with introduction of scale domain, can facilitate the process of comparing patterns in geophysical signals. We have introduced a new model for the generation of anisotropic fractional brownian surfaces based on curvelet transform, a new multiscale tool which can be seen as a generalization of the wavelet transform to include the direction component in multidimensional spaces. We have tested our model with a modified version of the Directional Average Method (DAM) to evaluate the anisotropy of fractional brownian surfaces. We also used the directional behavior of the curvelets to attack an important problem in seismic exploration: the atenuation of the ground roll, present in seismograms as a result of surface Rayleigh waves. The techniques employed are effective, leading to sparse representation of the signals, and, consequently, to good resolutions

Indicadores de cálcio e de voltagem codificados geneticamente na detecção de potenciais de ação e inputs sinápticos em cultura de neurônios hipocampais

Recently, genetically encoded optical indicators have emerged as noninvasive tools of high spatial and temporal resolution utilized to monitor the activity of individual neurons and specific neuronal populations. The increasing number of new optogenetic indicators, together with the absence of comparisons under identical conditions, has generated difficulty in choosing the most appropriate protein, depending on the experimental design. Therefore, the purpose of our study was to compare three recently developed reporter proteins: the calcium indicators GCaMP3 and R-GECO1, and the voltage indicator VSFP butterfly1.2. These probes were expressed in hippocampal neurons in culture, which were subjected to patchclamp recordings and optical imaging. The three groups (each one expressing a protein) exhibited similar values of membrane potential (in mV, GCaMP3: -56 ±8.0, R-GECO1: -57 ±2.5; VSFP: -60 ±3.9, p = 0.86); however, the group of neurons expressing VSFP showed a lower average of input resistance than the other groups (in Mohms, GCaMP3: 161 ±18.3; GECO1-R: 128 ±15.3; VSFP: 94 ±14.0, p = 0.02). Each neuron was submitted to current injections at different frequencies (10 Hz, 5 Hz, 3 Hz, 1.5 Hz, and 0.7 Hz) and their fluorescence responses were recorded in time. In our study, only 26.7% (4/15) of the neurons expressing VSFP showed detectable fluorescence signal in response to action potentials (APs). The average signal-to-noise ratio (SNR) obtained in response to five spikes (at 10 Hz) was small (1.3 ± 0.21), however the rapid kinetics of the VSFP allowed discrimination of APs as individual peaks, with detection of 53% of the evoked APs. Frequencies below 5 Hz and subthreshold signals were undetectable due to high noise. On the other hand, calcium indicators showed the greatest change in fluorescence following the same protocol (five APs at 10 Hz). Among the GCaMP3 expressing neurons, 80% (8/10) exhibited signal, with an average SNR value of 21 ±6.69 (soma), while for the R-GECO1 neurons, 50% (2/4) of the neurons had signal, with a mean SNR value of 52 ±19.7 (soma). For protocols at 10 Hz, 54% of the evoked APs were detected with GCaMP3 and 85% with R-GECO1. APs were detectable in all the analyzed frequencies and fluorescence signals were detected from subthreshold depolarizations as well. Because GCaMP3 is the most likely to yield fluorescence signal and with high SNR, some experiments were performed only with this probe. We demonstrate that GCaMP3 is effective in detecting synaptic inputs (involving Ca2+ influx), with high spatial and temporal resolution. Differences were also observed between the SNR values resulting from evoked APs, compared to spontaneous APs. In recordings of groups of cells, GCaMP3 showed clear discrimination between activated and silent cells, and reveals itself as a potential tool in studies of neuronal synchronization. Thus, our results indicate that the presently available calcium indicators allow detailed studies on neuronal communication, ranging from individual dendritic spines to the investigation of events of synchrony in neuronal networks genetically defined. In contrast, studies employing VSFPs represent a promising technology for monitoring neural activity and, although still to be improved, they may become more appropriate than calcium indicators, since neurons work on a time scale faster than events of calcium may foresee

Avaliação da resposta comportamental, morfofisiológica e produção de leite de cabras puras e mestiças da raça Saanen no semi-árido do Rio Grande do Norte

Goat breeding in the state of Rio Grande do Norte, Brazil has promising economic possibilities, with the proper handling of the natural resources. The introduction of specialized animals has been one of the ways used to improve herd genetics and increase productivity. However, climate has been one of the regional factors that most interferes with the adaptation of the new genetic prevalence resulting from the introduction of exotic breeds, because in their country of origin, the air temperature during most of the year is lower than the animals body temperature. With this in mind, the aim of this study was to characterize behavioral, physiological and morphological profiles and milk production of female Saanen goats belonging to different genetic groups raised in the semi-arid region of Rio Grande do Norte in Northeast Brazil. The study was conducted in the city of Lages (5° 42 00 S and 36° 14 41 W). We used 25 lactating female Saanen goats, distributed into 3 genetic groups: 5 purebred animals, 11 three-quarter bred and 9 half-bred. Behavioral observations were made over three consecutive days in the months of August and September, between 09:00 and 11:30h, when the animals were grazing. Physiological and meteorological data were recorded in the last three days of June, July, August and September at 05:00h and at 16:00h. In the semi-intensive breeding system, the animals from different genetic groups were similar in both field behavior and physiological response patterns. Although the purebred goats had longer hair, they did not show symptoms of thermal discomfort. Their white hair helped to reflect the short wavelength rays and thus eliminate those at the longer wave lengths. We concluded that the animals raised in the semi-intensive milk production system in this study seem to have adapted to the climatic conditions of the semi-arid region of Rio Grande do Norte, Brazil

Expressão de zif-268 durante a aquisição, evocação e extinção de uma memória aversiva

In the behavioral paradigm of discriminative avoidance task, both short and long-term memories have been extensively investigated with behavioral and pharmacological approaches. The aim of the present study was to evaluate, using the abovementioned model, the hippocampal expression of zif-268 - a calcium-dependent immediate early gene involved with synaptic plasticity process - throughout several steps of memory formation, such as acquisition, evocation and extiction. The behavioral apparatus consisted of a modified elevaated plus-maze, with their enclosed arms disposed in "L". A pre-exposure to the maze was made with the animal using all arms enclosed, for 30 minutes, followed by training and test, during 10 minutes each. The between sections interval was 24h. During training, aversive stimuli (bright light and loud noise) were actived whenever the animals entered one of the enclosed armas (aversive arm). Memory acquisiton, retention and extinction were evaluated by the percentage of the total time spent exploring the aversive arm. The parameters evaluated (time spent in the arms and total distance traveled) were estimated with an animal tracking software (Anymaze, Stoelting, USA). Learning during training was estimated by the decrease of the time spent exploring the aversive arm. One hour after the beginning of each section, animals were anaesthetized with sodium-thiopental (i.p.) and perfused with 0.9% heparinized saline solution followed by 4% paraformaldehyde. Brains were cryoprotected with 20% sucrose, separeted in three blocks and frozen. The middle block, containing the hippocampus, was sectioned at 20 micro meters in the coronal plane and the resutant sections were submitted to zif-268 immunohistochemistry. Our results show an increased expression of zif-268 in the dentate gyrus (DG) during the evocation and extinction stages. There is a distinct participation of the DG during the memory evocation, but not during its acquisition. Inaddition, all hippocampal regions (CA1, CA3 and DG) presented an increased zif-268 expression during the process of extinction.

Síntese e caracterização de materiais nanoporosos para pirólise catalítica de óleos pesados

The present work reports the study of nanoporous structures, aiming at their use in research directed to the current demand of the petroleum industry to value heavy oil. Initially, two ways were chosen for the synthesis of porous structures from the molecular sieves of type Si-MCM-41. In the first way, the structure MCM-41 is precursory for heteroatom substitutes of silicon, generating catalyst of the type Al-MCM-41 from two different methods of incorporation of the metal. This variation of the incorporation method of Aluminum in the structure of Si-MCM-41 was carried out through the conventional procedure, where the aluminum source was incorporated to the gel of synthesis, and the procedure post-synthesis, where the Aluminum source was incorporated in catalyst after the synthesis of Si-MCM-41. In the second way, the MCM-41 acts as a support for growth of nanocrystals of zeolite embedded in their mesoporous, resulting in hybrid MCM-41/ZSM-5 catalyst. A comparative analysis was carried through characterizations by XRD, FTIR, measures of acidity through n-butylamine adsorption for TGA, SEM-XRF and N2 adsorption. Also crystalline aluminosilicate with zeolitic structure MFI of type ZSM-5 was synthesized without using organic templates. Methodologies to the preparation of these materials are related by literature using conventionally reactants that supply oxides of necessary silicon and aluminum, as well as a template agent, and in some cases co-template. The search for new routes of preparation for the ZSM-5 aimed at, above all, the optimization of the same as for the time and the temperature of synthesis, and mainly the elimination of the use of organic templates, that are material of high cost and generally very toxic. The current study is based on the use of the H2O and Na+ cations playing the role of structural template and charge compensation in the structure. Characterizations by XRD, FTIR, SEM-XRF and N2 adsorption were also conducted for this material in order to compare the samples of ZSM-5 synthesized in the absence of template and those used industrially and synthesized using structuring

Aplicação da tecnologia eletroquímica como alternativa para a remoção de corante têxteis em efluentes sintéticos e reais utilizando anodos de platina e diamante

In this work, electrochemical technology was used to treat synthetic wastewater containing Methyl Red (MR) and Blue Novacron (BN) by anodic oxidation using anodes platinum (Pt) and real samples of textile effluents using DDB anodes and platinum (Pt). The removal of color from the galvanostatic electrolysis of synthetic wastewater MR and BN, and the actual sample has been observed under different conditions (different current densities and temperature variation). The investigation of these parameters was performed in order to establish the best conditions for removal of color and chemical oxygen demand (BOD). According to the results obtained in this study, the electrochemical oxidation processes suitable for the degradation process of color and COD in wastewater containing such textile dyes, because the electrocatalytic properties of Pt and BDD anodes consumption energy during the electrochemical oxidation of synthetic solutions AN and MR and real sample, mainly depend on the operating parameters of operation, for example, the synthetic sample of MR, energy consumption rose from 42,00kWhm-3 in 40 mAcm-2 and 25 C to 17,50 kWhm-3 in 40mAcm-2 and 40 C, from the BN went 17,83 kWhm-3 in 40mAcm and 40°C to 14,04 kWhm- 3 in 40mAcm-2 and 40 C (data estimated by the volume of treated effluent). These results clearly indicate the applicability of electrochemical treatment for removing dyes from synthetic solutions and real industrial effluents

Determinação do teor de cálcio através da termogravimetria, em medicamentos utilizados no tratamento da osteoporose: um estudo comparativo

The present study utilized the thermogravimetry (TG) and optical emission spectroscopy with inductively coupled plasma - ICP / OES to determine the calcium content in tablets of carbonate, citrate and calcium lactate used in the treatment of osteoporosis. The samples were characterized by IR, SEM, TG / DTG, DTA, DSC and XRD. The thermal analysis evaluated the thermal stability and physical-chemical events and showed that the excipients influence the decomposition of active ingredients. The results of thermogravimetry indicated that the decomposition temperature of the active CaCO3 (T = 630.2 °C) is lower compared to that obtained in samples of the tablets (633.4 to 655.2 °C) except for sample AM 2 (Ti = 613.8 oC). In 500.0 °C in the samples of citrate and calcium lactate, as well as their respective active principles had already been formed calcium carbonate. The use of N2 atmosphere resulted in shifting the initial and final temperature related to the decomposition of CaCO3. In the DTA and DSC curves were observed endo and exothermic events for the samples of tablets and active ingredients studied. The infrared spectra identified the main functional groups in all samples of active ingredients, excipients and tablets studied, such as symmetric and asymmetric stretches of the groups OH, CH, C = O. Analysis by X-ray diffraction showed that all samples are crystalline and that the final residue showed peaks indicative of the presence of calcium hydroxide by the reaction of calcium oxide with moisture of the air. Although the samples AM 1, AM 2, AM 3 and AM 6 in their formulations have TiO2 and SiO2 peaks were not observed in X-ray diffractograms of these compounds. The results obtained by TGA to determine the calcium content of the drugs studied were satisfactory when compared with those obtained by ICP-OES. In the AM 1 tablet was obtained the content of 35.37% and 32.62% for TG by ICP-OES, at 6 AM a percentage of 17.77% and 16.82% and for AM 7 results obtained were 8.93% for both techniques, showing that the thermogravimetry can be used to determine the percentage of calcium in tablets. The technique offers speed, economy in the use of samples and procedures eliminating the use of acid reagents in the process of the sample and efficiency results.

Conciliação entre modelos de mecanismos avançados de oxidação eletroquímica

Many pollutants dumped in waterways, such as dyes and pesticides, have become so ubiquitous that they represent a serious threat to human health. The electrochemical oxidation is presented as an alternative clean, efficient and economic degradation of wastewater containing organic compounds and a number of advantages of this technique is to just not make use of chemical reagents, since only electrical energy is consumed during the removal of pollutants organic. However, despite being a promising alternative, still needs some tweaking in order to obtain better efficiency in the elimination of persistent pollutants. Thus, this study sought a relationship between a recently discovered phenomenon that reflects the participation of dissolved oxygen in solution in the electrochemical oxidation process, as an anomaly, present a kinetic model that shows instantaneous current efficiency (ICE) above 100% limited by theory, manifested for some experiments with phenolic compounds with H2SO4 or HClO4 as supporting electrolyte with electrodes under anodic oxidation on boron doped diamond (BDD). Therefore it was necessary to reproduce the data ICE exposes the fault model, and thus the 2-naphthol was used as phenolic compound to be oxidised at concentrations of 9, 12 and 15 mmol L-1, and H2SO4 and HClO4 to 1 mol L-1 as a supporting electrolyte under a current density of 30 mA cm-2 in an electrochemical reactor for continuous flow disk configuration, and equipped with anodes DDB at room temperature (25 oC). Experiments were performed using N2 like as purge gas for eliminate oxygen dissolved in solution so that its influence in the system was studied. After exposure of the anomaly of the ICE model and investigation of its relationship with dissolved O2, the data could be treated, making it possible for confirmation. But not only that, the data obtained from eletranálise and spectroscopic analysis suggest the involvement of other strongly oxidizing species (O3 (ozone) and O radicals and O2 -), since the dissolved O2 can be consumed during the formation of new strong oxidizing species, not considered until now, something that needs to be investigated by more accurate methods that we may know a little more of this system. Currently the performance of the electrocatalytic process is established by a complex interaction between different parameters that can be optimized, so it is necessary to the implementation of theoretical models, which are the conceptual lens with which researchers see

Aplicação da técnica eletroanalítica de pulso diferencial usando o eletrodo de carbono vítreo modificado com cisteína para monitorar a degradação eletroquímica de ácido oxálico

In this paper, the technique of differential pulse voltammetry (DPV) has been studied for monitoring the concentration of oxalic acid (OA) during their electrochemical oxidation (EO) in acidic medium using platinum anode supported on titanium (Ti / Pt). The DPV was standardized and optimized using a glassy carbon electrode modified with cysteine. The modification with cysteine was developed electrochemically, forming a polymeric film on the surface of the glassy carbon electrode. The formation of the polymer film was confirmed by analysis of scanning electron microscope and atomic force microscope, confirming the modification of the electrode. The electrochemical degradation was developed using different current densities 10, 20 30 and 40 mA cm -2 electrode with Ti / Pt observing the degradation of oxalic acid, and monitored using the method of KMnO4 titration. However, the analyzes with DPV showed the same behavior elimination of oxalic acid titration. Compared with the titration method classical observed and DPV could be a good fit, confidence limits of detection and confirming the applicability of the technique electroanalytical for monitoring the degradation of oxalic acid

Caracterização e aplicação de vermicultura natural e quimicamente modificada na adsorção de azul de metileno

Chemical modification of clays has been extremely studied in the search for improvements of their properties for use in various areas, such as in combating pollution by industrial effluents and dyes. In this work, the vermiculite was chemically modified in two ways, characterized and evaluated the adsorption of methylene blue dye. First was changed with the addition of a surfactant (hexadecyltrimethylammonium bromide, BHTA) making it an organophilic clay and then by adding an acid (HCl) by acid activation. Some analyzes were performed as X-ray fluorescence (FRX), X-ray diffraction (DRX), adsorption isotherms of methylene blue dye, infrared (FTIR) , scanning electron microscopy (SEM), thermal gravimetric analysis and spectroscopy energy dispersive (EDS). Analysis by FRX of natural vermiculite indicates that addition of silicon and aluminum, clay presents in its structure the magnesium, calcium and potassium with 16 % organic matter cations. The DRX analyzes indicated that the organic vermiculite was an insertion of the surfactant in the space between the lamellae, vermiculite and acid partial destruction of the structure with loss of crystallinity. The adsorption isotherms of methylene blue showed that there was a significant improvement in the removal of dye to the vermiculite with the addition of cationic surfactant hexadecyltrimethylammonium bromide and treatment with acid using HCl 2 mol/L. In acid vermiculites subsequently treated with surfactant, the adsorption capacity increased with respect to natural vermiculite, however was much lower compared vermiculite modified with acid and surfactant separately. Only the acidic vermiculite treated with surfactant adjusted to the Langmuir model. As in the infrared spectrometry proved the characteristics of natural vermiculite. In the organic vermiculite was observed the appearance of characteristic bands of CH3, CH2, and (CH3)4N. Already on acid vermiculite, it was realized a partial destruction with decreasing intensity of the characteristic band of vermiculite that is between 1074 and 952 cm-1. In the SEM analysis, it was observed that there was partial destruction to the acid treatment and a cluster is noted between the blades caused by the presence of the surfactant. The TG shows that the higher mass loss occurs at the beginning of the heating caused by the elimination of water absorbed on the surface between layers. In the organic vermiculite also observed a loss of mass between 150 and 300 °C caused decomposition of the alkylammonium molecules (surfactants)

Melhorando a estimação de pose com o RANSAC preemptivo generalizado e múltiplos geradores de hipóteses

The camera motion estimation represents one of the fundamental problems in Computer Vision and it may be solved by several methods. Preemptive RANSAC is one of them, which in spite of its robustness and speed possesses a lack of flexibility related to the requirements of applications and hardware platforms using it. In this work, we propose an improvement to the structure of Preemptive RANSAC in order to overcome such limitations and make it feasible to execute on devices with heterogeneous resources (specially low budget systems) under tighter time and accuracy constraints. We derived a function called BRUMA from Preemptive RANSAC, which is able to generalize several preemption schemes, allowing previously fixed parameters (block size and elimination factor) to be changed according the applications constraints. We also propose the Generalized Preemptive RANSAC method, which allows to determine the maximum number of hipotheses an algorithm may generate. The experiments performed show the superiority of our method in the expected scenarios. Moreover, additional experiments show that the multimethod hypotheses generation achieved more robust results related to the variability in the set of evaluated motion directions

Avaliação de impacto ambiental e gestão dos recursos natuarias no estuário Apodi Mossoró, nordeste do Brasil

The aim of this study is to investigate the eco-environmental vulnerability, its changes, and its causes to develop a management system for application of eco-environmental vulnerability and risk assessment in the Apodi-Mossory estuary, Northeast Brazil. This analysis is focused on the interference of the landscape conditions, and its changes, due to the following factors: the oil and natural gas industry, tropical fruits industry, shrimp farms, marine salt industry, occupation of the sensitive areas; demand for land, vegetation degradation, siltation in rivers, severe flooding, sea level rise (SLR), coastal dynamics, low and flat topography, high ecological value and tourism in the region and the rapid growth of urbanization. Conventional and remote sensing data were analyzed using modeling techniques based on ArcGIS, ER-Mapper, ERDAS Imagine and ENVI software. Digital images were initially processed by Principal Component Analysis and transformation of the maximum fraction of noise, and then all bands were normalized to reduce errors caused by bands of different sizes. They were integrated in a Geographic Information System analysis to detect changes, to generate digital elevation models, geomorphic indices and other variables of the study area. A three band color combination of multispectral bands was used to monitor changes of land and vegetation cover from 1986 to 2009. This task also included the analysis of various secondary data, such as field data, socioeconomic data, environmental data and prospects growth. The main objective of this study was to improve our understanding of eco-environmental vulnerability and risk assessment; it´s causes basically show the intensity, its distribution and human-environment effect on the ecosystem, and identify the high and low sensitive areas and area of inundation due to future SLR, and the loss of land due to coastal erosion in the Apodi-Mossoró estuary in order to establish a strategy for sustainable land use. The developed model includes some basic factors such as geology, geomorphology, soils, land use / land cover, vegetation cover, slope, topography and hydrology. The numerical results indicate that 9.86% of total study area was under very high vulnerability, 29.12% high vulnerability, 52.90% moderate vulnerability and 2.23% were in the category of very low vulnerability. The analysis indicates that 216.1 km² and 362.8 km² area flooded on 1m and 10m in sea levels respectively. The sectors most affected were residential, industrial and recreational areas, agricultural land, and ecosystems of high environmental sensitivity. The results showed that changes in eco-environmental vulnerability have a significant impact on the sustainable development of the RN state, since the indicator is a function of sensitivity, exposure and status in relation to a level of damage. The model were presented as a tool to assist in indexing vulnerability in order to optimize actions and assess the implications of decisions makers and policies regarding the management of coastal and estuarine areas. In this context aspects such as population growth, degradation of vegetation, land use / land cover, amount and type of industrialization, SLR and government policies for environmental protection were considered the main factors that affect the eco-environmental changes over the last three decades in the Apodi-Mossoró estuary.

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

Síntese e caracterização de pós Ba(x)Sr(1-x)Co0,8Fe0,2O3- através do método de coprecipitação via oxalato

Ceramic powders based on oxides of perovskite-type structure is of fundamental interest nowadays, since they have important ionic-electronic conductivity in the use of materials with technological applications such as gas sensors, oxygen permeation membranes, catalysts and electrolytes for solid oxide fuel cells (SOFC). The main objective of the project is to develop nanostructured ceramic compounds quaternary-based oxide Barium (Br), Strontium (Sr), Cobalt (Co) and Iron (Fe). In this project were synthesized compounds BaxSr(1-x)Co0, 8Fe0,2O3- (x = 0.2, 0.5 and 0.8) through the oxalate co-precipitation method. The synthesized powders were characterized by thermogravimetric analysis and differential thermal analysis (TGADTA), X-ray diffraction (XRD) with the Rietveld refinement using the software MAUD and scanning electron microscopy (SEM). The results showed that the synthesis technique used was suitable for production of nanostructured ceramic solid solutions. The powders obtained had a crystalline phase with perovskite-type structure. The TGA-DTA results showed that the homogeneous phase of interest was obtained temperature above 1034°C. It was also observed that the heating rate of the calcination process did not affect the elimination of impurities present in the ceramic powder. The variation in the addition of barium dopant promoted changes in the average crystallite size in the nanometer range, the composition being BSCF(5582) obtained the lowest value (179.0nm). The results obtained by oxalate co-precipitation method were compared with those synthesis methods in solid state and EDTA-citrate method

Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)

Este trabalho apresenta uma técnica de verificação formal de Sistemas de Raciocínio Procedural, PRS (Procedural Reasoning System), uma linguagem de programação que utiliza a abordagem do raciocínio procedural. Esta técnica baseia-se na utilização de regras de conversão entre programas PRS e Redes de Petri Coloridas (RPC). Para isso, são apresentadas regras de conversão de um sub-conjunto bem expressivo da maioria da sintaxe utilizada na linguagem PRS para RPC. A fim de proceder fia verificação formal do programa PRS especificado, uma vez que se disponha da rede de Petri equivalente ao programa PRS, utilizamos o formalismo das RPCs (verificação das propriedades estruturais e comportamentais) para analisarmos formalmente o programa PRS equivalente. Utilizamos uma ferramenta computacional disponível para desenhar, simular e analisar as redes de Petri coloridas geradas. Uma vez que disponhamos das regras de conversão PRS-RPC, podemos ser levados a querer fazer esta conversão de maneira estritamente manual. No entanto, a probabilidade de introdução de erros na conversão é grande, fazendo com que o esforço necessário para garantirmos a corretude da conversão manual seja da mesma ordem de grandeza que a eliminação de eventuais erros diretamente no programa PRS original. Assim, a conversão automatizada é de suma importância para evitar que a conversão manual nos leve a erros indesejáveis, podendo invalidar todo o processo de conversão. A principal contribuição deste trabalho de pesquisa diz respeito ao desenvolvimento de uma técnica de verificação formal automatizada que consiste basicamente em duas etapas distintas, embora inter-relacionadas. A primeira fase diz respeito fias regras de conversão de PRS para RPC. A segunda fase é concernente ao desenvolvimento de um conversor para fazer a transformação de maneira automatizada dos programas PRS para as RPCs. A conversão automática é possível, porque todas as regras de conversão apresentadas seguem leis de formação genéricas, passíveis de serem incluídas em algoritmos