{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,9,8]]，“日期-时间”：“2022-09-08T04:46:11Z”，“时间戳”：1662612371072}，“发布者位置”：“查姆”，“引用-计数”：18，“发布商”：“斯普林格国际出版公司”，“isbn-type”：[{“值”：“9783031158414”，“类型”：”打印“}，{“值”：“9783031158421”，“type”：“electronic”｝]，“license”：[｛“start”：｛“date parts”：[[2022,1,1]]，“date time”：“2022-01-01T00:00:00Z”，“timestamp”：1640995200000｝，“content version”：“tdm”，“delay in days”：0，“URL”：“https://\\www.springer.com\/tdm”｝，｛“start”：｛“date parts”：[[2022,1,1]]，“date time”：“2022-01-01T00:00:00Z”，“timestamp”：1640995200000｝，“content版本”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com\/tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{-“date-parts”：[[2022]]}，”DOI“：”10.1007\/978-3-031-15842-1_10“，”type“：”book-capter“，”“created”：{“date-ports”：[[2022,9,8]]，“日期-时间”：“2022-09-08T04:02:50Z”，“时间戳”：1662609770000}，“页面”：“130-145”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源代码”：“Crossref”、“is-referenced-by-count”：0，“标题”：[“使用\u00a0AltaRica 3.0对\u00a 0an\u00a/0海上风车场进行性能评估”]，“前缀”：“10.1007”，《作者》：[{“给定”：“Michel”，“系列”：“Batteu”x“，”sequence“：”first“，“affiliation”：[]}，{“given”：“Tatiana”，“family”：“Prosvirnova”，“sequence”：“additional”，“affaliation”（从属关系）：[]neneneep：“对象理论”，“作者”：“M Abadi”，“年份”：“1998”，“非结构化”：“Abadi，M.，Cardelli，L.：对象理论。Springer-Verlag，New-York，USA（1998）”}，{“key”：“10_CR2”，“doi-asserted-by”：“crossref”，“非结构”：“Aupetit，B.，Batteux，M.，Rauzy，A.，Roussel，J.M.：提高AltaRica 3.0随机模拟器的性能。摘自：Podofillini，L.，Sudret，B.，Stojadinovic，B.，Zio，E.，Kr\u00f6ger，W.（eds.）《复杂工程系统的安全性和可靠性程序：ESREL 2015》，第1815\u20131824页。CRC Press（2015）”，“DOI”：“10.1201\/b19094-236”｝，｛“issue”：“6”，“key”：“10_CR3”，“DOI asserted by”：“publisher”，“first page”：“691”，“DOI”：“10.1177\/1748806X17728209”，“volume”：“231”，“author”：“M Batteux”，“year”：“2017”，“nonstructured”：“Batteux，M.，Prosvirnova，T.，Rauzy，A.：Altarica 3.0断言：为什么和为什么。J.Risk Reliab.231（6），691\u2013700（2017）。https:\/\/doi.org\/10.1177\/1748006X17728209“，”journal-title“：”J.Risk Reliab。}，{“key”：“10_CR4”，“非结构化”：“Batteux，M.，Prosvirnova，T.，Rauzy，A.：Altarica向导：Altarica3.0的集成建模和仿真环境。In：Actes du congr\u00e8s Lambda-Mu 21（Actes \u00e 9electroniques）。IMdR，Reims，France（2018）“}，{“key”：“10_CR5”，“doi-asserted-by”：“crossref”，“unstructured”：“Batteux，M.，Prosvirnova，T.，Rauzy，A.：从结构模型到模型结构。见：第四届IEEE国际系统工程研讨会，ISSE 2018。意大利罗马（2018）“，”DOI“：”10.1109\/SysEng.2018.8544424“}，{”issue“：”1\u20132“，”key“：”10_CR6“，”DOI-asserted-by“：”publisher“，”first page“：“133”，“DOI”：“10.1504\/IJCCBS.2019.098809”，“volume”：“9答：Altarica 3.0有10种建模模式。国际期刊评论。计算。基于系统。9（2013年1月2日）、133（2013年16月19日）。https:\/\/doi.org\/10.1504\/IJCCBS.2019.098809“，”journal-title“：”国际期刊评论计算。基于系统。“}，{”key“：”10_CR7“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“32”，”doi“：”10.1007\/978-3030-32872-6_3“，“volume-title”：“基于模型的安全与评估”，“author”：“M Batteux”，“year”：“2019”，“unstructured”：“”Batteux，M.，Prosvirnova，T.，Rauzy，A.：使用AltaRica 3.0评估维护政策的建模模式。在：Papadopoulos，Y.，Aslansefat，K.，Katsaros，P.，Bozzano，M.（编辑）IMBSA 2019。LNCS，第11842卷，第32页\u201346。查姆施普林格（2019）。https:\/\/doi.org\/10.1007\/978-3-030-32872-6_3“}，{“key”：“10_CR8”，“doi-asserted-by”：“crossref”，“unstructured”：“Batteux，M.，Prosvirnova，T.，Rauzy，A.：使用AltaRica 3.0高效建模大型马尔可夫链模型。摘自：第31届欧洲安全与可靠性会议（ESREL）会议记录。Angers，法国（2021年）。https:\/\/hal.archives-ouvertes.fr\/hal-03429225“，”DOI“：”10.3850\/978-981-18-2016-8_671-cd“}，{“key”：“10_CR9”，“DOI-asserted-by”：“publisher”，“unstructured”：“Batteux，M.，Prosvirnova，T.，Rauzy，A.，Yang，L.：Altarica 3.0分阶段任务系统的可靠性评估。摘自：《第三届系统可靠性与安全国际会议论文集》，第400\u2013407页。IEEE，西班牙巴塞罗那（2018）。https:\/\/doi.org\/10.109\/ICSR.2018.00072“，”doi“：”10.1109\/ICSRS.2018.0072“}，{“key”：“10_CR10”，“doi-asserted-by”：“crossref”，“unstructured”：“Cassandras，C.G.，Lafortune，S.：离散事件系统简介。Springer，New-York，NY，USA（2008）”，“doi”：“10.1007\/978-0-387-68612-7”}，“{”key“：”10_CR11“，”非结构化“：”Epstein，S.、Reinhart，M.、Rauzy，A.：下一代概率安全评估的开放PSA倡议。参见：《2008年第九届概率安全评估与管理国际会议论文集》，PSAM 2008，vol.\u00a01，pp.542\u2013550。IAPSAM，中国香港（2008）“}，{“key”：“10_CR12”，“unstructured”：“Gamma，E.，Helm，R.，Johnson，R.和Vlissides，J.：设计模式-可重用面向对象软件的元素。Addison-Wesley专业计算系列，Addison-Whesley，Boston，MA 02116，USA（1994）”}，}“volume-title”：“基于原型的编程：概念”，“author”：“J Noble”，“year”：“1999”，“unstructured”：“Noble，J.，Taivalsari，A.，Moore，I.：基于原型的程序设计：概念。语言与应用，Springer-Verlag，Berlin and Heidelberg，Germany（1999）“}，{“issue”：“1”，“key”：“10_CR14”，“doi-asserted-by”：“publisher”，“first-page”：“50”，“doi”：“10.1504\/IJCCBS.2015.068852”，“volume”：Prosvirnova，T.，Rauzy，A.：从Altarica 3.0模型自动生成最小割集。国际期刊临界计算。基于系统。6（1），50\u201379（2015）。https:\/\/doi.org\/10.1504\/IJCCBS.2015.068852“，”新闻标题“：”国际期刊评论计算。基于系统。“}，{”issue“：”4“，”key“：”10_CR15“，”doi-asserted-by“：”publisher“，”first-pages“：”495“，“doi”：“10.1243\/1748006XJRR177”，“volume”：“222”，“author”：“A Rauzy”，“year”：“2008”，“unstructured”：“Rauzzy，A.：防护过渡系统：可靠性研究的新状态/事件形式主义。J.Risk Reliab.222（4），495\u2013505（2008）.https:\\/\/doi.org/10.1243\\/1748806JRR177”，“期刊标题”：“J.风险研究。}，{“key”：“10_CR16”，“unstructured”：“Rauzy，A.：高效故障树评估引擎剖析。摘自：Virolainen，R.（ed.）《2011年PSAM国际联合会议论文集》，ESREL 2012，pp.3333\u20133343。芬兰赫尔辛基（2012）“}，{”issue“：”3“，”key“：”10_CR17“，”doi-asserted-by“：”publisher“，”first page“：“162”，“doi”：“10.3390\/e20030162”，“volume”：“20”，“author”：“A Rauzzy”，“year”：“2018”，“unstructured”：“Rauzy，A.：概率风险/安全评估中计算不确定性的注释。熵20（3），162（2018）.https:\/\/doi.org\/10.3390\/e20030162“，”journal-title“：”Entropy“}，{“key”：“10_CR18”，“doi-asserted-by”：“crossref”，“unstructured”：“Zimmermann，A.：随机离散事件系统。Springer，Berlin，Heidelberg，Germany（2008）”，“doi”：“10.1007\/978-3-540-74173-2”}]，“container-title”：[“基于模型的安全与评估”，“计算机科学课堂讲稿“]，”original-title“：[]，”link“：[{”URL“：”https:\/\/link.springer.com/content\/pdf\/10.1007\/978-3-031-15842-1_10“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2022,9,8]]，”date-time“：“2022-09-08T04:05:23Z”，“timestamp”：166 2609923000}，“score“：1，”resource“：{“primary”：{”URL“：”https:\/\/link.springer.com/10.1007\/978-3-031-15842-1_10“}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{date-parts”：[[2022]]}，“ISBN”：[“9783031158414”，“9783058421”]，“references-count”：18，“URL”：“http://\/dx.doi.org\/10007\/978”3-031-15842-1_10“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-9743“，”type“：“print”}，{“value”：“1611-3349”，“type”：”electronic“}]，“subject”：[]，“published”：{“date-parts”：[[2022]]}，“assertion”：[{“value”：“2022年9月9日”，“order”：1，“name”：“first_online”，“label”：“first online”，A“，”order“：1，”name“：”conference_acrombit“，”label“：”会议缩写词“，”组“：{“name”：“ConferenceInfo”，“label”：“会议信息”}}，{“value”：“基于模型的安全与评估国际研讨会”，“order”：2，“name”:“Conference_name”，“标签”：“会议名称”，“group”：标签“：”会议城市“，”组“：{“name”：”会议信息“，”标签“：“会议信息”}}，{“value”：“德国”，“订单”：4，“名称”：“Conference_country”，“label”：“会议国家”，“group”：{名称：“ConferenceInfo”，“table”：“ConfeenceInformation”}}}ConferenceInfo”，“label”：“ConferenceInformation”｝｝，｛“value”：“2022年9月5日”，“order”：7，“name”：“Conference_start_date”，“label”：“会议开始日期”，“group”：｛“name”：“ConferenceInfo”，“label”：“ConferenceInformation”｝，｛“value”：“2022年9月7日”，“order”：8，“name”：“Conference_end_date”，“label”：“会议结束日期”，“group”：｛“name”：“会议信息“，”标签“：”会议信息“}}，{“value”：“8”，“order”：9，“name”：“Conference_number”，“label”：“ConferenceNumber”，“group”：{“name”:“ConferenceInformo”，“table”：“会议信息”}}}，{“value“：”https:\/\/easyconferences.eu\/imbsa2022\/“，”order“：11，”name“：”conference_url“，”label“：”会议url“，”group“：{”name“:”ConferenceInfo“，”table“：”Conferency Information“}}，{”value“:”Single-blind“，”订单“：1，”name”：“type”，“label”：“type”，“group”：{“name”：”ConfEventPeerReviewInformation“，”标签“：”同行评议信息（由会议组织者提供）“}}，{”value“：”Easychair“，”order“：2，”name“：”conference_management_system“，”label“：”会议管理系统“，”group“：number_of_submissions_sent_for_review“，”label“：“发送供审阅的提交数”，“group”：{“name”：“ConfEventPeerReviewInformation”，“label”：“同行审阅信息（由会议组织者提供）”}}，{“value”：“15”，“order”：4，“name”:“number_ of_full_papers_accepted”ConfEventPeerReviewInformation“，”label“：”同行评审信息（由会议组织者提供）56%-该值由等式“接受的完整论文数”/“提交供审查的论文数*100”计算，然后四舍五入为整数。“，”order“：6，”name“：”acceptance_rate_of_full_papers“，”label“：”全文接受率“，”group“：ConfEventPeerReviewInformation“，”label“：”同行评议信息（由会议组织者提供）“}}，{“value”：“2”，“order”：8，“name”：“average_number_of_papers_per_reviewer”，“label”：“每个审阅者的平均论文数”，“group”：}，{“value”：“Yes”，“order”：9，“name”：“external_reviewers_involved”，“label”：“涉及的外部审阅者”，“group”：{“name”:“ConfEventPeerReviewInformation”，“标签”：“同行审阅信息（由会议组织者提供）”}}]}}