专栏首页arxiv.org翻译专栏针对化学反应网络的贝叶斯验证(cs.CE)
原创

针对化学反应网络的贝叶斯验证(cs.CE)

我们展现了一个数据驱动的验证方法来决定一个给出的化学反应网(CRN)满足一个给定属性,在模态逻辑中以公式展现。我们的方法由3个阶段组成,基于数据产生的模型合成形式证明。首先,我们考虑到可能模型的参数集是基于一个已知的化学计量学,并且基于兴趣属性对它们进行分类。第二,我们利用贝叶斯推理去更新参数的概率的布,而这些参数包含于一个基于潜在CRN数据的参数模型,在第三也是最终阶段,我们将两步的结果组合起来计算,潜在的CRN有多大可能性满足给定属性。我们将这种新方法应用于个案研究,并且把它比做贝叶斯统计模型校验。

原文题目:Bayesian Verification of Chemical Reaction Networks

原文:We present a data-driven verification approach that determines whether or not a given chemical reaction network (CRN) satisfies a given property, expressed as a formula in a modal logic. Our approach consists of three phases, integrating formal verification over models with learning from data. First, we consider a parametric set of possible models based on a known stoichiometry and classify them against the property of interest. Secondly, we utilise Bayesian inference to update a probability distribution of the parameters within a parametric model with data gathered from the underlying CRN. In the third and final stage, we combine the results of both steps to compute the probability that the underlying CRN satisfies the given property. We apply the new approach to a case study and compare it to Bayesian statistical model checking.

原文作者:Gareth W. Molyneux, Viraj B. Wijesuriya, Alessandro Abate

原文地址:https://arxiv.org/abs/2004.11321

原创声明,本文系作者授权云+社区发表,未经许可,不得转载。

如有侵权,请联系 yunjia_community@tencent.com 删除。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • 蚂蚁能够定向盗窃案中的偷盗者(CS Artificial Intelligence)

    我们强调了偷盗者定向问题(Thop),一个组合了两个经典组合,优化问题的多元问题,即为定向问题和背包问题。鉴于给定的时间约束和作负荷而定的移动速度与选定路线的相...

    Donuts_choco
  • SPARK框架下实现CPM(派系协同过滤算法)

    以下是我的Readme陈述算法思路,还没写完,先发上来,增加浏览量,之后部分我近几天补充。

    Donuts_choco
  • 多目标进化算法应用于提高医药数据领域学习器的性能(CS AI)

    原文标题完整翻译:多目标进化算法应用于提高在医药数据领域使用整体特征选择和离散化模型的学习器的性能

    Donuts_choco
  • 小红书用户笔记数据采集分析报告

    Xiao Hongshu as a netizen's "grass base", there are wedding planning companies f...

    拓端
  • Fitting a line through data一条穿过数据的拟合直线

    Now, we get to do some modeling! It's best to start simple; therefore, we'll loo...

    到不了的都叫做远方
  • Unity-UI(UGUI详解)01基础概念、自动布局、动画集成、富文本

    Canvas应该包含全部UI元素,全部的UI元素应该时Canvas的子物体 调整元素的显示顺序可以从Hierarchy中直接拖拽他们,顺序从也可以被控制通过S...

    祝你万事顺利
  • 机器学习实战(二) - 单变量线性回归Model and Cost Function1 模型概述 - Model Representation2 代价函数 - Cost Function3 代价函数(

    To establish notation for future use, we’ll use

    JavaEdge
  • Python Decorators

    http://python-3-patterns-idioms-test.readthedocs.io/en/latest/PythonDecorators.h...

    py3study
  • Knapsack problem algorithms for my real-life carry-on knapsack

    I'm a nomad and live out of one carry-on bag. This means that the total weight o...

    李海彬
  • Codeforces Round #345 (Div. 2)【A.模拟,B,暴力,C,STL,容斥原理】

    A. Joysticks time limit per test:1 second memory limit per test:256 megabytes in...

    Angel_Kitty

扫码关注云+社区

领取腾讯云代金券