Submitted by Victor Hugo Albuquerque Rizzo (victor.rizzo@ufpe.br) on 2015-04-14T14:28:45Z No. of bitstreams: 2 DISSERTAÇÃO Ermes Ferreira Costa Neto.pdf: 5877239 bytes, checksum: 02e51ce9efdcb44a4c4383222cdd1517 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-04-14T14:28:45Z (GMT). No. of bitstreams: 2 DISSERTAÇÃO Ermes Ferreira Costa Neto.pdf: 5877239 bytes, checksum: 02e51ce9efdcb44a4c4383222cdd1517 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2013 / As mudanças atuais nas técnicas de produção impõem a necessidade de flexibilidade dos sistemas de manufatura, que permitam aumento da produção e variedade de produtos, sem perda de qualidade. Um ambiente favorável à aplicação de célula de manufatura robotizada (CMR). Entretanto, as empresas estão encontrando dificuldades no seu projeto e operação devido ao alto grau complexidade que exige um grande esforço financeiro e intelectual, no caso particular da CMR, o uso de robôs ainda exige a necessidade de exatidão e capacidade de repetitividade nos movimentos. O objetivo deste trabalho é apresentar uma abordagem sistemática para o projeto de sistema modular por meio do uso de diferentes técnicas, utilizando um formalismo básico, baseado em autômato. Para automatizar os processos de fabricação pela aplicação de CMR de uma forma rápida, evitando a migração de erro entre as fases de projeto e que permita a programação no nível de tarefas. Serão utilizados as técnicas de modelo espiral de engenharia de requisitos, diagrama IDEF0, teoria de controle supervisório (TCS) e sistema supervisório modular local (SML), verificação de modelos e a ferramenta state diagram do ambiente computacional LabVIEW™, que é utilizado como plataforma de programação, integração das diversas arquiteturas e geração de uma interface de operação. Este método foi aplicado no projeto de uma CMR para seleção e movimentação de quatro diferentes peças. Os resultados mostram sua utilidade em aplicações industriais reais, reduzindo o custo e diminuindo o tempo de desenvolvimento no processo de concepção.

Orientador: Arnaldo Vieira Moura / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-03T17:41:22Z (GMT). No. of bitstreams: 1 Pinto_GuilhermeAlbuquerque_D.pdf: 4219537 bytes, checksum: acd92f5d71678809ad0e63efea423560 (MD5) Previous issue date: 2003 / Doutorado

Orientador : Wagner C. Amaral / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T03:09:24Z (GMT). No. of bitstreams: 1 Arruda_LuciaValeriaRamosde_M.pdf: 6845374 bytes, checksum: 99b5ad0051a95a68640408bc89b2eb7b (MD5) Previous issue date: 1988 / Resumo: Este trabalho apresenta um sistema baseado em conhecimento para modelagem de processos que auxilia os usuários na utilização e regulagem de algoritmos de estimação,e na modelagem de processos variantes no tempo.O sistema desenvolvido é composto dos seguintes módulos: base de dados, base de conhecimentos,módulo de inferência e explicação,módulo supervisor,módulo de identificação e interface homem-máquina. A base de conhecimentos é formada por regras de produção do tipo SE (condição) ENTÃO (conclusão), que são estabelecidas a partir de considerações sobre os valores de determinadas variáveis do algoritmo de identificação. O módulo de identificação é composto de dois algoritmos capazes de detetar e rastrear variações nos parâmetros do processo: o algoritmo do traço adaptativo e o filtro de Kalman adaptativo.Estes algoritmos são obtidos a partir de um algoritmo de identificação recursivo,mínimos quadrados com traço limitado ou filtro de Kalman,e um método de deteção de não-estacionaridades baseado u no erro previsto ou nos parâmetros estimados / Mestrado / Mestre em Engenharia Elétrica

