Um algoritmo em paralelo para solução de equações diferenciais evolutivas

Este trabalho que envolve matemática aplicada e processamento paralelo: seu objetivo é avaliar uma estratégia de implementação em paralelo para algoritmos de diferenças finitas que aproximam a solução de equações diferenciais de evolução. A alternativa proposta é a substituição dos produtos matriz-vetor efetuados sequencialmente por multiplicações matriz-matriz aceleradas pelo método de Strassen em paralelo. O trabalho desenvolve testes visando verificar o ganho computacional relacionado a essa estratégia de paralelização, pois as aplicacações computacionais, que empregam a estratégia sequencial, possuem como característica o longo período de computação causado pelo grande volume de cálculo. Inclusive como alternativa, nós usamos o algoritmo em paralelo convencional para solução de algoritmos explícitos para solução de equações diferenciais parciais evolutivas no tempo. Portanto, de acordo com os resultados obtidos, nós observamos as características de cada estratégia em paralelo, tendo como principal objetivo diminuir o esforço computacional despendido.

Celtib. 'karuo gortika' "amicitiae favor", 'rita' "ofrecida", 'monima' "recuerdo" y los formularios de las inscripciones celtibéricas

Este trabajo refleja parte de una ponencia presentada el 27-7-2000 en el marco del curso de arqueología de la Fundación Duques de Soria, dirigido por los profesores G. Ruiz Zapatero y A. Jimeno Martínez.

A política de dar dinheiro e a política: causas e efeiros das experiências de transferências condicionada no Brasil e no México

O trabalho pretende abordar a evolução das políticas de combate à pobreza a partir da observação das dinâmicas econômicas e políticas de Brasil e México. As maiores experiências de transferência condicionada na América Latina, Bolsa Família e Oportunidades são fruto de um processo de amadurecimento de políticas públicas que se iniciou muito antes da preparação de seus respectivos desenhos de operação. Entre 1988 e 2006 as políticas de combate à pobreza foram ao mesmo tempo conseqüências e causas de importantes alterações na dinâmica política, econômica e social de Brasil e México. Em nível macro, condições históricas de exclusão social, pobreza e restrições fiscais na América Latina tornaram esta uma experiência comum à grande maioria dos países da região. Em nível micro, especificidades nacionais nos processos de liberalização e democratização moldaram o desenho das políticas e suas formas de institucionalização. A partir da análise desses programas ora como variável dependente, ora como variável independente procura-se compreender como dois governos um com maiores tendências conservadoras e o outro, progressistas utilizaram a institucionalização e ampliação de políticas públicas semelhantes e se adaptaram a elas no jogo pela conquista e permanência no poder pós-reformas econômicas e a consolidação da democracia. Após a implantação, ampliação e estabilização no número de beneficiários dos programas de transferência condicionada, o debate em torno das formas de rompimento do ciclo intergeracional da pobreza volta a questões que nas últimas décadas haviam sido deixadas de lado em alguma medida: retoma-se o foco na necessidade de investimentos na oferta de serviços e no estímulo à geração de emprego.

A assistência mútua em matéria penal e as penas vedadas no direito brasileiro

