Submitted by camilla martins (camillasmmartins@gmail.com) on 2017-01-27T15:50:37Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese_AvaliacaoAutomaticaQuestoes.pdf: 5106074 bytes, checksum: c401d50ce5e666c52948ece7af20b2c3 (MD5) / Approved for entry into archive by Edisangela Bastos (edisangela@ufpa.br) on 2017-01-30T13:02:31Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese_AvaliacaoAutomaticaQuestoes.pdf: 5106074 bytes, checksum: c401d50ce5e666c52948ece7af20b2c3 (MD5) / Made available in DSpace on 2017-01-30T13:02:31Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese_AvaliacaoAutomaticaQuestoes.pdf: 5106074 bytes, checksum: c401d50ce5e666c52948ece7af20b2c3 (MD5) Previous issue date: 2016-02-05 / Este trabalho investiga o uso de um modelo usando Latent Semantic Analysis (LSA) na avaliação automática de respostas curtas, com média de 25 a 70 palavras, de questões discursivas. Com o surgimento de ambientes virtuais de aprendizagem, pesquisas sobre correção automática tornaram-se mais relevantes, pois permitem a correção mecânica com baixo custo para questões abertas. Além disso, a correção automática permite um feedback instantâneo e elimina o trabalho de correção manual. Isto possibilita criar turmas virtuais com grande quantidade de alunos (centenas ou milhares). Pesquisas sobre avaliação automática de textos estão sendo desenvolvidas desde a década de 60, mas somente na década atual estão alcançando a acurácia necessária para uso prático em instituições de ensino. Para que os usuários finais tenham confiança, o desafio de pesquisa é desenvolver sistemas de avaliação robustos e com acurácia próxima de avaliadores humanos. Apesar de alguns estudos apontarem nesta direção, existem ainda muitos pontos a serem explorados nas pesquisas. Um ponto é a utilização de bigramas com LSA, mesmo que não contribua muito com a acurácia, contribui com a robustez, que podemos definir como confiabilidade2, pois considera a ordem das palavras dentro do texto. Buscando aperfeiçoar um modelo LSA na direção de melhorar a acurácia e aumentar a robustez trabalhamos em quatro direções: primeira, incluímos bigramas de palavras no modelo LSA; segunda, combinamos modelos de co-ocorrência de unigrama e bigramas com uso de regressão linear múltipla; terceira, acrescentamos uma etapa de ajustes sobre a pontuação do modelo LSA baseados no número de palavras das respostas avaliadas; quarta, realizamos uma análise da distribuição das pontuações atribuídas pelo modelo LSA contra avaliadores humanos. Para avaliar os resultados comparamos a acurácia do sistema contra a acurácia de avaliadores humanos verificando o quanto o sistema se aproxima de um avaliador humano. Utilizamos um modelo LSA com cinco etapas: 1) pré- processamento, 2) ponderação, 3) decomposição a valores singulares, 4) classificação e 5) ajustes do modelo. Para cada etapa explorou-se estratégias alternativas que influenciaram na acurácia final. Nos experimentos obtivemos uma acurácia de 84,94% numa avaliação comparativa contra especialistas humanos, onde a correlação da acurácia entre especialistas humanos foi de 84,93%. No domínio estudado, a tecnologia de avaliação automática teve resultados próximos aos dos avaliadores humanos mostrando que esta alcançando um grau de maturidade para ser utilizada em sistemas de avaliação automática em ambientes virtuais de aprendizagem. / This work investigates the use of a model using Latent Semantic Analysis (LSA) In the automatic evaluation of short answers, with an average of 25 to 70 words, of questions Discursive With the emergence of virtual learning environments, research on Automatic correction have become more relevant as they allow the mechanical correction With low cost for open questions. In addition, automatic Feedback and eliminates manual correction work. This allows you to create classes With large numbers of students (hundreds or thousands). Evaluation research Texts have been developed since the 1960s, but only in the The current decade are achieving the necessary accuracy for practical use in teaching. For end users to have confidence, the research challenge is to develop Evaluation systems that are robust and close to human evaluators. despite Some studies point in this direction, there are still many points to be explored In the surveys. One point is the use of bigrasms with LSA, even if it does not contribute Very much with the accuracy, contributes with the robustness, that we can define as reliability2, Because it considers the order of words within the text. Seeking to perfect an LSA model In the direction of improving accuracy and increasing robustness we work in four directions: First, we include word bigrasms in the LSA model; Second, we combine models Co-occurrence of unigram and bigrams using multiple linear regression; third, We added a stage of adjustments on the LSA model score based on the Number of words of the responses evaluated; Fourth, we performed an analysis of the Of the scores attributed by the LSA model against human evaluators. To evaluate the We compared the accuracy of the system against the accuracy of human evaluators Verifying how close the system is to a human evaluator. We use a LSA model with five steps: 1) pre-processing, 2) weighting, 3) decomposition a Singular values, 4) classification and 5) model adjustments. For each stage it was explored Strategies that influenced the final accuracy. In the experiments we obtained An 84.94% accuracy in a comparative assessment against human Correlation among human specialists was 84.93%. In the field studied, the Evaluation technology had results close to those of the human evaluators Showing that it is reaching a degree of maturity to be used in Assessment in virtual learning environments. Google Tradutor para empresas:Google Toolkit de tradução para appsTradutor de sitesGlobal Market Finder.

