Made available in DSpace on 2014-06-11T19:30:31Z (GMT). No. of bitstreams: 0 Previous issue date: 2012-04-26Bitstream added on 2014-06-13T20:40:33Z : No. of bitstreams: 1 marques_ha_dr_prud.pdf: 2254240 bytes, checksum: 4a444b57aeb7b0a9588734345c28c149 (MD5) / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / Dentre os diversos métodos possíveis de posicionamento GNSS, encontra-se atualmente em evidência aqueles que proporcionam posicionamento em tempo real (ou próximo do tempo real) com acurácia ao nível centimétrico ou decimétrico. Nesse caso, destaca-se o PPP em tempo real, o qual requer a disponibilização de órbitas precisas em tempo real, bem como as correções ou erros dos relógios dos satélites. Atualmente, é possível utilizar as efemérides preditas denominadas IGU, as quais são disponibilizadas pelo IGS, porém, as correções dos relógios dos satélites contidas nessas efemérides não apresentam acurácia suficiente (3 ns @ 0,9 m) para obtenção de resultados com qualidade centimétrica no PPP. Logo, é necessário pesquisar e desenvolver metodologias adequadas para estimar as correções dos relógios dos satélites com melhor qualidade para aplicação no PPP em tempo real. A estimativa das correções dos relógios dos satélites pode ser realizada com base numa rede de estações GNSS de referência. Nesta tese, a metodologia adotada para estimar estas correções consiste em realizar o ajustamento dos dados no modo PPP para uma rede de estações GNSS. Dessa forma, todos os efeitos sistemáticos envolvidos com os sinais dos satélites GNSS devem ser modelados adequadamente para cada estação da rede, realizando-se assim a estratégia denominada de PPP em rede. Uma vez estimadas as correções dos relógios dos satélites em tempo real, estas devem ser enviadas ao usuário, o qual as utilizará para aplicação... / Among several possible methods of GNSS positioning, it is currently in evidence those that provide real time positioning (or near real time) with accuracy near to decimeter or centimeter level. In this case, we highlight the real time PPP method, which requires the availability of real time precise orbits and corrections or errors of the satellites clocks. Currently, it is possible to use the predicted IGU ephemerides which are made available by the IGS centers. However, the satellites clocks corrections available in the IGU do not present enough accuracy (3 ns @ 0.9 m) to accomplish real time PPP with the level of centimeter accuracy. Therefore, it is necessary to research and develop appropriate methodologies for estimating the satellite clock corrections in real time with better quality for real time PPP aplication. The estimation of satellite clock corrections can be performed based on a GNSS network of reference. In this PhD thesis, the methodology used to estimate these corrections is based on the adjustment of data in the PPP mode for stations of a GNSS network. Thus, all systematic effects involved with the GNSS satellite signals must... (Complete abstract click electronic access below)

