Implicações do estilo de descrição de códigos VHDL na testabilidade

Devido ao aumento da complexidade dos circuitos integrados atuais, os projetos são desenvolvidos utilizando linguagens de descrição de hardware (por exemplo, VHDL) e os circuitos são gerados automaticamente a partir das descrições em alto nível de abstração. Embora o projeto do circuito seja facilitado pela utilização de ferramentas de auxílio ao projeto, o teste do circuito resultante torna-se mais complicado com o aumento da complexidade dos circuitos. Isto traz a necessidade de considerar o teste do circuito durante sua descrição e não somente após a síntese. O objetivo deste trabalho é definir uma relação entre o estilo da descrição VHDL e a testabilidade do circuito resultante, identificando formas de descrição que geram circuitos mais testáveis. Como estudo de caso, diferentes descrições VHDL de um mesmo algoritmo foram utilizadas. Os resultados mostram que a utilização de diferentes descrições VHDL tem grande impacto nas medidas de testabilidade do circuito final e que características de algumas descrições podem ser utilizadas para modificar outras descrições e com isso aumentar a testabilidade do circuito resultante.

Avanços no método LTSn para cálculo de criticalidade e desenvolvimento da primeira versão do código LTSn

O objetivo deste trabalho consiste no desenvolvimento de alguns avanços, teóricos e numéricos, no método LTSN visando implementar a primeira versão de um código computacional, para resolver a equação de transporte utilizando formulação LTSN na forma de multigrupos em geometria plana. Os avanços para o método LTSN estão fundamentados na solução iterativa para o sistema de equações que constituem as condições de contorno, um novo método para a busca do valor de keff baseado no método da bissecção. O desenvolvimento desta metodologia permitiu realizar o calculo muito rápido com altas ordens de quadratura e com esforço computacional muito reduzido. Juntos os avanços matemáticos e numéricos, implementados nesta primeira versão de um código fortran, tal como nos códigos já conhecidos permite solucionar a equação de transporte na forma de multigrupos, tanto para o cálculo direto como para o adjunto, com fontes arbitrárias. Este código utiliza de recursos computacionais da linguagem FORTRAN e as bibliotecas LAPACK, para a otimização de seus algoritmos, facilitando o desenvolvimento futuro. A validação deste trabalho foi feita utilizando dois problemas: um relativo ao fluxo angular e escalar, tanto para o fluxo direto como para o adjunto, cuja importância está relacionada com busca de convergência, relação de reciprocidade e comprovação da solução adjunta, e; um problema de criticalidade, para comprovar a eficácia do algoritmo de busca iterativa de keff e espessura crítica. Com este trabalho se abrem muitas possibilidades tanto teóricas como numéricas a investigar com o método LTSN.

Projeto cooperativo no Ambiente Cave baseado em espaço compartilhado de objetos

Este trabalho apresenta o módulo Collaborative Service, uma extensão do ambiente Cave, desenvolvido para suportar conceitos de trabalho cooperativo no projeto de circuitos integrados. Esta extensão por sua vez, é baseada na metodologia Pair- Programming e nas tecnologias Jini e Javaspaces. O módulo Collaborative Service foi desenvolvido para auxiliar a continuidade do processo de desenvolvimento de circuitos integrados complexos, inserindo uma dinâmica de grupo através da extensão de Pair-Programming para máquinas remotas. Esse modelo permite que dois ou mais projetistas interajam em um mesmo projeto ou blocos de projeto, independente de suas localizações geográficas e tipos de plataformas de hardware/software. Ele foi projetado para ser genérico e essa característica o torna capaz de suportar as ferramentas de CAD, atuais e futuras, do ambiente Cave (um framework de apoio ao projeto de circuitos integrados). Como estudo de caso, foram utilizadas duas ferramentas do Ambiente Cave. O primeiro caso mostra uma cooperação em nível de descrições gráficas, representada pela ferramenta Blade, um editor de esquemáticos hierárquico. O segundo caso foi representado pelo editor de descrições textuais (VHDL, Verilog e Linguagem C), chamado Homero. No estudo de caso com a ferramenta Blade foi demonstrado que a cooperação proposta por esse modelo pode atuar sob diferentes níveis de hierarquia de projeto, além de suportar a interação de inúmeros projetistas em um mesmo bloco. Na ferramenta Homero, demonstrou-se a cooperação em nível de descrições textuais, representados por (códigos) projetos VHDL acrescidos da participação de vários projetistas. Com esses exemplos, foi possível demonstrar as estratégias de percepção e comunicação com os projetistas, além de descrever a criação de blocos de projeto de uma forma cooperativa. Como contribuição desse trabalho, acrescenta-se ao Ambiente Cave mais um recurso para o projeto de circuitos integrados. Nesse sentido, grupos de projetistas podem projetar um sistema ou circuito integrado de forma cooperativa utilizando-se das funcionalidades desse modelo.

