Hasil Pencarian  ::  Simpan CSV :: Kembali

"Otomasi dari verifikasi formal sebuah sistem membutuhkan mekanisasi logika yang menjadi basis metoda verifikasi yang digunakan. Logika yang dibutuhkan sering kali cukup rumit dan sebetulnya merupakan komposisi dari beberapa logika lainnya. Ini memberikan komplikasi ekstra karena sekarang aspek seperti hirarki antar logika dan modularitasnya merupakan aspek yang juga erlu diperhatikan. Framework yang ada cenderung berfokus pada mekanisasi dari sebuah logika saja dan ini menurut pengalaman kami kurang memuaskan untuk membangun sistem dengan multi logika. Dalam tulisan ini kami memberikan sebuah framework alternatif yang diharapkan lebih cocok untuk keperluan tersebut."

"Tuberkulosis (TB), yang disebabkan oleh Mycobacterium tuberculosis menjadi masalah kesehatan masyarakat yang signifikan di Indonesia. Permasalahan ini diperburuk oleh meningkatnya insiden resistensi antimikroba, terutama terhadap rifampisin sebagai obat lini pertama untuk tuberkulosis. Salah satu pendekatan yang menjanjikan untuk mengatasi masalah ini adalah eksplorasi obat-obatan baru. Aktinomiset, kelompok mikroorganisme yang dikenal menghasilkan berbagai senyawa bioaktif, telah banyak dilaporkan memiliki potensi dalam memproduksi antibiotik. Penelitian ini bertujuan untuk mengetahui potensi aktinomiset asal Indonesia sebagai penghasil senyawa bioaktif yang memiliki kemampuan menghambat M. tuberculosis resisten rifampisin. Penelitian ini menggunakan aktinomiset yang diisolasi dari Pulau Kalimantan, Indonesia, dan diseleksi menggunakan high-throughput screening dengan model Mycobacterium untuk menilai aktivitas anti-tuberkulosisnya. Ekstrak terpilih kemudian diuji lebih lanjut menggunakan metode uji kepekaan obat yang sudah divalidasi, seperti Resazurin Microtiter Assay (REMA) dan Drug Susceptibility Testing (DST-MGIT). Hasil penelitian menunjukkan bahwa satu spesies aktinomiset mampu menghambat strain Mycobacterium tuberculosis yang resistan terhadap rifampisin. High-resolution mass spectrometry (HRMS) dilakukan untuk mengidentifikasi senyawa kimia yang ditemukan dalam ekstrak aktif. Metabolit-metabolit ini dimurnikan lebih lanjut menggunakan kromatografi kolom untuk mengisolasi senyawa spesifik yang berperan dalam aktivitas anti-TB. Fraksi potensial dipisahkan menjadi dua senyawa, dan diperoleh fraksi dengan kode F12B yang memiliki satu spot pada KLT dan nilai MIC lebih rendah dibandingkan yang lain, yaitu 28 μg/mL melalui uji DST-MGIT dan 3 μg/mL melalui uji REMA.Metal-organic framework (MOF) telah menunjukkan potensi sebagai penyerap untuk penangkapan gas CO2, tetapi biaya pembuatannya tidak praktis untuk aplikasi industri. Peningkatan kapasitas adsorpsi CO2, penurunan biaya produksi, dan pengurangan energi regenerasi masih sedikit untuk diteliti. Dalam penelitian ini, kami membuat MOF dengan L-Glutamic Acid sebagai bio-ligan dan kobalt klorida sebagai sumber ion logam, yakni Bio-MOF Co-Glu. Keberhasilan fabrikasi Bio-MOF dievaluasi dengan scanning electron microscope, analisis isoterm adsorpsi-desorpsi N2, analisis gravimetri termal, X-ray difraksi, dan teknik Fourier-transform infrared spectroscopy. Pengukuran volumetrik diamati pada berbagai temperatur (27oC, 35oC, 50oC). Kalor isosterik adsorpsi dan selektivitas CO2/N2 juga dievaluasi dengan meregresi data eksperimen dengan teknik Persamaan Isotermal Langmuir-Freundlich dan IAST. Selanjutnya, pemodelan jaringan saraf menunjukkan validitas yang sangat tinggi (R = 0,99) dari data yang diprediksi. Optimasi multi-objektif dilakukan dengan tiga fungsi objektif. Titik optimum untuk mendapatkan kapasitas maksimum CO2 dan selektivitas dengan panas adsorpsi ringan berturut-turut adalah 0,158 g/g, 112,34 J/g, dan 2,105. Ini adalah studi pertama yang membuat prediksi dengan tiga fungsi objektif dalam adsorpsi gas dan melakukan optimasi multiobjektif untuk serapan CO2, panas adsorpsi, dan selektivitas. Hasil ini memberikan dasar untuk penggunaan algoritme pembelajaran mesin dalam hubungannya dengan pengoptimalan multi-objektif untuk menyelidiki kinerja adsorpsi gas di bawah persyaratan aplikasi industri.

