A agricultura foi responsável por transformar os modos de vida há milhares de anos atrás. Mais recentemente, a transformação desencadeada pela agricultura ocorreu através da modernização de seus processos produtivos. Em território brasileiro, a modernização agrícola possibilitou amplamente o cultivo de soja. A alta demanda e os bons preços no mercado internacional incitaram a promoção de políticas de incentivo ao cultivo de soja, principalmente no bioma Cerrado. Ademais os benefícios econômicos, a sojicultura realizada nos moldes da modernização agrícola brasileira, com grandes aportes mecânicos e químicos, e manutenção da estrutura fundiária causa impactos ambientais e sociais. Desmatamento, poluição de cursos d’água, erosão, compactação de solos, intoxicação e concentração de terra são alguns desses problemas. No presente trabalho, procurou-se traçar o perfil e verificar as percepções e práticas de um grupo de produtores de soja, isto é, sojicultores, atores sociais envolvidos com o cultivo de soja, em torno de sua atividade produtiva e do meio ambiente. A pesquisa se realizou no município maior produtor de soja de Goiás, Rio Verde, cuja vegetação nativa é típica de Cerrado. Também se procurou verificar a existência e a situação dos problemas ambientais mais percebidos pelo grupo de sojicultores em Rio Verde. Para alcançar tais objetivos, aplicou-se questionário a um grupo de 50 sojicultores em 3 grandes lojas revendedoras de produtos agropecuários de Rio Verde. Posteriormente, os dados foram processados pelo programa computacional EPI INFO e analisados. De forma geral, os questionários revelaram que o grupo pesquisado cultivava soja nos padrões verificados no Cerrado, isto é, em grandes propriedades e intensivo em mecanização e agrotóxicos. Em relação às percepções e às práticas, constatou-se que de uma forma geral, a percepção ambiental dos sojicultores entrevistados não necessariamente influenciava na adoção de práticas agrícolas sustentáveis. A adoção do plantio direto, que apregoa a mitigação de impactos da agricultura no ambiente, é sinal de uma agricultura mais sustentável, apesar da exigência de maiores quantidades de herbicidas. Desmatamento, poluição das águas, erosão e intoxicação foram os problemas ambientais mais percebidos pelos entrevistados. A verificação da existência e situação desses problemas ocorreu através de mapas de uso do solo de Rio Verde dos anos 1975, 1989 e 2005, dos autos de infração emitidos por órgãos de fiscalização ambiental, dos resultados das análises de resíduos de agrotóxicos na água destinada ao abastecimento público do município e dos casos de intoxicação por agrotóxico de uso agrícola no município. Por falta de dados não foi possível conferir a presença de erosão. A presença e gravidade do desmatamento, que ocorreu entre 1975 e 2005, puderam ser detectadas pelos dados analisados. Já os dados sobre intoxicação, por possivelmente estarem subnotificados, revelaram um problema de saúde pública. Concluiu-se a necessidade de ações pelo poder público para que haja uma verdadeira fiscalização ambiental em Rio Verde, a tomada de medidas que melhorem a notificação de casos de intoxicação, e a promoção de incentivos àqueles agricultores que respeitam as leis ambientais. Também se faz necessário o desenvolvimento de técnicas agrícolas mais sustentáveis dos pontos de vista econômico, produtivo, social e ambiental. / Agriculture was responsible for transforming the ways of life millions of years ago. More recently, the transformation promoted by agriculture happened through the modernization of its productive processes. In Brazilian territory, the agricultural modernization made possible soybean growing. The strong demand and the good prices at the international market motivated incentive policies for soybean growing, mainly at the Cerrado biome. Besides the economic benefits, soybean growing conducted through Brazilian agriculture modernization, with huge mechanical and chemical inputs, and the maintenance of the land distribution structure caused environmental and social impacts. Deforestation, pollution of waters, soil erosion and depletion, intoxication and land concentration are some of these problems. In the present work, the aim was to outline the profile and verify the perceptions and practices of a group of soybean-planters, social actors involved with the growing of soybean, along its productive activity and the environment. The research was done at the largest soybean grower municipality of Goiás, Rio Verde, with native vegetation typical of Cerrado. It also aimed to verify the existence and the situation of the most perceived environmental problems by the group of soybean-planters in Rio Verde. To reach those objectives, a questionnaire was applied to a group of 50 soybean-planters at 3 big agricultural products reselling stores of Rio Verde. Data obtained was processed by EPI INFO computer program and analyzed. Broadly speaking, the questionnaire revealed that the investigated group grew soybean into the Cerrado patterns, which means, on large properties with intensive use of mechanization and pesticides. About the perceptions and practices, it was verified that, broadly speaking, the environmental perception of the interviewed soybean-planters not necessarily influenced the adoption of sustainable agricultural practices. The no-till system adoption, that reduces agricultural impacts on the environment, is a signal of a more sustainable agriculture, although it demands greater amounts of herbicides. Deforestation, water pollution, soil erosion and intoxication were the most perceived environmental problems by the interviewees. The verification of the existence and situation of these problems was done through maps of Rio Verde’s land use of the years 1975, 1989 and 2005; by illegal deforestation infractions issued by environmental control offices, by the results of pesticides remains analyses in the drinking water of the city, and by the intoxication cases by pesticides of agricultural use at the municipality. Soil erosion couldn’t be checked due to lack of data. The deforestation presence, that took place between 1975 e 2005, and its seriousness, could be detected by the analyzed data. The intoxication data, that were probably under notified, revealed a public health problem. As conclusion it was emphasized the need of public actions in order to promote a better environmental control in Rio Verde, the adoption of measures that would improve the notification of intoxication cases, and the promotion of incentives for those planters that respect the environmental laws. It is also necessary to devise more sustainable agricultural techniques according to the economic, productive, social and environmental points of view.

