Análise dos erros na estimação de gradientes em malhas de Voronoi

Este trabalho apresenta um estudo teórico e numérico sobre os erros que ocorrem nos cálculos de gradientes em malhas não estruturadas constituídas pelo diagrama de Voronoi, malhas estas, formadas também pela triangulação de Delaunay. As malhas adotadas, no trabalho, foram as malhas cartesianas e as malhas triangulares, esta última é gerada pela divisão de um quadrado em dois ou quatro triângulos iguais. Para tal análise, adotamos a escolha de três metodologias distintas para o cálculo dos gradientes: método de Green Gauss, método do Mínimo Resíduo Quadrático e método da Média do Gradiente Projetado Corrigido. O texto se baseia em dois enfoques principais: mostrar que as equações de erros dadas pelos gradientes podem ser semelhantes, porém com sinais opostos, para pontos de cálculos em volumes vizinhos e que a ordem do erro das equações analíticas pode ser melhorada em malhas uniformes quando comparada as não uniformes, nos casos unidimensionais, e quando analisada na face de tais volumes vizinhos nos casos bidimensionais.

IQAFAL - Índice Fuzzy de Qualidade de Água para Ambiente Lótico.

A divulgação de informação sobre qualidade das águas para um público não especialista é fundamental para subsidiar ações políticas e institucionais de gestão dos ambientes aquáticos. Para tanto, índices de qualidade de água têm sido propostos por serem capazes de sintetizar em um único valor ou categoria a informação normalmente descrita a partir de um conjunto extenso de variáveis químicas, físicas e biológicas de qualidade de água. A maioria das metodologias propostas para o desenvolvimento de índices de qualidade de água é baseada no conhecimento de especialistas quanto à escolha das variáveis a serem utilizadas, a ponderação da importância relativa de cada variável e métodos utilizados para agregar os dados das variáveis em um único valor. Este trabalho propõe um novo índice de qualidade de água, baseado em lógica nebulosa e direcionado para o ambiente lótico. Esse índice, o IQAFAL, foi desenvolvido com a colaboração de especialistas com ampla e comprovada experiência na área de qualidade de água. A essência do desenvolvimento de um índice, usando-se lógica nebulosa, está na capacidade dessa metodologia representar, de forma mais eficiente e clara, os limites dos intervalos de variação dos parâmetros de qualidade de água para um conjunto de categorias subjetivas, quando esses limites não são bem definidos ou são imprecisos. O índice proposto neste trabalho foi desenvolvido com base no conhecimento dos especialistas em qualidade de água do Instituto Estadual do Ambiente - INEA e aplicado aos dados de qualidade de água do Rio Paraíba do Sul, obtidos pelo INEA, nos anos de 2002 a 2009. Os resultados do IQAFAL mostraram que esse índice foi capaz de sintetizar a qualidade da água deste trecho do Rio Paraíba do Sul correspondendo satisfatoriamente às avaliações de qualidade de água descritas nos relatórios disponíveis. Verificou-se também que com essa metodologia foi possível evitar que a influência de uma variável em condições críticas fosse atenuada pela influência das outras variáveis em condições favoráveis produzindo um resultado indesejável no índice final.

Biogeografia e sistemática dos peixes aulopiformes

