Proposta e implementação de uma máquina de workflow para o Projeto CEMT

Este trabalho apresenta um protótipo de uma máquina de workflow, de uso geral, implementado em plataforma de software livre. O protótipo utiliza um servidor web com PHP, em sistema operacional Linux, alguns programas desenvolvidos em C e o banco de dados MySql. O projeto CEMT demanda o uso da tecnologia de workflow, com o objetivo de controlar a execução de cursos a distância. Antes de ser iniciado o desenvolvimento do protótipo, foi feito um estudo sobre algumas máquinas de workflow existentes, com o objetivo de encontrar alguma que tivesse licença livre e pudesse ser utilizada no projeto CEMT, ou colher subsídios para o desenvolvimento de uma máquina de workflow própria. Foram testadas duas máquinas de workflow de licença livre (Openflow e OFBIZ), uma máquina com cópia de demonstração (Reactor) e foram consultadas as documentações fornecidas pelos fabricantes. Além disso foi consultada também a documentação do Domino Workflow, que não disponibilizou cópia de avaliação e cuja licença não é livre. Um dos requisitos do protótipo é a compatibilidade com os padrões de interface recomendados pela WfMC. Esses padrões permitem a interoperabilidade entre softwares de workflow. O primeiro benefício da adoção desses padrões é a interação com o editor gráfico de workflow AW (Amaya Workflow), desenvolvido no Instituto de Informática da UFRGS. Este editor gera definições de processos de workflow no formato da linguagem XPDL (XML Process Definition Language), que alimentam a máquina de workflow. O esquema XPDL foi traduzido para um esquema de banco de dados relacional e foi desenvolvido um compilador que lê um arquivo no formato XPDL e gera comandos SQL de inserção das informações desse arquivo no banco de dados. Foi desenvolvida uma interface web para demonstrar o funcionamento do protótipo. A API definida na Interface 2 da WfMC foi implementada parcialmente. Essa API permite o desenvolvimento independente de outras interfaces de usuário. Foram propostas algumas extensões à Interface 1 e modificações na definição de estados recomendada pela Interface 2 da WfMC. Com isso foi possível aumentar o controle sobre a execução das instâncias de workflow. Foram incluídas as restrições de data e possibilidade de bloqueio na execução de instâncias de atividades. Outras extensões possibilitam um serviço de notificações e atividades em grupo e oferecem novas possibilidades de alocação de atividades. O funcionamento básico do protótipo é descrito e inclui as funcionalidades de carga da definição de processo, instanciação de processo, visualização da lista de trabalho e execução das atividades, entre outras.

Mapeamento da linguagem Nautilus para Java

Este trabalho apresenta um mapeamento centrado nas construções não usuais da linguagem Nautilus, para a linguagem convencional, no caso Java, mantendo propriedades com atomicidade que são requisitos da semântica formal da linguagem. Nautilus é originalmente uma linguagem de especificação baseada em objetos, textual que suporta objetos concorrentes e não deterministas. Desde então a linguagem foi modificada aom extensões como classes e uma notação diagramática, além de se investigar seu uso como linguagem de programação. Suas construções incomuns (reificação, agregação, etc.) são baseados em seu domínio semântico: Automâtos Não Sequenciais. Este domíno satisfaz composição diagonal, i.e refinamentos se compõem (verticalmente) refletindo uma descrição gradual de sistemas, envolvendo múltiplos níveis de abstração, e distribui-se através de combinadores (horizontalmente), o que significa que o refinamento de um sistema composto é a combinação de do refinamento de suas partes.O trabalho inclui um mapeamento inicial de um subconjunto da linguagem(objeto base, reificação, agregação e visão), uma versão ampliada para abranger mais construções( interação e classes), e uma versão refinada mais concorrente e sugestões de modificação na linguagem.

Comportamento mecânico de polímero termoplástico para aplicação em engrenagem automotiva

