Neste trabalho,revemos alguns métodos de pontos interiores para programação linear, com ênfase no método \"dual afim\" de Adler, Karmarkar, Resende e Veiga, (1986), o qual tem se mostrado o mais promissor. Além disso, estendemos o método dual afim para explorar a estrutura de restrições canalizadas: b- ≤ Ax ≤ b+, como conseqUência imediata , com uma ligeira modificação do mesmo. / In this work we review some interior points methods for linear programming, with emphasis on the affine scaling method of Adler , Karmarkar, Resende and Veiga, (1986), which has seemed to be the most promissor. Furthermore, we extend the affine scaling method to explore interval linear programming: b- ≤ Ax ≤ b+, as immediate consequence, upper bounds variables are obviously trated, with a slight modification of the affine scaling method.

Em Ciência da Computação, uma boa solução para um determinado problema muitas vezes depende de uma boa forma de representação. Para a maioria das aplicações de Inteligência. Artificial, uma escolha da representação de conhecimento é ainda mais difícil, já que os critérios para essa escolha são menos claros. Embora não exista um consenso geral do que é representação de conhecimento, muitos esquemas foram propostos para representar e armazenar conhecimento. Neste trabalho são discutidos os problemas e questões envolvidos com representação de conhecimento, bem como os esquemas de representação mais difundidos, com especial ênfase em frames. frames são um esquema de representação de conhecimento que permitem realizar descrições de objetos complexos. lima das principais características deste esquema de representação é a herança de propriedades, onde urna classe mais especializada, utilizando a estrutura hirárquica, pode herdar todas as propriedades da classe mais geral, fornecendo tanto facilidades de representação como mecanismos de economia cognitiva. Os sistemas de frames baseiam-se na idéia de que a codificação conceituai, no cérebro humano, está menos vinculada com a definição estrita e exausiiva, da propriedades que as entidades devem ter para serem consideradas exemplares de alguma categoria, e mais vinculada com as propriedades salientes do objeto, que são típicas de sua classe. Uma -dificuldade que tem sido encontrada nestes sistemas, assim como em outros sistemas de representação de conhecimento, é a falta de uma semântica formal. Neste trabalho é implementado um sistema para manipular frames. Este sistema consiste de vários procedimentos de manipulação de frames, slots e facetas, tais como: criação, instanciação, verificação, consulta e remoção. O sistema implementado permite a verificação de tipo dos slots. Esta característica permite aos slots tanto generalizar o tratamento dos atributos como representar similaridade entre os mesmos. Finalmente, são identificadas algumas questões a serem consideradas em trabalhos futuros. / Knowledge Representation is a, central problem in Artificial Intelligence AI today. The choice of a good knowledge representation in AI is even more difficult than in other areas of Computer Science since there are substantially greater choices to make and the criteria is less clear. The especification of a knowledge representation consists of two major components: a description of the notation to express facts and a description of the operations that can be performed on a knowledge base. Although there is little agreement as to what knowledge representation actually is, many schemes have been proposed as general frameworks for represeniing and storing knowledge. In this work we discuss in general some knowledge representation schemes commonly used in AI and afterwards we concentrate in Frame theory. Frame theory is really a vague paradigm that inspired an era of research on intelligent systems. Frames provide structured representation of an object, situation or concept as well as a class of them. Frames allow classes to be described as specializatioris of other more generic classes and for those descriptions to be organized into taxonomies. Constructs should be available in a frame system for organizing frames that represent classes into taxonomies. One difficulty that has troubled many knowledge representation languages, including frame languages, is the lack of formal semantics. In this work we develope a system which provides mechanism for specifying relationships between objects represented by frames. The system provides operations for creating and deleting frames, slots and attributes as well as for reading and writing attribute values. The system has been extended to provide a slot typing mechanism which is similar to specifying a frame-name as the value of a slot in a traditional frame system. This extension generalizes the treatment of slot attributes and enables representation of similarities between slots. Finally, we identify some issues relevant to future research.

