PCRELAP5 - Programa de cálculo para os dados de entrada do código RELAP5

Após os acidentes nucleares ocorridos no mundo, critérios e requisitos extremamente rígidos para a operação das instalações nucleares foram determinados pelos órgãos internacionais que regulam essas instalações. A partir da ocorrência destes eventos, as operadoras de plantas nucleares necessitam simular alguns acidentes e transientes, por meio de programas computacionais específicos, para obter a licença de operação de uma planta nuclear. Com base neste cenário, algumas ferramentas computacionais sofisticadas têm sido utilizadas como o Reactor Excursion and Leak Analysis Program (RELAP5), que é o código mais utilizado para a análise de acidentes e transientes termo-hidráulicos em reatores nucleares no Brasil e no mundo. Uma das maiores dificuldades na simulação usando o código RELAP5 é a quantidade de informações geométricas da planta necessárias para a análise de acidentes e transientes termo-hidráulicos. Para a preparação de seus dados de entrada é necessário um grande número de operações matemáticas para calcular a geometria dos componentes. Assim, a fim de realizar estes cálculos e preparar dados de entrada para o RELAP5, um pré-processador matemático amigável foi desenvolvido, neste trabalho. O Visual Basic for Applications (VBA), combinado com o Microsoft Excel, foi utilizado e demonstrou ser um instrumento eficiente para executar uma série de tarefas no desenvolvimento desse pré-processador. A fim de atender as necessidades dos usuários do RELAP5, foi desenvolvido o Programa de Cálculo do RELAP5 PCRELAP5 onde foram codificados todos os componentes que constituem o código, neste caso, todos os cartões de entrada inclusive os opcionais de cada um deles foram programados. Adicionalmente, uma versão em inglês foi criada para PCRELAP5. Também um design amigável do PCRELAP5 foi desenvolvido com a finalidade de minimizar o tempo de preparação dos dados de entrada e diminuir os erros cometidos pelos usuários do código RELAP5. Nesse trabalho, a versão final desse pré-processador foi aplicada com sucesso para o Sistema de Injeção de Emergência (SIE) da usina Angra 2.

O uso de medidas antidumping como mecanismo de barreira à entrada no mercado brasileiro

As medidas antidumping são uma exceção ao livre comércio e como tal deveriam ser usadas com restrição. No entanto, desde o GATT 1947 há preocupação com o uso abusivo de tais medidas, podendo ser o mecanismo utilizado não apenas para possibilitar a recuperação da indústria doméstica prejudicada pelas importações objeto de dumping, objetivo do Acordo Antidumping (AAD), mas com o fim de proteger a indústria nacional da concorrência estrangeira. Desta forma, o objetivo do presente trabalho é apresentar as principais características do AAD firmado ao final da Rodada Uruguai que culminou na constituição da Organização Mundial do Comércio (OMC), incluindo seus antecedentes históricos e a possibilidade de aplicação discricionária, demonstrando como uma norma surgida no plano internacional em decorrência de um acordo multilateral vem sendo utilizada pelo Brasil, com a finalidade de se demonstrar a possibilidade de uso das medidas antidumping como barreira à entrada no mercado brasileiro. Confirmada a possibilidade de uso abusivo desse instrumento de defesa comercial, ainda que no plano teórico, uma vez que não é possível analisar os efeitos reais das medidas aplicadas, serão apresentadas as formas de contrabalanço ao protecionismo atualmente existentes no próprio AAD e sua incorporação e utilização pelo Brasil bem como a possibilidade de questionamento de tais medidas como práticas anticompetitivas com fundamento na legislação antitruste perante as autoridades de defesa da concorrência. Serão ainda analisadas outras possibilidades de contrabalanço ao uso exacerbado das medidas antidumping em debate e viabilidade das mesmas no cenário atual em que se verifica, de um lado, o aumento de uso de tais medidas pelos países Membros da OMC, destacando-se o Brasil e, de outro lado, impasse nas negociações multilaterais, cabendo aos Membros tomarem decisões unilaterais sobre a aplicação de tais medidas, seu grau de intensidade e forma de aplicação a depender da proteção que se pretende garantir à indústria nacional.

Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída

O Teste Baseado em Modelos (TBM) emergiu como uma estratégia promissora para minimizar problemas relacionados à falta de tempo e recursos em teste de software e visa verificar se a implementação sob teste está em conformidade com sua especificação. Casos de teste são gerados automaticamente a partir de modelos comportamentais produzidos durante o ciclo de desenvolvimento de software. Entre as técnicas de modelagem existentes, Sistemas de Transição com Entrada/Saída (do inglês, Input/Output Transition Systems - IOTSs), são modelos amplamente utilizados no TBM por serem mais expressivos do que Máquinas de Estado Finito (MEFs). Apesar dos métodos existentes para geração de testes a partir de IOTSs, o problema da seleção de casos de testes é um tópico difícil e importante. Os métodos existentes para IOTS são não-determinísticos, ao contrário da teoria existente para MEFs, que fornece garantia de cobertura completa com base em um modelo de defeitos. Esta tese investiga a aplicação de modelos de defeitos em métodos determinísticos de geração de testes a partir de IOTSs. Foi proposto um método para geração de conjuntos de teste com base no método W para MEFs. O método gera conjuntos de teste de forma determinística além de satisfazer condições de suficiência de cobertura da especificação e de todos os defeitos do domínio de defeitos definido. Estudos empíricos avaliaram a aplicabilidade e eficácia do método proposto: resultados experimentais para analisar o custo de geração de conjuntos de teste utilizando IOTSs gerados aleatoriamente e um estudo de caso com especificações da indústria mostram a efetividade dos conjuntos gerados em relação ao método tradicional de Tretmans.