Polímeros de engenharia foram avaliados para aplicação no par de engrenagens parafuso sem fim do porta-estepe de caminhão. A fim de suportar o carregamento de forma eficiente, dispensando lubrificantes e considerando um custo de fabricação competitivo para a engrenagem de um porta-estepe, foram pré-selecionados nove polímeros: um polipropileno, as poliamidas (PA) 6 e 66, de cadeia molecular linear, sem e com 15 e 30% de fibra de vidro (FV), uma poliamida de cadeia molecular ramificada, tipo estrela com 60% de fibra de vidro e um poliéster com 25% de grafite. Esses termoplásticos foram avaliados para selecionar o polímero com a melhor performance para a fabricação do par de engrenagens. O trabalho foi dividido em três etapas. A primeira consistiu na confecção de corpos-de-prova e análise dos polímeros quanto às resistências à tração e à flexão, resistência ao impacto Izod, análise dinâmico-mecânica (DMA) e resistência à abrasão. Os materiais selecionados, com o melhor conjunto de propriedades nessa etapa foram as PA 6 e 66 ambas com 30% de FV e também a PA com 60% de FV. Na segunda etapa, esses polímeros foram avaliados quanto às características reológicas. Os materiais com as melhores características reológicas foram a PA 6 com 30% de FV e a PA com 60% de FV. A terceira etapa consistiu em teste em bancada a partir da confecção de pares de engrenagens, sendo os materiais selecionados injetados em forma de tarugos e após usinados Foram feitas três combinações com as duas PA selecionadas para ensaio em bancada. Na primeira utilizou-se a PA 6 com 30% de FV no pinhão e na coroa; após 623 ciclos, houve falha do par de engrenagens com ruptura do dente do pinhão. Na segunda combinação, o pinhão e a coroa em PA com 60% de FV; em 161 ciclos, teve a quebra do dente do pinhão. Na última combinação utilizou-se a PA com 60% de FV no pinhão e a PA 6 com 30% de FV na coroa, sendo que o par de engrenagens resistiu até 1200 ciclos sem ocorrer falha do sistema. Apesar da garantia do porta-estepe ser de seis meses, a estimativa do fabricante é de cinco anos de vida útil do par de engrenagens, tendo três trocas de pneu por mês; com isso, tem-se um total de 180 ciclos de aplicação desse mecanismo. Portanto, o pinhão em PA com 60% de FV e a coroa em PA 6 com 30% de FV apresentaram a melhor performance para a fabricação do par de engrenagens parafuso sem fim do porta-estepe de caminhão.

Ensaios em opções reais e investimento sob incerteza

Esta tese é composta por três artigos, nos quais são apresentadas extensões e aplicações da Teoria das Opções Reais, todas de interesse para formuladores de política econômica no Brasil. O primeiro faz uma análise original da questão da bioprospecção, ou a exploração da diversidade biológica para fins econômicos. Duas estruturas alternativas para o desenho do mecanismo de concessão, visando o uso sustentável da biodiversidade brasileira, são sugeridas: (i) um modelo de projetos de P&D com maturidade incerta, no qual a intensidade do processo de Poisson que governa o tempo de maturação é explicitamente dependente do nível da biodiversidade no local concedido; (ii) um modelo de Agente-Principal, onde o Estado delega o exercício da opção de investimento à empresa de pesquisa biotecnológica. O segundo artigo avança a analogia entre opções de venda (“put options”) e cotas de importação. Os parâmetros relevantes para apreçar as licenças são agora obtidos endogenamente, a partir da interação entre a firma importadora e os produtores domésticos. Por fim, no terceiro, é feita análise pioneira do mercado paralelo de títulos precatórios no Brasil. Um modelo para a valoração de tais títulos é construído e proposto, tendo por base o arcabouço institucional existente sobre o assunto, tanto no governo central, como nos estados e municípios.

Desenvolvimento do processo de construção de curvas limite de conformação

Este trabalho analisa o processo de obtenção da Curva Limite de Conformação (CLC) através do procedimento adotado por Nakazima, 1968. Ele variando o formato dos corpos de prova submeteu os mesmos a um ensaio de estiramento simulando uma ampla faixa de deformações que vão desde o embutimento profundo passando pela deformação de tração simples até a deformação biaxial de tração. Foram feitos ensaios com corpos de prova em formato de tiras, exatamente como Nakazima propôs. A ruptura para estes corpos de prova ocorre de modo aleatório rompendo inclusive na região de contado da matriz com o mesmo. Fez-se ensaios com corpos de prova com tiras entalhadas. Esse entalhe tem a função de promover a estricção ou ruptura dependendo do ponto de parada do ensaio, na região de contato entre punção e corpo de prova ensaiado. No presente trabalho utiliza-se o mesmo método de Nakazima variando o formato do punção, em vez de um domo ou ponta hemisférica optou-se pela ponta eliptica. Foi analisada a influencia na CLC obtida, uma vez que a forma elíptica proporciona uma área de contato inicial maior gerando menores solicitações mecânicas no inicio do ensaio resultando numa CLC mais para cima quando comparada com uma CLC gerada com punção hemisférico. Para esta análise utilizou-se como matéria prima o alumínio comercialmente puro liga AA1050-O.

