Competições magnéticas no sistema Fe xCo 1-xTa 2 O 6

São apresentados resultados obtidos a partir de difração de raios-X (DRX), difração de nêutrons (DN), susceptibilidade magnética (X(T)), magnetização (M(H)), espectroscopia Mõssbauer (EM) e calor específico (Cp) de amostras do sistema FexCo1-x Ta206. Difratogramas de DRX e de DN e as curvas M(H) indicam que as amostras estão bem cristalizadas e homogêneas, e que o sistema é uma solução sólida para toda faixa de substituição Fe -> Co. Os ajustes de DN revelam fases magnéticas com dois vetores de propagação (::I::~~ ~) para o CoTa206 e (~ O ~) e (O ~ ~) para o FeTa206' A segunda configuração permanece a mesma para as amostras ricas em Fe (0,46 :S x < 1,00), enquanto que as amostras ricas em Co (0,09 :S x < 0,46) apresentam configuração magnética indexada pelos vetores de propagação (::I::~~ O). O diagrama de fase temperatura vs. x exibe um ponto bicrítico em torno de T = 4,9 K e x = 0,46. A temperatura de Néel máxima das região rica em Fe é 9,5 K, e 7,1 K para a região rica em Co. No ponto bicrítico, o sistema mostra coexistência de ambas estruturas magnéticas. Esse comportamento bicrítico é interpretado como sendo induzido pelas competições entre as diferentes fases magnéticas e pela variação das propriedades cristalográficas.

Mediação : um exercício da autonomia privada com fundamento no princípio da confiança

O “contrato de mediação” não é objeto de regramento no direito positivo brasileiro. Trata-se de um conjunto de atos nascidos da autonomia privada, da confiança, da boa-fé e que são efetivamente praticados no âmbito social. Sua validade decorre da inexistência de impedimento legal sempre que se tratar de objeto lícito, possível, determinado ou determinável e não proibido em lei, para que as pessoas físicas quanto jurídicas, desfrutem de ampla liberdade para praticar atos lícitos capazes de ingressarem no mundo jurídico, sejam eles um poder derivado da lei ou por ela assegurado. A prática da mediação deriva dos usos e costumes que tomam maior incremento nas economias em desenvolvimento e, particularmente, nas concentrações urbanas onde é mais agudo o processo das alterações sociais e econômicas, ademais em face da globalização e da competitividade internacional, geradoras de instabilidade e do desemprego formal. Por outro lado, a prática da mediação como meio na solução de conflitos interpessoais, afetivos e relacionais, de forma não litigiosa, consensual, responsável, com baixo custo financeiro e econômico, baseada na autonomia privada, na confiança e na boa fé, constitui relevante meio de solução dos conflitos. A presente dissertação tem por finalidade, de um lado, estudar o denominado “contrato de mediação” exclusivamente no direito civil brasileiro, e, doutro lado, a mediação como solução das controvérsias interpessoais.

O poder das organizações internacionais

Esta tese analisa os mecanismos que contribuem para criar um poder mais forte ou mais fraco em uma organização internacional, mecanismos esses capazes de revelar que, apesar da natureza formal da criação das organizações internacionais, seu poder, da mesma maneira que a soberania, precisa de mais do que um estabelecimento formal de competências para alcançar efetividade. A primeira parte é dedicada ao estudo da criação do poder da organização, desde o modo de outorga de competências até os mecanismos necessários à prática desse poder, especificamente os diferentes tipos de normas e os modos de solução de controvérsias que normalmente são estabelecidos na carta das organizações internacionais. Na segunda parte é analisado o conflito entre o poder da organização internacional e a soberania dos Estados: as formas de limitação do exercício do poder da organização e os mecanismos que a instituição internacional pode desenvolver para obter uma extensão de seu poder.

O regime de proteção aos investimentos estrangeiros no tratado de livre comércio da América do Norte

