Programacao De Sistemas Computacionais
Mostrando 13-24 de 106 artigos, teses e dissertações.
-
13. Avaliação comparativa entre técnicas de programação defensiva aplicadas a um sistema crítico simulado. / Comparative evaluation among defensive programming techniques applied in a critical system simulated.
The introduction of software systems for critical applications raises safety issues that have long fell predominantly on the development of the hardware composing such systems. Currently, standards related to safety software qualitatively assess the impact of their use on systems sensitive to random errors. The research developed here seeks, in addition to o
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 05/05/2011
-
14. Processo Iterativo de Construção da Função de Custo Futuro na Metodologia PDE-ConvexHull
O Sistema Elétrico Brasileiro (SEB) apresenta características peculiares devido às grandes dimensões do país e pelo fato da geração elétrica ser proveniente predominantemente de usinas hidráulicas que proporcionam ao sistema a capacidade de uma regularização plurianual dos seus reservatórios. As afluências nestas usinas são estocásticas e muit
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 30/03/2011
-
15. Modelo individualizado de usinas hidrelétricas baseado em técnicas de programação não linear integrado com o modelo de decisão estratégica
Nos horizontes de médio e longo prazo, o modelo computacional oficial, denominado NEWAVE, para o planejamento da operação do Sistema Interligado Nacional (SIN) no Brasil é baseado na técnica de Programação Dinâmica Dual Estocástica (PDDE) e em sistemas equivalentes de energia. Para se produzir estimativas individualizadas das usinas hidrelétricas,
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/03/2011
-
16. Utilização de redes neurais de Spikes para tarefas de navegação de agentes robóticos autônomos
Detectar e prevenir possíveis colisões é um dos aspectos mais importantes na robótica móvel. Esta tarefa, embora aparente facilidade quando executada por seres vivos, mantêm sua dificuldade quando modelada e executada por agentes robóticos autônomos. Além disso, roboticistas e pesquisadores têm sempre encontrado na natureza uma fonte inesgotável d
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 17/03/2011
-
17. Algoritomos transgenéticos aplicados ao problema da árvore geradora biobjetivo
A Árvore Geradora Multiobjetivo é um problema de Otimização Combinatória NP-árduo. Esse problema possui aplicação em diversas áreas, em especial, no projeto de redes. Nesse trabalho, propõe-se uma solução para o problema em sua versão biobjetivo por meio de um Algoritmo Transgenético, denominado ATIS-NP. A Transgenética Computacional é uma t�
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 17/02/2011
-
18. Inserção de conhecimento probabilístico para construção de agentes BDI modelados em redes bayesianas / Insertion of probabilistic knowledge into BDI agents construction modelled in bayesian networks
A representação do conhecimento de maneira mais fiel possível à realidade é uma meta histórica e não resolvida até o momento na área da Inteligência Artificial. Problemas são resolvidos e decisões são tomadas levando-se em conta diversos tipos de conhecimentos, os quais muitos são tendenciosos, inexatos, ambíguos ou ainda incompletos. A fim de
Publicado em: 2011
-
19. Framework para integração entre ambientes inteligentes e o sistema brasileiro de TV digital
Desde dezembro de 2007, o Brasil está implantando o Sistema Brasileiro de TV Digital (SBTVD). Além de esse novo sistema proporcionar imagens em alta definição e permitir a mobilidade da TV, ele oferece a interatividade, através do middleware Ginga, o qual está sendo disponibilizado em receptores de TV digital para permitir que os telespectadores possam
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2011
-
20. Proposta de solução e de método de validação para sistema de visualização de exames em salas de cirurgia / A solution and a validation method proposal for a medical images viewer system for operating rooms
O presente trabalho apresenta a pesquisa e a implementação de um sistema de visualização de imagens médicas em sala de cirurgia desenvolvido por mim junto ao Grupo de Pesquisas PRAV (Projetos em Áudio e Vídeo – www.inf.ufrgs.br/prav) no projeto TVDMED (Customização de um Equipamento para melhoria no atendimento e acompanhamento médico em Telemedi
Publicado em: 2011
-
21. X-GAT: Uma Ferramenta Baseada em XML para Otimização com Algoritmos Genéticos. / X-GAT: An XML-based Genetic Algorithm Toolkit for Optimization Problems.
Em vários campos da ciência nos deparamos com problemas de otimização. Muitas abordagens foram propostas para resolver tais problemas, incluindo o uso de algoritmos evolucionários (AEs) e algoritmos genéticos (AGs). Entretanto poucos trabalhos tentaram criar ferramentas genéricas, capazes de serem reutilizadas em vários problemas distintos. A maior p
Publicado em: 2011
-
22. Uma Abordagem Genérica para Gridificação de Aplicações Concorrentes Utilizando Programação Orientada a Aspectos / Uma abordagem genérica para gridificação de aplicações concorrentes utilizando programação orientada a aspectos
Este trabalho apresenta um modelo para transformação semi-automática de aplicações multi-thread em aplicações para grades computacionais, focando em algoritmos com comunicação e sincronização entre tarefas. O modelo utiliza Java threads e programação orientada a aspectos para converter threads em tarefas para a grade, mantendo o estado de objeto
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 10/12/2010
-
23. Um novo metodo preditor-corretor para fluxo de potencia otimo / A new predictor-corrector method for optimal power flow
Um método de pontos interiores preditor-eorretor é desenvolvido para o problema de fluxo de potência ótimo ativo-reativo. As tensões são representadas em coordenadas cartesianas ao invés de coordenadas polares, pois estas, sendo quadráticas, permitem correções não lineares nas condições de factibilidade primai e dual e não apenas nas de complem
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 05/05/2010
-
24. Métodos de pontos interiores aplicados ao pré-despacho com restrições de segurança / Interior point methods applied to the pre-dispatch problem considering security constraints
Neste trabalho os métodos de pontos interiores primais-duais são utilizados para minimizar as perdas técnicas de energia na geração e transmissão de um sistema de potência hidrotérmico. A estrutura matricial resultante é explorada, objetivando uma implementação eficiente do ponto de vista de tempo de processamento, e robusto, do ponto de vista num
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 31/03/2010