{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,8]]，“日期时间”：“2024-09-08T03:29:49Z”，“时间戳”：1725766189351}，“引用计数”：22，“发布者”：“IEEE”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“发布-发布int“：{“日期部分”：[[2017,9]]}，“DOI”：“10.1109\/srds.2017.22”，“type”：“procesdings-article”，“created”：{“date-parts”：[[2017,10,25]]，“date-time”：“2017-10-25T19:29:04Z”，“timestamp”：1508959744000}，“page”：”94-103“，“source”：《Crossref》，“is-referenced-by-count”：7，“title”：[“概率自稳定算法的自动微调”]，“prefix”：“10.109”，“volume”：第16“，“作者”：[{“给定”：“Saba”，“family”：“Aflaki”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Matthias”，“家族”：“Volk”，“serquence”:“additional”，“abfiliation“：[]{”given“：”Borzoo“，”family“：”博纳克达尔普尔“，”sequence“：”additional}，{“given”：“Arne”，“family”：“Storjohann”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“263”，“reference”：[{“journal-title”：“Introduction to Probability”，“year”：“1997”，“author”：“grinstead”，“key”：“ref10”}，{“key“：ref11”，“first page”：《156》，“article-title》：“自动分析调度对自稳定协议性能的影响”，“作者”：“afiaki”，“年份”：“2015”，“journal-title”：“第17届分布式系统稳定安全与保障国际研讨会论文集（SSS'15）”}，{“key”：“ref12”，“doi-asserted-by”：“crossref”，“first page”：”214“，“doi”：“10.1007\/978-3319-21690-4_13”，“article-title“：“Prophesy:一种概率参数综合工具”，“author”：“dehnert”，“year”：“2015”，“journal-title”：“第27届计算机辅助验证国际会议论文集”}，{“key”：“ref13”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-319-46520-3_4”}：“394”，“doi”：“10.1137\/1016065”，“article-title”：“多项式行列式系数上的Hadamard-type约束”，“volume”：“16”，“author”：“goldstein”，“year”：“1974”，“journal-title“：”SIAM Review“}，{“key”：”ref16“，”doi-asserted-by“：”publisher“，”doi“：”10.1017\/CBO9781139856065“}”，{“：”10.1145\/1073884.1073899“}，{“key”：“ref18”，“首页”：“3”，“文章标题”：“参数马尔可夫模型的概率可达性”，“作者”：“hahn”，“年份”：“2010”，“期刊标题”：“国际技术转让软件工具杂志”}，{“key”：“ref19”，“首页”：“280”，“文章标题”：“离散时间马尔可夫链的符号和参数模型检查”，“作者”：“daws”，“year”：“2004”，“journal-title”：“第一届国际计算理论会议（ICTAC）论文集”}，{“key”：“ref4”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0020-0190（90）90107-9”}出版商“，”内政部“：“10.1109\/SRDS.2013.24”}，{“key”：“ref5”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/s00165-012-0227-6”}：“第四届分布式系统原理国际会议论文集”}，{“key”：“ref7”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-319-03089-0_11”}04-2“}，{”新闻标题“：“模型检查原则”，“年份”：“2008”，“作者”：“baier”，“key”：“ref9”}，{“key“：”ref20“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/800141.804655“}，”{“密钥”：“ref22”，“doi-assert-by”：“publisher”，“doi”：“10.1007\/978-3-319-21741-3_15 doi“：”10.1007\/978-3-319-17524-9_21“}]，“事件”：{“名称”：“2017 IEEE第36届可靠分布式系统（SRDS）研讨会”，“开始”：{“日期-部件”：[[2017,9,26]]}，“位置”：“香港”，“结束”：{“日期-零件”：[[2017,9,29]]}}，”容器-标签“：[”2017 IEEE关于可靠分布式系统的第36届研讨会“]，“原始标题”：[]，“链接”：[{“URL”：“http://explorestaging.ieee.org/ielx7\/8067712\/8068302\/080690772.pdf？arnumber=88069072”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”｝]，“存放”：｛“日期部分”：[[2020,2,6]，“日期时间”：“2020-02-06T17:09:45Z”，“时间戳”：1581008985000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“https:\/\/ieeexplore.iee.org\/document\/8069072\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部件”：[[2017，9]]}，”引用计数“：22，”URL“：”http://\/dx.doi.org\/10.109\/srds.2017.22“，”关系“：{}”，“主题”：[】，“发布”：}“日期–部件”：[2017，9]}}}