Análise e melhoria de layout de processo na indústria de beneficiamento de couro

A aplicação de técnicas de estudo de sistemas em ambientes industriais com grande concorrência, é cada vez mais significativa devido às modificações e flexibilidade de produção exigidas. A aplicação de técnicas de análise e ajustes de layouts são algumas destas técnicas que podem trazer resultados competitivos positivos. O presente trabalho descreve os tipos de layouts existentes, com suas aplicações, vantagens e desvantagens com a finalidade de analisar e propor melhorias em layouts de processo na indústria coureira. O trabalho enfoca ainda os principais pontos a serem considerados quando da criação de um novo layout ou do ajuste e/ou melhoria de um existente. Para tal, foi realizado um estudo de caso utilizando a técnica de Melhoria de Layout de Silveira (1998), com a aplicação do Planejamento Sistemático de Layout em um layout de processo do setor da Secagem, característico em uma indústria beneficiadora de couro. Os resultados obtidos traduzem o re-arranjo de seus postos de trabalho com redução do fluxo de material de acordo com a aproximação de postos com relações de afinidade. Essa alteração possibilitou uma melhor organização espacial dos postos de trabalho e um melhor controle da produção, através da separação natural dos lotes. A metodologia adotada pode ser utilizada como ferramenta de melhoria nos demais setores, tanto da própria empresa, como do mercado coureiro em geral.

Determinação de parâmetros de criticalidade, fluxo e potência em placas planas pelo método LTSn

O objetivo deste trabalho consiste em aplicar o método LTSn em cálculos de parâmetros críticos como Keff, espessura e concentração atômica e obtenção do fiuxo escalar, da potência específica e do enriquecimento do combustível em placa plana homogenea e heterogênea, considerando modelo multigrupo e em diversas ordens de quadraturas. O método LTSn consiste na aplicação da transformada de Laplace em um conjunto de equações~de ordenadas discretas gerado pela aproximação SN, resultando em um sistema de equações algébricas simbólicas dependentes do parâmetro complexo s e reconstrução dos fluxos angulares pela técnica de expansão de Heaviside. A aplicação do método LTSn reduz a soluçào de um problema de autovalor, a solução de uma equação transcedental, possibilitando a obtenção de parâmetros críticos. Simulações numéricas são apresentadas.

Functional timing analysis of VLSI circuits containing complex gates

The recent advances in CMOS technology have allowed for the fabrication of transistors with submicronic dimensions, making possible the integration of tens of millions devices in a single chip that can be used to build very complex electronic systems. Such increase in complexity of designs has originated a need for more efficient verification tools that could incorporate more appropriate physical and computational models. Timing verification targets at determining whether the timing constraints imposed to the design may be satisfied or not. It can be performed by using circuit simulation or by timing analysis. Although simulation tends to furnish the most accurate estimates, it presents the drawback of being stimuli dependent. Hence, in order to ensure that the critical situation is taken into account, one must exercise all possible input patterns. Obviously, this is not possible to accomplish due to the high complexity of current designs. To circumvent this problem, designers must rely on timing analysis. Timing analysis is an input-independent verification approach that models each combinational block of a circuit as a direct acyclic graph, which is used to estimate the critical delay. First timing analysis tools used only the circuit topology information to estimate circuit delay, thus being referred to as topological timing analyzers. However, such method may result in too pessimistic delay estimates, since the longest paths in the graph may not be able to propagate a transition, that is, may be false. Functional timing analysis, in turn, considers not only circuit topology, but also the temporal and functional relations between circuit elements. Functional timing analysis tools may differ by three aspects: the set of sensitization conditions necessary to declare a path as sensitizable (i.e., the so-called path sensitization criterion), the number of paths simultaneously handled and the method used to determine whether sensitization conditions are satisfiable or not. Currently, the two most efficient approaches test the sensitizability of entire sets of paths at a time: one is based on automatic test pattern generation (ATPG) techniques and the other translates the timing analysis problem into a satisfiability (SAT) problem. Although timing analysis has been exhaustively studied in the last fifteen years, some specific topics have not received the required attention yet. One such topic is the applicability of functional timing analysis to circuits containing complex gates. This is the basic concern of this thesis. In addition, and as a necessary step to settle the scenario, a detailed and systematic study on functional timing analysis is also presented.

