Računanje z izpodrivanjem verig DNAJočić, Andrej (Avtor) Moškon, Miha (Mentor) Halužan Vasle, Ana (Komentor) izpodrivanje verig DNAsinteznobiološke nevronske mrežeklasifikator zmagovalec-vzame-vsevezja seesawprevajalna shemaformalna verifikacijaPreverjanje pravilnosti kaskad izpodrivanja verig DNA, ki implementirajo sinteznobiološke klasifikatorje (zmagovalec-vzame-vse, poraženec-vzame-vse) z arhitekturo seesaw, je eksperimentalno zahtevno, obstoječa modelirna orodja pa so bodisi premalo prilagodljiva za raziskovanje parametrov prevajalne sheme bodisi neprimerna za modeliranje reakcij parnega izničevanja, ki nastopajo v teh vezjih. Razvili smo orodje DISCO (angl. DISplacement cascade COmpiler), cevovod za sestavljanje vezij za procesiranje signalov z modularno, parametrizirano prevajalno shemo. Orodje omogoča sistematično in silico validacijo in formalno verifikacijo različic sheme s pomočjo naštevanja reakcij (Peppercorn), simulacije in preverjanja formalne ekvivalence s specifikacijo. Izpeljali smo parametre ločevanja časovnih skal, potrebne za pravilno modeliranje izničevanja. Ker ti parametri neizogibno ustvarijo prehodne komplekse, ki pri večjih vezjih prevladujejo v verifikacijski zahtevnosti, smo zasnovali shemo dodelitve lokalnih domen toehold, ki to zahtevnost bistveno zmanjša brez znatnega vpliva na simulacijske rezultate.20262026-07-09 09:05:01Magistrsko delo/naloga184526VisID: 38624sl