Aperfeiçoamento do algoritmo algébrico sequencial para a identificação de variações abruptas de impedância acústica via otimização

Neste trabalho são utilizados a técnica baseada na propagação de ondas acústicas e o método de otimização estocástica Luus-Jaakola (LJ) para solucionar o problema inverso relacionado à identificação de danos em barras. São apresentados o algoritmo algébrico sequencial (AAS) e o algoritmo algébrico sequencial aperfeiçoado (AASA) que modelam o problema direto de propagação de ondas acústicas em uma barra. O AASA consiste nas modificações introduzidas no AAS. O uso do AASA resolve com vantagens o problema de identificação de danos com variações abruptas de impedância. Neste trabalho são obtidos, usando-se o AAS-LJ e o AASA-LJ, os resultados de identificação de cinco cenários de danos. Três deles com perfil suave de impedância acústica generalizada e os outros dois abruptos. Além disso, com o objetivo de simular sinais reais de um experimento, foram introduzidos variados níveis de ruído. Os resultados alcançados mostram que o uso do AASA-LJ na resolução de problemas de identificação de danos em barras é bastante promissor, superando o AAS-LJ para perfis abruptos de impedância.

Avaliação Comparativa dos Scanners 3D Artec MHT e Cyberware WBX para aplicações em Antropometria e Ergonomia

A partir das dimensões dos indivíduos pode-se definir dimensionamentos adequados para os produtos e postos de trabalho, proporcionando segurança e conforto aos usuários. Com o avanço da tecnologia de digitalização de imagens (escaneamento) 3D, é possível tirar algumas medidas de maneira mais rápida e com a redução da presença do entrevistado durante o processo. No entanto, faltam estudos que avaliem estas tecnologias no Brasil, sendo necessária a realização de uma comparação das tecnologias e das respectivas precisões para que seu uso em pesquisas. Com o objetivo de oferecer métodos comparativos para escolha dos marcadores e equipamentos a serem utilizados em uma pesquisa antropométrica tridimensional da população brasileira, no presente estudo estão comparadas duas tecnologias de escaneamento: o sistema a laser WBX da empresa norte americana Cyberware e o sistema MHT da empresa russa Artec Group. O método para avaliação da precisão dimensional dos dados advindos desses equipamentos de digitalização de imagens 3D teve cinco etapas: Estudo dos processos de escaneamento; Escaneamento dos marcadores de pontos anatômicos; Escaneamento utilizando um corpo de prova cilíndrico; Escaneamento de um manequim; Escaneamento de um voluntário que teve seus pontos anatômicos marcados para a retirada de medidas. Foi feita uma comparação entre as medidas retiradas manualmente, por meio de antropômetro e virtualmente, com o auxílio do software de modelagem tridimensional Rhinoceros. Em relação aos resultados obtidos na avaliação do manequim e do voluntário, concluiu-se que a magnitude do erro absoluto é semelhante para ambos os scanners, e permanece constante independentemente das dimensões sob análise. As principais diferenças são em relação às funcionalidades dos equipamentos.

Modelagem da tensão superficial de misturas de hidrocarbonetos

Esta dissertação apresenta um novo modelo criado para a previsão do valor da tensão superficial de misturas de hidrocarbonetos. Pode ser utilizado na forma preditiva ou correlativa. Este modelo foi baseado no modelo preditivo para soluções ideais de HildebrandScott (1950) e no modelo correlativo de JouybanAcree (2004). Outras regras de mistura foram avaliadas e comparadas com o modelo proposto, incluindo abordagens clássicas como de Sprow e Prausnitz, parácoro e estados correspondentes. Foram avaliados os desempenhos dos modelos escolhidos na previsão e na correlação da tensão superficial de misturas de hidrocarbonetos em diferentes temperaturas que continham diferentes assimetrias na mistura, tanto em natureza química (e.g., parafínicos, naftênicos e aromáticos) quanto em tamanho de cadeia. No total foram empregados 773 dados experimentais. Dentre os modelos preditivos, o modelo proposto foi o de melhor desempenho. Para sistemas com comportamento próximo da idealidade, esse modelo apresentou desvios em relação aos dados experimentais compatíveis com o erro experimental. Todos os modelos correlativos estudados apresentaram desvios essencialmente da ordem do erro experimental. O modelo proposto é importante, pois é capaz de prever a tensão superficial de misturas binárias aproximadamente ideais de hidrocarbonetos com elevada acurácia, além de permitir a correlação eficiente dos dados de todas as misturas estudadas

