Um método sintético de difusão para aceleração do esquema de fonte de espalhamento em cálculos SN unidimensionais de fonte fixa

O esquema iterativo de fonte de espalhamento (SI) é tradicionalmente aplicado para a convergência da solução numérica de malha fina para problemas de transporte de nêutrons monoenergéticos na formulação de ordenadas discretas com fonte fixa. O esquema SI é muito simples de se implementar sob o ponto de vista computacional; porém, o esquema SI pode apresentar taxa de convergência muito lenta, principalmente para meios difusivos (baixa absorção) com vários livres caminhos médios de extensão. Nesta dissertação descrevemos uma técnica de aceleração baseada na melhoria da estimativa inicial para a distribuição da fonte de espalhamento no interior do domínio de solução. Em outras palavras, usamos como estimativa inicial para o fluxo escalar médio na grade de discretização de malha fina, presentes nos termos da fonte de espalhamento das equações discretizadas SN usadas nas varreduras de transporte, a solução numérica da equação da difusão de nêutrons em grade espacial de malha grossa com condições de contorno especiais, que aproximam as condições de contorno prescritas que são clássicas em cálculos SN, incluindo condições de contorno do tipo vácuo. Para aplicarmos esta solução gerada pela equação da difusão em grade de discretização de malha grossa nas equações discretizadas SN de transporte na grade de discretização de malha fina, primeiro implementamos uma reconstrução espacial dentro de cada nodo de discretização, e então determinamos o fluxo escalar médio em grade de discretização de malha fina para usá-lo nos termos da fonte de espalhamento. Consideramos um número de experimentos numéricos para ilustrar a eficiência oferecida pela presente técnica (DSA) de aceleração sintética de difusão.

Um método de matriz resposta com esquema iterativo de inversão parcial por região para problemas unidimensionais de transporte de nêutrons monoenergéticos na formulação de ordenadas discretas

Um método de matriz resposta (RM) é descrito para gerar soluções numéricas livres de erros de truncamento espacial para problemas de transporte de nêutrons monoenergéticos e com fonte fixa, em geometria unidimensional na formulação de ordenadas discretas (SN). O método RM com esquema iterativo de inversão parcial por região (RBI) converge valores numéricos para os fluxos angulares nas fronteiras das regiões que coincidem com os valores da solução analítica das equações SN, afora os erros de arredondamento da aritmética finita computacional. Desenvolvemos um esquema numérico de reconstrução espacial, que fornece a saída para os fluxos escalares de nêutrons em qualquer ponto do domínio definido pelo usuário, com um passo de avanço também escolhido pelo usuário. Resultados numéricos são apresentados para ilustrar a precisão do presente método em cálculos de malha grossa.

Intimidades: as potências do falso, a falência do esquema sensório-motor e o plano centrífugo num filme de arte

O projeto Intimidades possui dois desdobramentos: um prático, que corresponde a um filme de cinquenta e cinco minutos, e um teórico, que é representado pelo presente texto. O filme pretende ouvir as pessoas que realizam trabalhos considerados desprezíveis na nossa sociedade: são os homens e mulheres do labor, nossos pequenos escravos assalariados. Tendo este objetivo, buscou-se encontrar uma forma plástica (estética) para o filme que conseguisse escapar às determinações do poder, que são representadas pela televisão e pelo cinema comercial. Para tanto, recorreu-se a conceitos e ideias desenvolvidas pelo filósofo Gilles Deleuze e pelo teórico do cinema André Bazin. Conceitos como o de intercessores, de potências do falso, de falência do esquema sensório-motor, de plano centrífugo e de plano sequência foram articulados no presente texto e serviram como base teórica para se encontrar a forma do filme. Neste movimento entre a teoria e a prática, o projeto Intimidades colocou o pensamento da filosofia em contato com o campo extra-filosófico da arte, através do exemplo prático do filme

Método numérico de Matriz Resposta acoplado a um esquema de reconstrução espacial analítica para cálculos unidimensionais de transporte de nêutrons na formulação de ordenadas discretas multigrupo de energia com fonte fixa

Um método de Matriz Resposta (MR) é descrito para gerar soluções numéricas livres de erros de truncamento espacial para problemas multigrupo de transporte de nêutrons com fonte fixa e em geometria unidimensional na formulação de ordenadas discretas (SN). Portanto, o método multigrupo MR com esquema iterativo de inversão nodal parcial (NBI) converge valores numéricos para os fluxos angulares nas fronteiras das regiões que coincidem com os valores da solução analítica das equações multigrupo SN, afora os erros de arredondamento da aritmética finita computacional. É também desenvolvido um esquema numérico de reconstrução espacial, que fornece a saída para os fluxos escalares de nêutrons em cada grupo de energia em um intervalo qualquer do domínio definido pelo usuário, com um passo de avanço também escolhido pelo usuário. Resultados numéricos são apresentados para ilustrar a precisão do presente método em cálculos de malha grossa.

