Dissertação (mestrado) - Universidade de São Paulo. Faculdade de Economia e Administração / Made available in DSpace on 2013-07-15T20:16:10Z (GMT). No. of bitstreams: 0

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Produção, Florianópolis, 2000 / Made available in DSpace on 2012-10-17T21:06:45Z (GMT). No. of bitstreams: 1 174504.pdf: 286294 bytes, checksum: 06bacded0ab9986033cfc859e702f78a (MD5) / As organizações estão investindo cada vez mais na exploração da informação e conhecimento existentes nos dados de suas atividades. A mineração de dados representa um conjunto de técnicas para obtenção de informação que não pode ser obtida através de consultas convencionais. Uma destas técnicas é denominada mineração de regras de associação. Regras de associação são expressões que indicam afinidade ou correlação entre dados. Este trabalho avalia o potencial de utilidade do algoritmo APRIORI, um indutor de regras de associação, aplicando-o a dados de um plano de saúde, apresentando os resultados obtidos e analisando seu significado.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2016-01-08T22:12:41Z (GMT). No. of bitstreams: 1 107336.pdf: 3622415 bytes, checksum: 953f1623eaa5c472c4fa60df73f7c69d (MD5) Previous issue date: 1997 / Procedimentos de busca local (ex. busca tabu) e algoritmos genéticos têm apresentado excelentes resultados em problemas clássicos de programação da produção em ambientes job shop. No entanto, estas abordagens apresentam pobres habilidades de modelamento e poucas aplicações com restrições de ambientes reais de produção têm sido publicadas. Além disto, os espaços de busca considerados nestas aplicações são nomlalmente incompletos e as restrições reais são poucas e dependentes do problema em questão. Este trabalho apresenta uma abordagem genética híbrida para resolver problemas de programação em ambientes job shop com grande número de restrições reais, tais como produtos com vários níveis de submontagem, planos de processamento altemativos para componentes e recursos alternativos para operações, exigência de vários recursos para executar uma operação (ex., máquina, ferramentas, operadores), calendários para todos os recursos, sobreposição de operações, restrições de disponibilidade de matéria-prima e componentes comprados de terceiros, e tempo de setup dependente da sequência de operações. A abordagem também considera funções de avaliação multiobjetivas. O sistema usa algoritmos modificados de geração de programação, que incorporam várias heurísticas de apoio à decisão, para obter um conjunto de soluções iniciais. Cada solução inicial é melhorada por um algoritmo de subida de encosta. Então, um algoritmo genético híbrido com procedimentos de busca local é aplicado ao conjunto inicial de soluções localmente ótimas. Ao utilizar técnicas de programação de alta perfomlance (heurísticas construtivas, procedimentos de busca local e algoritmos genéticos) em problemas reais de programação da produção, este trabalho reduziu o abismo existente entre a teoria e a prática da programação da produção.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2010. / Submitted by Allan Wanick Motta (allan_wanick@hotmail.com) on 2011-01-21T18:14:44Z No. of bitstreams: 1 2010_FlavioJoseFerroBarros.pdf: 454810 bytes, checksum: 20b7e7f5115fdc9ff34396a6f5e6cc1f (MD5) / Approved for entry into archive by Daniel Ribeiro(daniel@bce.unb.br) on 2011-01-26T00:28:37Z (GMT) No. of bitstreams: 1 2010_FlavioJoseFerroBarros.pdf: 454810 bytes, checksum: 20b7e7f5115fdc9ff34396a6f5e6cc1f (MD5) / Made available in DSpace on 2011-01-26T00:28:37Z (GMT). No. of bitstreams: 1 2010_FlavioJoseFerroBarros.pdf: 454810 bytes, checksum: 20b7e7f5115fdc9ff34396a6f5e6cc1f (MD5) / Apresenta-se uma formalização das propriedades de composicionalidade do Cálculo lambda-ex em Coq. A abordagem utilizada baseia-se na lógica nominal de acordo com o trabalho desenvolvido por [3]. Mais especificamente estendemos a formalização do lambda-cálculo contida neste trabalho de forma a incluir a operação de substituição explícita do cálculo lambda-ex. Nessa abordagem, a alpha-equivalência coincide com a igualdade pré-construída de Coq, e os princípios de recursão e indução sobre classes de lambda-termos possuem tratamento específico. Escolhemos trabalhar com o cálculo lambda-ex por ser atualmente o único cálculo que satisfaz simultaneamente todas as propriedades desejáveis para um cálculo de substituições explícitas. Ele é uma extensão do lambda-x com uma regra de reescrita para composição de substituições dependentes e uma equação para comutação de substituições independentes. O cálculo lambda-ex usa um construtor unário para a substituição explicita, mas tem o mesmo poder de expressividade de cálculos com substituições simultâneas. _________________________________________________________________________________ ABSTRACT / We present a formalization of properties of compositionality of the ex-calculus in Coq. The approach is based in the nominal logic as presented in the paper [3]. More precisely, we extended a formalization of the -calculus in such a way that it now includes the explicit substitution operation of the ex-calculus. In this approach, -equivalence of -terms coincides with the Coqt’s built-in equality, and the principles of recursion and induction over classes of -terms are treated in a specific way. We chose to work with the ex-calculus because it is currently the only calculus that simultaneously satisfies all the desirable properties for a calculus of explicit substitutions. It is an extension of the x-calculus with a rewrite rule for composition of dependent substitutions and one equation for independent substitutions. The ex-calculus has a unary constructor for the explicit substitution operation, but have the same expressive power of calculi with simultaneous substitutions.

