Orientador: Fernando Antonio Santos Gomide / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-15T20:30:54Z (GMT). No. of bitstreams: 1 Gudwin_RicardoRibeiro_M.pdf: 8451957 bytes, checksum: 78885f6c330cc64e5b22fcd75f2e18f7 (MD5) Previous issue date: 1992 / Resumo: Neste trabalho, desenvolve-se a especificação, implementação e validação de um sistema de processamento de conhecimento com vistas a aplicações em tempo real. Os sistemas de processamento de conhecimento vêm sendo largamente utilizados em sistemas de automação e controle, principalmente em casos onde o modelo que se tem para o processo ou é muito complicado, o que o torna intratável, não é conhecido, ou o mesmo tem seus parâmetros modificados com o passar do tempo. Apesar disso, pouco se tem feito para adequar os modelos existentes de processamento de conhecimento, aos requisitos de tempo real. Este trabalho tem por motivação dar uma contribuição neste sentido, Criando um procedimento de inferência mais eficiente, que não considere alguns aspectos de menor importância, não necessário sem aplicações de tempo real, e que acabam por pertubar o desempenho de tais sistemas quando o tempo real se faz uma necessidade. Desenvolveu-se um procedimento de inferência matricial, onde um conjunto de regras é transformado em duas matrizes distintas. Estas matrizes são então processadas por meio de operadores especiais, de modo a efetuar a inferência. Este procedimento permite a utilização de regras do tipo proposicional, de predicados de primeira ordem, regras nebulosas e fator de certeza. Permite também uma utilização híbrida entre termos de diferentes tipos. Além disso, desenvolveu-se dois procedimentos para manipulação de bases de regras do tipo matricial: o procedimento de expansão horizontal e o procedimento de compressão de uma base de regras, colocados de modo a aumentar o desempenho do procedimento. O procedimento é então discutido diante de algumas possíveis implementações computacionais, e é apresentado um exemplo da aplicação do procedimento, para o caso do controle supervisório de grupos de elevadores / Mestrado / Mestre em Engenharia Elétrica

Orientador : Oswaldo Espirito Santo Godinho / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Quimica / Made available in DSpace on 2018-07-17T01:03:41Z (GMT). No. of bitstreams: 1 Reis_BoaventuraFreiredos_D.pdf: 3771587 bytes, checksum: 9c04a078f1a0bf40d395865df8081057 (MD5) Previous issue date: 1986 / Doutorado

Orientadores: Beatriz Mascia Daltrini, Fuad Gattaz Sobrinho / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-17T07:56:35Z (GMT). No. of bitstreams: 1 Evangelista_SilvioRobertoMedeiros_M.pdf: 10772327 bytes, checksum: 1478c0ba60ef062037c510a980fa9ca3 (MD5) Previous issue date: 1992 / Resumo: Este trabalho tem por objetivo desenvolver e implementar um modelo para abstraçao funcional de programas, a qual é definida nesta pesquisa como a precisa determinação do efeito de um programa sobre as suas variáveis em todas as situações possíveis. O modelo de abstração funcional proposto é fundamentado na segmentação do programa alvo em termos de suas variáveis relevantes para abstração, na sua decomposição em primos, na simplificação algébrica dos comandos de decisão do programa, na execução simbólica e no uso das técnicas de "Trace-Table" e de resolução das relações de recorrência em iteraçues. Este modelo de abstração é validado e consolidado através da implementação de uma ferramenta que utiliza o código fonte como única fonte de informação, gera uma forma intermediária do programa para facilitar a atividade de abstração, segmenta o programa em função de suas variáveis relevantes para abstração, decompõe o primos e sintetiza cada um dos primos,segmento encontrado em programas Este trabalho contribuiu para a definição de um modelo de abstração funcional promissor em relação ao seu potencial de automatização, bem como à sua aplicabilidade / Abstract: Not informed. / Mestrado / Automação / Mestre em Engenharia Elétrica

Orientador : Marcio Luiz de Andrade Netto / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-19T07:55:54Z (GMT). No. of bitstreams: 1 Campanha_JoseRoberto_D.pdf: 5894259 bytes, checksum: 50a6db00a4aedfc2f04ddd819fc66307 (MD5) Previous issue date: 1994 / Resumo: Propomos neste trabalho um método mais simples, para o cálculo dos parâmetros de ordem de redes neurais, baseados nos cumulantes de uma distribuição. Aplicamos este método ao modelo de Hopfield,obtivemos seus parâmetros de ordem m.q e r e baseados nestes parâmetros, construímos seu diagrama de fase. A seguir, estudamos com nosso método, um modelo de rede neural com esquecimento, e outra rede com baixo nível de atividade neural obtendo novamente, os mesmos resultados que os obtidos pelos métodos da Mecânica Estatística. Trata-se de uma generalização da regra de Hebb, em que consideramos a variação espacial da interação. A partir do método dos cumulantes calculamos os parâmetros de ordem do 1t modelo e mostramos que para k > -2L não há recuperação dos padrões aprendidos pela rede. A principal vantagem do método proposto é ser mais simples do que os métodos da Mecânica Estatística, e por isto acredito, ser acessível a profissionaisde outras áreas / Abstract: Not informed. / Doutorado / Automação / Doutor em Engenharia Elétrica