Estudo da efetividade e segurança de um novo esquema posológico da solução saturada de iodeto de potássio no tratamento da esporotricose linfocutânea e cutânea fixa

Fundamentos: A primeira escolha para o tratamento da esporotricose cutânea é o itraconazol oral, contudo o aumento de casos ocorridos numa epidemia de transmissão zoonótica fez com que se buscassem alternativas efetivas e seguras de tratamento. Objetivo: Avaliar uma nova posologia do iodeto de potássio (KI) como alternativa para o tratamento das formas cutâneas limitadas da esporotricose. Métodos: Foram incluídos 102 pacientes com esporotricose, diagnosticados através do isolamento do Sporothrix sp. e divididos em dois grupos que receberam doses diferentes de KI: grupo A recebeu a dose anterior (média 4,83g/dia) e grupo B, a dose reduzida (média 2,52g/dia). Os critérios de cura se basearam em dados clínicos e sorológicos. Resultados: Setenta e nove pacientes (77,4%) obtiveram cura clínica, 70,6 e 84,3% respectivamente nos grupos A e B. Dezesseis pacientes (15,6%) perderam o seguimento e sete trocaram de medicamento: cinco no grupo A e dois no grupo B. A incidência de eventos adversos foi a mesma nos dois grupos (64,7%) com predomínio do gosto metálico (44%), seguido por intolerância gastrointestinal leve e erupção acneiforme (10,7% cada). Nenhum evento adverso grave ocorreu e não houve recidivas. A análise dos desfechos não demonstrou diferença estatisticamente significativa entre os grupos (p=0,9255). A melhora dos títulos sorológicos foi significativa em ambos grupos. Conclusões: O iodeto de potássio, sob a forma de solução saturada, administrado em dose e frequência reduzidas, pode ser usado como alternativa efetiva e segura para o tratamento da esporotricose cutânea. Através de análises estatísticas, a posologia habitual não demonstrou ser superior à proposta por este estudo. A sorologia para esporotricose pode ser utilizada como ferramenta valiosa para acompanhamento clínico destes pacientes.

Simulação do processo de transferência de calor não linear condução-radiação por meio de um esquema linear em diferenças finitas.

Neste trabalho o processo não linear de transmissão de calor condução-radiação é abordado num contexto bidimensional plano e simulado com o uso de um esquema linear em diferenças finitas. O problema original é tratado como o limite de uma sequencia de problemas lineares, do tipo condução-convecção. Este limite, cuja existência é comprovada, é facilmente obtido a partir de procedimentos básicos, accessíveis a qualquer estudante de engenharia, permitindo assim o emprego de hipóteses mais realistas, já que não se tem o limitante matemático para a abordagem numérica de uma equação diferencial parcial elíptica. Neste trabalho foi resolvido o problema de condução de calor em regime permanente em uma placa com condições de contorno convectivas e radioativas utilizando-se o software MatLab, vale ressaltar, que a mesma metodologia é aplicável para geometrias mais complexas.

Um esquema de Fourier local para análise tempo-frequência de sinais não-estacionários aplicado a ruído eletroquímico

Sinais diversos estão presentes em nosso cotidiano, assim como nas medidas realizadas nas atividades de ciência e tecnologia. Dentre estes sinais, tem grande importância tecnológica aqueles associados à corrosão de estruturas metálicas. Assim, esta tese propõe o estudo de um esquema local de transformada de Fourier janelada, com a janela variando em função da curtose, aplicada a sinais de ruído eletroquímico. A curtose foi avaliada nos domínios do tempo e da frequência e processada pelo programa desenvolvido para esse fim. O esquema foi aplicado a sinais de ruído eletroquímico dos aços UNS S31600, UNS G10200 e UNS S32750 imersos em três soluções: FeCl3 0,1 mol=L (cloreto férrico), H2SO4 5%(ácido sulfúrico) e NaOH 0,1%(hidróxido de sódio). Para os aços inoxidáveis, estas soluções promovem corrosão localizada, uniforme e passivação, respectivamente. Visando testar o desempenho do esquema de Fourier desenvolvido, testes foram realizados utilizando-se inicialmente sinais sintéticos e em seguida sinais de ruído eletroquímico. Notou-se que os sinais têm características de não-estacionaridade e a maior parte da energia está presente em baixa frequência. Os intervalos de tempo e de frequência onde se concentra a maior parte da energia do sinal foram correlacionados. Para os picos máximos dos sinais de potencial e corrente obtidos de amperimetria de resistência nula, a correlação entre eles foi baixa, independente da forma de corrosão presente. Conclui-se que o método se adaptou bastante bem às características locais do sinal eletroquímico permitindo o monitoramento dos espectros tempo-frequência. O fato de ser sensível às características locais do sinal permite analisar aspectos dos sinais que do modo clássico não podem ser diretamente processados. O método da transformada de Fourier janelada variável (Variable Short-Time Fourier Transform - VSTFT) adaptou-se muito bem no monitoramento dos sinais originados de potencial de circuito aberto e amperimetria de resistência nula.

