Results 161 to 170 of about 1,501,622 (351)
A Formal Proof Of The Riesz Representation Theorem
Journal of Formalized Reasoning, 2011 This paper presents a formal proof of the Riesz representation theorem in the PVS theorem prover. The Riemann Stieltjes integral was defined in PVS, and the theorem relies on this integral.
Anthony Narkawicz
doaj
From Damage to Functionality: Remanufacturing of Thrust Roller Bearings by Tailored Forming
Advanced Engineering Materials, EarlyView.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
Formal equivalence of the nonlinear string and one-dimensional fluid flow [PDF]
, 1965 Gerald Rosen
openalex +1 more source
Advanced Engineering Materials, EarlyView.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
Algebraic Rieffel Induction, Formal Morita Equivalence, and Applications to Deformation Quantization
, 1999 Henrique Bursztyn, Stefan Waldmann
openalex +2 more sources
Advanced Engineering Materials, EarlyView.Hydrostatic bearings excel in high‐precision applications, but their performance hinges on a continuous external supply. This study evaluates various material combinations for sliding surfaces to mitigate damage during supply failures or misalignment and to discover the most effective materials identified for enhancing the reliability and efficiency of
Michal Michalec +6 more
wiley +1 more source
Ideals and Formal Morita Equivalence of Algebras
, 2000 Henrique Bursztyn, Stefan Waldmann
openalex +2 more sources
Formal Equivalence Checking And Design Debugging
, 2016 Marina Fruehauf
semanticscholar +1 more source
A Different Perspective on the Solid Lubrication Performance of Black Phosphorous: Friend or Foe?
Advanced Engineering Materials, EarlyView.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
A Novel Simulation Approach for Damage Evolution during Tailored Forming
Advanced 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