Results 201 to 210 of about 3,157,454 (357)

Formal Verification of Smart Contracts: Short Paper

open access: yesPLAS@CCS, 2016
K. Bhargavan   +10 more
semanticscholar   +1 more source

A Novel Simulation Approach for Damage Evolution during Tailored Forming

open access: yesAdvanced Engineering Materials, EarlyView.
Traditional damage models are struggling to accurately and efficiently simulate large‐scale three‐dimensional models with a great number of degrees of freedoms. A new gradient‐enhanced damage model based on the extended Hamilton principle can significantly reduce the computation time while ensuring mesh‐independence which is suitable to use in tailored
Fangrui Liu   +2 more
wiley   +1 more source

Bistable Mechanisms 3D Printing for Mechanically Programmable Vibration Control

open access: yesAdvanced Engineering Materials, EarlyView.
This work introduces a 3D‐printed bistable mechanism integrated into tuned mass dampers (TMDs) for mechanically adaptive passive vibration suppression. Through optimized geometry, the bistable design provides adaptable vibration reduction across a broad range of scenarios, achieving effective vibration mitigation without complex controls or external ...
Ali Zolfagharian   +4 more
wiley   +1 more source

Deformation Behavior of La2O3‐Doped Copper during Equal Channel Angular Pressing

open access: yesAdvanced Engineering Materials, EarlyView.
By additions of strengthening elements and/or structure optimization, the mechanical properties of copper can be increased while keeping favorable electric conductivity. By combining addition of La2O3 and processing by equal channel angular pressing, substructure development is achieved, leading to increase in microhardness to more than double the ...
Lenka Kunčická   +2 more
wiley   +1 more source

Direct Consolidation of Copper–Graphene Composite by Rotary Swaging

open access: yesAdvanced Engineering Materials, EarlyView.
The applicability of the rotary swaging method for preparation of electroconductive copper–graphene composite by direct consolidation of powders is proven. The consolidated material features advantageous microstructure featuring fine grains and twins, with homogeneous distribution of graphene, primarily along the twin boundaries, which contribute to ...
Radim Kocich   +2 more
wiley   +1 more source

Phase Stability Study of the Marcasite‐Structure Solid Solutions (Fe,TM)Sb2 (TM = Cr, Ni) Synthesized via Combinatorial Co‐Deposition and Antimonization

open access: yesAdvanced Engineering Materials, EarlyView.
Phase diagrams of transition‐metal di‐pnictides have been efficiently and quickly explored by combinatorial deposition of transition‐metal films and subsequent antimonization enabling the study of compounds with volatile elements. In (Fe,Ni)Sb2 and the (Fe,Cr)Sb2 substitution series, phase separation has been evidenced between class‐A and B marcasites ...
Martin Kostka   +8 more
wiley   +1 more source

Home - About - Disclaimer - Privacy