Search results for "Strain"
showing 10 items of 1955 documents
Re-forming end-of-life components through single point incremental forming
2020
Abstract Applying Circular Economy strategies is mandatory to face material demand while minimizing the environmental impact. Manufacturing processes are to be thought as means to enable material/component reuse strategies. This paper presents the suitability of Single Point Incremental Forming (SPIF) to re-form End-of-life sheet metal components. Deep drawing followed by SPIF process on aluminium alloys were carried out to simulate reforming processes chain. The resulting thinning and strain distributions were experimentally analysed for different configurations. The research proves that the local action and enhanced formability nature of SPIF allow non-homogeneously thinned and reduced fo…
Surface and mechanical characterization of stationary shoulder friction stir welded lap joints: experimental and numerical approach
2020
Friction Stir Welding (FSW) is one of the most used solid-state welding processes in the aeronautical, aerospace, ground transportation and naval fields. Stationary Shoulder Friction Stir Welding (SSFSW) is a recently introduced variant of the process allowing lower heat input into the joints, with beneficial effects in terms of joint mechanical properties, microstructure and top surface finish. In the paper, lap joints produced by SSFSW and made out of AA6082-T6 aluminum alloy sheets have been analyzed with the aim to investigate the effect of the stationary shoulder on the lap joints surface, metallurgical, and mechanical properties. The lap joints produced by SSFSW have been compared to …
A decomposition approach to dual shuttle automated storage and retrieval systems
2016
[EN] Automated Storage and Retrieval Systems (AS/RS) have become vital in today¿s distribution and production environments, however it remains necessary to equip them with more efficient operational control policies. Motivated by real situations encountered by companies employing AS/RS, the present paper studies a miniload AS/RS system, with a dual shuttle crane in which a set of storage and retrieval requests must be scheduled such that the prioritized waiting time is minimized. Dual shuttle cranes have received minimal academic attention and thus continue to pose new problems that must be solved. The miniload AS/RS problem is addressed by decomposing it into a location assignment and sequ…
Interrogating witnesses for geometric constraint solving
2012
International audience; Classically, geometric constraint solvers use graph-based methods to decompose systems of geometric constraints. These methods have intrinsic limitations, which the witness method overcomes; a witness is a solution of a variant of the system. This paper details the computation of a basis of the vector space of free infinitesimal motions of a typical witness, and explains how to use this basis to interrogate the witness for dependence detection. The paper shows that the witness method detects all kinds of dependences: structural dependences already detectable by graph-based methods, but also non-structural dependences, due to known or unknown geometric theorems, which…
Decomposition and Mean-Field Approach to Mixed Integer Optimal Compensation Problems
2016
Mixed integer optimal compensation deals with optimization problems with integer- and real-valued control variables to compensate disturbances in dynamic systems. The mixed integer nature of controls could lead to intractability in problems of large dimensions. To address this challenge, we introduce a decomposition method which turns the original n-dimensional optimization problem into n independent scalar problems of lot sizing form. Each of these problems can be viewed as a two-player zero-sum game, which introduces some element of conservatism. Each scalar problem is then reformulated as a shortest path one and solved through linear programming over a receding horizon, a step that mirro…
Interoperable real-time symbolic programming for smart environments
2019
Smart environments demand novel paradigms offering easy configuration, programming and deployment of pervasive applications. To this purpose, different solutions have been proposed ranging from visual paradigms based on mashups to formal languages. However, most of the paradigms proposed in the literature require further external tools to turn application description code into an executable program before the deployment on target devices. Source code generation, runtime upgrades and recovery, and online debugging and inspection are often cumbersome in these programming environments. In this work we describe a methodology for real-time and on-line programming in smart environments that is co…
Ensuring the Reliability of an Autonomous Vehicle
2017
International audience; In automotive applications, several components, offering different services, can be composed in order to handle one specific task (autonomous driving for example). Nevertheless, component composition is not straightforward and is subject to the occurrence ofbugs resulting from components or services incompatibilities for instance. Hence, bugs detection in component-based systems at thedesign level is very important, particularly, when the developed system concerns automotive applications supporting critical services.In this paper, we propose a formal approach for modeling and verifying the reliability of an autonomous vehicle system, communicatingcontinuously with of…
Injury-activated glial cells promote wound healing of the adult skin in mice
2018
Cutaneous wound healing is a complex process that aims to re-establish the original structure of the skin and its functions. Among other disorders, peripheral neuropathies are known to severely impair wound healing capabilities of the skin, revealing the importance of skin innervation for proper repair. Here, we report that peripheral glia are crucially involved in this process. Using a mouse model of wound healing, combined with in vivo fate mapping, we show that injury activates peripheral glia by promoting de-differentiation, cell-cycle re-entry and dissemination of the cells into the wound bed. Moreover, injury-activated glia upregulate the expression of many secreted factors previously…
Next‐Generation Sequencing‐Based RiboMethSeq Protocol for Analysis of tRNA 2′‐O‐Methylation
2017
Analysis of RNA modifications by traditional physico‐chemical approaches is labor intensive, requires substantial amounts of input material and only allows site‐by‐site measurements. The recent development of qualitative and quantitative approaches based on next‐generation sequencing (NGS) opens new perspectives for the analysis of various cellular RNA species. The Illumina sequencing‐based RiboMethSeq protocol was initially developed and successfully applied for mapping of ribosomal RNA (rRNA) 2′‐O‐methylations. This method also gives excellent results in the quantitative analysis of rRNA modifications in different species and under varying growth condi…
Downregulation of thioredoxin-1-dependent CD95 S-nitrosation by Sorafenib reduces liver cancer
2020
Hepatocellular carcinoma (HCC) represents 80% of the primary hepatic neoplasms. It is the sixth most frequent neoplasm, the fourth cause of cancer-related death, and 7% of registered malignancies. Sorafenib is the first line molecular targeted therapy for patients in advanced stage of HCC. The present study shows that Sorafenib exerts free radical scavenging properties associated with the downregulation of nuclear factor E2-related factor 2 (Nrf2)-regulated thioredoxin 1 (Trx1) expression in liver cancer cells. The experimental downregulation and/or overexpression strategies showed that Trx1 induced activation of nitric oxide synthase (NOS) type 3 (NOS3) and S-nitrosation (SNO) of CD95 rece…