The beam hardening effect is one of the major artifacts of X-ray computed tomography. It not only complicates medical inspection and material analysis, but also influences the accuracy and repeatability of dimensional measurements. Therefore, many efforts have been devoted to develop beam hardening correction methods since the early 1970s. In practice, the combination of hardware filters (pre-f...

Using molecular dynamics simulations of a generic model, we observe strain hardening in highly cross-linked polymer glasses under tensile deformation. We show that formation of microvoids, without bond breaking, constitutes the microscopic origins of strain hardening. A well-defined functional form is observed for the void size distribution that is consistent with voids in dense equilibrium Len...

We formally state and prove the wellposedness and the local Lipschitz continuity of the multisurface stress-strain law of nonlinear kinematic hardening type due to Chaboche within the space of time-dependent tensor-valued absolutely continuous functions. The results also include the more general case of a continuous family of auxiliary surfaces.

In this work we introduce a cost-aware methodology for selective hardening of combinational logic cells, which provides a list of the most effective candidates for hardening. Two heuristics are proposed in order to define when selective hardening becomes unfeasible. The methodology and the heuristics are applied to a set of benchmark circuits using costs extracted from an actual standard cell l...

This document presents TLS and how to make it secure enough as of 2014 Spring. Of course all the information given here will rot with time. Protocols known as secure will be cracked and will be replaced with better versions. Fortunately we will see that there are ways to assess the current security of your setup, but this explains why you may have to read further from this document to get the u...

Control-based continuation (CBC) is a means of applying numerical continuation directly to a physical experiment for bifurcation analysis without the use of a mathematical model. CBC enables the detection and tracking of bifurcations directly, without the need for a post-processing stage as is often the case for more traditional experimental approaches. In this paper, we use CBC to directly loc...

Industrial applications require parts of components with specific surface properties such are good corrosion resistance, wear resistance and hardness. Alloys with those properties are usually very expensive and there is a great interest in reducing the cost of components for fulfilling these requirements. In this sense, laser surface processing has been used as a cost-effective technique to imp...

The goal of this research is to study the anisotropic material behavior during forming processes, represented by both complex yield loci and kinematic-isotropic hardening models. A first part of this paper describes the main concepts of the ‘Stress-strain interpolation’ model that has been implemented in the non-linear finite element code Lagamine. This model consists of a local description of ...

In this paper an algorithm for large strain elasto-plasticity with isotropic hyperelasticity based on the multiplicative decomposition is formulated. The algorithm includes a (possible) constitutive equation for the plastic spin and mixed hardening in which the principal stress and principal backstress directions are not necessarily preserved. It is shown that if the principal trial stress dire...

The process of laser beam transformation hardening is principally controlled by two independent parameters, the absorbed laser power on a given area and the interaction time. These parameters can be transformed into two functional parameters: the maximum surface temperature and the hardening depth. It has been proved that with a constant hardening depth the results (hardness. residual stress. e...