Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Na avaliação da maturidade de horizontes geradores e da história térmica de uma bacia com registro de atividade magmática é preciso considerar o efeito térmico imposto pela intrusão de corpos ígneos, como diques e soleiras. Dessa maneira, foi realizada a análise numérica transiente, pelo método de diferenças finitas, do fluxo térmico por condução provocado pela intrusão das soleiras básicas cretáceas nos horizontes geradores do Membro Assistência, Formação Irati, Bacia do Paraná. Esta análise, por sua vez, viabilizou a modelagem do parâmetro de reflectância da vitrinita nos estratos de folhelhos adjacentes às soleiras. Para tanto, foram utilizados os dados de seção de três poços, os quais registram espessuras de soleiras de até 4 m, e um poço com uma soleira de 27 m de espessura. Os poços localizam-se na porção sudeste da bacia. Na simulação numérica, foi considerado o processo de solidificação do magma ou de cristalização das suas fases minerais. A modelagem de reflectância da vitrinita baseou-se em um modelo pré-concebido da história térmica da Formação Irati, sendo os resultados desta simulação de maturidade do querogênio obtidos através do uso do programa EASY%Ro. Considerando-se os erros embutidos no modelo numérico e na discretização da história térmica dos estratos estudados, foram obtidos valores modelados de reflectância da vitrinita similares aos valores medidos nos poços pelo método tradicional. Somente no caso da seção com a soleira de 27 m de espessura houve uma grande diferença entre estes valores. Contudo, o alto coeficiente de correlação (0,95) entre estes possibilita a correção do efeito da espessura da soleira em análises futuras. Assim, a análise numérica simulou o halo térmico da soleira, caracterizado, segundo os dados de modelagem de refletância da vitrinita, por uma faixa acima e abaixo da soleira com espessura equivalente à espessura da soleira encaixada nos estratos geradores da Formação Irati. Essa metodologia de avaliação propicia um estudo preditivo das condições de maturidade de horizontes geradores em bacias ou áreas com magmatismo intrusivo, nas quais as análises do parâmetro de reflectância da vitrinita sejam ausentes ou escassas. / To evaluate the thermal maturity and thermal history of source rocks in basins with magmatic activity it is important to consider the thermal effects imposed by igneous intrusions, such as sills and dykes. This work uses the finite difference method for such evaluation, with the transient numerical analysis of heat conduction from Cretaceous diabase sills intruded into the source rocks of the Assistência Member, Irati Formation, Paraná Basin. This analysis has permitted modeling vitrinite reflectance of the shale strata adjacent to the sills. The data of four wells are used from the southeastern portion of the basin, with diabase thicknesses, respectively, of 1m, 2 m, 4 m and 27 m. The numerical simulation includes the process of magma solidification or mineral phase crystallization. The vitrinite reflectance modeling followed a pre-established thermal history of the Irati Formation, using the EASY%Ro program to simulate kerogen maturity levels. Considering the errors built into the numerical model and the thermal history discretisation of studied strata, the acquired values of modeled vitrinite reflectance closely resembled well data analyzed by the traditional method. Major discrepancies were observed in the case of the well containing a sill 27 m thick, but even in this case the high correlation coefficient (0,95) between the measured and calculated values is expected to permit correction of the sill thickness effect in future studies. The numerical analysis correctly simulated the thermal halo induced by sill emplacement, enabling vitrinite reflectance modeling to characterize it as a zone extending both above and below the sill with thicknesses similar to that of the sills. This evaluation methodology contributes to a predictive study of the maturity conditions of source rocks within basins or areas with intrusive magmatism where analysis of the vitrinite reflectance parameter are sporadic or absent.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Na avaliação da maturidade de horizontes geradores e da história térmica de uma bacia com registro de atividade magmática é preciso considerar o efeito térmico imposto pela intrusão de corpos ígneos, como diques e soleiras. Dessa maneira, foi realizada a análise numérica transiente, pelo método de diferenças finitas, do fluxo térmico por condução provocado pela intrusão das soleiras básicas cretáceas nos horizontes geradores do Membro Assistência, Formação Irati, Bacia do Paraná. Esta análise, por sua vez, viabilizou a modelagem do parâmetro de reflectância da vitrinita nos estratos de folhelhos adjacentes às soleiras. Para tanto, foram utilizados os dados de seção de três poços, os quais registram espessuras de soleiras de até 4 m, e um poço com uma soleira de 27 m de espessura. Os poços localizam-se na porção sudeste da bacia. Na simulação numérica, foi considerado o processo de solidificação do magma ou de cristalização das suas fases minerais. A modelagem de reflectância da vitrinita baseou-se em um modelo pré-concebido da história térmica da Formação Irati, sendo os resultados desta simulação de maturidade do querogênio obtidos através do uso do programa EASY%Ro. Considerando-se os erros embutidos no modelo numérico e na discretização da história térmica dos estratos estudados, foram obtidos valores modelados de reflectância da vitrinita similares aos valores medidos nos poços pelo método tradicional. Somente no caso da seção com a soleira de 27 m de espessura houve uma grande diferença entre estes valores. Contudo, o alto coeficiente de correlação (0,95) entre estes possibilita a correção do efeito da espessura da soleira em análises futuras. Assim, a análise numérica simulou o halo térmico da soleira, caracterizado, segundo os dados de modelagem de refletância da vitrinita, por uma faixa acima e abaixo da soleira com espessura equivalente à espessura da soleira encaixada nos estratos geradores da Formação Irati. Essa metodologia de avaliação propicia um estudo preditivo das condições de maturidade de horizontes geradores em bacias ou áreas com magmatismo intrusivo, nas quais as análises do parâmetro de reflectância da vitrinita sejam ausentes ou escassas. / To evaluate the thermal maturity and thermal history of source rocks in basins with magmatic activity it is important to consider the thermal effects imposed by igneous intrusions, such as sills and dykes. This work uses the finite difference method for such evaluation, with the transient numerical analysis of heat conduction from Cretaceous diabase sills intruded into the source rocks of the Assistência Member, Irati Formation, Paraná Basin. This analysis has permitted modeling vitrinite reflectance of the shale strata adjacent to the sills. The data of four wells are used from the southeastern portion of the basin, with diabase thicknesses, respectively, of 1m, 2 m, 4 m and 27 m. The numerical simulation includes the process of magma solidification or mineral phase crystallization. The vitrinite reflectance modeling followed a pre-established thermal history of the Irati Formation, using the EASY%Ro program to simulate kerogen maturity levels. Considering the errors built into the numerical model and the thermal history discretisation of studied strata, the acquired values of modeled vitrinite reflectance closely resembled well data analyzed by the traditional method. Major discrepancies were observed in the case of the well containing a sill 27 m thick, but even in this case the high correlation coefficient (0,95) between the measured and calculated values is expected to permit correction of the sill thickness effect in future studies. The numerical analysis correctly simulated the thermal halo induced by sill emplacement, enabling vitrinite reflectance modeling to characterize it as a zone extending both above and below the sill with thicknesses similar to that of the sills. This evaluation methodology contributes to a predictive study of the maturity conditions of source rocks within basins or areas with intrusive magmatism where analysis of the vitrinite reflectance parameter are sporadic or absent.

