Este é um estudo sobre a busca de Deus e a procura de sentido para a existência, com ênfase nos buscadores que se dirigiram a Jesus, estimulados por um imperativo de seu âmago, tal como é narrado no Evangelho de Lucas. O objetivo é identificar motivações, resultados e exigências para a conversão pessoal, o seguimento e o discipulado de Jesus, que possam orientar as pastorais de grupos ligados às classes médias tradicionais. O primeiro capítulo trata da inquietude da alma e a procura humana - as motivações da procura, das necessidades básicas à busca de sentido, considerando correntes filosóficas e a autotranscendência. O segundo capítulo dedica-se à busca de Deus, o encontro como dádiva, e a perspectiva de Deus como Incondicionado (Tillich); apresenta Deus como buscador do ser humano (Heschel), e termina analisando a busca de Deus em outras vertentes espirituais. O terceiro capítulo estuda Jesus de Nazaré como buscador de Deus, partindo do contexto palestino e das opções tomadas por Jesus em seu ministério. No quarto capítulo os buscadores e Jesus são mostrados os critérios para escolha do Evangelho (Lucas) e seleção das perícopes: a pecadora de Betânia (Lc 7.36-49); o homem rico (Lc 18.18-29); Zaqueu (Lc 19.1-10), e Arimateia (Lc 24.50-55). Complementou-se a análise estudando os magos (Mt 2.1-12) e o endemoninhado de Gerasa (Lc 8.26-39). O quinto capítulo articula autotranscendência e seguimento de Jesus. Entre as conclusões, destaca-se que a conversão e a metanoia vêm acompanhadas da repartição das riquezas e o despojamento em favor dos pobres. Notou-se também que a busca de Deus está sempre relacionada à busca de sentido. O ponto de articulação é a misericórdia para com os pobres e a descoberta de Deus como Incondicionado. Conclui-se ainda que o seguimento, o discipulado, a conversão e a autotranscendência estão relacionados, e que o seguimento e o discipulado se manifestam através de níveis e de momentos sucessivos. Outra conclusão é que Jesus também viveu sua autotranscendência como buscador de Deus; e o diálogo entre as religiões e o ecumenismo pode ser facilitado pela especial relevância da misericórdia para com os pobres como imperativo da metanoia. / This is a study about the search for God and finding meaning in existence, with emphasis on seekers who went to Jesus, stimulated by an imperative of its core, as narrated in the Gospel of Luke. The goal is to identify motivations, results and demands for personal conversion, tracking and following of Jesus, that can guide the pastoral groups linked to the traditional middle classes. The first chapter treats with the restlessness of the human soul - the reasons for the demand of basic needs to the search for meaning, considering philosophical thoughts and self- transcendence. The second chapter is devoted to the Search for God: the encounter as a gift, and the perspective of God as the Unconditioned (Tillich), presents God as a seeker by human being (Heschel) and ends by analyzing the search for God in other spiritual dimensions. The third chapter considers Jesus of Nazareth as a seeker of God, starting from the Palestinian context and the choices made by Jesus in his ministry. In the fourth chapter - seekers and Jesus - are shown the criteria for choosing the Gospel (Luke) and selection of pericopes: the Bethany sinner (Luke 7, 36-49), the rich man (Lk. 18.18-29); Zacchaeus (Luke 19.1-10), and Joseph of Arimathea (Luke 24.50-55). the analysis was finished with one study the Magi (Matthew 2.1- 12) and owned from Gerasa (Luke 8.26-39). The fifth chapter articulates self-transcendence and follow Jesus. Among the findings highlight that the conversion and metanoia comes accompanied by the distribution of wealth and stripping in favor of the poor. It was also noted that the search for God is always related to the search for meaning. The pivot point is the mercy for the poor and the discovery of God as "Unconditioned." It also concludes that the follow-up, discipleship, conversion and self-transcendence are related, and that follow-up and discipleship are manifested through successive levels and times. Another conclusion is that Jesus also lived his self-transcendence, as a seeker of God, and interfaith dialogue and ecumenism can be facilitated by the special relevance of mercy to the poor as the imperative of metanoia.

