Results 201 to 210 of about 3,157,454 (357)
Formal Verification of Smart Contracts: Short Paper
K. Bhargavan+10 more
semanticscholar +1 more source
A Novel Simulation Approach for Damage Evolution during Tailored Forming
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
Formal Verification based on Boolean Expression Diagrams
Poul Frederick Williams
openalex +1 more source
Bistable Mechanisms 3D Printing for Mechanically Programmable Vibration Control
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
Using Interface Refinement to Integrate Formal Verification into the Design Cycle [PDF]
Jacob Chang+2 more
openalex +1 more source
Deformation Behavior of La2O3‐Doped Copper during Equal Channel Angular Pressing
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
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 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