Flotasi udara terlarut
Flotasi udara terlarut memisahkan padatan dengan gelembung halus yang membuat agregat mengapung ke permukaan.
Katalog teknologi — halaman 318
Telusuri profil teknologi beserta ringkasan dan rujukannya.
Profil teknologi
Flow Dynamics in Buoyancy-Driven Variable-Density Turbulent Mixing with Compressibility Effects
Pencampuran turbulen akibat gaya apung dipelajari pada rasio kerapatan besar dan fluida termampatkan untuk memperbaiki prediksi aliran multimaterial kompleks.
Flow past bluff bodies on a mobile bed: blockage effects on local scour and coherent structures at equilibrium
Koreksi blockage pada eksperimen scour jembatan dikembangkan untuk menghubungkan hasil flume sempit dengan kondisi sungai nyata, menggunakan pengukuran struktur vortex serta simulasi tiga dimensi.
Flow Quality Analysis of Shape Morphing Structures for Hypersonic Ground Testing Applications
Model aliran dan pengukuran kecepatan laser mengevaluasi kualitas jet dari tenggorokan terowongan angin keramik yang berubah bentuk.
Flow regime and shear entrainment in bubble plumes
Model integral semburan gelembung dikembangkan dari pengukuran dinamika gelembung dan turbulensi air untuk menjelaskan perubahan entrainment sepanjang aliran multiphase.
Flow Testing of Corrugated Metal Flexhoses to Evaluate Flow-Induced Vibration and Stiffness
Model interaksi fluida struktur dikembangkan untuk memprediksi getaran akibat aliran pada selang logam bergelombang dalam konfigurasi bersudut.
Flow-Angle and Airspeed Sensor System (FASS) Using Flush-Mounted Hot-Films, Phase I
FASS menggunakan hot-film yang dipasang rata untuk membaca arah dan kecepatan aliran di permukaan sebagai alternatif pengukuran kecepatan udara berbasis tekanan.
Fluidic Fuel Flow Modulation for Active Combustion Control
Modulasi fluidik aliran bahan bakar diteliti untuk kontrol aktif ketidakstabilan pembakaran, membandingkan oscillator fluidik dengan vortex diode yang dipicu untuk pengaturan fase pulsa.
Fluorescence Spectroscopy Imager for Microbial Monitoring of Habitat Surfaces
Nanohmics mengusulkan pencitraan spektroskopi fluoresensi untuk memetakan mikroba pada permukaan habitat tanpa pengambilan sampel manual.
Fluoride Ion Solid State Battery for Terrestrial Venus Applications
Baterai ion fluorida padat dikembangkan dengan elektrolit dan elektroda yang kompatibel untuk penyimpanan energi pada lingkungan suhu tinggi.
Flux dynamics in ultrasensitive superconducting focal planes
Focal plane superkonduktor ditingkatkan melalui rekayasa geometri lead dan antarmuka material untuk mengurangi flux trapping serta efek medan magnet yang menurunkan mutu array.
Flying Capacitor Multilevel Converters for Space Power Management
Konverter multilevel menggabungkan transistor GaN dan kendali FPGA untuk distribusi daya dari bus tegangan tinggi pada misi ruang angkasa.
Flywheel Energy Storage for Lunar Rovers & Other Small Spacecraft
Penyimpanan energi flywheel untuk rover lunar diteliti sebagai pasokan listrik pemanas saat malam panjang dan sumber daya operasi pada siang hari.
FMitF : Track I: Aligning Code-Generating Models with Formal Specifications
Decoding selaras tata bahasa diteliti untuk menghubungkan model pembangkit kode dengan spesifikasi formal sambil lebih setia mempertahankan distribusi model bahasa.
FMitF: Track I: A Holistic Approach Towards Online Monitoring of Integrated Circuits and Systems
Bahasa spesifikasi FlowSL dikompilasi menjadi primitive akselerator perangkat keras terprogram untuk memantau integritas serta keamanan sirkuit saat deployment dan operasi normal.
FMitF: Track I: Abstraction Refinement-guided Program Synthesis for Verifiable Robot Learning
Abstraction refinement akan mensintesis program kontrol robot simbolik yang dapat ditafsirkan dan diverifikasi secara komposisional dari reward atau spesifikasi tugas.
FMitF: Track I: Automated Learning of Quantitative Network Models (ALOFT)
ALOFT mengintegrasikan pembelajaran closed-box dan teknik simbolik untuk membangun model jaringan kuantitatif yang mengikuti perubahan konfigurasi tanpa memerlukan kode sumber.
FMitF: Track I: Formally Verified Programmable Network Switches
Pembuktian Coq dan transformasi aljabar digunakan untuk menurunkan sakelar jaringan terprogram yang dioptimalkan sambil mempertahankan kebenaran pemrosesan paket.