O olhar dos gestores sobre o Sistema Único de Saúde (SUS) : um estudo exploratório nos municípios de Bagé e Dom Pedrito (RS)

Este estudo delimita a concepção dos gestores sobre os pressupostos e diretrizes do Sistema Único de Saúde (SUS), contextualizando-a no processo de estruturação deste Órgão nos municípios de Bagé e Dom Pedrito (RS). A partir de uma abordagem sobre a realidade da Região da Campanha (RS), que abrange a 7ª Coordenadoria Regional de Saúde (7ª CRS-RS), reflete sobre a importância do tema gestão para efetivar a saúde como uma prática social com um enfoque profissional. Neste sentido, identifica as concepções dos gestores dos SUS dos municípios de Bagé e de Dom Pedrito (RS) quanto aos pressupostos e diretrizes do SUS; caracteriza o processo de estruturação do SUS nestes municípios; enumera os elementos da prática administrativa, considerados restritores ou facilitadores pelos gestores no seu processo de estruturação, sistematiza as concepções futuras quanto ao processo de consolidação do SUS na região em estudo. O retorno de informações e reflexões, aqui delineadas, poderão subsidiar novos estudos, discussões e ações entre os atores sociais envolvidos no processo de efetivação do SUS, numa tentativa de uma aproximação mais adequada da realidade loco-regional com as políticas de saúde e políticas sociais.

Mediadores técnicos, tecnociência na agricultura e a definição legítima da problemática ambiental no campo tecnocientífico

A dimensão de conflito relacionada à problemática ambiental, enquanto um problema social, é o elemento instigador do exercício de pesquisa proposto. Dotada de uma flexibilidade na formulação e estabelecimento de possíveis contornos e de uma inegável presença e relevância no cenário contemporâneo, a disputa pela definição legítima da problemática ambiental instala-se em distintos campos sociais. No presente exercício de pesquisa, a disputa por uma caracterização legítima da problemática ambiental é utilizada como a “porta-de-entrada”, através da qual objetiva-se uma aproximação com a dinâmica de disputa particular do campo tecnocientífico, vinculado às “ciências rurais” e delimitado pelo recorte estadual do Rio Grande do Sul. Pretende-se distinguir os macro posicionamentos envolvidos em uma disputa e, concomitantemente, resgatar estratégias peculiares a cada um destes, destacando a constante interação existente entre as mesmas. Um momento final é reservado à tentativa de estabelecer o vínculo entre uma disputa pela problemática ambiental no campo tecnocientífico e o confronto entre distintas construções da noção de desenvolvimento rural. Foram entrevistados mediadores técnicos gaúchos vinculados às instituições de pesquisa, ensino e extensão considerados de relevância no cenário. Para a seleção dos agentes entrevistados, bem como para a delimitação das instituições, recorreu-se ao auxílio de informantes qualificados. Estabelecido um panorama inicial este foi, freqüentemente, refinado e consagrado na etapa de campo através da confirmação/complementação proporcionada pelos próprios agentes entrevistados. Utilizou-se um roteiro de entrevistas subdividido em quatro blocos: origem e trajetória social; problemática ambiental e agricultura; ciência e tecnologia e desenvolvimento rural. A polaridade principal estabelece-se entre os agentes, dominantes no campo, simpatizantes do modelo de modernização da agricultura e, no pólo oposto, os dominados, partidários da agroecologia. A problemática ambiental é percebida, do lado dos dominantes, sob o ponto de vista dos impactos no meio físico, estes passíveis de serem contornados através de técnicas de menor impacto ambiental e cientificamente embasadas. Já, por parte dos dominados, ressalta-se o elo entre a problemática ambiental e um modelo de modernização da agricultura, este reconhecido como insustentável. A disputa prossegue em um jogo de estratégias em constante interação, tendo por objetivo circunscrever aos domínios de cada grupo as abordagens particulares da problemática ambiental e, em decorrência, a tentativa de dotá-las de autoridade/legitimidade no campo tecnocientífico. Da seqüência de estratégias utilizadas destaca-se o forte apelo, por parte dos dominantes no campo, à denominada “boa ciência”, sendo esta considerada a instância legítima. No pólo oposto, os dominados esforçamse por consagrar sua proposição central, a agroecologia. Igualmente, no exercício discursivo em torno do desenvolvimento rural, os agentes resgatam a polaridade “boa ciência” x agroecologia.

