As ligas de cobre têm grande importância na fabricação de produtos metálicos que necessitam de boa resistência à corrosão e/ou alta condutividade térmica e elétrica. A sua estrutura de grãos bruta de solidificação define diversas propriedades requeridas em serviço/processamento e o refino desta estrutura pode ser realizado a partir da inoculação do banho metálico antes do início da solidificação, aumentando o número de núcleos sólidos formados. A inoculação e os mecanismos de refino de grão em ligas de cobre foram pouco investigados e não são entendidos suficientemente para permitir o projeto de inoculantes. O presente trabalho tem como principal objetivo identificar os mecanismos fundamentais de inoculação e refino de grão das ligas do sistema Cu-Sn a partir de adições de Zr aos banhos líquidos antes da solidificação. Amostras cilíndricas foram produzidas a partir da solidificação das ligas a uma taxa de resfriamento de ~ 0,8 ?C/s. Estas amostras foram analisadas por diferentes técnicas: (a) observação da macroestrutura de grãos; (b) análise térmica das curvas de resfriamento obtidas durante a solidificação; (c) análise química; (d) exame da microestrutura em microscopia óptica, microscopia eletrônica de varredura (MEV) com emissão de campo (FEG), microscopia eletrônica de transmissão (MET) com e sem o feixe de íons (FIB) e (e) microanálise por espectroscopia de energia dispersiva (EDS). Observa-se que adições de Zr na faixa de 0,04 a 0,4% a banhos da liga Cu-8%Sn com cobertura de pó de grafita reduzem o tamanho médio de grão em até 90%, mas não causam efeito significativo sem a cobertura de grafita. Este efeito da diminuição do tamanho de grão com a adição de Zr torna-se significativo somente para teores de Sn >=4%. Esta redução de tamanho médio de grão é acompanhada do aparecimento de partículas facetadas na microestrutura, identificadas como ZrC a partir de padrões de difração de elétrons e microanálises EDS. Uma análise teórica mostra desajustes entre os reticulados do ZrC e do Cu? tão pequenos quanto 1,9%, indicando que estas partículas podem funcionar como centros efetivos para a nucleação heterogênea e causar o refino de grão em ligas de Cu. Parâmetros extraídos da recalescência das curvas de resfriamento, como a diferença entre as temperaturas mínima e máxima da recalescência, apresentaram boa correlação com o tamanho médio de grão final, indicando a possibilidade do controle do tamanho de grão em ligas Cu-Sn com adições de Zr a partir da análise térmica. / Copper alloys are important to the production of metallic parts with good corrosion resistance and high thermal and electrical conductivity. The as-cast grain structures of these alloys are closely related to the properties required in service or during processing. The refining of the grain structure can be achieved by inoculation of the metallic melt, before the beginning of solidification, increasing the number of solid nuclei. The inoculantion and grain refining of copper alloys have been poorly investigated and are not sufficiently understood to enable the design of inoculants. The objective of the present work is to identify the fundamental mechanisms underlying the inoculation and grain refining of Cu-Sn alloys by additions of Zr to the melt prior to solidification. Cylindrical samples of these alloys were cast at a cooling rate of ~0,8 ?C/s. These samples were analyzed using different techniques: (a) observation of the grain macrostructure; (b) thermal analysis of the cooling curves collected during solidification; (c) chemical analysis; (d) observation of the microstructure in the optical microscope, scanning electron microscope (SEM) with field emission gun (FEG), trasmission electron microscope (TEM) with and without the focused ion beam (FIB) for sample preparation and (e) energy dispersive spectroscopy (EDS) microanalysis. The results show that additions of Zr in the range between 0,04 and 0,4% to melts of a Cu-8%Sn alloy with a graphite powder cover decrease the average grain size by up to 90%, but have no effect without the graphite cover. The decrease in grain size obtained with Zr additions become significant only for alloys with %Sn >==4 and is followed by the appearance of faceted particles in the microstructure, identified as ZrC after examining electron difraction patterns and EDS microanalyses of the particles.