[pt] Nesta de tese de doutorado é proposta uma metodologia alternativa para obter estratégias ótimas de oferta sob incerteza que maximizam o lucro de um agente em mercados dotados de um leilão de preço uniforme e envelope fechado com multiplos produtos divisíveis. A estratégia ótima de um agente price maker depende amplamente da informação conhecida dos agentes rivais. Reconhecendo que a oferta dos agentes rivais pode desviar do equilíbrio de mercado e é de difícil caracterização probabilística, nós propomos um modelo de otimização robusta dois estágios com restrições de equilíbrio para obter estratégias de oferta ótimas avessas a risco. O modelo proposto é um modelo de otimização de três níveis passível de ser reescrito como uma instância particular de um programa binível com restrições de equilíbrio. Um conjunto de procedimentos é proposto a fim de construir uma formulação equivalente de de nível único adequado para aplicação de algoritmos de Geração de Coluna e Restrição (GCC). Diferentemente de trabalhos publicados anteriormente em modelos de otimização dois estágios, nossa metodologia de solução não aplica o método de GCC para iterativamente identificar os cenários mais violados dos fatores de incerteza, variáveis que são identificadas através de variáveis contínuas. Na metodologia de solução proposta, o algoritmo GCC é aplicado para identificar um pequeno subconjunto de condições de otimalidade para o modelo de terceiro nível capaz de representar as restrições de equilíbrio do leilão na solução ótima do problema master (problema de oferta). Um estudo de caso numérico baseado em mercados de energia de curto prazo é apresentado para ilustrar a aplicabilidade do modelo robusto proposto. Resultados indicam que mesmo em um caso em que é observada uma imprecisão de 1 porcento na oferta de equilíbrio de Nash dos agentes rivais, a solução robusta provê uma redução significativa de risco em uma análise fora da amostra. / [en] We propose an alternative methodology to devise profit-maximizing strategic bids under uncertainty in markets endowed with a sealed-bid uniformprice auction with multiple divisible products. The optimal strategic bid of a price maker agent largely depends on the knowledge (information) of the rivals bidding strategy. By recognizing that the bid of rival competitors may deviate from the equilibrium and are of difficult probabilistic characterization, we proposed a two-stage robust optimization model with equilibrium constraints to devise an risk-averse strategic bid in the auction. The proposed model is a trilevel optimization problem that can be recast as a particular instance of a bilevel program with equilibrium constraints. Reformulation procedures are proposed to construct a single-level-equivalent formulation suitable for column and constraint generation (CCG) algorithm. Differently from previously reported works on two-stage robust optimization, our solution methodology does not employ the CCG algorithm to iteratively identify violated scenarios for the uncertain factors, which in this thesis are obtained through continuous variables. In the proposed solution methodology, the CCG is applied to identify a small subset of optimality conditions for the third-level model capable of representing the auction equilibrium constraints at the optimum solution of the master (bidding) problem. A numerical case study based on short-term electricity markets is presented to illustrate the applicability of the proposed robust model. Results show that even for the case where an impression of 1 percent on the rivals offer at the Nash equilibrium is observed, the robust solution provides a non-negligible risk reduction in out-of-sample analysis.

