×

兹马思-数学第一资源

概率变量提炼。(英语) Zbl 1374.68347
Chakraborty,Supratik(编辑)等人,《验证和分析自动化技术》。第十届国际研讨会,ATVA 2012,Thiruvananthapuram,印度,2012年10月3日至6日。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-33385-9/pbk)。计算机科学课堂讲稿7561300-316(2012)。
摘要:谓词抽象在分析非常大的概率系统时已经被证明是强大的,但是到目前为止,它仅限于分析具有固定数量的不同转移概率的系统。这排除了从传感器网络到生化系统的各种潜在分析案例。在这些系统中,转移概率通常作为状态变量的函数给出,从而导致任意数量的不同概率。
本文克服了这一缺点。它扩展了现有的抽象技术来处理这种可变的概率。我们首先确定这个设置中最精确的抽象,最好的转换器。出于实用目的,我们设计了另一种抽象形式,即约束或区间Markov链的扩张映射,这种方法精度较低,但在实践中更适用。如果给定的抽象产生的结果太不精确,则使用求精技术。通过两个案例分析,证明了该方法的实用性。
整个系列请参见[Zbl 1251.68006].

理学硕士:
6887年 计算机科学中的概率(算法分析、随机结构、相变等)
68N30型 软件工程的数学方面(规范、验证、度量、需求等)
68Q45号 形式语言与自动机
PDF格式 BibTeX公司 XML 引用
全文: 内政部