Orientadores: Lincoln de Assis Moura Junior, Eduardo Tavares Costa / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-19T16:06:08Z (GMT). No. of bitstreams: 1 Cianflone_CarlosEduardo_M.pdf: 4677334 bytes, checksum: cd043007a8deed36560d7cf66d2484ab (MD5) Previous issue date: 1994 / Resumo: A correção cirúrgica da taquicardia ventricular recorrente (TVR) -um tipo de arritmia que pode levar à morte súbita - envolve inicialmente o mapeamento das superfícies cardíacas (endocárdio e epicárdio) à procura do foco ectópico, o local que apresenta a mais precoce ativação elétrica no ciclo de despolarização. o mapeamento convencional é feito durante cirurgia a peito aberto, pelo do uso de um único eletrodo manipulado pelo cirurgião. O estudo completo da superfície cardíaca pode durar mais que uma hora. Isto significa que a TVR deve ser mantida durante toda a investigação, além de exigir a realização de uma incisão na parede ventricular (ventriculotomia) como acesso ao endocárdio, configurando este tipo de mapeamento como um procedimento de alta morbidade para o paciente. Está em desenvolvimento no InCor-HCFMUSP um método baseado em microcomputador destinado à leitura da atividade elétrica em até 256 pontos espalhados na superfície epicárdica e endocárdica. Por meio deste sistema espera-se que o processo de mapeamento elétrico do coração seja menos deletério ao estado hemodinâmico do paciente em relação ao método convencional. O objetivo deste trabalho foi desenvolver um conjunto de programas que amostra o sinal elétrico e identifica o evento "despolarização elétrica" num conjunto de até 256 trechos de sinais (correspondentes a 256 canais) captados simultaneamente por eletrodos de superfície (montados em balões infláveis intra-ventriculares para o endocárdio, e em malha flexível para o epicárdio). O conjunto de sinais é processado em função do atraso da onda de despolarização relativo a um referencial distante, gerando uma tabela de tempos de despolarização. A partir desta informação temporal e da informação anatômica relativa à distribuição espacial dos eletrodos, são construídos mapas de potenciais da superfície monitorada. Estes mapas, que consistem em imagens digitalizadas do sensor utilizado, têm uma representação do atraso da onda de despolarização em cada região pelo uso de escala de cores. A cada mapa de potenciais é sobreposta a "animação" da frente de onda de despolarização, permitindo o reconhecimento imediato da área cardíaca de onde se originou o estímulo elétrico / Abstract: Surgical correction of Recurrent Ventricular Tachycardia (RVT) - a condition that can lead to sudden death - involves mapping the whole heart surface (epicardium and endocardium) in the search for the ectopic focus, the site that shows the earliest electrical activation. The mapping is usually performed under open-heart surgery and typically involves the use of a single probe electrode placed onto the surgeon's fingertip. Scanning the whole heart surface can take more than an hour. ,This process not only requires RVT to be sustained throughout the investigation but also requires a ventricle incision (ventriculotomy) so that the surgeon can access and map the endocardium. At InCor - São Paulo Heart Institute- a microcomputer-based system that can read the electrical activation of up to 256 points of the heart simultaneously is under development. Such a system includes two sets of electrodes: a sock for mapping the epicardium and a balloon for mapping the left ventricle's endocardium. The LV balloon is inserted into the ventricle via atrium and then inflated thus avoidingventriculotomy. The electrical signal generated at the sets of electrodes is input to the microcomputer through a fast analog-to-digital converter at a rate ofup to 1,000 samples per second per channel. This thesis deals with the design and implementation of ali software routines used by InCor's mapping system after signal acquisition. The software developed and described in this thesis, allows signals to be viewed, selected and processed so that the depolarization wave at every electrode is automatically detected. From this data set, 3D maps showing the timing of the electrical activation are generated and displayed under user interaction, allowing the fast and accurate localization of the ectopic focus. The system includes facilities for viewing and processing selected sets of channels as well as generating dynamicmaps of electricalactivation (animation) / Mestrado / Engenharia Biomedica / Mestre em Engenharia Elétrica