Lugares de criança : shopping centers e o disciplinamento dos corpos infantis

A partir da perspectiva pós-estruturalista e de uma aproximação entre dois referenciais – o campo dos Estudos Culturais e a abordagem foucaultiana – este estudo traz como principal cenário a instituição shopping center. De forma geral, discuto, nessa Dissertação, os lugares que estão sendo destinados às crianças em shopping centers, especialmente nos empreendimentos denominados Iguatemi e Praia de Belas, ambos situados na cidade de Porto Alegre, RS, Brasil. O foco mais específico deste estudo está nos espaços infantis que são estrategicamente montados, dentro de shopping centers, para “abrigar” crianças de dois a dez anos enquanto suas famílias envolvem-se em outras atividades. Interessou-me ver, em especial, como tais espaços infantis são organizados, como são codificados e de que forma a organização e a codificação desses espaços acabam por distribuir os vários elementos constituintes desses (e constituídos nesses) mesmos espaços. Em suma, interessou-me ver, nessa Dissertação, que práticas disciplinares são colocadas em funcionamento nos e pelos lugares de criança dos shopping centers.

Estudo experimental e teórico das propriedades magnéticas e supercondutoras dos compostos borocarbetos da série Y(Ni 1-x Mn x) 2 B2 C com x = 0,0, 0,01, 0,025, 0,05, 0,10 e 0,15

Apresentamos neste trabalho os resultados de um estudo experimental e teórico dos compostos borocarbetos supercondutores da série Y(Ni1-xMnx)2B2C com x = 0; 0,01; 0,025; 0,05; 0,10; 0,15. A principal motivação para este trabalho foi investigar a estrutura eletrônica e a possível formação do momento magnético sobre os átomos de impureza de Mn nos compostos Y(Ni1- xMnx)2B2C. O aparecimento do momento magnético localizado no sítio da impureza possibilitou estudar a influência do Mn sobre o mecanismo de quebra de pares supercondutores e sobre as propriedades magnéticas do composto. Os borocarbetos são compostos de estrutura cristalina tetragonal de corpo centrado e altamente anisotrópicos (c/a~3). São intermetálicos de alta temperatura crítica supercondutora Tc, com forte acoplamento elétron-fonon. Em alguns casos podem apresentar ordem magnética, supercondutividade e também coexistência ou competição energética entre ambos. As medidas de transporte eletrônico, em função da temperatura, foram feitas utilizando-se um detector síncroton baseado na técnica de quatro pontos operando na faixa de 4,2K até 300K. Essas medidas possibilitaram o estudo das propriedades relacionadas ao transporte eletrônico na fase supercondutora. Na fase normal, extraiu-se a dependência em energia da função espectral de fonons α² F (ω) para alguns compostos da série estudada. As medidas magnéticas em função da temperatura e do campo magnético foram feitas utilizando-se um SQUID (Superconducting Quantun Interference Device – Quantun Design Model MPMS XL). Tais medidas permitiram a caracterização das propriedades magnéticas de nossas amostras. Em particular determinou-se o valor, em regime de saturação, do momento magnético associado ao sítio cristalino do Mn. Foram determinadas também as correntes críticas supercondutoras usando o Modelo de estado crítico de Bean e a variação da temperatura crítica supercondutora (Tc) com a mudança do campo externo aplicado. As medidas magnéticas permitiram a obtenção do diagrama que relaciona o campo crítico inferior (HC1) e a temperatura, variando-se a concentração do átomo dopante de manganês. Foi feito um esforço teórico no sentido de interpretar os resultados experimentais. Para isso foram usados três modelos: O modelo de estado crítico de Bean já citado acima e um modelo baseado na fórmula de Ziman usando uma aproximação para a função espectral de fonons para descrever a resistividade no regime de alta temperatura. Além disto, usou-se o modelo de duas sub-redes para a descrição do momento magnético das impurezas de Mn, em função da concentração, na série Y(Ni ) ( 2 ω α F 1-xMnx)2B2C.

Formação docente : no balanço da rede entre políticas públicas e movimentos sociais