Identificação de danos estruturais utilizando dados no domínio do tempo provenientes de ensaios de vibração

O presente trabalho aborda o problema de identificação de danos em uma estrutura a partir de sua resposta impulsiva. No modelo adotado, a integridade estrutural é continuamente descrita por um parâmetro de coesão. Sendo assim, o Modelo de Elementos Finitos (MEF) é utilizado para discretizar tanto o campo de deslocamentos, quanto o campo de coesão. O problema de identificação de danos é, então, definido como um problema de otimização, cujo objetivo é minimizar, em relação a um vetor de parâmetros nodais de coesão, um funcional definido a partir da diferença entre a resposta impulsiva experimental e a correspondente resposta prevista por um MEF da estrutura. A identificação de danos estruturais baseadas no domínio do tempo apresenta como vantagens a aplicabilidade em sistemas lineares e/ou com elevados níveis de amortecimento, além de apresentar uma elevada sensibilidade à presença de pequenos danos. Estudos numéricos foram realizados considerando-se um modelo de viga de Euler-Bernoulli simplesmente apoiada. Para a determinação do posicionamento ótimo do sensor de deslocamento e do número de pontos da resposta impulsiva, a serem utilizados no processo de identificação de danos, foi considerado o Projeto Ótimo de Experimentos. A posição do sensor e o número de pontos foram determinados segundo o critério D-ótimo. Outros critérios complementares foram também analisados. Uma análise da sensibilidade foi realizada com o intuito de identificar as regiões da estrutura onde a resposta é mais sensível à presença de um dano em um estágio inicial. Para a resolução do problema inverso de identificação de danos foram considerados os métodos de otimização Evolução Diferencial e Levenberg-Marquardt. Simulações numéricas, considerando-se dados corrompidos com ruído aditivo, foram realizadas com o intuito de avaliar a potencialidade da metodologia de identificação de danos, assim como a influência da posição do sensor e do número de dados considerados no processo de identificação. Com os resultados obtidos, percebe-se que o Projeto Ótimo de Experimentos é de fundamental importância para a identificação de danos.

Estudo da previsão de propriedades do biodiesel utilizando espectros de infravermelho e calibração multivariada

O biodiesel tem sido amplamente utilizado como uma fonte de energia renovável, que contribui para a diminuição de demanda por diesel mineral. Portanto, existem várias propriedades que devem ser monitoradas, a fim de produzir e distribuir biodiesel com a qualidade exigida. Neste trabalho, as propriedades físicas do biodiesel, tais como massa específica, índice de refração e ponto de entupimento de filtro a frio foram medidas e associadas a espectrometria no infravermelho próximo (NIR) e espectrometria no infravermelho médio (Mid-IR) utilizando ferramentas quimiométricas. Os métodos de regressão por mínimos quadrados parciais (PLS), regressão de mínimos quadrados parciais por intervalos (iPLS), e regressão por máquinas de vetor de suporte (SVM) com seleção de variáveis por Algoritmo Genético (GA) foram utilizadas para modelar as propriedades mencionadas. As amostras de biodiesel foram sintetizadas a partir de diferentes fontes, tais como canola, girassol, milho e soja. Amostras adicionais de biodiesel foram adquiridas de um fornecedor da região sul do Brasil. Em primeiro lugar, o pré-processamento de correção de linha de base foi usado para normalizar os dados espectrais de NIR, seguidos de outros tipos de pré-processamentos que foram aplicados, tais como centralização dos dados na média, 1 derivada e variação de padrão normal. O melhor resultado para a previsão do ponto de entupimento de filtro a frio foi utilizando os espectros de Mid-IR e o método de regressão GA-SVM, com alto coeficiente de determinação da previsão, R2Pred=0,96 e baixo valor da Raiz Quadrada do Erro Médio Quadrático da previsão, RMSEP (C)= 0,6. Para o modelo de previsão da massa específica, o melhor resultado foi obtido utilizando os espectros de Mid-IR e regressão por PLS, com R2Pred=0,98 e RMSEP (g/cm3)= 0,0002. Quanto ao modelo de previsão para o índice de refração, o melhor resultado foi obtido utilizando os espectros de Mid-IR e regressão por PLS, com excelente R2Pred=0,98 e RMSEP= 0,0001. Para esses conjuntos de dados, o PLS e o SVM demonstraram sua robustez, apresentando-se como ferramentas úteis para a previsão das propriedades do biodiesel estudadas

