多构体上生化反应体系的抽象

3区工程技术 Q1 Materials Science Journal of Polymer Science. Part B, Polymer Physics Pub Date : 2011-01-01 DOI:10.3182/20110828-6-IT-1002.03317

P. Collins, L.C.G.J.M. Habets, Schuppen van Jh, Ismael Cerna, J. Fabriková, David Šafránek

{"title":"多构体上生化反应体系的抽象","authors":"P. Collins, L.C.G.J.M. Habets, Schuppen van Jh, Ismael Cerna, J. Fabriková, David Šafránek","doi":"10.3182/20110828-6-IT-1002.03317","DOIUrl":null,"url":null,"abstract":"Analysis of the dynamic behavior of large-scale biochemical reaction systems can be facilitated by abstraction followed by model checking. A biochemical reaction system can be approximated by a multi-affine system or an affine system on a rectangle. Either of these systems can be abstracted to an automaton. Model checking can then be employed to determine whether the dynamic behavior of the automaton satisfies specific properties. A relation between the system and its abstraction is proved; it is an over-approximation: any discrete state trajectory of the abstraction of the continuous state trajectory is contained in the automaton but the automaton may contain more behavior.","PeriodicalId":16853,"journal":{"name":"Journal of Polymer Science. Part B, Polymer Physics","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2011-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"13","resultStr":"{\"title\":\"Abstraction of biochemical reaction systems on polytopes\",\"authors\":\"P. Collins, L.C.G.J.M. Habets, Schuppen van Jh, Ismael Cerna, J. Fabriková, David Šafránek\",\"doi\":\"10.3182/20110828-6-IT-1002.03317\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Analysis of the dynamic behavior of large-scale biochemical reaction systems can be facilitated by abstraction followed by model checking. A biochemical reaction system can be approximated by a multi-affine system or an affine system on a rectangle. Either of these systems can be abstracted to an automaton. Model checking can then be employed to determine whether the dynamic behavior of the automaton satisfies specific properties. A relation between the system and its abstraction is proved; it is an over-approximation: any discrete state trajectory of the abstraction of the continuous state trajectory is contained in the automaton but the automaton may contain more behavior.\",\"PeriodicalId\":16853,\"journal\":{\"name\":\"Journal of Polymer Science. Part B, Polymer Physics\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2011-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"13\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Polymer Science. Part B, Polymer Physics\",\"FirstCategoryId\":\"5\",\"ListUrlMain\":\"https://doi.org/10.3182/20110828-6-IT-1002.03317\",\"RegionNum\":3,\"RegionCategory\":\"工程技术\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"Materials Science\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Polymer Science. Part B, Polymer Physics","FirstCategoryId":"5","ListUrlMain":"https://doi.org/10.3182/20110828-6-IT-1002.03317","RegionNum":3,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"Materials Science","Score":null,"Total":0}

引用次数: 13

摘要

对大规模生化反应系统的动态行为进行分析可以通过抽象和模型检验来实现。生化反应系统可以用多仿射系统或矩形上的仿射系统来近似。这两种系统都可以抽象为自动机。然后可以使用模型检查来确定自动机的动态行为是否满足特定的属性。证明了系统及其抽象之间的关系;这是一种过度逼近:连续状态轨迹抽象的任何离散状态轨迹都包含在自动机中，但自动机可能包含更多的行为。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

Abstraction of biochemical reaction systems on polytopes

Analysis of the dynamic behavior of large-scale biochemical reaction systems can be facilitated by abstraction followed by model checking. A biochemical reaction system can be approximated by a multi-affine system or an affine system on a rectangle. Either of these systems can be abstracted to an automaton. Model checking can then be employed to determine whether the dynamic behavior of the automaton satisfies specific properties. A relation between the system and its abstraction is proved; it is an over-approximation: any discrete state trajectory of the abstraction of the continuous state trajectory is contained in the automaton but the automaton may contain more behavior.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Journal of Polymer Science. Part B, Polymer Physics 工程技术-高分子科学

CiteScore

5.90

自引率

0.00%

发文量

审稿时长

2.1 months

期刊介绍： Since its launch in 1946 by P. M. Doty, H. Mark, and C.C. Price, the Journal of Polymer Science has provided a continuous forum for the dissemination of thoroughly peer-reviewed, fundamental, international research into the preparation and properties of macromolecules. From January 2020, the Journal of Polymer Science, Part A: Polymer Chemistry and Journal of Polymer Science, Part B: Polymer Physics will be published as one journal, the Journal of Polymer Science. The merged journal will reflect the nature of today''s polymer science research, with physics and chemistry of polymer systems at the heart of the scope. You can continue looking forward to an exciting mix of comprehensive reviews, visionary insights, high-impact communications, and full papers that represent the rapid multidisciplinary developments in polymer science. Our editorial team consists of a mix of well-known academic editors and full-time professional editors who ensure fast, professional peer review of your contribution. After publication, our team will work to ensure that your paper receives the recognition it deserves by your peers and the broader scientific community.