{“id”：“https://openalex.org/W1587725321“，”doi“：”https://doi.org/10.1007/11875567_10“，”title“：”静态、动态和循环系统的重试和故障树的生成“，”display_name“：”重试和静态、动态及循环系统的故障树的产生“，”publication_year“：2006，”publiation_date“：”2006-01-01“，”ids“：{”openalex“：”https://openalex.org/W1587725321“，”doi“：”https://doi.org/10.1007/11875567_10“，”mag“：”1587725321“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/11875567_10“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，“open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：网址：http://www.cs.man.ac.uk/~banach/some.pubs/Retench。Gen.FT.SDCS.pdf“，”any_repository_has_fulltext“：true}，”作者身份“：[{“author_position”：“first”，“author”：{“id”：“https://openalex.org/A5075794170“，”display_name“：”Richard Banach“，”orcid“：”https://orcid.org/0000-0002-0243-9434}，“机构”：[{“id”：https://openalex.org/I28407311“，”display_name“：”曼彻斯特大学“，”ror“：”https://ror.org/027m9bs27“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I28407311“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Richard Banach“，”raw _affiliation_strings“：[“英国曼彻斯特大学计算机科学学院”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5076775585“，”display_name“：”Marco Bozzano“，”orcid“：”https://orcid.org/0000-0002-4135-103X“}，”机构“：[]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Marco Bozzano“，”raw _ afiliation_strings“：[“ITC-IRST，Povo，Trento，Italy”]}]，”countries _ distinct_count“：2，”institutions _ disting_count：“EUR”，“value_usd”：5392，“出处：“doaj”}，“apc_payed”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“出处”：“doj}”，“has_fulltext”：false，“cited_by_count”：5，“citted_by_percentile_year”：{“min”：79，“max”：80}，”藏书“：{”卷“null”，“issue”：null，“first_page”：“127”、“last_page”：“141”}、“is_retracted”：假，“is_paratext”：假，“primary_topic”：{“id”：“https://openalex.org/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.999，”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/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.999，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9985，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”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/T10639“，”display_name“：”自主计算和自适应系统“，”score“：0.9983，”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/model-transformation网站“，”display_name“：”模型转换“，”score“：0.506589}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.506463}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8110764}，{”id“：”https://openalex.org/C101173714，“wikidata”：https://www.wikidata.org/wiki/Q7316933“，”display_name“：”Retrenchment“，”level“：2，”score“：0.7782543｝，｛”id“：”https://openalex.org/C205711294，“wikidata”：https://www.wikidata.org/wiki/Q176953“，”display_name“：”渲染（计算机图形）“，”level“：2，”score“：0.62941384}，{”id“：”https://openalex.org/C107094494，“wikidata”：https://www.wikidata.org/wiki/Q428453“，”display_name“：”故障树分析“，”level“：2，”score“：0.54791623}，{”id“：”https://openalex.org/C124304363，“wikidata”：https://www.wikidata.org/wiki/Q673661“，”display_name“：”Abstraction“，”level“：2，”score“：0.5282511｝，｛”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.46655673}，{”id“：”https://openalex.org/C2778476105，“wikidata”：https://www.wikidata.org/wiki/Q628539“，”display_name“：”Workload“，”level“：2，”score“：0.41623253｝，｛”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.4105368}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.33693224}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.2917173}，{”id“：”https://openalex.org/C200601418，“wikidata”：https://www.wikidata.org/wiki/Q2193887“，”display_name“：”可靠性工程“，”level“：1，”score“：0.24680376}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C3116431，“wikidata”：https://www.wikidata.org/wiki/Q31728“，”display_name“：”公共管理“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”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/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”工程“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/11875567_10“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.61.9819，“pdf_url”：网址：http://www.cs.man.ac.uk/~banach/some.pubs/Retench。Gen.FT.SDCS.pdf“，”源“：{“id”：“https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.61.9819，“pdf_url”：网址：http://www.cs.man.ac.uk/~banach/some.pubs/Reench。Gen.FT.SDCS.pdf“，”源“：{“id”：“https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：15，“referrenced_works”：]”https://openalex.org/W1541721537","https://openalex.org/W1543654202","https://openalex.org/W1565059069","https://openalex.org/W1597459259","https://openalex.org/W1678831482","https://openalex.org/W1983711511","https://openalex.org/W2013781926","https://openalex.org/W2030224590","https://openalex.org/W2033567995","https://openalex.org/W2048972217","https://openalex.org/W2103812909","https://openalex.org/W2123310844","https://openalex.org/W2141956452","https://openalex.org/W2142185961","https://openalex.org/W4243645102“]，”related_works“：[”https://openalex.org/W4249261709","https://openalex.org/W3206409199","https://openalex.org/W278680301","https://openalex.org/W2144996318","https://openalex.org/W2130642229","https://openalex.org/W2108849384","https://openalex.org/W2068167802","https://openalex.org/W1993846526","https://openalex.org/W1987207493","https://openalex.org/W1265999735“]，”ngrams_url“：”https://api.openalex.org/works/W1587725321/ngrams“，”“abstract_inverted_index”：{“For”：[0]，“large”：[1]，“systems”，：[2]，“the”：[3,20,37,47100141]，“manual”：[4]，“construction”：[5,39]，“of”：[6,40,49,84]，“fault”：%7,41,55,70]，“trees”：[8,56]，“is”：[9]，“error policy”：[10]，“motive”：[11]，“automated”：[12]，“technologies”在“：[14]，”this“：[15,89]，”paper“：[16]，”we“：[17113]，”show“：[18,87]，”how“：%19,88]，”紧缩“：[21,50]，”方法“：[22,35,67,90]，”到“：[23,53,68,78,94117126134144]，”形式“：[24]，”系统“：[25,44,74138]，”模型“：[26]，”进化“：[27]，”can“：[28,91]，”be“：[29,79,92127]，”开发“：[30]，”into“：[31]，”a“：[32,65,73131]，”通用“：[33]，”结构化“：[34]，”for“：[36]，”机械“：[38]，”树木。“：[42]，”The“：[43,61111]，”structure“：[45,48]，”and“：[46,75104122]，”termission“：[51]，”interactive“：[52]，”generate“：[54]，”with“：[57,96136147]，”approprially“：[58]，”deep“：59]，”nesting“。“：[60]，”same“：[62]，”interactions“：[63]，”fuel“：[64]，”structural“：[66]，”hierarchical“：[69]，”trees“：[71]，”allowing“：[72120]，”its“：[76]，”faults“：77]，”viewed“：[80]，”at“：[81]，”multiple“：[82]，”levels“：+83]，”abstraction。“：[85]，“我们”：[86]，“扩展”：[93]，“交易”：[95]，“最小化”：[97]，“由此”：[98]，“递减”：[99]，“事后”：[101]，“包容”：[102]，“工作量”：[103]，“潜在”：[105]，“呈现”：[106]，“部分”：[107]，“不可行”：[108]，“案例”：[109]，“可行”。“：[110]，”技术“：[112]，”描述“：[114]，”容易“：[115]，”概括“：[116]，”包含“：[118145]，”定时“：[119]，”故障“：[121]，”其他“：[123]，”瞬态“：[124]，”错误“：[125]，”正确“：[128]，”描述。“：[129]，”最后，“：[130]，”温和“：[132]，”概括“：[133]，”范围“：[135]，”循环“：[137]，”描述“：[139]，”允许“：[140]，”定时“：[142]，”理论“：[143]，”系统“：[146]，”反馈。“：[148]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1587725321“，”counts_by_year“：[{“年份”：2019，”cited_by_count“：1}，{“年度”：2017，”citted_by_count”：1}，{”year“:2014，”cited_by_count“:1}]，”updated_date“：”2024-05-17T09:14:52.829399“，”created_dates“：”2016-06-24“}