Verifikasi Keamanan Model Dinamik Bakteriofag dengan Bakteri Resisten dan Debris Bakteri Menggunakan Model Taylor

Putri., Annisa Mega (2018) Verifikasi Keamanan Model Dinamik Bakteriofag dengan Bakteri Resisten dan Debris Bakteri Menggunakan Model Taylor. Undergraduate thesis, Institut Teknologi Sepuluh Nopember.

[thumbnail of 06111440000009-Undergraduate_Theses.pdf]
Preview
Text
06111440000009-Undergraduate_Theses.pdf - Accepted Version

Download (2MB) | Preview

Abstract

Terapi bakteriofag (atau disebut juga fag) menjadi sebuah pengobatan dengan menggunakan bakteriofag (virus) untuk melawan beberapa strain bakteri yang paling mematikan (superbug) diantara bakteri yang resisten terhadap obat (antibiotik). Dalam Tugas Akhir ini, disajikan sebuah kasus terapi fag terhadap bakteri Escherichia Coli dan virus T4. Digunakan model Vidurupola untuk memodelkan interaksi antara bakteri Escherichia Coli dan virus T4. Analisis reachabilitas pada model non linear ini digunakan untuk memverifikasi bahwa kadar virus yang diberikan kedalam tubuh dapat membunuh superbug dan dapat dikatakan tubuh dalam kondisi aman dari bakteri yang menyerang. Untuk menghitung himpunan state yang terjangkau oleh sistem dalam waktu horizon yang dibatasi, diberikan himpunan kondisi awal dan parameter. Dari himpunan state yang terjangkau, dapat dilakukan verifikasi keamanannya. Hasil analisis reachabilitas dan verifikasi menunjukan bahwa dari ketiga skenario yang diberikan, hanya skenario ke-3 yang kondisi awalnya dapat menjangkau state target dan menghindari kondisi tidak aman. Verifikasi dilakukan dengan menggunakan perangkat verifikasi Flow*.
=========================================================
Treatment of bacteriophages (also called phages) becomes a treatment by using bacteriophages (viruses) to fight some of the most deadly (superbug) strains of bacteria among drug- resistant bacteria (antibiotics). In this Final Project, present a case of phage therapy against Escherichia coli bacteria and T4 virus. The Vidurupola model is used to model the interaction between Escherichia Coli bacteria and T4 virus. Reachability analysis on non linear models is used to verify that the viral load given to the body can kill the superbug and can be said to be in a safe condition from the invading bacteria. To calculate the set of state that the system reaches within a bounded time horizon, given the set of initial conditions and parameters. From an affordable set of states, safety can be verified. The results of reachability and verification analysis show that of the three scenarios were given, only the 3rd scenario whose initial condition can reach the target state and avoid unsafe conditions. Verification is done by using the Flow* verification tool.

Item Type: Thesis (Undergraduate)
Uncontrolled Keywords: Terapi Fag, Analisis Reachabilitas, Verifikasi Sifat Keamanan, Flow*.
Subjects: Q Science > QA Mathematics > QA402 System analysis.
Divisions: Faculty of Mathematics, Computation, and Data Science > Mathematics > 44201-(S1) Undergraduate Thesis
Depositing User: Annisa Mega Putri
Date Deposited: 13 Nov 2020 12:32
Last Modified: 22 Dec 2020 07:45
URI: http://repository.its.ac.id/id/eprint/59068

Actions (login required)

View Item View Item