Algoritmos multi-objetivos para la optimización de una secuencia de matrices generadoras en computación cuántica topológica

Quantum Computing is a relatively modern field which simulates quantum computation conditions. Moreover, it can be used to estimate which quasiparticles would endure better in a quantum environment. Topological Quantum Computing (TQC) is an approximation for reducing the quantum decoherence problem1, which is responsible for error appearance in the representation of information. This project tackles specific instances of TQC problems using MOEAs (Multi-objective Optimization Evolutionary Algorithms). A MOEA is a type of algorithm which will optimize two or more objectives of a problem simultaneously, using a population based approach. We have implemented MOEAs that use probabilistic procedures found in EDAs (Estimation of Distribution Algorithms), since in general, EDAs have found better solutions than ordinary EAs (Evolutionary Algorithms), even though they are more costly. Both, EDAs and MOEAs are population-based algorithms. The objective of this project was to use a multi-objective approach in order to find good solutions for several instances of a TQC problem. In particular, the objectives considered in the project were the error approximation and the length of a solution. The tool we used to solve the instances of the problem was the multi-objective framework PISA. Because PISA has not too much documentation available, we had to go through a process of reverse-engineering of the framework to understand its modules and the way they communicate with each other. Once its functioning was understood, we began working on a module dedicated to the braid problem. Finally, we submitted this module to an exhaustive experimentation phase and collected results.

Proposição e análise de modelos híbridos para o problema de escalonamento de produção em oficina de máquinas

Nas últimas décadas, o problema de escalonamento da produção em oficina de máquinas, na literatura referido como JSSP (do inglês Job Shop Scheduling Problem), tem recebido grande destaque por parte de pesquisadores do mundo inteiro. Uma das razões que justificam tamanho interesse está em sua alta complexidade. O JSSP é um problema de análise combinatória classificado como NP-Difícil e, apesar de existir uma grande variedade de métodos e heurísticas que são capazes de resolvê-lo, ainda não existe hoje nenhum método ou heurística capaz de encontrar soluções ótimas para todos os problemas testes apresentados na literatura. A outra razão basea-se no fato de que esse problema encontra-se presente no diaa- dia das indústrias de transformação de vários segmento e, uma vez que a otimização do escalonamento pode gerar uma redução significativa no tempo de produção e, consequentemente, um melhor aproveitamento dos recursos de produção, ele pode gerar um forte impacto no lucro dessas indústrias, principalmente nos casos em que o setor de produção é responsável por grande parte dos seus custos totais. Entre as heurísticas que podem ser aplicadas à solução deste problema, o Busca Tabu e o Multidão de Partículas apresentam uma boa performance para a maioria dos problemas testes encontrados na literatura. Geralmente, a heurística Busca Tabu apresenta uma boa e rápida convergência para pontos ótimos ou subótimos, contudo esta convergência é frequentemente interrompida por processos cíclicos e a performance do método depende fortemente da solução inicial e do ajuste de seus parâmetros. A heurística Multidão de Partículas tende a convergir para pontos ótimos, ao custo de um grande esforço computacional, sendo que sua performance também apresenta uma grande sensibilidade ao ajuste de seus parâmetros. Como as diferentes heurísticas aplicadas ao problema apresentam pontos positivos e negativos, atualmente alguns pesquisadores começam a concentrar seus esforços na hibridização das heurísticas existentes no intuito de gerar novas heurísticas híbridas que reúnam as qualidades de suas heurísticas de base, buscando desta forma diminuir ou mesmo eliminar seus aspectos negativos. Neste trabalho, em um primeiro momento, são apresentados três modelos de hibridização baseados no esquema geral das Heurísticas de Busca Local, os quais são testados com as heurísticas Busca Tabu e Multidão de Partículas. Posteriormente é apresentada uma adaptação do método Colisão de Partículas, originalmente desenvolvido para problemas contínuos, onde o método Busca Tabu é utilizado como operador de exploração local e operadores de mutação são utilizados para perturbação da solução. Como resultado, este trabalho mostra que, no caso dos modelos híbridos, a natureza complementar e diferente dos métodos Busca Tabu e Multidão de Partículas, na forma como são aqui apresentados, da origem à algoritmos robustos capazes de gerar solução ótimas ou muito boas e muito menos sensíveis ao ajuste dos parâmetros de cada um dos métodos de origem. No caso do método Colisão de Partículas, o novo algorítimo é capaz de atenuar a sensibilidade ao ajuste dos parâmetros e de evitar os processos cíclicos do método Busca Tabu, produzindo assim melhores resultados.