Análise estratigráfica da formação Sergi, Campo de Fazenda Bálsamo, Bacia do Recôncavo, Bahia

A Formação Sergi é composta por uma espessa sucessão de depósitos fluviais, eólicos e lacustres relacionados à sedimentação jurássica pré-rifte da Depressão Afro- Brasileira. Com base em dados de subsuperfície (testemunhos e perfis), foram reconhecidas três unidades deposicionais na Formação Sergi no Campo de Fazenda Bálsamo, Bacia do Recôncavo. A Seqüência Ia interdigita-se com os pelitos do Membro Capianga e o seu limite inferior não foi determinado. Depósitos flúvio-lacustres e lençóis de areia eólicos sinalizam a franca progradação de sistemas fluviais distais, com pontuadas retrogradações lacustres e eventuais acumulações eólicas relacionadas a condições ambientais áridas e semi-áridas. A arquitetura tabular dos depósitos reproduz suaves gradientes de amplas áreas recortadas por fluxos estabelecidos em canais pouco estáveis e pobremente definidos. O seu registro relaciona-se a subidas do nível de base estratigráfico, em momentos que as taxas de suprimento sedimentar excederam as taxas de criação de espaço de acomodação, ou, de outro modo, pela progressiva redução nas taxas de subida do nível de base. A Seqüência Ib é constituída por associações de depósitos de fluxos fluviais efêmeros, lacustres e dunas, interdunas e lençóis de areia eólicos. O contato inferior é marcado por um consistente pacote eólico que denota um expressivo rebaixamento do nível de base estratigráfico, enquanto que o superior corresponde a uma superfície erosiva de caráter regional com a Seqüência II que lhe sobrepõe ou, quando da ausência desta, diretamente com os pelitos da Formação Itaparica, unidade litoestratigráfica imediata. Depósitos de dunas e interdunas eólicas na base do intervalo tiveram sua preservação assegurada pela subida do lençol freático, agente que também abasteceu corpos lacustres nas áreas topograficamente rebaixadas do campo de dunas. Seguida aos pontuais fluxos fluviais efêmeros desenvolvidos em canais rasos e pouco estáveis nas épocas mais úmidas, passavam-se longos períodos de rigor climático favoráveis aos processos eólicos. A dinâmica fluvial impôs à geometria deposicional da sucessão uma forma de corpos arenosos amalgamados, pacotes eólicos descontínuos e níveis pelíticos lenticulares. O modelo evolutivo estratigráfico para a Seqüência Ib é similar ao da Seqüência Ia, porém com variações na taxa de subida do nível de base estratigráfico ao longo do tempo. A Seqüência II ocupa a porção superior da Formação Sergi. Sua ocorrência é restrita na área de estudo se confrontada com outras partes da bacia, mas, nem por isso é destituída de importância. Suas características litológicas indicam continuidade dos processos deposicionais em sistemas fluviais de canais entrelaçados e baixa sinuosidade, supostamente associados a condições perenes e mais úmidas, com poucas evidências de variações extremas na descarga. Em resposta às baixas taxas de criação de espaço de acomodação, o registro sedimentar de uma complexa rede de canais multilaterais e multiepisódicos se manifesta em corpos arenosos amalgamados, com baixo potencial de preservação dos depósitos extracanais. A drástica mudança no estilo fluvial teria vínculo com severas mudanças climáticas, bem como a reorganização da drenagem em conseqüência de primitivas manifestações do tectonismo que atingiu seu auge no Eocretáceo, durante o rifteamento da bacia.

Caracterização dos neurônios envolvidos na ventilação pulmonar de Megalobulimus abbreviatus (Gastropoda: Pulmonata)