O presente trabalho visa a examinar o regime de investimentos estrangeiros no Tratado de Livre Comércio da América do Norte (TLCAN), disposto em seu Capítulo XI, estudando suas regras materiais e formais, para, daí, analisar um conflito entre um investidor estrangeiro intrabloco e o governo de um Estado membro. Para tanto, parte de um resgate histórico das relações econômicas-comerciais entre Canadá, Estados Unidos e México, destacando o setor de investimentos. O caso apreciado foi o conflito e a demanda arbitral entre a empresa estadounidense METALCLAD Corporation e os Estados Unidos Mexicanos. A partir da análise desse caso e da aplicação concreta do regime de investimentos do TLCAN a ele, foi possível elencar e examinar algumas das implicações da aplicação prática das normas do Capítulo XI. Os pontos centrais da análise foram a essência desse regime de investimentos, que conjuga amplos direitos e garantias aos investimentos com remédios jurisdicionais bastante específicos e de submissão obrigatória aos Estados, e o paradoxo da utilização da arbitragem internacional, justiça privada por natureza, como o meio previsto no Capítulo XI para dirimir conflitos entre particulares (investimentos) e Estados, mesclando matérias de interesse público e interesses particulares dos investidores em procedimentos arbitrais concebidos para a atração dos investimentos, como parte de um regime de atração e fomento aos investimentos estrangeiros. O presente trabalho está estruturado em duas partes.A primeira, institulada "A construção do regime de investimentos estrangeiros no TLCAN", divide-se em capítulos sobre "As relações econômicas entre os países da América do Norte e a negociação do TLCAN" e "O estabelecimento das regras particulares sobre o IED". A segunda parte, demoninada "A aplicação efetiva das normas sobre IED no TLCAN", também se divide em dois capítulos: "O caso METALCLAD Corporation v. os Estados Unidos Mexicanos" e "As implicações políticas e jurídicas do mecanismo de solução de controvérsias do Capítulo XI". Os quatro capítulos contém subdivisões.

Formulação analítica para solução do problema de ordenada discreta unidimensional

Nete trabalho é apresentada uma solução analílica para o problema de ordenada discreta unidimensional e multigrupo de transporle de neutrons em simetria planar. A idéia básica da formulação proposta consiste na aplicação da transformada de Laplace na equação de ordenada discreta. Para a solução do sistema linear resultante, uma solução explícila para a matriz lnversa é estabelecida. Dessa forma, o fluxo angular é obtido, por inversão analítica, em termos do fluxo angular em x=O. Essa formulação é aplicada a problemas de domínio finito e semi-infinito. No primeiro caso, os valores de fluxo angular desconhecidos na fronteira em x=O, são determinados a partir dos valores conhecidos do fluxo angular em x=a; no segundo caso é usada a condição de que o fluxo angular é limilado no infinito. Foram tratados problemas homogêneos e heterogêneos para a placa plana com um grupo de neutrons e multigrupo.O problema inverso, que consiste na determinação do fluxo incidente na fronteira a partir de valores do fluxo escalar no interior do domínio, também foi resolvido. Os resullados obtidos para os problemas acima descritos, apresentaram uma boa comparação com os resultados disponíveis na literatura.

Solução do problema de controle H [infinito] não-linear

Este trabalho apresenta novos resultados matemáticos sobre a positividade local de funções escalares multivariáveis. Estes resultados são usados para resolver de forma quantitativa o problema de controle +¥ não-linear. Por solução quantitativa, entende-se uma solução (uma lei de controle) associada a uma região de validade. A região de validade é a região do espaço de estados onde os requerimentos de estabilidade e desempenho são satisfeitos. Para resolver o problema de forma eficiente, foi desenvolvido um procedimento que visa maximizar a região de validade do controlador enquanto garante um desempenho mínimo. A solução deste problema de otimização é estudada e alternativas para sua simplificação são apresentadas. Uma aplicação experimental a um sistema de controle de pH é apresentada. A utilidade dos resultados teóricos desenvolvidos na teoria de estabilidade de Lyapunov também é estudada.

