Telusuri profil teknologi beserta ringkasan dan rujukannya.
Pengukuran tekanan tak tunak dan skin friction di inlet supersonik melalui cat sensitif tekanan serta film sensitif tegangan, dengan miniaturisasi kamera dan pencahayaan untuk akses sempit.
Background-oriented schlieren diuji dengan langit sebagai latar untuk memperluas sudut pandang pengamatan gelombang kejut saat pengujian penerbangan.
Pendekatan neurosimbolik statistik meneliti keselamatan sistem multiagen pembelajar dengan logika spasial-temporal yang mengaitkan struktur jaringan dan keandalan komponen tiap agen.
Pembelajaran sertifikat keselamatan mengembangkan metode neural berskala tinggi dan verifikasi ketidakpastian untuk menilai pengendali sistem dinamis yang memanfaatkan komponen pembelajar.
Pembelajaran imbalan dari umpan balik manusia diteliti dengan batas probabilistik dan pengujian penyelarasan agar kebijakan tetap tangguh terhadap ketidakpastian maksud.
Pembelajaran dari demonstrasi menyaring contoh manusia yang berisiko dan memperluas kendali optimal untuk kebijakan robot bantuan yang stabil saat lingkungan berubah.
Ukuran keselamatan foundation model dikembangkan untuk kepercayaan yang terkalibrasi, konsistensi logis, dan keselarasan tujuan pengguna melalui deteksi serta mitigasi perilaku berisiko.
NetSafe meneliti keselamatan jaringan neural graf sepanjang pelatihan, adaptasi, dan pengujian melalui ukuran perbedaan graf serta model perturbasi yang realistis.
SpecsRL menggabungkan logika temporal, prediksi konformal, dan pemantauan interaktif untuk kebijakan robot yang memenuhi tujuan serta batas keselamatan berbasis persepsi visual.
Representasi adegan simbolik dan supervisor visual memantau aksi robot serta beralih ke tindakan konservatif ketika situasi tak dikenal memerlukan graceful degradation.
Pengujian whitebox kendaraan otonom multimodul menggabungkan sintesis skenario, pencarian hierarkis dan perbaikan adaptif untuk mengidentifikasi perilaku tak aman dekat tabrakan.
SLIM menggabungkan model SysML dan manajemen siklus hidup produk untuk menghubungkan desain, simulasi, persyaratan, serta kendali konfigurasi dalam rekayasa sistem berbasis model.
Pemodelan slosh propelan dengan STAR-CCM+ yang dikopel ke Freespace, untuk menilai hubungan gerak cairan pada gravitasi rendah dengan algoritme kendali sikap wahana.
Spektrometer Fourier pada chip memakai pandu gelombang slow light dan interferometer Mach-Zehnder untuk pencitraan gas rumah kaca tanpa bagian mekanik yang bergerak.
Mesin tunneling optima lokal diteliti untuk mengeksplorasi frontier Pareto secara lebih deterministik melalui penyederhanaan interaksi nonlinear di antara pasangan solusi.
Perancangan misi SPORE menggabungkan pemodelan orbit dan pemilihan arsitektur masuk atmosfer untuk membawa eksperimen kecil kembali dari berbagai lintasan antariksa.
Testbed operasi kedekatan satelit kecil menggabungkan simulasi ketelitian tinggi dengan perangkat dalam loop untuk menguji respons navigasi, daya, dan orientasi selama seluruh fase pendekatan.
Small Satellite Transporter meneliti adaptor muatan yang mengangkut beberapa satelit ke tujuan di luar orbit pengiriman, dengan kajian dinamika penerbangan, propulsi, tangki, dan struktur.