Os Aulopiformes são peixes marinhos com amplitude temporal do Eocretáceo ao Recente. Os táxons fósseis são encontrados em depósitos sedimentares das Américas do Sul e do Norte, Europa, Ásia e África. Os representantes viventes podem ser encontrados desde águas rasas costeiras, estuários, até profundidades abissais, excedendo 3.000 m. Os limites do grupo, suas intra e inter-relações são objeto de muitos estudos. O objetivo central desta tese é aplicar métodos de Biogeografia Histórica como Panbiogeografia e a Análise de Parcimônia de Endemismos aos peixes Aulopiformes. Adicionalmente, foi realizada a análise filogenética dos Aulopiformes. Como resultado foram obtidos: 21 traços generalizados de Synodontoidei, 28 de Chlorophthalmoidei, 3 de Giganturoidei e 7 de Enchodontoidei. O clado Synodontoidei apresenta um padrão de distribuição primordialmente em águas tropicais e subtropicais, associado à borda de placas tectônicas e ao tipo de substrato. O clado Chlorophthalmoidei apresenta padrões de distribuição associados a cadeias de montanhas submarinas e corais de profundidade. O clado Giganturoidei possui uma distribuição vicariante com a família Giganturidae ocupando águas mais quentes e Bathysauridae as regiões mais frias. O clado Enchodontoidei foi associado a recifes de coral e zonas de ressurgência pretéritos. Adicionalmente, foi analisada uma matriz de dados com 84 táxons e 105 caracteres morfológicos não ordenados e sem pesagem a priori. Como resultado foram obtidas sete árvores igualmente parcimoniosas com 1214 passos, índice de consistência de 0,1129 e índice de retenção de 0,4970. A ordem Aulopiformes não constituiu um grupo monofilético, com as famílias Chlorophthalmidae, Notosudidae, Synodontidae, Paraulopidae, Pseudotrichonotidae e Ipnopidae mais proximamente relacionados ao Myctophidea que aos Alepisauroidei. Assim a partir da combinação dos resultados alcançados conclui-se que a Biogeografia Histórica funcionou como uma ferramenta na identificação dos problemas taxonômicos dos Aulopiformes e a sua análise filogenética permitiu identificar controvérsias sistemáticas, indicando que são necessários maiores estudos sobre a anatomia dos aulopiformes, a fim de esclarecer suas inter-relações.

Apoio social e índice de massa corporal: um estudo de base populacional

A obesidade é uma condição de saúde que representa risco para uma série de mudanças fisiológicas e sociais ao indivíduo. O aumento de sua prevalência tanto no mundo quanto na população brasileira é considerado como um dos maiores problemas de saúde pública. A obesidade é associada com múltiplos fatores, como biológicos, individuais, ambientais e sociais, e a importância dos fatores sociais vêm sendo largamente discutida. O apoio social, que possui como uma de suas definições, a percepção de recursos disponibilizados por outros indivíduos no auxílio ao enfrentamento de situações adversas é um dos fatores sociais associados com obesidade e outros desfechos de saúde. Este constructo é um fator amplamente documentado que vem se mostrando ligado a vários desfechos de saúde nos últimos trinta anos, no entanto, existe uma lacuna sobre sua relação com o índice de massa corporal. Dessa forma, o presente estudo tem como objetivo estudar avaliar a associação entre as dimensões de apoio social e o IMC em indivíduos residentes no município de Duque de Caxias. A variável desfecho foi o IMC e as variáveis independentes, as quatro dimensões do apoio social (afetiva, material, emocional/informação e de interação social positiva). O estudo foi composto por uma amostra de 1465 indivíduos, entre 20 e 59 anos de idade, oriundos de uma pesquisa transversal de base populacional, chamada Grupo de Pesquisas sobre Segurança Alimentar e Nutricional em Duque de Caxias SANDUC. O IMC foi calculado a partir das aferições de peso e altura realizadas por entrevistadores treinados. O instrumento utilizado para avaliar o apoio social foi elaborado para o Medical Outcomes Study (MOS), tendo sido previamente adaptado para o português e validado para a população brasileira. O modelo estatístico utilizado foi a regressão linear múltipla e as análises foram realizadas através do programa SAS versão 9.3, levando em conta o fator de ponderação e o desenho de amostra complexa. Pouco mais da metade dos indivíduos eram do sexo feminino (54,94%) e a prevalência de obesidade em torno de 27,1% entre as mulheres (IC 95%: 22.4 31.8) e 16,0% (IC 95%: 12.4 19.7) entre os homens. Com relação ao apoio social, a média dos escores das dimensões situou-se entre 84 e 90 pontos, para as mulheres e para os homens, respectivamente. Entre os homens não houve associação estatisticamente significativa entre as dimensões do apoio social e o IMC (apoio afetivo: β= -0.81 e p=0.16; apoio material: β= 0.20 e p=0.72; apoio emocional/informação: β= -0.29 e p=0.61; apoio de interação social positiva: β= -0.23 e p=0.72). Porém, entre as mulheres, tanto o apoio afetivo quanto o apoio de interação social positiva mostraram associação negativa com o IMC (apoio afetivo: β= -1.02 e p=0.04; apoio de interação social positiva: β= -1.18 e p=0.01). O presente estudo sugere que, entre as mulheres, ocorre associação inversa entre o apoio social, especificamente o apoio afetivo e o de interação social positiva, e o índice de massa corporal.