ANP; FINEP; CAPES; PETROBRAS; MCTI; / Apresentam-se neste trabalho abordagens de solução para a etapa de planejamento do transporte otimizado em uma rede dutoviária real de derivados claros de petróleo. O modelo proposto é o bloco de entrada de uma estrutura de otimização que auxilia no scheduling do transporte de derivados claros de petróleo (derivados de alto valor agregado). A rede dutoviária em questão é composta por 14 áreas (4 refinarias, 2 portos, 6 terminais de distribuição e 2 clientes finais) e 30 dutos bidirecionais interligam essas áreas transportando mais de 35 derivados claros de petróleo. O problema tratado é complexo, portanto utiliza-se da estratégia de decomposição, inicialmente proposta por Boschetto et al. (2010), baseada na integração de diferentes módulos compostos por modelos de Programação Linear Inteira Mista (PLIM) e heurísticas. Essa integração é capaz de resolver o problema proposto, considerando as características particulares da rede. Em síntese, dentre os blocos (módulos) presentes na estratégia, estão os de: (i) planejamento, (ii) Alocação e Sequenciamento; e (iii) Temporização. Soluções são obtidas em tempo computacional reduzido (segundos a poucos minutos) para cenários reais da rede em estudo. Este trabalho é uma evolução do modelo PLIM introduzido por Magatão et al. (2012), levando em conta novas características operacionais, e objetiva detalhar o modelo de planejamento que é responsável pela determinação dos volumes totais que serão movimentados na rede e as rotas que serão utilizadas no transporte. Adicionalmente, faz-se a separação do novo modelo proposto em fases distintas para o estudo do controle das influências e prioridades das variáveis envolvidas no escopo do modelo de planejamento e os reflexos na solução completa do scheduling. Assim, nomeiam-se as duas abordagens propostas de: abordagem em 1 fase e abordagem em 3 fases. O modelo PLIM de planejamento proposto com abordagem temporal contínua toma decisões globais a um nível tático considerando características operacionais para um horizonte de 30 dias. Objetiva-se o balanço de inventário otimizado considerando operações de reversão dos dutos, interfaces entre produtos, operação pulmão/estocagem intermediária, manutenção de tanques (tratamento multíperiodo), degradação, entre outras. As abordagens são comparadas e resultados como a redução do tempo computacional, menores violações de estoque ao final do scheduling e diminuição de operações de reversão são apresentados. / Solution approaches for the planning module of the optimized scheduling of a real-world pipeline network to transport light oil derivatives are presented in this work. The proposed model is the input block of a decomposition strategy which aids the scheduling of products (derivatives with high earned value) transportation. The referred network is composed of 14 areas (4 refinaries, 2 harbors, 2 final clients and 6 depots) and 30 bidirectional pipelines which interconnect those areas transporting more than 35 light oil derivatives. The related problem is complex, thus the proposed model is part of a decomposition strategy, formerly proposed by Boschetto et al. (2010), based on the integration of distinct modules composed of Mixed Integer Linear Programming (MILP) models and heuristics. This integration is able to solve the aforementioned problem, considering all the particular network characteristics. Briefly, among the developed modules are the: (i) Planning, (ii) Assignment and Sequencing and (iii) Timing blocks. Solutions are obtained in a reduced computational time (seconds to few minutes) for real scenarios. This work is an improvement of the MILP model introduced by Magatão et al. (2012), considering new operational characteristics, and it aims to detail the Planning Model which is responsible for determining total volumes that will be transported in the network and the routes that will be required for this transport. Additionally, a division of the new proposed model in distinct stages is made to investigate the control and influence of each variable in both planning and scheduling solution scopes. Therefore, the proposed approaches are defined here as the single-phase approach and the three-phase approach. The continuous-time MILP model gives global decisions at a tactical level taking into account operational characteristics for a 30-day programming horizon. It is intended to reach an optimized mass balance considering operations such as: pipeline reverse flow, contamination between products, surge operation/temporary stock, tank maintenance and degradations. The approaches are compared and results such as computational time reduction, lower inventory violations at the end of the scheduling and fewer pipeline reverse flow operations are presented.