PUVA X catarata : revisão sistemática da literatura

A fim de se encontrar as evidências sobre a ocorrência de catarata em pacientes submetidos a PUVA terapia, realizou-se uma revisão sistemática da literatura publicada, utilizando-se as bases de dados MEDLINE, LILACS, Cochrane Library, Excerpta Medica e o programa MICROMEDEX. Foram elaboradas estratégias de busca para cada base de dados. Após aplicação dos critérios de seleção definidos, incluíram-se 30 artigos que representavam 21 estudos que abordavam o tema. Os dados de cada estudo foram recolhidos a partir de um formulário de coleta criado para este fim. A avaliação da qualidade dos estudos se deu por classificação das evidências em categorias e posterior relação destas categorias com a força de recomendação das evidências para a prática clínica, de acordo com critérios previamente publicados. Ainda, elaborou-se um esquema de classificação de qualidade específico para os estudos incluídos. Realizou-se análise estatística dos dados apresentados através de análise de sobrevida, utilizando-se o modelo de Cox de hazards proporcionais. As evidências publicadas das bases de dados, capturadas pelas estratégias de busca e selecionadas pelos critérios de inclusão e exclusão não são suficientes para se afirmar se a catarata pode ou não ser uma reação adversa a PUVA terapia. Não foi possível, também, encontrar um modelo matemático que pudesse indicar relação entre as variáveis explicativas e a função de hazards.

Estimativa do erro de discretização analítico na solução de equações diferenciais utilizando o Método de Volumes Finitos

As análises de erros são conduzidas antes de qualquer projeto a ser desenvolvido. A necessidade do conhecimento do comportamento do erro numérico em malhas estruturadas e não-estruturadas surge com o aumento do uso destas malhas nos métodos de discretização. Desta forma, o objetivo deste trabalho foi criar uma metodologia para analisar os erros de discretização gerados através do truncamento na Série de Taylor, aplicados às equações de Poisson e de Advecção-Difusão estacionárias uni e bidimensionais, utilizando-se o Método de Volumes Finitos em malhas do tipo Voronoi. A escolha dessas equações se dá devido a sua grande utilização em testes de novos modelos matemáticos e função de interpolação. Foram usados os esquemas Central Difference Scheme (CDS) e Upwind Difference Scheme(UDS) nos termos advectivos. Verificou-se a influência do tipo de condição de contorno e a posição do ponto gerador do volume na solução numérica. Os resultados analíticos foram confrontados com resultados experimentais para dois tipos de malhas de Voronoi, uma malha cartesiana e outra triangular comprovando a influência da forma do volume finito na solução numérica obtida. Foi percebido no estudo que a discretização usando o esquema CDS tem erros menores do que a discretização usando o esquema UDS conforme literatura. Também se percebe a diferença nos erros em volumes vizinhos nas malhas triangulares o que faz com que não se tenha uma uniformidade nos gráficos dos erros estudados. Percebeu-se que as malhas cartesianas com nó no centróide do volume tem menor erro de discretização do que malhas triangulares. Mas o uso deste tipo de malha depende da geometria do problema estudado

Restituição fotogramétrica segundo o padrão da estruturação de dados Geoespaciais Vetoriais no ambiente E-FOTO.

No mês de outubro de 2007 a Comissão Nacional de Cartografia (CONCAR) lançou uma norma cartográfica composta de especificações técnicas para Estruturação de Dados Geoespaciais Digitais Vetoriais (EDGV) para a realização do mapeamento topográfico sistemático no Brasil. No mês de novembro de 2008 foi publicado o Decreto n 6666, que institui a Infra-Estrutura Nacional de Dados Espaciais e ratifica o uso das normas homologadas pela CONCAR, pelas instituições Federais. Este trabalho realiza dois requisitos, a saber: (a) fornece um esquema relacional alinhado as especificações da EDGV e (b) implementa um protótipo, com vistas a sua utilização no processo de restituição fotogramétrica nas instituições públicas responsáveis pelo mapeamento topográfico no Brasil. A implementação é realizada em ambiente de software livre. Também é importante salientar o caráter educacional da plataforma de software a ser implementada, para que o seu uso seja também direcionado para o ensino teórico e prático da fotogrametria digital nas instituições de ensino e pesquisa.