O objetivo principal da presente dissertação é mostrar a brilhante solução dada por Diderot à questão de Molyneux que foi proposta à Locke por Molyneux e tinha o seguinte enunciado: um cego de nascença que aprendeu a identificar uma esfera e um cubo pelo tato, quando curado e puder enxergar, poderá distinguir estes objetos apenas pela visão? Esta questão leva a discussões filosóficas a respeito de percepções táteis e visuais. Ampliando a abordagem do problema podemos questionar outros pontos, tais como: 1) O cego que recupera a visão pode transferir para o domínio visual o conhecimento adquirido pelo tato?; 2) Pode este homem perceber a tridimensionalidade do espaço?; 3) A percepção do espaço é inata ou adquirida? Diderot vai além desta investigação e questiona: 1) Como o cego recém-operado relataria suas novas sensações?; 2) Por esta investigação específica não seria possível descobrir como o indivíduo adquire seu conhecimento do mundo?; 3) Pode-se afirmar que a moral e a religião dependem da percepção?; 4) Existe alguma relação entre a percepção e a linguagem?; 5) No caso desta relação de fato existir, quais são suas implicações epistemológicas? As considerações de Diderot sobre o tema encontram-se na Carta sobre os cegos para o uso dos que veem (1749). Nesta obra, o filósofo francês mostra como as nossas ideias dependem dos nossos sentidos e conduz um estudo muito interessante sobre a origem do conhecimento e de que maneira a falta de um dos cinco sentidos modifica as noções adquiridas com relação aos conceitos de visão, moralidade e a existência de Deus. Diderot empenha-se em compreender como a abstração de certas percepções pode conduzir um indivíduo a determinados conceitos. Ele retoma várias vezes o problema de Molyneux para analisar como o cego de nascença pode representar o espaço e em todas suas afirmações encontra a solução no conhecimento da geometria. O texto possui três momentos fundamentais. No primeiro, Diderot interroga o cego de nascença Puiseaux e relata como esse cego vive em seu mundo e como ele define objetos dos quais não pode possuir nenhum conhecimento sensível devido à falta de visão. Na segunda parte do texto, Diderot descreve como o matemático Saunderson, cego desde um ano de idade, adquiriu conhecimentos pelo tato como se não fosse privado da visão. Em seguida, Diderot atribui a Saunderson, em um diálogo com o reverendo Holmes, um discurso no qual especula os conceitos de Deus, do bem e do mal em um indivíduo privado de um dos sentidos. Dessa forma, ele mostra como nossas ideias concernentes à existência de Deus e à moral não são absolutas e sim relativas à nossa condição física e à conformação de nossos órgãos. No terceiro momento da Carta, Diderot expõe o problema de Molyneux e reponde à questão, comparando suas considerações com as de Locke e Condillac. / The main objective of this thesis is to show the brilliant solution given by Diderot to Molyneuxs question which was proposed to Locke by Molyneux. It said: a born blind man who learnt to identify a globe and a cube by his touch, when having his sight restored and being able to see, will he be able to distinguish these objects just looking at them? This question leads to philosophical discussions regarding to tactile and visual perceptions. Extending the approach to the problem we can ask other points, such as: 1) Can the blind man who recovers his sight transfer to the visual domain the knowledge acquired by touch?; 2) Can this man perceive the three dimensions of the space?; 3) The perception of space is innate or acquired? Diderot goes further and asks: 1) How would the new-sighted man present his new sensations?; 2) Through this scientific investigation, could it not be possible to discover how an individual acquires his knowledge of the world? ; 3) Can one say that moral and religion depend on perception?; 4) Is there any relation between perception and language?; 5) If this relation really exists, what are its epistemological implications? Diderots accounts on the subject can be found in the Letter on the blind (1749). In this text, the French philosopher shows how our ideas depend on our senses and he guides a very interesting study on the origin of knowledge and how the lack of one of our five senses can modify the acquired notions regarding to the concepts of sight, morality and the existence of God. Diderot strives to understand how the abstraction of some perceptions can lead the individual to certain concepts. He retakes Molyenuxs problem many times to analyse how the born blind man can represent the space and in all his assertions he finds out the solution for the problem in geometry. The text has three fundamental moments. In the first one, Diderot questions the born blind Puiseaux and reports how that blind man lives in his world and how he defines objects of which he cannot have any sensible knowledge due to his lack of vision. In the second part of the text, Diderot describes how the mathematician Saunderson, blind since one year old, acquired knowledge by touch as he was not deprived of sight. After that, Diderot attributes to Saunderson, in a dialogue with Reverend Holmes, a speech in which he speculates the concepts of God, of good and evil in an individual deprived of one of the senses Thus, he demonstrates how our ideas related to the existence of God and to the moral are not absolute, but relative to our physical condition and to the conformation of our organs. In the third moment of the Letter, Diderot exposes Molyneuxs problem and answers to the question, comparing his considerations to Lockes and Condillacs.

