卢卡·卡德利;科什卡，米兰;马丁·范策尔;玛尔塔·奎亚特科夫斯卡;卢卡·劳伦蒂;尼古拉·保莱蒂;马克斯·惠特比 化学反应网络的句法引导优化合成。 （英文） Zbl 1494.68163号 Majumdar，Rupak（编辑）等人，《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆：施普林格。莱克特。注释计算。科学。10427, 375-395 (2017). 摘要：我们研究了随机化学反应网络（CRNs）的最优语法引导合成问题，该问题在分子器件的设计自动化和预测生化模型的构建中发挥着重要作用。我们提出了一种用于CRN的草图语言，该语言简明扼要地捕获网络拓扑上的语法约束，并允许其欠细化。给定一个草图、一个正确性规范和一个在CRN语法上定义的成本函数，我们的目标是找到一个同时满足约束、满足规范和最小化成本函数的CRN。为了确保合成过程的计算可行性，我们使用线性噪声近似，允许我们将合成问题编码为一组参数常微分方程（ODE）上的可满足模理论问题。我们设计并实现了一种新的CRN优化综合算法，该算法使用了几乎完整的SMT对实数和ODE的反驳过程，并利用元搜索抽象来控制搜索策略。通过相关案例研究，我们证明了我们的方法显著提高了现有生化系统合成方法的能力，并为其自动化和可证明正确的设计铺平了道路。关于整个系列，请参见[Zbl 1369.68033号]. 引用于5文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 92C40型 生物化学、分子生物学 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Lect。注释计算。科学。10427375--395（2017年；Zbl 1494.68163） 全文： 内政部 链接