Made available in DSpace on 2014-07-29T15:03:33Z (GMT). No. of bitstreams: 1 Dissertacao Patricia Maria de Carvalho Soares.pdf: 3565512 bytes, checksum: b063397a71947658317311f45760e7a4 (MD5) Previous issue date: 2010-08-24 / The main objective is to develop, implement and evaluate a method to search for surfaces in order to determine the three-dimensional critical surface, corresponding to the lowest factor of safety of the embankment. They are also objectives of this study to evaluate the influence of the strength and elastic parameters the geometry of the slope safety factor and the 3D shape and position of the failure surface, as well as to evaluate the relationship between 2D and 3D safety factors. It was implemented an optimization routine in FORTRAN that performs the search for critical failure surface, whose safety factor is calculated by SAFE-3D program. The SAFE-3D program uses voltages coming from an elastic stress analysis performed by FlexPDE program, which uses the finite element method and provides the shear and normal stresses acting on the slope necessary to calculate the safety factor. For the analysis has been adopted as the ellipsoid shape of the rupture surface. The search method implemented examines safety factors obtained for a finite set of solutions and design variables as the coordinates of the center of the ellipsoid and the size of its three semi-axes. The search algorithm is implemented in successive tests of the factor of safety by SAFE-3D program, varying the position and dimensions of the ellipsoid for the determination of lower safety factor of slope. It was analyzed two examples of slopes, a symmetrical slope which varied the parameters of soil strength and the angle of the slope face and the other was the historic case of slipping Lodalen. The methodology implemented was successful in finding the critical failure surface, achieving consistency in results. The Poisson's ratio was very influential in the results of the safety factors of three-dimensional critical surfaces. It was also observed that there is less difference between the safety factors when keeping the shear stress unacceptable when these tensions are eliminated there is a closeness among the factors of safety. / O principal objetivo deste trabalho é desenvolver, implementar e avaliar um método de busca de superfícies de ruptura tridimensionais a fim de determinar a superfície crítica, correspondente ao menor fator de segurança do talude. São também objetivos deste trabalho avaliar a influência dos parâmetros de resistência e elásticos e da geometria do talude no fator de segurança 3D e no formato e na posição da superfície de ruptura, assim como avaliar a relação entre os fatores de segurança bi e tridimensionais. Foi implementada uma rotina de otimização na linguagem FORTRAN que realiza a busca pela superfície de ruptura crítica, cujo fator de segurança é calculado pelo programa SAFE-3D. O programa SAFE-3D utiliza tensões vindas de uma análise elástica de tensões realizada pelo programa FlexPDE, o qual utiliza o método dos elementos finitos e fornece as tensões normais e cisalhantes atuantes no talude necessárias para o cálculo do fator de segurança. Para a análise foi adotado o elipsóide como forma da superfície de ruptura. O método de busca implementado analisa fatores de segurança obtidos para um conjunto finito de soluções tendo como variáveis de projeto as coordenadas do centro do elipsóide e as dimensões dos seus três semi-eixos. O algoritmo de busca implementado consiste em análises sucessivas do fator de segurança através do programa SAFE-3D, variando-se a posição e as dimensões do elipsóide para a determinação do menor fator de segurança do talude. Foram analisados dois exemplos de taludes, um talude simétrico onde foram variados os parâmetros de resistência do solo e o ângulo da face do talude e o outro foi o caso histórico do escorregamento de Lodalen. A metodologia implementada teve êxito na busca pela superfície de ruptura crítica, conseguindo coerência nos resultados encontrados. O coeficiente de Poisson se mostrou muito influente nos resultados dos fatores de segurança tridimensionais de superfícies críticas. Foi observado também que existe uma menor diferença entre os fatores de segurança quando se mantêm as tensões cisalhantes inadmissíveis, quando estas tensões são eliminadas existe uma maior proximidade entre os fatores de segurança.

