Grafos internos e multirrelações como "spans" : propriedades e composicionalidade

Um span em uma categoria é um par ordenado de morfismos dessa categoria, ambos com origem num mesmo objeto. O destino do primeiro morfismo é a origem do span e o destino do segundo morfismo é o destino do span. Spans, embora sejam uma estrutura bastante simples numa categoria e tenham uma definição também bastante simples, são versáteis, pois, com especializações sutis apresentadas aqui, são capazes de representar outras estruturas, tais como as tratadas nesses trabalho: relações binárias, multirrelações binárias, grafos e, em conjunto com um morfismo adicional, sistemas de transições etiquetadas (LTS). Permitem ainda, como proposto nesse trabalho, definir de forma também simples, redes de Petri como sendo um endospan em uma categoria. Mostra-se que a composição de spans aplicada a essas estruturas é capaz de expresar a composição de multirrelações — mas não de relações —, uma composição de grafos cujo grafo resultante indica caminhos em que cada parte é uma aresta de um dos grafos operados, uma composição de LTS cujo LTS resultante apresenta transações que podem ser compostas por transições de diferentes LTS e uma composição de redes de Petri cujo resultado também apresenta transações compostas por transições que podem ser realizadas em redes de Petri distintas. Mostra-se algumas propriedades dessas composições, bem como suas provas. Como verificar propriedades de relações e de grafos através de spans também é proposto.

Reciclagem de pó de aciaria elétrica como matéria-prima na fabricação de materiais cerâmicos argilosos : controle das emissões atmosféricas de zinco

O pó de aciaria é um dos resíduos sólidos gerados pela indústria siderúrgica durante a produção de aço em forno elétrico a arco. Este trabalho tem por objetivo investigar a evolução de Zn na produção de materiais cerâmicos ao utilizar-se pó de aciaria como matéria-prima no processamento de massas cerâmicas à base de argilas vermelhas. Para tanto, foram preparadas massas cerâmicas contendo 0, 1, 5, 10, 20 e 30% em peso de pó de aciaria. Os corpos-de-prova, medindo cerca de 20x60x8 mm3, foram prensados e queimados em fornos elétricos tipo mufla, em laboratório. As temperaturas de queima foram de 850oC a 1050oC, taxa de aquecimento de 150°C/h e 300°C/h, em patamar de queima de 2 horas. Com o objetivo de avaliar as possíveis emissões atmosféricas geradas durante a queima, os corpos-de-prova foram dispostos em um reator de quartzo, com pressão abaixo da pressão atmosférica. As emissões gasosas assim coletadas eram lavadas e a água de lavagem foi analisada. Os resultados mostraram que Zn foi coletado nas águas de lavagens dos gases, não ficando totalmente imobilizado na estrutura cerâmica. De acordo com os resultados obtidos, observou-se que quanto maior a taxa de aquecimento, maior a emissão de zinco nas águas de lavagem dos gases. O pó de aciaria é um dos resíduos sólidos gerados pela indústria siderúrgica durante a produção de aço em forno elétrico a arco. Este trabalho tem por objetivo investigar a evolução de Zn na produção de materiais cerâmicos ao utilizar-se pó de aciaria como matéria-prima no processamento de massas cerâmicas à base de argilas vermelhas. Para tanto, foram preparadas massas cerâmicas contendo 0, 1, 5, 10, 20 e 30% em peso de pó de aciaria. Os corpos-de-prova, medindo cerca de 20x60x8 mm3, foram prensados e queimados em fornos elétricos tipo mufla, em laboratório. As temperaturas de queima foram de 850oC a 1050oC, taxa de aquecimento de 150°C/h e 300°C/h, em patamar de queima de 2 horas. Com o objetivo de avaliar as possíveis emissões atmosféricas geradas durante a queima, os corpos-de-prova foram dispostos em um reator de quartzo, com pressão abaixo da pressão atmosférica. As emissões gasosas assim coletadas eram lavadas e a água de lavagem foi analisada. Os resultados mostraram que Zn foi coletado nas águas de lavagens dos gases, não ficando totalmente imobilizado na estrutura cerâmica. De acordo com os resultados obtidos, observou-se que quanto maior a taxa de aquecimento, maior a emissão de zinco nas águas de lavagem dos gases.

Caracterização de propriedades resilientes de três britas graduadas utilizadas em pavimentos no sul do Brasil

Foram analisadas, na presente pesquisa, as características resilientes de um granito de Santa Catarina e de dois tipos de basaltos do Rio Grande do Sul, utilizados como base e sub-base em pavimentos na região sul do país. Os valores de Módulo de Resiliência foram obtidos em laboratório por ensaios triaxiais de carga repetida, com aplicação da norma americana de determinação do módulo de resiliência para materiais granulares (AASHTO TP46-94). Foi analisado seu comportamento resiliente através da variação da umidade de compactação e da variação do grau de compactação das amostras. A influência da umidade foi estudada variando-se a umidade de compactação em relação à umidade ótima relativa à energia modificada, num intervalo correspondente a 2% acima e abaixo da mesma. Apenas o granito foi ensaiado nas três umidades desejadas. Os dois tipos de basalto não foram ensaiados na umidade 2% acima da ótima, por apresentarem uma umidade ótima elevada, dificultando a moldagem. Outro fator estudado foi a influência da densidade no módulo de resiliência, onde o grau de compactação das amostras foi variado em 100%, 98%, 95% e 93%. Os resultados mostraram que a umidade exerce uma influência no módulo de resiliência, influência esta constatada nas amostras de granito. Para este material, o Módulo de Resiliência diminui com o aumento da umidade. Nos três materiais estudados, não foi obtida correlação entre o módulo de resiliência e o grau se compactação, de acordo com a variação considerada.

A recepção dos tratados internacionais em matéria tributária pelo ordenamento jurídico brasileiro

A presente dissertação objetiva analisar a forma de recepção dos tratados internacionais em matéria tributária pelo ordenamento jurídico brasileiro. Para isso, é fundamental verificar a relação entre o direito internacional e o direito interno, por meio da análise das teorias monista e dualista. Apresenta-se o Direito Tributário Internacional como uma das variações do Direito Internacional Público, com o objetivo de introduzir a matéria tributária. Estudam-se os tratados como uma das principais fontes do direito internacional e o modo como o Poder Executivo e o Poder Legislativo participam de sua ratificação. Detalham-se, assim, os objetivos e os métodos dos tratados internacionais em matéria tributária, os quais visam a evitar a ocorrência do fenômeno jurídico da bitributação. Concluída a análise do procedimento de internalização desses tratados pelo ordenamento brasileiro, há a possibilidade de surgirem conflitos entre a norma internacional recepcionada e a lei interna anterior ou superveniente. E, por essa razão, apresentam-se os critérios gerais e específicos adotados pela doutrina e pelo Supremo Tribunal Federal para solucionar antinomias jurídicas.