{“id”：“https://openalex.org/W4223976924“，”doi“：”https://doi.org/10.1016/j.artint.2022.103725“，”title“：“公平过渡系统的可诊断性”，“display_name”：“公平转型系统的可诊性”，”publication_year“：2022，”publitation_date“：”2022-08-01“，”ids“：{”openalex“：”https://openalex.org/W4223976924“，”doi“：”https://doi.org/10.1016/j.artint.2022.103725“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.artint.2022.103725“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S196139623“，”display_name“：“人工智能”，”issn_l“：”0004-3702“，”issn“：[”0004-3702“，”1872-7921“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，”type“：”journal“｝，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，”type“：”article“，”type_crossref“：”journal article“，”indexed_in“：[”crossref“]，”open_access“：｛”is_oa“：false，”oa_status“：”closed“，”oa_url“：null，”any_repository_has_fulltext“：false｝，”authorships“：[{”author_position“：”first“，”author“：{”id“：”https://openalex.org/A5088054439“，”display_name“：”Benjamin Bittner“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Benjamin Bittner“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler，Via Sommarive 18，38123 Povo，Trento，Italy”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5076775585“，”display_name“：”Marco Bozzano“，”orcid“：”https://orcid.org/0000-0002-4135-103X}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：true，”raw_author_name“：”Marco Bozzano“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler，Via Sommarive 18，38123 Povo，Trento，Italy”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5017426974“，”display_name“：”Alessandro Cimatti“，”orcid“：”https://orcid.org/0000-0002-1315-6990}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]｝]，”countries“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Alessandro Cimatti“，”raw_affiation_strings“：[”Fondazione Bruno Kessler，Via Sommarive 18，38123 Povo，Trento，Italy“]｝，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5089003950“，”display_name“：”Marco Gario“，”orcid“：”https://orcid.org/0000-0003-0001-9628}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[“IT”]，”is_corresponding“：false，”raw_author_name“：”Marco Gario“，”raw _affiliation_strings“：[”Fondazione Bruno Kessler，Via Sommarive 18，38123 Povo，Trento，Italy“]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5018618502“，”display_name“：”Stefano Tonetta“，”orcid“：”https://orcid.org/0000-0001-9091-7899}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Stefano Tonetta“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler，Via Sommarive 18，38123 Povo，Trento，Italy”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A502041933“，”display_name“：”Vikt\u00f3ria Voz\u00e1rov\u00e“，”orcid“：”https://orcid.org/0000-0001-8506-8212}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Viktoria Vozarova“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler，Via Sommarive 18，38123 Povo，Trento，Italy”]}]，”countries_distinact_count“：1，”institutions_disticant_count”：1，“corresponding_author_ids”：[”https://openalex.org/A5076775585“]，”对应的机构ID“：[”https://openalex.org/I2277624104“]，”apc_list“：{”value“：3670，”currency“：”USD“，”value_USD“：3670'，”provenance“：”doaj“}，”apc _payed“：{”value”：3670,”current“：”美元“，”value_USD”：3670“，”province“：”doaj“{”，“has_fulltext“：false，”cited_by_count“：1，”citected_by_percentile_year“:{”min“：67，”max“：76}，“biblio”：{“volume”：“309”，“issue”：null，“first_page”：“103725”，“last_page”：“103 725”}，“is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11125“，”“display_name”：“系统中Petri网的建模与控制”，“score”：0.9983，“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“：”Physical Sciences“｝｝，”topics“：[｛”id“：”https://openalex.org/T11125“，”“display_name”：“系统中Petri网的建模与控制”，“score”：0.9983，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9975，“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/T12423“，”display_name“：”软件可靠性评估和预测“，”score“：0.9927，”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/keywords/diagnosability分析“，”display_name“：”可诊断性分析“，”score“：0.678718}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.553196}，{”id“：”https://openalex.org/keywords/fault-diagnosis网站“，”display_name“：”故障诊断“，”score“：0.548212｝，｛”id“：”https://openalex.org/keywords/software-reliability建模“，”display_name“：”软件可靠性建模“，”score“：0.534202}，{”id“：”https://openalex.org/keywords/testing-effort-dependent-models网站“，”display_name“：”Testing-Effort Dependent Models“，”score“：0.515323}]，”concepts“：[{”id“：”https://openalex.org/C75291252，“wikidata”：https://www.wikidata.org/wiki/Q1315756“，”display_name“：”TRACE（心理语言学）“，”level“：2，”score“：0.6948762}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.66532457}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5971695}，{”id“：”https://openalex.org/C2780451532，“wikidata”：https://www.wikidata.org/wiki/Q759676“，”display_name“：”Task（project management）“，”level“：2，”score“：0.54351497}，{”id“：”https://openalex.org/C175551986，“wikidata”：https://www.wikidata.org/wiki/Q47089“，”display_name“：”断层（地质）“，”level“：2，”score“：0.46574768}，{”id“：”https://openalex.org/C47822265，“wikidata”：https://www.wikidata.org/wiki/Q854457“，”display_name“：”复杂系统“，”level“：2，”score“：0.4462303}，{”id“：”https://openalex.org/C194232998，“wikidata”：https://www.wikidata.org/wiki/Q1606712“，”display_name“：”过渡（遗传学）“，”level“：3，”score“：0.43498182}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974网址“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.4261896}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.34786677}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.15059471｝，｛”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.08304384}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.07112822}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C201995342，“wikidata”：https://www.wikidata.org/wiki/Q682496“，”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/C127313418，“wikidata”：https://www.wikidata.org/wiki/Q1069“，”display_name“：”地质“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C104317684，“wikidata”：https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.artint.2022.103725“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S196139623“，”display_name“：”人工智能“，”issn_l“：”0004-3702“，”issn“：[”0004-3702“，”1872-7921“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：{“funder”：“https://openalex.org/F4320318240“，”funder_display_name“：”欧洲航天局“，”award_id“：null}]“，”datasets“：[]，”versions“：[]，”referenced_works_count“：44，”referrenced_works“：[”https://openalex.org/W1025423628","https://openalex.org/W1497728757","https://openalex.org/W1573354578","https://openalex.org/W1586169328","https://openalex.org/W1612453857","https://openalex.org/W1910416184","https://openalex.org/W1966792738","https://openalex.org/W1974076037","https://openalex.org/W1975657455","https://openalex.org/W1985787415","https://openalex.org/W1988808695","https://openalex.org/W1997224674","https://openalex.org/W2013814408","https://openalex.org/W2026906214","https://openalex.org/W2039184670","https://openalex.org/W2053176592","https://openalex.org/W2053982295","https://openalex.org/W2055092188","https://openalex.org/W2065138550网址","https://openalex.org/W2077280257","https://openalex.org/W2097320111","https://openalex.org/W2098320911","https://openalex.org/W2108309071","https://openalex.org/W2117558445","https://openalex.org/W2127574686","https://openalex.org/W2146153813","https://openalex.org/W2147774669","https://openalex.org/W2153906869","https://openalex.org/W2155002724","https://openalex.org/W2162128401","https://openalex.org/W2182439353","https://openalex.org/W2329627532","https://openalex.org/W2499036319","https://openalex.org/W2562139824","https://openalex.org/W2886138610网址","https://openalex.org/W2950420876","https://openalex.org/W4210821898","https://openalex.org/W4235424541","https://openalex.org/W4246207837","https://openalex.org/W4256361765","https://openalex.org/W4285719527","https://openalex.org/W4298181244","https://openalex.org/W622304541","https://openalex.org/W985281171“]，”related_works“：[”https://openalex.org/W4247954915","https://openalex.org/W4206605161","https://openalex.org/W2357130048","https://openalex.org/W2336747664","https://openalex.org/W2273754158","https://openalex.org/W2131958170","https://openalex.org/W2092234295","https://openalex.org/W2087392923","https://openalex.org/W2061122711","https://openalex.org/W1971270045“]，”ngrams_url“：”https://api.openalex.org/works/W4223976924/ngrams网站“，”“abstract_inverted_index”：{“The”：[0,27244270]，“integrity”：[1]，“of”：[2,17,29,40,46,51,55,68,76,90103109116123171175195217250264295305]，“complex”：[3]，“dynamic”：[4]，“systems”：[5]，“commery”：[6]，“depends”：%7]，“on”：[8,37,65,72125232248291]，““：[9,15,25,38,41,44,49,61,69,74101107114121126131154173183193228240251261276303306]，“能力”：[10]，“到”：[11,232207210226238259]，“检测”：[12]，“期间”：[13]，“操作”：[14]，“发生”：[16133155]，“错误”，“：[18,47]，”或“：[19]，“in”：[20169]，“其他”：[21]，“单词”：[22]，“诊断”：[24]，“系统”。“：[26]，”可行性“：[28]，”此“：[30,97]，”任务“：[31]，”另“：[32]，”已知“：[33]，”作为“：[34130]，”可诊断性“：[35204]，”依赖“：[36]，”性质“：[39]，”系统“：[42,70118127]，”动力学“：[43]，”影响“：[45]，”和“：[48,7115916218118620525626]，”可用性“：[P0]，”a“：[52,66]，77,85140157292]，“合适”：[53]，“设置”：[54294]，“传感器。“：[56]，”标准“：[57]，”技术“：[58]，”for“：[59279]，”分析“：[60]，”可诊断性“：[62105176241265]，”问题“：[63102]，”依赖“：[64]，”模型“：[67285]，“证明”：[73]，”缺少“：[75]，”故障“：[78]，”跟踪“：[79]，”that“：[80143168192]，”cannot“：[81]，”be“：[82208]，”distinguished“：[83]，“by”：[84]，“non-faulty”：[86]，“one”：[87]，“（this”：[88]，”pair“：[89]，”trace“：[91]，”is“：[92198246]，”called“：[93220]，”critical“：[94196211218229]，”pair）。“：[95]，”In“：[96]，”paper“：[98]，”we“：/99235]，”strolk“：[100]，”verifying“：[104]，”under“：[106242]，”presence“：[108170]，”facility“：[110172]，”conditions。“：[111]，”这些“：[112]，”扩展“：[113]，”表达性“：[115]，”模型“：[119]，”启用“：[120]，”规范“：[122]，”假设“：[124]，”行为“：[128]，”这样“：[129]，”无限“：[132]，”观察“：[135]，”和/或“：[136]，”错误。“：[137]，“我们”：[138166190213]，“采用”：[139]，“综合”：[141]，“框架”：[142]，“包含”：[144]，“公平”：[145]，“过渡”：[146]，“系统”：[147]，“暂时”：[148]，“扩展”：[149]，“错误”：[150158]，“模型”：[151]，“延迟”：[152]，“介于”：[153]，“其”：[160]，“检测”：[161]，“丰富”：[163]，“操作”：[164]，“上下文。“：[165]，”显示“：[167]，”定义“：[174]，”有“：[177]，”几个“：[178]，”有趣“：[179]，”变体“：[180]，”讨论“：[182]，”相对“：[184]，”优势“：[185]，”相互“：[188]，”关系。“：[189]，”证明“：[191239]，”存在“：[194]，”对“：[197]，”非“：[199]，”总是“：[200]，”充分“：[201268]，”分析“：[203]，”需要“：[206]，”广义“：[209]，“集合。“：[212230]，”define“：[214]，”new“：[215]，”concepts“：[216]，”pairs“，：[219]，”带状，“：[221]，”with“：222]，”special“：[223]，”looping“：[224]，”条件“：[225]，”representation“：[227]，”Based“：[231]，”these“：[233]，”findings“，”：[234]，“provide”：[236]，“algorithms”：[237272]，“facility”。“：[243]，”方法“：[245]，”建造“：[247]，”顶部“：[249]，”经典“：[252]，”双胞胎“：[253]，”植物“：[254]，”构造“：[255]，”概括“：[257]，”it“：[258]，”cover“：[260]，”varieve“：[226299]，”forms“：[263]，”find“：[267]，”delays“。“：[269]，”建议“：[271]，”是“：[273]，”实现“：[274]，”在“：[275]，”xSAP“：[277]，”平台“：[278]，”安全“：[280]，”分析“：[281]，”杠杆“：[282]，”高效“：[283]，”符号“：[284]，”检查“：[286]，”原语。“：[287]，”An“：[288]，”实验“：[289]，”评估“：[290]，”异构“：[293]，”现实“：[296]，”基准“：[297]，”源“：[298]，”应用“：[300]，”域“：[301]，”演示“：[302]，”有效性“：[304]，”方法。“：[307]}，”引用_ by_api_url“：”https://api.openalex.org/works？filter=cites:W4223976924“，”counts_by_year“：[{”年“：2024，”引用_by_count“：1}]，”更新日期“：”2024-05-22T22:45:40.132345“，”创建日期“：“2022-04-19”}