Geradores de Aplicação são ferramentas de software que conseguem automatizar parte substancial do trabalho rotineiro envolvido na atividade de desenvolvimento de software. Eles aceleram o processo de implementação, transformando especificações de alto nível em produtos da aplicação, e permitem, cOm isso, que os projetistas de sistemas se preocupem apenas com os aspectos relevantes do problema. Neste trabalho mostra-se como os geradores de aplicação se encaixam no processo de desenvolvimento de software e discute-se aspectos próprios de sua construção. Apresenta-se, também, uma revisão bibliográfica de vários geradores de aplicação existentes e de ferramentas de apoio à construção desses geradores. Uma classificação de geradores de aplicação é proposta, baseada na capacidade do gerador permitir a mudança de domínios e a mudança dos produtos gerados, e, segundo essa classificação, agrupam-se os geradores relatados na revisão bibliográfica. Apresenta-se, também, um gerador de aplicação do tipo mais geral, dentre os propostos na classificação, desenvolvido neste trabalho. Esse gerador de propósito geral (ou meta-gerador), chamado GEDAI (Gerador com Domínio e Aplicação Instanciáveis), pode ser instanciado para domínios específicos e aplicações específicas dentro desses domínios. Para demonstrar a sua utilização, são apresentados três exemplos de instanciação: para o domínio de sistemas reativos especificados com statecharts, gerando um programa simulador; para o domínio de conjuntos matemáticos, gerando estruturas de dados em C; e, para o apoio ao desenvolvimento do próprio meta-gerador. / Application Generators are software tools which can automatize the routine work involved in Software Development. They a,celerate software implementation transforming high levei specifications in products, thus allowing systems designers only to worry about the relevant aspects of that problem. The integration of application generators in the software developrnent process is shown and their construction is discussed. Many application generators are surveyed. An application generator framework based on the generator capability of supporting different application domains and application products is proposed. This framework is used to classify the generators surveyed. An application generator, called GEDAI (Domam n and Application Instantiable Generator), was developed, whose type is the most general within the framework proposed. GEDAI can be instantiated to many domains and to many a,pplications within a domain. Three instantiation examples are shown to demonstrate GEDAI\'s use: the reactive systems domain specified with statecharts, generating a simulation program; the mathematical set domain, generating C data structures; and, supporting the development of GEDAI itself.

Not available / In this work we discuss the standard Hopf Bifurcation \'Theorem, but our main purpose is to analyse Hopf Bifurcation for symmetric differential equations. In this case it is given an application that involves coupled Van der Pol equations. The main tools used here are the Liapunov-Schimidt Method and Group Representations techniques.

O objetivo principal deste trabalho é apresentar e analisar métodos numéricos intervalares para a solução do problema de auto-valores de matrizes reais. Serão apresentados métodos intervalares para a limitação dos auto-valores e respectivos auto-valores de matrizes simétricas (Nickel, Zhiying), e desenvolvidas versões intervalares de métodos numéricos para a determinação do polinômio característico de matrizes ( Leverrier-Faddeev, Danilevsky), bem como de métodos numéricos iterativos clássicos (Rutishauser, Francis) para a solução do citado problema. / The main purpose of this thesis is to introduce and analyse interval numerical methods for the solution of the eigenvalue problem of real matrices. Interval methods for bounding the eigenvalues and respective eigenvectors of symmetric matrices (Nickel, Zhiying) are presented. Interval versions of numerical method for determining the characteristic polinomial of matrices (Leverrier-Faddeev, Danielevsky), and those of some classical numerical methods (Rutishauser, Francis) to solve the above mentioned problem are also presented.