Operadores aritméticos de baixo consumo para arquiteturas de circuitos DSP

Este trabalho tem como foco a aplicação de técnicas de otimização de potência no alto nível de abstração para circuitos CMOS, e em particular no nível arquitetural e de transferência de registrados (Register Transfer Leve - RTL). Diferentes arquiteturas para projetos especificos de algorítmos de filtros FIR e transformada rápida de Fourier (FFT) são implementadas e comparadas. O objetivo é estabelecer uma metodologia de projeto para baixa potência neste nível de abstração. As técnicas de redução de potência abordadas tem por obetivo a redução da atividade de chaveamento através das técnicas de exploração arquitetural e codificação de dados. Um dos métodos de baixa potência que tem sido largamente utilizado é a codificação de dados para a redução da atividade de chaveamento em barramentos. Em nosso trabalho, é investigado o processo de codificação dos sinais para a obtenção de módulos aritméticos eficientes em termos de potência que operam diretamente com esses códigos. O objetivo não consiste somente na redução da atividade de chavemanto nos barramentos de dados mas também a minimização da complexidade da lógica combinacional dos módulos. Nos algorítmos de filtros FIR e FFT, a representação dos números em complemento de 2 é a forma mais utilizada para codificação de operandos com sinal. Neste trabalho, apresenta-se uma nova arquitetura para operações com sinal que mantém a mesma regularidade um multiplicador array convencional. Essa arquitetura pode operar com números na base 2m, o que permite a redução do número de linhas de produtos parciais, tendo-se desta forma, ganhos significativos em desempenho e redução de potência. A estratégia proposta apresenta resultados significativamente melhores em relação ao estado da arte. A flexibilidade da arquitetura proposta permite a construção de multiplicadores com diferentes valores de m. Dada a natureza dos algoritmos de filtro FIR e FFT, que envolvem o produto de dados por apropriados coeficientes, procura-se explorar o ordenamento ótimo destes coeficientes nos sentido de minimizar o consumo de potência das arquiteturas implementadas.

ORPIS: um modelo de consistência de conteúdo replicado em servidores Web distribuídos

