Abstract In sheet metal stamping, the occurrence of strain localization in a deformed is considered failure. As so, metal’s formability conventionally evaluated using Forming Limit Diagram (FLD), which separates principal space into safety and unsafety regions by Curve (FLC). This study presents an evaluation method for detecting based on Digital Image Correlation (DIC) during experiment. The c...

A labelled Markov process (LMP) consists of a measurable space S together with an indexed family of Markov kernels from S to itself. This structure has been used to model probabilistic computations in Computer Science, and one of the main problems in the area is to define and decide whether two LMP S and S′ “behave the same”. There are two natural categorical definitions of sameness of behavior...

Abstract In this study, a new test method using protruding punch was proposed, that can separate bending and stretching deformations. test, the blank makes simultaneous contact with head shoulder to ensure constant angle during test. After contact, increasing stroke increases amount of stretch deformation without changing deformation. addition, control inflow materials by controlling BHF, it is...

Hipparcos parallaxes and proper motions have made it possible to construct Hertzsprung-Russell (HR) diagrams of nearby clusters with unprecedented accuracy. The standard deviation of high fidelity non-binary non-variable stars about a model stellar evolution isochrone in the Hyades cluster is about 0.04 magnitudes. We use this deviation to estimate an upper limit on the scatter in metallicities...

A steel alloy DP590 is commonly used for automobile applications because of its outstanding mechanical characteristics. One crucial limitation this forming that it has limited malleability and ductility. In study, we compared the experimental limit diagram (FLD) at RT 800°C using stretching. An experiment with a strain rate 0.01/s carried out samples cut in four different directions (0°,30°,60°...