COMPARATIVE ANALYSIS OF THE EFFICIENCY OF THERMAL SYSTEMS BUILT WITH REFLECTIVE INSULATORS WITH AND WITHOUT VACUUM

The use of reflective surfaces functioning as thermal insulators has grown significantly over the years. Reflective thermal insulators are materials that have several characteristics such as low emissivity, low absorptivity and high reflectivity in the infrared spectrum. The use of these materials has grown very much lately, since they contain several important radioactive properties that minimize the heat loss of thermal systems and cooling systems that are used to block the heat on the roof of buildings. A system made of three surfaces of 430 stainless steel mirror was built to analyze the influence of reflective surfaces as a way to reduce the heat loss and thereby conserve the energy of a thermal system. The system was analyzed both with and without the presence of vacuum, and then compared with a system that contained glass wool between the stainless steel mirror walls, since this insulator is considered resistive and also broadly used around the world in thermal systems. The reflectivity and emissivity of the surfaces used were also measured in this experiment. A type K thermocouple was fixed on the wall of the system to obtain the temperature of the stainless steel mirror surfaces and to analyze the thermal behavior of each configuration used. The results showed an efficiency of 13% when the reflective surfaces were used to minimize the heat loss of the thermal system. However, the system with vacuum had the best outcome, a 60% efficiency. Both of these were compared to the system made of glass wool as a thermal insulator

Circus Models for Safety-Critical Java Programs

Safety-critical Java (SCJ) is a restriction of the real-time specification for Java to support the development and certification of safety-critical applications. The SCJ technology specification is the result of an international effort from industry and academia. In this paper, we present a formalization of the SCJ Level 1 execution model, formalize a translation strategy from SCJ into a refinement notation and describe a tool that largely automates the generation of the formal models. Our modelling language is part of the Circus family; at the core, we have Z, communicating sequential processes and Morgan’s calculus, but we also use object-oriented and timed constructs from the OhCircus and Circus Time variants. Our work is an essential ingredient for the development of refinement-based reasoning techniques for SCJ

Quasi-one-dimensional system as a high-temperature superconductor

It is well-known that quasi-one-dimensional superconductors suffer from the pairing fluctuations that significantly reduce the superconducting temperature or even completely suppress any coherent behavior. Here we demonstrate that a coupling to a robust pair condensate changes the situation dramatically. In this case the quasi-one-dimensional system can be a high temperature superconductor governed by the proximity to the Lifshitz transition at which the Fermi level approaches the lower edge of the single-particle spectrum.Comment: 5 pages, 1 figur

Crescimento e produção de frutos em mangueira "Tommy Atkins" sob deferentes densidades populacionais.

bitstream/item/80678/1/boletim-83.PD

Entanglement quantifiers, entanglement crossover and phase transitions

Entanglement has been widely used as a tool for the investigation of phase transitions (PTs). However, analysing several entanglement measures in the two-qubit context, we see that distinct entanglement quantifiers can indicate different orders for the same PT. Examples are given for different Hamiltonians. This leaves open the possibility of addressing different orders to the same PT if entanglement is used as an order parameter. Moving on to the multipartite context, we show necessary and sufficient conditions for a family of entanglement monotones to confirm quantum PTs

DESIGN, CONSTRUCTION AND EVALUATION OF A THERMAL CONDUCTIVITY METER BASED ON ASTM E1225 STANDARD

The focus of this work is the design, construction and evaluation of a thermal conductivity meter apparatus based on ASTM E- 1225 standard. The thermal conductivity is a heat-transport propriety and with the development of new materials the determination of thermophysical properties for its correct use becomes necessary. The apparatus was projected in CAD software and the material selection was done following the standard recommendations. For the meter bars were used 304 stainless steel, since its thermal conductivity is known. The heater was made with an aluminum cylinder block and a cartridge electric resistance. The cooling system was assembled using a Peltier thermoelectric plate and a fin heat sink equipped with a fan. Lastly, a steel pipe was used for building the guard cylinder. In order to evaluate the apparatus, the first specimen tested was the 304 stainless steel, the same material as the meter bars. The result of thermal conductivity showed an error of 6% relative to the value found in literature. However, in this test the temperature of isothermal guard cylinder was lower than the temperature required by the standard. Thus, the future goals will be the development of a temperature control for the guard cylinder and realization of more tests with different materials

Are all maximally entangled states pure?

We study if all maximally entangled states are pure through several entanglement monotones. In the bipartite case, we find that the same conditions which lead to the uniqueness of the entropy of entanglement as a measure of entanglement, exclude the existence of maximally mixed entangled states. In the multipartite scenario, our conclusions allow us to generalize the idea of monogamy of entanglement: we establish the \textit{polygamy of entanglement}, expressing that if a general state is maximally entangled with respect to some kind of multipartite entanglement, then it is necessarily factorized of any other system.Comment: 5 pages, 1 figure. Proof of theorem 3 corrected e new results concerning the asymptotic regime include