Simulações de problemas inversos com aplicações em engenharia nuclear usando técnicas de transporte de partículas neutras monoenergéticas na formulação unidimensional de ordenadas discretas

Neste trabalho, três técnicas para resolver numericamente problemas inversos de transporte de partículas neutras a uma velocidade para aplicações em engenharia nuclear são desenvolvidas. É fato conhecido que problemas diretos estacionários e monoenergéticos de transporte são caracterizados por estimar o fluxo de partículas como uma função-distribuição das variáveis independentes de espaço e de direção de movimento, quando os parâmetros materiais (seções de choque macroscópicas), a geometria, e o fluxo incidente nos contornos do domínio (condições de contorno), bem como a distribuição de fonte interior são conhecidos. Por outro lado, problemas inversos, neste trabalho, buscam estimativas para o fluxo incidente no contorno, ou a fonte interior, ou frações vazio em barras homogêneas. O modelo matemático usado tanto para os problemas diretos como para os problemas inversos é a equação de transporte independente do tempo, a uma velocidade, em geometria unidimensional e com o espalhamento linearmente anisotrópico na formulação de ordenadas discretas (SN). Nos problemas inversos de valor de contorno, dado o fluxo emergente em um extremo da barra, medido por um detector de nêutrons, por exemplo, buscamos uma estimativa precisa para o fluxo incidente no extremo oposto. Por outro lado, nos problemas inversos SN de fonte interior, buscamos uma estimativa precisa para a fonte armazenada no interior do domínio para fins de blindagem, sendo dado o fluxo emergente no contorno da barra. Além disso, nos problemas inversos SN de fração de vazio, dado o fluxo emergente em uma fronteira da barra devido ao fluxo incidente prescrito no extremo oposto, procuramos por uma estimativa precisa da fração de vazio no interior da barra, no contexto de ensaios não-destrutivos para aplicações na indústria. O código computacional desenvolvido neste trabalho apresenta o método espectronodal de malha grossa spectral Greens function (SGF) para os problemas diretos SN em geometria unidimensional para gerar soluções numéricas precisas para os três problemas inversos SN descritos acima. Para os problemas inversos SN de valor de contorno e de fonte interior, usamos a propriedade da proporcionalidade da fuga de partículas; ademais, para os problemas inversos SN de fração de vazio, oferecemos a técnica a qual nos referimos como o método físico da bissecção. Apresentamos resultados numéricos para ilustrar a precisão das três técnicas, conforme descrito nesta tese.

Problemas inversos aplicados à identificação de parâmetros hidrodinâmicos de um modelo do estuário do rio Macaé

