Erros De Especificacao
Mostrando 13-24 de 51 artigos, teses e dissertações.
-
13. Um ambiente para descrição de cenários detalhados de falhas / An environment for detailed fault scenarios description
A utilização de várias ferramentas de injeção de falhas em um mesmo experimento de testes fornece mais subsídios para os resultados alcançados, tornando a atividade mais efetiva e menos sujeita a erros de interpretação. Neste sentido, as cargas de falhas possuem um importante papel, visto que elas compõem a principal entrada a ser fornecida nestas
Publicado em: 2010
-
14. Utilização de técnicas espectrofluorimétricas e quimiométricas na análise de biodiesel e de suas misturas com óleo diesel
Visando aumentar o percentual de biocombustíveis na matriz energética nacional, o biodiesel tem sido obrigatoriamente adicionado ao óleo diesel desde janeiro de 2008, sendo o teor atual igual a 3 % (v/v). Entretanto, apesar das ações de monitoramento e fiscalização, amostras de B3 com parâmetros de qualidade fora da especificação têm sido comercia
Publicado em: 2009
-
15. Contribuição para uma metodologia de desenvolvimento de referências de tensão contínuas programáveis
Inicialmente as referências de tensão utilizadas como padrão de calibração de equipamentos eram constituídas por padrões laboratoriais de alto custo que incluíam células Weston, células Clark e alguns tipos de baterias que possuíam condições de operação restritivas tais como a temperatura controlada. Como alternativa técnica, referências de
Publicado em: 2009
-
16. Software requirements specification process applied to cooperative work. / Processo para especificação de requisitos de software com foco de aplicação em trabalho cooperativo.
O trabalho dos usuários em sistemas de informação é uma atividade social que envolve grupos de pessoas que cooperam entre si para desempenhar as mais variadas funções. A natureza da cooperação, por si só é complexa e depende dos indivíduos envolvidos, do ambiente físico e da organização onde o trabalho se desenvolve. Os aspectos ligados ao trab
Publicado em: 2009
-
17. Agricultural commodity pricing model applied to the sugar and ethanol markets / Modelo de formação de preços de commodities agrícolas aplicado ao mercado de açúcar e álcool
O problema estudado nesta tese foi a formação de preços de commodities agrícolas relacionadas com a produção de bioenergia. A possibilidade de substiuição de combustíveis fósseis, derivados do petróleo, por alternativas renováveis, como o etanol proveniente da cana-de-açúcar, inseriu um novo contexto no mercado de commodities. O objetivo princi
Publicado em: 2009
-
18. Uso efetivo da matemática intervalar em supercomputadores vetoriais / Effective use of interval mathematics on vector supercomputers
Este trabalho apresenta um estudo do uso da Matemática Intervalar na resolução de problemas em supercomputadores, através da biblioteca de rotinas intervalares denominada libavi.a (aritmética vetorial intervalar), proporcionando não só aumento de velocidade de processamento via vetorização, mas exatidão e controle de erros nos cálculos através do
Publicado em: 2009
-
19. Mensurando os impactos diretos e indiretos do capital humano sobre o crescimento
O objetivo do presente estudo é o de avaliar os diferentes canais pelos quais o capital humano afeta o nível e a taxa de crescimento da renda por trabalhador. A análise empírica é baseada em um modelo que incorpora canais em que a primeira variável afeta a segunda via: 1) melhora na produtividade marginal do trabalho; 2) criação de tecnologia, e 3) d
Economia Aplicada. Publicado em: 2008-03
-
20. Elementos para a construção de uma cadeia de verificação para o projeto TopCased
Analisando a história dos sistemas embarcados, podemos dividi-la em dois momentos. Em um primeiro momento, a origem dos problemas destes sistemas provinha, na grande maioria dos casos, da parte física chamada hardware. A partir dos anos 60, graças à chegada dos circuitos integrados, desenvolvidos para o Programa Espacial Americano, a parte física dos si
Publicado em: 2008
-
21. Aumento da testabilidade do hardware com auxilio de técnicas de teste de software / Hardware testyability increase with software testing techniques
O projeto, seja ele de software ou hardware, envolve uma série de atividades que, apesar das técnicas, ferramentas e métodos empregados, não estão livres de erros que podem levar ao mau funcionamento do produto final. Estes erros podem ocorrer durante a especificação do projeto, como também em estágios finais do desenvolvimento ou no processo de man
Publicado em: 2008
-
22. Metodologia para detecção de incoerências entre regras em filtros de pacotes / Methodology for incoherencies identification among packet filters rules
Embora firewall seja um assunto bastante discutido na área de segurança da informação, existem lacunas em termos de verificação de firewalls. Verificações de firewalls têm o intuito de garantir a correta implementação dos mecanismos de filtragem e podem ser realizadas em diferentes níveis: sintaxe das regras; conformidade com a política; e relac
Publicado em: 2008
-
23. Three essays on applied macroeconometrics / Três ensaios sobre macroeconometria aplicada
Os três artigos que compõem esta Tese possuem em comum a utilização de técnicas macroeconométricas para a investigação de problemas específicos. Embora no campo da macroeconometria os modelos do tipo Vetores Auto Regressivos (VAR) costumam ser uma das principais ferramentas utilizadas, muitas vezes precisamos complementar esta abordagem por outras t
Publicado em: 2008
-
24. Extracting semantic relations via analysis of correlated terms in documents / Extração de relações semanticas via análise de correlação de termos em documentos
Sistemas de recuperação de informação são ferramentas para automatizar os procedimentos de busca por informações. Surgiram com propostas simples nas quais a recuperação era baseada exclusivamente na sintaxe das palavras e evoluíram para sistemas baseados na semântica das palavras como, por exemplo, os que utilizam ontologias. Entretanto, a especif
Publicado em: 2008