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.

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.

A alternância de código como pedagogia culturalmente sensível nos eventos de letramento em um contexto bilíngue

Este estudo investiga se a alternância de código é empregada como estratégia culturalmente sensível em uma primeira série, primeira etapa em um contexto multilíngüe, na localidade de Boa Vista do Herval, interior de Santa Maria do Herval, RS. Para tal, foram feitos registros em vídeo e em áudio das atividades de sala de aula, regularmente, uma vez por semana, durante um semestre. As aulas são compostas por três grandes momentos, as atividades da hora da rodinha inicial, o trabalhinho nas mesas e a hora da rodinha final. Estas, por sua vez, podem ser divididas em eventos, constituídos pelos enquadres (Goffman, 2002), que podem ser considerados uma moldura em torno do alinhamento e das estruturas de participação (Philips, 2002; Gumperz, 1982). Dentro dessa análise da interação, encontrou-se a ocorrência da alternância de código com a função primordial de manter o curso da interação (Auer, 1988) e, através disso, ser uma estratégia da pedagogia culturalmente sensível (Bortoni-Ricardo e Dettoni, 2001), proporcionando voz, vez e acolhimento a crianças provindas de uma realidade lingüística em que predomina o uso do alemão, em contraste com a exigência escolar de uso do português.

As origens doutrinárias e a interpretação da função social dos contratos no código civil brasileiro

Esta tese propõe a investigação sobre as origens doutrinárias da função social dos contratos e, a partir delas, apresenta os instrumentos para a interpretação da cláusula geral do art. 421 do Código Civil. A tese encontra na doutrina italiana e no pensamento de Miguel Reale a base doutrinária da clláusula geral. A principal proposição dessa incursão é de que o juiz, ao aplicar a cláusula geral, deve usar os parâmetros doutrinários construídos pela tradição. A tradição e os dispositivos constitucionais que disciplinam a liberdade de contratar são os principais instrumentos para o controle das decisões judiciais, o que é indispensável que se preserve as regras do regime constritucional democrático e princípio da dignidade da pessoa.