Ação anulatória da sentença arbitral: aspectos e limites

O presente trabalho trata da ação anulatória da sentença arbitral doméstica como importante mecanismo de equilíbrio entre o judiciário e arbitragem, bem como de preservação das garantias fundamentais das partes. Inicialmente, analisa-se o exercício do poder jurisdicional pelos árbitros, bem como a equiparação da sentença arbitral à sentença judicial, o que faz com que aquela possa ser classificada como ato jurídico processual na aplicação da teoria das nulidades. Na sequência o trabalho realiza um estudo sobre os principais aspectos da ação anulatória da sentença arbitral, destacando alguns dos aspectos relevantes sobre as causas de nulidade previstas na lei 9.307/96. Dentre os principais temas relativos ao objeto do estudo, três são destacados para estudo aprofundado: a preservação das garantias fundamentais do processo em contraposição à flexibilidade do procedimento arbitral; o controle da violação à ordem pública; e os limites da atuação judicial na análise da demanda anulatória. A fim de garantir maiores subsídios para a pesquisa, realiza-se um estudo comparado em quatro países de culturas diferentes no que tange ao controle judicial da arbitragem (Portugal, França, Inglaterra e Estados Unidos). Por fim, os temas escolhidos são analisados à luz da doutrina e jurisprudência brasileiras, com inserções colhidas do estudo do direito comparado a fim de bem analisar a problemática. O objetivo do trabalho é demonstrar a importância da ação anulatória como meio de controle da sentença arbitral, através da ponderação da autonomia da vontade das partes e a liberdade contratual com a preservação da ordem pública a das garantias fundamentais do processo justo.

Hardware Reconfigurável para Controladores Nebulosos.

Controle de processos é uma das muitas aplicações que aproveitam as vantagens do uso da teoria de conjuntos nebulosos. Nesse tipo de aplicação, o controlador é, geralmente, embutido no dispositivo controlado. Esta dissertação propõe uma arquitetura reconfigurável eficiente para controladores nebulosos embutidos. A arquitetura é parametrizável, de tal forma, que permite a configuração do controlador para que este possa ser usado na implementação de qualquer aplicação ou modelo nebuloso. Os parâmetros de configuração são: o número de variáveis de entrada (N); o número de variáveis de saída (M); o número de termos linguísticos (Q); e o número total de regras (P). A arquitetura proposta proporciona também a configuração das características que definem as regras e as funções de pertinência de cada variável de entrada e saída, permitindo a escalabilidade do projeto. A composição das premissas e consequentes das regras são configuráveis, de acordo com o controlador nebuloso objetivado. A arquitetura suporta funções de pertinência triangulares, mas pode ser estendida para aceitar outras formas, do tipo trapezoidal, sem grandes modificações. As características das funções de pertinência de cada termo linguístico, podem ser ajustadas de acordo com a definição do controlador nebuloso, permitindo o uso de triângulos. Virtualmente, não há limites máximos do número de regras ou de termos linguísticos empregados no modelo, bem como no número de variáveis de entrada e de saída. A macro-arquitetura do controlador proposto é composta por N blocos de fuzzificação, 1 bloco de inferência, M blocos de defuzzificação e N blocos referentes às características das funções de pertinência. Este último opera apenas durante a configuração do controlador. A função dos blocos de fuzzificação das variáveis de entrada é executada em paralelo, assim como, os cálculos realizados pelos blocos de defuzzificação das variáveis de saída. A paralelização das unidades de fuzzificação e defuzzificação permite acelerar o processo de obtenção da resposta final do controlador. Foram realizadas várias simulações para verificar o correto funcionamento do controlador, especificado em VHDL. Em um segundo momento, para avaliar o desempenho da arquitetura, o controlador foi sintetizado em FPGA e testado em seis aplicações para verificar sua reconfigurabilidade e escalabilidade. Os resultados obtidos foram comparados com os do MATLAB em cada aplicação implementada, para comprovar precisão do controlador.

