{“id”：“https://openalex.org/W255499308“，”doi“：”https://doi.org/10.1609/aaai.v26i1.8225“，”title“：”可诊断性可观测性要求的符号合成“，”display_name“：”诊断性可观察性要求的象征合成“，“publication_year”：2021，“publiation_date”：“2021-09-20”，“ids”：{“openalex”：“https://openalex.org/W255499308“，”doi“：”https://doi.org/10.1609/aaai.v26i1.8225“，”mag“：”255499308“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1609/aaai.v26i1.8225，“pdf_url”：https://ojs.aaai.org/index.php/aaai/article/download/8225/8083，“源”：{“id”：https://openalex.org/S4210191458“，”“display_name”“：”“AAAI人工智能会议记录”“，”issn_l“：”2159-5399“，”isn“：[”21595599“，”2374-3468“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/P4310320058“，”“host_organization_name”：“人工智能发展协会”，“host_ordanization_lineage”：[“https://openalex.org/P431032058“]，”host_organization_lineage_names“：[”促进人工智能协会“]，“type”：“conference”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“journal-article”，“indexed_in”：[“crossref”]，”open_access“：{”is_oa“：true”，“oa_status”：“gold”，“oaurl“：”https://ojs.aaai.org/index.php/aaai/article/download/8225/8083“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5088054439“，”display_name“：”Benjamin Bittner“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I887064364“，”display_name“：”阿姆斯特丹大学“，”ror“：”https://ror.org/04dkp9463“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I887064364“]}，{”id“：”https://openalex.org/I865915315“，”display_name“：”阿姆斯特丹Vrije Universiteit“，”ror“：”https://ror.org/008xxew50“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I865915315“]}]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”Benjamin Bittner“，”raw _affiliation_strings“：[“阿姆斯特丹大学”]，”从属关系“：[{”raw _affiliation_string“：”阿姆斯特丹高校“，”institution_ids“：[https://openalex.org/I887064364","https://openalex.org/I865915315“]}]}，{”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“：false，”raw_author_name“：”Marco Bozzano“，”raw _ afiliation_strings“：[“Fondazione Bruno Kessler”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno Kassler“，”institution_ids“:[”https://openalex.org/I2277624104“]}]}，{”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“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Alessandro Cimatti“，”raw _ afiliation_strings“：[“Fondazione Bruno Kessler”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno Kassler“，”institution_ids“：]”https://openalex.org/I2277624104“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5037726021“，”display_name“：”Xavier Oliv\u00e9“，”orcid“：”https://orcid.org/0000-0002-2335-5774}，“机构”：[{“id”：https://openalex.org/I1300590480“，”display_name“：”莱昂纳多（美国）“，”ror“：”https://ror.org/041twcm28“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I1300590480","https://openalex.org/I2802798279“]}，{”id“：”https://openalex.org/I4210093062“，”display_name“：”泰利斯（英国）“，”ror“：”https://ror.org/00r8j9489“，”“country_code”“：”GB“，”type“：”company“，”seriance“：[”https://openalex.org/I4210093062","https://openalex.org/I4210140930“]}]，”国家“：[”GB“，”US“]，”is_corresponding“：false，”raw_author_name“：”Xavier Olive“，”raw _affiliation_strings“：[“Thales Alenia Space”]，”affiliations“：[{”raw _affiliation_string“：”Thales Allinia Space“，”institution_ids“：[https://openalex.org/I1300590480","https://openalex.org/I4210093062“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：4，”institutions_disticent_count”：5，”corresponding_author_ids“：[[]，”corresponding_institution_ids”：[]“apc_list”：null，”apc_payed“：null”，“fwci”：0.0，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count：17，”citation_normalized_percentile“：{”value“：0.0”is_in_top_1_percent“：false，”is_in_top_10_percent“：false}，”cited_by_percentile_year“：{”min“：93，”max“：94}，“biblio”：{“volume”：“26”，“issue”：“1”，“first_page”：“712”，“last_page”：”718“}”，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9993，“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.9993，“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.9934，”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/T10876“，”“display_name”：“工业过程故障检测与诊断”，“score”：0.9826，“subfield”：{“id”：“https://openalex.org/subfields/2207“，”display_name“：”控制与系统工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/observability网站“，”display_name“：”Observability“，”score“：0.9500015}，{”id“：”https://openalex.org/keywords/sensitity-analysis网站“，”display_name“：”敏感性分析“，”score“：0.528714}]，”concepts“：[{”id“：”https://openalex.org/C36299963，“wikidata”：https://www.wikidata.org/wiki/Q1369844网址“，”display_name“：”Observability“，”level“：2，”score“：0.9500015}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.69410586}，{”id“：”https://openalex.org/C32848918，“wikidata”：https://www.wikidata.org/wiki/Q845789“，”display_name“：”Observable“，”level“：2，”score“：0.6617918}，{”id“：”https://openalex.org/C36503486，“wikidata”：https://www.wikidata.org/wiki/Q11235244网址“，”display_name“：”域（数学分析）“，”level“：2，”score“：0.55099577}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.55002207}，{”id“：”https://openalex.org/C189430467，“wikidata”：https://www.wikidata.org/wiki/Q7293293“，”display_name“：”排名（信息检索）“，”level“：2，”score“：0.54398227｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.48816806}，{”id“：”https://openalex.org/C79581498，“wikidata”：https://www.wikidata.org/wiki/Q1367530“，”display_name“：”Suite“，”level“：2，”score“：0.48034155}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.40991175}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.20887303}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.2062963}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.119523585}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C166957645，“wikidata”：https://www.wikidata.org/wiki/Q23498“，”display_name“：”考古学“，”level“：1，”score“：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/C28826006，“wikidata”：https://www.wikidata.org/wiki/Q33521“，”display_name“：”应用数学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C95457728，“wikidata”：https://www.wikidata.org/wiki/Q309“，”display_name“：”History“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1609/aaai.v26i1.8225，“pdf_url”：https://ojs.aaai.org/index.php/aaai/article/download/8225/8083，“源”：{“id”：https://openalex.org/S4210191458“，”“display_name”“：”“AAAI人工智能会议记录”“，”issn_l“：”2159-5399“，”isn“：[”21595599“，”2374-3468“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/P431032058“，”“host_organization_name”：“人工智能发展协会”，“host_ordanization_lineage”：[“https://openalex.org/P431032058“]，”host_organization_lineage_names“：[”促进人工智能协会“]，“type”：“conference”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1609/aaai.v26i1.8225，“pdf_url”：https://ojs.aai.org/index.php/aaai/article/download/8225/8083，“源”：{“id”：https://openalex.org/S4210191458“，”“display_name”“：”“AAAI人工智能会议记录”“，”issn_l“：”2159-5399“，”isn“：[”21595599“，”2374-3468“]，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/P431032058“，”“host_organization_name”：“人工智能发展协会”，“host_ordanization_lineage”：[“https://openalex.org/P431032058“]，”host_organization_lineage_names“：[”促进人工智能发展协会“]，“type”：“conference”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，”grants“：【】，”datasets“：〔〕，”versions“：〔】，”referenced_works_count“：22，”https://openalex.org/W142795022","https://openalex.org/W14781952","https://openalex.org/W147835680","https://openalex.org/W1489391022","https://openalex.org/W1503071078","https://openalex.org/W1503170978","https://openalex.org/W1599083726","https://openalex.org/W1787074469","https://openalex.org/W1889085354","https://openalex.org/W1985787415","https://openalex.org/W2030224590","https://openalex.org/W2048972217","https://openalex.org/W2127173631","https://openalex.org/W2129157089","https://openalex.org/W2147774669","https://openalex.org/W2160493082","https://openalex.org/W2163191232","https://openalex.org/W2169197723","https://openalex.org/W2182439353","https://openalex.org/W2209251751","https://openalex.org/W36898920","https://openalex.org/W749729“]，”related_works“：[”https://openalex.org/W4285456342","https://openalex.org/W4226466472","https://openalex.org/W4210622023","https://openalex.org/W2561353181","https://openalex.org/W2538520128","https://openalex.org/W2538064131","https://openalex.org/W2480486883","https://openalex.org/W2003418697","https://openalex.org/W1994438467","https://openalex.org/W1964249278“]，”abstract_inverted_index“：｛”给定“：[0]，”a“：[1,7,7,91103158]，”部分“：[2]，”可观察“：[3]，”动态“：[4,41]，”系统“：[5,24]，”和“：[6,551110121]，”诊断器“：[8]，”观察“：[9]，”其“：[10]，”进化“：[11]，”超过“：[12157]，”时间“：[13]，”可诊断性“：[14108122]，”分析“：[15]，“正式”：[16]，“验证”：[17]，“（在”：[18,30]，“设计”：[19]，“时间）“：[20]，”if“：[21]，”the“：[22,32,36,40,47,70,95131165]，”diagnosis“：[23]，”will“：[25]，”be“：[26,53]，”able“：[27]，”to“：[28,86]，”infer“：[2]，”runtime）“：[31]，”required“：[33]，”information“：[34]，”on“：[35,46]，”hidden“：[37]，”part“：[38]，”of“：[39,59,56]8,72,81114118133145161]，“州。“：[42]，”可诊断性“：[43]，”直接“：[44]，”取决于“：[45]，”可用性“：48]，”观察值“：[50]，”可以“：[52]，”保证“：[54]，”由“：[55]，”不同“：[56,63]，”集合“：[57]，”传感器“：[59]，”可能“：[60]，”关联“：[61]，”与“：[62,94]，”成本。“：[64]，”In“：[65]，”this“：[66]，”paper“：[67]，”we“：68125136]，”tooll“：[69]，”problem“：[71]，”synthesis“：[73]，”observability“：[74]，”requirements“：%75]，”即“：[76]，”automatically“：[77]，”discoverying“：[78]，”set“：[80]，”operations“：[82]，”that“：[83141]，”is“：[84154]，”sufficient“：[85]，“保证”：[87]，“可诊断性。“：[88]，“我们”：[89]，“提议”：[90126]，“新颖”：[92]，“方法”：[93153]，“跟随”：[96]，“刻画”：[97]，“特征。“：[98]，“First，”：[99]，“it”：[100]，“fully”：[101]，“coveres”：[102]，“comprehensive”：[104159]，“formal”：[105]，“framework”：/106]，“for”：[107130]，“analysis，”：[109]，“enables”：[111]，“ranking”：[112]，“configuration”：[113]，“observatives”：%11]，“in”：[116]，“terms”：[117]，“consust，”：119]，“minimality，”：%120]，“延迟。“：[123]，”第二，“：[124]，”两个“：[127]，”互补“：[128]，”算法“：[129]，”合成“：[132]，”可观测性。“：[134]，”第三，“：[135]，”描述“：[137]，”an“：[138]，”高效“：[139]，”实现“：[140]，”takes“：[142]，”full“：[143]，”优势“：[144]，”成熟“：[146]，”符号“：[147]，”模型“：[148]，”检查“：[149]，”技术。“：[150]，”The“：[151]，”proposed“：[152]，”彻底“：[155]，”evaluated“：[156]，”suite“：[160]，”benchmarks“：-162]，”take“：[163]，”from“：[164]，”aeroasterospace“：[166]，”domain“。“：[167]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W255499308“，”“counts_by_year”：[{“年份”：2021，”“cited_by_count”：2}，{“年度”：2019，”“cited_by_cunt”：1}，}“年”：2018，”“引用_by_cont”：1}，”“年”“2017，”“援引_by_cust”：5}，d_date“：”2024-09-25T15:10:19.986244“，”创建日期“：”2016-06-24“}