留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

基于概率模型检测的微电网的形式化验证

孙春竹 杨晋吉

孙春竹, 杨晋吉. 基于概率模型检测的微电网的形式化验证[J]. 华南师范大学学报(自然科学版), 2018, 50(2): 124-128.
引用本文: 孙春竹, 杨晋吉. 基于概率模型检测的微电网的形式化验证[J]. 华南师范大学学报(自然科学版), 2018, 50(2): 124-128.
Formal Verification of Microgrid Based on Probabilistic Model Checking[J]. Journal of South China normal University (Natural Science Edition), 2018, 50(2): 124-128.
Citation: Formal Verification of Microgrid Based on Probabilistic Model Checking[J]. Journal of South China normal University (Natural Science Edition), 2018, 50(2): 124-128.

基于概率模型检测的微电网的形式化验证

基金项目: 

国家自然科学基金项目

详细信息
    通讯作者:

    孙春竹

Formal Verification of Microgrid Based on Probabilistic Model Checking

Funds: 

the National Natural Science Foundation of China

  • 摘要: 通过概率模型检测的方法对微电网电源系统建立离散时间马尔可夫链模型,在系统后续的状态迁移中加入了故障率,类比云平台弹性计算功能,添加了另一个分布式电源,并验证其对系统进程的影响,用概率计算树逻辑对微电网电源系统进行描述,并对系统的负荷成本、经济成本以及状态迁移数进行定量分析. 验证结果表明:分布式电源间故障率对系统的收益和消耗有不同程度的影响,加上云平台的弹性计算思想在微电网上的灵活运用,可以提高微电网的性能以及生产效益,对实际生产和运用有极大的借鉴意义.
  • 加载中
计量
  • 文章访问数:  899
  • HTML全文浏览量:  129
  • PDF下载量:  101
  • 被引次数: 0
出版历程
  • 收稿日期:  2017-07-31
  • 修回日期:  2017-09-29
  • 刊出日期:  2018-04-25

目录

    /

    返回文章
    返回