Este trabalho tem como temática a formação de professores investigada sob a ótica do confronto entre políticas públicas educacionais e o movimento da sociedade civil. Tem como objetivo apresentar o contexto das políticas públicas de formação docente e das movimentações da sociedade civil no qual se concretiza um projeto de formação de professores. Assim, é realizado um estudo de caso do Projeto de Licenciaturas Plenas Parceladas, curso de formação de professores em nível superior, realizado em Luciara, região do Médio Araguaia, nordeste do estado de Mato Grosso. Inicialmente é buscada a caracterização da identidade construída através das ações dos movimentos sociais na região em cuja análise é configurada uma identidade de resistência. A seguir são desvelados elementos das políticas públicas de formação docente analisados em confronto com elementos oriundos da identidade de resistência local construída pelos movimentos sociais que se relacionam ao Projeto. As características específicas da região apontaram para a necessidade de aproximação dos movimentos sociais que ali ocorreram, posto que impingiram marcas de sua identidade nas ações educacionais desenvolvidas. O trabalho de investigação se pautou em pesquisas bibliográficas, análises de documentos e fontes orais. Os resultados são encaminhadores de três ordens de conclusões: as oriundas diretamente da construção do objeto de estudo, as sinalizadadoras de novos estudos e as que potencialmente subsidiam políticas públicas. Na primeira ordem depreende-se que a história dos movimentos sociais locais levou a uma participação substancial, isto é, que vai além da forma. Ela se caracteriza pela qualidade que propiciou à constituição de uma noção de cidadania na qual se pautam muitas das ações regionais Gerou também uma cultura pedagógica local que possibilitou a reconfiguração de uma política pública traduzida em tonalidades locais. A identidade da região e também a do Projeto desenvolvido poderia ser denominada de resistência dadas as suas características. Na segunda ordem de conclusões o estudo sinalizou para a pertinência de outras investigações orientadas para a identidade dos professores egressos de tais cursos. Na terceira ordem o estudo indicou possíveis subsídios para políticas públicas mais adequadas e relevantes, inseridas nos espaços locais/regionais.

Corpos ressentidos : trabalho contemporâneo, subjetividade e patologias por hipersolicitação

As Lesões por Esforços Repetitivos (LER), também conhecidas por Distúrbios Osteomusculares Relacionados ao Trabalho (DORT), se tornaram visíveis a partir da entrada do modelo de acumulação flexível, da reestruturação produtiva, da terceirização, enfim, das transformações dos processos produtivos que incluíram a automação, a microeletrônica como base técnica e as novas relações de emprego e gestão de trabalho. Essas afecções ocupacionais são vivenciadas por trabalhadores, expressam um dos sofrimentos advindos da relação do trabalhador com o trabalho e já podem ser consideradas uma epidemia. Propomos neste trabalho a compreensão de como podem desenvolver-se as LER/DORT no corpo do trabalhador contemporâneo com base em sua história de trabalho, pensando esta síndrome como uma subjetivação da relação entre o trabalhador e o trabalho. Para tal, utilizaremos uma visualização do trabalhador como um todo, tendo um corpo físico e mental não dicotomizado, mas uno. O corpo entendido como uma multiplicidade de vontades de potência, em que cada vontade de potência é uma multiplicidade de formas e de meios de expressão. Sustentando-nos em linhas teóricas como as de Foucault, Deleuze, Guattari e Nietzsche e associando conhecimentos da área biomédica, propomos uma abordagem interdisciplinar. Buscamos uma interação entre o campo biomédico, o campo da psicologia e o da filosofia, procurando auxiliar no desenvolvimento de uma linguagem de interface tão necessária entre esses campos. Se pudermos chamar a teoria da genealogia do poder de Foucault de método, utilizá-la-emos com o intuito de realizar uma análise crítica das relações de poder e das formas de resistência aos diferentes tipos de poder. Não queremos descobrir algo preexistente, pressupondo uma origem, uma delimitação, mas propomo-nos a inventar um problema com base em uma desterritorialização de saberes constituídos. Inicialmente apresentamos como referencial teórico a questão do corpo do trabalhador contemporâneo, para então abordarmos o que pode ser entendido por um corpo adoecido e finalmente apresentar um levantamento do que sejam as LER/DORT. A seguir, traçamos um perfil dos trabalhadores entrevistados, visando a características profissionais e aspectos referentes à saúde, para então analisarmos as falas coletadas dos trabalhadores na pesquisa, objetivando a compreensão de como os entrevistados desenvolveram seus adoecimentos. Depois, por meio de uma discussão, fazemos uma aproximação das falas e dos dados coletados com os referenciais teóricos propostos. Não temos como intuito afirmar verdades a partir desta pesquisa, nem dar-lhe um caráter definitivo, mas propomos diferentes maneiras de pensar que possibilitem encontrar novas orientações acerca deste acometimento. Ainda temos muito a trilhar nos caminhos da interdisciplinaridade, mas sabemos que, a cada passo dado, novas possibilidades são construídas.