Análise e simulação de um sistema de equações químicas do tipo difusão-reação

Neste trabalho estudamos um sistema de equações diferenciais parabólicas que modelam um processo de difusão-reação em duas dimensões da mistura molecular e reação química irreverssível de um só passo entre duas espécies químicas A e B para formar um produto P. Apresentamos resultados analíticos e computacionais relacionados à existência e unicidade da solução, assim como estimativas do erro local e global utilizando elementos finitos. Para os resultados analíticos usamos a teoria de semigrupos e o principio do m´aximo, e a simulação numérica é feita usando diferenças finitas centrais e o esquema simplificado de Ruge-Kutta. As estimativas do erro local para o problema semi-discretizado são estabelecidas usando normas de Sobolev, e para estimar o erro global usamos shadowing finito a posteriori. Os resultados computacionais obtidos mostram que o comportamento da solução está dentro do esperado e concorda com resultados da referências. Assim mesmo as estimativas do erro local e global são obtidas para pequenos intervalos de tempo e assumindo suficiente regularidade sobre a velocidade do fluído no qual realiza-se o processo. Destacamos que a estimativa do erro global usando shadowing finito é obtida sob hipóteses a posteriori sobre o operador do problema e o forte controle da velocidade numa vizinhança suficientemente pequena.

Vibrações naturais em um sistema de interação viga-água sem o efeito de onda de superfície livre

Neste trabalho é apresentado um estudo sobre o comportamento dinâmico de sistemas flexíveis com interação viga-água. Especificamente, é escolhida uma barragem freqüentemente encontrada em problemas de engenharia de irrigação e represas. O modelo matemático utilizado para descrever tal fenômeno tem como variáveis principais a pressão hidrodinâmica e os deslocamentos horizontais da barragem. Uma vez formuladas as equações governantes de tal sistema, que resultam em uma equação de onda para a pressão e uma equação de Euler-Bernoulli para os deslocamentos, é utilizada a técnica de separação de variáveis para proceder à sua solução. Por simplicidade, assumiu-se que no modelo não havia o efeito de onda da superfície livre. Primeiro, foi resolvida a equação para a pressão, sendo calculadas as suas componentes temporais e espaciais. Depois, foi resolvida a equação de Euler-Bernoulli junto com a condição de interface. Foram simulações para o material específico, e apresentados os resultados conseguidos. No final do trabalho são enunciadas as conclusões pertinentes.

Identificação dos requisitos informacionais para o projeto de um sistema de apoio às decisões estratégicas : o caso da Universidade de Santa Cruz do Sul-UNISC

A economia atual vem exigindo cada vez mais das empresas e instituições uma constante adequação de seus modelos e processos de gestão como forma de adequarem-se a cenários que se alteram em crescente velocidade. Fomentada por essa velocidade, a informação se estabelece como um dos principais insumos dos gestores, tornando-se ao mesmo tempo uma alternativa de gestão e um novo problema a ser gerenciado, qual seja: a sua obtenção e seu uso como diferencial competitivo. Identificar, produzir, selecionar e gerir informação como forma de proporcionar suporte a processos decisórios é um dos grande desafios da atualidade, onde, muitas vezes, Sistemas de Informações (SI) e Tecnologia da Informação (TI) são erroneamente confundidos, da mesma forma que freqüentemente também são confundidos SI voltados a processos e decisões táticas ou operacionais e aqueles destinados a suportar processos decisórios que conduzem a escolhas estratégicas. Sob esse enfoque, o presente estudo avalia o processo de identificação de requisitos informacionais destinados à construção de um SI voltado ao suporte de decisões estratégicas. Avalia desde a etapa de identificação do principal problema a ser abordado até o mapeamento dos requisitos informacionais necessários às principais atividades desenvolvidas. Com o apoio da metodologia de soft systems (SSM) foram constituídos dois grupos de trabalho. O primeiro, composto pelos principais gestores da instituição, com o objetivo de identificar o principal problema a ser tratado por um SI, ou seja, o foco do estudo, e o segundo grupo, constituído a partir das indicações do primeiro, com o objetivo de analisar o problema identificado e mapear a necessidade de informações destinadas à perfeita gestão do referido problema. Durante o desenvolvimento do estudo, identificaram-se, não só os requisitos informacionais necessários à construção do SI, como também um rol de ações e atividades que podem contribuir para o processo de solução do problema priorizado ou melhoria da situação problemática. O uso da SSM mostrou-se adequado e flexível o suficiente para permitir a harmonização das percepções e a identificação dos principais focos a serem abordados. Proporcionou um meio coerente de condução de todas as etapas do trabalho ao mesmo tempo que conduziu a resultados que superaram as expectativas iniciais.