O surgimento de novas aplicações que utilizam o protocolo HTTP nas suas transações e a crescente popularidade da World Wide Web (WWW) provocaram pesquisas pelo aumento do desempenho de servidores Web. Para tal, uma das alternativas propostas neste trabalho é utilizar um conjunto de servidores Web distribuídos que espalham a carga de requisições entre vários computadores, atuando como um só associado a uma estratégia de replicação de conteúdo. Um dos problemas centrais a ser resolvido em servidores Web distribuídos é como manter a consistência das réplicas de conteúdo entre os equipamentos envolvidos. Esta dissertação apresenta conceitos fundamentais envolvendo o tema replicação de conteúdo em servidores Web distribuídos. São mostrados detalhes sobre arquitetura de servidores Web distribuídos, manutenção da consistência em ambientes de servidores Web distribuídos, uso de replicação e formas de replicação. Além disso, são citados alguns trabalhos correlatos ao propósito de manter réplicas consistentes em ambientes de servidores Web distribuídos. Este trabalho tem por objetivo propor um modelo de manutenção da consistência de conteúdo em servidores Web distribuídos com características de transparência e autonomia. O modelo, denominado One Replication Protocol for Internet Servers (ORPIS), adota uma estratégia de propagação otimista porque não existe sincronismo no envio das atualizações para as réplicas. Este trabalho apresenta os principais componentes tecnológicos empregados na Web, além dos problemas causados pela escalabilidade e distribuição inerentes a esse ambiente. São descritas as principais técnicas de aumento de desempenho de servidores Web que atualmente vêm sendo utilizadas. O modelo ORPIS é descrito, sendo apresentados seus pressupostos, elencados seus componentes e detalhados os seus algoritmos de funcionamento. Este trabalho dá uma visão geral sobre a implementação e os testes realizados em alguns módulos do protótipo do modelo, caracterizando o ambiente de desenvolvimento do protótipo e detalhes da implementação. São enumerados os atributos e métodos das classes do protótipo e definidas as estruturas de dados utilizadas. Além disso, apresentam-se os resultados obtidos da avaliação funcional dos módulos implementados no protótipo. Um ponto a ser salientado é a compatibilidade do modelo ORPIS aos servidores Web existentes, sem a necessidade de modificação em suas configurações. O modelo ORPIS é baseado na filosofia de código aberto. Durante o desenvolvimento do protótipo, o uso de software de código aberto proporcionou um rápido acesso às ferramentas necessárias (sistema operacional, linguagens e gerenciador de banco de dados), com possibilidade de alteração nos códigos fonte como uma alternativa de customização.

O cinzel do Deus cuidadoso : variações sobre José de Alencar

O presente trabalho se propõe a ler os romances O Guarani, Iracema e Ubirajara, de José de Alencar, como um conjunto alegórico, coeso, que firma uma proposição de brasilidade, única dentro do nosso Romantismo. Buscam-se dentro do texto alencariano o percurso dos elementos que formam as alegorias da impossibilidade brasílica, que tornam a fundação da nação algo improvável, e seu processo identitário eterno e incompleto. Para tanto, centra-se a análise na impossibilidade de união dos pares opostos de heróis, fator que inviabiliza a junção de suas culturas, as quais poderiam se transformar em algo caracteristicamente brasileiro. Essa fusão não se efetiva porque uma série de códigos não é cumprida pelos partícipes das narrativas, o que causa a ruptura e a derrocada do sistema que poderia levar ao surgimento de uma nação. A perfeita confluência ocorre em Ubirajara, e se verá como isso se revela a culminância da proposta para uma mitologia brasílica, um modelo comportamental produtor de um efeito que, no caso d´O Guarani e de Iracema, não se realiza pelos erros dos personagens. Essa proposta de leitura considera, então, esse conjunto alegórico como mítico, e não histórico, mostrando que José de Alencar, sabedor da ainda nascente pátria, representou em sua ficção suas idéias sobre a brasilidade, ao invés de construir um “Brasil”. Ergue sua visão de algo nunca pronto, de uma busca constante, mantida pela nostalgia do que poderia ter-se sido e pela esperança de tornar-se o que não se é.

Geração de código no projeto de sistemas reativos a partir da linguagem RS

A linguagem síncrona RS é destinada ao desenvolvimento de sistemas reativos. O presente trabalho tem como objetivo criar meios que facilitem o uso da linguagem RS no projeto e implementação desses sistemas, permitindo que, à partir da especificação de um sistema reativo, seja realizada a sua implementação de forma automática. Deste modo, a linguagem RS é utilizada para a descrição do comportamento de um sistema em um alto nível de abstração, antes de serfeitas a decomposição do sistema em componentes de software ou hardware. A implmentação do protótipo do sistema computacional dedicado é obtida através de uma síntese automática desse modelo de alto nível. Foram implementados geradores de código que utilizam o código objeto fornecido pelo compilador da linguagem RS. Os geradores fazem a tradução para a linguagem C, para a linguagem JAVA, ou para a linguagem de descrição de hardware VHDL. A partir da síntese desses códigos poderá ser obtida a implementação do sistema em um micrcoomputador comercial, em um microcomputador Java de dedicado (ASIP Java), ou em um hardware de aplicação específica (ASIC). Foram realizados estudos de caso representativos dos sistemas reativos embaraçados e de tempo rel. Estes estudos de caso serviram para validar os geradores de código bem como para analisar o uso da linguagem RS no projeto e implementação desses sistemas.