Novo Hamburgo 1927-1997 : os espaços de sociabilidade na gangorra da modernidade

Antes de tudo, este trabalho é uma tentativa de radiografar uma cidade periférica para conseguir entender, mesmo que superficialmente, um processo que atinge a todos. Assim, tal leitura à partir da periferia, abre possibilidades de resgate de uma vivência tipicamente moderna. Para tanto, foi escolhido cinco espaços de sociabilidade e neles mostrado como este processo necessita de constantes mudanças superficiais mas não estruturais. Por isso a associação à gangorra, brinquedo que vai e volta sem sair do lugar. Nosso objetivo principal reside justamente nesta aproximação: mostrar que a evolução material não quer dizer, necessariamente, evolução da humanidade.

Otimização de geometrias aerodinâmicas utilizando métodos inversos

O objetivo deste trabalho é a obtenção de uma técnica para a modelagem otimizada de corpos submetidos a fluxos de alta velocidade, como aerofólios em escoamentos transônicos e outras geometrias aerodinâmicas. A técnica é desenvolvida através de expansões em séries de Fourier para um conjunto de equações diferenciais com interrelação com as condições de contorno, sendo uma equação para a parte superior e outra para a parte inferior do aerofólio. O método de integração temporal empregado baseia-se no esquema explícito de Runge-Kutta de 5 estágios para as equações da quantidade de movimento e na relação de estado para a pressão. Para a aproximação espacial adota-se um esquema em volumes finitos no arranjo co-localizado em diferenças centrais. Utiliza-se dissipação artificial para amortecer as frequências de alta ordem do erro na solução das equações linearizadas. A obra apresenta a solução de escoamentos bi e tridimensionais de fluidos compressíveis transônicos em torno de perfis aerodinâmicos. Os testes num´ericos são realizados para as geometrias do NACA 0012 e 0009 e asas tridimensionais usando as equações de Euler, para número de Mach igual a 0.8 e ® = 0o. Os resultados encontrados comparam favoravelmente com os dados experimentais e numéricos disponíveis na literatura.

O gás ionizado em galáxias ativas

Foram analisados espectros óticos de fenda longa de 29 galáxias que hospedam núcleos ativos (AGNs), sendo 6 galáxias Seyfert 1, 18 galáxias Seyfert 2, 4 Rádio-galáxias de linhas estreitas (NLRG) e 1 Rádio-galáxia de linhas largas (BLRG). Estas galáxias apresentam emissão por gás de alta excitação que se estende em alguns casos a 10 kpc do núcleo. O objetivo do presente trabalho consiste em estudar e caracterizar as propriedades físicas da região estendida de linhas estreitas (ENLR) destes objetos bem como propriedades da fonte central. A distribuição radial de parâmetros que caracterizam o gás emissor em cada galáxia, tais como brilho superficial das linhas de emissão, densidade do gás, massa, extinção e excitação são obtidos. Estes valores característicos são comparados entre as diferentes classes de atividade nuclear presentes em nossa amostra, bem como às propriedades de galáxias normais com o mesmo tipo de Hubble quando possível. Nós encontramos que a massa de gás ionizado é consistente com a hipótese de que o gás é “originado” na fotoionização pela fonte central das nuvens de HI préexistentes na galáxia hospedeira. Os valores observados das razões entre as linhas estreitas de emissão são comparados com os obtidos através de modelos de fotoionização gerados com o código MAPPINGS Ic, obtendo os parâmetros do modelo – densidade, índice espectral da distribuição de energia e da metalicidade do gás – que melhor reproduzem as observações. Observamos que a variação da abundância química do gás é necessária para explicar o espalhamento nos valores observados. Adicionalmente, comparamos os valores observados com os obtidos com modelos de choques gerados por Dopita & Sutherland. Investigamos também a influência da emissão proveniente de regiões HII ao espectro observado – a qual concluímos ser importante particularmente nas regiões emissoras mais distantes do que 2 kpc do núcleo. Nós determinamos a luminosidade ionizante da fonte central nos AGNs usando a aproximação de que as nuvens de gás são limitadas por radiação, e obtivemos os correspondentes valores para o fator de cobertura do gás. Esta luminosidade ionizante foi então comparada com a luminosidade observada em raios-X na banda 2 –10 keV, através de aproximações para a distribuição espectral de energia (SED). Para 9 galáxias Seyfert 2 a luminosidade observada está disponível, e verificamos que nosso método recupera a luminosidade do AGN em raios-X – assim como obtida dos dados do satélite ASCA – bem como identifica os 3 casos Compton espessos. Por fim, investigamos a natureza do contínuo infravermelho (IR) médio e distante – comparandose a luminosidade observada no IR, calculada a partir dos fluxos IRAS, com a luminosidade predita para um toro que envolve a fonte central absorvendo a radiação incidente e re-emitindo esta no infravermelho. Encontramos que a luminosidade observada no IR é consistente com a luminosidade predita para o torus.