Solução da equação de transporte de fótons para uma placa plana heterogênea, modelo de multigrupo com núcleo de espalhamento de Klein-Nishina

Neste trabalho o método LTSN é utilizado para resolver a equação de transporte de fótons para uma placa plana heterogênea, modelo de multigrupo, com núcleo de espalhamento de Klein-Nishina, obtendo-se o fluxo de fótons em valores discretos de energia. O fluxo de fótons, juntamente com os parâmetros da placa foram usados para o cálculo da taxa de dose absorvida e do fator de buildup. O método LTSN consiste na aplicação da transformada de Laplace num conjunto de equações de ordenadas discretas, fornece uma solução analítica do sistema de equações lineares algébricas e a construção dos fluxos angulares pela técnica de expansão de Heaviside. Essa formulação foi aplicada ao cálculo de dose absorvida e ao fator de Buildup, considerando cinco valores de energia. Resultados numéricos são apresentados.

Solução de sistemas de equações algébrico-diferenciais ordinárias de índice superior

A modelagem matemática de problemas importantes e significativos da engenharia, física e ciências sociais pode ser formulada por um conjunto misto de equações diferenciais e algébricas (EADs). Este conjunto misto de equações deve ser previamente caracterizado quanto a resolubilidade, índice diferencial e condições iniciais, para que seja possível utilizar um código computacional para resolvê-lo numericamente. Sabendo-se que o índice diferencial é o parâmetro mais importante para caracterizar um sistema de EADs, neste trabalho aplica-se a redução de índice através da teoria de grafos, proposta por Pantelides (1988). Este processo de redução de índice é realizado numericamente através do algoritmo DAGRAFO, que transforma um sistema de índice superior para um sistema reduzido de índice 0 ou 1. Após esta etapa é necessário fornecer um conjunto de condições inicias consistentes para iniciar o código numérico de integração, DASSLC. No presente trabalho discute-se três técnicas para a inicialização consistente e integração numérica de sistemas de EADs de índice superior. A primeira técnica trabalha exclusivamente com o sistema reduzido, a segunda com o sistema reduzido e as restrições adicionais que surgem após a redução do índice introduzindo variáveis de restrição, e a terceira técnica trabalha com o sistema reduzido e as derivadas das variáveis de restrição. Após vários testes, conclui-se que a primeira e terceira técnica podem gerar um conjunto solução mesmo quando recebem condições iniciais inconsistentes. Para a primeira técnica, esta característica decorre do fato que no sistema reduzido algumas restrições, muitas vezes com significado físico importante, podem ser perdidas quando as equações algébricas são diferenciadas. Trabalhando com o sistema reduzido e as derivadas das variáveis de restrição, o erro da inicialização é absorvido pelas variáveis de restrição, mascarando a precisão do código numérico. A segunda técnica adotada não tem como absorver os erros da inicialização pelas variáveis de restrição, desta forma, quando as restrições adicionais não são satisfeitas, não é gerada solução alguma. Entretanto, ao aplicar condições iniciais consistentes para todas as técnicas, conclui-se que o sistema reduzido com as derivadas das variáveis restrição é o método mais conveniente, pois apresenta melhor desempenho computacional, inclusive quando a matriz jacobiana do sistema apresenta problema de mau condicionamento, e garante que todas as restrições que compõem o sistema original estejam presentes no sistema reduzido.