A criminalidade transnacional é um dos males da atualidade e tem seu crescimento associado à complexidade dos processos da globalização. Quão mais interligadas estão a economia, cultura e demais comunicações dos Estados, mais vulneráveis estão às ações criminosas. Diante desta constatação a comunidade internacional escolheu o Direito Penal Internacional como um dos instrumentos destinados a fazer frente a este problema contemporâneo. O DPI, como especialização do Direito Penal, atende às exigências da comunidade internacional, por ser constituído pelo binômio criminalização e instituições de repressão e por contemplar dois distintos referenciais, quais sejam o do observador nacional que vê a projeção de seu ordenamento jurídico para fora das fronteiras territoriais e a do observador internacional que vê a projeção das normas internacionais para dentro do território dos Estados. A importância do DPI para o combate ao crime se faz pela pluralidade de espécies de cooperação (administrativa e jurídica) e de formas, que vão desde as mais clássicas como a extradição, a carta rogatória e a homologação da sentença estrangeira às mais modernas como a transferência de presos e a assistência mútua. As formas mais clássicas da cooperação têm se mostrado pouco eficazes e muito burocráticas para alcançar os resultados pretendidos, principalmente pelas barreiras jurídicas impostas pelos Estados, A assistência mútua vai ao encontro das expectativas internacionais, por simplificar a tramitação dos pedidos, em razão da tramitação dos mesmos por Autoridades Centrais e não por vias diplomáticas, por reduzir as barreiras jurídicas, pois há a possibilidade de mitigação do princípio da identidade, a redução dos motivos de recusa e a desnecessidade de submeter ao crivo do Superior Tribunal de Justiça pedidos que notoriamente dispensam juízo de delibação. Embora a assistência mútua traga muitas vantagens para facilitar a persecução penal, o desprendimento às formalidades e às barreiras jurídicas não pode significar desapego às garantias materiais e processuais das pessoas que são os destinatários da ação estatal persecutória, em especial à garantia de não ter contra si aplicadas penas vedadas constitucionalmente (art. 5, XLVII da CF/88). Neste sentido torna-se necessário reconhecer a existência de uma obrigação de não fazer e não cooperar por parte dos Estados que possa ser invocada para obstar atos de cooperação que possam contribuir para a aplicação das penas vedadas.

Caracterização geoquímica e efeito térmico de intrusão de diabásio na matéria orgânica da Formação Irati, poço FP-12-SP, bacia do Paraná

O estudo visou à caracterização geoquímica orgânica detalhada (carbono orgânico total, resíduo insolúvel, enxofre, pirólise Rock-Eval e biomarcadores) da Formação Irati através do furo pioneiro FP-12-SP localizado próximo da região de Anhembi (SP), e à análise das alterações destes parâmetros devido ao efeito térmico de intrusões de diabásio. A partir destes dados definiu-se 8 (oito) unidades quimioestratigráficas, determinou se o potencial gerador de cada unidade, o tipo de querogênio e a assinatura geoquímica através de parâmetros dos biomarcadores saturados e, por último, indicou-se as alterações causadas pelo efeito térmico de intrusivas nos sedimentos. O Membro Taquaral possui baixo teor de carbono orgânico total, querogênio tipo III/IV, com alta proporção de alcanos lineares e cicloalcanos, predominância dos esteranos C27 em relação ao C29, com indicações de ambiente marinho com salinidade normal. O Membro Assistência é caracterizado por apresentar valores de carbono orgânico total relativamente alto com aumento para o topo, intercalação de níveis siliciclásticos com carbonáticos, potencial gerador que chega a excelente e índice de hidrogênio predominante para óleo e condensado, baixa proporção de n-alcanos em relação aos cicloalcanos e alcanos ramificados, aparecimento do gamacerano, indicando ambiente marinho hipersalino com afogamento para o topo. O efeito térmico é visto a partir de 3 metros abaixo e 10 metros acima da soleira com maturação da matéria orgânica nos 9,5m mais próximos da soleira. A propagação de calor acima da soleira foi maior do que abaixo devido à diferença de condutividade térmica entre o carbonato e o folhelho, onde a máxima restrição com o aumento da salinidade na Unidade Quimioestratigráfica E, indicada pela presença de gamacerano, pode ter amplificado a passagem de calor para o topo.

Desenvolvimento e avaliação de novas abordagens de modelagem de processos de separação em leito móvel simulado

