In this paper, a modified shear strength reduction method (MSSR) and its optimization variant (OPT-MSSR) are suggested. The idea of MSSR is to approximate the standard be more stable rigorous from numerical point view. consists simplified associated elasto-plastic model completed by depending on dilatancy angle. Three Davis' modifications suggested Tschuchnigg et al. (2015) interpreted as speci...

Drawing on the theories of limit equilibrium and finite-element strength reduction, this paper explores instability modes stability change laws slope in zones E, W, S Jiajika spodumene mine, through rock mechanics tests, field survey, numerical simulation. The results show that sliding mode is circular arc or + plane sliding. Overall, final open-pit mine generally stable under current design, s...

I analyze the hierarchy of large cardinals between a supercompact cardinal and an almost-huge cardinal. Many of these cardinals are defined by modifying the definition of a high-jump cardinal. A high-jump cardinal is defined as the critical point of an elementary embedding j : V → M such that M is closed under sequences of length sup{ j(f)(κ) | f : κ→ κ }. Some of the other cardinals analyzed i...

With less than 0# two generic extensions of L are identified: one in which א1, and the other א2, is almost precipitous. This improves the consistency strength upper bound of almost precipitousness obtained in [6], and answers some questions raised there. Also, main results of [5] are generalizedassumptions on precipitousness are replaced by those on ∞-semi precipitousness. As an application it ...

For any graph G, let ni be the number of vertices of degree i, and λ(G) = maxi≤j{ ni+···+nj+i−1 j }. This is a general lower bound on the irregularity strength of graph G. All known facts suggest that for connected graphs, this is the actual irregularity strength up to an additive constant. In fact, this was conjectured to be the truth for regular graphs and for trees. Here we find an infinite ...

There is a well-known global equivalence between Σ2 sets having the Universal Baire property, two-step Σ3 generic absoluteness, and the closure of the universe under the sharp operation. In this note, we determine the exact consistency strength of Σ2 sets being (2 )-cc Universally Baire, which is below 0. In a model obtained, there is a Σ2 set which is weakly ω2-Universally Baire but not ω2-Uni...