Orientador : Douglas Eduardo Zampieri / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-07-31T21:38:27Z (GMT). No. of bitstreams: 1 Bezerra_CarlosAndreDias_D.pdf: 16490008 bytes, checksum: d1766174780575b42c85c12ba542dda7 (MD5) Previous issue date: 2002 / Resumo: Neste trabalho desenvolveu-se a concepção, modelagem, simulação, construção e implementação de um robô bípede, capaz de interagir com o ambiente através de sensores e desviar de obstáculos em seu ambiente de trabalho a princípio de localização desconhecida. A determinação da equação de movimento foi realizada através do método de Newton ¿ Euler - Jourdain, que apresenta a vantagem da obtenção da equação de movimento sem a necessidade do conhecimento das forças internas entre as uniões dos segmentos que compõem o robô. Entre os experimentos realizados para validação da modelagem, incluem-se marcha em linha reta, realização de curvas e desvio de obstáculo de maneira autônoma, com o uso de sensores. Os materiais, métodos e resultados experimentais são apresentados na forma de fotos e figuras. Os resultados alcançados neste trabalho permitem o desenvolvimento de robôs capazes de se locomoverem e desviarem de obstáculos através de diferentes estratégias / Abstract: In this work the conception, modeling, simulation, construction, and implementation of a biped robot has been developed. The robot was able to interact with the workspace through sensor and avoid obstacle in his workspace which was initially unknown. The determination of the motion equation was carried out using Newton-Euler- Jourdain, which presents advantages in the determination of motion equation without the necessity of knowing internal forces between the joints which are made the robot. Walk on a straight line, perform curves, and avoid obstacle in autonomous way, with the use of sensors are among the experiments carried out to validate the modeling. The materials, methods, and experimental results are presented by pictures and figures. As result of this work it can be develope biped robots able to move and avoiding obstacles through different strategies / Doutorado / Mecanica dos Sólidos e Projeto Mecanico / Doutor em Engenharia Mecânica

Tese (livre-docencia) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-17T18:51:34Z (GMT). No. of bitstreams: 1 Sette_AntonioMarioAntunes_LD.pdf: 1761459 bytes, checksum: 62b3e9a87a15d8cd1cf6b2ba968fc4ac (MD5) Previous issue date: 1983 / Resumo: Não informado. / Abstract: Not informed. / Tese (livre-docencia) - Univer / Livre-Docente em Matematica

Um importante componente de um sistema de informação geográfica (SIG), a álgebra de mapas consiste de uma linguagem e uma estruturação algébrica sôbre mapas em geral. Operações e as expressões que as definem, serão tanto mais algébricas quanto mais reflitam as propriedades típicas de álgebras matemáticas conhecidas, tais como a associatividade, a comutatividade e a distributividade, para operações; e a reflexividade, simetria e transitividade para relações. A construção de sentenças que irão descrever métodos de análise e modelagem em SIG. A abordagem mais corrente na implementação de álgebras de mapas consiste de pelo menos três estruturas focadas na natureza local, zonal ou focal dessas operações e relações. Em conseqüencia disso o vocabulário da linguagem resultante apresenta uma certa redundância de conceitos que dificulta a integração plena entre as tres estruturas resultantes. Este trabalho parte da premissa que locais, zonas e vizinhanças, são maneiras particulares de selecionar elementos de conjuntos de locais; e da observação que tais maneiras podem ser descritas por expressões da própria álgebra de mapas, como as usadas para exprimir comparações e operações Booleanas. A partir da introdução de um operador para modelar esse processo de seleção, cada local de interesse de uma área de estudo passa a ser caracterizado por sua interação com locais de algum conjunto, dado sob a forma de uma expressão também. Tais expressões podem explorar ao máximo as propriedades da álgebra proposta, sendo avaliadas sempre que necessário, ora para obter um valor local de um novo mapa, ora para decidir também localmente, sôbre a pertinência ou não de um local a uma região. Isso evita o custo de se criar representações de dados intermediários no processo de modelagem. Desse modo, além da economia de recursos computacionais, conceitos como zona e vizinhança passam a ser decorrências de suas próprias definições como expressões algébricas, e a linguagem, passa a não depender de especializações adicionais para nomes e operadores. Apenas vocabulários já bastante consolidados como os da álgebra dos números, da álgebras relacional e da algebra Booleana, além do jargão usual da estatística e, potencialmente, outras disciplinas, são relevantes para a descrição de modelos. Toda essa flexibilidade se deve à estratégia de implementação usada, fundamentada na teoria dos autômatos, que estabelece maior compromisso formal entre os temas relativos a linguagem e implementação, além de maior afinidade com técnicas de modelagem de aspectos dinâmicos de processos físicos e ambientais, em particular aquelas baseadas em autômatos celulares.

As conexões entre as células de um autômato celular tradicional são realizadas conforme um reticulado. Esse padrão de conexão faz com que o comprimento médio do menor caminho entre as células seja grande, exigindo que o autômato celular efetue várias evoluções para que o comportamento dinâmico de uma regra alcance todo o reticulado. O presente trabalho propõe a modificação na estrutura de conexão dos autômatos celulares empregando conceitos de redes complexas. É apresentado um processo de construção capaz de produzir redes que evoluem tanto para frente quanto para trás. O processo de construção de redes emprega uma variante de grafos dirigidos rotulados, permitindo que as redes geradas evoluam a partir do mesmo conjunto de regras utilizado pelo autômato celular tradicional. Experimentos empregando o cálculo de entropia, além de testes sobre aleatoriedade, foram realizados com o objetivo de investigar o comportamento dinâmico obtido por quatro redes distintas, geradas a partir do processo de construção de redes aqui proposto. Os experimentos indicam que, dependendo da estrutura de conexão, é possível reduzir de forma significativa a quantidade de evoluções necessárias para que uma perturbação inicial se propague por todas as células do reticulado. Uma aplicação direta dos resultados encontrados nesse trabalho consiste na elaboração de métodos criptográficos significativamente mais rápidos do que aqueles que empregam os autômatos celulares tradicionais.