Fases de stripes nos cupratos : um estudo do modelo t-J anisotrópico

Neste trabalho realizamos um estudo de um buraco em um antiferromagneto, como parte de uma revisão de diferentes técnicas de abordagem das fases de “stripes” nos cupratos supercondutores. Estudamos a transição do formalismo de “strings” para um buraco no modelo t - Jz bidimensional, onde existe uma solução analítica, para a solução de pólaron de spin no modelo t - J isotrópico através da aproximação de Born auto-consistente. A forma funcional dos picos de quase-partícula, do peso espectral e do “gap” espectral foi investigada numericamente em detalhe, em função da anisotropia magnética. O movimento de um pólaron de spin na presença de uma parede de domínio antiferromagnética (ADW) em antifase, como uma realização da configuração de “stripes” nos planos CuO dos cupratos de baixa dopagem, também foi analisada.

Argentinos e brasileiros em Porto Belo : encontros e reencontros

Este estudo aborda o fenômeno do turismo do ponto de vista sociológico, analisando a interação entre os indivíduos que dele participam e o conseqüente intercâmbio sociocultural que dele resulta. O estudo das relações entre os turistas argentinos e os residentes de Porto Belo, em Santa Catarina, durante a temporada de verão, pretende mostrar as transformações, desencadeadas pelas relações que se estabelecem entre turistas e residentes, na vida desses indivíduos e o papel cumprido pelo turismo na aproximação e o entendimento recíproco entre eles.

Simulação numérica de esteiras em transição utilizando o método dos contornos virtuais

Simulações Numéricas são executadas em um código numérico de alta precisão resolvendo as equações de Navier-Stokes e da continuidade para regimes de escoamento incompressíveis num contexto da turbulência bidimensional. Este código utiliza um esquema compacto de diferenças finitas de sexta ordem na aproximação das derivadas espaciais. As derivadas temporais são calculadas usando o esquema de Runge-Kuta de terceeira ordem com baixo armazenamento. Tal código numérico fornece uma representação melhorada para uma grande faixa de escalas de comprimento e de tempo. As técnicas dos contornos imersos acopladas ao método dos contornos virtuais permitem modelar escoamentos não-estacionários sobre geometrrias complexas, usando simplesmente uma malha Cartesiana uniforme. Por meio de procedimentos de aproximação/interpolação, as técnicas dos contornos imersos (aproximação Gaussiana, interpolação bilinear e redistribuição Gaussiana), permitem a representação do corpo sólido no interior do campo de escoamento, com a superfície não coincidindo com a malha computacional. O método dos contornos virtuais, proposto originalmente por Peskin, consiste, basicamente, na imposição na superfície e/ou no interior do corpo, de um termo de força temporal acrescentando às equações do momento. A aplicação deste campo de força local leva o fluido ao repouso na superfície do corpo, permitindo obter as condições de contorno de não-deslizamento e de não penetração de fluido na parede. A análise das oscilações induzidas no escoamento-contorno pelo processo de desprendimento de vórtices na esteira do cilindro circular e de geometria retangulares na incidência, para números de Reybolds variando de 40 a 400, confirma a eficiência computacional e a aplicabilidade das técncias implementadas.