Dois métodos distintos são descritos e implementados. O primeiro método, proposto por Ruppert, possui garantias teóricas de qualidade quando a fronteira do domínio obedece certas restrições. O segundo método, proposto por Persson, possibilita um maior controle na densidade dos elementos que discretizam o domínio. As vantagens, desvantagens e particularidades de cada um dos métodos são descritas e detalhadas / Two distinct methods are described and implemented. The first method, proposed by Ruppert, has theoretical guarantees on the quality of elements when the domain boundaries respect certain restrictions. The second method, proposed by Persson, makes it possible to have greater control over the density of the elements that make up the domain. The advantages, disadvantages and specific points about each method are described and detailed

The thesis contains three chapters on environmental and natural resource economics and focuses on situations where agents receive private or public information. The first chapter analyses the problem of transboundary fisheries, where harvesting countries behave non-cooperatively. In addition to biological uncertainty, countries may face strategic uncertainty. A country that receives negative assessments about the current level of the fish stock, may become “pessimistic” about the assessment of the other harvesting country, which can ignite “panic-based” overfishing. In such a coordination problem, multiplicity of equilibria is a generic characteristic of the solution. Both strategic uncertainty and equilibrium selection, relatively, have been given less attention in the theoretical literature of common-property natural resources. In this model, in the limit as the harvesting countries observe more and more precise information, rationality ensures the unique “global game” equilibrium, a la Carlsson and van Damme (1993). The improved predictive power of the model helps a potential intergovernmental manager of the stock understand the threshold behaviour of harvesting countries. The global game threshold coincides with the risk-dominance threshold of a precise information model, as if there was no strategic uncertainty, and implies that the countries select the corresponding risk-dominant action for any level of assessment of the stock. Gaining from the risk-dominance equivalence, I derive policy suggestions for the overfishing cost and the property rights in common-property fisheries. The second chapter develops a theoretical framework to examine the role of public information in dynamic self-enforcing international environmental agreements (IEAs) on climate change. The countries choose self-enforcing emission abatement strategies in an infinite-horizon repeated game. In a stochastic model, where the social cost of greenhouse gasses (GHG) is a random variable, a central authority, as an information sender, can control release of information about the unknown state to the countries. In the literature on stochastic IEAs, it is shown that comparison of different scenarios of learning by the countries, depends on ex-ante difference of true social cost of GHG from the prior belief of countries. Here, I try to understand, in a signalling game between the informed sender and the countries, whether the no-learning or imperfect-learning scenarios, can be an equilibrium outcome. It is shown that the equilibrium strategy of the sender, who is constrained to a specific randomisation device and tries to induce an incentive-compatible abatement level which is Pareto superior, leads to full learning of social cost of GHG of symmetric and asymmetric countries. Finally, in the third chapter, I again examine a setting, where a central authority, as an information sender, conducts research on the true social cost of climate change, and releases information to the countries. However, in this chapter, instead of restricting the sender to a specific signalling structure, the sender, who has commitment power, by designing an information mechanism (a set of signals and a probability distribution over them), maximises his payoff, which depends on the mitigation action of countries and the social cost of green-house gases(GHG). The countries, given the information policy (the probability distribution over signals) and the public signal, update their beliefs about the social cost of GHG and take a mitigation action. I derive the optimal information mechanism from the general set of public information mechanisms, in coalition formation games. I show that the coalition size, as a function of beliefs, is an endogenous variable, induced by the information sender. If the sender maximises the expected payoff of either of non-signatories or signatories of the climate treaty, then full revelation is the optimal information policy, while if the sender attempts to reduce the global level of GHG, then optimal information policy leads to imperfect disclosure of the social cost. Furthermore, given any of the specifications of the sender’s payoff, the optimal information policy leads to the socially optimal mitigation and membership outcomes.