O uso de moluscos gastrópodes para estudos neurobiológicos é vantajoso porque seu sistema nervoso e comportamentos são intermediários em complexidade quando comparados a outros animais. Os padrões de atividade derivados do sistema nervoso central (SNC) são modulados por informações periféricas provenientes de vários quimio e mecanorreceptores, os quais desempenham funções importantes na manutenção da homeostase interna. Assim, juntos, elementos centrais e periféricos permitem ao animal modular seu comportamento respiratório de acordo com suas demandas metabólicas. O objetivo deste trabalho originou-se da necessidade da compreensão da atividade respiratória do caracol pulmonado terrestre Megalobulimus abbreviatus, da identificação dos neurônios do sistema nervoso central envolvidos no seu controle, bem como da organização da inervação de uma estrutura-chave envolvida no comportamento respiratório deste animal, o pneumóstoma. Realizou-se a identificação dos neurônios do SNC que controlam o pneumóstoma através de marcação retrógrada pelo nervo parietal posterior direito com cloreto de cobalto e biocitina; a descrição da morfologia e da histologia da região do pneumóstoma, assim como a análise da presença de monoaminas (método do ácido glioxílico), atividade acetilcolinesterásica (AChE, técnica de Karnovsky & Roots) e de imunorreatividade a FMRF-amida (imunoistoquímica) nesta região. Também foi realizada a investigação sobre uma provável relação entre o sistema dopaminérgico, serotoninérgico e peptidérgico (FMRF-amida) com os neurônios identificados por marcação retrógrada nos gânglios nervosos centrais, através da comparação entre os neurônios retrogradamente marcados com neurônios imunorreativos à tirosina hidroxilase (TH), serotonina (5-HT) e FMRF-amida. Neurônios retrogradamente marcados foram encontrados nos gânglios pedais, pleural direito, parietal direito e visceral. Encontrou-se na superfície do tegumento do pneumóstoma um epitélio constituído de uma única camada de células cilíndricas, com microvilosidades ou cílios como terminação apical, envolvido por uma camada muscular bem desenvolvida. Foi possível verificar que a organização da inervação na região do pneumóstoma está constituída de uma rede neural para suprir a camada muscular e ramos neurais mais finos que estão mais densamente distribuídos em um plexo na camada epitelial e subepitelial adjacente, onde corpos celulares neuronais foram identificados (catecolaminérgicos ou com atividade AChE). A análise do padrão de inervação do pneumóstoma, juntamente com os dados da comparação entre neurônios retrogradamente marcados e imunorreativos no SNC, permitiu concluir-se que o neuropeptídeo FMRF-amida parece ter uma grande importância na regulação motora da região do pneumóstoma, assim como a 5-HT, que provavelmente possui uma função motora ou modulatória nesta região, enquanto que a participação da dopamina no controle respiratório deve ser principalmente sensorial, responsável pelas informações provindas do tegumento do pneumóstoma.

Relação da densidade populacional sobre variáveis de qualidade físico-química das águas superficiais em microbacias hidrográficas urbanas sem cobertura sanitária em Porto Alegre - RS

O objetivo principal deste trabalho foi a análise da variação de alguns parâmetros físico-químicos da qualidade das águas de pequenos rios urbanos com baixas a médias densidades de ocupação populacional nas áreas de drenagem de suas bacias hidrográficas. Para isso, foram selecionadas 4 bacias hidrográficas urbanas situadas na Região Metropolitana de Porto Alegre/RS: Arroios Mãe d‘Água e Moinho apresentando média densidade populacional bruta (cerca de 70 hab/ha), Arroio Capivara apresentando baixa densidade populacional (8 hab/ha próximo às nascentes da bacia e 33 hab/ha considerando a área até próximo à sua foz), e o Arroio Agronomia que apresenta um tributário relativamente bem preservado, com ocupação urbana residual (<2 hab/ha), considerado como referencia regional para a qualidade físico-química das águas. Os resultados mostraram que a população residente nestas áreas apresenta deficiências de atendimento do ponto de vista do saneamento básico (coleta e tratamento de esgotos sanitários, coleta de lixo e abastecimento de água) impondo aos moradores o uso de tecnologias de disposição local dos seus resíduos. Como resultado, os dados mostraram uma relação direta entre a densidade populacional e a presença de esgotos não tratados nos corpos d’água, e como conseqüência, observaram-se alterações importantes em quase todas as variáveis físico-químicas escolhidas para o monitoramento da qualidade das águas, quando comparadas com a condição referencial. Entre os modelos de regressão testados (linear, potência, logarítmico, exponencial e polinomial de segundo e terceiro graus) o modelo logarítmico apresentou melhor ajuste sobre os demais, indicando a possibilidade do seu uso para 21 das 26 variáveis.A forma logarítmica indica que, a partir de uma condição natural não urbanizada, mesmo pequenas densidades populacionais são capazes de alterar significativamente a qualidade das águas.