Controle de vibrações em estruturas usando amortecedores metálicos

Recentes terremotos e furacões mostraram quão vulneráveis são as estruturas às forças da natureza. Ainda em países desenvolvidos, existe alto risco a desastres naturais. Portanto, um dos principais desafios da Engenharia é a prevenção de desastres mediante o desenvolvimento de conceitos inovadores de projeto, para proteger eficientemente as estruturas, seus moradores e o conteúdo, dos efeitos destrutivos das forças ambientais. O tradicional procedimento de projeto de construções para prevenir falhas catastróficas é baseado na combinação de resistência e capacidade de deformação (ductilidade). Solicitações de baixos níveis provocadas por ventos ou sismos são freqüentemente idealizados com cargas laterais que devem ser resistidas só pela ação elástica da estrutura, enquanto que, em eventos moderados ou severos permite-se certos níveis de dano estrutural e não estrutural, mas não, colapso da mesma. Esta filosofia proporcionou a base da maioria dos códigos de construção (fundados em métodos estáticos equivalentes) desde princípios do século, com resultados satisfatórios. No entanto, a partir do estudo das características dinâmicas das estruturas surgem novos e diversos conceitos de proteção dos sistemas estruturais que tem sido desenvolvidos e ainda estão em expansão, entre os quais pode-se citar a dissipação de energia externa. Esta nova tecnologia consiste em incorporar na estrutura, elementos projetados especificamente para dissipar energia. Com isto, logra-se reduzir as deformações nos membros estruturais primários e portanto, diminui-se a demandada de ductilidade e o possível dano estrutural, garantindo uma maior segurança e vida útil da estrutura Graças a recentes esforços e ao particular interesse da comunidade científica internacional, estudos teóricos e experimentais têm sido desenvolvidos durante a última década com resultados surpreendentes. Hoje já existem sistemas de dissipação de energia aplicados com sucesso em países como Estados Unidos, Itália, Nova Zelândia, Japão e México. Recentemente este campo está-se estendendo na América do Sul. Dentro deste contexto, considerando o beneficio econômico e o melhor desempenho estrutural que implica a incorporação desta nova tecnologia, no presente trabalho abordou-se o estudo deste tipo de sistemas de proteção estrutural orientado ao uso de amortecedores metálicos. O trabalho dividiu-se em três partes principais: a) Projetar e construir um amortecedor metálico que usa as excelentes propriedades do chumbo para dissipar energia. b) Desenvolvimento de metodologias de análise e projeto de estruturas que incorporam amortecimento suplementar a fim de melhorar o seu desempenho estrutural. c) Avaliação da eficiência de sistemas externos de dissipação de energia em estruturas. A primeira parte consistiu em projetar e construir um amortecedor metálico para logo submetê-lo a numerosos testes com diferentes níveis de amplitude de deslocamento e freqüência a fim de avaliar suas propriedades mecânicas e desempenho. Os resultados são considerados altamente satisfatórios. Na segunda parte foram desenvolvidas ferramentas computacionais para pesquisa e docência na área da mecânica estrutural mediante as quais é possível simular o comportamento linear e não linear de estruturas que incorporam amortecimento suplementar Finalmente, apresenta-se um procedimento robusto para avaliar a eficiência dos sistemas dissipadores de energia baseado numa análise da confiabilidade estrutural. Através de vários exemplos com estruturas reais e teóricas se atingem os objetivos traçados no presente trabalho.

Técnicas de avaliação da confiabilidade em estruturas de concreto armado

