Applications of Neural Networks in High Assurance Systems

"Applications of Neural Networks in High Assurance Systems" is the first book directly addressing a key part of neural network technology: methods used to pass the tough verification and validation (V&V) standards required in many safety-critical applications. The book presents what ki...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Schumann, Johann (Επιμελητής έκδοσης), Liu, Yan (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Σειρά:Studies in Computational Intelligence, 268
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 03581nam a22005535i 4500
001 978-3-642-10690-3
003 DE-He213
005 20151204182205.0
007 cr nn 008mamaa
008 100306s2010 gw | s |||| 0|eng d
020 |a 9783642106903  |9 978-3-642-10690-3 
024 7 |a 10.1007/978-3-642-10690-3  |2 doi 
040 |d GrThAP 
050 4 |a TA329-348 
050 4 |a TA640-643 
072 7 |a TBJ  |2 bicssc 
072 7 |a MAT003000  |2 bisacsh 
082 0 4 |a 519  |2 23 
245 1 0 |a Applications of Neural Networks in High Assurance Systems  |h [electronic resource] /  |c edited by Johann Schumann, Yan Liu. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg,  |c 2010. 
300 |a XVI, 248 p. 99 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Studies in Computational Intelligence,  |x 1860-949X ;  |v 268 
505 0 |a Application of Neural Networks in High Assurance Systems: A Survey -- Robust Adaptive Control Revisited: Semi-global Boundedness and Margins -- Network Complexity Analysis of Multilayer Feedforward Artificial Neural Networks -- Design and Flight Test of an Intelligent Flight Control System -- Stability, Convergence, and Verification and Validation Challenges of Neural Net Adaptive Flight Control -- Dynamic Allocation in Neural Networks for Adaptive Controllers -- Immune Systems Inspired Approach to Anomaly Detection, Fault Localization and Diagnosis in Automotive Engines -- Pitch-Depth Control of Submarine Operating in Shallow Water via Neuro-adaptive Approach -- Stick-Slip Friction Compensation Using a General Purpose Neuro-Adaptive Controller with Guaranteed Stability -- Modeling of Crude Oil Blending via Discrete-Time Neural Networks -- Adaptive Self-Tuning Wavelet Neural Network Controller for a Proton Exchange Membrane Fuel Cell -- Erratum to: Network Complexity Analysis of Multilayer Feedforward Artificial Neural Networks. 
520 |a "Applications of Neural Networks in High Assurance Systems" is the first book directly addressing a key part of neural network technology: methods used to pass the tough verification and validation (V&V) standards required in many safety-critical applications. The book presents what kinds of evaluation methods have been developed across many sectors, and how to pass the tests. A new adaptive structure of V&V is developed in this book, different from the simple six sigma methods usually used for large-scale systems and different from the theorem-based approach used for simplified component subsystems. 
650 0 |a Engineering. 
650 0 |a Artificial intelligence. 
650 0 |a Applied mathematics. 
650 0 |a Engineering mathematics. 
650 0 |a Automotive engineering. 
650 0 |a Industrial engineering. 
650 0 |a Production engineering. 
650 1 4 |a Engineering. 
650 2 4 |a Appl.Mathematics/Computational Methods of Engineering. 
650 2 4 |a Artificial Intelligence (incl. Robotics). 
650 2 4 |a Automotive Engineering. 
650 2 4 |a Industrial and Production Engineering. 
700 1 |a Schumann, Johann.  |e editor. 
700 1 |a Liu, Yan.  |e editor. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783642106897 
830 0 |a Studies in Computational Intelligence,  |x 1860-949X ;  |v 268 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-10690-3  |z Full Text via HEAL-Link 
912 |a ZDB-2-ENG 
950 |a Engineering (Springer-11647)