• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文学位 >Quantitative model checking of distributed probabilistic systems
【24h】

Quantitative model checking of distributed probabilistic systems

机译：分布式概率系统的定量模型检查

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Complex systems are prevalent in modern society. From software and hardware to other real-life processes, the systems are often inherently large, distributed in nature, and exhibit quantifiable qualities. Our increasing reliance on such systems mandates not only ensuring correctness of the system but also rigorous quantitative analysis. For example for a pizza company preparing and delivering hundreds of pizzas everyday, it is not only important to ensure that every pizza ordered eventually gets delivered, but also analyze claims such as 'most of the orders in a given day are delivered within the deadline'. This thesis focuses on using model checking techniques for performance evaluation of such real-life systems. We propose a general framework for distributed stochastic models which can be adopted to model various real-life systems that exhibit concurrency, probability and various quantitative aspects such as time and cost. We also illustrate resource-constrained processes that can be used to model the workflow of operational processes. We then restrict the model to exclude nondeterminism and showcase how that paves the way for a succinct distributed representation of finite state Markov chains.
机译：复杂的系统在现代社会很普遍。从软件和硬件到其他现实过程，这些系统通常固有地很大，自然分布，并具有可量化的质量。我们对此类系统的日益依赖不仅要求确保系统的正确性，而且要求严格的定量分析。例如，对于一家每天准备并交付数百个比萨饼的比萨饼公司而言，不仅重要的是确保最终订购的每个比萨饼都可以交付，而且还必须分析诸如“特定日期的大部分订单都在截止日期之内”交付的声明。 。本文的重点是使用模型检查技术对此类现实系统进行性能评估。我们为分布式随机模型提出了一个通用框架，该框架可用于对各种显示并发性，概率以及各种定量方面（例如时间和成本）的现实系统进行建模。我们还将说明可用于对运营流程的工作流程进行建模的资源受限流程。然后，我们限制模型以排除不确定性，并展示如何为有限状态马尔可夫链的简洁分布式表示铺平道路。

著录项

  • 作者

    Saha, Ratul.;

  • 作者单位

    National University of Singapore (Singapore).;

  • 授予单位 National University of Singapore (Singapore).;
  • 学科 Computer science.
  • 学位 Ph.D.
  • 年度 2017
  • 页码 120 p.
  • 总页数 120
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号