Um metamodelo da linguagem de modelagem real time UML, de suporte à criação de dicionário de dados para ferramentas de modelagem de sistema tempo real, visando a verificação de consistência dos modelos

A computação de tempo real é uma das áreas mais desafiadoras e de maior demanda tecnológica da atualidade. Está diretamente ligada a aplicações que envolvem índices críticos de confiabilidade e segurança. Estas características, inerentes a esta área da computação, vêm contribuindo para o aumento da complexidade dos sistemas tempo real e seu conseqüente desenvolvimento. Isto fez com que mecanismos para facilitar especificação, delimitação e solução de problemas passem a ser itens importantes para tais aplicações. Este trabalho propõe mecanismos para atuarem no desenvolvimento de sistemas de tempo real, com o objetivo de serem empregados como ferramenta de apoio no problema da verificação de presença de inconsistências, que podem vir a ocorrer nos vários modelos gerados partir da notação da linguagem de modelagem gráfica para sistemas de tempo real - UML-RT(Unified Modeling Language for Real Time). Estes mecanismos foram projetados através da construção de um metamodelo dos conceitos presentes nos diagramas de classe, de objetos, de seqüência, de colaboração e de estados. Para construir o metamodelo, utiliza-se a notação do diagrama de classes da UML (Unified Modeling Language). Contudo, por intermédio das representações gráficas do diagrama de classes não é possível descrever toda a semântica presente em tais diagramas. Assim, regras descritas em linguagem de modelagem OCL (Object Constraint Language) são utilizadas como um formalismo adicional ao metamodelo. Com estas descrições em OCL será possível a diminuição das possíveis ambigüidades e inconsistências, além de complementar as limitações impostas pelo caráter gráfico da UML. O metamodelo projetado é mapeado para um modelo Entidade&Relacionamento. A partir deste modelo, são gerados os scripts DDL (Data Definition Language) que serão usados na criação do dicionário de dados, no banco de dados Oracle. As descrições semânticas escritas através de regras em OCL são mapeadas para triggers, que disparam no momento em que o dicionário de dados é manipulado. O MET Editor do SiMOO-RT é a ferramenta diagramática que faz o povoamento dos dados no dicionário de dados. SiMOO-RT é uma ferramenta orientada a objetos para a modelagem, simulação e geração automática de código para sistemas de tempo real.

Simulação e controle de um sistema de suspensão simplificado

As aplicações da mecânica vibratória vêm crescendo significativamente na análise de sistemas de suspensões e estruturas de veículos, dentre outras. Desta forma, o presente trabalho desenvolve técnicas para a simulação e o controle de uma suspensão de automóvel utilizando modelos dinâmicos com um, dois e três graus de liberdade. Na obtenção das equações do movimento para o sistema massa-mola-amortecedor, o modelo matemático utilizado tem como base a equação de Lagrange e a segunda lei de Newton, com condições iniciais apropriadas. A solução numérica destas equações é obtida através do método de Runge-Kutta de 4ª ordem, utilizando o software MATLAB. Para controlar as vibrações do sistema utilizou-se três métodos diferentes de controle: clássico, LQR e alocação de pólos. O sistema assim obtido satisfaz as condições de estabilidade e de desempenho e é factível para aplicações práticas, pois os resultados obtidos comparam adequadamente com dados analíticos, numéricos ou experimentais encontrados na literatura, indicando que técnicas de controle como o clássico podem ser simples e eficientes.

Uma Proposta de uso da Arquitetura Trace como um sistema de detecção de intrusão