Esta tese tem por objetivo propor uma estratégia de obtenção automática de parâmetros hidrodinâmicos e de transporte através da solução de problemas inversos. A obtenção dos parâmetros de um modelo físico representa um dos principais problemas em sua calibração, e isso se deve em grande parte à dificuldade na medição em campo desses parâmetros. Em particular na modelagem de rios e estuários, a altura da rugosidade e o coeficiente de difusão turbulenta representam dois dos parâmetros com maior dificuldade de medição. Nesta tese é apresentada uma técnica automatizada de estimação desses parâmetros através deum problema inverso aplicado a um modelo do estuário do rio Macaé, localizado no norte do Rio de Janeiro. Para este estudo foi utilizada a plataforma MOHID, desenvolvida na Universidade Técnica de Lisboa, e que tem tido ampla aplicação na simulação de corpos hídricos. Foi realizada uma análise de sensibilidade das respostas do modelo com relação aos parâmetros de interesse. Verificou-se que a salinidade é uma variável sensível a ambos parâmetros. O problema inverso foi então resolvido utilizando vários métodos de otimização através do acoplamento da plataforma MOHID a códigos de otimização implementados em Fortran. O acoplamento foi realizado de forma a não alterar o código fonte do MOHID, possibilitando a utilização da ferramenta computacional aqui desenvolvida em qualquer versão dessa plataforma, bem como a sua alteração para o uso com outros simuladores. Os testes realizados confirmam a eficiência da técnica e apontam as melhores abordagens para uma rápida e precisa estimação dos parâmetros.

La crítica de Ortega y Gasset a la modernidad y su lugar en la filosofía contemporánea. Problemas onto-epistemológicos

361 p.

Vozes na colônia: um estudo discursivo do dicionário geral de língua

Como gênero, o dicionário inscreve-se na sociedade entre as obras de autoridade, que servem como referência para a construção dos mais diferentes gêneros. Além disso, encerra um discurso pedagógico, já que, por meio das definições, consulentes partilham do conhecimento detido pelo lexicógrafo. O dicionário é também um gênero múltiplo, formado por diferentes subgêneros, como o verbete e os textos de abertura (prefácio, apresentação, detalhamento). Espécie de colônia, que agrega outros textos, define-se também por suas características formais bem marcadas, como a alfabetação e a composição por verbetes. Múltiplo por sua própria natureza e sujeito ao dialogismo da enunciação, o dicionário é atravessado por muitas vozes e enunciadores, não apenas os próprios redatores, mas também outras obras de referência, técnicas ou de outras línguas. Essas vozes são costuradas pelo dicionarista, figura do discurso que gerencia os enunciados, envoltos na expectativa da neutralidade da descrição isenta. É nosso grande interesse observar em termos práticos quais são as fronteiras entre o discurso aparentemente isento que se pretende que o dicionário tenha e as brechas de onde emergem outras vozes que povoam essa colônia. Para buscá-las, valemo-nos basicamente dos estudos de polifonia de Ducrot, da noção de ethos de Maingueneau e Charaudeau e das formas de modalização que Castilho e Castilho (2002) arrolaram em seu estudo sobre os advérbios na Gramática do português falado, volume II. Por meio da pesquisa reversa com base nos termos modalizadores de Castilho e Castilho no Dicionário Aurélio da língua portuguesa (DALP, 2010) e no Dicionário Houaiss da língua portuguesa (DHLP, 2009), buscamos partir da definição para as entradas, identificando os enunciadores que se mostram ou se escondem, afiançam ou refutam, negam ou afirmam uma proposição. Por meio dessas ocorrências, podemos chegar a enunciados postos e pressupostos e explorar diferentes aspectos da enunciação, desnudando parte das vozes que povoam essa colônia

Implementação paralela do algoritmo iterativo de busca do parâmetro de regularização ótimo para o funcional de Tikhonov no problema de restauração de imagens