---

Metal-organic frameworks (MOFs) have demonstrated potential as adsorbents for CO2 capture, but their cost makes them impractical for industrial applications. Increasing the CO2 adsorption capacity, lowering the MOF production cost, and reducing the energy regeneration have been less well studied. In the present study, we fabricate a MOF with L-Glutamic Acid as the bio-ligand and cobalt chloride as the metal-ion source, Bio-MOF Co-Glu. The success of Bio-MOF fabrication was evaluated by scanning electron microscopy, N2 adsorption-desorption isotherm analysis, thermal gravimetric analysis, x-ray diffraction, and Fourier-transform infrared spectroscopy techniques. The volumetric measurement was observed at various temperatures (27oC,35oC,50oC). Isosteric heat of adsorption and CO2/N2 selectivity were also evaluated by regressing the experimental data with Langmuir-Freundlich Isothermal equation and IAST techniques. Further, the neural network modelling showed a considerably high validity regressing (R=0,99) of the predicted data. Multi-objective optimization was conducted with three objective functions, CO2 uptakes, heat of adsorption, and CO2/N2 selectivity. The optimum point to get maximum capacity of CO2 and selectivity with mild heat of adsorption are 0,158 g/g, 112,34 J/g, and 2,105. respectively. This is the first study to make predictions in gas adsorption and conduct multi-objective optimization with a genetic algorithm for CO2 uptake, separation factor, and selectivity variable objectives. These results provide a basis for the use of machine learning algorithms in conjunction with multi-objective optimizations to investigate the output performance of gas adsorption under the requirements of industrial applications."

"Skripsi ini merefleksikan pengaruh mekanisasi dan standardisasi dalam sistem produksi Fordisme terhadap arsitektur industri, dengan fokus pada transformasi sistem spasial dan dampaknya terhadap pengalaman pekerja. Melalui analisis reorganisasi ruang pada pabrik Ford Motor Company di Highland Park, skripsi ini menyelidiki bagaimana prinsip-prinsip tersebut merubah desain pabrik, dengan mengutamakan efisiensi dan standardisasi melalui pengenalan assembly line dan alur kerja linier. Skripsi ini menekankan peran arsitektur tidak hanya sebagai alat fungsional, tetapi juga sebagai konstruksi ideologi rasionalitas, di mana ruang-ruang dioptimalkan untuk memaksimalkan produktivitas. Mengacu pada teori movement dan hand oleh Siegfried Giedion dan teori produksi ruang, skripsi ini menggali bagaimana mekanisasi Fordisme mengubah ruang pabrik menjadi sistem yang tidak hanya memfasilitasi produksi, tetapi juga menerapkan keteraturan yang kaku terhadap aktivitas manusia. Tata letak pabrik, yang ditandai dengan tugas-tugas repetitif dan pergerakan yang distandarisasi, menggambarkan bagaimana arsitektur Fordisme mensubordinasikan tenaga kerja manusia pada efisiensi mesin, menjadikan pekerja sebagai ekstensi dari assembly line. Analisis ini menyoroti implikasi ideologis yang lebih luas dari Fordisme, yang berupaya untuk merasionalisasi dan menstandarkan tenaga kerja melalui desain arsitektur, menciptakan ruang yang mengutamakan output industri di atas pekerja. Dengan kesimpulan, skripsi ini memberikan pemahaman yang lebih luas mengenai bagaimana mekanisasi dan standardisasi dalam arsitektur industri mencerminkan dan memperkuat ideologi Fordisme, mempengaruhi baik aspek fisik maupun pengalaman hidup pekerja melalui teknik mekanisasi dan standardisasi ruang.

---

This thesis reflects on the influence of mechanization and standardization within the Fordist production system on industrial architecture, focusing on the transformation of spatial systems and their impact on workers' experiences. Through the analysis of spatial reorganization at the Ford Motor Company plant in Highland Park, this thesis investigates how these principles transformed factory design, emphasizing efficiency and standardization through the introduction of the assembly line and linear workflows. The thesis underscores the role of architecture not only as a functional tool but also as a construct of rationalist ideology, where spaces are optimized to maximize productivity. Referencing Siegfried Giedion’s theories of movement and hand, along with the theory of space production, the thesis explores how Fordist mechanization transformed factory spaces into systems that not only facilitated production but also imposed rigid order on human activity. The factory layout, characterized by repetitive tasks and standardized movements, illustrates how Fordist architecture subordinated human labor to machine efficiency, turning workers into extensions of the assembly line. This analysis highlights the broader ideological implications of Fordism, which sought to rationalize and standardize labor through architectural design, creating spaces that prioritized industrial output over the worker. In conclusion, this thesis provides a broader understanding of how mechanization and standardization in industrial architecture reflect and reinforce Fordist ideology, influencing both the physical aspects and the lived experiences of workers through spatial techniques of mechanization and standardization. "