Twin Paradox and the Logical Foundation of Relativity Theory

We study the foundation of space-time theory in the framework of first-order logic (FOL). Since the foundation of mathematics has been successfully carried through (via set theory) in FOL, it is not entirely impossible to do the same for space-time theory (or relativity). First we recall a simple and streamlined FOL-axiomatization Specrel of special relativity from the literature. Specrel is complete with respect to questions about inertial motion. Then we ask ourselves whether we can prove the usual relativistic properties of accelerated motion (e.g., clocks in acceleration) in Specrel. As it turns out, this is practically equivalent to asking whether Specrel is strong enough to “handle” (or treat) accelerated observers. We show that there is a mathematical principle called induction (IND) coming from real analysis which needs to be added to Specrel in order to handle situations involving relativistic acceleration. We present an extended version AccRel of Specrel which is strong enough to handle accelerated motion, in particular, accelerated observers. Among others, we show that~the Twin Paradox becomes provable in AccRel, but it is not provable without IND.     

Low-temperature hydride furnace modified for the atomic absorption spectrometric determination of metals with low appearance temperatures

The sample is vaporized from tungsten filament coils (150 W) and transported by an argon stream to the cell of a modified hydride furnace for atomic absorption spectrometry (a.a.s.). The system provides almost the same sensitivity for elements with low appearance temperatures (e.g., Bi, Cd, Pb, Tl, Zn) as graphite-furnace a.a.s. The detection limits are between 0.1 and 5 ng ml^?1, depending on the element.     

Numerical study on performance of disk MHD generator using frozen inert gas plasma

In an magnetohydrodynamic (MHD) generator using a frozen inert gas plasma (FIP), the availability of a frozen argon plasma, the influence of plasma uniformity at the generator inlet on the performance, and the feasibility of a large-scale generator are numerically examined by /spl gamma/-/spl theta/ two-dimensional simulation. The FIP is produced by pre-ionizing inert gas without an alkali metal seed at the generator inlet, then the ionization degree of the plasma is kept almost constant in the whole of the channel because of considerable slow recombination of the inert gas just like frozen reaction plasma. It is found that not only helium, but also argon frozen plasma MHD generation is realized, although highly accurate control of inlet ionization degree is necessary for argon. It is important to reduce the nonuniformity of plasma properties at the generator inlet in order to raise the maximum enthalpy extraction ratio. Even for the large-scale generator with 1000-MW thermal input, the ionization degree is kept almost constant in the whole of the channel and the high performance is obtainable. This result is extremely attractive for the FIP MHD generator.     

Liquid-like structure of vapour quenched SnAu- and SnCu-films

SnAu- and SnCu-alloys are vapour quenched at cryogenic temperatures. Resistivity and electron diffraction patterns were recorded in situ. The scattered intensities have been normalized to interference functions. The overall agreement with those of the corresponding liquid systems is quite well. The average interatomic distances obtained from the atomic distribution functions show a concentration dependence which corresponds closely to that found in liquid SnAu and SnCu respectively. This gives evidence to the statement that the nearest neighbour organisations of the films are very similar to those of the corresponding liquids. Furthermore it turned out that the local structures in the Sn-rich SnAu-system are substantial different from those in the Sn-rich SnCu-system, except in the vicinity of a minimum amount of noble metals (8–10 at.%), which is necessary to stabilize the amorphous state.     

An attempt on the calculation of relativistic potential energy curves: Noble gas difluorides

Total energy SCF calculations were performed for noble gas difluorides in a relativistic procedure and compared with analogous non-relativistic calculations. The discrete variational method with numerical basis functions was used. Rather smooth potential energy curves could be obtained. The theoretical Kr-F and Xe-F bond distances were calculated to be 3.5 a.u. and 3.6 a.u. which should be compared with the experimental values of 3.54 a.u. and 3.7 a.u. Although the dissociation energies are off by a factor of about five it was found that ArF₂ may be a stable molecule. Theoretical ionization energies for the outer levels reproduce the experimental values for KrF₂ and XeF₂ to within 2 eV.     

Optical separation of racemic 5-(p-hydroxyphenyl)-5-phenylhydantoin by reversed phase high-performance liquid chromatography using eluents containing beta-cyclodextrin.

Both S-(-)- and R-(+)-enantiomers of 5-(p-hydroxyphenyl)-5-phenylhydantoin (p-HPPH), a main oxidative metabolite of the achiral antiepileptic drug phenytoin, could be determined simply, sensitively and accurately using reversed phase high-performance liquid chromatography by using a methanol-monopotassium phosphate eluent containing beta-cyclodextrin. Using this assay procedure, it was determined that an S-(-)-enantiomer was formed predominantly by the oxidation of phenytoin in isolated rat hepatocytes.