Use Of Computation
Mostrando 13-24 de 141 artigos, teses e dissertações.
-
13. Modelando o futuro: a evolução do uso de tecnologias digitais no desenvolvimento de projetos de arquitetura / Shapping the future: the evolution of digital technology design in architecture
With the history of the graphic computation technological development and its influence on the architect\ s professional activity as the starting point, the present research addresses the creative and productive processes of contemporary architecture. Based on the project analysis as a way of explaining the problem being presented, three projects developed a
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 13/05/2011
-
14. Implementações sequencial e paralela de um novo algoritmo para a simulação de elementos e compostos magnéticos
The magnetic phenomena are widely used in many devices, such as electronic, data storage and telecommunications devices. The understanding of this phenomenon is therefore of great interest to support the improvement and development of new technologies. To better understand the magnetic phenomena, it is essential to study interactions at nano scale. When magn
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 25/02/2011
-
15. Some issues in real-time systems verification using time Petri Nets
Time Petri Net (TPN) models have been widely used to the specification and verification of real-time systems. However, the claim that most of these techniques are useful for real-time system verification can be discussed, based on two assumptions: i) to be suitable for real-time systems verification, a technique must be able to check timing properties, both
Journal of the Brazilian Society of Mechanical Sciences and Engineering. Publicado em: 2011-12
-
16. Numerical simulation of the solidification of pure melt by a phase-field model using an adaptive computation domain
In this paper, we present a phase-field model with a grid based on the Finite-Difference Method, for improvement of computational efficiency and reducing the memory size requirement. The numerical technique, which is based on the temperature change of the pure material, enables us to use, in the initial steps of the computation, a very small computational do
Journal of the Brazilian Society of Mechanical Sciences and Engineering. Publicado em: 2011-06
-
17. Una aplicación de apoyo a la toma de decisiones para el costeo de maquinarias de cosecha forestal
For years the forestry companies and especially that serve of logging have implemented the computation like a work tool, this has allowed to automate the decision making. The intention of this practical one is to obtain that the forest sector continues being competitive international level, for so objective becomes necessary to optimize the different activit
Revista Árvore. Publicado em: 2011-02
-
18. A semi-analytical computation of the Kelvin kernel for potential flows with a free surface
A semi-analytical computation of the three dimensional Green function for seakeeping flow problems is proposed. A potential flow model is assumed with an harmonic dependence on time and a linearized free surface boundary condition. The multiplicative Green function is expressed as the product of a time part and a spatial one. The spatial part is known as the
Computational & Applied Mathematics. Publicado em: 2011
-
19. Análise,Simulações e Aplicações Algorítmicas de Caminhadas Quânticas / Analysis,Simulations and Algorithmic Applications of Quantum Walks
Quantum computing is a model of computation based on the laws of quantum mechanics, which can be used to develop faster algorithms. The development of efficient quantum algorithms, however, is a highly challenging task. A recent successful approach is the use of quantum walks. In this work, we have studied the quantum walk on the hypercube, obtaining the exa
Publicado em: 2010
-
20. Hardware/Software codesign of particle filter for real time localization of mobile robots / Co-projeto de hardware/software do filtro de partículas para localização em tempo real de robôs móveis
Sophisticated techniques for estimation of models based on simulation, particle filters or Sequential Monte Carlo Methods, were recently used to solve many difficult problems in the field of mobile robotics. However, the success of particle filters was limited to the computation of parameters in low dimensionality spaces. The current research efforts in mobi
Publicado em: 2010
-
21. Uso de técnicas de aprendizagem para classificação e recuperação de imagens / Use of learning techniques for image classification and retrieval
Técnicas de aprendizagem vêm sendo empregadas em diversas áreas de aplicação (medicina, biologia, segurança, entre outras). Neste trabalho, buscou-se avaliar o uso da técnica de Programação Genética (PG) em tarefas de recuperação e classificação de imagens. PG busca soluções ótimas inspirada pela teoria de seleção natural das espécies. In
Publicado em: 2010
-
22. Desconvolução não supervisionada por filtros de erro de predição não lineares e recorrentes e sistemas imunologicos artificiais / Unsupervised deconvolution by nonlinear recurrent prediction-error filters and artificial immune systems
When data is transmitted trough a channel, it may be subject to several sorts of distortion that might cause unacceptable level of degradation. A very usual type of distortion is the intersymbol interference ,which is a consequence of the temporal spread of the information-bearing signal .To mitigate this interference ,it is usual to employ an equalizer ,whi
Publicado em: 2010
-
23. Especificação de sistemas utilizando lógica linear com subexponencias
Logic programming is defined as the use of logic formulas representing programs and proof search of these formulas as the execution of the program (computation). This is an interesting paradigm because of the specifications formality, which is inherited from the logic itself and facilitates the proof of some properties that would not be so obvious if the pro
Publicado em: 2010
-
24. Molecular ressonances in cold Rydberg atoms / Ressonâncias Moleculares em átomos de Rydberg frios
The understanding of ultralong-range interaction involving cold Rydberg atoms is the main step for use this system in quantum computation. In this work, we have studied interaction involving $nD$ states in a new experimental setup, which allows us to control the electric field in a more efficient way. More specifically, we have studied the collision process
Publicado em: 2009