Made available in DSpace on 2015-04-11T14:03:08Z (GMT). No. of bitstreams: 1 Celia Francisca dos Santos.pdf: 545200 bytes, checksum: 1be2bb65210d0ea7f3239ecdd2efa28d (MD5) Previous issue date: 2006-02-22 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Neste trabalho são propostos e avaliados experimentalmente novos métodos de poda estática especialmente projetados para máquinas de busca web. Os métodos levam em consideração a localidade de ocorrência dos termos nos documentos para realizar a poda em índices de máquinas de busca e, por esta razão, são chamados de "métodos de poda baseados em localidade". Quatro novos métodos de poda que utilizam informação de localidade são propostos aqui: two-pass lbpm, full coverage, top fragments e random. O método two-pass lbpm é o mais efetivo dentre os métodos baseados em localidade, mas requer uma construção completa dos índices antes de realizar o processo de poda. Por outro lado, full coverage, top fragments e random são métodos single-pass que executam a poda dos índices sem requerer uma construção prévia dos índices originais. Os métodos single-pass são úteis para ambientes onde a base de documentos sofre alterações contínuas, como em máquinas de busca de grande escala desenvolvidas para a web. Experimentos utilizando uma máquina de busca real mostram que os métodos propostos neste trabalho podem reduzir o custo de armazenamento dos índices em até 60%, enquanto mantém uma perda mínima de precisão. Mais importante, os resultados dos experimentos indicam que esta mesma redução de 60% no tamanho dos índices pode reduzir o tempo de processamento de consultas para quase 57% do tempo original. Além disso, os experimentos mostram que, para consultas conjuntivas e frases, os métodos baseados em localidade produzem resultados melhores do que o método de Carmel, melhor método proposto na literatura. Por exemplo, utilizando apenas consultas com frases, com uma redução de 67% no tamanho dos índices, o método baseados em localidade two-pass lbpm produziu resultados com uma grau de similaridade de 0.71, em relação aos resultados obtidos com os índices originais, enquanto o método de Carmel produziu resultados com um grau de similaridade de apenas 0.39. Os resultados obtidos mostram que os métodos de poda baseados em localidade são mais efetivos em manter a qualidade dos resultados providos por máquinas de busca.

Problemas reais em áreas como aprendizado de máquina têm chamado atenção pela enorme quantidade de variáveis (> 10^6) e volume de dados. Em problemas dessa escala o custo para se obter e trabalhar com informações de segunda ordem são proibitivos. Tais problemas apresentam características que podem ser aproveitadas por métodos de busca em coordenada. Essa classe de métodos é caracterizada pela alteração de apenas uma ou poucas variáveis a cada iteração. A variante do método comumente descrita na literatura é a minimização cíclica de variáveis. Porém, resultados recentes sugerem que variantes aleatórias do método possuem melhores garantias de convergência. Nessa variante, a cada iteração, a variável a ser alterada é sorteada com uma probabilidade preestabelecida não necessariamente uniforme. Neste trabalho estudamos algumas variações do método de busca em coordenada. São apresentados aspectos teóricos desses métodos, porém focamos nos aspectos práticos de implementação e na comparação experimental entre variações do método de busca em coordenada aplicados a diferentes problemas com aplicações reais. / Real world problemas in areas such as machine learning are known for the huge number of decision variables (> 10^6) and data volume. For such problems working with second order derivatives is prohibitive. These problems have properties that benefits the application of coordinate descent/minimization methods. These kind of methods are defined by the change of a single, or small number of, decision variable at each iteration. In the literature, the commonly found description of this type of method is based on the cyclic change of variables. Recent papers have shown that randomized versions of this method have better convergence properties. This version is based on the change of a single variable chosen randomly at each iteration, based on a fixed, but not necessarily uniform, distribution. In this work we present some theoretical aspects of such methods, but we focus on practical aspects.

