A gradient-extended two-surface damage-plasticity model based on a von Mises yield criterion has been proposed by [1, 2], which can be flexibly adapted to (quasi-)brittle-like, ductile-like, or various material behaviors in between. However, the does not take into account effect of hydrostatic pressure, therefore it hardly failure behavior pressure-sensitive materials such as geomaterials and s...

This paper presents an algorithmic strategy to non-stationary policy search for finite-horizon, discrete-time Markovian decision problems with large state spaces, constrained action sets, and a risk-sensitive optimality criterion. The methodology relies on modeling time-variant policy parameters by a non-parametric response surface model for an indirect parametrized policy motivated by Bellman’...

In this paper, Forchheimer equation is used as the constitutive equation for flow through rockfill, and the non-linear two-dimensional governing equation with free surface is solved by a new finite element method in a fixed grid. The model is verified by applying it to different flow conditions. The first scenario, which is assumed to be one-dimensional with analytical solution available for it...

In this paper, Forchheimer equation is used as the constitutive equation for flow through rockfill, and the non-linear two-dimensional governing equation with free surface is solved by a new finite element method in a fixed grid. The model is verified by applying it to different flow conditions. The first scenario, which is assumed to be one-dimensional with analytical solution available for it...

reservoir models with many grid blocks suffer from long run time; it is hence important to deliberatea method to remedy this drawback. usual upscaling methods are proved to fail to reproduce fine gridmodel behaviors in coarse grid models in well proximity. this is attributed to rapid pressure changesin the near-well region. standard permeability upscaling methods are limited to systems with lin...

We introduce a new correctness criterion for multiplicative non commutative proof nets which can be considered as the non-commutative counterpart to the Danos-Regnier criterion for proof nets of linear logic. The main intuition relies on the fact that any switching for a proof net (obtained by mutilating one premise of each disjunction link) can be naturally viewed as a series-parallel order va...