Orientadora: Silvia Maria Giuliatti Winter / Coorientador: Rodney da Silva Gomes / Banca: Tadashi Yokoyama / Banca: Ernesto Vieira Neto / Banca: Fernando Virgilio Roig / Banca: Nelson Callegari Junior / Resumo : Neste trabalho investigamos a evolução orbital de partículas de poeira que escapam das superfícies de ambos satélites pequenos de Plutão: Nix e Hidra, produzidas através do impacto de micrometeoroides nas superfícies dos mesmos, sob influencia da pressão de radiação solar e dos efeitos gravitacionais de Plutão, Caronte e dos próprios satélites fontes (Nix e Hidra). A taxa de produção de massa dos grãos de poeira micrométricos foi obtida e simulações numéricas foram realizadas para obter o tempo de vida destes grãos no sistema plutoniano. Os grãos ejetados de Nix e Hidra formam um anel de largura de aproximadamente 16.000 km, o que corresponde a distância radial aproximada entre as órbitas de Nix e Hidra. Através das integrações numéricas verificamos que colisões de grãos com os corpos massivos do sistema e escape em _orbitas hiperbólicas constituem os principais mecanismos de perda de material e são determinadas pelo efeito da pressão de radiação solar. Este importante mecanismo de desestabilização de grãos de poeira em Plutão, remove 30% do conjunto inicial de partículas com raios de 1 µ em apenas 1 ano. As demais partículas que permanecem no sistema formam um anel muito tênue com uma profundidade óptica máxima de 4x10¹¹. Exploramos também a possibilidade dos progenitores dos satélites pequenos de Plutão terem sido capturados pelo binário Plutão-Caronte do disco primordial massivo heliocêntrico, no qual Plutão estaria inserido. Encontramos que, para objetos com baixas velocidades de aproximação com o binário, capturas poderiam ocorrer com probabilidade não é negligenciável devido a natureza do próprio encontro: planetesimal e par de objetos massivosNo entanto, os objetos capturados permaneceriam em orbitas bastante excêntricas em relação ao baricentro do binário, assim o tempo tópico de ... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: In this work, we investigate the orbital evolution of the escaping dust from both small satellites of Pluto: Nix and Hydra, produced via impacts of micrometeoroids on the surfaces of the small satellites, under the influence of the solar radiation pressure combined with the gravitational ejects of Pluto, Charon, and the parent-bodies (Nix and Hydra). The mass production rate of micron-sized dust particles is obtained and numerical simulations are performed to derive the lifetime of the ejecta. The ejected particles form a wide ring of about 16,000 km, which corresponds to the radial distance between the orbits of Nix and Hydra. Through the numerical simulations we verified that collisions with the massive bodies within the system and escape into hyperbolic orbits are the main mechanisms of loss of material, which are mainly determined by the solar radiation pressure acting on the grains. This important loss mechanism removes 30% of the initial set of 1 µ sized particles in 1 year. The surviving particles form a ring too faint to be detectable with a derived maximum optical depth of 4x10¹¹. We also explore the possibility that the progenitors of the small satellites of Pluto have been captured by the Pluto-Charon binary from the massive heliocentric planetesimal disk in which Pluto was originally embedded into. Wend that debris with small approximation velocities to the binary can be captured temporarily by Pluto-Charon with non-negligible probability, due to the dynamical perturbations exerted by the binary nature of the Pluto-Charon pair... (Complete abstract click eletronic access below) / Doutor

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2013. / Made available in DSpace on 2014-08-06T17:34:32Z (GMT). No. of bitstreams: 1 323601.pdf: 3499862 bytes, checksum: 6f91e543fd542988c6ea40ea602ad442 (MD5) Previous issue date: 2013 / A flexibilidade de FPGAs baseadas em SRAM é uma opção atrativa para o projeto de sistemas embarcados. Contudo, estes sistemas críticos requerem a verificação funcional do projeto em HDL (Hardware Description Language) para assegurar o seu correto funcionamento. A verificação formal utilizando model checking representa um sistema em um modelo formal que pode ser automaticamente gerado por ferramentas de síntese. No entanto, as propriedades que descrevem o comportamento esperado, necessárias para provadores de modelo, são usualmente elaboradas de forma manual, o que é mais suscetível a erro humano, aumentando custo e tempo de verificação. Este trabalho apresenta uma nova abordagem para geração automática de propriedades para verificação de sistemas descritos em HDL. O estudo de caso industrial é o subsistema de comunicação de um satélite artificial que foi desenvolvido em parceria com o Instituto Nacional de Pesquisas Espaciais (INPE).<br> / Abstract: The flexibility of Commercial-Off-The-Shelf (COTS) SRAM-based FPGAs is an attractive option for the design of embedded systems. However, the functional verification of HDL-based designs is required and is of fundamental importance. Formal verification using model checking represents a system as formal model that are automatically generated by synthesis tools. On the other hand, the properties are represented by temporal logic expressions and are traditionally elaborated by hand, which is susceptible to human errors thus increasing the costs and verification time. This work presents a new method for automatic property generation for formal verification of Hardware Description Language (HDL) based systems. The industrial case study is a communication subsystem of an artificial satellite, which was developed in cooperation with the Brazilian Institute of Space Research (INPE).

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia Elétrica, Florianópolis, 2013. / Made available in DSpace on 2014-08-06T17:52:36Z (GMT). No. of bitstreams: 1 324106.pdf: 10599128 bytes, checksum: 11cfc2b6bdc4832a7768505f3cbfc85e (MD5) Previous issue date: 2013 / A flexibilidade introduzida pela utilização de FPGAs (Field Programmable Gate Array) SRAM comerciais em aplicações embarcadas, faz com que esta tecnologia se torne uma alternativa atraente para aplicações militares e espaciais. No presente trabalho, foi desenvolvido um Computador de Bordo utilizando soft processor embarcado em um FPGA do tipo SRAM. O Computador de Bordo é baseado em requisitos funcionais especificados pelo Instituto Nacional de Pesquisas Espaciais (INPE) para o Computador de Bordo a ser utilizado em suas futuras missões. Módulos de software e hardware foram implementados visando executar as principais funcionalidades de um Computador de Bordo. No entanto, os avanços oriundos de tecnologias nanométricas trazem uma maior vulnerabilidade dos componentes eletrônicos a efeitos de radiação. Em aplicações críticas é importante que técnicas de tolerância a falhas sejam utilizadas para aumentar o grau de confiabilidade das aplicações. Com o intuito de mitigar falhas causadas pela radiação a qual computadores de bordo são expostos no espaço, uma técnica de tolerância a falhas não intrusiva foi desenvolvida. A técnica proposta visa aplicar mecanismos de detecção de falhas utilizando um monitor de barramento para comparar os dados de saída de um soft processor principal com seu módulo redundante. Caso os dados sejam diferentes, um sinal de erro é gerado, iniciando a estratégia de tolerância a falhas. A técnica proposta se mostrou eficiente quando comparada a técnicas do estado da arte como a Redundância Tripla (Triple Modular Redundancy, TMR) e Tolerância a Falhas em Hardware Implementadas em Software (Software Implemented Hardware Fault Tolerance, SIHFT) para identificação de falhas simples em tempo de execução com menor ocupação de área e sem alterar o desempenho da aplicação.<br> / Abstract : The flexibility introduced by Commercial Off The Shelf (COTS) SRAM based FPGAs in on-board system designs make them an attractive option for military and aerospace applications. However, the advances towards the nanometer technology come together with a higher vulnerability of integrated circuits to radiation perturbations. In mission critical applications it is important to improve the reliability of applications by using fault-tolerance techniques. In this work, the concept of an On-Board Computer (OBC) system aiming a soft-processor embedded on a SRAM based FPGA is proposed. The OBC comply with functional requirements of the Brazilian Institute of Space Research (INPE) for the OBC that will be employed in future missions. Modules of software and hardware were implemented in order to execute the main capabilities of the OBC. In order to mitigate the faults caused by radiation on the space environment, a non-intrusive fault tolerance technique has been developed. The proposed technique targets soft processors (e.g. LEON3), and its detection mechanism uses a Bus Monitor to compare output data of a main soft-processor with its redundant module. In case of a mismatch, an error signal is activated, triggering the proposed fault tolerance strategy. This approach shows to be more efficient than the state-of-the-art Triple Modular Redundancy (TMR) and Software Implemented Hardware Fault Tolerance (SIHFT) approaches in order to detect and to correct faults on the fly with low area overhead and with no major performance penalties.