Este trabalho propõe a utilização da arquitetura Trace como um sistema de detecção de intrusão. A arquitetura Trace oferece suporte ao gerenciamento de protocolos de alto nível, serviços e aplicações através de uma abordagem baseada na observação passiva de interações de protocolos (traços) no tráfego de rede. Para descrever os cenários a serem monitorados, é utilizada uma linguagem baseada em máquinas de estado. Esta linguagem permite caracterizar aspectos observáveis do tráfego capturado com vistas a sua associação com formas de ataque. O trabalho mostra, através de exemplos, que esta linguagem é adequada para a modelagem de assinaturas de ataques e propõe extensões para permitir a especificação de um número maior de cenários ligados ao gerenciamento de segurançaa. Em seguida, é descrita a implementação do agente de monitoração, componente-chave da arquitetura Trace, e sua utilização para detectar intrusões. Esse agente (a) captura o tráfego da rede, (b) observa a ocorrência dos traços programados e (c) armazena estatísticas sobre a sua ocorrência em uma base de informações de gerenciamento (MIB { Management Information Base). O uso de SNMP permite a recuperação destas informações relativas µa ocorrências dos ataques. A solução apresentada mostrou ser apropriada para resolver duas classes de problemas dos sistemas de detecção de intrusão: o excesso de falsos positivos e a dificuldade em se modelar certos ataques.

Transformações de ordem-desordem no sistema ixiolita-columbita-wodginita

O mineral columbita-tantalita (muitas vezes chamado simplesmente columbita,para Nb>Ta,ou tantalita,paraNbsolução sólida do tipo AB206 (A=Fe,Co,Mn,Mg, Ni e B=Ta, Nb), pertencente ao grupo espacial Pbcn (estruturaortorrômbica).Na fase ordenada o sistema apresenta uma superestrutura do tipo a-Pb02. Relacionados com este sistema temos os minerais wodginita, com a fórmula genérica ABC20s (A=Mn, Fe2+B= Sn, Ti, Fe3+,Ta e C=Ta, Nb), e ixiolita M02 (M=Mn, Sn, Fe, Ta, Nb) que é uma subestrutura da columbita. Fenômenos de ordem-desordem envolvendo estes minerais ainda apresentam questões em aberto. Sabe-se, por exemplo, que o ordenamento dos cátions na estrutura M02 é possível se a célula unitária for aumentada: triplicando-a tem-se a estabilização da estrutura AB206 quadruplicando-a tem-se a estrutura ABC2Os. Todavia, não se sabe se a ocorrência de uma ou outra rota depende de fatores geoquímicos ou de fatores cristaloquímicos. Evolução térmica e fenômenos de ordem-desordem, investigados em uma manganotantalitanatural parcialmente ordenada (Mn,Fe)(Ta,Nb)206e em uma ferrocolumbita sintética Fe(Nb,Tah06, são relatados na presente dissertação. As amostras foram caracterizadas com o uso da difração de raios-X (DRX), através de refinamento estrutural com o programa FullProf. As propriedades químicas e magnéticas foram investigadas com o uso da EspectroscopiaMõssbauer (EM) Tratamento térmico em ar na amostra natural parcialmente ordenada leva a diferentes resultados dependendo da forma da amostra. Para amostra em pó a transformação manganotantalita-wodginita foi observada, com pequenas contribuições de (Fe,Mn)(Nb,Ta)04 e (Nb,TahOs. Para um fragmento de cristal o tratamento térmico produz a mistura de quatro fases, sendo a maior contribuição devido ao ordenamento da fase (Mn,Fe)(Ta,Nb)206 presente no interior do cristal. (Mn,Fe)(Ta,Nbh06 presente na superficie do cristal oxida-se, como no caso observado na amostra em pó. O tratamento térmico em ar, aplicado na ferrocolumbita sintética, gerou a transformação ferrocolumbita-ixiolita.