Neste trabalho é dado ênfase à inclusão das incertezas na avaliação do comportamento estrutural, objetivando uma melhor representação das características do sistema e uma quantificação do significado destas incertezas no projeto. São feitas comparações entre as técnicas clássicas existentes de análise de confiabilidade, tais como FORM, Simulação Direta Monte Carlo (MC) e Simulação Monte Carlo com Amostragem por Importância Adaptativa (MCIS), e os métodos aproximados da Superfície de Resposta( RS) e de Redes Neurais Artificiais(ANN). Quando possível, as comparações são feitas salientando- se as vantagens e inconvenientes do uso de uma ou de outra técnica em problemas com complexidades crescentes. São analisadas desde formulações com funções de estado limite explícitas até formulações implícitas com variabilidade espacial de carregamento e propriedades dos materiais, incluindo campos estocásticos. É tratado, em especial, o problema da análise da confiabilidade de estruturas de concreto armado incluindo o efeito da variabilidade espacial de suas propriedades. Para tanto é proposto um modelo de elementos finitos para a representação do concreto armado que incorpora as principais características observadas neste material. Também foi desenvolvido um modelo para a geração de campos estocásticos multidimensionais não Gaussianos para as propriedades do material e que é independente da malha de elementos finitos, assim como implementadas técnicas para aceleração das avaliações estruturais presentes em qualquer das técnicas empregadas. Para o tratamento da confiabilidade através da técnica da Superfície de Resposta, o algoritmo desenvolvido por Rajashekhar et al(1993) foi implementado. Já para o tratamento através de Redes Neurais Artificias, foram desenvolvidos alguns códigos para a simulação de redes percéptron multicamada e redes com função de base radial e então implementados no algoritmo de avaliação de confiabilidade desenvolvido por Shao et al(1997). Em geral, observou-se que as técnicas de simulação tem desempenho bastante baixo em problemas mais complexos, sobressaindo-se a técnica de primeira ordem FORM e as técnicas aproximadas da Superfície de Resposta e de Redes Neurais Artificiais, embora com precisão prejudicada devido às aproximações presentes.

Rave à margem do Guaíba : música e identidade jovem na cena eletrônica de Porto Alegre

Valendo-me principalmente das técnicas de observação participante e entrevista semi-estruturada, faço um estudo da cultura rave a partir de uma etnografia na cidade de Porto Alegre. Realizo esta pesquisa pela inserção entre dois grupos distintos que compõem esta cena urbana, o de freqüentadores e o de produtores musicais. Tenciono traçar um quadro desta forma de sociabilidade contemporânea da qual participam, pelo menos em Porto Alegre, quase que exclusivamente jovens de classe média. Focalizo como tema a relação entre a criação, a difusão/circulação e a recepção da música eletrônica e da cultura rave no meio jovem enquanto constituidora de práticas culturais e identitárias mediadas principalmente pelos recursos tecnológicos e midiáticos. Procuro dar especial atenção à dimensão ritual-performática e experiencial do rave, buscando apreender os códigos que orientam as práticas culturais e estéticas dos atores envolvidos. A proposta central deste trabalho é investigar como os jovens portoalegrenses experienciam a cultura rave e no que consiste a experiência rave para eles, procurando interpretar como articulam o que conhecem sobre o mundo rave internacional/global com as suas práticas culturais locais.

Desenvolvimento de um sistema de apoio à decisão para a otimização de traçados de obras de engenharia civil : o caso do sistema de defesa contra inundações da cidade de Resistencia, Argentina

O traçado de obras com características lineares num espaço geográfico tem, em princípio, um número muito grande de soluções. A seleção de traçados mais convenientes é hoje abordada pela Pesquisa Operacional por meio da Programação Dinâmica tradicional e das técnicas para resolver o problema conhecido como leastcost- path, (caminho de mínimo custo). Por sua vez, o planejamento de espaços geográficos é feito com o auxílio de técnicas de SIG (sistemas de informação geográfica). O estudo algorítmico dos caminhos de mínimo custo não é novidade e até os programas comerciais para SIG mais utilizados têm incorporado comandos que, com certas limitações, resolvem esse problema. Mas, seja qual for a abordagem, sempre é preciso conhecer a priori a funçãoobjetivo (FO), e isto não é tarefa fácil, pois devem ser conjugados objetivos de satisfação de necessidades sociais, políticas, ambientais e econômicas, o que gera um verdadeiro problema de otimização multiobjetivo e multicritério. Este trabalho teve como foco principal elaborar um modelo de decisão para ajudar na formulação da FO, adotando o paradigma multiobjetivo/multicritério, explorando inclusive o relaxamento difuso de pareceres dos decisores. Foram utilizadas apenas ferramentas computacionais (software e hardware) simples, de ampla difusão entre os engenheiros e de baixo custo, como a planilha de cálculo Excel e o programa Idrisi 32, procurando explorar suas aptidões e limitações, sem recorrer à elaboração e/ou utilização de códigos computacionais próprios, sobre os quais muitas pessoas sentem receios até não serem testados suficientemente. Foi obtido um sistema de apoio à decisão eficaz e de fácil utilização e sua possibilidade de aplicação foi testada na definição do traçado ótimo de parte da defesa norte da cidade de Resistencia (Argentina).