[pt] A partir da compreensão do Google como um agente atuante no processo de formação dos saberes contemporâneos, esta pesquisa avaliou a consistência entre os aparatos cognitivos envolvidos nos processos de aprendizagem e o funcionamento do mecanismo de busca. Seu desenvolvimento iniciou-se por uma revisão bibliográfica, que apontou a conceituação de relevância associada à popularidade, em conjunto com a confiança dos indivíduos no ordenamento sistêmico do Google como fatores responsáveis pela alta similitude e baixa diversidade dos resultados encontrados. Em seguida, identificaram-se na literatura indícios de que os processos de aprendizagem são potencializados pelo acesso a conteúdos diversos, capazes de estimular um maior número de conexões com os saberes prévios. Pelas incongruências entre as observações teóricas, optou-se pela realização de experimentos práticos. Neles, manipulou-se o funcionamento do Google, ampliando a divergência presente nos resultados das buscas e avaliando suas consequências para os processos de aprendizagem. Após a análise dos dados levantados, constatou-se que os indivíduos se beneficiaram da exposição a um espaço informacional mais abrangente, obtendo melhores índices em avaliações relativas aos conteúdos sub-representados nos resultados, assim como para os conteúdos amplamente difundidos. Além da melhoria na aquisição de conhecimento, os usuários também puderam experimentar um recorte informacional mais representativo, em que o enviesamento para os conteúdos predominantes foi atenuado. / [en] From the understanding of Google as an active agent in contemporary knowledge formation process, this study investigated consistency between the cognitive apparatus involved in learning process and search engine operation. Its development was initiated by a literature review, that showed relevance concept associated to popularity, along with individuals confidence in Google s systemic ordering as factors responsible for high similarity and low diversity of the results. Afterwards, evidences in literature showed that learning processes are amplified by access to diverse content, able to stimulate a larger number of connections to prior knowledge. By the inconsistencies between theoretical observations, it was decided to carry out practical experiments. In them, Google s functioning was manipulated by extending search results divergence and by evaluating impacts in the learning process. After analyzing collected data, it was found that individuals were benefited from an exposure to a broader information sample, getting better rates on assessments related to underrepresented contents in results, as well for the widely broadcast contents. Besides the knowledge acquisition improvement, users were also able to experience a more representative informational scenario, in which the bias for predominant contents has been softened.

[pt] A busca na Web se tornou o método predominante para as pessoas suprirem suas necessidades de informação. Embora seja difundido, o modelo tradicional de páginas de resultados de pesquisa só é satisfatório se o usuário souber, com bastante precisão, como elaborar sua consulta para corresponder à busca das informações desejada. Propomos um novo modelo para páginas de resultados de pesquisa, que vai além de fornecer uma lista navegável de resultados em forma de visualizações, através da geração implícita de consultas relacionadas para expandir o espaço de busca, revelando progressivamente os resultados correspondentes. / [en] Web search has become the predominant method for people to fulfill their information needs. Although widespread, the traditional model for search result pages is only satisfactory if the user knows quite precisely how to phrase their query to match their intended information. We propose a new model for search page results, which goes beyond providing a navigable list of visualization search results, by implicitly generating related queries to expand the search space and progressively disclosing the corresponding results.

[pt] Esta dissertação descreve um sistema desenvolvido que permite a criação e execução de consultas a partir de palavras-chave sobre um banco de dados relacional. O sistema recebe palavras-chave quaisquer e tenta criar consultas que podem ser executadas em um Sistema de Gerenciamento de Banco de dados (SGBD). Para realizar esta geração automática de consultas o sistema utiliza os dados do catálogo da base de origem. O sistema permite assim efetuar consultas em um SGBD sem o conhecimento de uma linguagem de consultas, como SQL, e sem conhecimento do modelo do banco de dados. / [en] This dissertation describes a developed system that allows the creation and execution of searches from keywords in a relational database. The system receives any keywords and tries to create queries that can be executed in database. To perform this automatic generation of queries the system uses the information of the catalogue of the source database. The system allows to make queries in a database without the knowledge of a language queries, like SQL, and the model from the database.

