Computational Model Tests
Mostrando 13-24 de 63 artigos, teses e dissertações.
-
13. Um sistema de ensino de projeto baseado no conhecimento : sistemas generativos e ontologias aplicados no ensino de arquitetura paisagística / Developing a knowledge based design education method : using generative systems and onthology to teach landscape design
The purpose of this research is to present a case based system to support students during the search for a solution to a landscape design problem. The system model is based on computational theories applied to design, such as Alexander s pattern language, shape grammar and parametric modeling. In the system, a design concept, also called pattern, can be repr
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 18/10/2011
-
14. Metaheurísticas para o problema de Flowshop flexível com penalidades de adiantamento e atraso / Metaheuristics for the flexible Flowshop problem with earliness and tardiness penalties
This work deals with the problem of job scheduling in flexible flowshop system with the objective of minimizing the penalties for tardiness and earliness in terms of the job due date. It is considered that all jobs are available for processing in different moments, according to them release times, besides that, there are setup times depending on the sequence
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 02/08/2011
-
15. Uma metodologia para caracterização do tráfego de redes de computadores: uma aplicação em detecção de anomalias / Methodology for traffic characterization of computer networks: an application in anomaly detection
The methods of intrusion detection based on anomalies model the default behavior of network traffic and identify anomalies as deviations from the behavior model mapped. The modeling of traffic behavior requires the analysis of large datasets to extract knowledge about the particularities of each network environment, considering the services provided, number
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 24/02/2011
-
16. A validation metrics based model calibration applied on stranded cables
The present work is aimed at building a computational model for a typical stranded cable based on the basic principles of Verification and Validation. The model calibration and model tracking are guided based on a pool of validation metrics suitable for data which are commonly used in structural dynamics. The estimator used for the associated inverse problem
Journal of the Brazilian Society of Mechanical Sciences and Engineering. Publicado em: 2011-12
-
17. Simulação do escoamento monofásico em um estágio de uma bomba centrífuga utilizando técnicas de fluidodinâmica computacional
Oil production and exploration techniques have evolved in the last decades in order to increase fluid flows and optimize how the required equipment are used. The base functioning of Electric Submersible Pumping (ESP) lift method is the use of an electric downhole motor to move a centrifugal pump and transport the fluids to the surface. The Electric Submersib
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 17/12/2010
-
18. Simulações Monte Carlo de integrais de trajetória : propriedades elásticas do 4He sólido / Path integrals Monte Carlo simulations : elastic properties of 4He
The path-integral Monte Carlo (PIMC) method is a sophisticated approach for the simulation of many-body quantum systems. In particular, it has been extensively used for the study of manybody bosonic systems such as 4He. The main objective of the present dissertation is to apply the PIMC method to determine the elastic constants of solid 4He in its hcp phase.
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 30/11/2010
-
19. Gungnir uma ferramenta para geração e execução automática de testes de conformidade utilizando autômatos temporizados. / Gungnir A tool for executing and generating conformance tests using timed automatas.
Oobjetivo neste trabalho é aumentar a confiança no funcionamento de sistemas da automação através do uso de uma ferramenta de geração e execução automática de testes de conformidade. A ferramenta desenvolvida chama-se Gungnir e utiliza modelos formais, cujo padrão utilizado é o formalismo de Autômato Temporizado (AT). Os sistemas de controle sã
Publicado em: 2010
-
20. Metaheurísticas para o problema de agrupamento de dados em grafo / Metaheuristics for the graph clustering problem
Graph clustering aims at identifying highly connected groups or clusters of nodes of a graph. This problem can assume others nomenclatures, such as: graph partitioning problem and community detection problem. There are many mathematical formulations to model this problem, each one with advantages and disadvantages. Most of these formulations have the disadva
Publicado em: 2010
-
21. Algoritmos evolucionÃrios multipopulaÃÃo na otimizaÃÃo multiobjetiva da remediaÃÃo de Ãguas subterrÃneas / Multi-population Evolutionary Algorithm Multi-Objective Optimization of Groundwater Remediation
Through the last three decades the evolutionary algorithms have been successful on application to many areas. Easily applied, efficiency and confidence are the main advantages of the evolutionary algorithms. In the groundwater remediation, generally, the objectives are the cost minimization, minimization of contaminant presence, maximization of pumping effic
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 24/07/2009
-
22. A model of mammography image processing for microcalcifications clusters detection / Modelo de processamento de imagens mamográficas para detecção de agrupamentos de microcalcificações.
The main purpose of this project was to develop a new model for the detection of microcalcifications clusters for image processing in full mammograms. The model was subdivided in three stages being in the first accomplished a pre-processing for the improvement of the quality of the mammographic images through the removal of noise and contrast enlargement. In
Publicado em: 2009
-
23. Desenvolvimento de alguns métodos de solução para o problema de redução de ciclos de serra / Development of some solution methods to the saw cycles reduction problem
In this work, the problem of reducing saw cycles is focused. This problem arises, for example, in cutting settings where the saw machine costs contributes significantly to production costs, and / or in a situation with high demand where the saw machine must be used efficiently, producing more items per unit of time. A new integer linear programming model is
Publicado em: 2009
-
24. Development of some solution methods to the saw cycles reduction problem / Desenvolvimento de alguns métodos de solução para o problema de redução de ciclos de serra
In this work, the problem of reducing saw cycles is focused. This problem arises, for example, in cutting settings where the saw machine costs contributes significantly to production costs, and / or in a situation with high demand where the saw machine must be used efficiently, producing more items per unit of time. A new integer linear programming model is
Publicado em: 2009