On the mathematics of data centre network topologies.

In a recent paper, combinatorial designs were used to construct switch-centric data centre networks that compare favourably with the ubiquitous (enhanced) fat-tree data centre networks in terms of the number of servers within (given a fixed server-to-server diameter). Unfortunately there were flaws in some of the proofs in that paper. We correct these flaws here and extend the results so as to prove that the core combinatorial construction, namely the 3-step construction, results in data centre networks with optimal path diversity

Базовый алгоритм действия системы поддержки принятия решений

We consider two-player parity games played on transition graphs of higher order pushdown automata. They are ``game-equivalent'' to a kind of model-checking game played on graphs of the infinite hierarchy introduced recently by Caucal. Then in this hierarchy we show how to reduce a game to a graph of lower level. This leads to an effective solution and a construction of the winning strategies

Bistable Amphoteric Native Defect Model of Perovskite Photovoltaics

The past few years have witnessed unprecedented rapid improvement of the performance of a new class of photovoltaics based on halide perovskites. This progress has been achieved even though there is no generally accepted mechanism of the operation of these solar cells. Here we present a model based on bistable amphoteric native defects that accounts for all key characteristics of these photovoltaics and explains many idiosyncratic properties of halide perovskites. We show that a transformation between donor-like and acceptor-like configurations leads to a resonant interaction between amphoteric defects and free charge carriers. This interaction, combined with the charge transfer from the perovskite to the electron and hole transporting layers results in the formation of a dynamic n-i-p junction whose photovoltaic parameters are determined by the perovskite absorber. The model provides a unified explanation for the outstanding properties of the perovskite photovoltaics, including hysteresis of J-V characteristics and ultraviolet light-induced degradation.Comment: 21 pages, 7 figure

New results on pushdown module checking with imperfect information

Model checking of open pushdown systems (OPD) w.r.t. standard branching temporal logics (pushdown module checking or PMC) has been recently investigated in the literature, both in the context of environments with perfect and imperfect information about the system (in the last case, the environment has only a partial view of the system's control states and stack content). For standard CTL, PMC with imperfect information is known to be undecidable. If the stack content is assumed to be visible, then the problem is decidable and 2EXPTIME-complete (matching the complexity of PMC with perfect information against CTL). The decidability status of PMC with imperfect information against CTL restricted to the case where the depth of the stack content is visible is open. In this paper, we show that with this restriction, PMC with imperfect information against CTL remains undecidable. On the other hand, we individuate an interesting subclass of OPDS with visible stack content depth such that PMC with imperfect information against the existential fragment of CTL is decidable and in 2EXPTIME. Moreover, we show that the program complexity of PMC with imperfect information and visible stack content against CTL is 2EXPTIME-complete (hence, exponentially harder than the program complexity of PMC with perfect information, which is known to be EXPTIME-complete).Comment: In Proceedings GandALF 2011, arXiv:1106.081

Reachability for dynamic parametric processes

In a dynamic parametric process every subprocess may spawn arbitrarily many, identical child processes, that may communicate either over global variables, or over local variables that are shared with their parent. We show that reachability for dynamic parametric processes is decidable under mild assumptions. These assumptions are e.g. met if individual processes are realized by pushdown systems, or even higher-order pushdown systems. We also provide algorithms for subclasses of pushdown dynamic parametric processes, with complexity ranging between NP and DEXPTIME.Comment: 31 page

Plasmon attenuation and optical conductivity of a two-dimensional electron gas

In a ballistic two-dimensional electron gas, the Landau damping does not lead to plasmon attenuation in a broad interval of wave vectors q << k_F. Similarly, it does not contribute to the optical conductivity \sigma (\omega, q) in a wide domain of its arguments, E_F > \omega > qv_F, where E_F, k_F and v_F are, respectively, the Fermi energy, wavevector and velocity of the electrons. We identify processes that result in the plasmon attenuation in the absence of Landau damping. These processes are: the excitation of two electron-hole pairs, phonon-assisted excitation of one pair, and a direct plasmon-phonon conversion. We evaluate the corresponding contributions to the plasmon linewidth and to the optical conductivity.Comment: 8 pages, 4 figures; final form, misprints correcte

Метод расчета теплообмена излучением в топке осесимметричной конфигурации на основе уравнений для компонент суммарного вектора потока лучистой энергии. Инженерная методика

На основе системы уравнений первой части статьи, получены разностные уравнения квазиодномерного метода расчета теплообмена излучением в топке котла осесимметричной конфигурации. Записаны уравнения и разностные формулы метода инженерного расчета теплообмена излучением при наличии экранной сетки около поверхности горелки. Методика пригодна для использования в инженерных расчетах при определении оптимальной конфигурации топки и определении оптимального расстояния экранной сетки до поверхности горелки

Logics for Unranked Trees: An Overview

Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purposes: some are better suited for extracting data, some for expressing navigational properties, and some make it easy to relate complex properties of trees to the existence of tree automata for those properties. Furthermore, logics differ significantly in their model-checking properties, their automata models, and their behavior on ordered and unordered trees. In this paper we present a survey of logics for unranked trees

Full Multiple Scattering Analysis of XANES at the Cd L 3- and O K- Edges in CdO Films Combined with a Soft-X-Ray Emission Investigation

X-ray absorption near edge structure (XANES) at the cadmium L3 and oxygen K edges for CdO thin films grown by pulsed laser deposition method, is interpreted within the real-space multiple scattering formalism, FEFF code. The features in the experimental spectra are well reproduced by calculations for a cluster of about six and ten coordination shells around the absorber for L3 edge of Cd and K edge of O, respectively. The calculated projected electronic density of states is found to be in good agreement with unoccupied electronic states in experimental data and allows to conclude that the orbital character of the lowest energy of the conductive band is Cd 5s-O 2p[sigma]*. The charge transfer has been quantified and not purely ionic bonding has been found. Combined XANES and resonant inelastic x-ray scattering measurements allow us to determine the direct and indirect band gap of investigated CdO films to be ~2.4 eV and ~0.9 eV, respectively

Magnetoconductivity of quantum wires with elastic and inelastic scattering

We use a Boltzmann equation to determine the magnetoconductivity of quantum wires. The presence of a confining potential in addition to the magnetic field removes the degeneracy of the Landau levels and allows one to associate a group velocity with each single-particle state. The distribution function describing the occupation of these single-particle states satisfies a Boltzmann equation, which may be solved exactly in the case of impurity scattering. In the case where the electrons scatter against both phonons and impurities we solve numerically - and in certain limits analytically - the integral equation for the distribution function, and determine the conductivity as a function of temperature and magnetic field. The magnetoconductivity exhibits a maximum at a temperature, which depends on the relative strength of the impurity and electron-phonon scattering, and shows oscillations when the Fermi energy or the magnetic field is varied.Comment: 21 pages (revtex 3.0), 5 postscript figures available upon request at [email protected] or [email protected]