Orientador: Wagner C. Amaral / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-13T23:48:07Z (GMT). No. of bitstreams: 1 Nazzetta_RubenMario_M.pdf: 10450932 bytes, checksum: 00ecca7925c1cfde8dd3935e1d1de96a (MD5) Previous issue date: 1991 / Resumo: O presente trabalho detalha o desenvolvimento de um sistema baseado em conhecimento para o auxílio nas tarefas de configuração e supervisão de algoritmos de modelagem e controle de processos. O sistema consta dos seguintes módulos: Módulo de controle onde encontram-se os algoritmos de controle, de três termos (PID), de Variância Mínima Generalizada (GMV) e o Controlador Preditivo Generalizado (GPC); Módulo de identificação com o algoritmo de matriz estendida; Módulo de detecção de não estacionariedades do processo, baseado no algoritmo do erro previsto; Máquina de inferência com encadeamento reverso, utilizada junto com a Base de Conhecimento de Configuração; Máquina de inferência com encadeamento direto, utilizada com a Base de Conhecimento de supervisão; Base de Dados; e Interface Homem-Máquina. A Base de Dados, acessível a ambas as máquinas de inferência é composta de fatos escritos em linguagem natural. As bases de conhecimento possuem a estrutura de regras de produção do tipo SE <<condição>> então <<conclusão>>. A máquina de inferência de configuração obtém os valores dos objetos utilizados nos algoritmos de controle e identificação para satisfazer os requisitos de desempenho especificados ... Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: Not informed. / Mestrado / Mestre em Engenharia Elétrica

Orientador: Douglas Eduardo Zampieri / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-07-13T23:58:10Z (GMT). No. of bitstreams: 1 Mendeleck_Andre_M.pdf: 5599564 bytes, checksum: ec23fed530a74495ffccc72362bbbffa (MD5) Previous issue date: 1991 / Resumo: Nesta dissertação é especificado e implementado o protótipo de uma linguagem de programação e um sistema de CAD-Simulação para um robô manipulador antropomórflco com 6 graus de liberdade. Trata-se de uma linguagem de alto nível destinada a programação de movimentos a nível de manlpulador e um sistema de CAD-Simulação que permite a visualização, em 'tempo real' , dos movimentos do robô em um terminal gráfico, sendo também, implementado um módulo de teach-in e um módulo de simulação apresentando informações sobre a evolução cinemátlca e dinâmica dos links e garra do robô / Abstract: This dissertation contains the specification and implementation of a prototype language program and a CAD-Simulation system for an antropomorphic manipulator with six degrees of freedom. The system has a high level language for motion program, a CAD-Simulator system to visualize robot motion in "real time", a teach-in and a simulation sub-system to visualize the kinematic and dynamic evolution of the links and the gras / Mestrado / Mecanica dos Sólidos e Projeto Mecanico / Mestre em Engenharia Mecânica