Made available in DSpace on 2014-06-12T15:53:32Z (GMT). No. of bitstreams: 2 arquivo5203_1.pdf: 2427628 bytes, checksum: b7e101175fb8c6dac688a04de83a3303 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2004 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Inspirado por uma sugestão de McCulloch e Pitts em seu trabalho pioneiro, uma simulação de Máquinas de Turing (MT) por Redes Neurais Artifiais (RNAs) apresentada. Diferente dos trabalhos anteriores, tal simulação está de acordo com a interpretação correta da análise de Turing sobre computação; é compatvel com as abordagens correntes para análise da cognição como um processo interativo agente-ambiente; e é fisicamente realizável uma vez que não se usa pesos nas conexãos com precisão ilimitada. Uma descrição completa de uma implementação de uma MT universal em uma RNA recorrente do tipo sigmóide é dada. A fita, um recurso infinito, é deixada fora da codificação como uma caracterstica externa não-intrínsica. A rede resultante é chamada de Máquina de Turing Neural. O modelo clássico de computação Máquina de Turing = Fita + Autômato de Estados Finito (AEF) é trocado pelo modelo de computação neural Máquina de Turing Neural (MTN) = Fita + Rede Neural Artifial (RNA) Argumentos para plausabilidade física e cognitiva desta abordagem são fornecidos e as consequências matemáticas são investigadas. E bastante conhecido na comunidade de neurocomputação teórica, que um AEF arbitrário não pode ser implementado em uma RNA quando ruído ou limite de precisão é considerado: sob estas condições, sistemas analógicos em geral, e RNA em particular, são computacionalmente equivalentes aos Autômatos Definidos uma classe muita restrita de AEF. Entre as principais contribuições da abordagem proposta é a definição de um novo modelo de máquina, Máquina de Turing Definida(MTD), que surge quando ruído é levado em consideração. Este resultado reflete na segunda equação descrita acima se tornando MTN com ruíıdo (MTN) = Fita + RNA com ruído(RNA) com a equação correspondente Máquina de Turing Definida = Fita + Autômatos Finitos Definidos (AFD) A investigação de capacidades computacionais das Máquinas de Turing Definida é uma outra contribuição importante da Tese. É provado que elas computam a classe das funções elementares (Brainerd & Landweber, 1974) da Teoria da Recursão

Neste trabalho, é proposto um modelo de execução em paralelo dos autômatos finitos adaptativos, visando melhor eficiência destes dispositivos. Desta forma, é apresentada uma comparação de tempo de execução do modelo seqüencial e o modelo proposto. Além disso, é apresentado um ambiente de desenvolvimento de autômatos finitos adaptativos paralelos. Com o objetivo de padronizar e facilitar a implementação destes dispositivos, optou-se por adotar uma linguagem de alto nível para a implementação, o Scheme. Esta é uma linguagem funcional que permite a utilização de mecanismos de paralelização, o que torna a escrita de programas paralelos mais direta. / It is presented in this paper a model for parallel execution of the finite-state adaptive automaton, arguing that this kind of execution could be more efficient than the traditional sequential one. For this discussion, a comparison between the two models of execution is shown in this paper. Also, a framework for parallel adaptive finite-state automata development is presented. This framework was designed to facilitate the creation and execution of the device for researchers. For this purpose, the language Scheme was used, for it is a functional language, with high level of abstraction, that includes features for parallelizing computation.

Este trabalho trata do problema da inversão de Automata Celulares em reticulados n x n, com relação de transição Neumann, no corpo de Galois de ordem 2. Sabe-se, da literatura, que sob estas condições o problema é de difícil resolução matemática. O problema foi resolvido em parte, pois conseguiu-se estabelecer a condição necessária para o mesmo, utilizando, como ferramenta de análise, técnicas da Álgebra Linear; e sob este aspecto, o trabalho pode ser considerado como uma extensão ao trabalho de Sutner e ao de Barua e Ramakrishnan. O resultado mais interessante e, s.m.j. inédito, estabelece que o carpete de Sierpinski pode ser gerado a partir de coeficientes dos polinômios de Chebyshev.