Uniformity in Computable Structure Theory

We investigate the effects of adding uniformity requirements to concepts in computable structure theory such as computable categoricity (of a structure) and intrinsic computability (of a relation on a computable structure). We consider and compare two different notions of uniformity, previously studied by Kudinov and by Ventsov. We discuss some of their results and establish new ones, while also exploring the connections with the relative computable structure theory of Ash, Knight, Manasse, and Slaman and Chisholm and with previous work of Ash, Knight, and Slaman on uniformity in a general computable structure-theoretical setting.     

The evolution of a truncated gaussian probability density through time—modelling animal liveweights after selection

The form of the probability density derived from the evolution in time of a previously truncated frequency distribution of animal Liveweights is of interest in animal husbandry. Truncated frequency distributions arise when the heavier animals are sold for slaughter and the lighter animals retained. The demands of modern quality assurance schemes require that, given information on animal growth, the farmer is able to estimate the number of animals that would meet the specifications at some time in the future after truncation. Assuming that animal growth can be described by a linear stochastic differential equation, we derive an explicit expression for the probability density of animal Liveweights at any time after the truncation of an initial Gaussian density. It is shown that this probability density converges rapidly to a Gaussian density, so that after about 20 days of typical growth rates for lambs, the resulting density is practically indistinguishable from Gaussian.     

Fold‐2‐covering triangular embeddings

For a graph G and a positive integer m, G_(m) is the graph obtained from G by replacing every vertex by an independent set of size m and every edge by m² edges joining all possible new pairs of ends. If G triangulates a surface, then it is easy to see from Euler's formula that G_(m) can, in principle, triangulate a surface. For m prime and at least 7, it has previously been shown that in fact G_(m) does triangulate a surface, and in fact does so as a “covering with folds” of the original triangulation. For m = 5, this would be a consequence of Tutte's 5‐Flow Conjecture. In this work, we investigate the case m = 2 and describe simple classes of triangulations G for which G₍₂₎ does have a triangulation that covers G “with folds,” as well as providing a simple infinite class of triangulations G of the sphere for which G₍₂₎ does not triangulate any surface. © 2003 Wiley Periodicals, Inc. J Graph Theory 43: 79–92, 2003     

Refraction holodiagrams and Snell's law

The refraction holodiagram RHD is analyzed here with respect to the law of refraction. Particularly, we study the surface that exactly conjugates by refraction a virtual point source with a real image or conversely. By using the total optical path as a parameter we build a diagram that consists in a family of Descartes ovals of the apple type that contains the Pascal's limaçon as a particular extreme case and the spherical surface with the Weierstrass points as another. These representations permit the straightforward application of Fermat's principle in the case of arbitrary refracting surfaces and show the shape of generalized Fresnel's zones in the intersections with any surface. Snell's law is applied to rays incident on the apple type surfaces to find out the conditions for exact conjugation. Sensitivity to optical path variations is also discussed. The RHD curves family can be represented in a Cartesian way where the ovals appear as equally spaced straight lines.     

Dynamic interaction of plasma flow with the hot boundary layer of a geomagnetic trap

The study of the interaction between collisionless plasma flow and stagnant plasma revealed the presence of an outer boundary layer at the border of a geomagnetic trap, where the super-Alfvén subsonic laminar flow changes over to the dynamic regime characterized by the formation of accelerated magnetosonic jets and decelerated Alfvén flows with characteristic relaxation times of 10–20 min. The nonlinear interaction of fluctuations in the initial flow with the waves reflected from an obstacle explains the observed flow chaotization. The Cherenkov resonance of the magnetosonic jet with the fluctuation beats between the boundary layer and the incoming flow is the possible mechanism of its formation. In the flow reference system, the incoming particles are accelerated by the electric fields at the border of boundary layer that arise self-consistently as a result of the preceding wave-particle interactions; the inertial drift of the incoming ions in a transverse electric field increasing toward the border explains quantitatively the observed ion acceleration. The magnetosonic jets may carry away downstream up to a half of the unperturbed flow momentum, and their dynamic pressure is an order of magnitude higher than the magnetic pressure at the obstacle border. The appearance of nonequilibrium jets and the boundary-layer fluctuations are synchronized by the magnetosonic oscillations of the incoming flow at frequencies of 1–2 mHz.     

Synthesis of N-Vinyloxyalkyl Imines

Russian Journal of Organic Chemistry -     

Chemical Properties of the K2O-Al2O3-SiO2-P2O5 System Activated with Mn(II) Oxide

Synthesis and some chemical properties of the Al₂O-SiO₂-P₂O₅ system activated with MnO were studied.