Dieta hiperlipídica e/ou rica em sacarose em camundongos suíços: metabolismo de carboidratos, fígado e tecido adiposo

A doença hepática gordurosa não alcoólica é uma desordem multifatorial causada principalmente por excesso nutricional e resistência à insulina, com prevalência estimada de 20-40% nos países ocidentais. A dieta hiperlipídica e/ou rica em sacarose pode influenciar no desenvolvimento da esteatose hepática associada à obesidade e a resistência à insulina. O fígado, por assumir papel central no controle metabólico, é um órgão alvo nos casos de excesso alimentar, ocasionando, principalmente, acúmulo de gotículas de gordura nos hepatócitos. Este trabalho teve como objetivo avaliar o início das alterações morfológicas e metabólicas no fígado e no tecido adiposo de camundongos suíços machos alimentados com dieta hiperlipídica e/ou rica em sacarose. Camundongos suíços machos aos três meses de idade foram divididos em quatro grupos nutricionais: dieta padrão (SC), dieta hiperlipídica (HF), dieta rica em sacarose (HSu) e dieta hiperlipídica rica em sacarose (HFHSu). Os animais receberam as respectivas dietas durante quatro semanas. A massa corporal, a ingestão alimentar e a tolerância oral à glicose foram avaliados. Ao sacrifício, o fígado e os depósitos de gordura corporal foram removidos e processados para análises histomorfométricas e moleculares. As amostras de sangue foram obtidas para análises bioquímicas plasmáticas. Os dados foram expressos como média e erro padrão da média e as diferenças foram testadas por one-way ANOVA com pós-teste de Holm-Sidak, e foi considerado o nível de significância de p<0,05. Os grupos HF e HFHSu apresentaram-se mais pesados quando comparados aos grupos SC e HSu. Os animais dos grupos HF, HSu e HFHSu apresentaram intolerância à glicose, esteatose hepática e aumento de triglicerídeos hepáticos quando comparados ao grupo SC (p<0,0005). Adicionalmente, houve elevação na expressão hepática das proteínas transportador de glicose 2 (GLUT-2), proteína de ligação ao elemento regulador do esterol 1-c (SREBP1-c), fosfoenolpiruvato carboxiquinase (PEPCK), glicose -6- fosfatase (G6PASE), substrato do receptor da insulinaI-1 (IRS-1) e proteína quinase B (AKt/ou PKB) e redução da expressão no fígado do receptor ativador de proliferação peroxissomal (PPAR-α) nos grupos experimentais em comparação com o grupo SC (p<0,0005). A administração de dieta hiperlipídica e/ou rica em sacarose promoveu intolerância à glicose e danos hepáticos (hepatomegalia, esteatose, redução da beta-oxidação, aumento na lipogênese e na produção de glicose) em camundongos machos adultos.

Conservação de energia em redes de sensores sem fio.

Esta dissertação tem por objetivo propor algoritmos para conservação de energia de uma rede de sensores sem fio (RSSF) aplicada ao monitoramento de um processo suave f(x , y, t), que depende das coordenadas x e y dos nós sensores, e do tempo t, de forma a aumentar a autonomia da rede. Os algoritmos rodam na camada de aplicação de cada nó, e visam a economia de energia dos nós através do gerenciamento da necessidade de transmissões. Após a primeira amostra transmitida, apenas amostras com uma variação percentual maior do que um dado limiar são transmitidas. Além disso, cada nó pode permanecer inativo (economizando energia) entre essas transmissões. Em RSSfs de salto único, são propostos dois algoritmos: um baseado na fonte, onde cada nó é responsável por todo o processamento e tomada de decisões, e outro baseado no sorvedouro, onde todo o processamento e a tomada de decisões são realizadas pelo sorvedouro. Além disso, uma extensão de algoritmo baseado na fonte é proposta, para RSSFs de múltiplos saltos. Através dos resultados obtidos, observa-se que os algoritmos conseguiram uma redução significativa da quantidade de transmissões, o que leva a um aumento do tempo de vida e o erro na reconstrução do processo é apresentada. Desta forma, pode-se conjugar a relação entre tempo de vida máximo e erro de reconstrução mínimo.