Made available in DSpace on 2010-04-20T20:08:27Z (GMT). No. of bitstreams: 0 Previous issue date: 1994-11-11T00:00:00Z / Trata-se de uma proposta de automação da manufatura baseada no relatório técnico ISO/TR 1034-1, que sugere a sua adoção de forma gradativa. Procura também estabelecer relacionamentos com o atual estágio das tecnologias de produção e com os negócios da empresa e, por fim, avaliá-la de forma ampla, quer quantitativa quer qualitativamente.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Jurídicas / Made available in DSpace on 2012-10-18T11:16:42Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T21:26:59Z : No. of bitstreams: 1 178288.pdf: 6180028 bytes, checksum: d29a677378c3e25e89d1a6101823ebad (MD5) / Detalhamento do estágio atual de informatização do Poder Judiciário brasileiro, nos três graus de jurisdição; análise da Lei 9.800/99, que possibilita a realização de atos processuais através de sistemas de transmissão de dados e imagens; identificação da maneira pela qual os órgãos judiciais recepcionaram a Lei 9.800/99; estudo de caso envolvendo o TRT da 12a Região, que permite a prática de atos processuais utilizando a Internet; Anexo com termos técnicos e jurisprudência.

Esta tese propõe uma arquitetura de software neuro-reativa para sistemas de automação do ambiente construído. O objetivo é facilitar o desenvolvimento, a manutenção e a expansão desses sistemas, através de três requisitos norteadores: modularidade, flexibilidade e capacidade de integração das partes. Um modelo baseado em unidades chamadas de \"neurônios\" e de \"glândulas\" é proposto. Esses elementos fundamentais têm características reativas e podem ser combinados formando diferentes sistemas de automação. Uma versão da arquitetura proposta é programada na linguagem Java utilizando tecnologias como CORBA e MySQL. Por fim, uma casa fictícia é utilizada como exemplo para demonstrar a aplicação da arquitetura proposta. / This thesis presents a neuro-reactive software architecture applied to building automation systems. The objective is to make development, maintenance and ex-pansion of these systems easier through three main requirements: modularity, flex-ibility and parts integration capability. A model with units called neurons and glands is proposed. These fundamental elements have reactive characteristics and are combined to constitute automation systems. A version of proposed architecture is programmed in Java language using technologies like CORBA and MySQL. In the end, a fictitious home automation system is used as example.

Esta tese propõe uma arquitetura de software neuro-reativa para sistemas de automação do ambiente construído. O objetivo é facilitar o desenvolvimento, a manutenção e a expansão desses sistemas, através de três requisitos norteadores: modularidade, flexibilidade e capacidade de integração das partes. Um modelo baseado em unidades chamadas de \"neurônios\" e de \"glândulas\" é proposto. Esses elementos fundamentais têm características reativas e podem ser combinados formando diferentes sistemas de automação. Uma versão da arquitetura proposta é programada na linguagem Java utilizando tecnologias como CORBA e MySQL. Por fim, uma casa fictícia é utilizada como exemplo para demonstrar a aplicação da arquitetura proposta. / This thesis presents a neuro-reactive software architecture applied to building automation systems. The objective is to make development, maintenance and ex-pansion of these systems easier through three main requirements: modularity, flex-ibility and parts integration capability. A model with units called neurons and glands is proposed. These fundamental elements have reactive characteristics and are combined to constitute automation systems. A version of proposed architecture is programmed in Java language using technologies like CORBA and MySQL. In the end, a fictitious home automation system is used as example.

Orientador: Edvaldo Assunção / Banca: Marcelo Carvalho M. Teixeira / Banca: Hilton Cleber Pietrobom / Resumo: Este trabalho aborda técnicas de controle em sistemas lineares realimentados com a derivada dos estados. Apresenta-se uma nova técnica de alocação de pólos, de forma que a resposta do sistema em malha fechada atenda alguns índices de desempenho. O projeto para o controlador é desenvolvido na forma de LMIs. Esse tipo de projeto é mais flexível no tratamento de robustez. Porém, é bem complicado inserir restriçõesi clássicas de índice de desempenho em LMIs. Para resolver essa situação usa-se o conceito de estabilidade regional (ou D-estabilidade) de sistemas. São apresentadas condições necessárias e suficientes para a D-estabilidade de sistemas lineares, realimentados com a derivada dos estados. Também são encontradas condições de suficiência para a D-estabilidade em sistemas com incertezas politópicas nos parâmetros. Apresenta-se a analogia que existe entre LMIs para sistemas com incertezas politópicas e LMIs para sistemas variantes no tempo. A eficiência da metodologia apresentada é avaliada através da solução de exemplos numéricos. / Abstract: This work focuses control techniques in linear systems using only state-derivative feed- back. It presents new techniques for pole-placement, where the transient response of a linear system is specified by design constraints. The design of the controller is described in LMI framework. This framework is more exible on the design of robust systems. However, it is more difficulty to incorporate classical design constraints in LMIs. The problem is solved using D-stability concept. We proposed necessary and sufficient condi- tions for D-stability of linear system using state derivative feedback. Are also proposed sufficient conditions to uncertain linear system and time-varying systems with bounded parameters. The validity and applicability of this approach are illustrated by examples. / Mestre