810 research outputs found
Massive gravity from descent equations
Both massless and massive gravity are derived from descent equations
(Wess-Zumino consistency conditions). The massive theory is a continuous
deformation of the massless one.Comment: 8 pages, no figur
On abstraction refinement for program analyses in Datalog
A central task for a program analysis concerns how to efficiently find a program abstraction that keeps only information relevant for proving properties of interest. We present a new approach for finding such abstractions for program analyses written in Datalog. Our approach is based on counterexample-guided abstraction refinement: when a Datalog analysis run fails using an abstraction, it seeks to generalize the cause of the failure to other abstractions, and pick a new abstraction that avoids a similar failure. Our solution uses a boolean satisfiability formulation that is general, complete, and optimal: it is independent of the Datalog solver, it generalizes the failure of an abstraction to as many other abstractions as possible, and it identifies the cheapest refined abstraction to try next. We show the performance of our approach on a pointer analysis and a typestate analysis, on eight real-world Java benchmark programs
Light scattering from a rough metal surface: theory and experiment
There is still great interest in the determination of microtopographic properties of rough metallic surfaces from light scattering measurements. According to Beckmann–Kirchhoff theory a clear relationship is established between the in-plane angular scattered light intensity and the statistical properties of the surface. We discuss one way to invert this relationship, and we introduce a new iterative procedure to retrieve the height autocorrelation function even for a very rough metallic surface (rms surface roughness of the same order of the optical wavelength). The procedure is eventually applied to the experimental data of a known metallic surface for validation
MODERN METHODS FOR FOOD PRODUCTS PRESERVATION
Bacteria, molds and yeasts are microorganisms that play an essential role in spoiling food. Food products preservation technologies are intended to reduce the intensity of the activity of pathogenic microorganisms that generate decomposition processes. From the point of view of food technologies, heat treatments (pasteurization, sterilization) are the main way of preserving food. The trend is to minimize or replace heat treatments with nonthermal, non-destructive methods, in order to preserve the freshness, nutritional and bioactive value of the food products. This paper presents the working principles and the effects of various modern methods of preservation, thermal and athermal, on food
EXPERIMENTAL RESEARCH ON DETERMINATION OF DEFORMATIONS IN THE CUTTING PROCESS IN WET SANDY SOILS
The active parts of tillage equipment must be checked for wear resistance, under different conditions working with the soil, so that the average life span should be determined wear resistance, to ensure timely changes of parts. Research in the field has shown that there are at least two main forces acting on the active parts: impact and friction, the action of these forces causes wear. In order to test the tillage knives in laboratory conditions, was used a stand made by INMA Bucharest. With the help of this stand, the deformations in the cutting process were determined in different working conditions: at a certain working speed and at a certain humidity of the sandy soil
CONSIDERATIONS REGARDING THE IMPORTANCE OF THE SORTING OPERATION OF FRUITS AND VEGETABLES
For the normal development of daily activity and maintaining health, the body needs a certain amount of energy and complete nutritional factors (proteins, carbohydrates, lipids, vitamins, minerals, water). They are obtained from food, fruits and vegetables occupying a prominent place as a natural source of carbohydrates, alkalizing mineral salts, vitamins and water. Conditioning involves a set of operations aimed at bringing the products to the characteristics provided by standards, specific to a certain direction of capitalization. This article describes the operations included in the conditioning process, the role and importance of presorting and sorting fruits and vegetables, as well as equipment for these operations
Will spin-relaxation times in molecular magnets permit quantum information processing?
Using X-band pulsed electron spin resonance, we report the intrinsic
spin-lattice () and phase coherence () relaxation times in molecular
nanomagnets for the first time. In Cr heterometallic wheels, with = Ni
and Mn, phase coherence relaxation is dominated by the coupling of the electron
spin to protons within the molecule. In deuterated samples reaches 3
s at low temperatures, which is several orders of magnitude longer than
the duration of spin manipulations, satisfying a prerequisite for the
deployment of molecular nanomagnets in quantum information applications.Comment: 4 pages, 3 figures, in press at Physical Review Letter
STUDY ON THE CONVERSION OF A CONVENTIONAL TRACTOR INTO AN ELECTRIC TRACTOR
The paper presents the study on how a classic tractor with internal combustion engine can be modified so that it is powered by a battery-powered electric motor. The article presents equipment and components with which a tractor can be modified so that it can run on electricity. In general, an electric tractor consists of the chassis from which the heat engine, electric motor, battery, control and configuration equipment, software used and communication equipment, of the electronic systems on board the tractor are removed
- …