Esta tese foi desenvolvida reunindo duas áreas do conhecimento, a saber,ciência dos materiais e eletroquímica. No campo da ciência dos materiais desenvolveu-se a fase de produção de catalisadores metálicos mistos, que foram obtidos por fundição em forno a arco elétrico. Optou-se por este processo, uma vez que o arco elétrico pode alcançar temperaturas acima de três mil graus centígrados, que foi necessária para fundir metais como, Pt, Ir, Ru, Os e Mo, que apresentam elevados pontos de fusão. As amostras preparadas constituíram-se de ligas binárias e ternárias a base de platina, nas seguintes proporções, em porcentagem em massa: Pt/Ru (70:30), Pt/Ir (90:10), Pt/Os (80:20), Pt/Mo (90:10), Pt/Ir/Mo (60:20:20) e Pt/Ru/Os (80:10:10). Esta amostras não mostraram defeitos de fundição, apesar da baixa solubilidade que estes materiais apresentam entre si. Posteriormente ao processo de fundição, as amostras foram caracterizadas por Microscopia Ótica (MO), Microscopia Eletrônica de Varredura (MEV), Difração de Raios-X e Voltametria Cíclica. O estudo de reatividade destas ligas, frente a oxidação do metanol, foi realizado por Voltametria Cíclica, Cronoamperometria e Espectroscopia de Infra-Vermenho in situ com transformada de Fourrier (FTIR). Os estudos de caracterização mostraram que as ligas alcançaram um grau aceitável de homogeneidade, mantendo suas características em toda a amostra. Adicionalmente, as amostras preparadas neste trabalho apresentaram-se muito eficientes no processo de catálise frente a oxidação demetanolAs etapas elementares do mecanismo de oxidação de metanol até dióxido de carbono, sobre as diferentes ligas preparadas, foram determinados e as atividades catalíticas de cada liga foram comparadas, concluindo-se que as ligas ternárias apresentam o melhor desempenho catalítico. Ou seja, os catalisadores ternários, PtIrMo e PtRuOs, apresentaram melhores resultados catalíticos do que os binários, PtIr, PtMo, PtRu e PtOs. Finalmente, encontrouse que o catalisador PtRuOs apresentou o melhor desempenho entre todos os sistemas testados / This work was intended to be in the interface among electrocatalysis and materials science. The catalysts investigated in this work consist of binary and ternary platinum alloy, where the second and the third metals are from platinum group.The alloys were prepared by fusion in a voltaic arc furnace. This procedure was chosen because the system can reach temperatures up to 3000 oC, necessary to perform the fusion of Pt, Ir, Ru, Os and Mo metals. The catalysts investigated in this work were binary and ternary Pt-based alloys, namely as, in mass % PtRu (70:30), Pt (90:10), PtOs (80:20), PtMo (90:10), PtIrMo (60:20:20) and PtRuOs (80:10:10). After the fusion process, the materials were physically characterized by optic microscopy, scanning electronic microscopy (SEM), X-ray diffraction (XRD). The catalytic activity for methanol electrooxidation was studied by cyclic voltammetry, chronoamperommetry and in situ infrared spectroscopy with Fourier transform (FTIR). The investigation performed in this work has provided data that improves the knowledge about the preparation and applicability of intermetallic alloys in electrocatalysis process. The reaction mechanism for methanol oxidation on the alloys was determined and the catalytic activity were compared. In conclusion, the ternary alloys showed highest activity for methanol oxidation

