On the Ehrenfeucht–Mycielski sequence

We introduce the inverted prefix tries (a variation of suffix tries) as a convenient formalism for stating and proving properties of the Ehrenfeucht–Mycielski sequence [A. Ehrenfeucht, J. Mycielski, A pseudorandom sequence—how random is it? American Mathematical Monthly 99 (1992) 373-375]. We also prove an upper bound on the position in the sequence by which all strings of a given length will have appeared; our bound is given by the Ackermann function, which, in light of experimental data, may be a gross over-estimate. Still, it is the best explicitly known upper bound at the moment. Finally, we show how to compute the next bit in the sequence in a constant number of operations.     

Peters v. Roseau: Resolution of a conflict on the classical beach problem

A discrepancy is uncovered between two well documented solutions, to the uniquely solvable classical linearised sloping beach problem, by Peters in 1952 and independently by Roseau also in 1952 (though subsequently adjusted by personal correspondence from Roseau and Lehman to authors Wehausen & Laitone in 1960). The source of the main error (and other more minor errors) is identified, quantified and corrected and a consequence is that a study by Morris in 1976 (on a generalisation where the line source is no longer confined to the origin) will also have suffered from this deficiency. That problem therefore requires a re-visit.     

On holographic reconstruction without reference: Application to machinery noise and comparison with multi-reference holography approach

This article presents the implementation and application, to two complex machines, of two holography methods called CIBNAH (Complex Intensity Based Near-field Acoustic Holography) and MRNAH (Multi Reference Near-field Acoustic Holography) based on residual spectra. The first is a newly developed method that uses complex sound intensity as its basis and hence bypasses the need for reference signals. Here, several approaches are presented to validate both methods and to investigate each method’s advantages and limitations.     

Pseudo‐R 2’s in the ordinal probit model*

This paper presents an analysis of the combining mechanism for status information postulated by the mathematical formulation of the theory of status characteristics and expectation states. Six lemmas on the basic features of the combining mechanism are derived from the formulation and discussed. Further, four theorems that illustrate the implications of the particular combining mechanism for power and prestige orders are presented and proven.     

Ion Exchange Separation of Eu3+ from Different Salt Solutions

Two samples of potassium zinc hexacyanoferrate were prepared using two different ratios of the initial materials. The distribution coefficient of Eu³⁺ on the two samples was determined. The effect of the cation concentration in the aqueous phase on the adsorption of Eu³⁺ was also studied. The mechanism of the exchange process was described on the light of the data obtained, and the equilibrium constant of the exchange reaction was also calculated.     

Software lens compensation applied to athermalization of infrared imaging systems

A different approach, aiming to achieve the constant blur status of point-spread function (PSF) at a certain defocused plane, is described. The correlation between the two PSF is used to control the PSF blur similarity, and simultaneously the Strehl ratio is also used to control the PSF blur minimization. By designing the PSF so that it is significantly insensitive to defocus or related defocus quantity, for example, due to temperature change, all the constantly blurred images can be accurately de-blurred by a simple inverse restoration filter for an adequate range of defocus. We refer to that as “software lens compensation” and apply a design method to solve the athermalization of middle wavelength infrared (MWIR) imaging systems. The resultant PSF is almost invariant in the temperature range from −10 to 50°C at the same focal plane. Consequently, the constant blur spot can be removed by a simple digital signal processing. Thus, clear and sharp de-blurred images at different temperatures are obtained.     

Exact Analytical Solution to Equations of Perihelion Advance in General Relativity

Previously the perihelion advance in binary system was computed approximately. We will present an exact analytical solution to nonlinear differential equation of perihelion advance by method of Jacobian elliptic function and the advanced angle between successive perihelions. Project supported by the Scientific Research Foundation for the Returned Overseas Chinese Scholars from Ministry of Education, China (Grant No. [2004]527) and the Natural Science Foundation of Hunan Province, China (Grant No. 06JJ2026)     

微分中值问题中辅助函数的构造程式

给出解决微分中值问题时，所需辅助函数的构造程式，并通过实例加以详细解释．所给程式具有一定的可操作性，可帮助学生掌握同类问题解决方案中的规律性．