Technological Schemes for Preparation and Deep Beneficiation of Technogenic Waste Containing Fine Slimes Environmental Component

This article evaluates a new procedure for choosing special methods of disintegration for technogenic rock materials with fines and slimes. The article describe different examples of beneficiation technology for chromium-containing slime tails of the Donskoy beneficiation plant (Republic of Kazakhstan), hematite tails of Magnitogorskiy Metallurgical Plant, and tin waste with fines particles. Keywords: fine slimes, environmental component, technological schemes, Preparation technogenic wast

Bose-Einstein Condensation of Excitons: Reply to Tikhodeev's Criticism

The extended version of our reply to Comment on ``Critical Velocities in Exciton Superfluidity'' by S. G. Tikhodeev (Phys. Rev. Lett., 84 (2000), 3502 or from http://prl.aps.org/) is presented here. The principal question is discussed: does the moving exciton-phonon packet contain the coherent `nucleus', or the exciton-phonon condensate?Comment: 3 pages in LaTe

A Dichotomy Theorem for Homomorphism Polynomials

In the present paper we show a dichotomy theorem for the complexity of polynomial evaluation. We associate to each graph H a polynomial that encodes all graphs of a fixed size homomorphic to H. We show that this family is computable by arithmetic circuits in constant depth if H has a loop or no edge and that it is hard otherwise (i.e., complete for VNP, the arithmetic class related to #P). We also demonstrate the hardness over the rational field of cut eliminator, a polynomial defined by B\"urgisser which is known to be neither VP nor VNP-complete in the field of two elements, if VP is not equal to VNP (VP is the class of polynomials computable by arithmetic circuit of polynomial size)

Constraint satisfaction parameterized by solution size

In the constraint satisfaction problem (CSP) corresponding to a constraint language (i.e., a set of relations) $\Gamma$, the goal is to find an assignment of values to variables so that a given set of constraints specified by relations from $\Gamma$ is satisfied. The complexity of this problem has received substantial amount of attention in the past decade. In this paper we study the fixed-parameter tractability of constraint satisfaction problems parameterized by the size of the solution in the following sense: one of the possible values, say 0, is "free," and the number of variables allowed to take other, "expensive," values is restricted. A size constraint requires that exactly $k$ variables take nonzero values. We also study a more refined version of this restriction: a global cardinality constraint prescribes how many variables have to be assigned each particular value. We study the parameterized complexity of these types of CSPs where the parameter is the required number $k$ of nonzero variables. As special cases, we can obtain natural and well-studied parameterized problems such as Independent Set, Vertex Cover, d-Hitting Set, Biclique, etc. In the case of constraint languages closed under substitution of constants, we give a complete characterization of the fixed-parameter tractable cases of CSPs with size constraints, and we show that all the remaining problems are W[1]-hard. For CSPs with cardinality constraints, we obtain a similar classification, but for some of the problems we are only able to show that they are Biclique-hard. The exact parameterized complexity of the Biclique problem is a notorious open problem, although it is believed to be W[1]-hard.Comment: To appear in SICOMP. Conference version in ICALP 201

Automation of the construction the Potier diagram using LabVIEW system design software

The paper describes the virtual instrument (software module) developed in the software development environment NI LabVIEW, which automatically constructs the Potier diagram based on the measurements results of the operation mode parameters of the synchronous machine.Приведено описание виртуального пробора (программного модуля) в среде разработки программного обеспечения NI LabVIEW выполняющего автоматическое построение диаграммы Потье по результатам измерений параметров режима работы синхронной машины

Homogeneous nucleation of dislocations as bifurcations in a periodized discrete elasticity model

A novel analysis of homogeneous nucleation of dislocations in sheared two-dimensional crystals described by periodized discrete elasticity models is presented. When the crystal is sheared beyond a critical strain $F=F_{c}$, the strained dislocation-free state becomes unstable via a subcritical pitchfork bifurcation. Selecting a fixed final applied strain $F_{f}>F_{c}$, different simultaneously stable stationary configurations containing two or four edge dislocations may be reached by setting $F=F_{f}t/t_{r}$ during different time intervals $t_{r}$. At a characteristic time after $t_{r}$, one or two dipoles are nucleated, split, and the resulting two edge dislocations move in opposite directions to the sample boundary. Numerical continuation shows how configurations with different numbers of edge dislocation pairs emerge as bifurcations from the dislocation-free state.Comment: 6 pages, 4 figures, to appear in Europhys. Let

The crystallochemical informativeness of optical and Mossbauer spectra for ferromagnesian micas.

The ferromagnesian micas are common rock-forming minerals, which are used in geological, mineralogical and petrographic researches, while the low-iron varieties have technical uses. Deals with methods of obtaining crystallochemical information on micas, which is important from the scientific and practical viewpoints.-from Journal summar