Direito do proprietário do imóvel versus direito do terceiro de boa-fé: princípios e critérios que devem orientar a correta aplicação do artigo 1.247, parágrafo único, do código civil

O presente estudo procura estabelecer critérios para orientar as decisões sobre conflitos surgidos entre os verdadeiros proprietários de imóveis e terceiros de boa-fé. A partir da evolução do conceito de propriedade, do individualismo liberal da era moderna ao feixe de direitos, deveres e poderes jurídicos de uma relação jurídica complexa nos dias atuais, destaca-se a importância do registro de imóveis e da publicidade que lhe é inerente para a segurança das transações imobiliárias e a proteção de interesses individuais e coletivos. Considerando a prevalência dos valores existenciais sobre os patrimoniais e tendo por referência o princípio supremo da dignidade da pessoa humana, são sugeridos, como critérios de ponderação, a posse e a função social da propriedade, a boa-fé, a usucapião e a teoria da aparência. Examina-se, assim, a possibilidade de flexibilizar a norma que faculta ao proprietário o direito de reivindicar o imóvel independentemente da boa-fé do terceiro adquirente, se o registro for cancelado, discutindo-se ainda as soluções encontradas pela doutrina e pela jurisprudência para o problema proposto.

Elementos finitos em fluidos dominados pelo fenômeno de advecção: um método semi-Lagrangeano.

Os escoamentos altamente convectivos representam um desafio na simulação pelo método de elementos finitos. Com a solução de elementos finitos de Galerkin para escoamentos incompressíveis, a matriz associada ao termo convectivo é não simétrica, e portanto, a propiedade de aproximação ótima é perdida. Na prática as soluções apresentam oscilações espúrias. Muitos métodos foram desenvolvidos com o fim de resolver esse problema. Neste trabalho apresentamos um método semi- Lagrangeano, o qual é implicitamente um método do tipo upwind, que portanto resolve o problema anterior, e comparamos o desempenho do método na solução das equações de convecção-difusão e Navier-Stokes incompressível com o Streamline Upwind Petrov Galerkin (SUPG), um método estabilizador de reconhecido desempenho. No SUPG, as funções de forma e de teste são tomadas em espaços diferentes, criando um efeito tal que as oscilações espúrias são drasticamente atenuadas. O método semi-Lagrangeano é um método de fator de integração, no qual o fator é um operador de convecção que se desloca para um sistema de coordenadas móveis no fluido, mas restabelece o sistema de coordenadas Lagrangeanas depois de cada passo de tempo. Isto prevê estabilidade e a possibilidade de utilizar passos de tempo maiores.Existem muitos trabalhos na literatura analisando métodos estabilizadores, mas não assim com o método semi-Lagrangeano, o que representa a contribuição principal deste trabalho: reconhecer as virtudes e as fraquezas do método semi-Lagrangeano em escoamentos dominados pelo fenômeno de convecção.