We prove the dimensional reduction conjecture of Fey, Levine, and Peres (2010) on hypercube. The proof shows that reduction, symmetry, regularity Abelian sandpile persist during parallel toppling process. This stronger result verifies empirical observations first documented by Liu, Kaplan, Gray (1990).

Dynamic partial order reduction (DPOR) verifies concurrent programs by exploring all their interleavings up to some equivalence relation, such as the Mazurkiewicz trace equivalence. Doing so involves a complex trade-off between space and time. Existing DPOR algorithms are either exploration-optimal (i.e., explore exactly only interleaving per class) but may use exponential memory in size of pro...

Harmonics have become an important issue in modern power systems. The widespread penetration of non-linear loads to emerging power systems has turned power quality analysis into an important operation issue under both steady state and transient conditions. This paper employs a Dynamic Harmonic Domain (DHD) based framework for dynamic harmonic analysis of VSC-HVDC systems. These systems are wide...

Linear dynamic response of simply supported nanobeams subjected to a variable axial force is assessed by Galerkin numerical approach. Constitutive behavior is described by three functional forms of elastic energy densities enclosing nonlocal and strain gradient effects and their combination. Linear stationary dynamics of nanobeams is modulated by an axial force which controls the global stiffne...

In this paper static and dynamic response of nanotweezers composed of two carbon nanotube (CNT) arms are investigated. Taking into account a continuum model and considering the electrostatic actuation as well as the presence of the van der Waals forces, the static nonlinear equations are solved by a step by step linearization and Galerkin projection method. Simulating the closing dynamics of a ...

A completely general method of analysis for three-dimensional raked piles under harmonic excitation is discussed. The piles have been represented by a three-dimensional frame structure and the soil has been represented by a boundary element discretization scheme. A computer program has been written which carries out this analysis and produces a group stiffness matrix that can be included as a f...

conclusions the results of this study show that it is possible to remove nitrate, and its intermediates from waste water. regarding the desirability of the process, the field scale study is proposed. results the results showed that by applying electric current of 0.14 a for 120 minutes, the nitrate content would reduce down to 97%. the obtained r2 for the nitrate removal model was higher than 0...