Posicionamento dinâmico utilizando controle a estrutura variável e servovisão.

Neste trabalho é apresentado o desenvolvimento de um sistema de posicionamento dinâmico para uma pequena embarcação baseado em controle a estrutura variável com realimentação por visão computacional. Foram investigadas, na literatura, diversas técnicas desenvolvidas e escolheu-se o controle a estrutura variável devido, principalmente, ao modo de acionamento dos propulsores presentes no barco utilizado para os experimentos. Somando-se a isto, foi considerada importante a robustez que a técnica de controle escolhida apresenta, pois o modelo utilizado conta com incerteza em sua dinâmica. É apresentado ainda o projeto da superfície de deslizamento para realizar o controle a estrutura variável. Como instrumento de medição optou-se por utilizar técnicas de visão computacional em imagens capturadas a partir de uma webcam. A escolha por este tipo de sistema deve-se a alta precisão das medições aliada ao seu baixo custo. São apresentadas simulações e experimentos com controle a estrutura variável em tempo discreto utilizando a integral do erro da posição visando eliminar o erro em regime. Para realizar o controle que demanda o estado completo, são comparados quatro estimadores de estado realizados em tempo discreto: derivador aproximado; observador assintótico com uma frequência de amostragem igual a da câmera; observador assintótico com uma frequência de amostragem maior que a da câmera; e filtro de Kalman.

Aplicação de Inteligência Computacional para a Solução de Problemas Inversos de Transferência Radiativa em Meios Participantes Unidimensionais

Esta pesquisa consiste na solução do problema inverso de transferência radiativa para um meio participante (emissor, absorvedor e/ou espalhador) homogêneo unidimensional em uma camada, usando-se a combinação de rede neural artificial (RNA) com técnicas de otimização. A saída da RNA, devidamente treinada, apresenta os valores das propriedades radiativas [ω, τ0, ρ1 e ρ2] que são otimizadas através das seguintes técnicas: Particle Collision Algorithm (PCA), Algoritmos Genéticos (AG), Greedy Randomized Adaptive Search Procedure (GRASP) e Busca Tabu (BT). Os dados usados no treinamento da RNA são sintéticos, gerados através do problema direto sem a introdução de ruído. Os resultados obtidos unicamente pela RNA, apresentam um erro médio percentual menor que 1,64%, seria satisfatório, todavia para o tratamento usando-se as quatro técnicas de otimização citadas anteriormente, os resultados tornaram-se ainda melhores com erros percentuais menores que 0,04%, especialmente quando a otimização é feita por AG.

Modelagem automática de sistemas fuzzy utilizando otimização por enxame de partículas.

Esta dissertaçãoo investiga a utilização de Particle Swarm Optimization (PSO) para a obtenção automática de sistemas fuzzy do tipo Mamdani, tendo como insumo apenas as definições das variáveis do problema, seus domínios e a função objetivo. Neste trabalho utilizam-se algumas técnicas conhecidas na tentativa de minimizar a obtenção de sistemas fuzzy que não sejam coerentes. As principais técnicas usadas são o método de Wang e Mendell, chamado de WM, para auxiliar na obtenção de regras, e os conceitos de clusterização para obtenção das funções de pertinência. Na função de avaliação proposta, considera-se não somente a acurácia do sistema fuzzy, através da medida do erro, mas também a sua interpretabilidade, através da medida da compacidade, que consiste da quantidade de regras e funções membro, da distinguibilidade, que permite evitar que as funções membro não se confundam, e da completude, que permite avaliar que as funções membro abranjam o máximo do domínio. O propósito deste trabalho consiste no desenvolvimento de um algoritmo baseado em PSO, cuja função de avaliação congregue todos esses objetivos. Com parâmetros bem definidos, o algoritmo pode ser utilizado em diversos tipos de problemas sem qualquer alteração, tornando totalmente automática a obtenção de sistemas fuzzy. Com este intuito, o algoritmo proposto é testado utilizando alguns problemas pré-selecionados, que foram classificados em dois grupos, com base no tipo de função: contínua ou discreta. Nos testes com funções contínuas, são utilizados sistemas tridimensionais, com duas variáveis de entrada e uma de saída, enquanto nos testes com funções discretas são utilizados problemas de classificação, sendo um com quatro variáveis e outro com seis variáveis de entrada. Os resultados gerados pelo algoritmo proposto são comparados com aqueles obtidos em outros trabalhos.

