A singularly perturbed parabolic problem of convection-diffusion type with a discontinuous initial condition is examined. An analytic function is identified which matches the discontinuity in the initial condit
An example is Boolector reasoner (Brummayer and Biere, 2009), which lazily instantiates array axioms and macros. Even Z3 (Moura and Bjørner, 2008) applies bit-blasting to every operation besides equality, which is then handled by specific algorithms....
Note that the rank-four tables of evolution kernels are sparse (with typical density of non-zero entries of ∼ 10−3 − 10−4), therefore, we use dedicated sparse algebra algorithms for storage and mul- tiplication of these kernels. The kernels are computed during the initialization ...
It should be noted that the CPU time needed for FEMDEM modelling also depends on the contact algorithms in the DEM formulation, which might dominate the overall computational performance if there are a large number of discontinuities (e.g. fractures and discrete bodies) in the domain. The ...
Rock mass strength is one of the key factors related to rock mechanics research and rock engineering design. In this paper, rock mass failure is simulated using a discrete Bonded Block Model, BBM, and the rock mass strength is characterized accordingly. A set of optimization algorithms is initia...
of symmetric spaces can be used as a tool to: (1) understand and provide a unifying approach to the analysis of a number of different algorithms; and (2) devise new algorithms with special symmetry/reversing symmetry properties in the context of the numerical solution of differential equations....
A combination of several optimization algorithms of the EAF is utilized to solve the optimization problem was studied by Saboohi et al [47]. Their results show that optimized operation profiles lead to a significant decrease in operational costs and production times. Optimization-based online decision...
which constitute an informal high-level description of the underlying operating principle of a computer program. In fact, those algorithms have been sketched during the coding phase, to assemble the present C++ parallel implementation, but they could also be followed in creating a new computational ...
Zhu MQ, Zhu HH, Wang X, Cheng PP (2020) Study on cart-based ensemble learning algorithms for predicting TBM tunneling parameters and classing surrounding rockmasses. Chinese J Rock Mech Eng 39:1–12 Google Scholar Download references Acknowledgements This study was supported by the National Nat...
PIMPLE (Pressure Implicit Method of Pressure Linked Equations), which combines the PISO and SIMPLE algorithms, is the pressure–momentum coupling method employed in this work. A dynamic time step based on the Courant number or CFL number is used by the algorithm [38]. 𝐶𝑜=Δ𝑡12𝑉...