2,303 research outputs found
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
Myxomycetes, Physarales, Physaraceae, <i>Physarum rigidum</i> (G. Lister) G. Lister: Distribution extension and new records
Respostas de duas fitoalexinas polifenólicas extraídas de casca de uva, a partir de cachos submetidos a indutores de resistência.
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
- …