Supercondutividade em ligas de Ta1-xZrx

No presente estudo, amostras policristalinas ricas em Ta e com estequiometrias Ta1-xZrx; x < 0.15; foram preparadas através da mistura apropriada dos elementos metálicos, os quais foram fundidos em forno a arco elétrico sobre uma placa de cobre refrigerada a água e sob atmosfera de argônio de alta pureza. Os padrões de difração de raios-X das ligas, como fundidas (as cast) e tratadas termicamente a 850 °C por 24 h, revelaram a ocorrência de uma estrutura cristalina cúbica de corpo centrada bcc, tipo W, e parâmetros de rede que aumentam suavemente com o aumento do teor de Zr nas ligas. Medidas de susceptibilidade magnética dc, conduzidas nas condições de resfriamento da amostra em campo zero (ZFC) e do resfriamento com o campo magnético aplicado (FC), indicaram que supercondutividade volumétrica é observada abaixo de ~ 5.8, 6.9, 7.0 K em amostras com x = 0.05, 0.08, e 0.10, respectivamente. Essas temperaturas críticas supercondutoras são bastante superiores àquela observada no Ta elementar ~ 4.45 K. Medidas de resistividade elétrica na presença de campos magnéticos aplicados de até 9 T confirmaram a temperatura crítica supercondutora das amostras estudadas. O campo crítico superior Hc2 e o comprimento de coerência E foram estimados a partir dos dados de magnetorresistência. Os valores estimados de Hc2 foram de ~ 0.46, 1.78, 3.85 e 3.97 T, resultando em valores de E ~ 26.0, 13.6, 9.2 e 9.1 nm para as ligas as cast com x = 0.00, 0.05, 0.08 e 0.10, respectivamente. A partir dos dados experimentais do calor específico Cp das ligas, magnitudes estimadas do salto em Cp nas vizinhanças das transições supercondutoras indicaram valores maiores que o previsto pela teoria BCS. Utilizando as equações analíticas derivadas da teoria do acoplamento forte da supercondutividade foi então proposto que o aumento da temperatura de transição supercondutora nas ligas devido a substituição parcial do Ta por Zr está intimamente relacionado ao aumento do acoplamento elétron-fônon, visto que a densidade de estados eletrônicos no nível de Fermi foi estimada ser essencialmente constante através da série Ta1-xZrx com x < 0.10.

Capitalismo e direitos humanos de solidariedade: elementos para uma crítica

Nosso estudo busca identificar a conexão material entre o capitalismo e os direitos humanos de solidariedade. Esses direitos, segundo a teoria jurídica e as declarações internacionais, ao contemplarem toda a humanidade, ao conceberem o gênero humano como sujeito de direito, são a mais elevada expressão do progresso da consciência humana no que concerne a dignidade do homem e as ameaças contra a vida coletiva na Terra. Nós propomos, ao contrário, que os direitos humanos de terceira geração exprimem as formas mais abstratas do capitalismo depois da Segunda Guerra Mundial, especialmente aquelas que correspondem à finança e à mundialização do capital. A sociedade burguesa internacionalizada tornou-se ela mesma, em suas categorias fundamentais, mais abstrata, e as categorias jurídicas seguiram este mesmo movimento. E de modo similar ao que sucede com os direitos humanos de primeira geração e de segunda geração, as palavras charmosas apresentadas pelo humanismo jurídico portam, discretamente, a exploração capitalista. Os direitos ao patrimônio comum da humanidade, ao meio ambiente sadio, ao desenvolvimento e mesmo o direito à paz, cada um deles reproduz os meios de apropriação e organização capitalista do imperialismo os mesmos meios que dão suporte aos lucros privados sobre os bens coletivos, que mantêm a dominação imperialista e que preparam as guerras no interior do sistema de Estados. O idealismo e a visão romântica sobre os direitos humanos escondem esta contradição, e é preciso expô-la, é preciso superar a ideologia jurídica. Nossa crítica marxista, realizada pela crítica do capital e de sua forma jurídica em escala internacional, é um esforço nesta direção.

Extração de casos de teste utilizando Redes de Petri hierárquicas e validação de resultados utilizando OWL.

Este trabalho propõe dois métodos para teste de sistemas de software: o primeiro extrai ideias de teste de um modelo desenvolvido em rede de Petri hierárquica e o segundo valida os resultados após a realização dos testes utilizando um modelo em OWL-S. Estes processos aumentam a qualidade do sistema desenvolvido ao reduzir o risco de uma cobertura insuficiente ou teste incompleto de uma funcionalidade. A primeira técnica apresentada consiste de cinco etapas: i) avaliação do sistema e identificação dos módulos e entidades separáveis, ii) levantamento dos estados e transições, iii) modelagem do sistema (bottom-up), iv) validação do modelo criado avaliando o fluxo de cada funcionalidade e v) extração dos casos de teste usando uma das três coberturas de teste apresentada. O segundo método deve ser aplicado após a realização dos testes e possui cinco passos: i) primeiro constrói-se um modelo em OWL (Web Ontology Language) do sistema contendo todas as informações significativas sobre as regras de negócio da aplicação, identificando as classes, propriedades e axiomas que o regem; ii) em seguida o status inicial antes da execução é representado no modelo através da inserção das instâncias (indivíduos) presentes; iii) após a execução dos casos de testes, a situação do modelo deve ser atualizada inserindo (sem apagar as instâncias já existentes) as instâncias que representam a nova situação da aplicação; iv) próximo passo consiste em utilizar um reasoner para fazer as inferências do modelo OWL verificando se o modelo mantém a consistência, ou seja, se não existem erros na aplicação; v) finalmente, as instâncias do status inicial são comparadas com as instâncias do status final, verificando se os elementos foram alterados, criados ou apagados corretamente. O processo proposto é indicado principalmente para testes funcionais de caixa-preta, mas pode ser facilmente adaptado para testes em caixa branca. Obtiveram-se casos de testes semelhantes aos que seriam obtidos em uma análise manual mantendo a mesma cobertura do sistema. A validação provou-se condizente com os resultados esperados, bem como o modelo ontológico mostrouse bem fácil e intuitivo para aplicar manutenções.