O campo de Namorado, descoberto em 1975, está situado na plataforma continental da Bacia de Campos, distando aproximadamente 80km do continente e sob lâmina de água de aproximadamente 200m. O reservatório é composto por arenitos turbidíticos de idade Albiano-Cenomaniano, em cotas que vão de -2500m a -3000m. Este reservatório apresenta excelentes características permo-porosas, sendo um dos mais importantes plays petrolíferos desta Bacia na década de 70. Neste dissertação, propõe-se a aplicação da simulação estocástica baseada em objetos para a caracterização da arquitetura deposicional dos reservatórios turbidíticos. As técnicas aplicadas neste trabalho envolvem petrofísica (GR, Resistividade, Densidade e Porosidade), sistemas deposicionais turbidíticos e geoestatística. A partir da interpretação dos perfis petrofísicos,foi possível caracterizar o reservatório em três litologias principais (Arenito, Folhelho e Calcário). Com esta informação, foi gerada uma base de dados booleana, sendo 1 atribuido aos arenitos (reservatório) e 0 atribuido às litologias não reservatório ( folhelho e calcário). O método de simulação booleana, escolhido para realizar as simulações no programa Isatis ® , utilizou os dados gerados pela interpretação petrofísica e os parâmetros obtidos através de estudos de arquitetura deposicionais de corpos turbidíticos. Como resultado obteve-se um conjunto 3D de cem simulações estocásticas baseadas em objetos, que possuem a mesma probabilidade de ocorrência. Estas simulações mostram a arquitetura deposicional dos arenitos (reservatório) turbidíticos do Campo de Namorado daBacia de Campos. Este estudo demonstra grande utilidade para a industria do petróleo, pois ao fornecer probabilidades de ocorrência superiores a 50% (muito superiores às porcentagens de acerto em poços exploratórios), a economia gerada com a locação de poços neste domínio mais conhecido seria de grande importância para a saúde financeira de empresas de petróleo, visto que a locação de poços envolvem altíssimos custos. / The Namorado field, discovered in 1975, is situatedon the continental shelf of the Campos Basin, lying approximately 80kmfrom the mainland and in a water depth of approximately 200m. The reservoir consists of turbidite sandstones of Albian-Cenomanian age, in units ranging from -2500m to -3000m. This reservoir has excelent Permo-porous features, being one of the most important oil plays of this basin in the 70\'s In this master dissertation, is proposed the application of object based stochastic simulation to characterize the depositional architecture of turbidite reservoirs. The methodology applied in this work involves petrophysics techniques (GR, Resistivity, Density and Porosity),turbidite depositional systems and geostatistics. From the petrophysical interpretation of profiles,it was possible to characterize the reservoir in three main lithologies (Sandstone, Shale and Limestone). With this information, a Boolean database was gerated, being 1 assigned to sandstones (reservoir) and 0 assigned to non-reservoir lithologies (shale and limestone). The Boolean simulation method chosen to perform the simulations in Isatis ® program, used the data generated by petrophysical interpretation and parameters obtained through studies of depositionalarchitecture of turbidite bodies. As result was obtained a 3D set of one hundred stochastic simulations based on objects that have the same probability of occurrence. These simulations show the depositional architecture of sandstones (reservoir) turbidite of Namorado Field in the Campos Basin. This study demonstrates great use for the oil industry, because by providing probabilities of occurrence greater than 50% (much higher than the percentage of accuracy in exploratory wells), the savings with the location of wells in this best known areas would be of great importance for the financial health of oil companies, since the location of wells involve high costs.

