{“id”：“https://openalex.org/W4318969195“，”doi“：”https://doi.org/10.109/prdc55274.2022.00037“，”title“：”具有异构故障事件的故障树的基于模型的生成和分析工具集“，”display_name“：”带有异构故障事件故障树的模型生成和分析工具包“，”publication_year“：2022，”publiation_date“：”2022-11-01“，”ids“：{”openalex“：”https://openalex.org/W4318969195“，”doi“：”https://doi.org/10.109/prdc55274.2022.00037“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/prdc55274.2022.00037“，”pdf_url“：null，”source“：null，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，”type“：”article“，”type_crossref“：”proceedings article“，”indexed_in“：[”crossref“]，”open_access“：｛”is_oa“：false，”oa_status“：”closed“，”oa_url“：null，”any_repository_has_fulltext“：false｝，”authorships“：[｛”author_position“：“第一个”，“作者“：{”id“：”https://openalex.org/A5032007875“，”display_name“：”D.Rapin“，”orcid“：”https://orcid.org/0000-0001-5208-8874}，“机构”：[{“id”：https://openalex.org/I4210085861“，”display_name“：”CEA LIST“，”ror“：”https://ror.org/000dbcc61“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I2738703131","https://openalex.org/I4210085861","https://openalex.org/I4210117989“]}，{”id“：”https://openalex.org/I277688954“，”display_name“：”Universit\u00e9 Paris-Saclay“，”ror“：”https://ror.org/03xjwb503“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I277688954“]}，{”id“：”https://openalex.org/I2738703131“，”display_name“：”Commissariat\u00e0 l'\u00c9nergie Atomique et aux\u00c 9nergies Alternatives“，”ror“：”https://ror.org/00jjx8s55“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I2738703131“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Nicolas Rapin“，”raw _affiliation_strings“：[“University \u00e9 Paris-Saclay，CEA，List”]，”affiliations“：[{”raw _affiliation_string“：”University \ u00e9-Paris-Sacclay，CEC，List“，institution_ids”：[“https://openalex.org/I4210085861","https://openalex.org/I277688954","https://openalex.org/I2738703131“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5005411957“，”display_name“：”Bouthe\u00efna Bannour“，”orcid“：”https://orcid.org/0000-0002-4943-7807}，“机构”：[{“id”：https://openalex.org/I277688954“，”display_name“：”Universit\u00e9 Paris-Saclay“，”ror“：”https://ror.org/03xjwb503“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I277688954“]}，{”id“：”https://openalex.org/I2738703131“，”display_name“：”Commissariat\u00e0 l'\u00c9nergie Atomique et aux\u00c 9nergies Alternatives“，”ror“：”https://ror.org/00jjx8s55“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I2738703131“]}，{”id“：”https://openalex.org/I4210085861“，”display_name“：”CEA LIST“，”ror“：”https://ror.org/000dbcc61“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I2738703131","https://openalex.org/I4210085861","https://openalex.org/I4210117989“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Boutheina Bannour“，”raw _affiliation_strings“：[“University \u00e9 Paris-Saclay，CEA，List”]，”affiliations“：[{”raw _affiliation_string“：”University \ u00e9-Paris-Sacclay，CEB，List“，institution_ids”：[“https://openalex.org/I277688954","https://openalex.org/I2738703131","https://openalex.org/I4210085861“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5081937832“，”display_name“：”Morayo Adedjouma“，”orcid“：”https://orcid.org/0000-0003-0218-028X}，“机构”：[{“id”：https://openalex.org/I277688954“，”display_name“：”Universit\u00e9 Paris-Saclay“，”ror“：”https://ror.org/03xjwb503“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I277688954“]}，{”id“：”https://openalex.org/I2738703131“，”display_name“：”Commissariat\u00e0 l'\u00c9nergie Atomique et aux\u00c 9nergies Alternatives“，”ror“：”https://ror.org/00jjx8s55“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I2738703131“]}，{”id“：”https://openalex.org/I4210085861“，”display_name“：”CEA LIST“，”ror“：”https://ror.org/000dbcc61“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I2738703131","https://openalex.org/I4210085861","https://openalex.org/I4210117989“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Morayo Adedjouma“，”raw _ afiliation_strings“：[“University \u00e9 Paris-Saclay，CEA，List”]，”affiliations“：[{”raw _affiliation_string“：”University \ u00e9Paris-Sacclay，CEB，List“，”institution_ids“：[https://openalex.org/I277688954","https://openalex.org/I2738703131","https://openalex.org/I4210085861“]}]}]，”institution_assertions“：[]，”countries_distinact_count“：1，”institutions_disticant_count”：3，”corresponding_author_ids“：[[]，”corresponding_institution_ids”：[]，“apc_list”：null，”apc_payed“：null”，“fwci”：0.0，”has_fulltext“：false，”cited_by_count“is_in_top_10_percent”：错误}，“cited_by_percentile_year“：{“min”：0，“max”：61}，“biblio”：{卷：null，“问题”：nullhttps://openalex.org/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9992，”subfield“：{”id“：”https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9992，”subfield“：{”id“：”https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T13295“，”display_name“：”复杂系统开发中的安全保证“，”score“：0.9988，”subfield“：｛”id“：”https://openalex.org/subfields/2213“，”display_name“：”安全、风险、可靠性和质量“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10639“，”display_name“：”自主计算和自适应系统“，”score“：0.9972，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/binary-decision-diagram网站“，”display_name“：”二进制决策图“，”score“：0.7150427}，{”id“：”https://openalex.org/keywords/software-reliability建模“，”display_name“：”软件可靠性建模“，”score“：0.559905}，{”id“：”https://openalex.org/keywords/fault-detection-and-correction网站“，”display_name“：”故障检测与纠正“，”score“：0.543349}，{”id“：”https://openalex.org/keywords/model-based-development网站“，”display_name“：”基于模型的开发“，”score“：0.540832}，{”id“：”https://openalex.org/keywords/testing-effort-dependent-models网站“，”display_name“：”Testing-Effort Dependent Models“，”score“：0.539902}，{”id“：”https://openalex.org/keywords/component-based-systems网站“，”display_name“：”基于组件的系统“，”score“：0.529105}，{”id“：”https://openalex.org/keywords/representation网站“，”display_name“：”Representation（politics）“，”score“：0.44975442}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7566031}，{”id“：”https://openalex.org/C3309909，“wikidata”：https://www.wikidata.org/wiki/Q864155“，”display_name“：”二进制决策图“，”level“：2，”score“：0.7150427}，{”id“：”https://openalex.org/C107094494，“wikidata”：https://www.wikidata.org/wiki/Q428453“，”display_name“：”故障树分析“，”level“：2，”score“：0.6316671}，{”id“：”https://openalex.org/C21285288，“wikidata”：https://www.wikidata.org/wiki/Q2117885“，”display_name“：”系统建模语言“，”level“：4，”score“：0.5865865}，{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.54669327}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”级别“：2，”分数“：0.49564254}，{”id“：”https://openalex.org/C2780801425，“wikidata”：https://www.wikidata.org/wiki/Q5164392“，”display_name“：”Construct（python库）“，”level“：2，”score“：0.46717864}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.45634967}，{”id“：”https://openalex.org/C2776359362，“wikidata”：https://www.wikidata.org/wiki/Q2145286“，”display_name“：”Representation（politics）“，”level“：3，”score“：0.44975442}，{”id“：”https://openalex.org/C2779662365，“wikidata”：https://www.wikidata.org/wiki/Q5416694“，”display_name“：”Event（particle physics）“，”level“：2，”score“：0.43895477}，{”id“：”https://openalex.org/C175551986，“wikidata”：https://www.wikidata.org/wiki/Q47089“，”display_name“：”断层（地质）“，”级别“：2，”分数“：0.41182265｝，｛”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.3905428}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.34673893}，{”id“：”https://openalex.org/C200601418，“wikidata”：https://www.wikidata.org/wiki/Q2193887“，”display_name“：”可靠性工程“，”level“：1，”score“：0.30982828}，{”id“：”https://openalex.org/C145644426，“wikidata”：https://www.wikidata.org/wiki/Q169411“，”display_name“：”统一建模语言“，”level“：3，”score“：0.20820802｝，｛”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.112255305}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”工程“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C165205528，“wikidata”：https://www.wikidata.org/wiki/Q83371“，”display_name“：”Seismology“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C94625758，“wikidata”：https://www.wikidata.org/wiki/Q7163“，”display_name“：”政治“，”级别“：2，”分数“：0.0}，{”id“：”https://openalex.org/C199539241，“wikidata”：https://www.wikidata.org/wiki/Q7748“，”display_name“：”Law“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C17744445，“wikidata”：https://www.wikidata.org/wiki/Q36442“，”display_name“：”政治学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C127313418，“wikidata”：https://www.wikidata.org/wiki/Q1069“，”display_name“：”Geology“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/prdc55274.2022.00037“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：false，”landing_page_url”：“https://hal.science/hal-04479678“，”pdf_url“：null，”source“：nul，”license“：null:”license_id“：nulse，”version“：null，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nuld，”sustainable_development_goals“：[{”display_name“：”和平、正义和强大的机构“，”score“：0.79，”id“：”https://metadata.un.org/sdg/16“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：10，”referrenced_works“：【”https://openalex.org/W1492134992","https://openalex.org/W1712895775","https://openalex.org/W1968920784","https://openalex.org/W2042836483","https://openalex.org/W2096222863","https://openalex.org/W2103311653","https://openalex.org/W2158963168","https://openalex.org/W2928681333","https://openalex.org/W4212879240","https://openalex.org/W72684053“]，”related_works“：[”https://openalex.org/W3130685677","https://openalex.org/W2803843036","https://openalex.org/W2611966366","https://openalex.org/W2584649593","https://openalex.org/W2542904743","https://openalex.org/W2471151559","https://openalex.org/W2140425425","https://openalex.org/W2013926333","https://openalex.org/W1583869287","https://openalex.org/W1561659860“]，”abstract_inverted_index“：{”We“：[0142]，”are“：[1,36124]，”interested“：[2]，”in“：[3121]，”the“：[4,25,40,48,55,65109144]，”safety“：[5]，”of“：[6,21,29,42,50,54,68107]，”critical“：[7]，”systems“：[8,43]，”which“：[9]，”development“：[10]，”is“：[11,57,86]，”based“：[12,38,87]，”“on”：[13,39,88]，“models.”：[14]，“Implementation”：[15]，“failure”：[16,33]，“analysis”：[17]，“for”：[18]，“this”：[19,94]，“kind”：[20]，“system”：[22151]，“requires”：/23]，“modeling”：[24]，“failures”：[26]，“and”：[27,77112]，“conditions”：[28]，，“thes”：[30,78113]，“appearances.”：[31]，“The”：[32,52,80]，“analysis”：[34,56]，“accessions”：[35]，“maincludies”：[37]，“structures”:[41]，“where”：[44]，“布尔”：[45128]，“方程”：[46]，“描述”：[47]，“传播”：[49]，“故障。”：[51]，“目标”：[53]，“到”：[58101117127]，“计算”：[59]，“最小”：[60]，“切割”：[61]，“集合”：[62]，“（MCS），”：[63]，“即”：[64]，“最低”：[66]，“集”：[67]，“基本”：[69]，“故障”：[70]，“that”：[71]，“may”：[72]，“原因”：[73]，“a”：[74,98]，“恐惧“：[75]，”事件“：[76]，”概率“：[79]，”大多数“：[81]，”有效“：[82]，”MCS“：[83]，”分辨率“：[84]，“method”：[85]，“Binary”：[89]，“Decision”：[90]，“Diagrams”：[91]，“（BDD）.”：[92]，“In”：[93]，“paper”，“：[95]，“we”：96]，“present”：[97]，“model-based”：【99】，“toolset”：【100145】，“construct”：【102】，“from”：【103137】，故障“：[110]，”树“：[111]，”BDD-representation“：[114]，”启用“：[115]，”我们“：[116]，“compute”：[118]，“MCS。”：[119]，“Faults”：[120]，“our”：[122]，“approach”：[123]，“not”：[125]，“limited”：[126]，“variables”；“：[129]，“they”：[130]，“can”：[131]，“be”：[132]，“expressed”：[133]，“by”：[134]，“constraints”：[135]，“coming”：[136]，“an”：[138148]，“任意”：[139]，“decisible”：[140]，“理论。”：[141]，“验证”：[143]，“能力”：[146]，“与”：[147]，“石油”：[149]，“燃烧器”：[150]，“使用”：[152]，“案例”：[153]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W4318969195“，”counts_by_year“：[]，”updated_date“：”2024-09-15T17:45:35.003895“，”created_date:“2023-02-03”}“