[pt] O preço da energia no mercado de curto-prazo é caracterizado pela sua alta volatilidade e dificuldade de previsão, representando um alto risco para agentes produtores de energia, especialmente para geradores por fontes renováveis. A abordagem típica empregada por tais empresas para obter a estratégia de contratação ótima de médio e longo prazos é simular um conjunto de caminhos para os fatores de incerteza a fim de caracterizar a distribuição de probabilidade da receita futura e, então, otimizar o portfólio da empresa, maximizando o seu equivalente certo. Contudo, na prática, a modelagem e simulação do preço de curto prazo da energia é um grande desafio para os agentes do setor elétrico devido a sua alta dependência a parâmetros que são difíceis de prever no médio e longo, como o crescimento do PIB, variação da demanda, entrada de novos agentes no mercado, alterações regulatórias, entre outras. Neste sentido, nesta dissertação, utilizamos otimização robusta para tratar a incerteza presente na distribuição do preço de curto-prazo da energia, enquanto a produção de energia renovável é tratada com cenários simulados exógenos, como é comum em programação estocástica. Mostramos, também, que esta abordagem pode ser interpretada a partir de dois pontos de vista: teste de estresse e aversão à ambiguidade. Com relação ao último, apresentamos um link entre otimização robusta e teoria de ambiguidade. Além disso, incluímos no modelo de formação de portfólio ótimo a possibilidade de considerar um contrato de opção térmica de compra para o hedge do portfólio do agente contra a irregularidade do preço de curto-prazo. Por fim, é apresentado um estudo de caso com dados realistas do sistema elétrico brasileiro para ilustrar a aplicabilidade da metodologia proposta. / [en] Energy spot price is characterized by its high volatility and difficult prediction, representing a major risk for energy companies, especially those that rely on renewable generation. The typical approach employed by such companies to address their mid- and long-term optimal contracting strategy is to simulate a large set of paths for the uncertainty factors to characterize the probability distribution of the future income and, then, optimize the company s portfolio to maximize its certainty equivalent. In practice, however, spot price modeling and simulation is a big challenge for agents due to its high dependence on parameters that are difficult to predict, e.g., GDP growth, demand variation, entrance of new market players, regulatory changes, just to name a few. In this sense, in this dissertation, we make use of robust optimization to treat the uncertainty on spot price distribution while renewable production remains accounted for by exogenously simulated scenarios, as is customary in stochastic programming. We show that this approach can be interpreted from two different point of views: stress test and aversion to ambiguity. Regarding the latter, we provide a link between robust optimization and ambiguity theory, which was an open gap in decision theory. Moreover, we include into the optimal portfolio model, the possibility to consider an energy call option contract to hedge the agent s portfolio against price spikes. A case study with realistic data from the Brazilian system is shown to illustrate the applicability of the proposed methodology.

