Orientador: Cristiane Nespoli Morelato França / Banca: Marcos Tadeu de Oliveira Pimenta / Banca: Catia Regina Gonçalves / Resumo: Neste trabalho, fazemos um estudo sobre os sistemas lineares com saltos markovianos (SLSM) e os sistemas lineares com saltos semimarkovianos (SLSS). Os SLSM sao utilizados para modelar sistemas sujeitos a falhas ou mudanças abruptas em suas estruturas. Nesta dissertaçao, estudamos importantes resultados sobre a estabilidade de segundo momento de um SLSM a tempo contínuo e com horizonte infinito. Tais resultados apresentam condiçoes necessarias e suficientes para a estabilidade destes sistemas e, alem disso, mostram que todos os conceitos de estabilidade de segundo momento sao equivalentes. Com relaçao aos SLSS, que representam um caso geral dos SLSM, apresentamos um estudo sobre a estabilidade estocastica de tais sistemas a tempo contínuo e com horizonte infinito. Mais especificamente, realizamos um estudo de um resultado recente que exibe uma condiçao suficiente para a estabilidade estocastica deste tipo de sistema. Como contribuiçao, introduzimos um estudo sobre estabilidade de segundo momento de SLSM a tempo contínuo, porem, com horizonte definido por um tempo de parada = TN associado ao N-ésimo momento de falha ou reparo, depois do qual o sistema e paralisado para manutençao. Desse modo, adequamos o conceito de estabilidade de segundo momento e apresentamos um resultado que exibe condiçoes necessarias e suficientes para a estabilidade destes sistemas. Alem disso, mostramos que tais condiçoes encontradas sao mais restritivas do que aquelas associadas ao horizonte infinito. Finalmente, provamos tambem que todos os conceitos de estabilidade de segundo momento sao equivalentes. / Abstract: In this work, we present a study of Markov jump linear systems (MJLS) and Semi- Markov jump linear systems (S-MJLS). The MJLS are used to model systems subject to failures or abrupt changes in structure. Here, we study important results related to second moment stability of a continuous-time MJLS with infinite-time horizon. These results present necessary and sufficient conditions for stability of these systems and they also show that all second moment stability concepts are equivalent. In respect to S-MJLS, that represent a general case of MJLS, we present a study of stochastic stability of these continuous-time systems with infinite-time horizon. It means that we study a recent result that gives a sufficient condition for stochastic stability of this kind of system. As a contribution of this work, we introduce a study of second moment stability of a continuoustime MJLS, but now with horizon defined by a stopping time = TN associated with the accumulated N-th failure or repair periods, after which the system is brought to a halt for maintenance. Therefore, we adapt the second moment -stability concept and we present a result that gives necessary and sufficient conditions for -stability of these systems. Furthermore, we show that such conditions obtained are more restrictive than that associated with the infinite-time horizon. Finally, we also prove that all second moment -stability concepts are equivalent. / Mestre

Made available in DSpace on 2016-12-23T14:34:48Z (GMT). No. of bitstreams: 1 Adalto Speroto.pdf: 494566 bytes, checksum: d935feb1b76b249452123c123698833a (MD5) Previous issue date: 2012-08-16 / Este trabalho tem como objetivo principal o estudo de propriedades espectrais de uma classe de operadores de segunda ordem, os adjuntos formais dos operadores diferenciais generalizados de Feller. Em particular, deduzir que estes operadores são geradores de semigrupos de contração fortemente contínuos e, consequentemente, caracterizando uma correspondente classe de processos de Markov. Como objetivo secundário, estabeleceremos alguns resultados relativos a processos estocásticos com especial atenção aos processos de Markov. Estabeleceremos a conexão de processos de Markov, operadores de semigrupos e geradores infinitesimais / The main aim of this work is the study of spectral properties of a class of the second order operators, the formal adjoint of the generalized Feller differential operators. In particular, to deduce that these operators are generators of a strongly continuous contraction semi-group and therefore, to obtain a corresponding class of Markov processes. As a secondary objective, we will establish some results for stochastic processes. We will establish the connection of Markov processes, operators and infinitesimal generators of semi-groups

