Uma Proposta de especificação formal e fundamentação teórica para simulated annealing

Os algoritmos baseados no paradigma Simulated Annealing e suas variações são atualmente usados de forma ampla na resolução de problemas de otimização de larga escala. Esta popularidade é resultado da estrutura extremamente simples e aparentemente universal dos algoritmos, da aplicabilidade geral e da habilidade de fornecer soluções bastante próximas da ótima. No início da década de 80, Kirkpatrick e outros apresentaram uma proposta de utilização dos conceitos de annealing (resfriamento lento e controlado de sólidos) em otimização combinatória. Esta proposta considera a forte analogia entre o processo físico de annealing e a resolução de problemas grandes de otimização combinatória. Simulated Annealing (SA) é um denominação genérica para os algoritmos desenvolvidos com base nesta proposta. Estes algoritmos combinam técnicas de busca local e de randomização. O objetivo do presente trabalho é proporcionar um entendimento das características do Simulated Annealing e facilitar o desenvolvimento de algoritmos com estas características. Assim, é apresentado como Simulated Annealing e suas variações estão sendo utilizados na resolução de problemas de otimização combinatória, proposta uma formalização através de um método de desenvolvimento de algoritmos e analisados aspectos de complexidade. O método de desenvolvimento especifica um programa abstrato para um algoritmo Simulated Annealing seqüencial, identifica funções e predicados que constituem os procedimentos deste programa abstrato e estabelece axiomas que permitem a visualização das propriedades que estes procedimentos devem satisfazer. A complexidade do Simulated Annealing é analisada a partir do programa abstrato desenvolvido e de seus principais procedimentos, permitindo o estabelecimento de uma equação genérica para a complexidade. Esta equação genérica é aplicável aos algoritmos desenvolvidos com base no método proposto. Uma prova de correção é apresentada para o programa abstrato e um código exemplo é analisado com relação aos axiomas estabelecidos. O estabelecimento de axiomas tem como propósito definir uma semântica para o algoritmo, o que permite a um desenvolvedor analisar a correção do código especificado para um algoritmo levando em consideração estes axiomas. O trabalho foi realizado a partir de um estudo introdutório de otimização combinatória, de técnicas de resolução de problemas, de um levantamento histórico do uso do Simulated Annealing, das variações em torno do modelo e de embasamentos matemáticos documentados. Isto permitiu identificar as características essenciais dos algoritmos baseados no paradigma, analisar os aspectos relacionados com estas características, como as diferentes formas de realizar uma prescrição de resfriamento e percorrer um espaço de soluções, e construir a fundamentação teórica genérica proposta.

Estudo exploratório da deposição de filmes de diamante em alguns substratos cerâmicos

