Advances in constant-velocity Mössbauer instrumentation

A prototype of a programmable constant-velocity scaler is presented. This instrument allows the acquisition of partial Mössbauer spectra in selected energy regions using standard drivers and transducers. It can be fully operated by a remote application, thus data acquisition can be automated. The instrument consists of a programmable counter and a constant-velocity reference. The reference waveform generator is amplitude modulated with 13-bit resolution, and is programmable in a wide range of frequencies and waveforms in order to optimize the performance of the transducer. The counter is compatible with most standard SCA, and is configured as a rate-meter that provides counts per selectable time slice at the programmed velocity. As a demonstration of the instrument applications, a partial Mössbauer spectrum of a natural iron foil was taken. Only positive energies were studied in 512 channels, accumulating 20 s per channel. A line width of 0.20 mm/s was achieved, performing with an efficiency of 80%.     

Representation of Cubic Lattices by Symmetric Implication Algebras

In this paper a cubic lattice L(S) is endowed with a symmetric implication structure and it is proved that L(S) \ {0} is a power of the three-element simple symmetric implication algebra. The Metropolis–Rota’s symmetries are obtained as partial terms in the language of symmetric implication algebras.     

A Distributional Approach to Multiple Stochastic Integrals and Transformations of the Poisson Measure

We study a class of ‘nonpoissonian’ transformations of the configuration space and the corresponding transformations of the Poisson measure. For some class of Poisson measures we find conditions which are sufficient for the transformed measure (which in general is nonpoissonian) to be absolutely continuous with respect to the initial Poisson measure and get the expression for the corresponding Radon–Nikodym derivative. To solve this problem we use a distributional approach to Poisson multiple stochastic integrals.     

Fractional Hamiltonian Monodromy

We introduce fractional monodromy in order to characterize certain non-isolated critical values of the energy–momentum map of integrable Hamiltonian dynamical systems represented by nonlinear resonant two-dimensional oscillators. We give the formal mathematical definition of fractional monodromy, which is a generalization of the definition of monodromy used by other authors before. We prove that the 1:( − 2) resonant oscillator system has monodromy matrix with half-integer coefficients and discuss manifestations of this monodromy in quantum systems. Communicated by Eduard Zehnder Submitted: February 25, 2005; Accepted: November 17, 2005     

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.     

Parking Capacity and Pricing in Park'n Ride Trips: A Continuous Equilibrium Network Design Problem

In this paper we consider the problem of designing parking facilities for park'n ride trips. We present a new continuous equilibrium network design problem to decide the capacity and fare of these parking lots at a tactical level. We assume that the parking facilities have already been located and other topological decisions have already been taken.The modeling approach proposed is mathematical programming with equilibrium constraints. In the outer optimization problem, a central Authority evaluates the performance of the transport network for each network design decision. In the inner problem a multimodal traffic assignment with combined modes, formulated as a variational inequality problem, generates the share demand for modes of transportation, and for parking facilities as a function of the design variables of the parking lots. The objective is to make optimal parking investment and pricing decisions in order to minimize the total travel cost in a subnetwork of the multimodal transportation system.We present a new development in model formulation based on the use of generalized parking link cost as a design variable.The bilevel model is solved by a simulated annealing algorithm applied to the continuous and non-negative design decision variables. Numerical tests are reported in order to illustrate the use of the model, and the ability of the approach to solve applications of moderate size.     

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.     

Sandwich Techniques in flow injection analysis : Part 1. Continuous recalibration techniques for process control

Flow injection methodology based on sample insertion between two different standard solutions used as carrier streams is described. This approach provides a simple system for continuous recalibration in process control; spectrophotometric and ion-selective electrode procedures are outlined.