Orientador: Rafael Santos Mendes / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecânica / Made available in DSpace on 2018-08-18T03:24:20Z (GMT). No. of bitstreams: 1 Prado_Daniel_M.pdf: 1023728 bytes, checksum: 9342e53e6ff7f169478722c6bcd70fc0 (MD5) Previous issue date: 2011 / Resumo: Este projeto tem por objetivo estudar um problema de projeto para realizar o handoff vertical entre canais de comunicação GPRS e Satélite em um cenário que otimize o tempo e o custo através de equações probabilísticas. Através de um modelo de estados que descreve as diferentes possibilidades de comunicação entre sistemas GPRS e Satélite, o objetivo é determinar os tempos dos eventos controláveis que fazem a mudança entre os estados de modo a otimizar o tempo de comunicação num cenário probabilístico de handoff vertical entre canais de comunicação. Os resultados das simulações realizadas nesta dissertação em diferentes situações de qualidade dos sinais de transmissão GPRS e Satélite, mostram que através dos algoritmos de handoff desenvolvidos, a probabilidade estacionária de permanência nos estados de transmissão é aumentada / Abstract: This project aims to study a design problem to carry-out the handoff vertical of communication between communication channels GPRS and Satellite in a scenario that optimizes time and cost by probabilistic equations. Through a state model that describes the different possibilities of communication between GPRS and satellite systems, the goal is to set the times of the controllable events that do the changes between states in order to optimize the communication time in a probabilistic scenario of handoff vertical for communication channels. The results of the simulations in this work in different situations, quality of transmission signals GPRS and Satellite, show that through the handoff algorithms developed, the stationary probability of staying in the states of transmission is increased / Mestrado / Eletrônica / Mestre em Engenharia Automobilistica

Orientador: Luis Geraldo Pedroso Meloni / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-05T17:33:33Z (GMT). No. of bitstreams: 1 Goncalves_JaquelineVieira_M.pdf: 1342430 bytes, checksum: a3453c6b093ca10121670663134a5b07 (MD5) Previous issue date: 2005 / Resumo: Neste trabalho, Modelos Ocultos de Markov Contínuos (HMMC) baseados em palavras e independentes de locutor são incorporados a um sistema de reconhecimento de dígitos conectados baseado em HMMs discretos do Laboratório de Processamento Digital de Sinais de Multimídia em Tempo Real da Faculdade de Engenharia Elétrica da UNICAMP, visando aperfeiçoar a plataforma existente. A teoria envolvida e detalhes da implementação do sistema de modelos contínuos são apresentados. Os HMMs contínuos empregados durante os experimentos possuem quantidades de estados e misturas dependentes do comprimento da palavra e, assim como no sistema anterior, o processo de treinamento usa um conjunto treinado de dígitos isolados como modelos iniciais no treinamento de dígitos conectados, além da informação adicional de duração de palavra. Durante esta fase de treinamento dos dígitos conectados, também é realizada outra forma de treinamento em que os modelos de dígitos isolados não são usados. As taxas de reconhecimento obtidas com esses dois tipos de treinamento também são avaliadas. Duas bases de dados foram usadas na análise de desempenho do sistema, uma delas em Português brasileiro e outra no Inglês americano. Os experimentos realizados permitiram comparar o desempenho entre os dois tipos de modelos, discreto e contínuo, para esta aplicação de modelos de palavras independentes de locutor, bem como apresentam resultados entre o sistema desenvolvido com HMMs contínuos e o software livre HTK (HMM Toolkit) sob as mesmas condições de operação. Experimentos também mostram o comportamento do sistema de HMMs contínuos desenvolvido ao variar-se o número de estados e misturas dos modelos separadamente / Abstract: In this work, we incorporate a continuous density Hidden Markov Models (HMMC) to a connected digit speech recognition system, based on speaker-independent word models, of the Real Time Multimedia Digital Signal Processing Laboratory at UNICAMP. The previous system is based on discrete HMMs, and the involved theory and implementation details of the continuous model system are presented. The continuous HMMs used in our experiments have the amount of states and mixtures dependent on word length. As well as in the previous system, the training procedure uses a training set of isolated digits in order to provide initial estimates of the continuous models and it also includes additional information of word duration. Moreover, we have also used another training procedure in which the isolated digits models are not used. The recognition rates obtained with those two training forms are also evaluated. Two databases were used to assess system performance, one is a small database for the Brazilian Portuguese and another one is for the American English. We carried out experiments in order to compare the performance of two types of models, discrete and continuous, in a speaker-independent word model application. We also evaluated the continuous HMMs performance using the open source HTK (HMM Toolkit) under the same operation conditions. Finally, performance results of the developed continuous HMMs system for different number of states and Gaussian mixtures are also shown / Mestrado / Telecomunicações e Telemática / Mestre em Engenharia Elétrica