O Orógeno Gondwana Oeste (OGO), sugerido nesta Tese, é uma faixa linear que se estende por mais de 5000 km do atual noroeste da África ao Brasil Central. Perspectivas modernas e tradicionais sugerem que este Orógeno resultou do consumo e fechamento do Oceano Goiás-Faruriano que culminou na colisão continente-continente envolvendo os crátons Amazônico/Oeste Africano contra os crátons São Francisco/Congo e Saariano. Nesta Tese foi investigada a evolução crustal de um importante setor do OGO no noroeste da Província Borborema (NE-Brasil), assim como em outras áreas no Togo e Mali, utilizando-se de uma estratégia coerente. A geocronologia U-Pb em zircões de rochas siliciclásticas e ígneas indicam a existência de uma margem convergente de longa duração (de até 350 m.y.) associada ao consumo do Oceano Goiás-Faruriano. Na área investigada, particularmente no NE do Brasil no Domínio Ceará Central, o magmatismo associado a esta convergência pode ser dividido em três principais períodos: i) um período inicial constituído essencialmente por magmatismo de arco juvenil em ca. 880-800 Ma que continua até 650 Ma, como evidenciado indiretamente por zircões detríticos de depósitos sin-orogênicos, ii) um estágio de arco maturo em ca. 660-630 Ma caracterizado por rochas magmáticas hibridas entre crosta e manto e iii) anatexia crustal em 625-618 Ma que continua até 600 Ma. A longa evolução do OGO e o sincronismo do metamorfismo de ultra-alta pressão UAP no NE do Brasil, Togo e Mali indicam que a subducção continental e, portanto, a colisão continental ocorreu simultaneamente por pelo menos 2500 km durante o período Ediacariano (620-610 Ma). Nesta Tese propõem-se que o desenvolvimento da Província Borborema entre 620 a 570 Ma resultou da interação de dois eventos colisionais distintos. A Colisão I ao longo do OGO ocorreu há ca. 620-610 Ma como resultado da colisão entre o Bloco Parnaíba, como parte dos crátons Amazônico/Oeste Africano, contra o embasamento antigo da Província a leste. A zona de sutura associada a esta colisão foi reativada por uma zona transformante dextral (o Lineamento Transbrasiliano), permitindo a aproximação da Província Borborema e sua subsequente colisão contra o cráton São Francisco em ca. 590-580 Ma, marcando a Colisão II ao longo do Orógeno Sergipano. A interação dos esforços de leste relacionados com a Colisão I com os esforços de norte relacionados a endentação cratônica em uma litosfera espessa gerou uma trama extensa de zonas de cisalhamento direcionais que contribuíram para a extrusão da Província na direção nordeste. Nesta Tese, também foi considerado que o sincronismo do metamorfismo UAP (620-610 Ma) por pelo menos 2500 km no OGO registra o primeiro indício de subducção continental na escala do Orógeno Himalaiano e o consequente surgimento de Megamontanhas no registro geológico. A formação destas Megamontanhas ca. 40 m.y. antes da explosão da Vida no período Ediacariano tem a idade ideal para providenciar, por meio da erosão, os sedimentos (nutrientes) que são considerados necessários para a evolução da Vida. Finalmente, a evolução do OGO indica que o supercontinente Gondawa já estava formado desde o Oeste da África ao Brasil Central, dificultando a hipótese da chegada tardia do cráton Amazônico/Oeste Africano e assim a existência de um amplo Oceano Cambriano como previamente proposto. / The Neoproterozoic West Gondwana Orogen (WGO), suggested in this Thesis, is a linear belt that extended for more than 5000 km from nowadays northwest Africa to Central Brazil. Traditional views suggest that this orogen resulted from the consumption and closure of the Goiás-Pharusian Ocean that culminated in a continent-continent collision involving mainly the conjoined Amazon and West African cratons against the São Francisco-Congo and Saharan cratons. In this Thesis it has been investigated the crustal evolution of an important sector of the WGO in NE-Brazil at the northwestern portion of the Borborema Province as well as in some areas of Africa in Togo and Mali using a coherent approach. U-Pb Zircon geochronology of siliciclastic and igneous rocks indicates a long-lived convergent tectonics (up to 400 m.y) related to the comsumption of the Goiás-Pharusian Ocean. In the studied, particularly in NE- Brazil in the Ceára Central Domain, convergent-related magmatism can be divided into three main periods: i) an early period comprising essentially juvenile arc magmatism at ca. 880-800 Ma and continuing to 650 Ma as evidenced indirectly by detrital zircons from syn-orogenic deposits, ii) a more mature arc period at ca. 660-630 Ma characterized by hybrid mantle-crustal magmatic rocks, and iii) crustal anatexis at 625-618 Ma continuing until ca. 600 Ma. Protracted tectonic evolution in the WGO and synchronicity of UHP metamorphism in NE-Brazil, Togo and Mali indicate that continental subduction, and hence continental collision, occurred simultaneously over at least 2500 km during the Ediacaran period (620-610 Ma). Here, it has been proposed that Borborema Province development from 620 to 570 Ma resulted from two discrete collisional events. Collision I, along the WGO, took place at ca. 620-610 Ma as the result of collision between the Parnaíba Block, as the forefront of the much larger Amazonian-West Africa Craton, and the old basement of the Borborema Province. The suture zone related to this collision was reactivated by a dextral transform zone (the Transbrasiliano Lineament), allowing the Borborema Province to approach and collide against the São Francisco Craton in the south at ca. 590-580 Ma marking collision II along the Sergipano Orogen. The combined stresses related to eastward push from collision I and northward push from the cratonic indentation onto a thickened lithosphere gave rise to an extensive network of strike-slip shear zones across the Province forcing its northeastward extrusion. It has bee also considered here that synchronicity of UHP metamorphism (620-610 Ma) over at least 2500 km in WGO records the first Himalayan-scale deep-continental subduction and the consequent appearance of Megamountains in the geological record. The formation of these Megamountains ca. 40 m.y. before the explosion of Life in the Late Ediacaran is perfectly timed to deliver by erosion the sediments (nutrients) that have been deemed necessary for Life evolution. Finally, evolution of the WGO indicate that the Gondwana supercontinent was already assembled from West Africa to Central Brazil, precluding the late arrive of the Amazon-West African craton and hence the existence of a large Cambrian Ocean as proposed earlier.

