Tacnicas De Computaaao
Mostrando 1-12 de 28 artigos, teses e dissertações.
-
1. PRECISE - Um processo de verificaÃÃo formal para modelos de caracterÃsticas de aplicaÃÃes mÃveis e sensÃveis ao contexto / PRECISE - A Formal Verification Process for Feature Models for Mobile and Context-Aware Applications
As LPSs, alÃm do seu uso em aplicaÃÃes tradicionais, tÃm sido utilizadas no desenvolvimento de aplicaÃÃes que executam em dispositivos mÃveis e sÃo capazes de se adaptarem sempre que mudarem os elementos do contexto em que estÃo inseridas. Essas aplicaÃÃes, ao sofrerem alteraÃÃes devido a mudanÃas no seu ambiente de execuÃÃo, podem sofrer ada
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/08/2012
-
2. Refinamento de Consultas em LÃgicas de DescriÃÃo Utilizando Teoria dos Rough Sets / Query Refinement in Description Logics Using the Rough Set Theory
Refinamento de consulta consiste de tÃcnicas que modificam os termos de uma consulta com o objetivo de alterar os resultados obtidos inicialmente. Para a realizaÃÃo de tal fim, diversas abordagens podem ser aplicadas e diferentes tipos de refinamentos podem ser considerados. Este trabalho propÃe aplicar a teoria dos Rough Sets como uma nova alternativa d
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 14/08/2012
-
3. Uso de Refinamento Adaptativo em Escultura Virtual para CriaÃÃo Livre de Detalhes em Malhas Triangulares / Use of Adaptive Refinement in Virtual Sculpting for Free Insertion of Details in Triangular Meshes
Modelar objetos e personagens virtuais pode ser uma tarefa tediosa e difÃcil em vÃrias situaÃÃes. Um sistema de modelagem ideal deve ser capaz de representar qualquer mudanÃa ou caracterÃstica desejada pelo usuÃrio da forma mais rÃpida e transparente possÃvel, abstraindo toda a complexidade topolÃgica e matemÃtica, permitindo ao modelador concentr
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/03/2012
-
4. Uma Nova metaheurÃstica evolucionÃria para a formaÃÃo de mapas topologicamente ordenados e extensÃes / A New Evolutionary Metaheuristic for Topologically ordered maps Formation and Extensions.
Mapas topologicamente ordenados sÃo tÃcnicas de representaÃÃo de dados baseadas em reduÃÃo de dimensionalidade com a propriedade especial de preservaÃÃo da vizinhanÃa espacial entre os protÃtipos no espaÃo dos dados e entre suas respectivas posiÃÃes no espaÃo de saÃda. Com base nesta propriedade, mapas topologicamente ordenados sÃo aplicados
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 03/11/2011
-
5. AvaliaÃÃo de Desempenho de uma Plataforma de Componentes Paralelos / Performance Evaluation of a Platform for Component-Based Parallel Programming
Reduzir a complexidade do software e permitir o desenvolvimento em larga escala de aplicaÃÃes voltados à ComputaÃÃo de Alto Desempenho (CAD) tem exigido o desenvolvimento de ferramentas com potencial capacidade de abstraÃÃo na construÃÃo de sistemas. As tecnologias que envolvem o desenvolvimento de componentes procuram alcanÃar esses requisitos, bu
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 07/10/2011
-
6. TÃcnicas para geraÃÃo de malhas de quadrilÃteros convexos e sua aplicaÃÃo em reservatÃrios naturais / Techniques for generating convex quadrilateral meshes and its application in natural reservoirs
Esta dissertaÃÃo descreve quatro mÃtodos implementados para realizar uma quadrilaterizaÃÃo convexa do espaÃo bidimensional que pode conter linhas poligonais ou buracos. Dois destes mÃtodos, ponto mÃdio e ortoquad, utilizam de elementos guia, o baricentro de uma regiÃo ou o locus de cÃrculos mÃximos tangentes e internos a geometria, para produzir u
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 21/02/2011
-
7. MineraÃÃo de regras para seleÃÃo de tÃcnicas de agrupamento para dados de expressÃo gÃnica de cÃncer
Different algorithms have been used to cluster gene expression data, however there is no single algorithm that can be considered the best one independently of the data. In this work, we applied the concepts of Meta-Learning to relate features of gene expression data sets to the performance of clustering algorithms. In our context, each meta-example represent
Publicado em: 2009
-
8. EvolUniT: geraÃÃo e evoluÃÃo de testes de unidade em java utilizando algoritmos genÃticos
Este trabalho apresenta a ferramenta EvolUniT (Evolutionary Unit Testing), uma ferramenta para automatizaÃÃo de testes de unidade de cÃdigo orientado a objetos (classes Java). A EvolUniT recebe como entrada uma classe Java a ser testada; gera uma classe de teste usando o framework JUnit; gera dados (parÃmetros de construtores e mÃtodos) inicialmente ale
Publicado em: 2008
-
9. OtimizaÃÃo estrutural utilizando o algoritmo evolucionÃrio do enxame de partÃculas
Nas ciÃncias em geral, o termo otimizaÃÃo se refere ao estudo de um conjunto de tÃcnicas que tÃm como objetivo a obtenÃÃo de um melhor resultado para uma funÃÃo e parÃmetros (variÃveis de projeto) prÃ-especificados dentro de um conjunto permitido (espaÃo de projeto). A otimizaÃÃo em geral à feita atravÃs de procedimentos numÃricos computaci
Publicado em: 2008
-
10. Uma ferramenta para recomendaÃÃo de clusters de mensagens para fÃbricas de software
à cada vez mais significativo o nÃmero de empresas que estÃo buscando vantagens competitivas em termos de custo, qualidade, reduÃÃo de riscos, produtividade e flexibilidade. Neste sentido, o desenvolvimento de software terceirizado em fÃbricas de software surge como uma opÃÃo para minimizar as dificuldades encontradas com o crescimento do mercado e p
Publicado em: 2008
-
11. SimulaÃÃo de escoamento bifÃsico Ãleo-Ãgua em reservatÃrios de petrÃleo usando computadores paralelos de memÃria distribuÃda
A busca por tÃcnicas de alto desempenho por engenheiros e pesquisadores no campo da simulaÃÃo numÃrica em reservatÃrios de petrÃleo à um caminho que vem sendo percorrido desde o inÃcio da dÃcada de 1950 com o advento dos primeiros computadores digitais. Prever o comportamento de um reservatÃrio ao longo de sua vida produtiva e extrair a mÃxima qua
Publicado em: 2008
-
12. Um ambiente de visualizaÃÃo da evoluÃÃo da trajetÃria de veÃculos espaciais brasileiros.
Sistemas grÃficos tÃm mostrado participaÃÃo em diversos segmentos da sociedade. No setor aeroespacial, eles tÃm se apresentado cada vez mais aplicÃveis, constituindo importantes ferramentas para auxÃlio nas missÃes de lanÃamento de foguetes. A proposta deste trabalho à o desenvolvimento de um protÃtipo de ambiente para visualizaÃÃo dos dados de
Publicado em: 2007