Planejamento de recursos hídricos de áreas rurais degradadas: aplicação do modelo SWAT em bacia hidrográfica experimental na região Noroeste do Estado do Rio de Janeiro.

A degradação ambiental do Noroeste do Estado do Rio de Janeiro tem se intensificado nas últimas décadas devido às práticas agrícolas não preservacionistas. Esta situação, que decorre do uso inadequado do solo, tem implicado em mudanças na oferta hídrica em grau variável nos municípios da região com prejuízos econômicos nas atividades dos pequenos e médios proprietários rurais e na qualidade de vida. A abordagem para enfrentar problemas deste tipo depende da participação efetiva das instâncias de governo e dos órgãos responsáveis pela gestão dos recursos hídricos. No âmbito da hidrologia os modelos hidrológicos com base no uso e ocupação do solo são ferramentas que podem auxiliar com ótimo custo e benefício a geração de informações em bacias hidrográficas, instrumentadas ou não. Os modelos são úteis ao planejamento e à tomada de decisão por possibilitarem a previsão de vazões e simulação de cenários sobre o uso do solo e qualidade da água. Neste sentido, o presente estudo pretende dar sua contribuição ao avaliar a adequabilidade do modelo SWAT simular o processo chuva-vazão na microbacia experimental de Santa Maria e Cambiocó, com 13,5 km2, localizada na região hidrográfica do rio Muriaé, afluente do rio Paraíba do Sul. O SWAT tem sido empregado em bacias agrícolas nos EUA, na Europa e, atualmente, na China, sudeste asiático e Irã, entre outros países, e na última década maior inserção no meio acadêmico brasileiro. A versão 2005 do modelo foi utilizada por meio da sua interface SIG para simular as vazões médias diárias com base na precipitação medida no intervalo de 15 minutos no período de 2005/2006. As vazões simuladas foram comparadas com as vazões observadas no exutório da microbacia. Foram testadas as ferramentas de análise de sensibilidade e autocalibração. O método de calibração manual foi usado para o ajuste por tentativa e erro. Os parâmetros ajustados corresponderam ao CN2 e ESCO. Os valores obtidos na calibração para os coeficientes estatísticos R2, NSE, PBIAS e RSR foram 0,80, 0,80, 7,02 e 0,45, respectivamente, indicando escore muito bom, o que foi confirmado pela inspeção dos hidrogramas. As saídas validadas para período diferente da calibração forneceram para os mesmos coeficientes os valores 0,84, 0,80, 25,92 e 0,44. Os dois primeiros, com escore muito bom. O valor de PBIAS, no limite do satisfatório, e RSR, muito bom. O desempenho permitiu concluir que a simulação com o SWAT foi adequada. Em relação às pesquisas que têm sido realizadas no Brasil os valores obtidos para os indicadores foram semelhantes, indicando a capacidade do modelo para novos estudos nesta microbacia que considerem os usos consuntivos e cenários de uso do solo.

Pegada hídrica de aglomerados subnormais: o caso do Bairro Rocinha / Rio de Janeiro.

A água é essencial à manutenção da vida. No entanto, com as situações de estresse hídrico - disponibilidade hídrica inferior a 1.700 m per capita ao ano (FALKENMARK, 1989) - vivenciadas em diversos pontos do planeta, somadas ao acelerado crescimento da população mundial, os problemas relacionados ao uso da água tendem a aumentar. Neste contexto, a pegada hídrica (PH), que é um indicador de sustentabilidade ambiental, se torna uma importante ferramenta de gestão de recursos hídricos pois indica o consumo de água doce com base em seus usos. O presente trabalho objetiva mensurar a pegada hídrica em função das componentes industrial, doméstica e alimentar da população do bairro Rocinha, um aglomerado subnormal localizado no município do Rio de Janeiro. A pesquisa se deteve a um Estudo de Caso de 20 sub-bairros da comunidade. Sua abordagem foi quantitativa, contando com uma amostra de 203 domicílios, erro amostral de 7% e grau de confiança de 93%. Para tal, foi utilizada como ferramenta de cálculo o modelo Water Footprint Network do ano de 2005. Os resultados indicaram que, em média, a PH dos indivíduos que compõem a amostra é de 1715 m/ano per capita assim divididos: PH de consumo doméstico de água de 175 m/ano per capita (479 l/hab.dia); PH de produtos agrícolas igual a 1470 m/ano per capita, e PH de produtos industrializados de 70 m/ano per capita. Os resultados obtidos sugerem que os indivíduos da amostra com uma maior despesa mensal tendem a ter pegadas hídricas industrial e total também maiores.