O uso de técnicas com o funcional de Tikhonov em processamento de imagens tem sido amplamente usado nos últimos anos. A ideia básica nesse processo é modificar uma imagem inicial via equação de convolução e encontrar um parâmetro que minimize esse funcional afim de obter uma aproximação da imagem original. Porém, um problema típico neste método consiste na seleção do parâmetro de regularização adequado para o compromisso entre a acurácia e a estabilidade da solução. Um método desenvolvido por pesquisadores do IPRJ e UFRJ, atuantes na área de problemas inversos, consiste em minimizar um funcional de resíduos através do parâmetro de regularização de Tikhonov. Uma estratégia que emprega a busca iterativa deste parâmetro visando obter um valor mínimo para o funcional na iteração seguinte foi adotada recentemente em um algoritmo serial de restauração. Porém, o custo computacional é um fator problema encontrado ao empregar o método iterativo de busca. Com esta abordagem, neste trabalho é feita uma implementação em linguagem C++ que emprega técnicas de computação paralela usando MPI (Message Passing Interface) para a estratégia de minimização do funcional com o método de busca iterativa, reduzindo assim, o tempo de execução requerido pelo algoritmo. Uma versão modificada do método de Jacobi é considerada em duas versões do algoritmo, uma serial e outra em paralelo. Este algoritmo é adequado para implementação paralela por não possuir dependências de dados como de Gauss-Seidel que também é mostrado a convergir. Como indicador de desempenho para avaliação do algoritmo de restauração, além das medidas tradicionais, uma nova métrica que se baseia em critérios subjetivos denominada IWMSE (Information Weighted Mean Square Error) é empregada. Essas métricas foram introduzidas no programa serial de processamento de imagens e permitem fazer a análise da restauração a cada passo de iteração. Os resultados obtidos através das duas versões possibilitou verificar a aceleração e a eficiência da implementação paralela. A método de paralelismo apresentou resultados satisfatórios em um menor tempo de processamento e com desempenho aceitável.

Bideratze arazoen ebazpenerako aplikatutako algoritmo metaheuristikoen diseinu, inplementazio eta konparaketa.

[EU]Proiektu honen helburua sare ezberdinetan algoritmo metaheuristikoen erabileraren bitartez bideratze arazoak ebaztea eta aztertzea da. Helburu honetarako erabiliko diren algoritmoak Coral Reefs Optimization eta Firefly Algorithm dira. Bi algoritmoak Python erabiliz inplementatuko dira, baita sareak simulatzen dituen programa ere. Modu honetan, algoritmo bakoitzaren gaitasuna aztertuko da sareko bi punturen arteko bide bideragarri bat, zeinek ezarritako murrizketak betetzen dituen, aurkitzeko; prozesu hau ausaz sortutako simulatutako sare batean oinarrituz garatuko da. Honen bitartez, arazo honen ebazpenerako algoritmo bakoitza egokia den eta bietariko zein den egokiena ondorioztatu ahalko da.

Problemas inversos em processos difusivos com retenção

Um Estudo para a solução numérica do modelo de difusão com retenção, proposta por Bevilacqua et al. (2011), é apresentado, bem como uma formulação implícita para o problema inverso para a estimativa dos parâmetros envolvidos na formulação matemática do modelo. Através de um estudo minucioso da análise de sensibilidade e do cálculo do coeficiente de correlação de Pearson, são identificadas as chances de se obter sucesso na solução do problema inverso através do método determinístico de Levenberg-Marquardt e dos métodos estocásticos Algoritmo de Colisão de Partículas (Particle Collision Algorithm - PCA) e Evolução Diferencial (Differential Evolution - DE). São apresentados os resultados obtidos através destes três métodos de otimização para três casos de conjunto de parâmetros. Foi observada uma forte correlação entre dois destes três parâmetros, o que dificultou a estimativa simultânea dos mesmos. Porém, foi obtido sucesso nas estimativas individuais de cada parâmetro. Foram obtidos bons resultados para os fatores que multiplicam os termos diferenciais da equação que modela o fenômeno de difusão com retenção.

Problemas de bancarrota: reglas y axiomas

(ES)El trabajo tratará de explicar el problema de bancarrota (asignación de recursos escasos) y explicar los diferentes tipos de reglas de reparto existentes y axiomas.

A pós-graduação em Estudos de Problemas Brasileiros na UERJ: uma reflexão sociológica sobre um projeto de socialização política no Brasil

