Analise De Algoritmos E Complexidade De Computacao
Mostrando 1-12 de 45 artigos, teses e dissertações.
-
1. Análise da distribuição do número de operações de resolvedores SAT / Distribution\ s analysis of operations\ s number of SAT solvers
No estudo da complexidade de problemas computacionais destacam-se duas classes conhecidas como P e NP. A questao P=NP e um dos maiores problemas nao resolvidos em Ciencia da Compu- tacao teorica e Matematica contemporanea. O problema SAT foi o primeiro problema reconhecido como NP-completo e consiste em verificar se uma determinada formula da logica proposic
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/02/2012
-
2. Uma LÃgica de DescriÃÃo Default / A Description Logic for Default
A formalizaÃÃo do conhecimento e a automatizaÃÃo do raciocÃnio sÃo assuntos centrais de pesquisa da InteligÃncia Articial. A LÃgica de Primeira Ordem tem sido tradicionalmente utilizada para tais propÃsitos. No entanto, ela à mais adequada para lidar com conhecimento completo em circunstÃncias ideais. Em situaÃÃes reais, nas quais o conhecimento
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 19/08/2011
-
3. Validation of exceptional flow in UML 2.0 acitivity diagram / Validação do fluxo excepcional a partir do diagrama de atividades da UML 2.0
Para a construção de sistemas robustos, devem ser utilizadas técnicas de tolerância a falhas que podem ser implementadas através de mecanismos de tratamento de exceções. Esses mecanismos possibilitam o tratamento de possíveis exceções, ou até mesmo a continuação da execução das funcionalidades do sistema mesmo na presença de uma exceção. O
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 17/06/2011
-
4. Automação de horários escolares utilizando algoritmo genético
Este trabalho apresenta uma abordagem sobre os problemas relacionados à confecção de horários escolares em uma Instituição de ensino. O problema consiste na alocação do professor por turma, de forma que mais que um professor não esteja associado a uma mesma turma em um mesmo horário, além disso, todas as restrições envolvidas no problema devem s
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/05/2011
-
5. ALGORITHMS FOR PERFORMING THE COMPUTATION OF GOMORY HU CUT-TREES / ALGORITMOS PARA ACELERAR A COMPUTAÇÃO DE ÁRVORES DE CORTE DE GOMORY E HU
O problema do fluxo máximo multiterminal é uma extensão do conhecido problema de fluxo máximo entre um nó origem e um nó destino de uma rede. Este problema surge no contexto de fluxos em redes, tema que possui diversas aplicações, especialmente nos campos de transporte, telecomunicações e energia. No caso multiterminal, o fluxo máximo é calculado
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 13/04/2011
-
6. APRENDIZAGEM POR REFORÇO E PROGRAMACÃO DINÂMICA ADAPTATIVA PARA PROJETO E AVALIAÇÃO DO DESEMPENHO DE ALGORITMOS DLQR EM SISTEMAS MIMO / LEARNING BY STRENGTHENING AND ADAPTIVE DYNAMIC PROGRAMMING FOR DESIGN AND EVALUATION OF PERFORMANCE DLQR ALGORITHMS IN MIMO SYSTEMS
Em decorrência do crescente desenvolvimento tecnológico e das consequentes aplicações industriais, técnicas de controle de alto desempenho e aprendizado por reforço estão sendo desenvolvidas não só para solucionar novos problemas, mas também para melhorar o desempenho de controladores já implementados em sistemas do mundo real. As abordagens do ap
Publicado em: 2011
-
7. Separação cega de misturas com não-linearidade posterior utilizando estruturas monotônicas e algoritmos bio-inspirados de otimização / Blind separation of post-nonlinear mixture using monotonic structures and bio-inspired optimization algorithms
O presente trabalho se propõe a desenvolver métodos de Separação Cega de Fontes (BSS) para modelos de mistura com Não-Linearidade Posterior (PNL). Neste caso particular, a despeito da não-linearidade do modelo, ainda é possível recuperar as fontes através de técnicas de Análise de Componentes Independentes (ICA). No entanto, há duas dificuldades
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 19/08/2010
-
8. Metaheurísticas para o problema de programação de tarefas em máquinas paralelas com tempos de preparação dependentes da sequência e de recursos / Metaheuristics for the parallel machines scheduling problem with resource-assignable sequence dependent setup times
Os problemas de programação de tarefas em máquinas paralelas são importantes na área de otimização combinatória, pois quase sempre envolvem problemas rotineiros em indústrias de pequeno e grande porte. Este trabalho aborda o problema de sequenciamento de tarefas em máquinas paralelas, com tempos de preparação das máquinas dependentes da sequênc
Publicado em: 2010
-
9. Algoritmo eficiente de análise estática para procurar ataques do tipo variáveis contaminadas
Ataques do tipo variáveis contaminadas ocorrem quando entradas de programas são manipuladas maliciosamente a afim de explorar falhas de segurança inerentes ao software afetado. Ataques deste tipo são comuns em linguagens de scripts como PHP, originadas no lado do servidor. Em 1997, Orbaek e Palsberg formalizaram o problema de detectar essas explorações
Publicado em: 2010
-
10. ADC : ambiente para experimentação e avaliação de protocolos de difusão confiável / Reliable broadcast protocols experimentation and evaluation environment (ADC)
Uma tendência recente em sistemas de computação é distribuir a computação entre diversos processadores físicos. Isto conduz a dois tipos de sistemas: sistemas fortemente acoplados e sistemas fracamente acoplados. Este trabalho enfoca os sistemas de computação classificados como fracamente acoplados, ou sistemas distribuídos, como são popularmente
Publicado em: 2010
-
11. Programação dinâmica eficiente com algoritmos Cache-Oblivious / Efficient cache-oblivious dynamic programming algorithms
A memória nos computadores modernos geralmente está organizada em uma hierarquia complexa. Dessa forma, torna-se importante projetar algoritmos que utilizem a cache de forma eficiente. Além disso, as configurações da memória e da cache tem grande variação de computador para computador. Assim, é necessário também que os algoritmos desenvolvidos dep
Publicado em: 2009
-
12. Meta-aprendizado para anÃlise de desempenho de mÃtodos de classificaÃÃo multi-label,
Nos Ãltimos anos, tÃm surgido diversas aplicaÃÃes que utilizam algoritmos de Aprendizagem de MÃquina Supervisionada para resolver problemas de classificaÃÃo envolvendo diversos domÃnios. No entanto, muitas destas aplicaÃÃes se restringem a utilizarem algoritmos singlelabel, ou seja, que atribuem apenas uma classe a uma dada instÃncia. Tais aplica�
Publicado em: 2009