{“id”：“https://openalex.org/W2910587153“，”doi“：”https://doi.org/10.23919/fmcad.2018.8603007“，”title“：“通过基于SMT的交换多域基尔霍夫网络模型检查分析继电联锁系统”，”display_name“：通过基于SMT-的交换多区域基尔霍夫网络模型检查对继电联锁系统进行分析”，”publication_year“：2018，”publiation_date“：”2018-10-01“，”ids“：{”openalex“：”https://openalex.org/W2910587153“，”doi“：”https://doi.org/10.23919/fmcad.2018.8603007“，”mag“：”2910587153“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.23919/fmcad.2018.8603007“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5037671595“，”display_name“：”Roberto Cavada“，”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“：”Roberto Cavada“，”raw _ afiliation_strings“：[“Fondazione Bruno Kessler，Trento，IT”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno凯斯勒，Trento's，IT”，“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，Trento，IT”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno凯斯勒，Trentoto，IT”，“institution_ids”：[“https://openalex.org/I2277624104“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5023894417“，”display_name“：”Sergio Mover“，”orcid“：”https://orcid.org/0000-0003-1029-9547}，“机构”：[{“id”：https://openalex.org/I188538660“，”display_name“：”科罗拉多大学博尔德分校“，”ror“：”https://ror.org/02ttsq026“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I188538660“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Sergio Mover“，”raw _ afiliation_strings“：[“科罗拉多大学博尔德分校，美国博尔德”]，”affiliations“：[{”raw_ afiliation _string“：”科罗拉多大学，博尔德，美国https://openalex.org/I188538660“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5048380231“，”display_name“：”Mirko Sessa“，”orcid“：”https://orcid.org/0000-0003-0214-2013}，“机构”：[{“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“：”Mirko Sessa“，”raw _ afiliation_strings“：[“Fondazione Bruno Kessler，Trento，IT”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno凯斯勒，Trento's，IT“，”institution_ids“：[https://openalex.org/I2277624104“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5083270908“，”display_name“：”Giuseppe Cadavero“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210117345“，”display_name“：”Trenitalia（意大利）“，”ror“：”https://ror.org/02c4sht73“，”country_code“：”IT“，”type“：“company”，”lineage“：[”https://openalex.org/I4210117345“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Giuseppe Cadavero“，”raw _ afiliation_strings“：[“Rete Ferroviaria Italiana，Rome，IT”]，”affiliations“：[{”raw _affiliation_string“：”Rete Feerrovia Italiana，Romehttps://openalex.org/I4210117345“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5061820674“，”display_name“：”Giuseppe Scaglione“，”orcid“：”https://orcid.org/0009-0005-0447-5446}，“机构”：[{“id”：https://openalex.org/I4210117345“，”display_name“：”Trenitalia（意大利）“，”ror“：”https://ror.org/02c4sht73“，”country_code“：”IT“，”type“：“company”，”lineage“：[”https://openalex.org/I4210117345“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Giuseppe Scaglione“，”raw _ afiliation_strings“：[“Rete Ferroviaria Italiana，Rome，IT”]，”affiliations“：[{”raw _affiliation_string“：”Rete Feerroviariai Italiana，Romehttps://openalex.org/I4210117345“]｝]｝]，”institution_assertions“：[]，”countries_destict_count“：2，”institutions_dispict_count“：3，”corresponding_author_ids“：[]，”corresponding_institution_ids“：[]，”apc_list“：null，”apc_payed“：null，”fwci“：1.092，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：11，”citation_normalized_p百分位数“：｛”value“：0.943638，”is_in_top_1_percent“：false，”is_in_top_10_percennt“：true}，”cited_by_percentile_year“：{”min“：86，”max“：87}，“biblio”：{“volume”：null，“issue”：null:null，”first_page“：null”，”last_page“：null}，）“is_retracted”：false、“is_paratext”：false，“primary_topic”:{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9996，“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.9996，“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/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.9975，”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/T11125“，”“display_name”：“系统中Petri网的建模与控制”，“score”：0.9947，“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/keywords/inclock网站“，”display_name“：”联锁“，”score“：0.8038657}，{”id“：”https://openalex.org/keywords/hybrid-systems网站“，”display_name“：”Hybrid Systems“，”score“：0.51667｝]，”concepts“：[｛”id“：”https://openalex.org/C2778844933，“wikidata”：https://www.wikidata.org/wiki/Q630950“，”display_name“：”联锁“，”level“：2，”score“：0.8038657}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7314491｝，｛”id“：”https://openalex.org/C48044578，“wikidata”：https://www.wikidata.org/wiki/Q727490“，”display_name“：”可扩展性“，”level“：2，”score“：0.6200653}，{”id“：”https://openalex.org/C2780598303，“wikidata”：https://www.wikidata.org/wiki/Q65921492“，”display_name“：”灵活性（工程）“，”level“：2，”score“：0.5953917}，{”id“：”https://openalex.org/C36503486，“wikidata”：https://www.wikidata.org/wiki/Q11235244网址“，”display_name“：”域（数学分析）“，”level“：2，”score“：0.52294236}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”级别“：2，”分数“：0.46391574}，{”id“：”https://openalex.org/C2778156585，“wikidata”：https://www.wikidata.org/wiki/Q174053“，”display_name“：”中继“，”级别“：3，”分数“：0.44789654}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.37477976}，{”id“：”https://openalex.org/C24326235，“wikidata”：https://www.wikidata.org/wiki/Q126095“，”display_name“：”电子工程“，”level“：1，”score“：0.33383298}，{”id“：”https://openalex.org/C163258240，“wikidata”：https://www.wikidata.org/wiki/Q25342“，”display_name“：”Power（physical）“，”level“：2，”score“：0.2624972}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.24883425}，{”id“：”https://openalex.org/C200601418，“wikidata”：https://www.wikidata.org/wiki/Q2193887“，”display_name“：”可靠性工程“，”level“：1，”score“：0.14393649}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.13937464}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”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/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”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/C77088390，“wikidata”：https://www.wikidata.org/wiki/Q8513“，”display_name“：”Database“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.23919/fmcad.2018.8603007“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：20，“referrenced_works”：[”https://openalex.org/W1240548225","https://openalex.org/W1583869287","https://openalex.org/W1669520475","https://openalex.org/W1712895775","https://openalex.org/W185430070","https://openalex.org/W1985665832","https://openalex.org/W1998778815","https://openalex.org/W2051356522","https://openalex.org/W213397635","https://openalex.org/W2135519054","https://openalex.org/W2147340401","https://openalex.org/W233122475","https://openalex.org/W2347013203","https://openalex.org/W2411284738","https://openalex.org/W2522207775","https://openalex.org/W2528054901","https://openalex.org/W2555386520","https://openalex.org/W2742296359","https://openalex.org/W2767518838","https://openalex.org/W320166343“]，”related_works“：[”https://openalex.org/W770489747网址","https://openalex.org/W618039210","https://openalex.org/W4319430794","https://openalex.org/W4285101981","https://openalex.org/W3094364298","https://openalex.org/W2514536182","https://openalex.org/W2470487523","https://openalex.org/W2366158635","https://openalex.org/W2351254323","https://openalex.org/W2287710223“]，”abstract_inverted_index“：{”中继“：[0]，”联锁“：[1]，”系统“：[2]，”（RIS）“：[3]，”是“：[4,43,53]，”模拟“：[5131]，”机电“：[6]，”网络“：[7,20]，”传统“：[8]，”应用“：[9]，”in“：[10,70104143]，”the“：[11,34,65126129151168176]，”安全关键“：[12]，”域“：[13]，”“：[14,19,21116128145159170175182]，”铁路“：[15184]，”信号。“：[16]，”RIS“：[17,42,52,92130185]，”compose“：[18]，”interconnected“：[22]，”components“：[23]，”such“：[24]，”as“：[25]，”power“：[26]，“supplies，”:[27]，“contacts，”：[28]，“resistances，”:[29]，“and”：[30,39,81,87135140]，”electrically-controlled“：[31]，”contacts“：[32]，”（即“：[33133]，”继电器）。“：[35]，”到期“：[36]，”至“：[37,58,85,95]，”成本“：[38]，”灵活性“：[40]，”需求“：[41]，”渐进“：[44]，”存在“：[45]，”替换“：[46]，”由“：[47]，”等价“：[48]，”基于计算机“：[49]，”系统。“：[50]，”不幸，“：[51]，”经常“：[54]，”遗留“：[55,89]，”系统“：[56]，”硬“：[57]，”理解“：[59,88]，”在“：[60]，”一个“：[61]，”抽象“：[62]，”级别“：[63]，”因此“：[64]，”有价值“：[66]，”信息“：[67]，”它们“：[68]，”编码“：[69]，”他们“：[71]，”是“：[72,93]103123]，“not”：[73]，“available。在“：[74]，“this”：[75]，“paper”：[76]，“we”：[77154]，“propose”：[78]，“a”：[79,82,96156180]，“methodology”：[80]，“tool”：[83177]，“chain”：[84178]，“analyze”：[86]，“RIS”：[90]，“a”：[91]，“reduced”：[94]，“Switched”：[97]，“Multi-Domain”：98]，“Kirchhoff”：[99]，“Network”：[100]，“（SMDKN），”：[101]，“which”：[102]，“turn”：[105]，“compiled”：[106]，“into”：[107]，“hybrid”：%108]，“自动机。“：[109]，“基于SMT”：[110]，“模型”：[111]，“检查”：[112]，“支持”：[113]，“各种”：[114]，“形式”：[115]，“正式”：[117]，“分析”：[118]，“用于”：[119]，“SMDKN。“：[120]，“The”：[121173]，“approach”：[122]，“based”：[124162]，“on”：[125163179]，“modeling”：[127]，“signals”：[132]，“currents”：%134]，“voltages）”：[136]，“over”：[137]，“continuous”：/138]，“time”：%139]，“their”：[141]，“mapping”：%142]，“terms”：[144]，“railways”：+146]，“control”：[147]，“actions”。“：[148]，“开始”：[149]，“来自”：[150]，“图表”：[152]，“表示”：[153]，“克服”：[155]，“关键”：[157]，“限制”：[158]，“先前”：[160]，“方法”：[161]，“纯粹”：[164]，“布尔”：[165]，“模型”：[166]，“即”：[167]，“存在”：[169]，“虚假”：[171]，“行为”。“：[172]，”评估“：[174]，”设置“：[181]，”工业规模“：[183]，”演示“：[186]，”实用“：[187]，”可扩展性。“：[188]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2910587153“，”counts_by_year“：[{”年“：2024，”cited_by_count“：1}，{”年份“：2023，”cited_by_count”：3}，“{”年度“：2022，”citesd_by_count“：2}，”年“:2021，”citecd_by_count“:1}”，{“年”：2020，”citted_by-count“:2}、{“年份”：2019，”ciited_by/count“:1}]，”更新日期“：”2024-09-18T16:01:42.04979 2“，”创建日期“：”2019-01-25“}