Submitted by Lúcia Brandão (lucia.elaine@live.com) on 2015-07-14T15:58:20Z No. of bitstreams: 1 Dissertação - Hugo Assis Cunha.pdf: 4753834 bytes, checksum: 4304c038b5fb3c322af4b88ba5d58195 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-07-20T14:08:11Z (GMT) No. of bitstreams: 1 Dissertação - Hugo Assis Cunha.pdf: 4753834 bytes, checksum: 4304c038b5fb3c322af4b88ba5d58195 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-07-20T14:12:26Z (GMT) No. of bitstreams: 1 Dissertação - Hugo Assis Cunha.pdf: 4753834 bytes, checksum: 4304c038b5fb3c322af4b88ba5d58195 (MD5) / Made available in DSpace on 2015-07-20T14:12:26Z (GMT). No. of bitstreams: 1 Dissertação - Hugo Assis Cunha.pdf: 4753834 bytes, checksum: 4304c038b5fb3c322af4b88ba5d58195 (MD5) Previous issue date: 2014-09-26 / Não Informada / Quando se trata de sistemas e serviços de autenticação seguros, há duas abordagens principais: a primeira procura estabelecer defesas para todo e qualquer tipo de ataque. Na verdade, a maioria dos serviços atuais utilizam esta abordagem, a qualsabe-sequeéinfactívelefalha. Nossapropostautilizaasegundaabordagem, a qual procura se defender de alguns ataques, porém assume que eventualmente o sistema pode sofrer uma intrusão ou falha e ao invés de tentar evitar, o sistema simplesmente as tolera através de mecanismos inteligentes que permitem manter o sistema atuando de maneira confiável e correta. Este trabalho apresenta uma arquiteturaresilienteparaserviçosdeautenticaçãobaseadosemOpenIDcomuso deprotocolosdetolerânciaafaltaseintrusões, bemcomoumprotótipofuncional da arquitetura. Por meio dos diversos testes realizados foi possível verificar que o sistema apresenta um desempenho melhor que um serviço de autenticação do OpenID padrão, ainda com muito mais resiliência, alta disponibilidade, proteção a dados sensíveis e tolerância a faltas e intrusões. Tudo isso sem perder a compatibilidade com os clientes OpenID atuais. / Secure authentication services and systems typically are based on two main approaches: the first one seeks to defend itself of all kind of attack. Actually, the major current services use this approach, which is known for present failures as well as being completely infeasible. Our proposal uses the second approach, which seeks to defend itself of some specific attacks, and assumes that eventually the system may suffer an intrusion or fault. Hence, the system does not try avoiding the problems, but tolerate them by using intelligent mechanisms which allow the system keep executing in a trustworthy and safe state. This research presents a resilient architecture to authentication services based on OpenID by the use of fault and intrusion tolerance protocols, as well as a functional prototype. Through the several performed tests, it was possible to note that our system presents a better performance than a standard OpenID service, but with additional resilience, high availability, protection of the sensitive data, beyond fault and intrusion tolerance, always keeping the compatibility with the current OpenID clients.