O projeto de espaços públicos, pensados como ideais, necessita um investimento elevado. A abertura de licitações para profissionais residentes de outros estados, diferentes daquele de onde será feita a implantação, pode trazer reflexos negativos no mobiliário urbano projetado, pois esses profissionais planejam, muitas vezes, de acordo as vivências de sua cidade local, gerando mobiliários urbanos descontextualizados com o padrão cultural, a identidade visual da cidade, a instalação ideal, o acesso universal do usuário e o tipo de material mais conveniente, por exemplo. Em virtude disso, esta pesquisa visa investigar e gerar subsídios para os profissionais ligados às atividades de mobiliário urbano. A ABNT, através da NBR9383, divide o mobiliário urbano em categorias. O foco desta dissertação é a investigação, através de análises e interpretações de arquivos históricos, fotografias e dados de gestores públicos, a categoria de Infra-estrutura, Informação e Comunicação Visual, especificamente no que diz respeito às placas de sinalização e de logradouro. Apresenta-se uma metodologia de projeto de mobiliário urbano, exemplificada através de avaliação por questionário e de proposta de design gráfico para a criação de uma identidade visual na "Rua dos Antiquários" em Porto Alegre, e a produção do aplicativo executável "Geraplaca", para auxiliar os projetistas na elaboração de placas de sinalização e de nome de rua de forma padronizada na escolha da letra, diagramação, observações de produção, acabamento e instalação. Desde modo, pode-se diminuir gastos de produção e unificar linguagens de comunicação entre as diversas formações dos profissionais que trabalham com mobiliário urbano. / The project of public spaces, as ideal place, needs a high investment. The opening of licitations for professionals of other states, different from where the implantation will be made, can bring negative consequences in the projected urban furniture. This happens because these professionals plan, many times, in agreement with the experiences of their local city, generating urban furniture out of the context with respect to cultural standard, visual identity of the city, ideal installation, access of the universal user and the type of more convenient material, for example. Due to it this, this research aims to investigate and to generate tools for professionals that work with urban furniture. The ABNT, through the NBR9383, divides the urban furniture in categories. The focus of this work is the research, through analyses and interpretations of historical archives, photographs and data of public managers, the Infrastructure, Information and Visual Communication category, specifically in what it says respect to the public place and signalling plates. A methodology for urban furniture project is presented, exemplified by the evolution of a quiz and the graphic design to create a visual identity in the "Street of the Antiquários" in Porto Alegre, with the production of application "Geraplaca", to help the designers in the creation of signaling plates and street plate of standardized form with respect to the choice of the letter, diagramming, production comments, finishing and installation. This way, production expenses can be diminished and the communication language among several different professionals who work with urban planning can be unified.

Cette thèse est consacrée à l'etude de l'implantation du parallélisme OU en Prolog sur des machines sans mémoire commune. Nous présentons le modèle multi-séquentiel OU Opera, implanté par compilation (machine abstraite de Warren - WAM), en préservant la sémantique de Prolog. Les deux problèmes principaux d'un tel système, la gestion de contextes multiples et l'ordonnancement, sont détaillés. La gestion des contextes multiples s'effectue par copie incrémentale, en parallèle au calcul. Pour que ceci reste efficace et cohérent, le traitement des variables conditionnelles a été inclus dans la WAM. Notre méthode introduit une nouvelle pile pour ces variables dont l'initialisation, la déliaison été modifiées. Le coût des opérations séquentielles de la WAM est constant et indépendent du nombre de processus. Nous proposons encore une méthode simple et efficace pour la réalisation de la coupure. Un prototype Opera a été implanté sur un réseau de Transputers. Dans ce prototype, l'ordonnancement a été résolu par une méthode basée sur des heuristiques d'évaluation de charge. Cet ordonnancement est mis en ocuvre par une architecture centralisée où un processus ordonnanceur unique régule la charge des autres processus. L'ordonnanceur utilise une répresentation approximative de l'état du système. La partie séquentielle du prototype Opera constitue l'un des systèmes Prolog les plus efficaces existant actuellement sur le Transputer. Ses gains de performance en parallèle sont aussi effectifs. / This thesis is dedicated to the study of the implementation of Or-parallel Prolog over distributed memory machines. The Opera Or multi-sequential model is presented. It uses compiling techniques (Warren Abstract Machine) and preserves the Prolog semantics. Multienvironment management and scheduling, the two major problems of Opera, are described. Multi-environment management is realized by incremental copying, in parallel to the computation. The treatment of conditional variables is included in the WAM, in order to allow an efficient and coherent cooperation. Our method introduces a new pile for these variables, initialization, binding and unbinding of which are adapted. The cost of WAM sequential operations is constant and independent of the number of processes. We also propose a simple and efficient method for implementing cut in parallel. An Opera prototype has been implemented over a Transputer array. In the current prototype, scheduling is resolved by heuristics of load evaluation. This scheduling is centralized, a unique process balancing the load of the other Prolog workers, and using an approximate representation of the state of the system. The Opera prototype is one of the most efficient Prolog implementations on the Transputer, and reaches effective speed-ups in parallel.