"A garantia soy yo" : etnografia das práticas comerciais entre camelôs nas cidades de Porto Alegre (Brasil) e Ciudad del Este (Paraguai)

O Centro de Porto Alegre (Brasil) caracteriza-se pela presença de vendedores de rua desde o século XVIII. Hoje, contudo, essa forma de comércio informal assume proporções extraordinárias, constituindo-se um fenômeno global relacionado à produção e comercialização de pirataria, consumida generalizadamente em todas as camadas sociais. O universo desta pesquisa são os camelôs e sacoleiros regularizados que trabalham na Praça XV de Novembro da capital gaúcha e comercializam mercadorias contrabandeadas de Ciudad del Este (Paraguai), trazidas por eles próprios. A atuação dos camelôs no espaço público envolve uma permanente negociação - ora pacífica, ora conflituosa - com o poder público, lojistas, meios de comunicação e vendedores de rua em situação irregular. Afora as dificuldades do trabalho de rua e a competitividade do ofício, os comerciantes estudados formam suas redes de relações (sejam elas de vizinhança, de parentesco ou de companheirismo de viagem) pautadas pela presença constante da solidariedade e lealdade - códigos simbólicos que dão sustentação ao trabalho cotidiano, conferindo sentido ao trabalho e à vida social. Procura-se, com isso, fornecer uma visão ampla do universo estudado, mostrando várias de suas facetas, acompanhadas ao longo de uma etnografia que aconteceu tanto em Porto Alegre, quanto na fronteira do Brasil com o Paraguai.

Os fios que tecem a docência

Esta Tese resulta de uma investigação que tem por objeto o estudo sobre a docência no ensino superior. A pesquisa deseja colaborar com um movimento nacional, que vem discutindo a questão da formação do professor. Os dados coletados para o estudo são oriundos da análise de documentos, entrevistas e observação da sala de aula em uma instituição de ensino superior. O cenário da docência em termos históricos é brevemente abordado, para então inserir uma reflexão mais detalhada, considerando quatro dimensões sobre a prática docente: a dimensão ótica, a dimensão da imagem pública da profissão, a normativa e a dimensão sobre as expectativas em relação à educação continuada. Nesse entorno, os fios do controle, dos códigos, da pedagogia, das sensibilidades, da criatividade, dos poderes e saberes vão tecendo a docência, construindo diferentes estilos e práticas. Inspirada em uma perspectiva foucaultiana, a reflexão tem como propósito assegurar um movimento constante de reflexão sobre os processos de fabricação e captura do sujeito no contexto acadêmico, que tende a ajustar o perfil do docente às políticas institucionais. A pesquisa foi realizada em uma Instituição de Ensino Superior de caráter confessional (luterana) localizada no sul do Brasil, na cidade de Joinville. Em primeiro lugar, a pesquisa aponta os atravessamentos de discursos, as diferenças entre os discursos oficiais e todos os demais, demonstrando que em uma instituição educacional sempre estão presentes vários discursos que acabam sendo controlados, selecionados e distribuídos conforme determinados interesses e necessidades. A docência, na instituição em questão, desdobra-se em alguns estilos, definidos pela pesquisadora como docente-intelectual, docente-educador, docente-técnico e docente-militante Na análise destes estilos percebe-se que o “institucional”, em muitas situações, tem mais relação com movimentos de regulação e obediência do que efetivamente com uma vontade de identidade. A pesquisa destacou uma possível relação entre a docência e a estética, que implica a capacidade de jogar com a verdade de um outro jeito, exatamente por não querer ficar alheio à construção dessa realidade em um cenário institucional. Ficar alheio a esse processo é tão perigoso quanto desejar prescrevê-lo compulsivamente. “Os fios que tecem a docência”, através de um estudo de caso, deseja contribuir com a reflexão a respeito da formação do professor, demonstrando como tal tema não se reduz ao pedagógico, mas está imbricado em toda a configuração institucional que abriga o docente. Olhar para esta paisagem maior implica estar disposto a dar um outro lugar para o docente, reencantar esses sujeitos para que possam coletivamente mobilizar-se para a busca de um compromisso novo com a sociedade no que diz respeito à educação.