Orientador: Jose Claudio Geromel / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-06T08:10:58Z (GMT). No. of bitstreams: 1 Goncalves_AlimPedrodeCastro_M.pdf: 293253 bytes, checksum: 4365f5ae19ae33e8d97053c2c57ad15d (MD5) Previous issue date: 2006 / Resumo: Este trabalho aborda alguns dos aspectos mais relevantes relacionados à estabilidade e norma H2 de sistemas lineares discretos sujeitos a saltos markovianos, bem como as estratégias para a síntese de controle por realimentação de estado. A maior contribuição apresentada é um método para calcular os ganhos de realimentação de estado sem a necessidade de observar, em cada instante, todos os estados da cadeia de Markov / Abstract: This work discusses some of the most relevant aspects of stability and H2 norm of discrete-time markov jump linear systems, as well as a method for state feedback contraI design. Our major contribution is on the definition of a procedure to determine the state feedback gains without the complete knowledge, at each instant of time, of the Markov chain state / Mestrado / Automação / Mestre em Engenharia Elétrica

Orientador: João Bosco Ribeiro do Val / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-06T12:35:26Z (GMT). No. of bitstreams: 1 Moises_GustavoViniciusLourenco_M.pdf: 6246087 bytes, checksum: c9946249f751bda598372a7979e3a189 (MD5) Previous issue date: 2005 / Resumo: Esta dissertação possui como tema a filtragem via Métodos de Monte Carlo para Cadeia de Markov. Através do estudo e da análise dos algoritmos de amostragem estocástica aliados às implementações numéricas, foi desenvolvida uma metodologia para avaliar e comparar as diversas técnicas de filtragem encontrados na literatura. Aplicações associando a filtragem recursiva ao controle via horizonte retrocedente também foram utilizadas para verificar o desempenho e a estabilidade do conjunto filtro/controle / Abstract: The dissertation's theme is the filtering problem via Markov Chain Monte Carlo methods. Combining the estudy and the analysis of the stochastic sampling algorithms with numerical implementations, we developted a methodology to evaluate and compare several filters in literature. Aplications of recursive filtering in association with receding horizon control tecniques were used to verify the finality and stability of the filter/control combination / Mestrado / Automação / Mestre em Engenharia Elétrica

Orientador: João Bosco Ribeiro do Val / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-07T09:08:47Z (GMT). No. of bitstreams: 1 Arruda_EdilsonFernandesde_D.pdf: 7031418 bytes, checksum: 5dc90e2d3823b0e6bcf659159d183007 (MD5) Previous issue date: 2006 / Resumo: Apresenta-se um modelo de controle por intervenções para o problema de produção e estoque de vários itens, com diversos estágios de produção. Este problema pode ser solucionado via programação dinâmica discreta (PD) por um operador de custo descontado. Para contornar a dificuldade de obtenção da solução ótima via PD ao se considerar um número razoável de classes de itens e suas etapas de produção, esta tese desenvolve-se em duas linhas. A primeira delas consiste em tomar uma noção de estabilidade estocástica no sentido Foster-Lyapunov para caracterizar a família de soluções candidatas a ótima, originando uma classe de políticas que geram um subconjunto de estados que são recorrentes positivos. Dessa forma, é possível propor políticas sub-ótimas que sejam estáveis, e cuja consideração de otimalidade possa ser desenvolvida apenas no subconjunto de estados recorrentes, simplificando a tarefa da PD e focando nos estados mais freqüentados no longo prazo. A segunda linha de abordagem consiste em desenvolver técnicas de PD aproximada para o problema, através de uma arquitetura de aproximação fixa aplicada a um subconjunto amostra do espaço de estados. Um avanço analítico é alcançado por observar como uma arquitetura de aproximação pode capturar adequadamente a função valor do problema, vista como uma projeção da função valor na arquitetura. Condições para que um algoritmo de PD aproximada convirja para essa projeção são obtidas. Essas condições são independentes da arquitetura utilizada. Um algoritmo derivado dessa análise é proposto, a partir do monitoramento da variação de passos sucessivos / Abstract: We propose an intervention control model for a multi-product, multi-stage, single machine production and storage problem. The optimal policy is obtained by means of discrete dynamic programming (DP), through a discounted cost contraction mapping. In order to overcome the difficulty of obtaining the optimal solution for problems with a reasonable number of products and production stages, we take two different approaches. The first one consists in using a notion of stochastic stability in the Foster-Lyapunov sense to characterize the candidate policies, thus originating a class of policies that induce a subset of positive recurrent states. Therefore, one can propose suboptimal policies that are stable and seek optimality only in the subset of recurrent states, in such a way that simplifies the DP task and focuses on the states which are visited more frequently in the long run. The second approach consists in developing approximate dynamic programming techniques for the problem, by means of a fixed approximation architecture applied to a sample subset of the state space. A novel result is obtained by observing how an approximation architecture can adequately capture the value function of the problem, which is viewed as a projection of the value function into the architecture. We obtain conditions for an approximate DP algorithm to converge to this projection. These conditions are architecture independent. An algorithm derived from this analysis is proposed that monitors the variation between successive iterates / Doutorado / Automação e Controle / Doutor em Engenharia Elétrica