Hermenêutica institucional, supremacia judicial e democracia

A presente tese pretende estudar dois modelos de função judicial o perfeccionismo (perfectionism) e o minimalismo (minimalism) judicial delineados por Cass Sunstein, destacando os seus fundamentos filosóficos, suas principais teses hermenêuticas, suas limitações decisórias e suas contribuições para o desenho institucional das relações entre os Poderes de Estado. O presente trabalho desenvolverá, neste sentido, duas perspectivas fundamentais, que são complementares, para o estudo das relações entre o constitucionalismo e a democracia nos sistemas político-jurídicos contemporâneos: em primeiro lugar, uma perspectiva hermenêutica, cuja preocupação reside, sobretudo, na sistematização das principais teses de cada um dos dois modelos no tocante à interpretação do texto constitucional. Em segundo lugar, será realizada uma abordagem institucionalista sobre as possíveis alternativas ao protagonismo do Supremo Tribunal Federal em termos de sua atuação como última instância na definição do significado dos dispositivos constitucionais. Para tanto, serão analisados, com apoio em um estudo comparativo, propostas de diálogo institucional que podem ser fomentadas a partir de uma visão minimalista de moderação judicial que contrasta, por sua vez, com a defesa hegemônica de uma atuação institucional ativista das cortes constitucionais na atualidade. Por último, com apoio nos modelos de função judicial delineados, será elaborada uma análise crítica da atividade jurisdicional dos ministros do Supremo Tribunal Federal com fundamento no exame da argumentação empreendida em seus votos em casos constitucionais difíceis de grande repercussão política, moral e social.

Avaliação de correlações para propriedades físico-químicas de frações de petróleo

O petróleo é uma mistura complexa consistindo em um número muito grande de hidrocarbonetos. A descrição completa de todos os hidrocarbonetos existentes nessas misturas é inviável experimentalmente ou consome tempo excessivo em simulações computacionais. Por esta razão, uma abordagem molecular completa para cálculos de propriedades dessas misturas é substituído por uma abordagem pseudo-componente ou por correlações entre propriedades macroscópicas. Algumas dessas propriedades são utilizadas de acordo com a regulamentação de venda de combustíveis, e.g., para gasolina. Dependendo do esquema de refino e do óleo cru utilizado para produção desse combustível, uma larga variedade de valores é encontrada para as propriedades de correntes de processo que compõe o combustível final. A fim de planejar com precisão adequada a mistura dessas correntes, modelos devem estar disponíveis para o cálculo preciso das propriedades necessárias. Neste trabalho, oito séries de combustíveis brasileiros e duas séries de combustíveis estrangeiros foram analisadas: frações de gasolina, querosene, gasóleo e diesel. As propriedades analisadas para as frações são: número de octano, teor de aromáticos, teor de enxofre, índice de refração, densidade, ponto de fulgor, ponto de fluidez, ponto de congelamento, ponto de névoa, ponto de anilina, pressão de vapor Reid e número de cetano. Diversas correlações foram avaliadas e os melhores desempenhos foram destacados, permitindo uma estimação precisa das propriedades do combustível avaliado. Um processo de re-estimação de parâmetros foi aplicado e novos modelos foram ajustados em comparação com os dados experimentais. Esta estratégia permitiu uma estimativa mais exata das propriedades analisadas, sendo verificada por um aumento considerável no desempenho estatístico dos modelos. Além disso, foi apresentado o melhor modelo para cada propriedade e cada série

Proposição e análise de modelos híbridos para o problema de escalonamento de produção em oficina de máquinas