Atualmente, podemos perceber que uma grande dependência dos sistemas desenvolvidos sob a seara da criptografia foi instaurada em todos nós. Principalmente no tocante dos sistemas criptográficos de chave pública, que são vastamente utilizados na Internet. No entanto, a criptografia de chave pública viu-se ameaçada e começou a investigar novas fontes de problemas para seus sistemas quando Shor em 1997 desenvolveu um algoritmo de tempo polinomial para fatorar inteiros e para calcular o logaritmo discreto em um computador quântico. Neste contexto, Patarin propõe a função alçapão HFE (Hidden Field Equations), uma trapdoor baseada nos Problemas MQ (Multivariate Quadratic) e IP (Isomorfismo de Polinômios). Tais problemas não são afetados pelo algoritmo de Shor, além disto o Problema MQ foi demonstrado por Patarin e Goubin como sendo NP-completo. Apesar do HFE ter sua versão básica quebrada, ele apresenta variações -- obtidas através de modificadores genéricos -- resistentes aos principais ataques da atualidade. O Quartz -- esquema de assinatura digital baseado no HFEv-, com escolha especial de parâmetros -- é um bom exemplo desta resistência a ataques algébricos que visem a recuperação da chave privada, pois até hoje permanece seguro. Além de também se destacar por gerar assinaturas curtas. Todavia, Joux e Martinet -- baseados em axiomas do Ataque pelo Paradoxo de Aniversário -- provaram que o Quartz é maleável, demonstrando que caso o adversário possua um par (mensagem, assinatura) válido, ele conseguirá obter uma segunda assinatura com 2^(50) computações e 2^(50) chamadas ao oráculo de assinatura, logo muito abaixo dos padrões de segurança atuais que são de, no mínimo, 2^(112). Desta forma, baseado no Quartz, apresentamos um novo esquema de assinatura digital resistente a ataques adaptativos de mensagem escolhida que realizem chamadas ao oráculo aleatório, com um nível de segurança estimado em 2^(112). Nosso criptossistema proporciona, ainda, um ganho de eficiência no algoritmo de verificação de assinatura e na inicialização dos vetores que serão utilizados pelos algoritmos de assinatura e verificação. Além de, também, disponibilizarmos uma implementação do Quartz Original e do Quartz Aprimorado, na linguagem de programação Java. / Today, we can see that a large dependence of the systems developed under the cryptography was introduced in all of us. Especially in terms of public key cryptosystems, which are widely used on the Internet. However, public key cryptography was threatened and began to investigate new sources of problems for their systems when Shor in 1997 developed a polynomial time algorithm for factoring integers and to compute the discrete logarithm in a quantum computer. In this context, Patarin proposed Hidden Field Equations (HFE), a trapdoor based on MQ (Multivariate Quadratic) and IP (Isomorphism of Polynomials) problems. Such problems are not affected by the Shor algorithm, moreover MQ Problem was demonstrate by Patarin and Goubin as NP-complete. Despite the basic HFE has broken, it varies secure, obtained by generic modification. The Quartz -- digital signature scheme based on HFEv-, with special choice of parameters -- is a good example of this resistance to algebraic attacks aimed at the recovery of the private key, because even today remains secure. Furthermore, it also generates short signatures. However, Joux and Martinet -- based on axioms of Birthday Paradox Attack -- proved that Quartz is malleable, showing that if the adversary has a pair (message, signature) valid, he can get a second signature with 2^(50) computations and 2^(50) calls to the signing oracle, so far the current security standards that are at least 2^(112). Thus, based on Quartz, we present a new digital signature scheme, achieving the adaptive chosen message attacks that make calls to the random oracle, with a secure level estimated at 2^(112). Our cryptosystem also provides an efficiency gain in signature verification algorithm and initialization vectors that will be used for signing and verification algorithms. Further we provide an implementation of Original Quartz and Enhanced Quartz in the Java programming language.

