Teknologi.Bagian dari ensiklopedia.onlineCari/
BerandaKomputasi & perangkat lunakA Formal Method for Verification and Validation of Neural Network High Assurance Systems, Phase I
Proyek riset & pengembangan

A Formal Method for Verification and Validation of Neural Network High Assurance Systems, Phase I

Ringkasan tujuan riset

NNRules mengusulkan ekstraksi aturan dari jaringan saraf terlatih, agar logika keputusan dapat ditinjau manusia dan digunakan dalam verifikasi serta validasi sistem berjaminan tinggi.

Komputasi & perangkat lunak1 rujukanProfil diperbarui
Lihat rujukanBandingkan proyek
Linimasa NASA TechPort 9992Periode tercatat 2004-01-16 sampai 2005-01-17.NASA TechPort 9992MulaiAkhir tercatat200420062004-01-162005-01-17
Linimasa dan catatan proyek

Tanggal dan TRL menurut catatan penerbit. Akhir periode dan target bukan bukti hasil riset.

Teknologi · CC BY 4.0 · Sumber data

Apa tujuan dan pendekatan risetnya?

Profil ini merangkum ruang lingkup proyek yang dipublikasikan NASA TechPort. Sumber diakses . Uraian pendekatan dan manfaat menyatakan tujuan pengembangan, kecuali sumber secara khusus melaporkan hasil.

Sifat adaptif dan sulit diamati dari jaringan saraf menjadi tantangan bagi aplikasi keselamatan kritis. Proyek ini mengembangkan teknologi yang menerjemahkan jaringan terlatih menjadi kumpulan aturan yang mewakili logika keputusannya. Aturan yang dapat dibaca digunakan sebagai dasar pemeriksaan serta validasi formal. Pendekatan dimasukkan ke alat umum bernama NNRules agar teknik ekstraksi tidak terbatas pada demonstrasi penelitian. Sasaran pengembangannya ialah meningkatkan kemampuan menilai jaringan pada sistem misi penting, dengan kesetaraan aturan dan jaringan tetap perlu diperiksa.

Baca uraian penerbit

Konteks pengembangan

Institusi pemimpin
Ames Research Center
Program
Small Business Innovation Research/Small Business Tech Transfer
Periode proyek
2004-01-16 → 2005-01-17

Klasifikasi NASA

  • TX10.4.1 — Verification and Validation of Autonomous Systems

Label penerbit dipertahankan sebagai konteks. Bidang katalog merupakan pengelompokan editorial.

Apa yang diketahui tentang statusnya?

Status proyek menurut NASACompleted

Nilai TRL belum tersedia pada catatan yang diakses.

TRL adalah tingkat kesiapan teknologi yang dilaporkan penerbit, pada skala 1–9. Nilai target akhir menunjukkan sasaran. Status “Completed” berarti proyek telah selesai menurut pencatatan NASA; status tersebut tidak membuktikan bahwa seluruh sasaran kinerja telah tercapai.

Batas informasi

Profil ini menjelaskan ruang lingkup riset dari catatan penerbit. Target pengembangan dan TRL akhir bukan bukti keberhasilan, ketersediaan produk, atau kelayakan penerapan. Tinjauan ahli dan pengujian performa independen belum dilakukan.

Dasar profil

Metodologi dan batas pemeriksaan. Ringkasan berbahasa Indonesia disusun sebagai parafrasa editorial dengan pemeriksaan sumber primer oleh agen AI. Identitas, periode, serta status berasal dari catatan penerbit. Tinjauan ahli dan pengujian kinerja independen belum dilakukan; rujukan tidak menyiratkan dukungan atau sertifikasi NASA.