O Leito Móvel Simulado (LMS) é um processo de separação de compostos por adsorção muito eficiente, por trabalhar em um regime contínuo e também possuir fluxo contracorrente da fase sólida. Dentre as diversas aplicações, este processo tem se destacado na resolução de petroquímicos e principalmente na atualidade na separação de misturas racêmicas que são separações de um grau elevado de dificuldade. Neste trabalho foram propostas duas novas abordagens na modelagem do LMS, a abordagem Stepwise e a abordagem Front Velocity. Na modelagem Stepwise as colunas cromatográficas do LMS foram modeladas com uma abordagem discreta, onde cada uma delas teve seu domínio dividido em N células de mistura interligadas em série, e as concentrações dos compostos nas fases líquida e sólida foram simuladas usando duas cinéticas de transferência de massa distintas. Essa abordagem pressupõe que as interações decorrentes da transferência de massa entre as moléculas do composto nas suas fases líquida e sólida ocorram somente na superfície, de forma que com essa suposição pode-se admitir que o volume ocupado por cada molécula nas fases sólida e líquida é o mesmo, o que implica que o fator de residência pode ser considerado igual a constante de equilíbrio. Para descrever a transferência de massa que ocorre no processo cromatográfico a abordagem Front Velocity estabelece que a convecção é a fase dominante no transporte de soluto ao longo da coluna cromatográfica. O Front Velocity é um modelo discreto (etapas) em que a vazão determina o avanço da fase líquida ao longo da coluna. As etapas são: avanço da fase líquida e posterior transporte de massa entre as fases líquida e sólida, este último no mesmo intervalo de tempo. Desta forma, o fluxo volumétrico experimental é utilizado para a discretização dos volumes de controle que se deslocam ao longo da coluna porosa com a mesma velocidade da fase líquida. A transferência de massa foi representada por dois mecanismos cinéticos distintos, sem (tipo linear) e com capacidade máxima de adsorção (tipo Langmuir). Ambas as abordagens propostas foram estudadas e avaliadas mediante a comparação com dados experimentais de separação em LMS do anestésico cetamina e, posteriormente, com o fármaco Verapamil. Também foram comparados com as simulações do modelo de equilíbrio dispersivo para o caso da Cetamina, usado por Santos (2004), e para o caso do Verapamil (Perna 2013). Na etapa de caracterização da coluna cromatográfica as novas abordagens foram associadas à ferramenta inversa R2W de forma a determinar os parâmetros globais de transferência de massa apenas usando os tempos experimentais de residência de cada enantiômero na coluna de cromatografia líquida de alta eficiência (CLAE). Na segunda etapa os modelos cinéticos desenvolvidos nas abordagens foram aplicados nas colunas do LMS com os valores determinados na caracterização da coluna cromatográfica, para a simulação do processo de separação contínua. Os resultados das simulações mostram boa concordância entre as duas abordagens propostas e os experimentos de pulso para a caracterização da coluna na separação enantiomérica da cetamina ao longo do tempo. As simulações da separação em LMS, tanto do Verapamil quando da Cetamina apresentam uma discrepância com os dados experimentais nos primeiros ciclos, entretanto após esses ciclos iniciais a correlação entre os dados experimentais e as simulações. Para o caso da separação da cetamina (Santos, 2004), a qual a concentração da alimentação era relativamente baixa, os modelos foram capazes de predizer o processo de separação com as cinéticas Linear e Langmuir. No caso da separação do Verapamil (Perna, 2013), onde a concentração da alimentação é relativamente alta, somente a cinética de Langmuir representou o processo, devido a cinética Linear não representar a saturação das colunas cromatográficas. De acordo como o estudo conduzido ambas as abordagens propostas mostraram-se ferramentas com potencial na predição do comportamento cromatográfico de uma amostra em um experimento de pulso, assim como na simulação da separação de um composto no LMS, apesar das pequenas discrepâncias apresentadas nos primeiros ciclos de trabalho do LMS. Além disso, podem ser facilmente implementadas e aplicadas na análise do processo, pois requer um baixo número de parâmetros e são constituídas de equações diferenciais ordinárias.

Mapeamento de difusão no reconhecimento e reconstrução de sinais

Em muitas representações de objetos ou sistemas físicos se faz necessário a utilização de técnicas de redução de dimensionalidade que possibilitam a análise dos dados em baixas dimensões, capturando os parâmetros essenciais associados ao problema. No contexto de aprendizagem de máquina esta redução se destina primordialmente à clusterização, reconhecimento e reconstrução de sinais. Esta tese faz uma análise meticulosa destes tópicos e suas conexões que se encontram em verdadeira ebulição na literatura, sendo o mapeamento de difusão o foco principal deste trabalho. Tal método é construído a partir de um grafo onde os vértices são os sinais (dados do problema) e o peso das arestas é estabelecido a partir do núcleo gaussiano da equação do calor. Além disso, um processo de Markov é estabelecido o que permite a visualização do problema em diferentes escalas conforme variação de um determinado parâmetro t: Um outro parâmetro de escala, Є, para o núcleo gaussiano é avaliado com cuidado relacionando-o com a dinâmica de Markov de forma a poder aprender a variedade que eventualmente seja o suporte do dados. Nesta tese é proposto o reconhecimento de imagens digitais envolvendo transformações de rotação e variação de iluminação. Também o problema da reconstrução de sinais é atacado com a proposta de pré-imagem utilizando-se da otimização de uma função custo com um parâmetro regularizador, γ, que leva em conta também o conjunto de dados iniciais.