Submitted by Rosivalda Pereira (mrs.pereira@ufma.br) on 2017-09-22T18:42:19Z No. of bitstreams: 1 AdrianaCosta.pdf: 3838428 bytes, checksum: 2c98d9d837cb8ba187aa038e80b2d304 (MD5) / Made available in DSpace on 2017-09-22T18:42:19Z (GMT). No. of bitstreams: 1 AdrianaCosta.pdf: 3838428 bytes, checksum: 2c98d9d837cb8ba187aa038e80b2d304 (MD5) Previous issue date: 2017-08-14 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Fundação de Amparo à Pesquisa e ao Desenvolvimento Científico e Tecnológico do Maranhão / Software agents represent an evolution of traditional software entities, having the ability to control their own behavior and acting with autonomy. Typically, software agents act reactively, where actions and perceptions are predefined at design time, or in a deliberative way, where the corresponding action for a given perception is found at run time through reasoning. Deliberative agents do not need all knowledge to be predefined; on the contrary, from an initial knowledge they can infer new knowledge. However, to find an action appropriate to a particular perception, they take a long time, generating a high computational cost. As a solution to this problem, a hybrid architecture with learning for the development of hybrid software agents is presented in this work. Hybrid agents combine reactive and deliberative behavior taking advantage of the speed of reactive behavior and the reasoning capability of the deliberative one are a better option for structuring software agents. The main advantages of the proposed architecture are learning of the reactive behavior, faster and more efficient, through the interactions of the agent with its environment and its consequent adaptability to the environment. The agent adapts to the environment as it learns new reactive behavior from frequent deliberative behavior. The proposed architecture was evaluated through the development of case studies in the information security domain using case-based reasoning, ontologies for the representation of domain knowledge and supervised learning for automatic generation of reactive rules. Results obtained with the case studies performed confirmed a greater effectiveness and a shorter response time of the hybrid agent with learning regarding both the reactive or deliberative agent as well as a hybrid agent without learning in the intrusion detection in computer networks domain. From the specification and evaluation of the hybrid architecture with supervised learning in the Information Security domain, a reference architecture for the development of hybrid agents with learning was generalized. In future works, we intend to evaluate this reference architecture in other domains, with other types of reasoning and learning techniques to evaluate its impact on the productivity and quality of the development of hybrid software agents. / Os agentes de software representam uma evolução do software tradicional, tendo a capacidade de controlar seu próprio comportamento e agir com autonomia. Tipicamente, os agentes de software agem de forma reativa, onde as percepções e ações são predefinidas no momento da sua concepção, ou de forma deliberativa, onde a ação correspondente para uma determinada percepção é encontrada em tempo de execução através de um processo de raciocínio. Os agentes deliberativos não necessitam que todo o conhecimento seja predefinido, ao contrário, a partir de um conhecimento inicial eles conseguem inferir novo conhecimento. Todavia, em muitos casos, para encontrar uma ação apropriada a uma determinada percepção eles levam muito tempo, gerando um alto custo computacional. Como solução a esse problema, apresentamos neste trabalho uma arquitetura híbrida com aprendizagem para o desenvolvimento de agentes de software híbridos. Os agentes híbridos, que combinam comportamento reativo e deliberativo, são uma opção melhor para estruturar os agentes de software. As principais vantagens da arquitetura tese é o aprendizado do comportamento reativo, mais rápido e eficiente, através de interações do agente com o seu ambiente e a sua consequente adaptabilidade ao ambiente. O agente se adapta ao ambiente na medida em que aprende novo comportamento reativo a partir de comportamento deliberativo frequente. A arquitetura tese foi avaliada através do desenvolvimento de estudos de casos no domínio da segurança da informação utilizando o raciocínio baseado em casos, ontologias para a representação do conhecimento do domínio de estudo e aprendizagem supervisionada para geração automática de regras reativas. Os resultados obtidos com os estudos de casos realizados confirmaram uma efetividade maior e um menor tempo de resposta do agente híbrido com aprendizagem em relação tanto ao comportamento isolado de um agente reativo ou deliberativo bem como de um agente híbrido sem aprendizagem no domínio da detecção de intrusões em redes de computadores. A partir da especificação e avaliação da arquitetura híbrida com aprendizagem supervisionada no domínio da Segurança da Informação, foi generalizada uma arquitetura de referência para o desenvolvimento de agentes híbridos com aprendizagem. Em trabalhos futuros, pretende-se avaliar esta arquitetura de referência em outros domínios, com outros tipos de raciocínio e técnicas de aprendizagem para avaliar o seu impacto na produtividade e qualidade do desenvolvimento de agentes de software híbridos.