Shared Magnetics Hall Thruster, Phase II
Pendorong Hall bermagnet bersama meneliti pengelompokan ruang pelepasan konsentris untuk propulsi berdaya besar, dengan sasaran mengurangi massa dan kerugian dibandingkan unit terpisah.
Katalog teknologi — halaman 547
Telusuri profil teknologi beserta ringkasan dan rujukannya.
Profil teknologi
Shear Thickening Fluid Enhanced Textiles for Durable, Puncture- and Cut-Resistant Environmental Protection Garments
Tekstil STF-Armor menggabungkan shear thickening fluid dan pelapis superhidrofobik untuk mengembangkan lapisan pakaian EVA yang tahan tusukan, debu, serta kerusakan lingkungan.
Sheet pile
Sheet pile menahan tanah melalui lembaran baja bertepi saling mengunci yang dipasang berurutan menjadi dinding.
SHF: Automated Reasoning with Cardinality Constraints (ARCC)
ARCC menambahkan kendala kardinalitas langsung ke representasi solver agar batas jumlah kondisi dapat dipropagasikan, dipelajari, dan dibuktikan tanpa selalu diubah menjadi klausa rendah tingkat.
SHF: Core: Small: Real-time and Energy-Efficient Machine Learning for Robotics Applications
Akselerasi inferensi Bayesian berbasis graf diteliti untuk mendukung persepsi robot dalam batas daya dan perangkat keras tertanam.
SHF: CSR: Medium: Practical and Efficient Accelerators with High-Frequency Chiplets
Akselerator zero-knowledge berchiplet menggabungkan pipeline dalam, rotary clock, dan agen desain dengan kendala formal untuk operasi frekuensi tinggi.
SHF: Design Automation of Resilient and Interpretable Neural Architectures for Safety-Critical Systems
Pencarian arsitektur neural dengan fungsi koneksi yang dapat dipelajari menyeimbangkan interpretabilitas, akurasi, ketahanan, dan biaya untuk sistem dengan kebutuhan keselamatan.
SHF: Efficient, Scalable and Certified Convex Hull Computation in High Dimensions for Verifying Neural Networks and Generating Correctly-rounded Math Libraries
Algoritme convex hull berdimensi tinggi diteliti dengan biaya bergantung jumlah vertex keluaran, untuk memperkuat verifikasi jaringan saraf dan pustaka matematika dengan pembulatan benar.
SHF: FET: Programming Foundations for Quantum Random Access
Akses acak kuantum dipisahkan dari perangkat qRAM melalui abstraksi perangkat lunak, compiler khusus, verifikasi tingkat tinggi, serta manajemen data kuantum pada heap.
SHF: Formal Reasoning of Reinforcement Learning Policies
Pembelajaran reinforcement langsung dari logika temporal diteliti tanpa proxy reward numerik, dengan dekomposisi tugas dan sertifikat black-box untuk perilaku kebijakan yang dapat diverifikasi.
SHF: Foundations and Applications of Type-Based Under-Approximate Reasoning
Sistem tipe akan menyatukan penalaran over-approximate tentang keselamatan dan under-approximate tentang reachability untuk verifikasi serta pengujian program.
SHF: Foundations for Comprehensive Integration Testing in Agentic AI Workflow Orchestration
Agentic Reliability Toolkit akan memformalkan interaksi agen AI asinkron untuk menemukan kesalahan koordinasi melalui replay dan verifikasi semantik berbasis properti.
SHF: Integrating Cost and Behavior in Type Theory
Teori tipe dependen memisahkan aspek konkret dan abstrak melalui modalitas untuk memverifikasi perilaku serta biaya komputasi komponen program secara modular.
SHF: Medium: A Neursoymbolic Framework for High-level Synthesis of Multi-Task Learning (NeuHLS)
NeuHLS menggabungkan pembelajaran multitugas dan distilasi simbolik untuk menyintesis akselerator neural pada perangkat tepi dengan sumber daya terbatas.
SHF: Medium: Compositional Semantics-Guided Synthesis
Sintesis program komposisional akan memperluas SemGuS agar perangkat lunak besar dapat dibangun dari bagian kecil dengan spesifikasi perilaku yang jelas.
SHF: Medium: Efficient and Scalable Pattern Matching via Hardware-Software Co-Design
Pencocokan pola aliran data akan memakai automata berregister dan memori content-addressable untuk membangun chip serta toolchain yang dirancang bersama.
SHF: Medium: Language Support for Sound and Efficient Programmable Inference
Analisis statis dan type systems memverifikasi soundness program inferensi Bayesian khusus, lalu analisis statistik dinamis menilai kualitas sampel posterior aproksimasinya.
SHF: Medium: Neurosymbolic Agents for Formal Theorem-Proving
Agen neurosimbolik memadukan model bahasa, pembelajaran penguatan dan analisis simbolik untuk mengotomasi bagian tingkat rendah pembuktian teorema pada prover formal interaktif.