Problemas direto e inverso de processos de separação em leito móvel simulado mediante mecanismos cinéticos de adsorção

Diversas aplicações industriais relevantes envolvem os processos de adsorção, citando como exemplos a purificação de produtos, separação de substâncias, controle de poluição e umidade entre outros. O interesse crescente pelos processos de purificação de biomoléculas deve-se principalmente ao desenvolvimento da biotecnologia e à demanda das indústrias farmacêutica e química por produtos com alto grau de pureza. O leito móvel simulado (LMS) é um processo cromatográfico contínuo que tem sido aplicado para simular o movimento do leito de adsorvente, de forma contracorrente ao movimento do líquido, através da troca periódica das posições das correntes de entrada e saída, sendo operado de forma contínua, sem prejuízo da pureza das correntes de saída. Esta consiste no extrato, rico no componente mais fortemente adsorvido, e no rafinado, rico no componente mais fracamente adsorvido, sendo o processo particularmente adequado a separações binárias. O objetivo desta tese é estudar e avaliar diferentes abordagens utilizando métodos estocásticos de otimização para o problema inverso dos fenômenos envolvidos no processo de separação em LMS. Foram utilizados modelos discretos com diferentes abordagens de transferência de massa, com a vantagem da utilização de um grande número de pratos teóricos em uma coluna de comprimento moderado, neste processo a separação cresce à medida que os solutos fluem através do leito, isto é, ao maior número de vezes que as moléculas interagem entre a fase móvel e a fase estacionária alcançando assim o equilíbrio. A modelagem e a simulação verificadas nestas abordagens permitiram a avaliação e a identificação das principais características de uma unidade de separação do LMS. A aplicação em estudo refere-se à simulação de processos de separação do Baclofen e da Cetamina. Estes compostos foram escolhidos por estarem bem caracterizados na literatura, estando disponíveis em estudos de cinética e de equilíbrio de adsorção nos resultados experimentais. De posse de resultados experimentais avaliou-se o comportamento do problema direto e inverso de uma unidade de separação LMS visando comparar os resultados obtidos com os experimentais, sempre se baseando em critérios de eficiência de separação entre as fases móvel e estacionária. Os métodos estudados foram o GA (Genetic Algorithm) e o PCA (Particle Collision Algorithm) e também foi feita uma hibridização entre o GA e o PCA. Como resultado desta tese analisouse e comparou-se os métodos de otimização em diferentes aspectos relacionados com o mecanismo cinético de transferência de massa por adsorção e dessorção entre as fases sólidas do adsorvente.

Inestabilidades térmicas: célula de Bénard

En este trabajo se estudia el comportamiento de una lámina de fluido limitada por dos superficies. La temperatura de la superficie inferior es mayor que la de la placa superior. Para pequeños gradientes de temperatura la conducción de calor será suficiente para disipar el calor. Sin embargo, la convección de Bénard, es decir, el movimiento macroscópico de las partículas del fluido, comienza cuando la conducción no es capaz por sí sola de disipar todo el calor debido a un mayor gradiente de temperatura. La consecuencia más notable de la convección es la formación de las llamadas celdas de Bénard. Como se va a demostrar estas solo pueden adoptar determinadas formas geométricas. De hecho, solo pueden ser polígonos regulares y solo serán visibles cuando la diferencia térmica entre las superficies no sea excesivamente grande y el flujo no sea turbulento. Una característica importante de este tipo de sistemas es que las ecuaciones que las rigen no son lineales, y, por tanto, aparece el fenómeno del caos determinista.