Nas últimas décadas, o problema de escalonamento da produção em oficina de máquinas, na literatura referido como JSSP (do inglês Job Shop Scheduling Problem), tem recebido grande destaque por parte de pesquisadores do mundo inteiro. Uma das razões que justificam tamanho interesse está em sua alta complexidade. O JSSP é um problema de análise combinatória classificado como NP-Difícil e, apesar de existir uma grande variedade de métodos e heurísticas que são capazes de resolvê-lo, ainda não existe hoje nenhum método ou heurística capaz de encontrar soluções ótimas para todos os problemas testes apresentados na literatura. A outra razão basea-se no fato de que esse problema encontra-se presente no diaa- dia das indústrias de transformação de vários segmento e, uma vez que a otimização do escalonamento pode gerar uma redução significativa no tempo de produção e, consequentemente, um melhor aproveitamento dos recursos de produção, ele pode gerar um forte impacto no lucro dessas indústrias, principalmente nos casos em que o setor de produção é responsável por grande parte dos seus custos totais. Entre as heurísticas que podem ser aplicadas à solução deste problema, o Busca Tabu e o Multidão de Partículas apresentam uma boa performance para a maioria dos problemas testes encontrados na literatura. Geralmente, a heurística Busca Tabu apresenta uma boa e rápida convergência para pontos ótimos ou subótimos, contudo esta convergência é frequentemente interrompida por processos cíclicos e a performance do método depende fortemente da solução inicial e do ajuste de seus parâmetros. A heurística Multidão de Partículas tende a convergir para pontos ótimos, ao custo de um grande esforço computacional, sendo que sua performance também apresenta uma grande sensibilidade ao ajuste de seus parâmetros. Como as diferentes heurísticas aplicadas ao problema apresentam pontos positivos e negativos, atualmente alguns pesquisadores começam a concentrar seus esforços na hibridização das heurísticas existentes no intuito de gerar novas heurísticas híbridas que reúnam as qualidades de suas heurísticas de base, buscando desta forma diminuir ou mesmo eliminar seus aspectos negativos. Neste trabalho, em um primeiro momento, são apresentados três modelos de hibridização baseados no esquema geral das Heurísticas de Busca Local, os quais são testados com as heurísticas Busca Tabu e Multidão de Partículas. Posteriormente é apresentada uma adaptação do método Colisão de Partículas, originalmente desenvolvido para problemas contínuos, onde o método Busca Tabu é utilizado como operador de exploração local e operadores de mutação são utilizados para perturbação da solução. Como resultado, este trabalho mostra que, no caso dos modelos híbridos, a natureza complementar e diferente dos métodos Busca Tabu e Multidão de Partículas, na forma como são aqui apresentados, da origem à algoritmos robustos capazes de gerar solução ótimas ou muito boas e muito menos sensíveis ao ajuste dos parâmetros de cada um dos métodos de origem. No caso do método Colisão de Partículas, o novo algorítimo é capaz de atenuar a sensibilidade ao ajuste dos parâmetros e de evitar os processos cíclicos do método Busca Tabu, produzindo assim melhores resultados.

Controle por modo deslizante para sistemas não-lineares com atraso.

Nesta Dissertação são propostos dois esquemas de controle para sistemas não-lineares com atraso. No primeiro, o objetivo é controlar uma classe de sistemas incertos multivariáveis, de grau relativo unitário, com perturbações não-lineares descasadas dependentes do estado, e com atraso incerto e variante no tempo em relação ao estado. No segundo, deseja-se controlar uma classe de sistemas monovariáveis, com parâmetros conhecidos, grau relativo arbitrário, atraso arbitrário conhecido e constante na saída. Admitindo-se que o atraso na entrada pode ser deslocado para a saída, então, o segundo esquema de controle pode ser aplicado a sistemas com atraso na entrada. Os controladores desenvolvidos são baseados no controle por modo deslizante e realimentação de saída, com função de modulação para a amplitude do sinal de controle. Além disso, observadores estimam as variáveis de estado não-medidas. Em ambos os esquemas de controle propostos, garante-se propriedades de estabilidade globais do sistema em malha fechada. Simulações ilustram a eficácia dos controladores desenvolvidos.

Dimensões do ativismo judicial no Supremo Tribunal Federal

Considerando que o ativismo judicial é uma realidade contemporânea da prática decisória do Supremo Tribunal Federal, como melhor explicar sua recente ascensão e, principalmente, como identificar as decisões ativistas da Corte? Este trabalho é dedicado a investigar o ativismo judicial do Supremo Tribunal Federal de modo a tornar possível responder a essas perguntas. Nele são examinadas as práticas ativistas de importantes cortes constitucionais ou supremas cortes, principalmente a norte-americana, com o propósito de extrair lições para a elaboração de uma definição abrangente do ativismo judicial e para a montagem de um esquema explicativo e categorizador das decisões ativistas. As conclusões são por uma explicação multifacetada e por uma identificação multidimensional do ativismo judicial. Aplicando essas premissas sobre a realidade decisória do Supremo, é verificado que seu ativismo judicial responde a um conjunto de fatores institucionais, sociopolíticos e jurídico-culturais que se desenvolveram gradualmente a partir da Constituição de 1988. E, principalmente, que é possível descrever cinco dimensões de manifestação de seu ativismo judicial: metodológico (interpretativo); processual; estrutural (horizontal); de direitos; antidialógico.