Esta tese tem como objetivo principal analisar o processo de montagem e desmontagem de um projeto de pós-graduação em Estudo de Problemas Brasileiros, desenvolvido na UERJ em meados dos anos 70, que visava a socialização política dos jovens na ideologia do regime militar. A UERJ foi berço para o desenvolvimento dos cursos de Especialização e Mestrado em EPB, que sobreviveram até os primeiros anos do regime democrático, nos anos 80. Defende-se nesta tese que a pós-graduação em EPB da UERJ expressa o transplante de um projeto de Mestrado em EPB criado na Escola Superior de Guerra e fundamentado na Doutrina de Segurança Nacional, com vistas a garantir a reprodução da ideologia do regime militar, através da projeção sobre o campo educacional-universitário. Para compreender o referido processo de transplante, com seus respectivos interesses, mostrou-se necessário explicitar as relações de colaboração existentes entre autoridades da UERJ e da ESG a partir dos anos 60 e as próprias condições de possibilidade para a UERJ, e não outra universidade, ter sido palco para o estabelecimento dessas relações e do desenvolvimento da única experiência de pós-graduação stricto sensu em EPB no Brasil. Esta tese sustenta-se sobre a análise de fontes primárias relativas aos cursos de Especialização e Mestrado em EPB da UERJ e aos cursos desenvolvidos na ESG no início dos anos 70. Fontes secundárias também foram importantes para remontar a história da UERJ, do regime militar e do Estudo de Problemas Brasileiros no país. O marco temporal deste estudo compreende cerca de duas décadas, indo do final dos anos 60, quando as relações entre civis e militares da UERJ e ESG começaram a ser tecidas, até o final dos anos 80, quando foram extintos os cursos de Especialização e Mestrado em EPB na UERJ.

Contributions to Ensemble Classifiers with Image Analysis Applications

134 p.

Estratégias e falhas na construção do sentido textual: análise dos problemas de progressão argumentativa no vestibular

O presente estudo parte da análise de uma amostra de 100 redações produzidas no exame de Vestibular da UERJ/2002. Tem por objetivo estabelecer critérios para o reconhecimento dos problemas de progressão argumentativa. Com base nas teorias propostas em Lingüística Textual e Análise do Discurso discutiram-se as noções de Cognição, Textualidade, Argumentação e coerência. Apresentou-se uma proposta metodológica de Produção Textual no Ensino Médio e exercícios didáticos. Os resultados da pesquisa apontam para a necessidade de que os recentes estudos sobre Cognição, Textualidade, Argumentação, Progressão e Métodos de Produção Textual sejam divulgados, debatidos e absorvidos pelos profissionais que exercem o ensino da disciplina

Reporteros Sin Fronteras: la defensa internacional de la libertad de expresión y sus problemas.

El trabajo analiza en profundidad la labor de Reporteros Sin Fronteras en defensa de la libertad de expresión en el ámbito internacional. Estudia su estructura, sus actividades principales así como los problemas asociados.

Sociologia pública: imaginação sociológica brasileira e problemas públicos

Esta Tese objetiva analisar a relação entre a imaginação sociológica brasileira e os problemas públicos do país. Tomando como base a análise da produção de livros de sociologia publicados no Brasil entre 1940 e 2012, partimos da hipótese segundo a qual a imaginação sociológica brasileira tem, desde seu processo inicial de institucionalização, se mostrado responsiva e normativa em relação aos problemas públicos mais prementes colocados em cada conjuntura política. Em diálogo com a proposta da sociologia pública formulada originalmente por Michael Burawoy, nos Estados Unidos, procuramos demonstrar que uma experiência sociológica periférica, como a brasileira, marcada pela forte interdependência entre sociologia profissional e sociologia pública, possibilita repensar diferentes formas de imaginação sobre a noção de sociologia pública, tanto analítica quanto normativamente, ampliando suas bases teóricas e práticas. Objetivamos, nesse sentido, propor uma agenda intelectual em torno da sociologia pública voltada para a construção de um cosmopolitismo de conexões, que procure articulações entre o nacional e o universal na compreensão e enfrentamento de problemas públicos, para a qual a experiência sociológica brasileira tem muito para contribuir.