Guidance for the verification and validation of neural networks:
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Hoboken, NJ
Wiley
2007
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | IX, 133 S. Ill., graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035073927 | ||
| 003 | DE-604 | ||
| 005 | 20090217 | ||
| 007 | t | ||
| 008 | 080929s2007 ad|| |||| 00||| eng d | ||
| 015 | |a GBA874568 |2 dnb | ||
| 020 | |z 047008457X |9 0-470-08457-X | ||
| 020 | |z 9780470084571 |9 978-0-470-08457-1 | ||
| 035 | |a (OCoLC)86083726 | ||
| 035 | |a (DE-599)BVBBV035073927 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-703 |a DE-11 |a DE-473 | ||
| 050 | 0 | |a QA76.87 | |
| 082 | 0 | |a 006.32 |2 22 | |
| 082 | 0 | |a 500 | |
| 084 | |a ST 301 |0 (DE-625)143651: |2 rvk | ||
| 100 | 1 | |a Pullum, Laura L. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Guidance for the verification and validation of neural networks |c Laura L. Pullum ; Brian J. Taylor ; Majorie A. Darrah |
| 264 | 1 | |a Hoboken, NJ |b Wiley |c 2007 | |
| 300 | |a IX, 133 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Neural networks (Computer science) | |
| 650 | 4 | |a Computer programs / Validation | |
| 650 | 4 | |a Computer programs / Verification | |
| 650 | 4 | |a Réseaux neuronaux (Informatique) | |
| 650 | 4 | |a Logiciels / Validation | |
| 650 | 4 | |a Logiciels / Vérification | |
| 650 | 4 | |a Logiciels - Validation | |
| 650 | 4 | |a Logiciels - Vérification | |
| 650 | 4 | |a Computer programs |x Validation | |
| 650 | 4 | |a Computer programs |x Verification | |
| 650 | 4 | |a Neural networks (Computer science) | |
| 650 | 0 | 7 | |a Richtigkeit von Ergebnissen |0 (DE-588)4127444-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Neuronales Netz |0 (DE-588)4226127-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Neuronales Netz |0 (DE-588)4226127-2 |D s |
| 689 | 0 | 1 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | 2 | |a Richtigkeit von Ergebnissen |0 (DE-588)4127444-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Taylor, Brian J. |e Verfasser |4 aut | |
| 700 | 1 | |a Darrah, Majorie A. |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m Digitalisierung UB Bayreuth |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016742281&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-016742281 | ||
Datensatz im Suchindex
| _version_ | 1804138023387922432 |
|---|---|
| adam_text | CONTENTS
Preface
............................................................................................................................
vii
Acknowledgements
........................................................................................................
is
1
Overview
.......................................................................................................................1
1.1
Definitions and Conventions
................................................................................2
1.2
Organization of the Book
.....................................................................................2
2
Areas of Consideration for Adaptive Systems
..........................................................5
2.1
Safety-Critical Adaptive System Example and Experience
.................................6
2.2
Hazard Analysis
....................................................................................................7
2.2.1
Development of a Neural Network Fault Model
....................................8
2.3
Requirements for Adaptive Systems
..................................................................12
2.4
Rule Extraction
...................................................................................................13
2.4.1
What is Rule Extraction?
......................................................................13
2.4.2
Rule Formats and Definitions
...............................................................14
2.4.3
Types of Rule Extraction
......................................................................14
2.4.4
How is Rule Extraction Useful in V&V?
.............................................15
2.4.5
Advantages and Disadvantages
............................................................15
2.5
Modified Life Cycle for Developing Neural Networks
.....................................16
2.5.1
Nested Loop Model of Neural Network Development Process
...........16
2.5.2
Safety Life Cycle for Hybrid Neural Networks
...................................18
2.6
Operational Monitors
.........................................................................................19
2.7
Testing Considerations
.......................................................................................20
2.7.1
Interface Testing
...................................................................................21
2.7.2
Function Testing
...................................................................................22
2.7.3
Knowledge Testing
...............................................................................22
2.7.4
Structure Testing
...................................................................................22
2.7.5
Neural Network Testing Tools
..............................................................23
2.8
Training Set Analysis
.........................................................................................24
2.8.1
Training Data with Too Many or Too Few Inputs
................................24
2.8.2
The Curse of Dimensionality
............................................................24
2.8.3
Data Redundancy
.................................................................................24
2.8.4
Irrelevant Data
......................................................................................24
2.8.5
Combining Different Data Sets into One
.............................................25
2.8.6
Processing the Training Data
................................................................25
2.8.7
Data Outliers
........................................................................................25
2.8.8
Use of Rule Extraction/Insertion/Refinement with Training Data
.......25
2.8.9
Training Data and Operational Monitoring
..........................................25
2.8.10
Version Control of the Training Process
..............................................26
2.9
Stability Analysis
................................................................................................26
2.10
Configuration Management of Neural Network Training and Design
...............27
2.11
Simulations of Adaptive Systems
.......................................................................28
v
2.12
Neural
Network
Visualization
............................................................................29
2.13
Adaptive System and Neural Network Selection
...............................................30
2.13.1
General Adaptive Systems
...................................................................30
2.13.2
Neural Network Systems at a High Level
............................................31
2.13.3
Neural Network Systems at a Low Level
.............................................34
2.13.4
Neural Network Taxonomy
..................................................................36
3
Verification and Validation of Neural Networks
-
Guidance
................................39
3.1
Process: Management
.........................................................................................40
3.1.1
Activity: Management of V&V
............................................................40
3.2
Process: Acquisition
...........................................................................................43
3.2.1
Activity: Acquisition Support V&V
.....................................................43
3.3
Process: Supply
..................................................................................................45
3.3.1
Activity: Planning V&V
.......................................................................45
3.4
Process: Development
........................................................................................46
3.4.1
Activity: Concept V&V
........................................................................46
3.4.2
Activity: Requirements V&V
...............................................................52
3.4.3
Activity: Design V&V
..........................................................................63
3.4.4
Activity: Implementation V&V
............................................................84
3.4.5
Activity: Test V&V
..............................................................................93
3.4.6
Activity: Installation and Checkout V&V
............................................97
3.5
Process: Operation
............................................................................................101
3.5.1
Activity: Operation V&V
...................................................................101
3.6
Process: Maintenance
.......................................................................................107
3.6.1
Activity: Maintenance V&V
..............................................................107
4
Recent Changes to IEEE Std
1012..........................................................................
Ill
Appendix A References
..........................................................................................119
Appendix
В
Acronyms
..........................................................................................123
Appendix
С
Definitions
.........................................................................................125
|
| adam_txt |
CONTENTS
Preface
.
vii
Acknowledgements
.
is
1
Overview
.1
1.1
Definitions and Conventions
.2
1.2
Organization of the Book
.2
2
Areas of Consideration for Adaptive Systems
.5
2.1
Safety-Critical Adaptive System Example and Experience
.6
2.2
Hazard Analysis
.7
2.2.1
Development of a Neural Network Fault Model
.8
2.3
Requirements for Adaptive Systems
.12
2.4
Rule Extraction
.13
2.4.1
What is Rule Extraction?
.13
2.4.2
Rule Formats and Definitions
.14
2.4.3
Types of Rule Extraction
.14
2.4.4
How is Rule Extraction Useful in V&V?
.15
2.4.5
Advantages and Disadvantages
.15
2.5
Modified Life Cycle for Developing Neural Networks
.16
2.5.1
Nested Loop Model of Neural Network Development Process
.16
2.5.2
Safety Life Cycle for Hybrid Neural Networks
.18
2.6
Operational Monitors
.19
2.7
Testing Considerations
.20
2.7.1
Interface Testing
.21
2.7.2
Function Testing
.22
2.7.3
Knowledge Testing
.22
2.7.4
Structure Testing
.22
2.7.5
Neural Network Testing Tools
.23
2.8
Training Set Analysis
.24
2.8.1
Training Data with Too Many or Too Few Inputs
.24
2.8.2
"The Curse of Dimensionality"
.24
2.8.3
Data Redundancy
.24
2.8.4
Irrelevant Data
.24
2.8.5
Combining Different Data Sets into One
.25
2.8.6
Processing the Training Data
.25
2.8.7
Data Outliers
.25
2.8.8
Use of Rule Extraction/Insertion/Refinement with Training Data
.25
2.8.9
Training Data and Operational Monitoring
.25
2.8.10
Version Control of the Training Process
.26
2.9
Stability Analysis
.26
2.10
Configuration Management of Neural Network Training and Design
.27
2.11
Simulations of Adaptive Systems
.28
v
2.12
Neural
Network
Visualization
.29
2.13
Adaptive System and Neural Network Selection
.30
2.13.1
General Adaptive Systems
.30
2.13.2
Neural Network Systems at a High Level
.31
2.13.3
Neural Network Systems at a Low Level
.34
2.13.4
Neural Network Taxonomy
.36
3
Verification and Validation of Neural Networks
-
Guidance
.39
3.1
Process: Management
.40
3.1.1
Activity: Management of V&V
.40
3.2
Process: Acquisition
.43
3.2.1
Activity: Acquisition Support V&V
.43
3.3
Process: Supply
.45
3.3.1
Activity: Planning V&V
.45
3.4
Process: Development
.46
3.4.1
Activity: Concept V&V
.46
3.4.2
Activity: Requirements V&V
.52
3.4.3
Activity: Design V&V
.63
3.4.4
Activity: Implementation V&V
.84
3.4.5
Activity: Test V&V
.93
3.4.6
Activity: Installation and Checkout V&V
.97
3.5
Process: Operation
.101
3.5.1
Activity: Operation V&V
.101
3.6
Process: Maintenance
.107
3.6.1
Activity: Maintenance V&V
.107
4
Recent Changes to IEEE Std
1012.
Ill
Appendix A References
.119
Appendix
В
Acronyms
.123
Appendix
С
Definitions
.125 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Pullum, Laura L. Taylor, Brian J. Darrah, Majorie A. |
| author_facet | Pullum, Laura L. Taylor, Brian J. Darrah, Majorie A. |
| author_role | aut aut aut |
| author_sort | Pullum, Laura L. |
| author_variant | l l p ll llp b j t bj bjt m a d ma mad |
| building | Verbundindex |
| bvnumber | BV035073927 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.87 |
| callnumber-search | QA76.87 |
| callnumber-sort | QA 276.87 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 301 |
| ctrlnum | (OCoLC)86083726 (DE-599)BVBBV035073927 |
| dewey-full | 006.32 500 |
| dewey-hundreds | 000 - Computer science, information, general works 500 - Natural sciences and mathematics |
| dewey-ones | 006 - Special computer methods 500 - Natural sciences and mathematics |
| dewey-raw | 006.32 500 |
| dewey-search | 006.32 500 |
| dewey-sort | 16.32 |
| dewey-tens | 000 - Computer science, information, general works 500 - Natural sciences and mathematics |
| discipline | Allgemeine Naturwissenschaft Informatik |
| discipline_str_mv | Allgemeine Naturwissenschaft Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02243nam a2200577 c 4500</leader><controlfield tag="001">BV035073927</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090217 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">080929s2007 ad|| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GBA874568</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">047008457X</subfield><subfield code="9">0-470-08457-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780470084571</subfield><subfield code="9">978-0-470-08457-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)86083726</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035073927</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-473</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.87</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.32</subfield><subfield code="2">22</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">500</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 301</subfield><subfield code="0">(DE-625)143651:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Pullum, Laura L.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Guidance for the verification and validation of neural networks</subfield><subfield code="c">Laura L. Pullum ; Brian J. Taylor ; Majorie A. Darrah</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Hoboken, NJ</subfield><subfield code="b">Wiley</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 133 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Neural networks (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programs / Validation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programs / Verification</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Réseaux neuronaux (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logiciels / Validation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logiciels / Vérification</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logiciels - Validation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logiciels - Vérification</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programs</subfield><subfield code="x">Validation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programs</subfield><subfield code="x">Verification</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Neural networks (Computer science)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Richtigkeit von Ergebnissen</subfield><subfield code="0">(DE-588)4127444-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Neuronales Netz</subfield><subfield code="0">(DE-588)4226127-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Neuronales Netz</subfield><subfield code="0">(DE-588)4226127-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Richtigkeit von Ergebnissen</subfield><subfield code="0">(DE-588)4127444-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Taylor, Brian J.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Darrah, Majorie A.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bayreuth</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016742281&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016742281</subfield></datafield></record></collection> |
| id | DE-604.BV035073927 |
| illustrated | Illustrated |
| index_date | 2024-07-02T22:04:56Z |
| indexdate | 2024-07-09T21:21:36Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016742281 |
| oclc_num | 86083726 |
| open_access_boolean | |
| owner | DE-703 DE-11 DE-473 DE-BY-UBG |
| owner_facet | DE-703 DE-11 DE-473 DE-BY-UBG |
| physical | IX, 133 S. Ill., graph. Darst. |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | Wiley |
| record_format | marc |
| spelling | Pullum, Laura L. Verfasser aut Guidance for the verification and validation of neural networks Laura L. Pullum ; Brian J. Taylor ; Majorie A. Darrah Hoboken, NJ Wiley 2007 IX, 133 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Neural networks (Computer science) Computer programs / Validation Computer programs / Verification Réseaux neuronaux (Informatique) Logiciels / Validation Logiciels / Vérification Logiciels - Validation Logiciels - Vérification Computer programs Validation Computer programs Verification Richtigkeit von Ergebnissen (DE-588)4127444-1 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Neuronales Netz (DE-588)4226127-2 gnd rswk-swf Neuronales Netz (DE-588)4226127-2 s Verifikation (DE-588)4135577-5 s Richtigkeit von Ergebnissen (DE-588)4127444-1 s DE-604 Taylor, Brian J. Verfasser aut Darrah, Majorie A. Verfasser aut Digitalisierung UB Bayreuth application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016742281&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Pullum, Laura L. Taylor, Brian J. Darrah, Majorie A. Guidance for the verification and validation of neural networks Neural networks (Computer science) Computer programs / Validation Computer programs / Verification Réseaux neuronaux (Informatique) Logiciels / Validation Logiciels / Vérification Logiciels - Validation Logiciels - Vérification Computer programs Validation Computer programs Verification Richtigkeit von Ergebnissen (DE-588)4127444-1 gnd Verifikation (DE-588)4135577-5 gnd Neuronales Netz (DE-588)4226127-2 gnd |
| subject_GND | (DE-588)4127444-1 (DE-588)4135577-5 (DE-588)4226127-2 |
| title | Guidance for the verification and validation of neural networks |
| title_auth | Guidance for the verification and validation of neural networks |
| title_exact_search | Guidance for the verification and validation of neural networks |
| title_exact_search_txtP | Guidance for the verification and validation of neural networks |
| title_full | Guidance for the verification and validation of neural networks Laura L. Pullum ; Brian J. Taylor ; Majorie A. Darrah |
| title_fullStr | Guidance for the verification and validation of neural networks Laura L. Pullum ; Brian J. Taylor ; Majorie A. Darrah |
| title_full_unstemmed | Guidance for the verification and validation of neural networks Laura L. Pullum ; Brian J. Taylor ; Majorie A. Darrah |
| title_short | Guidance for the verification and validation of neural networks |
| title_sort | guidance for the verification and validation of neural networks |
| topic | Neural networks (Computer science) Computer programs / Validation Computer programs / Verification Réseaux neuronaux (Informatique) Logiciels / Validation Logiciels / Vérification Logiciels - Validation Logiciels - Vérification Computer programs Validation Computer programs Verification Richtigkeit von Ergebnissen (DE-588)4127444-1 gnd Verifikation (DE-588)4135577-5 gnd Neuronales Netz (DE-588)4226127-2 gnd |
| topic_facet | Neural networks (Computer science) Computer programs / Validation Computer programs / Verification Réseaux neuronaux (Informatique) Logiciels / Validation Logiciels / Vérification Logiciels - Validation Logiciels - Vérification Computer programs Validation Computer programs Verification Richtigkeit von Ergebnissen Verifikation Neuronales Netz |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016742281&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT pullumlaural guidancefortheverificationandvalidationofneuralnetworks AT taylorbrianj guidancefortheverificationandvalidationofneuralnetworks AT darrahmajoriea guidancefortheverificationandvalidationofneuralnetworks |