Computabilidade
Mostrando 25-36 de 78 artigos, teses e dissertações.
-
25. AJUSTE AUTOMÁTICO DE HISTÓRICO EM RESERVATÓRIOS DE PETRÓLEO UTILIZANDO O MÉTODO TSVD / AJUSTE AUTOMÁTICO DE HISTÓRICO EM RESERVATÓRIOS DE PETRÓLEO UTILIZANDO O MÉTODO TSVD
Reservoir simulation is an essential tool extensively used by reservoir engineers. It is mostly employed to predict reservoir behavior under dfferent circumstances, thus supporting decisions that frequently involve large nancial costs. In order to use this tool properly different petro-physical properties of the reservoir must be well known, such as permeabi
Publicado em: 2009
-
26. Models and Methods for Human-Computer Interaction Using Hands Gestures / Modelos e Métodos para interação homem-computador usando gestos manuais
Esta tese aborda o problema de entender videos digitais algoritmicamente aplicado ao design de sistemas de Interação Homem-Computador (HCI do Inglês: Human-Computer Interaction) baseados na postura e movimento da mão. Tais sistemas são frequentemente referidos como um tipo de Interface Perceptual com o usuário (PUI do Inglês: Perceptual User Interface
Publicado em: 2009
-
27. The Use of Artificial Neural Networks in the Estimation of Coverage Digital TV Signal / A Utilização de Redes Neurais Artificiais na Estimação da Cobertura do Sinal de Televisão Digital
THIS works presents information about signal intensity obtained on field and from simulations for one-seg and full-seg receptions, the city of Goiania. The values obtained from measurements were used for a comparisson among propagation models that are presented in literature, and the goal is to determine the real condition of digital TV signal in the region
Publicado em: 2009
-
28. Mathematical Modeling and Numeriacal Methods for Simulation of the Heat Conduction in Liquid Helium / Modelagem Matemática e Métodos Numéricos para Simulação da Condução do Calor no Hélio Líquido
The element helium, found mainly in natural gas reserves, condenses at temperature of 4.2K, and is the unique known substance that remains in liquid to absolute zero. In the liquid phase, the helium presents still another phase change in 2.19K, where passes of common liquid to superfluous liquid, with almost zero viscosity. These properties give the helium i
Publicado em: 2009
-
29. Uma representação construtiva global para sistemas ordenados de segunda ordem em espaços coerentes intervalares bi-estruturados, com aplicação em matemática intervalar / A global constructive representation of second order ordered systems using bi-structured interval coherence spaces, with an application in interval mathematics
Este trabalho consiste no desenvolvimento de uma metodologia para a obtenção de representações construtivas de sistemas ordenados de 2ª ordem, baseadas em estruturas de espaços coerentes, com aplicação fundamental na Computação Científica e Matemática Intervalar. Obtêm assim uma representação global para os objetos ditos infinitos relativament
Publicado em: 2009
-
30. ROTEAMENTO AUTOMÁTICO DE ALIMENTADORES NO PLANEJAMENTO DE SISTEMAS DE DISTRIBUIÇÃO DE ENERGIA ELÉTRICA / AUTOMATIC ROUTING OF FOOD IN PLANNING SYSTEMS DISTRIBUTION OF ELECTRIC ENERGY
O presente trabalho lida com o problema de planejamento da rede de distribuição de energia elétrica, estando dividido em três partes: Definição do Problema, Abordagens de Resolução e Resultados e Conclusões. As redes de distribuição de energia têm uma grande importância econômica em países como o Brasil. Por um lado, há os custos físicos fix
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 07/11/2008
-
31. M-CODE: um modelo para mediÃÃo de confidencialidade e desempenho para aplicaÃÃes mÃveis seguras / M-CODE: A model for measurement of confidentiality and reliable performance for mobile applications
Os dispositivos mÃveis tÃm limitaÃÃes de recursos que restringem o uso de mecanismos de seguranÃa em aplicaÃÃes, tais como comÃrcio eletrÃnico, as quais exigem, por exemplo, o requisito de confidencialidade. Como à indispensÃvel a implementaÃÃo de mecanismos de seguranÃa nesse tipo de aplicaÃÃes, à fundamental auxiliar os desenvolvedores na
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 19/09/2008
-
32. Modelagem do domínio do processo de gerenciamento de nível de serviço do padrão ITIL : uma abordagem usando ontologias de fundamentação e sua aplicação na plataforma Infraware
Este trabalho apresenta um modelo conceitual do domínio do processo de Gerenciamento de Nível de Serviço da biblioteca ITIL utilizando ontologias de fundamentação, e a aplicação dos conceitos definidos neste modelo no módulo provedor de serviço da plataforma de serviços sensíveis ao contexto Infraware. O estudo do processo de gerenciamento de serv
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 15/08/2008
-
33. SiR: um simulador da execução de funções recursivas utilizando o conceito de grafo de dependências. / Sir : a simulater of the execution of recursive functions using the concept of the dependence graph.
A proposta aqui apresentada visa prover uma ferramenta gráca que auxilie no ensino de Computabilidade em cursos de Ciência da Computação e ans. A motivação para o desenvolvimento desta ferramenta está baseada na diculdade de aprendizagem e interesse dos alunos nas disciplinas de computação que abordam temas teóricos. Entre estes temas, destaca-se o
Publicado em: 2008
-
34. Quantum Algorithm for the Non Abelian Hidden Subgroup Problem / Algoritmos Quânticos para o Problema do Subgrupo Oculto não Abeliano
Neste trabalho apresentamos um algoritmo quântico eficiente para o Problema do Subgrupos Oculto (PSO) no produto semidireto dos grupos cíclicos e , onde é qualquer número primo ímpar, e são inteiros positivos e o homomorfismo que define o grupo é dado por uma raiz para a qual . Como conseqüência, podemos resolver eficientemente o PSO também no prod
Publicado em: 2008
-
35. MÉTODOS SUBGRADIENTES EM OTIMIZAÇÃO CONVEXA NÃO DIFERENCIÁVEL / SUBGRADIENTS METHODS FOR OTIMIZATION OF NONDIFERENTIABLE CONVEX FUNCTION
Este trabalho tem por finalidade descrever o Estado da Arte acerca de Métodos Subgradientes para otimização de funções convexas não diferenciáveis. Apresenta-se inicialmente um histórico desses métodos, conceitos básicos sobre otimização diferenciável, necessários para o entendimento de certas noções importantes referentes à problemas não d
Publicado em: 2008
-
36. Ant Colony Algorithms for Multi-Objective Optimization / Algoritmos Baseados em Colônia de Formigas para Otimização Multiobjetivo
Esta dissertação apresenta os algoritmos BicriterionAnt, MACS e MONACO, disponíveis na literatura, baseados em colônia de formigas, para resolução do Problema do Caixeiro Viajante Multiobjetivo (PCVMO). São apresentadas as características do problema e de cada algoritmo utilizado. Estes algoritmos foram testados em seis instâncias bi-objetivo do PCV
Publicado em: 2008