Análise da solidificação para o projeto de molde e a relação com as propriedades mecânicas na fundição da liga de latão 60/40

As propriedades metalúrgicas e mecânicas de uma liga metálica dependem fundamentalmente do fenômeno de solidificação e dos parâmetros associados a este. O trabalho proposto analisa a solidificação em uma primeira etapa para o projeto e otimização de moldes de fundição em areia. Nessa etapa utilizou-se como ferramenta um software comercial e resultados experimentais obtidos na indústria. Em uma segunda etapa do trabalho foi investigado as características de solidificação e suas influencias nas propriedades mecânicas e metalúrgicas de ligas de latão. A liga de latão 60/40, foi vazada em molde de areia com base de cobre objetivando uma condição de solidificação unidirecional. O monitoramento de temperaturas foi realizado utilizando-se termopares do Tipo K posicionados ao longo da altura do lingote. O lingote solidificado foi dividido em várias secções ao longo de sua altura, e para cada secção foram retirados corpos de provas e ensaiados segundo as normas ASTM E 8M-97 e ASTM E 18 – 94 para os ensaios mecânicos (σu, HRB e HV) e ASTM E112 para análise metalográfica. Os resultados da solidificação, como por exemplo o espaçamento dendritico secundário foram correlacionados com o comportamento da transferência de calor no sistema, tomando como parâmetros o gradiente térmico, a velocidade da interface (S/L) e a taxa de resfriamento, os quais foram obtidos experimentalmente. Estas características do processo metalúrgico e os resultados da solidificação foram relacionados com as propriedades mecânicas como a resistência à tração (σu) e a dureza (HRB e HV). Foram obtidas, empiricamente, expressões do tipo σu = f( λ2), HRB = f( λ2) , HV = f( λ2) e σu = f( HRB). Os resultados se mostraram coerentes com os dados da literatura e a relação de Hall-Petch que associa a dureza HRB com o espaçamento dendritico secundario. Palavras Chaves: modelagem em areia, microestrutura, propriedades mecânicas, liga de latão, solidificação, EDS.

Avaliação do desempenho de LEDs na ativação de um compósito odontológico através de ensaios de sorção, solubilidade, nanodureza e módulo de elasticidade