O presente trabalho tem por objetivo a proposição de uma abordagem para gestão integrada da operação do sistema elétrico em tempo real pelo diagnóstico da interrupção e determinação de planos de atenuação dos efeitos pela definição da topologia do sistema, com propostas de cortes seletivos da carga em condições de esgotamento da capacidade de transferência. A metodologia proposta abrange sistemas elétricos de grande porte e de diferentes níveis de tensão, tais como sistemas de sub-transmissão e distribuição, simultaneamente e com geração distribuída. Como técnica de solução é aplicada a Busca Tabu para minimização do total de seções desconectadas (desenergizadas) e o número de manobras realizadas para atendimento em casos contingenciais, com atendimento de clientes prioritários e alívio de carga e geração distribuída. A codificação e estrutura de dados aplicados propiciam uma melhor eficiência computacional, favorecendo a aplicação em sistemas operacionais de tempo real. A modelagem proposta é avaliada em sistemas de testes adaptados da literatura, demonstrando a qualidade, robustez e eficiência computacional nos resultados obtidos da abordagem proposta. / The present work aims at proposing an automatic computational methodology to electrical systems operational management in real time via the interruption diagnosis and effect attenuation plan definition by means of system topology determination with load curtailment in load transference capacity exhaustion conditions. The proposed methodology tackles large electrical systems with different voltage levels, such as sub-transmission and distribution systems simultaneously with distributed generators. The Tabu Search is applied to minimize the out-of-service area and the number of switching operations during contingencies with priority customer, load curtailment and distributed generators. The software codification and data structure applied provide computational efficiency, favoring the application to electrical systems operation in real time and the proposed model is validated with test systems from the literature, ensuring the computational efficiency and quality of results.