o presente trabalho é um estudo exploratório a respeito da síntese de filmes de diamante via deposiçãoquímica a vapor (CVD) sobre alguns substratos cerâmicos: diboreto de titânio (TiB2), ítria (Y20a), zircão (ZrSi04), zircônia parcialmente e totalmente estabilizada com ítria (Zr02), pirofilita ( Al2Si4OlO(OHh), .alumina (Al2Oa) e nitreto de boro hexagonal (h-BN). Estes substratos foram produzidos, em sua maioria, a partir da sinterização de pós micrométricos em altas temperaturas. Além do estudo em relação a possíveis candidatos alternativos ao tradicional silício para o crescimento de filmes auto-sustentáveis, procuramos encontrar substratos onde o filme aderisse bem e cujas propriedades tribológicas pudessem ser melhoradas com o recobrimento com filme de diamante.Dentre os materiais selecionados, constatamos que a topografia da superfície relacionada à densidade de contornos de grão, desempenha um papel relevante na nucleação do diamante. Além disso, os materiais que favorecem a formação de carbonetos conduziram a melhores resultados na nucleação e crescimento do filme, indicando que a ação da atmosfera reativa do CVD com o substrato também contribui decisivamente para o processo de nucleação. A partir dos resultados obtidos, concluímos que a aderência do filme de diamante ao zircão é excelente, assim como a qualidade do filme, o que pode serexplorado convenientemente caso as propriedades mecânicas do sinterizado de zircão sejam adequadas. No caso da zircônia parcialmente estabilizada, os resultados obtidos foram surpreendentes e este material poderia substituir o convencional substrato de silício para a deposição de filmes auto-sustentados de diamante, com inúmeras vantagens, dentre elas o fato de ser reutilizável e de não ser necessário ataque com ácidos para remoção do substrato, o que evita a geração de resíduos químicos.

Adesão de filme auto-sustentado de diamante CVD em metal duro

O objetivo deste trabalho foi desenvolver conhecimento científico e tecnológico sobre o mecanismo de adesão de filmes de diamante CVD em metal duro. Foi estudado de forma sistemática o processo de brasagem reativa convencional em vácuo, com liga de AgCuTi, onde foram avaliados os efeitos do tempo, da temperatura e da atmosfera durante o processo de brasagem. O grau de aderência foi avaliado por um ensaio de tração mecânica adaptado. Os melhores resultados foram obtidos para brasagem em vácuo, em temperaturas na faixa de 900 a 920 oC e tempos de 3 a 20 minutos. Tendo em vista as limitações da brasagem em vácuo, relacionadas à reatividade do elemento reativo, o Ti, a baixa resistência da liga (à base de cobre e prata, que são metais macios) e a necessidade de uma atmosfera controlada para evitar a oxidação do próprio diamante na faixa de temperatura utilizada, foi desenvolvido neste trabalho um novo método de Adesão e brasagem de filmes auto-sustentados de diamante CVD em metal duro. Este método utiliza altas pressões e altas temperaturas para promover a adesão, utilizando câmaras simples e de baixo custo. Os resultados obtidos mostraram ser possível unir diamante ao metal duro com ou sem o material de adição, em condições de pressão e temperatura adequadas. As vantagens de utilizar alta pressão relacionam-se à possibilidade de manter o diamante estável em altas temperaturas, minimizar as falhas de preenchimento na interface entre o diamante e o metal duro, facilitar a difusão na interface, através das fronteiras de grão, promover o ancoramento e minimizar a espessura da película de brasagem quando utilizado o material de adição O grau de aderência das amostras foi avaliado através de um ensaio de cisalhamento e os resultados foram excelentes. No caso da adesão direta em altas pressões, sem o material de adição, o mecanismo responsável pela aderência provavelmente está relacionado ao ancoramento induzido pela pressão e à difusão do cobalto, presente no metal duro, para a interface com o diamante, servindo como uma espécie de “cola”. Entretanto, esta “cola” atua como catalisador para o carbono e pode interferir na estabilidade do filme de diamante. De fato, para adesão direta a 2,5 GPa e 1200 oC, observou-se a completa grafitização do filme de diamante. Este grafite apresentou alto grau de cristalinidade e de orientação preferencial, com planos basais não paralelos à superfície de interface. Para adesão direta a pressões dentro da região de estabilidade termodinâmica do diamante, este permaneceu íntegro e, inclusive, observou-se uma melhora na cristalinidade para adesão direta a 7,7 GPa e 1500 oC. Na adesão direta em alta pressão, é preciso levar em consideração a cinética do processo de adesão, relacionada à difusão do cobalto, e a estabilidade de fase do diamante. Na brasagem em alta pressão, foram obtidos resultados positivos para processamentos a 2,5 GPa e 4 GPa, na mesma faixa de temperatura utilizada na brasagem convencional. Como estas temperaturas são menores, não houve grafitização do filme a 2,5 GPa. A 7,7 GPa, a liga ficou completamente aderida ao diamante e não houve a união com o metal duro. Isso ocorreu pela diferença de compressibilidade da liga em relação ao diamante e ao metal duro Foram produzidas algumas ferramentas utilizando a brasagem convencional, as quais foram afiadas e testadas em condições de usinagem, com resultados satisfatórios.