Por uma pop'escrita acadêmica educacional

Trata da escrita acadêmica educacional como problema. Desde então, de pensar e praticar tal escrita a partir de algumas aberturas propostas por conceitos desenvolvidos pela Filosofia da Diferença de Gilles Deleuze e Félix Guattari, bem como por procedimentos literários contemporâneos. Aqui, filosofia e literatura em trama instigam a invenção de um espaço para experimentação da escrita. Trata de uma tentativa de lidar com a produção e a criação de uma escrita acadêmica enquanto modo de problematizar e indagar com uma educação que se ocupe do como referir-se aos estados intensivos que agem sobre o linguageiro, incitadores de diferenças e de variações na própria escrita. Trata, também, de um exercício acolhedor de múltiplas linguagens, movendo-se naquilo que aí se agita desde agenciamentos entre formas de conteúdo e formas de expressão potencializadores de irrupturas nos efeitos de um curso regular, previsível, homogêneo e identitário do regime dominante da língua E trata de uma ação estético-política comprometida com relações entre as formas que conjuga ao se abrirem naquilo que vigora o heterogêneo, tornando visíveis múltiplos arranjos de forças que a compõem. Menos um princípio moral e um juízo da razão quando trata de um empreendimento de saúde enquanto crítica e clínica de interposição no traçado de linhas de fuga como fluxos liberadores do desejo. Busca, isto sim, fabricar com a literatura e a filosofia um território de escritura com brechas, hospedeiro de atitudes contingentes que coloquem a fugir o soberano no modo institucional. Uma pop’escrita acadêmica educacional como uma aposta, um jogo ao acaso potente para produzir novos códigos por meio de um movimento de territorialização e desterritorialização com o vigor da experimentação que contém a pura concepção afirmativa da vida em seus desejos.

Estudo de um modelo convectivo-difusivo-reativo em combustão no método de elementos finitos

Neste trabalho, apresenta-se um estudo numérico de um modelo convectivo-difusivo-reativo em combustão baseado no Método de Elementos Finitos. Primeiramente, apresenta-se o desenvolvimento das equações de balanço (quantidade de movimento, massa, espécie e energia) que modelam um processo de mistura molecular e reação química, irreversível, de passo único e exotérmica entre duas espécies químicas F (Combustível) e O (Oxidante). Tais espécies reagem e formam um produto P, conforme vFF +vOO ! vPP + calor, onde vF , vO e vP são os coeficientes estequiométricos molares. No modelo, considera-se que a reação é de primeira ordem com respeito a cada um dos reagentes e que a taxa de reação específica segue a cinética de Arrhenius. Em seguida, o modelo é estudado numericamente considerando-se um domínio retangular e condições de contorno do tipo Neumann. Tanto a Técnica das Diferenças Finitas como a Técnica de Elementos Finitos são utilizadas na discretização espacial das equações do modelo. Para a integração no tempo, utiliza-se a método de Runge-Kutta simplificado de três estágios. Os diferentes códigos computacionais obtidos, tanto pela Técnica de Diferenças Finitas como de Elementos Finitos, são comparados frente ao problema de interesse. Observa-se que ambas as técnicas apresentam resultados equivalentes. Além disso, os códigos desenvolvidos são robustos (capazes de lidar com vários conjuntos de parâmetros), de baixo custo e precisos. Por fim, apresenta-se uma revisão do trabalho de Zavaleta [48], no qual obtem-se uma estimativa local do erro na aproximação do problema estudado pela Técnica de Elementos Finitos.