Basic approaches to and tasks of space technology

The high vacuum and weightlessness of outer space offer great possibilities for the new field of space technology. To take advantage of this, it is necessary to study such physical and chemical phenomena as diffusion, surface tension, heat exchange, and crystallization. The research shows the possibility of obtaining materials with a more perfect structure. Methods of treating materials can be used in space which are impossible on earth. Achievements in material science in outer space will have a large impact on the national economy

Theoretical bases for conducting certain technological processes in space

Dimensionless conservation equations are presented and the theoretical bases of fluid behavior aboard orbiting satellites with application to the processes of manufacturing crystals in weightlessness. The small amount of gravitational acceleration is shown to increase the separation of bands of varying concentration. Natural convection is shown to have no practical effect on crystallization from a liquid melt. Barodiffusion is also negligibly small in realistic conditions of weightlessness. The effects of surface tension become increasingly large, and suggestions are made for further research

On equations over sets of integers

Systems of equations with sets of integers as unknowns are considered. It is shown that the class of sets representable by unique solutions of equations using the operations of union and addition S+T=\makeset{m+n}{m \in S, \: n \in T} and with ultimately periodic constants is exactly the class of hyper-arithmetical sets. Equations using addition only can represent every hyper-arithmetical set under a simple encoding. All hyper-arithmetical sets can also be represented by equations over sets of natural numbers equipped with union, addition and subtraction S \dotminus T=\makeset{m-n}{m \in S, \: n \in T, \: m \geqslant n}. Testing whether a given system has a solution is $\Sigma^1_1$-complete for each model. These results, in particular, settle the expressive power of the most general types of language equations, as well as equations over subsets of free groups.Comment: 12 apges, 0 figure

Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity

We answer two open questions by (Gruber, Holzer, Kutrib, 2009) on the state-complexity of representing sub- or superword closures of context-free grammars (CFGs): (1) We prove a (tight) upper bound of $2^{\mathcal{O}(n)}$ on the size of nondeterministic finite automata (NFAs) representing the subword closure of a CFG of size $n$. (2) We present a family of CFGs for which the minimal deterministic finite automata representing their subword closure matches the upper-bound of $2^{2^{\mathcal{O}(n)}}$ following from (1). Furthermore, we prove that the inequivalence problem for NFAs representing sub- or superword-closed languages is only NP-complete as opposed to PSPACE-complete for general NFAs. Finally, we extend our results into an approximation method to attack inequivalence problems for CFGs

Thermo-mechanical behavior of surface acoustic waves in ordered arrays of nanodisks studied by near infrared pump-probe diffraction experiments

The ultrafast thermal and mechanical dynamics of a two-dimensional lattice of metallic nano-disks has been studied by near infrared pump-probe diffraction measurements, over a temporal range spanning from 100 fs to several nanoseconds. The experiments demonstrate that, in these systems, a two-dimensional surface acoustic wave (2DSAW), with a wavevector given by the reciprocal periodicity of the array, can be excited by ~120 fs Ti:sapphire laser pulses. In order to clarify the interaction between the nanodisks and the substrate, numerical calculations of the elastic eigenmodes and simulations of the thermodynamics of the system are developed through finite-element analysis. At this light, we unambiguously show that the observed 2DSAW velocity shift originates from the mechanical interaction between the 2DSAWs and the nano-disks, while the correlated 2DSAW damping is due to the energy radiation into the substrate.Comment: 13 pages, 10 figure

Pseudo-surface acoustic waves in hypersonic surface phononic crystals

We present a theoretical framework allowing to properly address the nature of surfacelike eigenmodes in a hypersonic surface phononic crystal, a composite structure made of periodic metal stripes of nanometer size and periodicity of 1 um, deposited over a semi-infinite silicon substrate. In surface-based phononic crystals there is no distinction between the eigenmodes of the periodically nanostructured overlayer and the surface acoustic modes of the semi-infinite substrate, the solution of the elastic equation being a pseudosurface acoustic wave partially localized on the nanostructures and radiating energy into the bulk. This problem is particularly severe in the hypersonic frequency range, where semi-infinite substrate s surface acoustic modes strongly couple to the periodic overlayer, thus preventing any perturbative approach. We solve the problem introducing a surface-likeness coefficient as a tool allowing to find pseudosurface acoustic waves and to calculate their line shapes. Having accessed the pseudosurface modes of the composite structure, the same theoretical frame allows reporting on the gap opening in the now well-defined pseudo-SAW frequency spectrum. We show how the filling fraction, mass loading, and geometric factors affect both the frequency gap, and how the mechanical energy is scattered out of the surface waveguiding modes

ПРИМЕНЕНИЕ УЛЬТРАТОНКОГО ИЗМЕЛЬЧЕНИЯ ПРИ ПЕРЕРАБОТКЕ МИНЕРАЛЬНОГО СЫРЬЯ

A feasibility of ultrafine grinding implementation for mineral raw materials processing is shown. Examples of successful implementation of this technology in beneficiation of polymetallic materials and hydrometallurgy of precious metals are presented in the paper. The principle of operation of bead mill and its main process parameters are described (size and load of grinding bodies, impeller rotation speed, pulp density).Показана возможность применения ультратонкого измельчения при переработке минерального сырья. Приведены примеры успешного использования данной технологии в области обогащения полиметаллического сырья и гидрометаллургии благородных металлов. Описаны принцип работы бисерной мельницы и ее основные технологические параметры (размер и загрузка мелющей среды, скорость вращения импеллера, плотность пульпы)

Limited automata and unary languages

Limited automata are one-tape Turing machines that are allowed to rewrite the content of any tape cell only in the first d visits, for a fixed constant d. When d = 1 these models characterize regular languages. An exponential gap between the size of limited automata accepting unary languages and the size of equivalent finite automata is proved. Since a similar gap was already known from unary contextfree grammars to finite automata, also the conversion of such grammars into limited automata is investigated. It is proved that from each unary context-free grammar it is possible to obtain an equivalent 1-limited automaton whose description has a size which is polynomial in the size of the grammar. Furthermore, despite the exponential gap between the sizes of limited automata and of equivalent unary finite automata, there are unary regular languages for which d-limited automata cannot be significantly smaller than equivalent finite automata, for any arbitrarily large d