O objetivo deste estudo foi avaliar o desempenho de quatro aparelhos fotopolimerizadores comerciais que utilizam LED como fonte de luz: Elipar Free Light 2 (E), Radii (R), L.E.Demetron I (D) e Single V (S) na polimerização do compósito Z250, na cor A3, por 20s, através dos ensaios de sorção, solubilidade, nanodureza e módulo de elasticidade. Um fotopolimerizador convencional de lâmpada halógena XL2500 (XL) foi utilizado como parâmetro de comparação. Para o ensaio de sorção e solubilidade foram confeccionados 5 corpos de prova com 15mm de diâmetro e 1mm de espessura para cada aparelho fotopolimerizador. Os ensaios foram realizados segundo a especificação da ISO 4049:2000 e os resultados mostraram que todos os grupos atenderam às exigências da norma que permite, no máximo, 40g/mm2 de sorção e 7,5g/mm2 de solubilidade. Para o ensaio de nanodureza e módulo de elasticidade foram confeccionados 5 corpos de prova cilíndricos com 6mm de diâmetro e 4mm de altura, para cada aparelho fotopolimerizador. A medição foi feita, em profundidade (1mm, 2mm e 3mm), no interior do corpo de prova, 24 h após a confecção dos mesmos. Os valores de nanodureza foram obtidos a partir da média de quatro endentações, realizadas em cada uma das três profundidades, de cada corpo de prova, com o equipamento Fischerscope HV, utilizando penetrador Berkovich com carga de 250mN. Os resultados obtidos foram submetidos à análise de variância e ao teste de Tukey para comparação entre os aparelhos, em cada profundidade (α=0,05) e comparação individual de cada aparelho nas diferentes profundidades (α=0,05). Na profundidade de 1mm todos os grupos apresentaram valores de nanodureza estatisticamente superiores à profundidade de 3mm. Para a profundidade de 1mm não houve diferença estatisticamente significativa entre os aparelhos. Para a profundidade de 2mm os aparelhos LED R, D e S foram superiores ao XL, e E não apresentou diferença estatisticamente significativa de D, S e XL. Para a profundidade de 3mm, não foi observada diferença estatisticamente significativa entre os LEDs, sendo R estatisticamente superior ao XL. Os valores do módulo de elasticidade não mostraram diferença entre os grupos na profundidade de 1mm e para as profundidades de 2 e 3mm, o XL apresentou valor estatisticamente inferior aos LEDs que não mostraram diferença entre si. Os resultados permitiram concluir que todos os aparelhos LED analisados mostraram um desempenho no mínimo semelhante, senão melhor do que a lâmpada halógena, considerando as propriedades de sorção, solubilidade, nanodureza e módulo de elasticidade desenvolvidas por eles no compósito Z250.

Reúso do resíduo de fundição areia verde na produção de blocos cerâmicos

A areia de moldagem descartada é o principal resíduo da indústria de fundição. Esse resíduo é regenerado e recirculado no processo produtivo, até o momento que deve ser descartado. O emprego em materiais da construção civil tem sido indicado como a principal possibilidade de utilização segura das areias descartadas. Assim, o objetivo deste trabalho foi analisar, com base em estudos de laboratório e industriais, os aspectos tecnológicos e ambientais do reúso da areia de fundição na produção de blocos cerâmicos. A areia verde foi obtida de uma típica indústria de produção de ferro fundido, localizada no município de Erechim, RS, Brasil, que utiliza os processos de moldagem em areia verde e cold box. Em laboratório foram caracterizados as argilas e o resíduo através de análises químicas, mineralógicas e granulométricas. Foram avaliadas as características dos corpos-de-prova produzidos com adições de 0, 5, 10 e 20% do resíduo na massa cerâmica. Estudou-se também o efeito de diferentes temperaturas de queima. As propriedades avaliadas foram retração linear, absorção de água, resistência à flexão em quatro pontos, composição química, periculosidade (conforme a NBR 10004/2004) e emissões gasosas. Os estudos em planta industrial foram realizados na produção de lotes de blocos cerâmicos de 6 furos sem e com 10% de areia de fundição. . Avaliaram-se as propriedades geométricas, absorção de água, resistência à compressão, periculosidade (conforme a NBR 10004) e emissões gasosas. Segundo a NBR 10004, o resíduo é classificado como Não Perigosos – Classe II A - Não Inertes. Os estudos em laboratório demonstraram que os melhores resultados de resistência mecânica foram obtidos com dosagens de 5 e 10% de areia de fundição e temperatura de queima de 900oC. Através dos resultados da indústria comprovou-se a similaridade e conformidade dos blocos cerâmicos, de acordo com a norma vigente, produzidos com 10% de areia de fundição em termos de geometria, absorção de água e resistência mecânica, permitindo a sua comercialização. Esta dosagem de areia verde não elevou a concentração de poluentes nas emissões gasosas e contribuiu para a redução da emissão de CO. Por fim, pode-se concluir que a reciclagem do resíduo sólido de fundição - areia verde mostrou-se perfeitamente possível para fabricação de produtos de cerâmica vermelha para construção civil.

Semântica formal para TVQL