[pt] A síntese de duplos refletores com um alimentador dielétrico é estudada sob as considerações da ótica geométrica. A análise ótica do problema leva a uma equação diferencial parcial não-linear de 2ª ordem do tipo Monge- Ampére. Soluções particulares desta equação, as geometrias Cassegrain e Gregoriana off-set, são apresentadas e estudadas. Estas são usadas como soluções iniciais no processo iterativo de síntese. / [en] The synthesis of offset dual reflectors with dieletric feed is studied under the assumptions of geometrical optics. The optical analysis leads to a nonlinear second- order partial differential equation of the Monge-Ampére type. Particular solutions described by offset Cassegrain or Gregorian configurations are presented. These are used as initial solutions in the iterative process of synthesis.

Tese (doutorado) - Universidade de São Paulo, Faculdade de Filosofia, Letras e Ciências Humanas. / Made available in DSpace on 2016-01-08T20:47:07Z (GMT). No. of bitstreams: 0 Previous issue date: 1996

Made available in DSpace on 2015-12-10T14:22:59Z (GMT). No. of bitstreams: 0 Previous issue date: 2015-07-28. Added 1 bitstream(s) on 2015-12-10T14:29:14Z : No. of bitstreams: 1 000852063.pdf: 2040130 bytes, checksum: 458621c7faa04b8c2ac8a4f58adf2130 (MD5) / Neste trabalho, estudamos o problema da viabilidade de missões espaciais em ambiente de detritos espaciais. Geralmente, um veículo espacial em curso de colisão com um detrito espacial é destruído ou danificado e tem sua missão prejudicada. A preservação destas missões depende da capacidade do satélite de evitar a colisão, como por exemplo, através de uma manobra orbital conhecida como manobra evasiva. Neste estudo, estabelecemos estratégias de manobras evasivas realizadas por um satélite através de um sistema de propulsão, cuja eficiência é medida por parâmetros tecnológicos. Os parâmetros tecnológicos são configurados no planejamento da missão, e descrevem a quantidade de combustível a bordo e a capacidade de expelir propelente do sistema de propulsor. As manobras evasivas foram estudadas para serem aplicadas de tal forma que o satélite escape do detrito espacial sem a evasão da sua órbita nominal de missão, e para este objetivo, incluímos uma propulsão de controle e tratamos o sistema de propulsão como uma perturbação na órbita do satélite. Também foi estabelecido, para realizar manobras evasivas econômicas, uma propulsão que é ligada em uma fração do tempo total disponível para a manobra. Esta fração de tempo é definida como um tempo de pulso de propulsão. As manobras evasivas são estudadas por simulações numéricas da dinâmica de um detrito e um veículo espacial sob a ação da força gravitacional da Terra e de perturbações orbitais oriundas de um sistema de propulsão e da atmosfera da Terra. Nestas simulações calculamos as condições de colisão do detrito e do satélite, que ocorrem ao redor da Terra, e utilizamos para criar catálogos de parâmetros tecnológicos acessíveis ao satélite para escapar destas colisões / We studied the problem of the viability of space missions in debris environment space. Generally, a space vehicle in collision course with a space debris is destroyed or damaged and has impaired their mission. The preservation of these missions depends on the satellite capacity to avoid the collision, for example by an orbital maneuver known as evasive maneuver. In this study, we established strategies evasive maneuvers performed by a satellite via a propulsion system, whose efficiency is measured by technological parameters. Technological parameters are set in the planning of the mission, and describe the amount of fuel on board and the ability to expel propellant propulsion system. The evasive maneuvers were studied to be applied in such a way that the satellite escape the space debris without evasion of its nominal orbit mission, and for this purpose, include a propulsion control and treat the propulsion system as a disturbance in the orbit of satellite. It has also been established, to perform evasive maneuvers driven, propulsion which is connected at a fraction of the total time available for the maneuver. This fraction of time is defined as a propulsion pulse time. The evasive maneuvers are studied by numerical simulations of the dynamics of a debris and a vehicle space under the action of the Earth's gravitational and orbital perturbations arising from a propulsion system and the Earth's atmosphere. In these simulations calculate the debris of the collision conditions and the satellite, which occur around the Earth, and used to create technological parameters catalogs accessible to the satellite to escape these collisions