A complexidade dos dados armazenados em grandes bases de dados aumenta sempre, criando a necessidade de novas formas de consulta. As consultas por similaridade vêm apresentando crescente interesse para tratar de dados complexos, sendo as mais representativas a consulta por abrangência (\'R IND. q\' Range query) e a consulta aos k-vizinhos mais próximos (k-\'NN IND. q\' k-Nearest Neighboor query). Até recentemente, essas consultas não estavam disponíveis nos Sistemas de Gerenciamento de Bases de Dados (SGBD). Agora, com o início de sua disponibilidade, tem se tornado claro que os operadores de busca fundamentais usados para executá-las não são suficientes para atender às necessidades das aplicações que as demandam. Assim, estão sendo estudadas variações e extensões aos operadores fundamentais, em geral voltados às necessidades de domínios de aplicações específicas. Além disso, os seguintes problemas vêm impactando diretamente sua aceitação por parte dos usuários e, portanto, sua usabilidade: (i) os operadores fundamentais são pouco expressivos em situações reais; (ii) a cardinalidade dos resultados tende a ser grande, obrigando o usuário analisar muitos elementos; e (iii) os resultados nem sempre atendem ao interesse do usuário, implicando na reformulação e ajuste frequente das consultas. O objetivo desta dissertação é o desenvolvimento de uma técnica inédita para exibir um grau de variedade nas respostas às consultas aos k-vizinhos mais próximos em domínios de dados métricos, explorando aspectos de diversidade em extensões dos operadores fundamentais usando apenas as propriedades básicas do espaço métrico sem a solicitação de outra informação por parte do usuário. Neste sentido, são apresentados: a formalização de um modelo de variedade que possibilita inserir diversidade nas consultas por similaridade sem a definição de parâmetros por parte do usuário; um algoritmo incremental para responder às consultas aos k-vizinhos mais próximos com variedade; um método de avaliação de sobreposição de variedade para as consultas por similaridade. As propriedades desses resultados permitem usar as técnicas desenvolvidas para apoiar a propriedade de variedade nas consultas aos k-vizinhos mais próximos em Sistemas de Gerenciamento de Bases de Dados / The data being collected and generated nowadays increases not only in volume, but also in complexity, leading to the need of new query operators. Similarity queries are one of the most pursued resources to retrieve complex data. The most studied operators to perform similarity are the Range Query (\'R IND.q\') and the k-Nearest Neighbor Query (k-\'NN IND. q\'). Until recently, those queries were not available in the Database Management Systems. Now they are starting to become available, but since its earliest applications to develop real systems, it became clear that the basic similarity query operators are not enough to meet the requirements of the target applications. Therefore, new variations and extensions to the basic operators are being studied, although every work up to now is only pursuing the requirements of specific application domains. Furthermore, the following issues are directly impacting their acceptance by users and therefore its usability: (i) the basic operators are not expressive in real situations, (ii) the result-set cardinality tends to be large, imposing to the user the need to analyze to many elements, and (iii) the results do not always meet the users interest, resulting in the reformulation and adjustment of the queries. The goal of this dissertation is the development of a novel technique to enable a degree of variety the answers of k-nearest neighbor queries in metric spaces, investigating aspects of diversity in extensions of the basic operators using only the properties of metric spaces, never requesting extra information from the user. In this monograph, we present: the formalization of the variety model that allows to support diversity in similarity queries without requiring diversification parameters from the user; a greedy algorithm to obtain answers for similarity queries to the k-nearest neighbors with variety; an evaluation method to assess the diversification ratio existing on a subset of elements in metric space. The properties of those results allow using our proposed techniques to support variety in k-nearest neighbor queries in Database Management Systems

O presente trabalho trata da solução para o problema da elaboração de programações de transporte do sistema de distribuição de materiais da Força Aérea Brasileira (FAB). Essas programações de transporte consistem em definir os roteiros de entrega e coleta de materiais a serem realizadas simultaneamente em cada local de entrega/coleta a partir de um centro de distribuição, considerando-se a frota de veículos homogênea. Isto é característico de um Problema de Roteirização de Veículos com Coletas e Entregas Simultâneas (PRVCES). A gestão do sistema de distribuição física da FAB considera a complexidade desse sistema e os dados relativos às demandas de transporte de carga em cada um desses locais para elaborar as programações de transporte. Essas programações são elaboradas tendo em vista os limites de capacidade dos veículos, as características físicas das cargas e as prioridades de embarque. O gestor desse sistema possui boa visibilidade das demandas de transporte, porém, devido à grande quantidade de informações disponíveis e à elevada complexidade desse sistema, é impossível elaborarem-se manualmente programações de transporte que resultem em viagens de distribuição eficientes. O PRVCES foi resolvido por meio da meta-heurística Busca Dispersa (do inglês Scatter Search) integrada com a meta-heurística Descida em Vizinhança Variável (do inglês Variable Neighborhood Descent) utilizada como método de melhoria das soluções. Os resultados superaram ou se igualaram a alguns dos obtidos por outros autores para os mesmos problemas de teste com as mesmas restrições, o que demonstra que a Busca Dispersa implementada é competitiva para solucionar o PRVCES. Quanto à aplicação na FAB, os resultados mostraram que a utilização do método de solução desenvolvido resultará em programações de transporte elaboradas em curto tempo de processamento e que estas incidirão positivamente sobre a eficiência do sistema de distribuição de materiais da FAB. / This work deals with the solution to the problem of drawing up transport schedules in the material distribution system of the Brazilian Air Force (BAF). These transport schedules consist in defining the routes for material pickup and delivery to be accomplished simultaneously in each delivery/pickup location from a distribution center, considering a homogeneous fleet of vehicles. This is characteristic of a Vehicle Routing Problem with Simultaneous Delivery and Pick-up (VRPSDP). The management of the physical distribution of BAF considers the complexity of this system and the data regarding the cargo transport demands in each one of those locations to draw up transport schedules. These schedules are drawn up regarding the capacity limits of the vehicles, the physical characteristics of the cargoes and the shipping priorities. A good visibility of transport demands in each location is available to the manager of this system, but due to the great quantity of data to deal with and the high complexity of the physical distribution system of BAF, it is impossible to draw up transport schedules that result in efficient distribution trips. The VRPSDP was solved by means of the Scatter Search meta-heuristic integrated with the Variable Neighborhood Descent meta-heuristic as the solution improvement method. The results exceeded or equaled some of those obtained by other authors using the same test problems with the same restrictions, what indicates that the implemented Scatter Search is competitive to solve the VRPSDP. As for the application in the BAF, the results showed that using the solution method developed will result in schedules drawn up in short processing time and focused on the efficiency of the material distribution system of the BAF.