Orientador: Fabio Violaro / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-22T03:55:20Z (GMT). No. of bitstreams: 1 Nunes_HenriqueFerreira_M.pdf: 3451593 bytes, checksum: 3b52e036b0a5e12b0ac02d174adb7126 (MD5) Previous issue date: 1996 / Resumo: Este trabalho objetiva o desenvolvimento de sistemas de reconhecimento de fala baseados nos modelos ocultos de Markov- HMM (Hidden Markov Models). São descritos três sistemas de reconhecimento de fala desenvolvidos, que resultaram em protótipos demonstrativos da viabilidade técnica destes sistemas. Inicialmente, apresenta-se um reconhecedor de palavras isoladas para vocabulários pequenos, avaliado para os modos de operação multi-Iocutor e independente de locutor. Em seguida, descreve-se um sistema de reconhecimento de seqüências de dígitos faladas de forma contínua. Para este sistema, apresentam-se resultados de desempenho para os modos de operação dependente de locutor, multi-Iocutor e independente de locutor. Por fim, desenvolve-se um reconhecedor de palavras isoladas com vocabulário flexível e irrestrito para o português falado no Brasil. A definição do vocabulário de reconhecimento deste sistema é realizada de forma automática através da simples digitação dos textos ortográfIcos correspondentes às palavras desejadas. O reconhecedor com vocabulário flexível é avaliado apenas para o modo de operação dependente de locutor / Mestrado / Mestre em Engenharia Elétrica

Orientador: Fabio Violaro / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-23T10:44:55Z (GMT). No. of bitstreams: 1 Martins_JoseAntonio_D.pdf: 10107406 bytes, checksum: 84fe0eb5136fa3647bc206aa2d240af1 (MD5) Previous issue date: 1997 / Resumo: Neste trabalho são avaliadas as seguintes técnicas empregadas em reconhecimento de fala: Modelos Ocultos de Markov (Discreto, Semicontínuo e Contínuo), redes " Multilayer Perceptron " e Sistemas Híbridos. Para essa avaliação, foram implementados vários reconhece dores de palavras isoladas independentes do locutor, sendo usada a mesma base de dados para todos os reconhecedores. O objetivo dessa avaliação é identificar as vantagens e desvantagens de cada técnica de modo a facilitar a escolha da técnica mais apropriada para cada aplicação de reconhecimento de fala considerando diversos aspectos como taxa de acerto, tempo de reconhecimento, tempo de treinamento, quantidade de parâmetros, tipo de algoritmo e outros. Reconhecedores implementados empregando as técnicas descritas também foram utilizados para avaliar algoritmos para detecção de início/fim de palavras, vários tipos de medidas de distorção usados em quantização vetorial e diferentes parâmetros utilizados para representar o sinal de fala. Entre esses parâmetros mostrou-se que existe uma superioridade dos parâmetros calculados usando uma escala não linear de freqüências, independentemente da técnica empregada nos reconhecedores. Discute-se também o uso da subtração da média espectral e diferenciação, as quais melhoram o desempenho dos reconhecedores. Combinando diferentes parâmetros conseguiu-se obter uma taxa de acertos de 99.47% para um reconhecedor de palavras isoladas independente do locutor e um vocabulário de 50 palavras / Abstract: This work presents an evaluation of speaker independent isolated word recognizers using Hidden Markov Models (Discrete, Continuous and Semicontinuous), Artificial Neural Networks (Multilayer Perceptron) and Hybrid Systems. All the recognizers were evaluated considering the same database. The goal of these comparisons is to identify the advantages and disadvantages of each technique used in speech recognition, considering the following features: training and recognition time, recognition accuracy, complexity of algorithms and others. It is also reported the result of a comparison among different algorithms used in word endpoints detection. Moreover, several distance measures employed in vector quantization were evaluated with regard to recognition performance. In addition, different kinds of parameters used to represent the speech signal such as LPC coefficients, Mel Frequency Cepstrum coefficients, PLP coefficients were considered in the evaluation of recognizers and it was discussed the efects of cepstral mean subtraction in order to improve the recognition accuracy. The best recognizer performance of 99.47% was obtained combining different features / Doutorado / Doutor em Engenharia Elétrica

Orientador: Fabio Violaro / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-28T13:19:36Z (GMT). No. of bitstreams: 1 Dias_RaqueldeSouzaFerreira_M.pdf: 453879 bytes, checksum: 3b408421c3b4b92453ac0dc80111c05b (MD5) Previous issue date: 2000 / Mestrado