A Nappe Socorro-Guaxupé faz parte da porção sul da Faixa Brasília, a qual delimita a porção oeste e sul do Cráton do São Francisco. A faixa é composta por três unidades: Unidade Granulítica Basal, Unidade Diatexítica Intermedi ária e Unidade Metatexítica Superior, provenientes da raiz de arco magmático. Na região estudada, nos arredores da cidade de Alfenas, afloram duas unidades: Unidade Granulítica Basal, composta por granulito félsico intercalado com granulito máfico e veios de leucossoma, e cuja paragênese de pico metamórifico é: Cpx + Opx + Pl ± Qtz ± Grt + Ilm, e Opx + Pl + Kfs + Qtz ± Cpx ± Grt + Ilm; e Unidade Diatexítica Intermediária, composta por granada diatexito e granada migmatito estromático, com paragênese de pico formada por: Grt +Pl + Kfs + Qtz ± Hbl. As rochas de ambas unidades encontram-se bastante retrometamorfisadas. A variação da composição química dessas rochas foi estudada com base em química de rocha total e os minerais foram investigados com a microssonda eletrônica e LA-ICP-MS, utilizando perfis núcleo-borda em ortopiroxênio, clinopiroxênio e granada. A partir dos dados obtidos pode-se inferir que a maior quantidade de \'Na IND.2\'O e CaO menor de \'K IND.2\'O no leucossoma em relação ao granulito félsico indica que mais plagioclásio do que feldspato potássico foi fundido, enriquecendo o liquido nos componentes do plagioclásio; A presença de anomalia negativa de Eu em cristais de ortopiroxênio, clinopiroxênio e granada e a ausência da mesma em outros cristais de granada indica que algumas porções da rocha sofreram porcentagem maior de fusão de plagioclásio que outras. O empobrecimento em ETR médios e pesados na borda de ortopiroxênio indica que o final de sua cristalização foi concomitante com a gênese de zircão, apatita e granada, fases que competiam pelos mesmos elementos. Os padrões de ETR em ortopiroxênio do granulito e do leucossoma são similares, constatando gênese única para o ortopiroxênio em ambos contextos texturais, que se deu através de reações de fusão parcial de biotita ou hornblenda, dando o caráter peritético para o mineral. O leucossoma, de composição de charnockito, hornblenda granito e granito, é bastante heterogêneo em sua composição química devido as diferentes quantidades de ortopiroxênio e consequente proporção de minerais félsicos presentes, implicando em processo dinâmico para formação e cristalização do leucossoma. As relações de contato entre granulito e leucossoma são hora transicionais e hora abruptas, implicando em fusão parcial in situ e posterior mobilização do líquido. As reações de fusão nas duas unidades incluem o consumo de hornblenda, biotita e plagioclásio e a blastese de granada e ortopiroxênio. Tais reações indicam temperaturas entre 750 e 950 °C em pressões entre 6 e 11 kbar para ambas unidades, dados condizentes com a literatura e da onde conclui-se que as diferentes paragêneses tem relação com o protólito da rocha e não com as condições nas quais se deram a fusão e o metamorfismo. Retrometamorfismo intenso afetou as rochas da região deixando-as ricas em biotita e hornblenda e está ligado com a presença de água. Conclui-se então que houve metamorfismo progressivo e fusão, seguido de perda de líquido (acumulação em bolsões, ou escape para porções mais rasas da crosta) para preservar regiões com paragênese de pico metamórfico e depois influxo de água para que as reações retrógradas pudessem gerar minerais hidratados em quantidade tão alta. / The Socorro-Guaxupé Nappe is part of the southern Brasilia Orogen, which delimits the western and southern portion of São Francisco Craton. The Southern Brasília Orogen comprises three main units: the Basal Granulitic Unit, the Intermediate Diatexitic Unit and the Superior Metatexitic Unit, all representing a magmatic arc root environment. In the investigated area, nearby Alfenas city, two units outcrop: Basal Granulitic Unit, that is composed by felsic granulite interspersed with mafic granulite and leucosome veins, whose metamorphic peak paragenesis is: Cpx + Opx + Pl ± Qtz ± Grt + Ilm, and Opx + Pl + Kfs + Qtz ± Cpx ± Grt + Ilm; and Intermediate Diatexitic Unit composed by garnet diatexite and stromatic garnet migmatite, whose metamorphic peak paragenesis is: Grt +Pl + Kfs + Qtz ± Hbl. The rocks of both units suffer quite retrograde metamorphism. The variation of chemical composition of these rocks was investigated based on bulk rock chemistry and the minerals were investigated by electron microprobe and LA-ICP-MS, using core-rim profiles in orthopyroxene, clinopyroxene and garnet. Large contents of \'Na IND.2\'O e CaO and lower contents of \'K IND.2\'O in the leucosome indicate that more plagioclase melted over k-feldspar, enriching the melt in the plagioclase components. The presence of Europium negative anomaly in orthopyroxene, clinopyroxene and garnet and the absence of this in other garnet grains indicate that some portions of the rock underwent higher percentages of melting than others. The depletion of MREE and HREE on orthopyroxene rim indicates that the end of the crystallization was conco mitant with zircon, apatite and garnet, mineral phases that strive for the same elements. Both granulite and leucosome show similar patterns of REE in orthopyroxene, which suggests single genesis in both textural contexts and which have developed by biotite and hornblende partial melting reactions, giving to the mineral a peritectic feature. The leucossome, chanockitic and granitic in composition, is highly heterogeneous in its chemical composition due to the different amount of orthopyroxene and consequent amount of felsic minerals on it, implying a dynamic process for the leucossoma generation and crystallization . v Contact relationships between granulite and leucossome are transitional and abrupt, implying in situ partial melting and subsequent mobilization of the melt. The partial melting reactions in both units include hornblende, biotite and plagioclase consumption and garnet and orthopyroxene generation. Those reactions indicate temperatures between 750º and 950 ºC and pressures between 6 and 11 kbar for both units. Those data are consistent with previous works and imply that the different paragenesis are related to the rock protolith rather than the melt and metamorphic conditions. Intense water-present retrograde metamorphism affected the region, enriching the rocks in biotite and hornblende. In summary, there was a progressive metamorphism with melting followed by melt loss (accumulation in pockets or migration to shallower levels of the crust) to preserve portions with peak metamorphic paragenesis. Finally, water influx must have triggered large amounts of retrograde reactions derived hydrated minerals.