Vários compostos de fórmula AMO3 (A = Sr, Ca, Ba; M = Ru, Ti, Hf), com estrutura de perovskita foram sintetizados. Realizou-se uma análise estrutural dos compostos, usando difração de raios X, de fonte convencional e síncrotron, e difração de nêutrons em material policristalino. Para esta análise usaram-se dois dos programas mais reconhecidos internacionalmente para o método de Rietveld: DBWS e GSAS. Todas as estruturas analisadas foram classificadas segundo o sistema de inclinação dos octaedros de Glazer e representadas graficamente com o programa Atoms. A estrutura do SrHfO3 foi determinada por difração de nêutrons e raios X em material policristalino. Foi estudada a dependência da estrutura desses compostos com a temperatura e, com a composição, no caso das soluções sólidas SrTi1-xRuxO3 (O≤ x≤1). Duas transições estruturais de fase com a temperatura foram encontradas nos compostos SrRuO3 e SrHfO3. Nas soluções sólidas SrTi1-xRuO3 foi estudada a correlação da estrutura com as propriedades elétricas e com a estrutura eletrônica / Several compounds whose general formula was AMO3 (A = Sr, Ca, Ba; M = Ru, Ti, Hf) and which present the perovskite structure were synthesized. A structural analysis of the compounds by conventional and synchrotron X ray and neutron powder diffraction was performed. For this study was used the internationally accepted software for Rietveld analysis DBWS and GSAS. A11 of the structures analyzed were classified according to the octahedral tilt classification system of Glazer and represented with the program Atoms. The structure of SrHfO3 was determined by neutron and X ray powder diffraction. The dependence of the structure of severa1 compounds with temperature was studied. Two different structural phase transitions were found in the compounds SrRuO3 and SrHfO3. In the case of the solid solutions SrTi1-xRuxO3 (O≤ x ≤1) the dependence of the structure with the composition and the correlation with electric properties and the electronic structure was studied