Made available in DSpace on 2015-12-10T14:24:20Z (GMT). No. of bitstreams: 0 Previous issue date: 2015-05-25. Added 1 bitstream(s) on 2015-12-10T14:30:32Z : No. of bitstreams: 1 000851964.pdf: 1312054 bytes, checksum: 6ab2821ce3b046bbbd11abc30329b215 (MD5) / A partir da década de 1950, a população mundial cresceu rapidamente, atingindo hoje mais de 7 bilhões de habitantes, gerando assim o aumento do processo de urbanização. Para atender a demanda de bens de consumo duráveis e não duráveis da atual população, a economia agropecuária expandiu e, consequentemente ampliou suas fronteiras. Com isso, áreas destinadas à cultura agrícola e pastagem ocuparam espaços em que, anteriormente eram ocupados por matas ciliares e florestas nativas; ocasionando a redução ou inexistência da vegetação que circunda as redes de drenagem e fragmentação das florestas. Nesse contexto, a análise do uso e ocupação do solo de Lençóis Paulista, através da utilização de Sistemas de Informações Geográficas e imagens do satélite Landsat, se torna necessária pois as principais empresas geradoras de emprego do município dependem diretamente da matéria- prima rural, como cana de açúcar e eucalipto, presentes em cerca de 80% do território do município. / Since the decade of 1950, the world population has dramatically increased, reaching nowadays around 7 billion people, which has caused an increase in the urbanization process. In order to supply the people's demand for durable and non-durable goods, there was an expansion in the agriculture economy, which has as a consequence the expansion of its frontiers. Areas for agricultural activities and pasture have used lands which had been previously characterized by riparian and native forests, resulting in the reduction or even inexistence of vegetation around the drainage network and forest fragmentation. In this context, the analysis of the use and occupation of the land of LençóisPaulista, by means of the use of Geographical Information Systems and images generated by Landsat satellites, is necessary, since the main companies employing people in the city directly depend on rural goods, such as sugar cane and eucalyptus, cultures present in approximately 80% of the city's territory.