[pt] Uma importante questão que se coloca para entidades abertas de previdência complementar e sociedades seguradoras que operam previdência complementar é a definição de uma gestão dos ativos e passivos (do inglês ALM – Asset and Liability Management). Tal questão se torna mais relevante em um cenário de alta competitividade, margens operacionais decrescentes, garantias mínimas de rentabilidade para um passivo estocástico de longo prazo e um período de queda da rentabilidade dos instrumentos financeiros, sendo estes muitas vezes de difícil precificação e pouco previsíveis num mercado volátil como o brasileiro. Somada a estas dificuldades, as companhias deste mercado estão sujeitas a uma regulação baseada em riscos, oriunda de práticas internacionais, adotada pelo órgão superior, Susep, que impõe restrições regulamentares para a manutenção da solvência das companhias, o que eleva a dificuldade da definição de um modelo. Diante deste cenário, esta dissertação apresenta uma proposta de ALM baseada em um modelo de programação estocástica multiestágio que tem como objetivo definir dinamicamente a alocação ótima dos ativos, incluindo títulos com pagamentos de cupons, e mensurar o risco de insolvência da companhia para o horizonte de planejamento. / [en] An important issue of open pension funds and insurance companies that operate supplementary pension is the definition of an asset and liability management (ALM) framework. Such a question becomes more relevant in a scenario of high competition, declining operating margins, minimum guaranteed returns to a stochastic long-term liability and a period of falling returns on financial instruments, these being often difficult to pricing and predictable in a volatile market such as Brazil. Added to these issues, those companies are subject to a risk-based regulation, derived from international practices adopted by the national insurance regulator, Susep, which imposes constraints to maintain solvency of companies and therefore increases the complexity of an ALM framework. Due this condition, this dissertation presents a proposition of ALM based on a multistage stochastic programming model, which aims to define a dynamic optimal asset allocation, including bonds with coupons payment, and measure the company s insolvency risk for the planning horizon.

