资源描述:
《checking in systems biology工商管理》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、Downloadedfromhttp://rsif.royalsocietypublishing.org/onJune2,2018J.R.Soc.Interface(2009)6,575–597doi:10.1098/rsif.2008.0546Publishedonline8April2009REVIEWIntelligentlydecipheringunintelligibledesigns:algorithmicalgebraicmodelcheckinginsystemsbiologyBudMishra1,2,*1CourantIns
2、tituteofMathematicalSciences,NewYorkUniversity,251MercerStreet,NewYork,NY10012,USA2NYUSchoolofMedicine,550FirstAvenue,NewYork,NY10016,USASystemsbiology,asasubject,hascapturedtheimaginationofbothbiologistsandsystemsscientistsalike.Butwhatisit?Thisreviewprovidesoneresearcher’
3、ssomewhatidiosyncraticviewofthesubject,butalsoaimstopersuadeyoungscientiststoexaminethepossibleevolutionofthissubjectinarichhistoricalcontext.Inparticular,onemaywishtoreadthisreviewtoenvisionasubjectbuiltoutofaconsilienceofmanyinterestingconceptsfromsystemssciences,logicand
4、modeltheory,andalgebra,culminatinginnoveltools,techniquesandtheoriesthatcanrevealdeepprinciplesinbiology—seenbeyondmereobservations.Aparticularfocusinthisreviewisonapproachesembeddedinanembryonicprogram,dubbed‘algorithmicalgebraicmodelchecking’,anditspowersandlimitations.Ke
5、ywords:biomathematics;algorithmicalgebra;modelchecking1.HYPOTHESESNONFINGO:HOOKEANDsomecare.HowtheemergingfieldofsystemsbiologyNEWTONcouldestablishitself,howitshouldfaceitstrialsandtribulationsalongtheway,andhowitcouldbeaOverthelastfewyears,SirRobertHooke,asomewhatsignificant
6、componentofthe‘newnew’biology,etc.,maligned,butstillaveryfascinatingEnglishexperi-couldallbeexaminedfromthepointsofviewofmentalscientistandthefirstsecretaryoftheRoyaltheseseventeenthcenturyscientists—aperspectiveSociety,hadbeguntofeatureunexpectedlypromi-thatremainsanachroni
7、callyandpeculiarlyrelevantnentlyinpracticallyallmypublicpresentationsoneventoday.systemsbiology.Initially,whathadattractedmetotheRobertHooke(1635–1703)wasanexperimentalstoryofHookewastheuncannyresemblanceheboretoscientist,mathematician,architectandastronomer.Hesomeofourpres
8、ent-dayscientistsintermsoftheirwasalsothefirstSecretaryoftheRoyalSocietyfrominsiste