999 resultados para Resolução de horários
Resumo:
A paralelização de métodos de resolução de sistemas de equações lineares e não lineares é uma atividade que tem concentrado várias pesquisas nos últimos anos. Isto porque, os sistemas de equações estão presentes em diversos problemas da computação cientí ca, especialmente naqueles que empregam equações diferenciais parciais (EDPs) que modelam fenômenos físicos, e que precisam ser discretizadas para serem tratadas computacionalmente. O processo de discretização resulta em sistemas de equações que necessitam ser resolvidos a cada passo de tempo. Em geral, esses sistemas têm como características a esparsidade e um grande número de incógnitas. Devido ao porte desses sistemas é necessária uma grande quantidade de memória e velocidade de processamento, sendo adequado o uso de computação de alto desempenho na obtenção da solução dos mesmos. Dentro desse contexto, é feito neste trabalho um estudo sobre o uso de métodos de decomposição de domínio na resolução de sistemas de equações em paralelo. Esses métodos baseiam-se no particionamento do domínio computacional em subdomínios, de modo que a solução global do problema é obtida pela combinação apropriada das soluções de cada subdomínio. Uma vez que diferentes subdomínios podem ser tratados independentemente, tais métodos são atrativos para ambientes paralelos. Mais especi camente, foram implementados e analisados neste trabalho, três diferentes métodos de decomposição de domínio. Dois desses com sobreposição entre os subdomínios, e um sem sobreposição. Dentre os métodos com sobreposição foram estudados os métodos aditivo de Schwarz e multiplicativo de Schwarz. Já dentre os métodos sem sobreposição optou-se pelo método do complemento de Schur. Todas as implementações foram desenvolvidas para serem executadas em clusters de PCs multiprocessados e estão incorporadas ao modelo HIDRA, que é um modelo computacional paralelo multifísica desenvolvido no Grupo de Matemática da Computação e Processamento de Alto Desempenho (GMCPAD) para a simulação do escoamento e do transporte de substâncias em corpos de águas.
Resumo:
None
Resumo:
Os Problemas de Roteirização em Arcos constituem uma classe dos Problemas de Roteirização de Veículos, nos quais as demandas ocorrem de maneira contínua ao longo dos segmentos de uma rede de transporte. O campo de aplicação dos Problemas de Roteirização em Arcos abrange o planejamento da operação de serviços como a coleta de lixo; a entrega de correspondência e de jornais; a leitura de medidores de energia elétrica, água e gás; e o transporte escolar por ônibus. Nas situações de ordem prática é comum a ocorrência de restrições operacionais que impossibilitam o atendimento de todas as demandas existentes em uma rede de transporte por um único veículo ou pessoa. Desse modo, além da seqüência de percurso, é necessário determinar o conjunto de segmentos de via que cada unidade de trabalho pertencente a uma frota ou equipe de serviço deve atender. Este trabalho apresenta os aspectos conceituais e resolutivos dos Problemas de Roteirização em Arcos e do Problema do Particionamento de Redes de Transporte. É feita também a proposição de um modelo de resolução, desenvolvido a partir da estratégia de agrupar primeiro – roteirizar depois, para o Problema de Roteirização em Arcos Capacitado descrito em grafos não orientados. A demonstração do modelo é feita através de sua aplicação em um estudo de caso. São feitas, a seguir, a análise do desempenho do modelo nesta aplicação e a comparação entre os resultados obtidos e a prática atualmente utilizada, a qual é baseada na experiência de um planejador.
Resumo:
Resumo não disponível.
Resumo:
Este trabalho pretende realizar um estudo dos métodos de classificação de risco de crédito e de gestão de carteira de empréstimos constantes da literatura que trata de crédito, e a utilização desses instrumentos pelos bancos brasileiros, bem assim avaliar os impactos que a Resolução 2682, de 21.12.1999, causaram nas demonstrações financeiras dessas instituições. Essa Resolução estabeleceu que, a partir de março/2000, todas as operações de crédito realizadas pelas instituições financeiras deveriam ser classificadas por faixas de risco e que as provisões para perdas inerentes deveriam ser contabilizadas em função dos respectivos graus de risco. o problema objeto de análise se insere em um contexto em que a adoção de ferramentas para avaliação do risco de crédito por parte das instituições financeiras brasileiras vem se intensificando em razão de esse segmento de mercado, cada vez mais competitivo, ter no crédito um instrumento estratégico para alavancagem de receitas. o uso de metodologias para a classificação de risco de crédito e de gestão de carteira tem como premissas proporcionar, às empresas que concedem crédito, melhoria do processo decisório permitindo agilidade, padronização de procedimentos, melhor instrumento para capacitação dos profissionais de crédito e redução de custos, e, ao mercado, a possibilidade de conhecer com mais profundidade os riscos inerentes às carteiras de empréstimos, uma vez que a citada Resolução 2.682 prevê que as instituições financeiras devem detalhar a composição de sua carteira de crédito quando da divulgação de seus demonstrativos financeiros. A hipótese do presente estudo é a de que essa regulamentação contribuiu para que o risco da carteira de crédito passasse a ser melhor evidenciado nas demonstrações contábeis divulgadas pelas instituições financeiras.
Resumo:
The interests of an employee are not always similar the employer¿s ones. When this situation occurs, it generates conflicts. This study suggests that labor negotiation is the most adequate approach to come up with an agreement. In order to do so, this study explains the evolution of the labor and union institutions, how they are structured, their relevance in the negotiation and legal context.
Resumo:
A utilização de reações nucleares ressonantes estreitas em baixas energias é uma ferramenta importante para a determinação de distribuições de elementos leves em filmes finos com resolução em profundidade subnanométrica. O objetivo do trabalho descrito ao longo da presente dissertação é aprimorar os métodos utilizados para a aquisição e interpretação das curvas experimentais. A obtenção das curvas experimentais consiste na detecção dos produtos das reações nucleares em função da energia das partículas incidentes, fazendo necessária variar a energia das partículas do feixe em passos discretos no intervalo desejado. Neste trabalho implementou-se um sistema automático para o controle e incremento da energia do feixe e monitoramento dos produtos das reações nucleares. Esse sistema de varredura automático de energia, além de aumentar consideravelmente a velocidade da medida, aumenta a qualidade das curvas experimentais obtidas. Para a interpretação das curvas de excitação experimentais, foi implementado um programa em linguagem de programação C, baseado na teoria estocástica, que permite simular numericamente as curvas de excitação. Para demonstrar a sua funcionalidade o método desenvolvido foi aplicado para verificar a estabilidade termodinâmica de filmes dielétricos ultrafinos depositados sobre silício, que foram posteriormente nitretados por plasma.
Resumo:
Este estudo apresenta o uso integrado da sísmica de alta resolução e da morfologia submarina para interpretar a evolução do ambiente glacimarinho da costa de fiordes da Patagônia Central, Chile. Foram analisados registros de perfilador de fundo e subfundo 3,5 kHz e modelos submarinos 3D de sete fiordes adjacentes ao campo de gelo Patagônico Sul (Eyre, Falcon, Penguin, Europa Peel, Calvo e Amalia) e parte do canal Icy. Os registros, com cerca de 300 km de levantamento acústico, foram obtidos pelo Servicio Hidrográfico y Oceanográfico de la Armada de Chile (SHOA), durante o cruzeiro de investigação científica Campo de Hielo Sur, realizado em 1995. Foram identificadas as principais fácies acústicas e geoformas sedimentares. A morfologia submarina e das bacias subaéreas adjacentes foi analisada com a elaboração de modelos tridimensionais subaéreos e submarinos e de perfis batimétricos longitudinais a partir de cartas náuticas, também do SHOA. Foram utilizadas imagens Landsat ETM+ na interpretação da geomorfologia glacial da área de entorno subaérea dos fiordes. O eixo longitudinal dos fiordes exibe morfologia irregular com bacias profundas e mostra fácies acústicas associadas ao sistema de depósitos de zonas de linha de encalhe (grounding line), às línguas de gelos flutuantes, e aos icebergs e ao gelo marinho. Refletores acústicos distinguem duas fácies principais, segundo sua configuração interna e geometria externa: caóticas e estratificadas. A geometria dos depocentros e as características dos refletores acústicos indicam a importante influência da batimetria e da topografia pré-existentes na dinâmica das geleiras e nos conseqüentes processos de sedimentação. Devido às grandes profundidades das bacias, as frentes das geleiras poderiam ser flutuantes ou aterradas ao fundo marinho. Em todo o caso, predomina um regime glacial onde o gelo está perto do ponto de fusão. É sugerido que os fiordes estudados resultam de um continuum de formas e de processos, que vão dos lineamentos e sistemas de falhas pré-existentes e controlados tectonicamente desde o Mioceno Inferior (ca. 25 milhões de anos AP), processos de denudação fluvial e de vertentes, vales fluviais modificados glacialmente e, finalmente, canais e fiordes erodidos pela ação do gelo. A tectônica originou uma topografia favorável para o desenvolvimento das geleiras, ocorreram processos de retroalimentação positiva entre aumento o da precipitação e expansão do campo de gelo no lado oeste da cordilheira. Provavelmente, as geleiras durante o Último Máximo Glacial não foram suficientemente espessas para aprofundar os fiordes, tampouco para dragar seus depósitos sedimentares para fora deles. Os processos de deposição de sedimentos caóticos acusticamente visíveis ocorreram durante o recuo das geleiras, já no Holoceno, onde elas alcançaram pontos de estabilidade, ajudadas pela morfologia dos fiordes, mesmo em águas profundas. Os depósitos estratificados localizados nas bacias intra-sills e em maiores profundidades, por sua vez, tiveram sua origem, provavelmente, das partes flutuantes do gelo, onde predominam os processos de desprendimento de icebergs (calving) e também do gelo marinho. Nessas mesmas bacias, depósitos mais profundos, não visíveis ao sistema de alta-resolução, poderiam estar preservados no fundo, pois não foram erodidos pelos sucessivos ciclos de avanço e recuo das geleiras, contendo assim informações sobre a evolução do campo de gelo ao longo do Quaternário.
Resumo:
Contrariando a crença popular, a presença de sentimentos durante a tomada de decisão não produz necessariamente efeitos negativos. Estudos mostram que indivíduos que apresentam sentimentos mais intensos podem ter melhor desempenho na tomada de decisão. Ainda, os indivíduos que conseguem identificar melhor suas emoções, e distinguir os sentimentos envolvidos, conseguem um aumento de desempenho na tomada de decisão em função da habilidade de controlar os vieses induzidos por estes sentimentos. Estas conclusões geram implicações práticas importantes, visto que contrariam a teoria gerencial dominante de que sentimentos sempre são fatores prejudiciais a tomada de decisão eficaz, e devem ser suprimidas a todo custo. O objetivo deste trabalho é testar várias teorias sobre influência dos sentimentos na tomada de decisão, de forma a avaliar a possibilidade de aplicação destes conceitos nas organizações. Para isso, foi realizado um experimento com 81 indivíduos, que responderam por dez dias a uma série de problemas complexos e intuitivos, juntamente com uma avaliação de seus sentimentos. Os dados foram analisados através de modelos hierárquicos logísticos e modelos de equações estruturais de forma a validar as várias hipóteses apresentadas. Os resultados encontrados apontam que as emoções e sentimentos podem ser um fator facilitador ou complicador da tomada de decisão, e ao invés de suprimi-las, devemos municiar os tomadores de decisão de ferramentas que possibilitem a correta identificação dos sentimentos, e a sua utilização como fator de aumento da eficácia da tomada de decisão.
Resumo:
Trata-se de uma pesquisa qualitativa, do tipo Convergente – assistencial, que teve como objetivo: conhecer as práticas adotadas pelas puérperas para a resolução dos problemas mamários, no domicílio, e intervir para a sua resolução. Participaram do estudo quatorze puérperas, que foram escolhidas a partir de alguns critérios previamente estabelecidos e se encontravam no período de amamentação, recebendo atendimento no Centro de Atenção Integral a Saúde de Passo Fundo, Rio Grande do Sul. As informações foram coletadas por meio de entrevista semiestruturada, observação participante e anotações em diário de campo e, após, à submetidas análise de dados, conforme proposta de Trentini e Paim. Foram encontrados como temas: Práticas utilizadas pelas puérperas nos problemas mamários; e Repercussões dos problemas mamários no desmame e a promoção do aleitamento materno. Os achados indicam que foi uma diversificação de produtos utilizados pelas puérperas quando se encontram com problemas mamários. Ressalta-se a necessidade de os profissionais de saúde conhecerem as práticas utilizadas nas comunidades e se atualizarem em relação ao aleitamento materno, para que auxiliem na sua promoção.
Resumo:
O presente trabalho pesquisa o fenômeno da transferência simultânea de calor e umidade em solos insaturados que envolvem dutos enterrados. Estes dutos e o solo envolvente compõem o chamado sistema trocador-armazenador de calor no solo, que é muitas vezes utilizado como fonte complementar de aquecimento em estufas solares agrícolas. O funcionamento do sistema trocador-armazenador de calor é baseado na energia armazenada no solo durante os horários de máxima insolação, sendo que durante a noite parte desta energia é recuperada. Durante o dia o ar quente do meio interno da estufa solar é bombeado para dentro do feixe de tubos enterrados, que devolvem o ar mais frio na outra extremidade. Por outro lado, durante a noite o ar mais frio do meio interno da estufa é bombeado para dentro dos dutos, os quais efetuam troca térmica com o solo envolvente, que neste horário possui a temperatura mais elevada do sistema. O objetivo geral deste trabalho é resolver o problema transiente periódico e tridimensional da transferência simultânea de calor e umidade em solos não-saturados, que compõem o sistema trocador-armazenador de calor, utilizando a simulação numérica. Como objetivos secundários têm-se: o melhoramento do sistema de troca térmica, a quantificação da parcela de calor transportado pela difusão da umidade no solo e a análise dos campos de temperatura e de conteúdo de umidade, sendo que a análise dos campos de umidade permite verificar se existe formação de frentes de secagem significativas na vizinhança dos dutos durante os sucessivos períodos de aquecimento e resfriamento a que o sistema é submetido. Na resolução do problema em questão é empregado o modelo clássico de Philip e De Vries para a transferência simultânea de calor e massa em meios porosos insaturados Neste modelo, as equações de conservação de energia e massa obtidas trazem explicitamente as influências combinadas dos gradientes de temperatura e de conteúdo de umidade nos processos de transporte de calor e umidade. O sistema de equações diferenciais governantes do problema em questão é resolvido numericamente utilizando o Método dos Volumes Finitos e na discretização destas equações é usada uma integração temporal totalmente implícita. Todas as propriedades difusivas e termofísicas empregadas são consideradas variáveis com a temperatura e o conteúdo de umidade. Os dutos de seção transversal circular do sistema trocadorarmazenador de calor no solo, são modelados como dutos de seção transversal quadrada de área equivalente para que coordenadas cartesianas possam ser utilizadas nos modelos analisados. Neste trabalho são simulados quatro modelos computacionais associados ao sistema trocador-armazenador de calor no solo. Estes modelos são compostos por: um duto isolado, um duto com convecção, dois dutos isolados e dois dutos com convecção. A variação da temperatura do ar na entrada do(s) escoamento(s), assim como a temperatura do meio ambiente, para os modelos com convecção, é dada por uma senóide com uma amplitude de 14 ºC. No modelo de um duto isolado, são realizadas simulações utilizando várias combinações dos parâmetros do modelo em questão e os resultados, assim obtidos, são comparados com aqueles encontrados na literatura Visando melhorar o sistema de troca térmica dos modelos computacionais investigados, são selecionados valores e intervalos de valores recomendados para os parâmetros do modelo de um duto isolado. Para este modelo, com um diâmetro de 0,1 m, são escolhidos valores (ou intervalos de valores) recomendados: de 4 m/s para a velocidade do escoamento interno dentro do duto, de 0,25 para o conteúdo de umidade do solo, de 5 até 20 metros para o comprimento do duto e de 0,20 até 0,30 m para a distância entre centros do dutos. As simulações dos quatro modelos computacionais realizadas utilizando as várias combinações dos valores recomendados para os parâmetros destes modelos, mostrou que não há diferença significativa entre os valores de calor volumétrico armazenado no solo empregando a resolução acoplada das equações de energia e de massa e a resolução da equação da temperatura. Mesmo para os modelos de um e de dois dutos com convecção a diferença percentual encontrada foi insignificante. Finalmente, são apresentados e analisados os campos de temperatura e de conteúdo de umidade para os quatro modelos computacionais avaliados. Os perfis de temperatura e de conteúdo de umidade em diferentes horários mostraram que, durante o dia, o solo absorve calor dos escoamentos internos de ar e, uma vez que, junto à superfície dos dutos tem-se regiões de maior temperatura, há, conseqüentemente, uma migração da umidade nestas regiões. Durante a noite, ocorre o contrário, o solo fornece calor aos escoamentos dentro dos dutos, e, desta forma, as regiões próximas aos dutos apresentam níveis de conteúdo de umidade superiores ao inicial. Ainda, os perfis de conteúdo de umidade para todas as situações analisadas mostraram que, não há formação de frentes de secagem significativas nas proximidades dos dutos que compõem os quatro modelos computacionais avaliados.
Resumo:
Por mais que a informatização esteja avançada (interligação por meio da rede internet de computadores entre os órgãos e entidades públicas pelo Estado), máquina alguma substituirá os dramas do homem contemporâneo, principalmente aqueles que sempre estiveram alijados da cidadania. O presente estudo traz à baila as reflexões e discussões acadêmicas desenvolvidas ao longo das mais de 700 horas/aulas do curso de mestrado em Poder Judiciário, turma 2010. Longe de ser uma unanimidade o Poder Judiciário é um poder do Estado que representa antes de tudo a capacidade e a prerrogativa de julgar, de acordo com as regras constitucionais e das leis criadas pelo Poder Legislativo em determinado país. É um dos mais sólidos pilares nas democracias e um perigoso algoz nos regimes absolutos. Apesar desta importância e de no Brasil ser um poder sólido que já demonstrou sua importância para a garantia da solidificação da democracia, são poucos os estudos sobre o Judiciário, poucos e iniciais são as pesquisas sérias sobre este poder de suma importância para a sociedade, para economia e para as instituições. Como, também, não é espanto quando vemos que fato repetitivo que a maior insatisfação ou reclamação da sociedade reside na morosidade das soluções judiciais traduzida pela alta taxa de litigiosidade da justiça brasileira. O Poder Judiciário é objeto de estudos sistemáticos, contínuos e avançados em diversos países que já demonstraram a importância de se conhecer bem as suas propostas, os resultados das suas atividades, funções e os seus gastos, pois, o seu “negócio”é a resolução dos conflitos da sociedade de forma a contribuir com a pacificação da mesma através de uma ordem jurídica justa. Os estudos realizados nos Estados Unidos, Alemanha e Espanha, como exemplo, demonstram que conhecer bem o judiciário é o primeiro passo para melhor gerenciá-lo. Assim, deve-se menção e reconhecimento no investimento realizado pela Fundação Getúlio Vargas em promover com destaque o presente Mestrado em Poder Judiciário. A FGV é uma das poucas instituições privadas que tem como um dos seus objetivos o preparo pessoal, extrapolando as fronteiras do ensino com avanços significativos nas áreas da pesquisa e da informação. No mesmo caminho da qualificação profissional de seus magistrados e servidores e na vanguarda da gestão judiciária, o Tribunal de Justiça do Distrito Federal e dos Territórios, investiu e acreditou na proposta de estudos e pesquisas do presente mestrado, merecendo, significativamente, os elogios e agradecimentos pela visão de futuro e investimento realizado no conhecimento que é sempre importante e necessário. A dissertação em comento representa primeiramente uma visão contraposta ao modelo de política pública encampada pelo Conselho Nacional de Justiça, através da Resolução 125 de 29 de novembro de 2010, cujo objeto é o tratamento adequado dos conflitos de interesse no âmbito do Poder Judiciário, representando, assim, interesse especial de pesquisa científica por se tratar de uma política nacional judiciária a ser adotada, obrigatoriamente, por todos os Tribunais de Justiça do país. Além deste aspecto supra referido, reside, também, o fato do ineditismo deste estudo e pesquisa, especificamente, porque essa política pública judiciária aborda aspectos e variáveis novas no tratamento das atividades e das funções próprias do Poder Judiciário quando propõem, como exemplo, o tratamento dos conflitos considerados pré processuais. Outro aspecto importante merecedor de atenção no estudo reflete-se na discussão do modelo de política pública que, em premissa vênia, deveria ser tratado em caráter geral republicando do Estado e não particularizado em um dos seus entes, mesmo que pareça ser, constitucionalmente, pressuposto da alçada do Poder Judiciário tratar exclusivamente do problema da altíssima litigiosidade e do baixo resultado de resposta à demanda posta para seu controle. Este estudo, tem como objetivo demonstrar que a resolução 125/2010 do CNJ é insuficiente para resolver os problemas de congestionamento e morosidade da Justiça brasileira, como preconizada, isso porque, o modelo que se propõe para combater o problema da morosidade é restrito e está “contaminado” pela idéia do monopólio da jurisdição ou por uma espécie similar que traz para o âmbito do judiciário uma nova atividade de trabalho, a qual é relacionada com a solução do conflito pré-processual a qual deveria fazer parte de uma política pública geral não restrita a um poder republicano. A correspondência dos argumentos com a materialização utilizada para o problema será comprovada nas linhas que se seguem, pois, assuntos com grande abrangência como as soluções judiciais devem, preferencialmente, adotar mecanismos públicos de caráter geral para uma boa solução. Nesse sentido, o trabalho demonstrará que as tentativas recorrentes em superar o problema da alta demanda judicial está restrita a modelos insuficientes abrangidos por um monopólio que não deveria ser aplicado para solucionar problemas pré processuais no âmbito do Poder Judiciário. Constitui, pois, um contraponto à idéia de efetividade na redução da demanda judicial tradicional 1 como prevista pela política pública judiciária frente ao monopólio da jurisdição, ou seja, frente à reserva que detém o Judiciário na promoção e gestão de uma nova atividade – o tratamento dos conflitos de interesse pré-processual por meio dos instrumentos de autocomposição, notadamente as conciliações e mediações. Apresentam-se, igualmente, neste trabalho proposições legislativas que dão o suporte material às idéias apresentadas, caracterizando a comprovação de viabilidade entre a apresentação do problema científico, as justificativas para o enfrentamento do problema e uma solução para o mesmo, como vista a modernizar uma política pública. Importante reafirmar que o escopo do presente trabalho não reside na observação própria dos modelos e técnicas de resolução de conflitos, notadamente as conciliações e mediações, incentivadas pelo CNJ, ou nos modelos arbitragem. Ao contrário, espera-se que todas as tentativas que possam melhorar e modernizar os atuais serviços judiciais no Brasil sejam válidas, eficazes e são muito bem vindas, pois, é uma tentativa positiva para melhorar o atual cenário em que se encontra o Poder Judiciário quando é confrontado em seu acesso à justiça, rapidez, confiabilidade e segurança nos seus julgamentos.
Resumo:
Este trabalho visa a disponibilização de um ambiente de alto desempenho, do tipo cluster de computadores, com alta exatidão, obtida através da utilização da biblioteca C–XSC. A alta exatidão na solução de um problema é obtida através da realização de cálculos intermediários sem arredondamentos como se fossem em precisão infinita. Ao final do cálculo, o resultado deve ser representado na máquina. O resultado exato real e o resultado representado diferem apenas por um único arredondamento. Esses cálculos em alta exatidão devem estar disponíveis para algumas operações aritméticas básicas, em especial as que possibilitam a realização de somatório e de produto escalar. Com isso, deseja-se utilizar o alto desempenho através de um ambiente de cluster onde se tem vários nodos executando tarefas ou cálculos. A comunicação será realizada por troca de mensagens usando a biblioteca de comunicação MPI. Para se obter a alta exatidão neste tipo de ambiente, extensões ou adaptações nos programas paralelos tiveram que ser disponibilizadas para garantir que a qualidade do resultado final realizado em um cluster, onde vários nodos colaboram para o resultado final do cálculo, mantivesse a mesma qualidade do resultado que é obtido em uma única máquina (ou nodo) de um ambiente de alta exatidão. Para validar o ambiente proposto foram realizados testes básicos abordando o cálculo do produto escalar, a multiplicação entre matrizes, a implementação de solvers intervalares para matrizes densas e bandas e a implementação de alguns métodos numéricos para a resolução de sistemas de equações lineares com a característica da alta exatidão. Destes testes foram realizadas análises e comparações a respeito do desempenho e da exatidão obtidos com e sem o uso da biblioteca C–XSC, tanto em programas seqüenciais como em programas paralelos. Com a conseqüente implementação dessas rotinas e métodos será aberto um vasto campo de pesquisa no que se refere ao estudo de aplicações reais de grande porte que necessitem durante a sua resolução (ou em parte dela) da realização de operações aritméticas com uma exatidão melhor do que a obtida usualmente pelas ferramentas computacionais tradicionais.