O projeto de espaços públicos, pensados como ideais, necessita um investimento elevado. A abertura de licitações para profissionais residentes de outros estados, diferentes daquele de onde será feita a implantação, pode trazer reflexos negativos no mobiliário urbano projetado, pois esses profissionais planejam, muitas vezes, de acordo as vivências de sua cidade local, gerando mobiliários urbanos descontextualizados com o padrão cultural, a identidade visual da cidade, a instalação ideal, o acesso universal do usuário e o tipo de material mais conveniente, por exemplo. Em virtude disso, esta pesquisa visa investigar e gerar subsídios para os profissionais ligados às atividades de mobiliário urbano. A ABNT, através da NBR9383, divide o mobiliário urbano em categorias. O foco desta dissertação é a investigação, através de análises e interpretações de arquivos históricos, fotografias e dados de gestores públicos, a categoria de Infra-estrutura, Informação e Comunicação Visual, especificamente no que diz respeito às placas de sinalização e de logradouro. Apresenta-se uma metodologia de projeto de mobiliário urbano, exemplificada através de avaliação por questionário e de proposta de design gráfico para a criação de uma identidade visual na "Rua dos Antiquários" em Porto Alegre, e a produção do aplicativo executável "Geraplaca", para auxiliar os projetistas na elaboração de placas de sinalização e de nome de rua de forma padronizada na escolha da letra, diagramação, observações de produção, acabamento e instalação. Desde modo, pode-se diminuir gastos de produção e unificar linguagens de comunicação entre as diversas formações dos profissionais que trabalham com mobiliário urbano. / The project of public spaces, as ideal place, needs a high investment. The opening of licitations for professionals of other states, different from where the implantation will be made, can bring negative consequences in the projected urban furniture. This happens because these professionals plan, many times, in agreement with the experiences of their local city, generating urban furniture out of the context with respect to cultural standard, visual identity of the city, ideal installation, access of the universal user and the type of more convenient material, for example. Due to it this, this research aims to investigate and to generate tools for professionals that work with urban furniture. The ABNT, through the NBR9383, divides the urban furniture in categories. The focus of this work is the research, through analyses and interpretations of historical archives, photographs and data of public managers, the Infrastructure, Information and Visual Communication category, specifically in what it says respect to the public place and signalling plates. A methodology for urban furniture project is presented, exemplified by the evolution of a quiz and the graphic design to create a visual identity in the "Street of the Antiquários" in Porto Alegre, with the production of application "Geraplaca", to help the designers in the creation of signaling plates and street plate of standardized form with respect to the choice of the letter, diagramming, production comments, finishing and installation. This way, production expenses can be diminished and the communication language among several different professionals who work with urban planning can be unified.

Cette thèse est consacrée à l'etude de l'implantation du parallélisme OU en Prolog sur des machines sans mémoire commune. Nous présentons le modèle multi-séquentiel OU Opera, implanté par compilation (machine abstraite de Warren - WAM), en préservant la sémantique de Prolog. Les deux problèmes principaux d'un tel système, la gestion de contextes multiples et l'ordonnancement, sont détaillés. La gestion des contextes multiples s'effectue par copie incrémentale, en parallèle au calcul. Pour que ceci reste efficace et cohérent, le traitement des variables conditionnelles a été inclus dans la WAM. Notre méthode introduit une nouvelle pile pour ces variables dont l'initialisation, la déliaison été modifiées. Le coût des opérations séquentielles de la WAM est constant et indépendent du nombre de processus. Nous proposons encore une méthode simple et efficace pour la réalisation de la coupure. Un prototype Opera a été implanté sur un réseau de Transputers. Dans ce prototype, l'ordonnancement a été résolu par une méthode basée sur des heuristiques d'évaluation de charge. Cet ordonnancement est mis en ocuvre par une architecture centralisée où un processus ordonnanceur unique régule la charge des autres processus. L'ordonnanceur utilise une répresentation approximative de l'état du système. La partie séquentielle du prototype Opera constitue l'un des systèmes Prolog les plus efficaces existant actuellement sur le Transputer. Ses gains de performance en parallèle sont aussi effectifs. / This thesis is dedicated to the study of the implementation of Or-parallel Prolog over distributed memory machines. The Opera Or multi-sequential model is presented. It uses compiling techniques (Warren Abstract Machine) and preserves the Prolog semantics. Multienvironment management and scheduling, the two major problems of Opera, are described. Multi-environment management is realized by incremental copying, in parallel to the computation. The treatment of conditional variables is included in the WAM, in order to allow an efficient and coherent cooperation. Our method introduces a new pile for these variables, initialization, binding and unbinding of which are adapted. The cost of WAM sequential operations is constant and independent of the number of processes. We also propose a simple and efficient method for implementing cut in parallel. An Opera prototype has been implemented over a Transputer array. In the current prototype, scheduling is resolved by heuristics of load evaluation. This scheduling is centralized, a unique process balancing the load of the other Prolog workers, and using an approximate representation of the state of the system. The Opera prototype is one of the most efficient Prolog implementations on the Transputer, and reaches effective speed-ups in parallel.

