| 书目名称 | Methods and Procedures for the Verification and Validation of Artificial Neural Networks |
| 编辑 | Brian J. Taylor |
| 视频video | http://file.papertrans.cn/633/632223/632223.mp4 |
| 概述 | First book based on alternative standards.Includes risk and hazard analysis.Includes supplementary material: |
| 图书封面 |  |
| 描述 | .Neural networks are members of a class of software that have the potential to enable intelligent computational systems capable of simulating characteristics of biological thinking and learning. Currently no standards exist to verify and validate neural network-based systems. NASA Independent Verification and Validation Facility has contracted the Institute for Scientific Research, Inc. to perform research on this topic and develop a comprehensive guide to performing V&V on adaptive systems, with emphasis on neural networks used in safety-critical or mission-critical applications...Methods and Procedures for the Verification and Validation of Artificial Neural Networks. is the culmination of the first steps in that research. This volume introduces some of the more promising methods and techniques used for the verification and validation (V&V) of neural networks and adaptive systems. A comprehensive guide to performing V&V on neural network systems, aligned with the IEEE Standard for Software Verification and Validation, will follow this book.. |
| 出版日期 | Book 2006 |
| 关键词 | Adaptive systems; artificial intelligence; formal method; learning; software verification; verification; v |
| 版次 | 1 |
| doi | https://doi.org/10.1007/0-387-29485-6 |
| isbn_softcover | 978-1-4419-3935-7 |
| isbn_ebook | 978-0-387-29485-8 |
| copyright | Springer-Verlag US 2006 |
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-8-22 07:55
发表于 2025-3-21 16:21:22