Os problemas de corte de estoque consistem em cortar um conjunto de objetos dispon´veis em estoque para produzir um conjunto de itens em quantidades e tamanhos especificados, de modo a otimizar uma fun¸cao objetivo. Tais problemas tem in´umeras aplica¸coes industriais e tem sido bastante estudados na literatura. Tipicamente, problemas de corte tem como principal objetivo a minimiza¸cao das sobras. Entretanto, como a qualidade dos padroes de corte depende diretamente dos tamanhos e quantidades dos itens a serem produzidos, nesta tese, consideramos que se a demanda presente gerar sobras indesej´aveis (nem tao grandes para serem aproveit´aveis, nem tao pequenas para serem perdas aceit´aveis), entao conv´em gerar retalhos (nao comput´aveis como perda) que serao utilizados para produzir itens de demandas futuras. Desta forma, algumas caracter´sticas desej´aveis para uma boa solu¸cao sao definidas e altera¸coes em m´etodos heur´sticos cl´assicos sao apresentadas, de modo que os padroes de corte com sobras indesej´aveis sao alterados. Para os problemas de corte unidimensionais, desenvolvemos procedimentos heur´sticos que consideram o aproveitamento de sobras, mantendo como o principal objetivo a minimiza ¸cao das perdas. Outra abordagem para este problema, considera o caso em que al´em da minimiza¸cao das perdas, os retalhos dispon´veis em estoque devem ter prioridade de uso em rela¸cao aos demais objetos durante o processo de corte. A an´alise do desempenho dos procedimentos heur´sticos propostos quando somente a minimiza¸cao das perdas ´e considerada, ´e realizada com base em exemplos da literatura, exemplos pr´aticos e exemplares gerados aleatoriamente. Para os procedimentos heur´sticos que priorizam o corte dos retalhos do estoque, al´em de exemplares da literatura, simulamos uma situa¸cao em m´ultiplos per´odos na qual problemas de corte de estoque em sucessivos per´odos sao resolvidos. A cada per´odo, um problema para o per´odo seguinte ´e gerado considerando atualiza¸coes do estoque, os retalhos gerados nos per´odos anteriores e uma nova demanda de itens que ´e v gerada aleatoriamente. No caso bidimensional, tamb´em consideramos problemas em que, al´em da perda m´nima, os retalhos dispon´veis em estoque devem ter prioridade de corte em rela¸cao aos demais objetos. Para resolver este problema, altera¸coes foram realizadas na abordagem grafo E/OU e em procedimentos heur´sticos da literatura. A an´alise do desempenho dos procedimentos heur´sticos propostos considera problemas pr´aticos retirados da carteira de pedidos de uma pequena empresa de esquadrias met´alicas. Devido `a dificuldade na an´alise dos procedimentos heur´sticos desenvolvidos que consideram o aproveitamento de sobras (as solu¸coes apresentam caracter´sticas importantes e conflitantes), tamb´em apresentamos neste trabalho uma estrat´egia fuzzy para facilitar a analise das solu¸coes obtidas. Os testes computacionais sao realizados considerando os procedimentos heur´sticos desenvolvidos para os problemas de corte unidimensionais com sobras aproveit´aveis e problemas gerados aleatoriamente / Cutting stock problems consist of cutting a set of available objects in order to produce ordered items in specified amounts and sizes, in such way to optimize an objective function. Such problems have a great number of industrial applications and are widely studied in the literature. Typically, cutting problems have as main objective the minimization of the leftovers. However, since the cutting patterns quality depends directly of the sizes and amounts of the items that will be produced, in this tesis, we consider that if the present demand to generate undesirable waste (not large enough to be used, nor too small to be acceptable waste), then it is better to generate retails (not computed as waste) that will be used to produce items to meet future demands. In this way, some desirable characteristics for a good solution are defined and alterations in classical heuristic methods are presented, such that the cutting patterns with undesirable waste are altered. To the one-dimensional cutting stock problems, we developed heuristic procedures that consider the usable leftovers and preserve as main objective the minimization of the waste. Other approach for this problem considers the case in witch, beside minimal waste, the available retails in stock must be used with priority in relation to the other objects during the cutting process. The performance of the modified heuristics procedures, when only the minimal waste is considered, is observed by solving instances from the literature, practical instances and randomly generated instances. For heuristic procedures that prioritize the cut of retails of the stock, beside the instances from the literature, we simulated a situation in multiple periods in that cutting stock problems in successive periods are solved. In each period, a problem to the next period is generated considering updating of the stock, the retails generated in previous periods and a new demand of items that is randomly generated. For the two-dimensional cutting problems, we also consider problems in that, beside minimization of the waste, the available retails in stock must be used with priority vii in relation to the other objects. To solve this problem, alterations were realized in an AND/OR graph approach and in heuristic procedures of the literature. The performance of the proposed heuristics procedures is observed by solving practical instances provided by a small metallic frameworks industry. Due to difficulty in analyze the heuristic procedures developed for the cutting stock problem with usable leftover (the solutions present important and conflicting characteristics), we also present a fuzzy strategy to facilitate the analysis of the obtained solutions. The computational results are realized considering the developed heuristic procedures to the one-dimensional cutting stock problem with usable leftover and randomly generated instances

Em radioterapia, o espectro de energia é o componente mais importante dos feixes de elétrons. Espectros de energia de elétrons são relevântes para o cálculo acurado da dose, aplicações do sistema de planejamento e simulações realistas. Reconstrução inversa consiste na derivação do espectro de energia de elétrons a partir de curvas de porcentagem de dose em profundidade utilizando um apropiado modelo matemático. Reconstrução inversa é considerada a melhor dentre muitas abordagens porque: i) não requer nenhum equipamento suplementar ou do conhecimento detalhado da geometria e composição do cabeçote do acelerador; ii) equipamentos para a medição de curvas de porcentagem de dose em profundidade estão disponíveis em qualquer clínica e iii) é computacionalmente rápida. Neste trabalho, usou-se o método de reconstrução inversa baseado na sinergia recozimento simulado generalizado-regularização de Tikhonov. A validação da reconstrução foi realizada através do índice gama sob critérios clínicos de aceitação restritivos. Resultados mostraram que os espectros de energia reconstruídos reproduzem com precisão a porcentagem de dose em profundidade clínica bem como valores de dose fora do eixo central. Assim, concluí-se que o método empregado é ecaz para reconstruir espectros de energia que representam efetivamente espectros de energia do acelerador que atingem na supercie do fantoma. Consequentemente, sob certos limites, eles poderiam auxiliar em simulações realistas do tratamento. / In radiotherapy, energy spectrum is the most critical component of any electron beam. Knowledge of energy spectrum is important for accurate dose calculation, treatment planning applications and realistic simulations. Inverse reconstruction derives energy spectrum from the measured percentage depth dose using an appropriate mathematical model. There are several advantages to using inverse reconstruction: i) it does not require any supplementary equipment or detailed knowledge of the geometry head and composition; ii) the equipment for measurement of the percentage depth dose is standard and already available in any clinic and iii) it is computationally fast. In this work, we used the inverse reconstruction method based on the synergy simulated annealing generalized-Tikhonov regularization. Validation of inverse reconstruction was done by comparing the measured and reconstructed percentage depth dose via the gamma index. Results show the reconstructed electron energy spectra accurately reproduce the clinical dose percentage as well as o-axis dose values. Therefore, it was concluded that the method employed is eective to reconstruct energy spectra that eectively represent accelerator energy spectra reaching the phantom surface. Consequently, under certain limits, they could aid in realistic simulations of treatment.

Esta pesquisa tem como objetivo analisar a crítica ateísta à religião no Brasil, mobilizando metodologicamente a discussão de Daniel Cefaï sobre dinâmicas coletivas em torno de problemas públicos. Assim, procuramos demonstrar a regularidade discursiva presente na formulação ateísta brasileira ao identificar seus usos em diferentes arenas. Utilizamos como material empírico, de um lado, os memes produzidos por essa comunidade e depoimentos destinados a ela, que narram a ruptura com um pertencimento religioso; e, de outro, a atuação da Associação Brasileira de Ateus e Agnósticos, seu ativismo jurídico engajado nas discussões a respeito da constitucionalidade da natureza confessional do ensino religioso público. Defendemos a existência de uma sensibilidade ateísta transversal a todas essas arenas, que se adapta por razões pragmáticas. / This research has as its objective to analyse the atheist criticism to religion in Brazil, by resorting to Daniel Cefaï\'s methodological discussions on collective dynamics surrounding public problems. Thereby, we intended to show the discoursive regularity in the Brazilian atheist formulation when identifying its usages in different arenas. As empirical material, we used, in one hand, memes produced by this community and depositions directed to it as well, narrating the rupture with certain religious belonging; on the other hand, the proceedings of the Brazilian Association for Atheists, it\'s \"juridical activism\", engaged in the discussion about the constitutionality of the confessional nature of the teaching of religion in public institutions. In addition, we advocate for the existence of a transversal atheist sensibility in all arenas, that adapts itself for pragmatic reasons.

[pt] Uma filogenia é uma árvore que relaciona unidades taxonômicas, baseada na similaridade de seus conjuntos de características. O problema da filogenia consiste em encontrar uma filogenia com o número mínimo de passos evolutivos. O principal objetivo deste trabalho é desenvolver heurísticas híbridas para este problema. Duas estratégias são propostas. A primeira combina a metaheurística GRASP baseada em uma nova estrutura de vizinhança (k-SPR) proposta neste trabalho com um procedimento VND de busca local. A segunda estratégia híbrida combina algoritmos genéticos com uma estratégia de cruzamento inovadora, a qual é uma extensão da técnica de intensificação denominada reconexão por caminhos que foi originalmente aplicada no contexto de outras metaheurísticas, tais como busca tabu e GRASP. Os experimentos computacionais realizados sobre instâncias geradas aleatoriamente e instâncias da literatura científica mostram que os novos algoritmos são bastante robustos e que superaram os outros algoritmos existentes na literatura em termos de qualidade de solução e tempos computacionais obtidos. / [en] A phylogeny is a tree that relates taxonomic units, based on their similarities over a set of characters. The phylogeny problem consists in finding a phylogeny with the minimum number of evolutionary steps. The main goal of this work is to develop hybrid heuristics for this problem. Two strategies are proposed. The first combines the GRASP metaheuristic using a new neighborhood structure (k-SPR) proposed in this work with a VND local search procedure. The second hybrid strategy combines genetic algorithms with an innovative optimized crossover strategy which is an extension of the path-relinking intensification technique originally applied in the context of other metaheuristics such as tabu search and GRASP. Computational results on randomly generated and benchmark instances are reported, showing that the new heuristics are quite robust and outperform the others algorithms in the literature in terms of solution quality and computational time.

Este trabalho é focado num problema clássico das Ciências e Engenharia, que consiste em cobrir um objeto por esferas de mesmo raio, a ser minimizado. A abordagem prática usual conta com sérias desvantagens. Logo, faz-se necessário trabalhar com isto de forma diferenciada. A técnica proposta aqui envolve a utilização de resultados célebres da geometria algébrica real, que tem como peça central o positivstellensatz de Stengle e, fazendo a devida relação entre esses resultados e otimização com restrições envolvendo representações naturais por somas de quadrados, é possível reduzir o problema original a um de programação semidefinida não linear. Mas, por contar com particularidades que favorecem a aplicação do paradigma de restauração inexata, esta foi a técnica utilizada para resolvê-lo. A versatilidade da técnica e a possibilidade de generalização direta dos objetos envolvidos destacam-se como grandes vantagens desta abordagem, além da visão algébrica inovadora do problema. / This work is focused on a classic problem from Engineering. Basically, it consists of finding the optimal positioning and radius of a set of equal spheres in order to cover a given object. The common approach to this carries some substantial disadvantages, what makes it necessary to nd a dierent way. Here, we explore some renowned results from real algebraic geometry, which has Stengle\'s positivstellensatz as one of its central pieces, and SOS optimization. Once the proper link is made, the original problem can be reduced to a nonlinear semidenite programming one, which has peculiarities that favours the application of an inexact restoration paradigm. We point out the algebraic view and the no use of discretizations as great advantages of this approach, besides the notable versatility and easy generalization in terms of dimension and involved objects.

Made available in DSpace on 2016-07-27T14:19:56Z (GMT). No. of bitstreams: 1 Leticia Nunes Rocha.pdf: 697434 bytes, checksum: 34284c59faa2286d63eff01af4a6082e (MD5) Previous issue date: 2012-05-30 / The aim of this study was to evaluate the effect of the presence/absence variables about the behavior model to solve problems and formulate rules. Twenty-four participants (6 in each of the experiments I and II and 12 in experiment III) were exposed to a task that was to organize a sequence of colors. The first experiment consisted of three conditions: a) presence of the model at the moment to answer, b) absence of the model and detailed instructions, c) absence of the model. Experiment II was almost identical to the previous one, except in the second condition, where the models were present and the participant had detailed instructions. Yet the experiment III was conducted with two groups of participants. In Group A, the models were present of the answer of the participant, in contrast to Group B, where the models were absent. In this experiment no participant had access to any instruction. The results suggest that the presence of the model facilitates the behavior for the solution of problems. / O objetivo do presente estudo foi avaliar o efeito das variáveis presença/ ausência de modelo sobre o comportamento de resolver problemas e formular regras. Vinte e quatro participantes (6 nos experimentos I e II e 12 no Experimento III) foram expostos a uma tarefa que consistia em organizar uma sequência de cores. O Experimento I era constituído de três Condições: a) presença do modelo no momento do responder; b) ausência do modelo + instruções detalhadas; c) ausência do modelo. O Experimento II era praticamente idêntico ao anterior, exceto que na segunda condição, onde os modelos estavam presentes e o participante dispunha de instruções detalhadas. Já o Experimento III, foi realizado com 2 grupos de participantes. No Grupo A, os modelos estavam presentes no momento do participante responder, ao contrario do Grupo B, onde os modelos estavam ausentes. Neste Experimento nenhum participante tinha acesso a qualquer instrução. Os resultados sugerem que a presença do modelo facilita o comportamento de resolução de problemas.

Neste trabalho foi estudado um problema de controle de sistemas lineares com saltos Markovianos sem observação da variável de salto, que pode ser escrito como um problema de otimização de considerável complexidade. As contribuições para a área estão divididas em três aspectos. Um dos avanços foi a elaboração de um contraexemplo para a conjectura de que há somente um mínimo local isolado para o problema. Além disso, foi estudado o problema de otimização intermediário, que consiste em fixar todas as variáveis do problema exceto duas matrizes de ganhos, e os resultados indicam que, com uma pequena alteração na formulação, este é um problema biquadrático. Por fim, novos algoritmos foram elaborados a partir de um método disponível na literatura, chamado de método Variacional, adaptando-o para atualizar os ganhos aos pares, levando a problemas intermediários biquadráticos. Três métodos foram implementados para a resolução destes problemas: dois métodos clássicos de descida, Newton e Gradiente, e uma adaptação do próprio método Variacional. Para a análise dos resultados foram utilizados exemplos gerados aleatoriamente a partir do Gerador de SLSM, que pode ser encontrado na literatura, e o método Variacional como referência para comparação com os métodos propostos / This work addresses a control problem arising in linear systems with Markov jumps without observation of the jump variable and advances in three different aspects. First, it is presented a counterexample to the conjecture that states about the uniqueness of local minimum. Second, the intermediary optimization problem, which sets all the variables of the problem except two arrays of gains, was studied and the results suggested that a slight modification in the formulation makes the intermediary problem a biquadratic one. Finally, new algorithms were developed based on a method available in the literature, which is frequently referred to as the Variational method, adapting it to update the gains in pairs, leading to biquadratic intermediary problems. Three methods were implemented to solve these intermediary problems: two classical descent methods, Newton and Gradient, and an adaptation of the Variational method. To evaluate the performance of the proposed methods, randomly generated examples were used and the Variational method was set as reference for comparing the results