A educação enfrenta, nesse início de milênio, profundas mudanças. Existe hoje uma grande variedade de ferramentas de ensino à distância à disposição do educador, especialmente quando este faz uso de tecnologias atuais como a Internet e a Web. Frente a este fato, esforços têm sido direcionados para a adequação das técnicas tradicionais de ensino aos novos tempos. O ensino à distância via Internet têm o potencial de por a força da rede mundial a serviço da educação, seja no ensino educação, seja no ensino fundamental, de graduação ou, como no caso deste trabalho, na educação continuada. O objetivo deste trabalho foi, utilizando ferramentas desenvolvidas ao laboratório Intermídia (ICMC-USP), implantar e administrar um curso à distância via Internet, em nível de curso de extensão universitária (educação continuada), coletando e analisando dados sobre seu andamento e sobre sua comunidade alunos. O trabalho foi realizado atravéz de pesquisa bibliográfica, pesquisa em sites especializados na Internet, e também pela própria experimentação através do oferecimento do curso à distância intitulado \"Distributed Programing Using Java\" (http://java.icmc.sc.usp.br/java_course). Nesse trabalho são discutidas técnicas e ferramentas de software para educação à distância e, principalmente, é descrito o curso propriamente dito: sua natureza, sua implementação, sua descrição e a interação com os usuários. Também é feita uma análise dos dados conseguidos com vistas ao aprimoramento dessa técnica de ensino. / In the beginning of a new millennium, education is going through deep changes. There is today a great availability of t this tools for distance education to be used by teachers. In special, if this tools make use of new technologies like the Internet or the Web. Because of that, a lot of effort has been directed to adapt the traditional teaching techniques to these new tools. Distance education over the Internet has the potential for putting the power of the global net to the service of education. It can happen in the high school, undergraduate or, as in this research case, continued education levels. The goal of this reaesrch was use the software tools developed at the Intermidia laboratory (ICMC-USP) to create and manage a distance education course over the Internet. This course was developed as a continued education course for programmers. Data about the course development and about its student community was collected. This research was done through bibliographical research, search in education sites over the Internet and also by offering using Java\" (http://java.icmc.usp.br/java_course). In this work, techniques and software tools for distance education are present and, the most important paert, the course itsef is discussed: its nature, its implementation, its description and user interaction. Also, the gathered data is analysed aiming with this analysis to improve this kind of teaching technique.