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%.     

Radio-frequency controllable quantum interference in Mössbauer spectroscopy

The role of quantum interference (QI) in spectra of the resonant Mössbauer scattering is investigated. As a mechanism ensuring the QI conditions, the radio-frequency (RF) mixing of the spin sublevels of the excited nuclear state is considered. It is shown that QI leads to a significant intensity redistribution of the elastic and Raman scattering.     

Barycentric systems and stretchability

Using a general resolution of barycentric systems we give a generalization of Tutte's theorem on convex drawing of planar graphs. We deduce a characterization of the edge coverings into pairwise non-crossing paths which are stretchable: such a system is stretchable if and only if each subsystem of at least two paths has at least three free vertices (vertices of the outer face of the induced subgraph which are internal to none of the paths of the subsystem). We also deduce that a contact system of pseudo-segments is stretchable if and only if it is extendible.     

Beyond Cartesian limits: Leibniz's passage from algebraic to “transcendental” mathematics

This article deals with Leibniz's reception of Descartes' “geometry.” Leibnizian mathematics was based on five fundamental notions: calculus, characteristic, art of invention, method, and freedom. On the basis of methodological considerations Leibniz criticized Descartes' restriction of geometry to objects that could be given in terms of algebraic (i.e., finite) equations: “Descartes's mind was the limit of science.” The failure of algebra to solve equations of higher degree led Leibniz to develop linear algebra, and the failure of algebra to deal with transcendental problems led him to conceive of a science of the infinite. Hence Leibniz reconstructed the mathematical corpus, created new (transcendental) notions, and redefined known notions (equality, exactness, construction), thus establishing “a veritable complement of algebra for the transcendentals”: infinite equations, i.e., infinite series, became inestimable tools of mathematical research.     

部分相干光束通过硬边光阑的推广光束传输M2因子

给出部分相干光通过硬边光阑后的强度二阶矩的计算公式，由此可得到部分相干光通过硬边光阑后的推广光束传输M^2因子。以部分相干高斯－谢尔模型光束为例，推导出相应的M^2因子，并作了数值计算和分析讨论。     

Well-posed absorbing layer for hyperbolic problems

Summary. The perfectly matched layer (PML) is an efficient tool to simulate propagation phenomena in free space on unbounded domain. In this paper we consider a new type of absorbing layer for Maxwell's equations and the linearized Euler equations which is also valid for several classes of first order hyperbolic systems. The definition of this layer appears as a slight modification of the PML technique. We show that the associated Cauchy problem is well-posed in suitable spaces. This theory is finally illustrated by some numerical results. It must be underlined that the discretization of this layer leads to a new discretization of the classical PML formulation. Received May 5, 2000 / Published online November 15, 2001     

Asymptotic expansions in sequential estimation for the first-order random coefficient autoregressive model: Regenerative approach

Edgeworth expansions for the distribution of a sequential least squares estimator in the random coefficient autoregressive (RCA) model are derived. The regenerative approach to second-order asymptotic analysis of Markov-type statistical models is developed.     

Homology of proof-nets

This work defines homology groups for proof-structures in multiplicative linear logic (see [Gir1], [Gir2], [Dan]). We will show that these groups characterize proof-nets among arbitrary proof-structures, thus obtaining a new correctness criterion and of course a new polynomial algorithm for testing correctness. This homology also bears information on sequentialization. An unexpected geometrical interpretation of the linear connectives is given in the last section. This paper exclusively focuses onabstract proof-structures, i.e. paired-graphs. The relation with actual proofs is investigated in [Gir1], [Gir2], [Dan], [Ret] and [Tro].     

相型同步启动时间的M／M／c排队系统

本文研究带有同步启动时间的Ｍ／Ｍ／ｃ系统，其中启动时间是相型变量，给出了稳态和等待时间分布等结果。