Sistemas Recursivos
Mostrando 1-12 de 18 artigos, teses e dissertações.
-
1. Clássicos versus Keynes: a abordagem formal de David Champernowne
Este texto tem por objetivo ressaltar um aspecto que não tem sido tratado com a devida profundidade na literatura que estuda a formalização da Teoria Geral do Emprego, dos Juros e da Moeda de John Maynard Keynes (1936). Mais precisamente, o texto destaca a estratégia de formalização adotada por David G. Champernowne em seu artigo intitulado "Unemployme
Estudos Econômicos (São Paulo). Publicado em: 2012-03
-
2. Sistema de aquisiÃÃo de dados e controle de plantas descentralizadas de energias renovÃveis / âData acquisition system and control for decentralized renewable energy plantsâ
A contribuiÃÃo das fontes de energias renovÃveis na matriz energÃtica mundial està aumentando rapidamente. No Brasil, a capacidade instalada de energia eÃlica atingiu 1 GW em maio de 2011 e os investimentos para projetos eÃlicos com entrada em operaÃÃo atà 2013 somam R$ 25 bilhÃes. Sistemas de aquisiÃÃo de dados sÃo essenciais para a estimaÃÃ
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 23/09/2011
-
3. Filtragem robusta recursiva para sistemas lineares a tempo discreto com parâmetros sujeitos a saltos Markovianos / Recursive robust filtering for discrete-time Markovian jump linear systems
Este trabalho trata de filtragem robusta para sistemas lineares sujeitos a saltos Markovianos discretos no tempo. Serão desenvolvidas estimativas preditoras e filtradas baseadas em algoritmos recursivos que são úteis para aplicações em tempo real. Serão desenvolvidas duas classes de filtros robustos, uma baseada em uma estratégia do tipo H \ INFINITO\
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/08/2011
-
4. Modelos de Volterra : identificação não paramétrica e robusta utilizando funções ortonormais de Kautz e generalizadas / Volterra models : nonparametric and robust identification using Kautz and generalized orthonormal functions
Enfoca-se a modelagem de sistemas não-lineares usando modelos de Volterra com bases de funções ortonormais (Orthonormal Basis Functions - OBF) distintas para cada direção do kernel. Os modelos de Volterra constituem uma classe de modelos polinomiais não-recursivos, modelos sem realimentação da saída. Tais modelos são parametrizados por funções mu
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 30/06/2011
-
5. Solução analítica das equações da cinética pontual e espacial da teoria de difusão de nêutrons pelas técnicas da GITT e decomposição
Neste trabalho, relatam-se soluções analíticas para as equações da cinética da teoria de difusão de nêutrons. Para a solução das equações da cinética pontual consideram-se seis grupos de precursores de nêutrons atrasados e assume-se reatividade variável como uma função arbitrária do tempo. A ideia principal consiste inicialmente na determin
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2011
-
6. Filtering techniques using Markov jump processes applied to maneuvering target tracking / Técnicas de filtragem utilizando processos com saltos markovianos aplicados ao rastreamento de alvos móveis
Esta dissertação possui como tema o estudo do problema de rastreamento de alvos manobrantes a partir da modelagem de sistemas dinâmicos com utilização da teoria de saltos markovianos nas transições entre modelos, da utilização de filtros estocásticos recursivos e de técnicas de filtragem. Foram feitos estudos e análises de dois tipos de modelos d
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 30/03/2010
-
7. Especificação de um sistema de suporte a implementação de linguagens / Specification of a support system to language implementation
Neste trabalho é descrita a organização de SINSEM, um sistema de processamento automático de especificação SINtático-SEMânticas de linguagens de programação. É colocada a motivação para um tal sistema, em relação ao uso que se daria a ele. O sistema é situado entre sistemas similares, dos quais alguns são brevemente descritos, incluindo-se e
Publicado em: 2010
-
8. Otimização da síntese do projeto de atuadores MEMS baseados em deformação elástica e estrutura comb-drive / Optimization design synthesis of MEMS actuators based on elastic deformation and comb-drive structure
MEMS (Micro-Electro-Mechanical Systems) é um microsistema invasivo, intermediador e interativo que se desenvolve de forma inteligente, versátil e eficiente. Entretanto, a interatividade, característica que o torna altamente atrativo e suas qualidades de leveza, invisibilidade, economia quanto a consumo de energia, robustez e alta confiabilidade são foco
Publicado em: 2010
-
9. Gregory Bateson e a educação : possíveis entrelaçamentos
A presente tese tem como objetivo apresentar as reflexões de uma pesquisa de caráter teórico que analisou os nexos entre a educação como área de conhecimento e a epistemologia desenvolvida por Gregory Bateson chamada de ecologia da mente. Este processo investigativo procurou redimensionar o alcance da ação pedagógica em movimentos que propuseram a r
Publicado em: 2009
-
10. Métodos recursivos para o cálculo da integral de convolução
O objetivo principal deste trabalho é apresentar um método recursivo para a determinação da resposta forçada de sistema de segunda ordem na forma de uma íntegra de concolução, proveniente da utilização de propriedades de transição da resposta impulso de tais sistemas. Descrevem-se também diversos métodos analíticos e numéricos desenvolvidos p
Publicado em: 2007
-
11. Minimal Model and hierarchy of expressive power / Modelos minimais e hierarquia de expressividade
Neste trabalho, o conceito de Modelo Minimal e seu uso na semÃntica de certas lÃgicas sÃo estudados. NÃs analisamos o poder expressivo de diversas lÃgicas que usam o conceito de Modelo Minimal para definir sua relaÃÃo de satisfaÃÃo. Os principais teoremas estudados foram o Teorema de LÃwenheim-Skolem e o Teorema de Definibilidade de Beth. No CapÃt
Publicado em: 2007
-
12. Estimação da cota inferior para a confiabilidade de sistemas por árvores de falhas
A técnica de árvores de falhas é uma das principais ferramentas empregadas em confiabilidade e análise de risco para o suporte nas tomadas de decisão e controle de gestores na busca da garantia da execução satisfatória das funções de um dado sistema e seus componentes, considerando as condições ambientais e de operação. Um dos principais proble
Pesquisa Operacional. Publicado em: 2006-08