Orientador: Clesio Luiz Tozzi / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T00:27:48Z (GMT). No. of bitstreams: 1 Pizarro_DiegoA.Aracena_M.pdf: 8698005 bytes, checksum: fb4e06b4f9a8054cca126f06efe2c461 (MD5) Previous issue date: 1991 / Resumo: No presente trabalho realiza-se o estudo do comportamento da proposta para a implementarão paralela do algoritmo "Linhas e Superfícies Escondidas", utilizando a técnica do pintor, podendo ser inserido no contexto de computação gráfica e processamento paralelo. O trabalho foi dividido em três etapas principais: Na primeira etapa, apresenta-se o estudo do algoritmo e a proposta para a implementação paralela, realizando a análise dos módulos e fluxo dos dados entre os módulos. Na segunda etapa apresenta-se o desenvolvimento do sistema que executa a aplicação em máquinas HIHD fracamente acopladas, utilizando o mapeamento de várias topologias na placa lnmos IMS B008, com um número reduzido de processadores. Na terceira etapa apresenta-se o desenvolvimento do simulador do sistema multiprocessador, que permitiu realizar o estudo do comportamento do algoritmo, em um maior número de processadores, considerando diferentes particionamentos, para os quais apresentam-se os resultados experimentais obtidos / Abstract: Not informed. / Mestrado / Mestre em Engenharia Elétrica

Orientador: Jose Armando Valente / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T01:01:07Z (GMT). No. of bitstreams: 1 Silva_HeloisaVieiradaRochaCorrea_D.pdf: 20592525 bytes, checksum: 667d76ca4fa24c45d92b856e2b82f0f5 (MD5) Previous issue date: 1991 / Resumo: O objetivo deste trabalho foi o de explorar o uso de representações computacionais, em tempo real, como auxilio ao aprendizado de conceitos e processos abstratos. O domínio de aprendizado escolhido foi programação de computadores. Programação de computadores foi escolhido por existirem conceitos e processos tais como variáveis, fluxo de execução, recursão, iteração, etc., difíceis de serem assimilados através de meios convencionais. Considerando-se a linguagem Logo aliada a sua metodologia de aprendizado foi desenvolvido um sistema que ampliou o ambiente de programação, criando um ambiente onde são apresentadas representações alternativas de um programa em execução. O objetivo do sistema foi facilitar o desenvolvimento de um modelo mental adequado que guiasse toda interação do usuário com a linguagem de programação. O projeto do sistema baseou-se na hipótese de que uma das dificuldades básicas para entender esses conceitos computacionais é a falta de visibilidade do processo de execução dos programas. Dada a opacidade do computador enquanto máquina e a natureza abstrata dos conceitos computacionais, deve-se utilizar outras representações caso se deseje tornar o processo de execução de alguma forma "visível¿. E como o processo é dinâmico deve-se ter representações dinâmicas. Os resultados mostraram que as pessoas realmente têm um modelo mental falho do funcionamento de processos computacionais, mais especificamente, de procedimentos recursivos. Isto não se restringe às pessoas não especialistas em computação. O uso do sistema, na maioria dos casos, mostrou-se útil como ferramenta auxiliar na correção e aquisição de modelos mentais adequados. Os resultados obtidos neste trabalho no contexto de programação podem ser estendidos para outras áreas de conhecimento, como Física, Química, Biologia, etc... Nesses domínios existe uma série de conceitos abstratos como velocidade, equilíbrio, pressão, etc., também bastante difíceis de serem compreendidos. Certamente a compreensão destes conceitos pode ser facilitada com o uso de outros tipos de representações de fenômenos onde estão presentes estes conceitos / Abstract: The aim of this thesis was to explore the use of real time computational system of representations, as an aid to the learning of abstract concepts and processes. The chosen learning domain concerned computer programming.The choice was based on the fact that there are many concepts and processes, such as, variables, execution flow, recursion, loops, etc., which pose several difficulties to be assimilated through conventional means. The Logo programming language together with its learning methodology was utilized in order to develop a system that enlarged the programming environment,adding another environment where aIternative representations of a program under execution are presented. The goal of the system was to 'facilitatethe development of an adequate user mental model to guide the interactionbetween the user and the programminglanguage. The design of the system was based on the assumption that one of the basic difficulties to understand computational concepts is the lack of visibility of the processe that involve the execution of the programs. Give the opacity of the computer machinery and the abstract nature of the computational concepts, one should utilize representations so as to render the execution processe somewhat more "visible". These representations should be dynamic since the processe involved is dynamic itself. The results showed that people possess misconceptions in their models of how work computational processes, more precisely, a recursive procedure. This fact applied to people other than nonspecialists in computing. In most cases, the use of the system proved to be a useful tool in the acquisition and adjust of mental models. The results obtained in this thesis in the programming concepts context, could be extended to another knowledge domain, such as, Physic, Chemistry, Biology, etc., where the comprehension of several abstract concepts - velocity, balance, pressure, friction, etc.- present difficulties. Their comprehension could certainly be facilitated by the use of other kinds of representation of the phenomena where these concepts are present / Doutorado / Doutor em Engenharia Elétrica

