Results 191 to 200 of about 3,157,454 (357)
A Case‐Based Reasoning Approach to Model Manufacturing Constraints for Impact Extrusion
A hybrid modeling approach is presented that combines constraint‐based process modeling and case‐based reasoning. The model formalizes manufacturing constraints and integrates simulation data to model complex manufacturing processes. The approach supports manufacturability analysis during product design through an adaptive modeling environment.
Kevin Herrmann+5 more
wiley +1 more source
Fun with FireWire: A Comparative Study of Formal Verification Methods Applied to the IEEE 1394 Root Contention Protocol [PDF]
Mariëlle Stoelinga
openalex +1 more source
Temporal power modulation increases weld depth in high‐power laser beam welding of dissimilar round bars by nearly 20% compared to same average continuously welded welding power. The mechanism of action also applies to sheet welding and depends on the inertia of keyhole depth for the modulated laser beam power.
Jan Grajczak+7 more
wiley +1 more source
Formal Verification of Timed Systems: A Survey and Perspective [PDF]
H. Falk
openalex +2 more sources
Formal verification of conflict detection algorithms [PDF]
César A. Muñoz+3 more
openalex +1 more source
From Damage to Functionality: Remanufacturing of Thrust Roller Bearings by Tailored Forming
Herein, the wear and fatigue behavior of repaired bearing raceways with a new powder alloy is investigated using a FE8 test‐rig and an oscillating tribometer. The tests are compared with industrial manufactured bearings to evaluate the repair quality. The repair can extend the service life of the repaired bearing to that of a new bearing and improves ...
Felix Saure+3 more
wiley +1 more source
This study investigates the bond quality of co‐extruded aluminum–titanium hybrid profiles, focusing on the lateral angular co‐extrusion (LACE) process. It examines how heat treatments (HT) affect intermetallic phase formation, bond strength, and material properties.
Norman Mohnfeld+9 more
wiley +1 more source
Practical formal verification in microprocessor design
Robert B. Jones+4 more
openalex +2 more sources
A Different Perspective on the Solid Lubrication Performance of Black Phosphorous: Friend or Foe?
Researchers investigate black phosphorous (BP) as a standalone solid lubricant coating through ball‐on‐disc linear‐reciprocating sliding experiments in dry conditions. Testing on different metals shows BP doesn't universally reduce friction and wear. However, it achieves 33% friction reduction on rougher iron surfaces and 23% wear reduction on aluminum.
Matteo Vezzelli+5 more
wiley +1 more source