In the present work, hydrogen/material interaction with two austenitic steel types, created via a completely different alloying strategy, is investigated. The steels include 304L stainless (ASS) and 18Mn-0.6C twinning-induced plasticity (TWIP) steel. Constant extension rate tensile tests are performed to evaluate influence of hydrogen on deformation fracture mechanisms. A reference condition wi...

in this research, efficiency of iranian forest and rangeland decision making unit was assessed using non-parametric method. inputs and outputs determined by field research and with applying a delphi method the final input and output variables selected. forty five wood-producing units (forestry plans) in three northern iranian province were studied using data envelopment analysis. the efficiency...

Developing boundary layer flow and the flow over a backward-facing step are studied here. The LRN PANS k − ε [1] and the WALE turbulence model [2] are used as SGS models. The PANS (Partially AveragedNavier-Stokes) modelling approach [3, 4] is a modified k − ε model that can operate in both RANS and LES mode. An extension of PANS based on a four-equation k− ε− ζ − f model was recently proposed [...

In this paper, we propose a multistep extension of the Shanks’ sequence transformation [2, 3]. It is defined as a ratio of determinants. Then, we show that this transformation can be recursively implemented by a multistep extension of the ε–algorithm of Wynn [4]. Some of their properties are specified. These results are obtained by using the Hirota’s bilinear method [1], a procedure quite usefu...

Hilbert’s ε-calculus is based on an extension of the language of predicate logic by a term-forming operator εx. Two fundamental results about the ε-calculus, the first and second epsilon theorem, play a rôle similar to that which the cut-elimination theorem plays in sequent calculus. In particular, Herbrand’s Theorem is a consequence of the epsilon theorems. The paper investigates the epsilon t...

Let B be a one-dimensional Brownian motion and f : R → R be a Borel function that is locally integrable on R \ {0} . We present necessary and sufficient conditions (in terms of the function f ) for the existence of the limit lim ε↓0 ∫ t 0 f(Bs) I(|Bs| > ε) ds in probability and almost surely. This limit (if it exists) can be called the principal value of the integral ∫ t 0 f(Bs) ds . The obtain...

We present a variational reformulation of a class of doubly nonlinear parabolic equations as (limits of) constrained convex minimization problems. In particular, an ε−dependent family of weighted energy-dissipation (WED) functionals on entire trajectories is introduced and proved to admit minimizers. These minimizers converge to solutions of the original doubly nonlinear equation as ε → 0. The ...

Hilbert’s ε-calculus is based on an extension of the language of predicate logic by a term-forming operator εx. Two fundamental results about the ε-calculus, the first and second epsilon theorem, play a rôle similar to that which the cut-elimination theorem plays in sequent calculus. In particular, Herbrand’s Theorem is a consequence of the epsilon theorems. The paper investigates the epsilon t...

We consider the well known geometric problem of determining shortest paths between pairs of points on a polyhedral surface P , where P consists of triangular faces with positive weights assigned to them. The cost of a path in P is defined to be the weighted sum of Euclidean lengths of the sub-paths within each face of P . We present query algorithms that compute approximate distances and/or app...