Teknologi.Bagian dari ensiklopedia.onlineCari/
BerandaKomputasi & perangkat lunakExplainable and Scalable Planning with Probabilistic Temporal Logic Specifications
Proyek riset & pengembangan

Explainable and Scalable Planning with Probabilistic Temporal Logic Specifications

Ringkasan tujuan riset

Perencanaan operasi antariksa menggunakan spesifikasi logika temporal probabilistik untuk meneliti algoritme yang dapat dijelaskan, berskala besar, dan mempertimbangkan ketidakpastian serta batas awak.

Komputasi & perangkat lunak1 rujukanProfil diperbarui
Lihat rujukanBandingkan proyek
Linimasa NASA TechPort 92040Periode tercatat 2017-01-16 sampai 2020-01-15. TRL: awal 2, saat akses 4, target 4. Target bukan hasil.NASA TechPort 92040MulaiAkhir tercatat201720212017-01-162020-01-15TRL 1–9Awal2Saat akses4Target4
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.

Kerangka menggabungkan fungsi perencanaan misi, awak, daya, termal, dan kesehatan sistem yang saling terkait. Spesifikasi formal yang tidak ambigu dipakai sebagai dasar kompilasi perangkat lunak kendali, disertai analisis sensitivitas. Model mencakup ketidakpastian stokastik maupun nondeterministik serta hubungan temporal, logis, probabilistik, dan waktu nyata. Pengembangan menargetkan skalabilitas algoritme sintesis sekaligus interpretasi oleh awak dan perancang. Jaminan formal merupakan sasaran pendekatan, sehingga keandalan operasi perlu dinilai pada model serta implementasi yang sesuai.

Baca uraian penerbit

Konteks pengembangan

Institusi pemimpin
The University of Texas at Austin
Program
Space Technology Research Grants
Periode proyek
2017-01-16 → 2020-01-15

Klasifikasi NASA

  • TX10.2.1 — Mission Planning and Scheduling

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

Apa yang diketahui tentang statusnya?

Status proyek menurut NASACompleted
Awal proyekTRL 2
Tercatat saat aksesTRL 4
Target akhirTRL 4

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.