Inteligência computacional aplicada na geração de respostas impulsivas bi-auriculares e em aurilização de salas

Neste trabalho é apresentada uma nova abordagem para obter as respostas impulsivas biauriculares (BIRs) para um sistema de aurilização utilizando um conjunto de redes neurais artificiais (RNAs). O método proposto é capaz de reconstruir as respostas impulsivas associadas à cabeça humana (HRIRs) por meio de modificação espectral e de interpolação espacial. A fim de cobrir todo o espaço auditivo de recepção, sem aumentar a complexidade da arquitetura da rede, uma estrutura com múltiplas RNAs (conjunto) foi adotada, onde cada rede opera uma região específica do espaço (gomo). Os três principais fatores que influenciam na precisão do modelo arquitetura da rede, ângulos de abertura da área de recepção e atrasos das HRIRs são investigados e uma configuração ideal é apresentada. O erro de modelagem no domínio da frequência é investigado considerando a natureza logarítmica da audição humana. Mais ainda, são propostos novos parâmetros para avaliação do erro, definidos em analogia com alguns dos bem conhecidos parâmetros de qualidade acústica de salas. Através da metodologia proposta obteve-se um ganho computacional, em redução do tempo de processamento, de aproximadamente 62% em relação ao método tradicional de processamento de sinais utilizado para aurilização. A aplicabilidade do novo método em sistemas de aurilização é reforçada mediante uma análise comparativa dos resultados, que incluem a geração das BIRs e o cálculo dos parâmetros acústicos biauriculares (IACF e IACC), os quais mostram erros de magnitudes reduzidas.

Compressão de dados sísmicos com perda controlada

Neste trabalho apresentamos um novo método de compressão, com perda controlada de dados, que tem a vantagem de ter uma taxa significativa de compressão sem introduzir nenhuma perda superior a um parâmetro escolhido pelo usuário. Esta abordagem é uma abordagem mista, pois usa técnicas de compactação de dados tanto com perda quanto sem perda. Isto quer dizer que conseguimos um método que alia as vantagens da alta compressão, sem introduzir distorções indesejáveis nos dados. Mostramos como a massa de dados utilizada nos nossos estudos é obtida e a sua importância na prospecção de depósitos de hidrocarbonetos. É apresentado um levantamento bibliográfico com técnicas de compressão aplicadas a dados sísmicos tipicamente utilizadas em aplicações comerciais. Por fim, apresentamos os resultados da compressão utilizando o método em conjuntos de dados sísmicos reais. Para 1% de erro, os arquivos de dados sísmicos compactados passaram a ter algo próximo a 25% de seus tamanhos originais, o que representa um fator de compressão de aproximadamente 4

As normas referentes às crianças-soldado no Direito Internacional

Este trabalho trata da normatização internacional relativa às crianças-soldado e aborda, sobretudo, a utilização de defesas baseadas em alegações de violação aos princípios da legalidade e em ocorrência de erro de proibição por réus de processos penais do Tribunal Especial para Serra Leoa e do Tribunal Penal Internacional. Diante disso, investiga se a proibição geral ao envolvimento infantil em conflitos armados e as infrações a essa vedação particularmente as condutas de recrutar, alistar e utilizar crianças como soldados integram o Direito Internacional Costumeiro e, em caso positivo, em que momento teria ocorrido a inserção nesse campo. Analisa, igualmente, se o argumento da boa-fé pode ser um elemento de defesa válido naqueles processos, com fundamento no relativismo cultural. Pretende, com isso, esclarecer o processo de criminalização daquelas condutas, além de identificar a posição hierárquica ocupada pelas normas em questão. Para tanto, recorre à verificação da prática estatal e da opinio juris relativas ao tema. Com isso, conclui que o regramento possui natureza costumeira e pertence ao domínio do jus cogens.