FA; UTFPR; RENAULT / Linhas robóticas de solda são comuns na indústria automobilística. Durante a produção de um veículo, sua estrutura metálica precisa ser soldada em um único corpo resistente. Isso é feito por meio de centenas de soldas a ponto por resistência, cada uma liga localmente duas ou mais placas metálicas. Distribuir eficientemente esses pontos entre robôs é particularmente desafiador, levando em conta que: cada robôs podem fazer acessar uma parte dos pontos de solda, há tempo de movimentação entre pontos e robôs podem colidir entre si se ocuparem o mesmo espaço físico ao mesmo tempo. Há muitas maneiras factíveis de distribuir pontos de solda. No entanto, cada uma gera um resultado econômico diferente: Se um robô soldar muitos pontos se tornará um gargalo e reduzirá a taxa média de produção.Obter o conjunto de decisões operacionais que gera o melhor desempenho é o objetivo de técnicas de otimização. Há uma ampla variedade de técnicas descritas na literatura de pesquisa operacional e ciência da computação: modelos matemáticos, algoritmos, heurísticas, meta-heurísticas, etc. No contexto industrial, tais técnicas foram adaptadas para diversas variantes de problemas práticos. No entanto, estas adaptações só podem resolver as variantes para as quais foram idealizadas. Se por um lado podem se traçar paralelos entre vários aspectos de linhas robóticas de solda e tais variantes, por outro o conjunto completo de características das linhas estudadas não é tratável por (ou convertível em) nenhuma delas. A presente dissertação desenvolve uma abordagem para otimizar tais linhas, baseada em um modelo de programação linear inteira mista desenvolvido para descrever o problema. Ela também apresenta um estudo de caso para discutir e ilustrar possíveis dificuldades de aplicação e como superá-las. O modelo apresentado foi aplicado a dados de uma linha robótica de solda da fábrica, composta por quarenta e dois robôs, quatro modelos de veículos e mais de setecentos pontos de solda por veículo. A média ponderada da redução em tempo de ciclo obtida pelo modelo foi de 17.5%. Variantes do modelo, concebidas para auxiliar trabalhos futuros, são apresentadas e discutidas. / Robotic welding manufacturing lines are production lines common in automobile industries. During a vehicle's production, the vehicle's metal structure must be welded in a single resistant body. This is made by hundreds of spot-welding points, each of which tie locally two or more metal plates. Efficiently distributing these welding points amongst robots is particularly challenging, taking in account that: not all robots can perform all weld points, robots must move their welding tools between weld points, and robots might interfere with one another if they use the same geometrical space. There are multiple feasible manners to distribute the welding points. However, each of these forms generates different economical results: If a robot performs too many points, it will become a line bottleneck and reduce average throughput. To find the set of operational decisions that yields the best output is the goal of optimization techniques. There are a wide variety of such techniques described in operations research and computer sciences literature: mathematical models, algorithms, heuristics, meta-heuristics, etc. In the industrial context, these techniques were adapted to related line balancing problems. However, these adaptations can only solve the specific variants they were designed to address. While parallels can be drawn between aspects of robotic welding lines and many of such variants, the full combined set of characteristics of the studied lines is not treatable by (or convertible to) any of them. This dissertation develops a framework to optimize such lines, based on mixed-integer linear programing model developed to describe the problem. It also presents a case study to discuss and illustrate possible difficulties and how to overcome them. The presented model was applied to data from the factory's robotic welding lines composed of forty-two robots (divided in thirteen stations), four vehicle models and over seven hundred welding points for each vehicle. The weighted average reduction percentage in cycle time obtained by the model was 17.5%. Model variants, designed to aid further works are presented and discussed.