Search
Now showing items 51-52 of 52
Identifying crack parameters in slow rotating machinery using vibration measurements and hybrid neuro-particle swarm technique
(2010 , Conference Paper)
Low-cycle fatigue-initiated cracks may result in failure in slow-rotating equipments. Online monitoring to identify such fault/crack parameters, namely crack size and crack location, would be critical in providing an early ...
A neural network algorithm for hardware-software verification
(
IEEE
, 2003 , Conference Paper)
Formal verification is the task of proving that a property holds for a model of a design. This paper examines the idea of a Neural Network-based algorithm used to find the set of states that makes a specification valid. ...