Pushing Squares Around

We study dynamic self-reconfiguration of modular metamorphic systems. We guarantee the feasibility of motion planning in a rectangular model consisting of square modules that are allowed to slide along or rotate about one another. That is, we show that any two connected configurations of the same number of modules can be transformed into each other by a sequence of moves so that all intermediate configurations are connected. This settles a conjecture formulated in [6].     

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.     

Thee + e −→¯nn cross section predicted remarkably larger than thee + e −→¯pp one

It is shown that all global analyses of nucleon electromagnetic form factor data predict the electron-positron annihilation into neutron-antineutron cross section (for which there are no data till now) to be in a finite energy region substantially larger than the electron-positron annihilation into the proton-antiproton one.Dedicated to the memory of M. Gmitro.     

Aldo Cossu’s Work in Finite Geometry

A survey of the contributions of Aldo Cossu in finite geometry is given. Dedicated to the memory of Professor Aldo Cossu     

On the Behavior of Some Second Order Nonlinear Differential Equations

Qualitative behavior of second order nonlinear differential equations of type y″+p(t)y+q(t)f(y)=0, is studied. It includes properties such as positivity, number of zeros, oscillating nature, boundedness and monotonicity of the solutions.     

Fejér means of functions on noncommutative Vilenkin groups with respect to the character system

Summary It is known that the Fejér means - with respect to the character system of the Walsh, and bounded Vilenkin groups - of an integrable function converge to the function a.e. In this work we discuss analogous problems on the complete product of finite, not necessarily Abelian groups with respect to the character system for functions that are constant on the conjugacy classes. We find that the nonabelian case differs from the commutative case. We prove the a.e. convergence of the (C,1) means of the Fourier series of square integrable functions. We also prove the existence of a function f∊L^q for some q >1 such that sup |σ_n f | = + ∞ a.e. This is a sharp contrast between the Abelian and the nonabelian cases.     

Order Embeddings with Irrational Codomain: Debreu Properties of Real Subsets

The objective of this paper is to investigate the role of the set of irrational numbers as the codomain of order-preserving functions defined on topological totally preordered sets. We will show that although the set of irrational numbers does not satisfy the Debreu property it is still nonetheless true that any lower (respectively, upper) semicontinuous total preorder representable by a real-valued strictly isotone function (semicontinuous or not) also admits a representation by means of a lower (respectively, upper) semicontinuous strictly isotone function that takes values in the set of irrational numbers. These results are obtained by means of a direct construction. Moreover, they can be related to Cantor’s characterization of the real line to obtain much more general results on the semicontinuous Debreu properties of a wide family of subsets of the real line.      

Preparation of activated carbons from cherry stones by activation with potassium hydroxide

Using cherry stones, the preparation of activated carbon has been undertaken in the present study by chemical activation with potassium hydroxide. A series of KOH-activated products was prepared by varying the carbonisation temperature in the 400-900 °C range. Such products were characterised texturally by gas adsorption (N₂, −196 °C), mercury porosimetry, and helium and mercury density measurements. FT-IR spectroscopy was also applied. The carbons prepared as a rule are microporous and macroporous solids. The degree of development of surface area and porosity increases with increasing carbonisation temperature. For the carbon heated at 900 °C the specific surface area (BET) is 1624 m² g⁻¹, the micropore volume is 0.67 cm³ g⁻¹, the mesopore volume is 0.28 cm³ g⁻¹, and the macropore volume is 1.84 cm³ g⁻¹.