Made available in DSpace on 2015-12-10T14:24:29Z (GMT). No. of bitstreams: 0 Previous issue date: 2015-07-29. Added 1 bitstream(s) on 2015-12-10T14:30:41Z : No. of bitstreams: 1 000852038.pdf: 6705690 bytes, checksum: fed6b575fb58363e4d0342e0e54a1385 (MD5) / Realizamos dois diferentes estudos envolvendo o acoplamento spin-_orbita. Um deles foi sobre a origem da obliquidade de Urano, que ainda permanece desconhecida. Algumas teorias de formação foram publicadas nas ultimas décadas, sendo que as duas mais citadas: por meio de uma colisão (Urano sofreu uma grande colisão tangencial); e por meio de um efeito ressonante entre a rotação de Urano e um satélite. Focamos nosso estudo no modelo de ressonância. Baseado num artigo de Boué & Laskar (2010), no qual os autores estudam a origem da obliquidade de Urano por meio de uma ressonância que só ocorre na presença de um satélite de grande porte (Satélite X). Fizemos um estudo numérico do problema em questão. Utilizando _orbitas já integradas do Modelo de Nice, estudamos a possibilidade de obter a atual obliquidade de Urano devido a perturbações dos planetas gigantes, Sol e o Satélite X. Nossos resultados mostram que o Satélite X ocasiona crescimento na obliquidade de Urano, podendo assim ser o responsável pela atual configuração do eixo de rotação de Urano, onde esse crescimento da obliquidade ocorre somente para determinadas configurações de semi-eixo maior e massa do Satélite X, sendo máximo quando o ângulo ressonante ( _) (longitude do equador de Urano menos a longitude do nodo ascendente do Satélite X) é zero e mínima quando é 180 graus. Porém, assim como no estudo anterior, só foi possível reproduzir a atual obliquidade de Urano com Satélite X com massas excessivamente grandes, da ordem de 0; 01 da massa de Urano. As simulações mostraram também que o Satélite X causa instabilidade no sistema de satélites internos desestabilizando-os a ponto de extingui-los. Outro estudo realizado foi sobre a origem de sistemas binários de asteroides por meio de ruptura rotacional. O processo de fissão rotacional de asteroides ... (Resumo completo, clicar acesso eletrônico abaixo) / We conducted two different studies about the spin-orbit coupling. One of them was about the origin of Uranus obliquity, that still remains unknown. Some theories of formations have been published in the last decades, the two most cited is: by collision (Uranus suffered a great tangential collision) and by a resonance between Uranus rotation and a satellite. We focused our study on the resonance model. Based on article of Boué & Laskar (2010), in which the authors study the origin of Uranus obliquity by a resonance that occurs only in the presence of a large satellite (Satellite X). We did a numerical study of this problem. Using orbits previously integrated by Nice Model, we studied the possibility of obtaining the current Uranus obliquity due to disturbances of the giant planets, the Sun and the Satellite X. Our results show that the Satellite X causes growth in Uranus obliquity and so may be the responsible for the current configuration of the Uranus rotation axis. And this growth of obliquity occurs only for certain configurations of semi-major axis and mass of the Satellite X, and maximum when the resonant angle ( _) (Uranus's equator longitude less the longitude of the ascending node of the Satellite X) is zero and minimal when it is 180 degrees. However, as in the previous study, it was only possible to reproduce the current Uranus obliquity with Satellite X with excessively large masses, about 0:01 mass of Uranus. The simulations also showed that Satellite X causes instability in the satellite with internal orbits until extinguishing them. Another study was about the origin of binary asteroid systems through rotational fission. The process of rotational fission of asteroids has been studied theoretically Scheeres (2007) and numerically Jacobson & Scheeres (2011) with simplified models restricted to planar motion. However, the observed physical configuration of contact ... (Complete abstract click electronic access below)

Made available in DSpace on 2016-02-05T18:29:15Z (GMT). No. of bitstreams: 0 Previous issue date: 2015. Added 1 bitstream(s) on 2016-02-05T18:32:32Z : No. of bitstreams: 1 000856771.pdf: 25708971 bytes, checksum: 0bfd04a3b0fce10d62dca198df5e9217 (MD5) / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / Na porção sudoeste do estado de Minas Gerais, na zona limítrofe entre o Cráton São Francisco e a Faixa de Dobramentos Brasília, ocorrem rochas metamáficasultramáficas pertencentes ao Greenstone Belt do Morro do Ferro (GBMF). Destacase ainda produtos de processos lateríticos em ao menos dois níveis topográficos distintos. Litotipos ultramáficos, serpentinizados ou cloritizados, como aqueles observados no GBMF, são os protólitos mais promissores para gerarem expressivas concentrações supergênicas de níquel quando submetidos a processos lateríticos. Esse fato se deve a capacidade de minerais como a olivina e o piroxênio de alojarem níquel em seu retículo cristalino somado à susceptibilidade desses minerais ao intemperismo, sucedido da distribuição dos elementos químicos presentes na rocha de acordo com suas respectivas características geoquímicas, resultando em fácies sub-horizontais. O presente trabalho fez uso das características resultantes do zoneamento químico e mineralógico para identificação de alvos potenciais à presença dessas concentrações supergênicas de níquel. Para isso, fez-se uso de mapas geológico e estruturais que abrangem o domínio máfico-ultramáfico e de mapa de zoneamento geomorfológico. A esses se somaram o uso de modelos digitas de elevação e declividade do terreno, obtidos a partir de imagens de satélite SRTM, e composições temáticas de imagens de satélite Landsat 7. As composições temáticas foram utilizadas buscando delimitar o zoneamento químico-mineralógico, com base na reflectância de minerais específicos, já que os produtos dos processos lateríticos podem ser expostos por ação de processos erosivos posteriores. A aplicação de técnicas de sensoriamento remoto permitiu a identificação e individualização de diferentes fácies, condizentes com o zoneamento mineralógico de um perfil laterítico desenvolvido em ambiente tropical a subtropical, em áreas com... / Metamafic-ultramafic rocks from Morro do Ferro Greeenstone Belt occur in the southeastern Minas Gerais State, Brazil, between the southwestern border of São Francisco Craton and the Brasília Fold and Thrust Belt. Serpentinized or chloritized ultramafic rocks, as described in Morro do Ferro Greeenstone, have great potential to produce expressive supergenic nickel concentrations under lateritization processes. The enrichment occurs because minerals like olivine and pyroxene have a high capability to incorporate nickel in their crystal structure and have a high weathering susceptibility. Since elements have specific geochemical behavior, the lateritization process leads to the formation of sub-horizontal facies, or zones, with distinct concentrations of major and trace elements. In this work, these characteristics, i.e., chemical and mineralogical zoning, are used to identify potential nickel-bearing supergenic concentrations. Geological, geomorphological, remote sensing (SRTM elevation data and Landsat 7 band compositions) data are used to define spatial distribution of horizontal lateritic facies that are exposed by erosive processes. Mineral spectra information and remote sensing techniques allowed identification of five different lateritic facies. Results are in accordance with mineralogical zoning observed in lateritic profiles developed on mafic-ultramafic rocks under tropical to subtropical conditions. Field observation confirm the occurrence of greenish mottled horizons, formed from the weathering of ultramafic schists. Chemical and mineralogical analyses of these horizons show nickel enrichment up to 350% when compared to the parent rock