Orientador: Arthur João Catto / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-14T02:04:30Z (GMT). No. of bitstreams: 1 Rubira_CeciliaMaryFischer_M.pdf: 1743339 bytes, checksum: 48d2cb6de912c144c1721d797fa1fa45 (MD5) Previous issue date: 1989 / Resumo: Este trabalho apresenta um estudo detalhado da geração de código de uma linguagem de alto nível voltada para programação paralela denominada SISAL, implementada na Máquina de Fluxo de Dados de Manchester. Os pontos de deterioração de paralelismo obtidos na geração de código são identificados, apresentando sempre que possível otimizações que explorem o assincronismo e o poder computacional paralelo da máquina. O compilador SISAL gera código num formato intermediário gráfico chamado IFI, que é então traduzido para o código de máquina (grafos de fluxo de dados) através de um sistema de tradução. As otimizações aqui implementadas se concentram nos esquemas utilizados para a tradução do formato IF1 para código dependente de máquina. / Abstract: Not informed. / Mestrado / Mestre em Ciência da Computação

Orientador : Mario Jino / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia de Campinas / Made available in DSpace on 2018-07-14T11:26:22Z (GMT). No. of bitstreams: 1 Capretz_MiriamAkemiManabe_M.pdf: 3800512 bytes, checksum: 5319a3fe271eba6e5dd7b5f513fece33 (MD5) Previous issue date: 1988 / Resumo: O Gerenciamento de Configuração de Software (OCS) é uma disciplina que visa controlar as modificações de cada um dos componentes gerados durante o ciclo de vida de um produto de software. Os princípios do GCB formam a base de qualquer processo de desenvolvimento de software, quando suportado manual ou automaticamente em um ambiente de desenvolvimento de software. A automatização desta disciplina facilita o seu uso por projetistas, pois sem um suporte computacional adequado, é uma tarefa trabalhosa e que requer tempo, sendo portanto negligenciada pelos projetistas. O objetivo deste trabalho é mostrar como os procedimentos da disciplina Gerenciamento de Configuração de Software podem ser automatizados no SIPS (Sistema Integrado para Produção de Software), um ambiente voltado à produção de software, que está em desenvolvimento no Instituto de Automação do Centro Tecnológico para Informática. Para isto, a disciplina Gerenciamento de Configuração de Software foi formalizada e modelada usando o MRO (Modelo de Representação de Objetos). A sua implementação básica consiste na construção de primitivas para, o ambiente SIPS e de uma ferramenta denominada Gerenciador , de Configuração de Software. A automatização do GCS proposta é possível uma vez que o ambiente SIPS fornece uma série de características favoráveis providas por uma base de dados centralizada e única que é utilizada por várias ferramentas para desenvolvimento de sistemas de software cobrindo potencialmente todas as fases do ciclo de vida / Abstract: Software Configuration Management (SCM) is a discipline whose objective is to control changes in each one of comp6nents generated during the life cycle of a software product. The principles of SCM constitute a base for an software development process, when supported manual or automatically in a software development environment. The automat ion of this discipline eases its use by designers; without an adequate computational support, it is a hard task and demands time, being usually neglected by designers. The objective of this work is to show how the procedures of Software Configuration Management can be automated in SIPS (Integrated System for Software Production), an environment aimed to support the software production, under development at Automation Institute of Informatica Technological Center. For this purpose, the Software configuration Management discipline must be formalized and modeled using the ORM (Object Representation Model). Its basic implementation consists in the construction of primitives for SIPS environment and a tool named Software Configuration Manager. The SCM automation proposed is possible because SIPS environment provides suitable characteristics supplied by a centralized database used by several tools for development of software systems covering potentially all life cycle phases / Mestrado / Mestre em Engenharia Elétrica