TY - BOOK ID - 8062335 TI - Applications of neural networks in high assurance systems AU - Schumann, Johann. AU - Liu, Yan. PY - 2010 SN - 3642106897 9786613511621 3642106900 1280003294 PB - Berlin : Springer, DB - UniCat KW - Neural networks (Computer science) KW - System safety KW - Expert systems (Computer science) KW - Engineering & Applied Sciences KW - Civil & Environmental Engineering KW - Civil Engineering KW - Computer Science KW - Applied Mathematics KW - Validation KW - Verification KW - High performance computing. KW - HPC (Computer science) KW - Artificial neural networks KW - Nets, Neural (Computer science) KW - Networks, Neural (Computer science) KW - Neural nets (Computer science) KW - Engineering. KW - Artificial intelligence. KW - Applied mathematics. KW - Engineering mathematics. KW - Automotive engineering. KW - Industrial engineering. KW - Production engineering. KW - Appl.Mathematics/Computational Methods of Engineering. KW - Artificial Intelligence (incl. Robotics). KW - Automotive Engineering. KW - Industrial and Production Engineering. KW - Manufacturing engineering KW - Process engineering KW - Industrial engineering KW - Mechanical engineering KW - Management engineering KW - Simplification in industry KW - Engineering KW - Value analysis (Cost control) KW - Engineering analysis KW - Mathematical analysis KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Construction KW - Industrial arts KW - Technology KW - Mathematics KW - Cyberinfrastructure KW - Supercomputers KW - Artificial intelligence KW - Natural computation KW - Soft computing KW - Mathematical and Computational Engineering. KW - Artificial Intelligence. UR - https://www.unicat.be/uniCat?func=search&query=sysid:8062335 AB - "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. ER -