{“id”：“https://openalex.org/W2950420876“，”doi“：”https://doi.org/10.2168/lmcs-11（4:4）2015”，“title”：“使用时间认知逻辑的异步故障检测和识别组件的形式化设计”，“display_name”：“用时间认知逻辑对异步故障检测与识别组件进行形式化设计“，“publication_year”：2015，“publiction_date”：“2015-11-04”，“ids”：{“openalex”：“https://openalex.org/W2950420876“，”doi“：”https://doi.org/10.2168/lmcs-11（4:4）2015“，”mag“：”2950420876“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.2168/lmcs-11（4:4）2015“，“pdf_url”：”https://lmcs.episciences.org/1605/pdf，“源”：{“id”：https://openalex.org/S114379355“，”“display_name”：“计算机科学中的逻辑方法”，“issn_l”：“1860-5974”，“isn”：[“1860-5.974”]，“is_oa”：true，“is_ in_doaj”：true，“host_organization”：“https://openalex.org/P4310313916“，”“host_organization_name”：“计算机科学中的逻辑方法e.V.”，“host_ordanization_lineage”：[“https://openalex.org/P4310313916“]，”host_organization_lineage_names“：[”计算机科学中的逻辑方法e.V.“]，“type”：“journal”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”arxiv“，”crossref“，”datacite“]，”open_access“：{”is_oa“：true，”oa_status“：”gold“，”oa_url“：”https://lmcs.episciences.org/1605/pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”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 _affiliation_strings“：[“Fondazione Bruno Kessler，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“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Alessandro Cimatti“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler，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，Trento，Italy”]}，{“author_position”：“last”，“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 _ afiliation_strings“：[“Fondazione Bruno Kessler，Trento，Italy”]}]“countries _ distinct_count”：1，”institutions _ disting_count“：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]”，“apc_list”：{“value”：0，“currency”：“USD“，”value_USD“：0，”来源“：”doaj“}，”apc_payd“：{“value”：0，”currency“：”USD“，”value_USD“：0，“provenance”：“doaj”}，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：9，“cited_by_percentile_year”：{”min“：87，”max“：88}，‘biblio’：{‘volume’：“volume 11，Issue 4”，“Issue”：null，“first_page”：null}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9998，“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.9998，“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/T11125“，”display_name“：”系统中Petri网的建模与控制“，”score“：0.9994，”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/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.9967，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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/fault-diagnosis网站“，”display_name“：”故障诊断“，”score“：0.569474}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.526406}，{”id“：”https://openalex.org/keywords/fault-tolerance（https://openalex.org/keywords/fault-tolerance）“，”display_name“：”容错“，”score“：0.518542}，{”id“：”https://openalex.org/keywords/discrete-event-systems网站“，”display_name“：”Discrete-Event Systems“，”score“：0.510791}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.510585}]，”concepts“：[{”id“：”https://openalex.org/C151319957，“wikidata”：https://www.wikidata.org/wiki/Q752739“，”display_name“：”异步通信“，”level“：2，”score“：0.7830391}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.72555274}，{”id“：”https://openalex.org/C2780451532，“wikidata”：https://www.wikidata.org/wiki/Q759676“，”display_name“：”Task（project management）“，”level“：2，”score“：0.578935}，{”id“：”https://openalex.org/C201677973，“wikidata”：https://www.wikidata.org/wiki/Q1209840“，”“display_name”“：”规范语言“，”级别“：2，”分数“：0.5769503}，{”id“：”https://openalex.org/C116834253，“wikidata”：https://www.wikidata.org/wiki/Q20392217“，”display_name“：”Identification（biology）“，”level“：2，”score“：0.57271135}，{”id“：”https://openalex.org/C168167062，“wikidata”：https://www.wikidata.org/wiki/Q1117970“，”display_name“：”组件（热力学）“，”level“：2，”score“：0.5354128}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”级别“：2，”分数“：0.52703863}，{”id“：”https://openalex.org/C167740415，“wikidata”：https://www.wikidata.org/wiki/Q2876213“，”display_name“：”Aerospace“，”level“：2，”score“：0.5131646}，{”id“：”https://openalex.org/C75291252，“wikidata”：https://www.wikidata.org/wiki/Q1315756“，”display_name“：”TRACE（心理语言学）“，”level“：2，”score“：0.50095534}，{”id“：”https://openalex.org/C152745839，“wikidata”：https://www.wikidata.org/wiki/Q5438153“，”display_name“：”故障检测与隔离“，”level“：3，”score“：0.497792}，{”id“：”https://openalex.org/C25016198，“wikidata”：https://www.wikidata.org/wiki/Q781833“，”display_name“：”时态逻辑“，”level“：2，”score“：0.49182177}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”正式验证“，”级别“：2，”分数“：0.46475568}，{”id“：”https://openalex.org/C116253237，“wikidata”：https://www.wikidata.org/wiki/Q1437424“，”display_name“：”正式规范“，”level“：2，”score“：0.45657304}，{”id“：”https://openalex.org/C2779662365，“wikidata”：https://www.wikidata.org/wiki/Q5416694“，”display_name“：”Event（particle physics）“，”level“：2，”score“：0.4555061}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.44650602}，{”id“：”https://openalex.org/C75606506，“wikidata”：https://www.wikidata.org/wiki/Q1049183“，”display_name“：”Formal methods“，”level“：2，”score“：0.43593997｝，｛”id“：”https://openalex.org/C175551986，“wikidata”：https://www.wikidata.org/wiki/Q47089“，”display_name“：”断层（地质）“，”level“：2，”score“：0.4279091}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.32620418}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.23911315｝，｛”id“：”https://openalex.org/C201995342，“wikidata”：https://www.wikidata.org/wiki/Q682496“，”display_name“：”系统工程“，”level“：1，”score“：0.19163346}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.12548465}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”level“：1，”score“：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/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C59822182，“wikidata”：https://www.wikidata.org/wiki/Q441“，”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/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/C127313418，“wikidata”：https://www.wikidata.org/wiki/Q1069“，”display_name“：”地质“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C172707124，“wikidata”：https://www.wikidata.org/wiki/Q423488“，”display_name“：”执行器“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C146978453，“wikidata”：https://www.wikidata.org/wiki/Q3798668“，”display_name“：”航空航天工程“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C97355855，“wikidata”：https://www.wikidata.org/wiki/Q11473“，”display_name“：”热力学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.2168/lmcs-11（4:4）2015“，“pdf_url”：”https://lmcs.episciences.org/1605/pdf，“源”：{“id”：https://openalex.org/S114379355“，”“display_name”：“计算机科学中的逻辑方法”，“issn_l”：“1860-5974”，“isn”：[“1860-5.974”]，“is_oa”：true，“is_ in_doaj”：true，“host_organization”：“https://openalex.org/P4310313916“，”“host_organization_name”：“计算机科学中的逻辑方法e.V.”，“host_ordanization_lineage”：[“https://openalex.org/P4310313916“]，”host_organization_lineage_names“：[”计算机科学中的逻辑方法e.V.“]，“type”：“journal”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”https://arxiv.org/abs/1506.04871，“pdf_url”：https://arxiv.org/pdf/1506.04871，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”Cornell University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://api.datacite.org/dois/10.48550/arxiv.1506.04871“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4393179698“，”display_name“：”DataCite API“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I4210145204“，”“host_organization_name”：“DataCite”，“host_organization_lineage”：[“https://openalex.org/I4210145204“]，”host_organization_lineage_names“：[”DataCite“]，“type”：“metadata”}，“license”：null，“licence_id”：null，“version”：null}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.2168/lmcs-11（4:4）2015“，“pdf_url”：”https://lmcs.episciences.org/1605/pdf，“源”：{“id”：https://openalex.org/S114379355“，”“display_name”：“计算机科学中的逻辑方法”，“issn_l”：“1860-5974”，“isn”：[“1860-5.974”]，“is_oa”：true，“is_ in_doaj”：true，“host_organization”：“https://openalex.org/P4310313916“，”“host_organization_name”：“计算机科学中的逻辑方法e.V.”，“host_ordanization_lineage”：[“https://openalex.org/P4310313916“]，”host_organization_lineage_names“：[”Logical Methods in Computer Science e.V.“]，”type“：”journal“｝，”license“：”抄送人“，”license_id“：”https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”score“：0.59，”display_name“：”素质教育“，”id“：”https://metadata.un.org/sdg/4“}]，”grants“：[]，”datasets“：[]，”versions“：[”https://openalex.org/W2950420876","https://openalex.org/W3104698714“]，”referenced_works_count“：19，”referrenced_works“：[”https://openalex.org/W1491593738","https://openalex.org/W1545697174","https://openalex.org/W1557975422","https://openalex.org/W1594455430","https://openalex.org/W1985787415","https://openalex.org/W2010508644","https://openalex.org/W2023808162","https://openalex.org/W2090669830","https://openalex.org/W2099395647","https://openalex.org/W2103146530","https://openalex.org/W2162128401","https://openalex.org/W2182439353","https://openalex.org/W2214827277","https://openalex.org/W2233701027","https://openalex.org/W2264827802","https://openalex.org/W233122475","https://openalex.org/W247316031","https://openalex.org/W3107731779","https://openalex.org/W98416746“]，”related_works“：[”https://openalex.org/W2963033028","https://openalex.org/W2238880588","https://openalex.org/W2171674700","https://openalex.org/W2145025660","https://openalex.org/W2049993111","https://openalex.org/W2034589735","https://openalex.org/W1946493810","https://openalex.org/W1922520186","https://openalex.org/W1608485412","https://openalex.org/W1544097700“]，”ngrams_url“：”https://api.openalex.org/works/W2950420876/ngrams“，”abstract_inverted_index“：{”自治“：[0]，”关键“：[1]，”系统“：[2110]，”例如“：[4143]，”卫星“：[5]，”和“：[6,32,42,52，60,85,89115138145160174196]，”空间“：[7]，”漫游者“：[8]，”必须“：[9]，”是“：[10]，”能够“：[11]，”到“：[12,20,77101163170176]，”检测“：[13]，“该”：[14,78,97102124172190199202]，“发生”：[15]，““：[16,46,66,80,86104126135192201]，”故障“：[17,48]，”输入“：[18,39,44,49112]，”顺序“：[19]，”确保“：[21]，”正确“：[22]，”操作。“：[23]，”此“：[24]，”任务“：[25]，”是“：[26,70149161]，”携带“：[27]，”输出“：[28]，”由“：[29,55]，”故障“：[30]，”检测“：[31]，”标识“：[33]，”（FDI）“：[34]，”组件“：[35195]，”该“：[36129178]，”为“：[37,43]，”嵌入“：[38]，”那些“：[40]，”系统“：[41]，”charge“：[45]，”detecting“：[47]，”an“：[50,71187206]，”automated“：[51]，”timely“：[53]，”方式“：[54]，”读取“：[56]，”数据“：[57]，”来自“：[58210]，”传感器“：[59]，”触发“：[61]，”预定义“：[62]，”报警。“：[63]，”The“：[64147]，”design“：[65103203]，”effective“：[67]，”FDI“：[68105127181194]，”components“：[69106]，”extreme“：[72]，”hard“：[73]，”problem“，”:[74]，“also”：[75]，“due”：[76]，“lack”：[79]，“a”：[81113120132152179]，“complete”：[82]，“theoryal”：[83]，“foundation”：[84]，“precise”：[87]，“规范”：[88125]，“验证”：[90]，“技术。“：[91]，”In“：[92]，”this“：[93]，”paper“：[94]，”we“：[95]，”present“：[96]，”first“：[98]，”formal“：[99]，”approach“：[1000204]，”for“：[107123313189]，”discrete“：[108]，”event“：[109]，”both“：[111]，”synchronous“：[114]，”asynchronous“：[116]，”setting。“：[117]，“我们”：[1118167185]，“提议”：[119186]，“逻辑”：[121]，“语言”：[122148]，“要求”：[128173]，“账户”：[130]，“宽”：[133]，“类”：[134]，“实用”：[136]，“案例”：[137]，“包括”：[139]，“新颖”：[140]，“方面”：[141]，“最大值”：[144]，“可追溯性。“：[146]，”装备“：[150]，”带有“：[151]，”清楚“：[153]，”语义“：[154]，”基于“：[155]，”关于“：[156198205]，”时间“：[157]，”认知“：[158]，”逻辑“：[159]，”证明“：[162]，”享受“：[164]，”合适“：[165]，”属性。“：[166]，”讨论“：[168]，”如何“：[169175]，”验证“：[171]，”检验“：[177]，”给定“：[180]，”组件“：[182]，”满足“：[183]，”它们。“：[184]，”算法“：[188]，”综合“：[191]，”正构“：[193]，”报告“：[197]，”适用性“：[200]，”工业“：[207]，”案例研究“：[208]，”未来“：[209]，”航空航天。“：[211]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2950420876”，“counts_by_year”：[｛“year”：2022，“cited_by_count”：2｝，｛“year”：2021，“cited_by_count”：1｝，｛“year”：2019，“cited_by_count”：1｝，｛“year”：2018，“cited_by_count”：1｝，｛“year”：2017，“cited_by_count”：4｝，｛“year”：2016，“cited_by_count”：1｝]，“updated_date”：“2024-05-26T05:56:21.968218”，“created_date”：“2019-06-06 27英寸}