Teoria Ciencia Computacao
Mostrando 37-48 de 244 artigos, teses e dissertações.
-
37. Programacão em dois níveis: teoria e algoritmos
Este trabalho aborda de forma rigorosa o problema de dois níveis, sobretudo o caso linear. Resultados conhecidos da literatura tiveram suas demonstrações reproduzidas, ou refeitas. Como motivaçãoo para o leitor, formulações de problemas clássicos como problemas de dois níveis foram expostas. No aspecto teórico, destacam-se como contribuições a fo
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 18/03/2010
-
38. Modelo de predição para análise comparativa de técnicas neuro-fuzzy e de regressão
Neste trabalho são investigadas estratégias para a elaboração de Modelos de Predição que possam ser utilizados no monitoramento de uma variável de qualidade pertencente a um determinado Processo Produtivo Industrial. Neste cenário, a variável de qualidade é estimada por meio de técnicas da Inteligência Computacional e empiricamente avaliada na re
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/02/2010
-
39. Números naturais parciais / Partial natural numbers
Os números naturais parciais são informações parciais sobre números naturais e w. As propriedades matemáticas do domínio de números naturais parciais e de funções que envolvem este domínio são estudadas via o use da teoria dos domínios de Scott. A manipulação formal de naturais parciais é estudada mediante a utilização de um calculo-ג tipa
Publicado em: 2010
-
40. Teorias da Aleatoriedade
Este trabalho apresenta uma revisão bibliográfica sobre a definição de “seqüência aleatória”. Nós enfatizamos a definição de Martin-Löf e a definição baseada em incompressividade (complexidade de Kolmogorov). Complexidade de Kolmogorov é uma teoria sofisticada e profunda da informação e da aleatoriedade baseada na máquina de Turing. Esta
Publicado em: 2010
-
41. Estratégias de computação seqüenciais e paralelas sobre espaços coerentes / Sequential and parallel computational strategies of coherence spaces
As estruturas de dados concretas (cds) são quaternas (C, V, E, l-) que contêm um conjunto C de células, um conjunto V de valores, um conjunto E de eventos e uma relação de habilitação l-. O conjunto de estados de uma cds é um domínio concreto que pode ser considerada a parte "abstrata" das cds. Da mesma maneira tem-se que os domínios de eventos (qu
Publicado em: 2010
-
42. Taxonomias corporativas: um estudo sobre definições e etapas de construção fundamentado na literatura publicada
A presente pesquisa foi baseada na observação da diversidade de conteúdo sobre taxonomia e de seus métodos de construção existentes, de acordo com as várias fontes. É sabido que este conceito é amplamente utilizado em diversos domínios científicos e tecnológicos, e entre esses, Ciência da Informação. Assim, esta pesquisa se propõe a apresenta
Publicado em: 2010
-
43. Algoritmos genéticos assistidos por metamodelos baseados em similaridade / Genetic algorithms assisted by similarity-based metamodels
Vários problemas de interesse em Ciência e Engenharia são formulados como problemas de otimização. A complexidade dos problemas modernos tem levado ao desenvolvimento de modelos matemáticos de complexidade crescente, resultando em modelos de simulação computacionalmente custosos. Algoritmos Genéticos (AG), inspirados na Teoria de Evolução por sele
Publicado em: 2010
-
44. Estudo dos espaços coerentes do ponto de vista da teoria dos topos / A study of coherent spaces from the point of view of the theory of topos
Este trabalho propõe o estudo dos espaços coerentes do ponto de vista da teoria dos topos, ou seja, consiste em uma análise, em termos de topos, das principais categorias de espaços coerentes. Os espaços coerentes constituem um tipo de domínio que apresenta algumas particularidades que o distinguem dos demais, por exemplo, considera admissíveis no con
Publicado em: 2010
-
45. Implementação do software MILC no estudo da QCD completa / Implementation of the MILC package in the study of full QCD
A CromoDinâmica Quântica (QCD) é a teoria quântica de campos que descreve as interações fortes entre quarks, que são os constituintes fundamentais das partículas do núcleo atômico. Devido ao caráter peculiar destas interações, o estudo da QCD não pode ser realizado pelos métodos usuais em teorias quânticas de campos, baseados em expansões pe
Publicado em: 2010
-
46. Reificação de objetos concorrentes / Reification of concurrent objects
Autômatos não-seqüenciais constituem um domínio semântico categorial do tipo não-intercalação para sistemas reativos, comunicantes e concorrentes.É baseado em sistemas de transições etiquetados, inspirado em "Redes de Petri são Monóides" de Meseguer e Montanari, onde as operações de sincronização e encapsulação são funtoriais e as reifica
Publicado em: 2010
-
47. Método de avaliação de processo de negócio habilitado por tecnologia da informação
A crescente integração entre a tecnologia da informação (TI) e os processos de negócio das organizações públicas e privadas estimulou a realização de pesquisa para desenvolver método com potencial de avaliar o desempenho e a maturidade dos processos de negócio habilitados por tecnologia da informação. Foram realizadas buscas, abrangendo onze ba
Publicado em: 2010
-
48. Agregação de tráfego em redes ópticas com multiplexação por comprimetos de onda / Traffic grooming in wavelenght division multiplexing optical networks
Em redes ópticas com multiplexação por comprimento de onda (WDM), a alocação de banda passante ocorre em múltiplos da capacidade de um comprimento de onda, que, nos dias de hoje, corresponde a 40 Gbps. No entanto, a demanda de banda passante dos fluxos em redes IP sobre WDM é da ordem de Mbps, o que é, consideravelmente inferior a capacidade de um co
Publicado em: 2010