Aspectos dinâmicos da água versus álcool e acetona por técnicas de congelamento

Water still represents, on its critical properties and phase transitions, a problem of current scientific interest, as a consequence of the countless open questions and of the inadequacy of the existent theoretical models, mainly related to the different solid and liquid phases that this substance possesses. For example, there are 13 known crystalline forms of water, and also amorphous phases. One of them, the amorphous ice of very high density (VHDA), was just recently observed. Other example is the anomalous behavior in the macroscopic density, which presents a maximum at the temperature of 277 K. In order to experimentally investigate the behavior of one of the liquid-solid phase transitions, the anomaly in its density and also the metastability, we used three different cooling techniques and, as comparison systems, we made use of the solvents: acetone and ethyl alcohol. The first studied cooling system employ a Peltier plate, a device recently developed, which makes use of small cubes made up of semiconductors to change heat among two surfaces; the second system is a commercial refrigerator, similar to the residential ones. Finally, the liquid nitrogen technique, which is used to refrigerate the samples in a container, in two ways: a very fast and other one, almost static. In those three systems, three Beckers of aluminum were used (with a volume of 80 ml, each), containing water, alcohol and acetone. They were closed and maintained at atmospheric pressure. Inside of each Becker were installed three thermocouples, disposed along the vertical axis of the Beckers, one close to the inferior surface, other to the medium level and the last one close the superior surface. A system of data acquisition was built via virtual instrumentation using as a central equipment a Data-Acquisition board. The temperature data were collected by the three thermocouples in the three Beckers, simultaneously, in function of freezing time. We will present the behavior of temperature versus freezing time for the three substances. The results show the characterization of the transitions of the liquid

Efeito Peltier em estruturas semicondutoras quasiperiódicas

There is nowadays a growing demand for located cooling and stabilization in optical and electronic devices, haul of portable systems of cooling that they allow a larger independence in several activities. The modules of thermoelectrical cooling are bombs of heat that use efect Peltier, that consists of the production of a temperature gradient when an electric current is applied to a thermoelectrical pair formed by two diferent drivers. That efect is part of a class of thermoelectrical efcts that it is typical of junctions among electric drivers. The modules are manufactured with semiconductors. The used is the bismuth telluride Bi2Te3, arranged in a periodic sequence. In this sense the idea appeared of doing an analysis of a system that obeys the sequence of Fibonacci. The sequence of Fibonacci has connections with the golden proportion, could be found in the reproductive study of the bees, in the behavior of the light and of the atoms, as well as in the growth of plants and in the study of galaxies, among many other applications. An apparatus unidimensional was set up with the objective of investigating the thermal behavior of a module that obeys it a rule of growth of the type Fibonacci. The results demonstrate that the modules that possess periodic arrangement are more eficient

Filmes nanométricos de FeN e ALN crescidos por sputtering e aplicações do efeito peltier

This study will show the capability of the reactive/nonreactive sputtering (dc/rf) technique at low power for the growth of nanometric thin films from magnetic materials (FeN) and widegap semiconductors (AlN), as well as the technological application of the Peltier effect using commercial modules of bismuth telluride (Bi2Te3). Of great technological interest to the high-density magnetic recording industry, the FeN system represents one of the most important magnetic achievements; however, diversity of the phases formed makes it difficult to control its magnetic properties during production of devices. We investigated the variation in these properties using ferromagnetic resonance, MOKE and atomic force microscopy (AFM), as a function of nitrogen concentration in the reactive gas mixture. Aluminum nitride, a component of widegap semiconductors and of considerable interest to the electronic and optoelectronic industry, was grown on nanometric thin film for the first time, with good structural quality by non-reactive rf sputtering of a pure AlN target at low power (≈ 50W). Another finding in this study is that a long deposition time for this material may lead to film contamination by materials adsorbed into deposition chamber walls. Energy-dispersive X-ray (EDX) analysis shows that the presence of magnetic contaminants from previous depositions results in grown AlN semiconductor films exhibiting magnetoresistance with high resistivity. The Peltier effect applied to commercially available compact refrigeration cells, which are efficient for cooling small volumes, was used to manufacture a technologically innovative refrigerated mini wine cooler, for which a patent was duly registered

Deciding difference logic in a Nelson-Oppen combination framework

O método de combinação de Nelson-Oppen permite que vários procedimentos de decisão, cada um projetado para uma teoria específica, possam ser combinados para inferir sobre teorias mais abrangentes, através do princípio de propagação de igualdades. Provadores de teorema baseados neste modelo são beneficiados por sua característica modular e podem evoluir mais facilmente, incrementalmente. Difference logic é uma subteoria da aritmética linear. Ela é formada por constraints do tipo x − y ≤ c, onde x e y são variáveis e c é uma constante. Difference logic é muito comum em vários problemas, como circuitos digitais, agendamento, sistemas temporais, etc. e se apresenta predominante em vários outros casos. Difference logic ainda se caracteriza por ser modelada usando teoria dos grafos. Isto permite que vários algoritmos eficientes e conhecidos da teoria de grafos possam ser utilizados. Um procedimento de decisão para difference logic é capaz de induzir sobre milhares de constraints. Um procedimento de decisão para a teoria de difference logic tem como objetivo principal informar se um conjunto de constraints de difference logic é satisfatível (as variáveis podem assumir valores que tornam o conjunto consistente) ou não. Além disso, para funcionar em um modelo de combinação baseado em Nelson-Oppen, o procedimento de decisão precisa ter outras funcionalidades, como geração de igualdade de variáveis, prova de inconsistência, premissas, etc. Este trabalho apresenta um procedimento de decisão para a teoria de difference logic dentro de uma arquitetura baseada no método de combinação de Nelson-Oppen. O trabalho foi realizado integrando-se ao provador haRVey, de onde foi possível observar o seu funcionamento. Detalhes de implementação e testes experimentais são relatados