The displacement calculus of Morrill, Valent́ın and Fadda (2011)[12] forms a foundation for type logical categorial grammar in which discontinuity is accommodated alongside continuity in a logic which is free of structural rules and which enjoys Cut-elimination, the subformula property, decidability, and the finite reading property. The calculus deploys a new kind of sequent calculus which we ca...

This paper treats the interactions between a main crack and a rnicrocrack in an anisotropic piezoelectric solid. Based on the Green's function approach and the principle of superposition, a system of singular integral equations for the unknown temperature discontinuity defined on each crack face is developed and can be solved numerically. In the analysis, the residual heat flux, stress and elec...

A comprehensive investigation was carried out to minimize the cost price of the rock fragmentation process including: drilling, blasting, secondary blasting and separating the large boulders (oversize rocks) while loading, until the optimized fragmentation, powder factor and ratio of burden (B) to blasthole diameter (?h) were achieved by doing several stages of drilling and blasting practically...

Variational phase-field models of fracture are widely used to simulate nucleation and propagation cracks in brittle materials. They based on the approximation solutions a free-discontinuity energy by two smooth function: displacement damage field. Their numerical implementation is typically discretization both fields nodal $$\mathbb {P}^1$$ Lagrange finite elements. In this article, we propose ...

scattering of an incoming wave train by a discontinuity at the upper surface of the ocean over a uniform porous bottom of finite depth is considered here in the framework of linearized water wave theory. by employing residue calculus method, the reflection and transmission coefficient are obtained. these coefficients are computed numerically for different values of the porosity parameter g and ...

A novel method for detecting altered fingerprints using scars, minutiae density and ridge discontinuity is proposed here.This paper mainly focuses on FFT enhancement for ridge discontinuity analysis and use of scars along with ridge discontinuity and minutiae density for alteration detection. The scar is detected by adaptive average filtering and thresholding. This method is found suitable for ...

Flexural toppling failure is a common mode of natural and artificial rock slopes, which has caused serious damage to human life property. In this work, an advanced numerical method called the Universal Distinct Element Code (UDEC) was used study mechanism flexural failure. total, more than twenty slope models were built analyzed. Two new parameters (displacement discontinuity transition coeffic...

Introduction The description of a fault model includes the fault surfaces and associated tip lines, the fault network geometry, and the displacement geometry of faults. Fault surfaces are usually observed from seismic discontinuities, which include reflector breaks, flexures, and amplitude changes. These discontinuities can often have a regular appearance that corresponds to fault geometries fo...

Using Stroh's formalism and conformal mapping, Green's functions are obtained in closed-form for an in®nite thermopiezoelectric plate with an elliptic hole induced by temperature discontinuity. The Green's function satis®es freetraction-charge as well as thermal-insulated conditions along the hole boundary. Based on the Green's function, a system of singular integral equations for the unknown t...

This paper presents a treatment of first–order discontinuities (D1) that arise in discontinuitymeshes. An algorithm is described that, given a planar D1 discontinuity surface in a polyhedral scene, computes the corresponding discontinuity curves on the faces of the scene. A method is described to efficiently update the backprojection across a D1 discontinuity curve. An alternative update method...