Modelos Computacionais Testes
Mostrando 1-12 de 67 artigos, teses e dissertações.
-
1. Modelos integrados de dimensionamento e sequenciamento da produção: aplicação em uma fábrica de cimento para refratário
Resumo O presente trabalho apresenta um problema de dimensionamento e sequenciamento integrados para uma fábrica de grande porte de cimento para refratário. Foram abordadas três formulações matemáticas: duas presentes na literatura e uma proposta como alternativa às já existentes. Este estudo tem como objetivo comparar as formulações tanto em rela�
Gest. Prod.. Publicado em: 2016-03
-
2. Modelagem e validação 3D de um premolar para análise de elementos finitos
Resumo Introdução O desenvolvimento e validação de modelos matemáticos é uma importante etapa da metodologia de estudos de elementos finitos. Objetivo Este estudo tem o objetivo descrever o desenvolvimento e validação de um modelo numérico tridimensional de um pré-molar superior para análise em elementos finitos. Material e método Fotografias
Rev. odontol. UNESP. Publicado em: 19/01/2016
-
3. Formulações matemáticas e estratégias de resolução para o problema job shop clássico
Resumo O problema de sequenciamento de tarefas no ambiente de produção job shop se caracteriza por conter n tarefas que devem ser processados por m máquinas, em que cada tarefa a ser realizada é constituída por um roteiro específico de operações com ordem de precedência preestabelecida. O objetivo deste trabalho é realizar uma análise comparativa
Prod.. Publicado em: 22/12/2015
-
4. Um framework de simulação para verificação de requisitos de desempenho de sistemas computacionais de tempo real
Os métodos tradicionais de validação de requisitos de desempenho de software, baseados em testes do código, permitem a detecção de problemas somente nas fases finais do ciclo de desenvolvimento de software. Mudanças no software nas fases finais do desenvolvimento são em geral mais custosas e demoradas para serem efetivadas do que aquelas identificada
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 14/06/2012
-
5. Interações gênicas usando redes booleanas limiarizadas modeladas como um problema de satisfação de restrições / Gene interactions using thresholded boolean networks modeled as a constraint satsfaction problem
As reações químicas que resultam da expressão de genes são complexas e ainda não são total- mente compreendidas. Sabe-se que os genes enviam, recebem, e processam informações formando uma complexa rede de comunicação, mas a arquitetura e dinâmica destas redes não são totalmente conhecidas. Dessa forma, um problema importante é determinar como
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 03/04/2012
-
6. Método da minimização da energia de Gibbs para a modelagem do equilíbrio químico e de fases no processo reacional do biodiesel / Method of minimization of Gibbs energy for the modeling of simultaneous chemical and phase equilibrium in reaction system for biodiesel production process
O presente trabalho tem como objetivo o estudo e aplicação da metodologia da minimização da energia de Gibbs no sistema para o cálculo do equilíbrio de fases, com e sem reação química, para o sistema reacional do biodiesel, utilizando técnicas de otimização global aliadas ao software GAMS, ferramenta computacional utilizada nesta pesquisa. Desse
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 23/03/2012
-
7. Balanceamento e sequenciamento de linhas de produção multi-modelo com trabalhadores deficientes / Balancing and sequencing mixed-model assembly lines with disabled workers
Este trabalho lida com o problema de balanceamento e sequenciamento de linhas de produção multi-modelo com trabalhadores deficientes, uma generalização de dois importantes problemas da literatura de linhas de produção: o Problema de Balanceamento de Linhas de Produção Multi-Modelo (MALBP) e o Problema de Balanceamento e Designação de Trabalhadores
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 09/03/2012
-
8. Abordagens baseadas em autômatos celulares síncronos para o escalonamento estático de tarefas em multiprocessadores
O problema de escalonamento estático de tarefas computacionais (PEET) em uma arquitetura multiprocessada consiste em alocar tarefas que compõem um programa paralelo entre os nós de uma arquitetura com múltiplos processadores. Uma solução ótima de uma instância do PEET é tal que as restrições de precedência entre as tarefas sejam atendidas e o tem
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/02/2012
-
9. Documentação e teste aplicados a um software de simulação eletromagnética / Documentation and testing applied a software of electromagnetic simulation
Este trabalho apresenta a integração de algumas técnicas computacionais para validar e melhorar recursos de interface para o provimento de simulador eletromagnético chamado de SEM-BR (Simulador Eletromagnético Brasileiro). Para isso, foi integrada a avaliação heurística com as técnicas de usabilidade no SEM-BR, com foco na detecção de erros e aval
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 30/01/2012
-
10. Comparação entre métricas de risco para otimizar carteiras de investimentos em ações / Comparison of risk metrics to optimize portfolios of stock investments
O trabalho de Markowitz (1952) modificou a forma de analisar o problema de formação de portfólios de ações. Pesquisadores clássicos como Sharpe (1964) e Lintner (1965) ampliaram as discussões, além de provocarem o levantamento de dúvidas e questionamentos a respeito do assunto. Quanto aos parâmetros para otimização dos portfólios, além do model
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 10/01/2012
-
11. Aplicação de backstepping para controle de óxidos de nitrogênio em veículos diesel
Este artigo apresenta a aplicação de uma técnica de controle do tipo backstepping a sistemas de pós-tratamento de gases de escape em veículos diesel operando com catalisadores SCR (selective catalytic reduction). A lei de controle é projetada para um modelo reduzido do sistema SCR, adequado ao controle em malha fechada e também à implementação nas
Sba: Controle & Automação Sociedade Brasileira de Automatica. Publicado em: 2012-06
-
12. Uma nova abordagem branch and cut aplicada ao problema de planejamento da expansão de redes de transmissão de grande porte
Neste artigo propomos um algoritmo branch and cut com novas inequações específicas ao problema de planejamento da expansão de redes de transmissão de energia elétrica. Todas as inequações propostas neste trabalho são válidas tanto para os modelos lineares como para os modelos não lineares do problema. Os testes computacionais têm mostrado a efici
Sba: Controle & Automação Sociedade Brasileira de Automatica. Publicado em: 2012-02