We present a novel dimensionally split Cartesian cut cell method to compute inviscid, viscous and turbulent flows around rigid geometries. On a cut cell mesh, the existence of arbitrarily small boundary cells severely restricts the stable time step for an explicit numerical scheme. We solve this `small cell problem' when computing solutions for hyperbolic conservation laws by combining wave speed and geometric information to develop a novel stabilised cut cell flux. The convergence and stability of the developed technique are proved for the one-dimensional linear advection equation, while its multi-dimensional numerical performance is investigated through the computation of solutions to a number of test problems for the linear advection and Euler equations. This work was recently published in the Journal of Computational Physics (Gokhale et al., 2018). Subsequently, we develop the method further to be able to compute solutions for the compressible Navier-Stokes equations. The method is globally second order accurate in the L1 norm, fully conservative, and allows the use of time steps determined by the regular grid spacing. We provide a full description of the three-dimensional implementation of the method and evaluate its numerical performance by computing solutions to a wide range of test problems ranging from the nearly incompressible to the highly compressible flow regimes. This work was recently published in the Journal of Computational Physics (Gokhale et al., 2018). It is the first presentation of a dimensionally split cut cell method for the compressible Navier-Stokes equations in the literature. Finally, we also present an extension of the cut cell method to solve high Reynolds number turbulent automotive flows using a wall-modelled Large Eddy Simulation (WMLES) approach. A full description is provided of the coupling between the (implicit) LES solution and an equilibrium wall function on the cut cell mesh. The combined methodology is used to compute results for the turbulent flow over a square cylinder, and for flow over the SAE Notchback and DrivAer reference automotive geometries. We intend to publish the promising results as part of a future publication, which would be the first assessment of a WMLES Cartesian cut cell approach for computing automotive flows to be presented in the literature.

As propriedades mecânicas, de corrosão e a condutividade térmica e elétrica, aliadas à relativa facilidade de fundir atribuem grande relevância ao cobre e suas ligas. Algumas destas propriedades podem ser significativamente melhoradas com a diminuição do tamanho de grão da estrutura bruta de solidificação a partir do tratamento de inoculação do banho líquido. Este tratamento aumenta o número de núcleos sólidos, diminuindo assim o tamanho médio de grão. Neste trabalho, foi realizado um estudo do refino de grão da estrutura bruta de solidificação a partir da inoculação com adições de C, P e Zr a ligas do sistema Cu-Zn com teores de até 30% de Zn. Três séries de experimentos principais foram realizadas. Na primeira, o teor de Zr na liga Cu- 30%Zn foi gradativamente aumentado até 0,4% para mostrar o efeito do Zr. Na segunda, o teor de Zr foi mantido constante em 0,08%, enquanto o teor de Zn foi elevado gradativamente até 30% para mostrar o efeito do Zn. Na terceira foram testadas adições isoladas e conjuntas de C, P e Zr para verificar o efeito de cada elemento no refinamento de grãos. As amostras foram caracterizadas e analisadas por diferentes técnicas: (a) observação da macroestrutura de grãos; (b) análise química; (c) análise térmica; (d) microscopia óptica; (e) microscopia eletrônica de varredura; (f) microanálise EDS; g) microanálise WDS e h) difração de raios X. Os resultados mostram que o tamanho médio de grão diminui significativamente nas ligas do sistema Cu-Zn (6% <= Zn <= 30%) quando Zr e P são adicionados simultaneamente. Isoladamente, estes elementos quando adicionados, não reduzem significativamente o tamanho de grão. Nota-se também que o tamanho de grão é cada vez menor à medida que o teor de Zn aumenta de 0 a 30% com a adição de 0,08%Zr, porém não se observa uma correlação entre tamanho de grão e teor de Zn quando Zr não é adicionado. Uma análise da microestrutura dos lingotes utilizando as técnicas mencionadas mostra que a diminuição do tamanho médio de grão a partir de adições de Zr e P coincide com o aparecimento de precipitados facetados ricos em Zr e P. Esta análise indica que um possível mecanismo de inoculação dos latões é a nucleação heterogênea da fase sólida Cu-µ, com estrutura cristalina cúbica de faces centradas, sobre partículas sólidas de ZrP, com estrutura hexagonal compacta, formadas no banho líquido após as adições de Zr e P. / Good mechanical and corrosion properties, large thermal and electrical conductivities, as well as relatively large castability are characteristics that contribute to the importance of copper and copper alloys. Some of these properties are enhanced when the average grain size of the as-cast structure decreases by inoculation of the melt. The inoculation treatment increases the number of solid nuclei, causing a reduction in the average grain size. In the present work, an investigation of the grain refinement by inoculation with Zr and P additions to Cu-Zn melts with contents of Zn up to 30%(mass) was carried out. Three series of experiments were conducted. In one the Zr content of the Cu-30%Zn alloy was gradually increased up to 0.4% to reveal the effects of Zr, while in the second series, the concentration of Zr was constant, equal to 0.08%, but the Zn content was gradually increased to 30% to show the effect of Zn. The third one was to test separate and conjunct addition of C, P and Zr in order to understand each elements effect on grain refinement. The resulting samples were characterized and analyzed by several techniques: (a) visual observation of the grain macrostructure; (b) chemical analysis; (c) thermal analysis; (d) optical microscopy; (e) scanning electron microscopy; (f) EDS microanalysis; (g) WDS microanalysis; and (h) X-Ray diffraction. The results show that the average grain size of the Cu-Zn alloys (6% <= Zn <= 30% mass) decreases significantly when Zr and P are both added to the melt. Nevertheless, average grain size is not reduced significantly when either Zr or P are added separately to the melt. When 0.08%Zr is added, the average grain size decreases as the concentration of Zn increases from 0 to 30%Zn, but without Zr additions, the Zn content and the average grain size are uncorrelated. The microstructural analysis with the techniques listed before show that the decrease in average grain size caused by Zr and P additions coincide with the observation of faceted precipitates rich in Zr and P. This analysis indicates that the inoculation mechanism is probably the heterogeneous nucleation of solid Cu-µ, of face-centered-cubic lattice structure, on solid particles of ZrP, with hexagonal compact structure, formed in the melt after Zr and P additions.

O presente trabalho teve como objetivos: (1) avaliar o rendimento e as características físico-químicas dos óleos de vísceras de truta arco-íris (Oncorhynchus mykiss), pacu (Piaractus mesopotamicus) e curimbatá (Prochilodus spp.) extraídos por congelamento lento, como mecanismo para liberar os lipídios do material bruto, e (2) comparar as etapas do refinamento químico (degomagem, neutralização, lavagem, secagem e branqueamento) de dois óleos de truta arco-íris, extraídos por congelamento lento e por um processo termo-mecânico. As matérias primas foram coletadas em diferentes municípios dos Estados de São Paulo e Paraná. Foram determinados os rendimentos, teor de ácidos graxos livres, índice de peróxidos, índice de iodo, índice de saponificação, densidade, índice de refração, viscosidade e perfil de ácidos graxos nos óleos brutos (truta arco-íris, pacu e curimbatá) e nos óleos submetidos a processos de refinamento (truta arco-íris). Os rendimentos de óleo de vísceras de truta arco-íris, pacu e curimbatá, foram de 27,58%, 42,53 e 13,75% respectivamente. Os parâmetros físicoquímicos avaliados em todos os óleos (óleos brutos das vísceras das três espécies de peixes e óleos de truta arco-íris submetidos a refinamento) encontraram-se dentro dos níveis referenciados para óleos de peixe brutos e refinados. O perfil de ácidos graxos foi variável entre os óleos brutos das três espécies, sendo que o óleo de curimbatá apresentou maiores níveis dos ácidos eicosapentaenoico, docosaexaenoico e araquidônico, e menor relação n-6/n-3, portanto de melhor qualidade nutricional, provavelmente por ter sido capturado na natureza. Entretanto, devido à alta disponibilidade de truta arco-íris, considera-se mais viável a produção de complementos nutricionais de ácidos graxos poliinsaturados da família n-3 nesta espécie, desde que o perfil lipídico do óleo esteja adequado. Os teores de ácidos graxos da família n-3, dos óleos de truta arco-íris foram menores que os relatados na literatura; podendo ser influenciados pela dieta dos animais. O tipo de extração produziu diferenças no perfil de ácidos graxos tanto nos óleos brutos quanto nos óleos branqueados. Destaca-se maior teor de ácidos graxos com configuração trans no óleo (bruto e branqueado) de truta arco-íris, extraído por autoclavagem devido provavelmente à utilização de altas temperaturas durante a extração. A técnica de extração por congelamento foi eficiente em termos de rendimento e qualidade dos óleos extraídos das vísceras dos peixes avaliados, e possivelmente seja eficiente também em outras espécies e matérias primas. / This study aimed to: (1) evaluate the performance and physicochemical characteristics of viscera oils from rainbow trout (Oncorhynchus mykiss), pacu (Piaractus mesopotamicus) and curimbatá (Prochilodus spp.) extracted by slow freezing, as a mechanism to release the lipids of the crude material, and (2) compare the stages of chemical refining (degumming, neutralization, washing, drying and bleaching) of two rainbow trout oils, extracted by slow freezing and by a thermo-mechanic process. The raw materials were collected in different places of the States of São Paulo and Parana. Viscera oil yields were determined, content of free fatty acids, peroxide value, iodine value, saponification value, density, refractive index, viscosity and fatty acid profile of the crude oils (rainbow trout, pacu and curimbatá) and of the rainbow trout oils underwent the refinement process. The oil yields of viscera rainbow trout, pacu and curimbatá, were 27.58%, 42.53 and 13.75% respectively. The physico-chemical parameters evaluated in all the oils (crude oils from the viscera of the three species of fish and rainbow trout oils subjected to refinement) were within the referenced levels for the crude and refined fish oils. The fatty acid profile varied between the crude oils from the three species. Curimbatá viscera oil, showed higher levels of eicosapentaenoic acid, docosahexaenoic and arachidonic acid, and lower n-6/n-3 ratio therefore of higher nutritional quality, probably for having been caught in the wild. However, due to the high availability of rainbow trout, it is more viable the production of nutritional supplements of n-3 polyunsaturated fatty acids with by-products from this species, since their oil lipid profile is suitable. The levels of n-3 fatty acids of rainbow trout oils were lower than those reported in the literaturepossibly influenced by the diet. The type of extraction produced differences in the fatty acid profile both in crude oils and bleached oils. It stands out higher content of fatty acids with trans configuration in the rainbow trout oil (crude and bleached), obtained by autoclaving probably due to the use of high temperatures during extraction. The freeze-extraction technique was efficient in terms of yield and quality of oils extracted from the viscera of fishes evaluated and could also be effective in other species and raw materials.

Em muitos problemas de simulação de fenômenos físicos ou fenômenos de engenharia, o uso das malhas é um componente muito importante. Uma malha é uma aproximação de uma dada geometria por um conjunto de elementos mais simples, tais como triângulos e quadriláteros (caso bidimensional) ou tetraedros, prismas, pirâmides e hexaedros (caso tridimensional). Nesse texto, as malhas de interesse são as não-estruturadas e compostas por triângulos. A escolha de uma malha é fortemente influenciada pelo desempenho e precisão dos resultados da simulação. O desempenho depende do número de elementos a serem processados, ou seja, quanto maior for a área coberta por cada elemento da malha, menos elementos são necessários, por conseguinte, mais rápida será a simulaçao. A precisão nos resultados da simulação está relacionada tanto com o formato quanto com o tamanho dos elementos. Diferente do desempenho, quanto menor forem os elementos, mais precisos serão os resultados. O formato dos elementos também influencia a precisão, em geral, elementos mais próximos dos equiláteros são preferidos. Como é possível observar, desempenho e precisão são requisitos conflitantes e geralmente é necessário fazer uma ponderação entre eles. Para um determinado grupo de aplicações, o melhor compromisso entre desempenho e precisão é conseguido com elementos finos, longos e corretamente alinhados sobre o domí?nio onde a malha está definida. São as chamadas malhas anisotrópicas. Além disso, um método de refinamento anisotrópico pode melhorar ainda mais a precisão dos resultados. O principal objetivo desse trabalho é desenvolver métodos de refinamento de malhas anisotrópicas, usando como base, e tendo como ponto de partida, os métodos de refinamento Delaunay isotrópicos, a saber, os métodos de refinamento Delaunay de Jim Ruppert [13] e de Paul Chew [6], e também realizar a simplificação Delaunay proposto por Olivier Devillers [8] / The use of polygonal meshes for numerical simulation of physical problems is a well known component. Mesh is an piecewise approximation from a given geometry defined by a set of simpler elements, such as triangles and quadrilaterals (two-dimensional case) or tetrahedra, prisms, pyramid and hexahedra (three-dimensional case). In this work, the interest is unstructured meshes of triangles. The choice of a mesh is aimed at the performance and the precision of the simulation results. The performance depends of the number of elements that will be processed, i.e., the larger is the covered area for each mesh element, the less element is needed, therefore the simulation is faster performed. The simulation precision is related with the shape and the size of the elements. On the other hand, the smaller the elements are, the more precise are the results. The shape of the elements also influences on precision, generally, equilateral elements are preferred. It is worth to mention that performance and precision are opposite requirements and it is important to ponder between them. For a group of applications, the best commitment between performance and precision is obtained with thin and long elements correctly aligned on the domain where the mesh is defined. These meshes are named anisotropic meshes. Furthermore, a method of anisotropic refinement can even improve the precision. We aim at developing anisotropic mesh methods based on isotropic properties from well known Delaunay refinement methods, viz., the Delaynay refinement methods by Jim Ruppert [13] and Paul Chew [6], and performing a Delaunay simplification proposed by Olivier Devillers [8]

nÃo hà / A presente pesquisa tem como objetivo principal descrever o processo de bananicultura orgÃnica praticada em Itapajà - CearÃ, analisando os aspectos sociais, ambientais e econÃmicos dos produtores desta cultura. AlÃm disso, sÃo objetivos especÃficos: analisar a produÃÃo de banana orgÃnica com o advento da criaÃÃo da AssociaÃÃo dos Fruticultores do MunicÃpio de Itapajà â AFMI, efetuar as anÃlises tÃcnica, social e ambiental e sob a Ãptica de aceitaÃÃo do consumidor de banana orgÃnica produzida em ItapajÃ, analisar a viabilidade econÃmica da atividade para os produtores associados à AFMI e discutir alguns aspectos relacionados Ãs vantagens e desvantagens da produÃÃo e mercado da banana orgÃnica. A Ãrea de estudo està localizada em ItapajÃ, um dos maiores produtores de banana do Estado do CearÃ, caracterizado por uma intensa modificaÃÃo no espaÃo fÃsico em Ãreas serranas. Fez-se uso de dados tanto primÃrios quanto secundÃrios. O presente estudo classifica-se como sendo de carÃter analÃtico-descritivo. Efetua-se tambÃm uma anÃlise da viabilidade econÃmica para os produtores ligados à referida AssociaÃÃo. A anÃlise dos dados levantados foi efetuada utilizando-se tabelas, quadros e figuras, por meio dos instrumentos da estatÃstica descritiva. A agricultura orgÃnica nesse MunicÃpio à uma experiÃncia inovadora, em que 16 produtores de banana orgÃnica, ligados à AFMI, vÃm desenvolvendo esta atividade em meio a muitos problemas, tais como os de baixa infra-estrutura, principalmente, no que diz respeito à precariedade das estradas, que prejudicam o escoamento da produÃÃo. Concluiu-se que alguns fatores sÃo determinantes para a baixa produtividade dos bananeirais, podendo-se citar os tratos culturais deficitÃrios, a ausÃncia de irrigaÃÃo, a incipiente reposiÃÃo de nutrientes, a alta declividade do relevo, solos pedregosos, alÃm do fato do bananeiral jà ser velho. Registrou-se que a adubaÃÃo orgÃnica (compostagem) à utilizada nas propriedades e que os bananicultores demonstraram ter uma profunda preocupaÃÃo com a questÃo ambiental, buscando a preservaÃÃo da biodiversidade local, mantendo em suas propriedades uma Ãrea de, pelo menos, 20% de mata, ou seja, a chamada reserva legal. Por fim, quanto à viabilidade, concluiu-se que a atividade da produÃÃo de banana orgÃnica em Itapajà à rentÃvel economicamente. / The present research has as main objective to describe the process of organic bananicultura practiced in Itapajà - CearÃ, analyzing the aspects social, environmental and economical of this cultureâs production. Furthermore, the objective specific are: to analyze organic banana's production after the creation of the AssociaÃÃo dos Fruticultores do MunicÃpio de Itapajà â AFMI, to make the analyses technique, social and environmental and under the optical of organic banana's consumer's acceptance produced in ItapajÃ, to analyze the economical viability of the activity for the associated producers AFMI, to discuss some aspects related to the advantages and disadvantages of the production and the organic bananaâs market. The study area is located in ItapajÃ, one of the largest producing of banana of the State of Cearà in Brazil. Itapajà is a city characterized by an intense modification in the physical space in mountainous areas. Primary and secondary datas were used to understand banana's organic production. The present study is classified as analytical-descriptive. Also, an analysis of the economical viability is elaborated for the Association's producers. The analysis of the data was studied through the descriptive statistics instruments and used tables, pictures and illustrations. The organic agriculture in Itapajà is an innovative experience. There are 16 sixteen organic bananaÂs producers that are linked to AFMI. These producers are developing that activity with many problems, for intance, low infrastructure and precariousness of the roads that harm the productionâs drainage. In conclusion, some factors are decisive for the low productivity: the cultural treatments, no irrigation, incipient nutrientsâreplacement, irregular relief, a stony soil and an old plant banana. It was registered the organic manuring (composting of organic matter). Also, it was registered that the organic banana's producers are concerned with the environmental, they preserve the local biodiversity and they preserve an area of, at least, 20% of forest, the call legal reservation, in organic banana's properties. Finally, this activity of organic banana's production in Itapajà is profitable economically.

Em contraste aos sistemas transformacionais, sistemas reativos são caracterisados por reagir continuamente a estímulos provinientes seu ambiente. Além da reatividade, se considerarmos que muitas aplicações requerem métodos de especificação que possibilitam descrever a distribuição espacial dos estados, sistemas de transformação de grafos parecem ser uma técnica de especificação bastante adequada. Algumas aplicações com essas características são sistemas móveis e vias biológicas. Além disso, diversas abordagens para especificação de sistemas reativos propõem usar linguagens assíncronas para especificar a comunicação entre componentes e definem mecanismos para descrever um conjunto (ou seqüência) de atividades que são realizadas atomicamente. Porém, pouca atenção tem sido dada à idéia de estender sistemas de transformação de grafos para permitir a especificação de atividades atômicas. Recentemente, inspirada nas idéias das redes de Petri “zero-safe” foi definida uma extensão de sistemas de transformação de grafos (GTS) – denominada GTS transacional (T-GTS) – equipando-os com uma noção de transação. Uma transação, nesta abordagem, descreve um conjunto de ações que são executadas de um modo atômico e é definida através de uma distinção entre os recursos visíveis e invisíveis de um ponto de vista externo, onde os últimos são considerados temporários e “esquecidos” em um nível abstrato. Nesta tese é dada uma fundamentação mais teórica para T-GTSs definindo uma noção de morfismos de implementação T-GTS (associando produções de um sistema com transações de outro) e, usando essa noção, é demonstrada a existência de uma adjunção entre as categorias de GTSs e T-GTSs com morfismos de implementação. Além disso, GTSs transacionais são estendidas com um mecanismo para descrever padrões de interação de sistemas reativos através de relações de dependência incluídas nas produções. A idéia é que um sitema interage com seu ambiente consumindo e criando elementos visíveis para à esse ambiente, uma relação de causalidade. Finalmente, propomos uma noção de refinamento para T-GTSs com relação de dependência caracterizada por uma visão “caixa-devidro”, onde alguns aspectos internos são preservados. Em um nível abstrato, o sistema é especificado por produções que descrevem (de uma maneira atômica) reações completas, onde a relação de dependência determina algumas restrições na estrutura interna dessas reações. Um refinamento de um sistema é definido por um morfismo total de implementação que associa cada produção (abstrata) a uma transação. Assim, o sistema refinado preserva todo o comportamento externo do sistema original e as restrições da estrutura interna determinadas pelas relações de dependência. / Reactive systems, in contrast to transformational systems, are characterised by having to continuously react to stimuli from its environment. If, in addition to reactiveness, we consider that for many applications the specification method should provide a way to describe the spatial distribution of states, graph transformation seems to be a suitable specification technique. Some applications with these characteristics are mobile systems and biological pathways. However, the approaches provided for graph transformations so far are not adequate to explicitly describe interaction patterns. Furthermore, several approaches to specify reactive systems propose to use asynchronous languages to specify communication between components and define mechanisms to describe a set (or sequence) of activities that are performed atomically. However, scarce attention has been devoted to the idea of extending GTSs in order to allow the specification of atomic activities. Inspired by the ideas of zero-safe Petri nets, an extension of graph transformation systems (GTSs) – called transactional GTS (T-GTS) – was defined, equipping them with a transaction notion. A transaction, in this approach, describes a set of actions that are executed in an atomic way and it is defined by distinguishing the resources that are visible or invisible from an external point of view, where the last ones are considered temporary and are forgotten at a more abstract level. In this thesis, we give a more theoretical foundation to T-GTS defining a notion of implementation morphisms between T-GTSs (associating graph productions of a system with transactions of other system) and using this notion we demonstrate the existence of an adjunction between categories of GTSs and T-GTSs with implementation morphisms. Moreover, we extends transactional GTSs with a mechanism to describe interaction patterns of reactive systems, by means of dependency relations included in the graph productions. The idea is that a system interacts with its environment by consuming and creating elements visible to this environment, obeying a causal dependency. Finally, we propose a notion of glass-box refinement for T-GTSs with dependency relations, where some internal aspects are preserved. In an abstract level, the system is specified by productions describing (in an atomic way) complete reactions, where the dependency relations give some constraints on the internal structure of these reactions. A refinement of a system is given by a total implementation morphism, that associates each (abstract) production to a transaction. Hence, the refined system preserves all external behaviour of the original system and the internal constraints given by the dependency relations.