Modelos de bancos de dados têm sido progressivamente estendidos a fim de melhor capturar necessidades específicas de aplicações. Bancos de dados versionados, por exemplo, provêm suporte a versões alternativas de objetos. Bancos de dados temporais, por sua vez, permitem armazenar todos os estados de uma aplicação, registrando sua evolução com o passar do tempo. Tais extensões sobre os modelos de dados se refletem nas respectivas linguagens de consulta, normalmente sob a forma de extensões a linguagens conhecidas, tais como SQL ou OQL. O modelo de banco de dados TVM (Temporal Versions Model ), definido sobre o modelo de banco de dados orientado a objetos, suporta simultaneamente versões alternativas e o registro de alterações de objetos ao longo do tempo. A linguagem de consulta TVQL (Temporal Versioned Query Language), definida a partir da linguagem de consulta SQL, permite recuperar informações do modelo de dados TVM. As construções introduzidas em TVQL têm como objetivo tornar simples a consulta do banco de dados em diversos pontos da linha temporal. Apesar das vantagens da utilização da linguagem TVQL para resgatar dados temporais do modelo TVM, existem algumas limitações importantes para seu aprimoramento. Uma delas é a alta complexidade do modelo TVM, proveniente da integração de conceitos variados como estados alternativos e rótulos temporais. Outro ponto é que, até o presente momento, não existe um interpretador para TVQL, impedindo uma experiência prática de programação de consultas. O objetivo principal deste trabalho é o desenvolvimento de uma especificação formal para a linguagem TVQL, tornando possível um estudo consistente de suas construções. Adicionalmente, uma especificação formal serve como documentação para futuras implementações de interpretadores. Neste trabalho foi desenvolvido um protótipo de avaliador de consultas e verificador de tipos para um núcleo funcional da linguagem TVQL, possibilitando também uma experimentação prática sobre os modelos propostos.

Estudo das propriedades mecânicas de juntas soldadas em alta velocidade pelo processo de fricção e mistura mecânica

Na tentativa de produzir componentes cada vez mais leves e seguros a industria automotiva vem continuamente atualizando seus produtos no que diz respeito à associação de materiais, uso de uniões por solda, utilização de ligas leves em substituição de ligas de aço e etc. Três são os motivos básicos para estas mudanças: aumento da segurança dos passageiros, diminuição do consumo de combustível e redução os custos de produção. As ligas de alumínio, em sua maioria desenvolvidas para uso em tecnologia aeronáutica, vêm ganhando espaço também na produção de automóveis de passeio. Um dos maiores problemas apresentados pelas ligas de alumínio é a baixa soldabilidade dificultando a produção de componentes como os conhecidos Tailor Welded Blanks (TWB). TWB consiste em unir através de solda materiais de espessura e ou propriedades mecânicas diferentes formando uma geratriz para posterior estampagem de um componente Este trabalho inova confeccionando juntas a partir de chapas de espessuras diferentes (TWB) através de soldagem por fricção e mistura mecânica (SFMM) a partir de ligas de alumínio com velocidades de soldagem convencionais (1m/min) e em altas velocidades atingindo 5 e 10m/min dependendo da liga. Duas ligas de alumínio foram utilizadas, AA5754 (não tratável termicamente) e AA6181 (tratável termicamente). Foram realizados ensaios metalográficos, perfis de microdureza, ensaios de tração. Foram realizados também ensaios para levantamento de curvas limite de conformação através de ensaios de tração em corpos de prova etalhados e ensaios de estampabilidade. Os resultados mostram que o processo SFMM é adequado para soldas de espessuras diferentes em altas velocidades. Os ensaios de microdureza não apresentam as típicas variações observadas em processos de soldagem convencional, os testes mecânicos apresentam bons resultados, especialmente paras as juntas da liga AA6181 que em ambas as condições de soldagem apresentaram valores de tensão próximos aos valores do material de base. Os testes de estampagem mostram que as juntas da liga AA5754 apresentam desempenho superior ao material de base quando conformadas, desta forma provando que essa técnica pode ser utilizada para fabricação de geratrizes para estampagem de componentes.

Comportamento de um solo colapsível artificialmente cimentado

Esta tese apresenta duas técnicas diferentes de preparação de amostras para produzir corpos-de-prova “ideais”, i.e. amostras artificialmente moldadas nas condições desejadas. O desafio fundamental da moldagem de amostras altamente colapsíveis cimentadas artificialmente é conservar a estrutura porosa com elevado índice de vazios enquanto ocorre a cura do cimento. Na primeira técnica isto é alcançado acrescentandose partículas de poliestireno expandido à mistura de solo. A segunda técnica utiliza duas etapas de preparo de forma que a cura parcial do cimento da primeira etapa de mistura já aconteceu quando a segunda etapa for realizada. Ambas as técnicas são utilizadas para produzir amostras colapsíveis que imitam o comportamento de solos altamente colapsíveis naturais. Ao mesmo tempo, as técnicas permitem a variação controlada dos parâmetros fundamentais que podem influenciar comportamento de colapso do solo. O trabalho apresentado nesta tese analisou os parâmetros que caracterizam e controlam o comportamento mecânico de solos colapsíveis. O programa experimental foi executado em amostras colapsíveis cimentadas artificialmente que possuem as características físicas mais relevantes de solos colapsíveis naturais: elevado índice de vazios, baixo nível de cimentação e condições não saturadas antes da inundação. O programa de laboratório foi fundamentado em ensaios de compressão não confinada, ensaios de condutividade hidráulica, testes para obtenção da curva característica do solo, análises de microscopia ótica, ensaios de cisalhamento direto, ensaios triaxiais, ensaios edométricos convencionais e com sucção controlada e ensaio de compressão isotrópica com controle de sucção Com base nos resultados experimentais, foi possível observar a importante influência do índice de vazios inicial e do teor de adição de cimento no processo de degradação da cimentação (desestruturação do solo) e no fenômeno de colapso por inundação. Isto é importante para se compreender o comportamento mecânico fundamental de solos colapsíveis cimentados e permitir o desenvolvimento de modelos constitutivos apropriados. É apresentado um modelo constitutivo (Wheeler, 2004) baseado em solos não saturados incluindo o efeito de cimentação (bonding) e o processo de desestruturação do solo. O modelo sugerido foi analisado qualitativamente com base nos resultados obtidos do programa experimental.

Desenho de um sistema de metas sociais

Este trabalho discute a racionalidade econômica para o desenvolvimento de um sistema de metas sociais como forma de o governo federal aumentar a eficiência na utilização dos recursos sociais transferidos para os municípios. O trabalho desenvolve algumas extensões do modelo de agente-principal incluindo abordagens estáticas com e sem informação imperfeita e abordagens dinâmicas com contratos perfeitos e imperfeitos. Os resultados dos modelos estáticos indicam que o uso de critérios usuais de focalização onde localidades mais pobres recebem mais recursos pode levar a incentivos adversos para a erradicação da pobreza. Nós também mostramos que transferências incondicionais do governo federal deslocam gastos sociais locais. O trabalho argumenta em favor do uso de contratos onde quanto maior for a melhora no indicador social escolhido, mais recursos o município receberia. A introdução de informação imperfeita neste modelo basicamente gera uma penalidade aos segmentos pobres de áreas onde os governos demonstram ser menos avessos a pobreza. O trabalho também aborda o problema de favoritismo político onde determinados grupos sociais têm maior, ou menor, atenção por parte de governos locais. O resultado é que as políticas sociais acabam privilegiando determinados setores em detrimento de outros. Com o estabelecimento de metas sociais é possível, se não eliminar o problema, ao menos criar incentivos corretos para que os gastos sociais sejam distribuídos de forma mais equânime. Também desenvolvemos modelos dinâmicos com diferentes possibilidades de renegociação ao longo do tempo. Demonstramos que a melhor forma de aumentar a eficiência alocativa dos fundos seria criar mecanismos institucionais garantindo a impossibilidade de renegociações bilaterais. Esse contrato ótimo reproduz a seqüência de metas e transferências de vários períodos encontrada na solução do modelo estático. Entretanto, esse resultado- desaparece quando incorporamos contratos incompletos. Nesse caso, as ineficiências ex-ante criadas pela possibilidade de renegociação devem ser comparadas com as ineficiências ex-post criadas por não se usar a informação nova revelada ao longo do processo. Finalmente, introduzimos a possibilidade do resultado social observado depender não só do investimento realizado, mas também da presença de choques. Nesse caso, tanto o governo quanto o município aumentam as suas metas de investimento na área social. Contratos lineares na presença de choques negativos fazem com que os municípios recebem menos recursos justamente em situações adversas. Para contornar esse problema, mostramos a importância da utilização de contratos com comparação de performance.