{“id”:“https://openalex.org/W3146112087“,”doi“:”https://doi.org/10.4204/eptcs.259.4“,”title“:”故障管理系统设计中的因果关系和时间相关性“,”display_name“:”故障管理系统设计中的因果关系和时间相关性“,”publication_year“:2017,”publication_date“:”2017-10-10“,”ids“:{”openalex“:”https://openalex.org/W3146112087“,”doi“:”https://doi.org/10.4204/eptcs.259.4“,”mag“:”3146112087“},”language“:”en“,”primary_location“:{”is_oa“:true,”landing_page_url“:null,”pdf_url”:“https://arxiv.org/pdf/1710.03392,“源”:{“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“:[”康奈尔大学“],“type”:“repository”},“license”:“cc-by-nc-nd”,“licence_id”:“https://openalex.org/licenses/cc-by-nc-nd“,”version“:”publishedVersion“,”is_accepted“:true,”is_published“:true},”type“:”article“,”type_crossref“:“journal-article”,”indexed_in“:[”arxiv“,”crossref“,”datacite“,”doaj“],”open_access“:{”is_oa“:true,”oa_status“:”gold“,”oa_url“:”https://arxiv.org/pdf/1710.03392“,”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“},”机构“:[],”国家“:[[],”is_corresponding“:true,”raw_author_name“:”Marco Bozzano“,”raw_affiliation_strings“:[]}],”countries_distiction_count“:0,”institutions_disticent_count”:0,“corresponding_author_ids”:[“https://openalex.org/A5076775585“],”corresponding_institution_ids“:[],”apc_list“:{“value”:0,”currency“:”USD“,”value_USD“:0,“provenance”:”doaj“},”apc _payed“:”value“:0“,”curency“:”美元“,”value_USD”:0“provennce”:“doaj”},“has_fulltext_origin”:“pdf”,“cited_by_count”:2,“citted_by_percentile_year”:{min“:75,”max“:78},”biblio“:{”volume“:”259“,”issue“:null,”first_page“:”39“,”last_page“:”46“},”is_retracted“:false,”is_paratext“:fase,”primary_topic“:{”id“:”https://openalex.org/T10142“,”“display_name”:“软件验证和控制中的形式方法”,“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“:”Physical Sciences“}},”topics“:[{”id“:”https://openalex.org/T10142“,”“display_name”:“软件验证和控制中的形式方法”,“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/T12423“,”display_name“:”软件可靠性评估与预测“,”score“:0.9984,”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/T10639“,”display_name“:”自主计算和自适应系统“,”score“:0.9987,”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/fault-detection-and-correction网站“,”display_name“:”故障检测与纠正“,”score“:0.579958},{”id“:”https://openalex.org/keywords/temoral-logic网站“,”display_name“:”时态逻辑“,”score“:0.527751},{”id“:”https://openalex.org/keywords/software-reliability建模“,”display_name“:”软件可靠性建模“,”score“:0.501991}],”concepts“:[{”id“:”https://openalex.org/C107094494,“wikidata”:https://www.wikidata.org/wiki/Q428453“,”display_name“:”故障树分析“,”level“:2,”score“:0.8320457},{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198“,”display_name“:”计算机科学“,”level“:0,”score“:0.7069979},{”id“:”https://openalex.org/C73301696,“wikidata”:https://www.wikidata.org/wiki/Q5469984“,”display_name“:”形式主义(音乐)“,”level“:3,”score“:0.5653114},{”id“:”https://openalex.org/C32848918,“wikidata”:https://www.wikidata.org/wiki/Q845789“,”display_name“:”Observable“,”level“:2,”score“:0.54101384},{”id“:”https://openalex.org/C64357122,“wikidata”:https://www.wikidata.org/wiki/Q1149766“,”display_name“:”因果关系(物理)“,”level“:2,”score“:0.5345492},{”id“:”https://openalex.org/C108074857,“wikidata”:https://www.wikidata.org/wiki/Q3067360“,”display_name“:”故障管理“,”level“:3,”score“:0.48002258},{”id“:”https://openalex.org/C47822265,“wikidata”:https://www.wikidata.org/wiki/Q854457“,”display_name“:”复杂系统“,”level“:2,”score“:0.471978},{”id“:”https://openalex.org/C116834253,“wikidata”:https://www.wikidata.org/wiki/Q20392217“,”display_name“:”Identification(biology)“,”level“:2,”score“:0.45210952},{”id“:”https://openalex.org/C152745839,“wikidata”:https://www.wikidata.org/wiki/Q5438153“,”display_name“:”故障检测与隔离“,”level“:3,”score“:0.4515686},{”id“:”https://openalex.org/C200601418,“wikidata”:https://www.wikidata.org/wiki/Q2193887“,”display_name“:”可靠性工程“,”level“:1,”score“:0.3769967},{”id“:”https://openalex.org/C80444323,“wikidata”:https://www.wikidata.org/wiki/Q2878974网址“,”display_name“:”理论计算机科学“,”level“:1,”score“:0.36899304},{”id“:”https://openalex.org/C124101348,“wikidata”:https://www.wikidata.org/wiki/Q172491“,”display_name“:”数据挖掘“,”level“:1,”score“:0.3685999},{”id“:”https://openalex.org/C154945302,“wikidata”:https://www.wikidata.org/wiki/Q11660“,”display_name“:”人工智能“,”level“:1,”score“:0.21747428},{”id“:”https://openalex.org/C127413603,“wikidata”:https://www.wikidata.org/wiki/Q11023“,”display_name“:”Engineering“,”level“:0,”score“:0.15955114},{”id“:”https://openalex.org/C66938386,“wikidata”:https://www.wikidata.org/wiki/Q633538“,”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/C62611344,“wikidata”:https://www.wikidata.org/wiki/Q1062658“,”display_name“:”节点(物理)“,”级别“:2,”分数“:0.0},{”id“:”https://openalex.org/C153349607,“wikidata”:https://www.wikidata.org/wiki/Q36649“,”display_name“:”视觉艺术“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C86803240,“wikidata”:https://www.wikidata.org/wiki/Q420“,”display_name“:”生物学“,”等级“:0,”分数“:0.0},{”id“:”https://openalex.org/C142362112,“wikidata”:https://www.wikidata.org/wiki/Q735“,”display_name“:”Art“,”level“:0,”score“:0.0},{”id“:”https://openalex.org/C558565934,“wikidata”:https://www.wikidata.org/wiki/Q2743“,”display_name“:”Musical“,”level“:2,”score“:0.0},{”id“:”https://openalex.org/C121332964,“wikidata”:https://www.wikidata.org/wiki/Q413“,”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/C172707124,“wikidata”:https://www.wikidata.org/wiki/Q423488“,”display_name“:”促动器“,”level“:2,”score“:0.0}],”mesh“:[],”locations_count“:3,”location“:[{”is_oa“:true,”landing_page_url“:null,”pdf_url”:“https://arxiv.org/pdf/1710.03392,“源”:{“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“:[”康奈尔大学“],“type”:“repository”},“license”:“cc-by-nc-nd”,“licence_id”:“https://openalex.org/licenses/cc-by-nc-nd“,”version“:”publishedVersion“,”is_accepted“:true,”is_published“:true},{”is_oa“:false,”landing_page_url“:”https://doaj.org/article/a28651b103d1439189523570831598ee“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S4306401280“,”display_name“:”DOAJ(DOAJ:开放存取期刊目录)“,”issn_l“:null,”issn“:null:”is_oa“:true,”is_in_DOAJ“:false,”host_organization“:null,”host_organization_name“:null,“host_orgganization_lineage”:[],“host_orgganization _lineage_names”:[[],“type”:“repository”},“license”:null、“license_id”:null、“version”:null.、“is_accepted”:false、“is_published“:false},{”is_oa“:false,”landing_page_url“:”https://api.datacite.org/dois/10.48550/arxiv.1710.03392“,”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”:nul,“pdf_url“:”https://arxiv.org/pdf/1170.03392网址,“源”:{“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“:[”康奈尔大学“],“type”:“repository”},“license”:“cc-by-nc-nd”,“licence_id”:“https://openalex.org/licenses/cc-by-nc-nd“,”version“:”publishedVersion“,”is_accepted“:true,”is_published“:true},”sustainable_development_goals“:[],”grants“:[],”datasets“:],”versions“:[”https://openalex.org/W2761270767","https://openalex.org/W3146112087“],”referenced_works_count“:31,”referrenced_works“:[”https://openalex.org/W1489391022","https://openalex.org/W1498432697","https://openalex.org/W1507793072","https://openalex.org/W1521005453","https://openalex.org/W1543654202","https://openalex.org/W160223915","https://openalex.org/W1712895775","https://openalex.org/W1889085354","https://openalex.org/W1975041710","https://openalex.org/W2055092188","https://openalex.org/W2070874614","https://openalex.org/W2090669830","https://openalex.org/W2099395647","https://openalex.org/W2127574833","https://openalex.org/W2137819283","https://openalex.org/W2155235848","https://openalex.org/W2162128401","https://openalex.org/W2166604851","https://openalex.org/W2167919739","https://openalex.org/W2168796305","https://openalex.org/W2233701027","https://openalex.org/W2241862190","https://openalex.org/W247316031","https://openalex.org/W2511870042","https://openalex.org/W2580968932","https://openalex.org/W2612708909","https://openalex.org/W2950420876","https://openalex.org/W3138459719","https://openalex.org/W4285719527","https://openalex.org/W69467742","https://openalex.org/W991151412“],”related_works“:[”https://openalex.org/W4312071518","https://openalex.org/W4244913946","https://openalex.org/W2901208600","https://openalex.org/W2709780619","https://openalex.org/W2389053294","https://openalex.org/W2368585766","https://openalex.org/W2081494945","https://openalex.org/W1983358166","https://openalex.org/W1970893504","https://openalex.org/W1677090476“],”ngrams_url“:”https://api.openalex.org/works/W3146112087/ngrams“,”“abstract_inverted_index”:{“推理”:[0],“关于”:[1],“原因”:[2],“和”:[3,63,91119132136143],“效果”:[4,77],“自然”:[5],“出现”:[6],“in”:[7,94152],“the”:[8,35,69,79114130138158],“工程”:[9],“of”:[10,37,43,65,71116134140],“安全关键”:[11],“系统”:[12110],“A”:[13],“经典”:[14],“示例”:[15],“是”:[16,32],“故障“:[17],“树”:[18],“分析”:[19],“a”:[20,55102126],“演绎”:[21],“技术”:[22],“使用”:[23],“用于”:[24108129137],“系统”:[25,57],“安全”:[26],“评估”:[27]5],“set”:[36],“its”:[38],“immediate”:[39],“causes”。“:[40],”The“:[41],”design“:[42139],”fault“:[44106117141153],”management“:[45107],”systems“:[46],”also“:%47],”requires“:~48],”reasoning“:[49],”on“:[50,78157],”causivery“:[51],”relationships“。“:[52],“In”:[53,97],“special”:[54],“fail-operational”:[56],“needs”:[58],“sure”:[60],“timely”:[61],“detection”:[62142],“identification”:【64144】,“faults”:【66】,“即”:【67】,“recognize”:【68】,“:[76],”系统。“:[80],“偶数”:[81],“更多”:[82],“复杂”:[83109],“场景”:[84],“出现”:[85],“当”:[86],“多个”:[87],“是”:[89],“涉及”:[90],“可能”:[92],“交互”:[93],“微妙”:[95],“方式”。“:[96],”this“:[98],”work“,:[99],”we“:[100148],”proposal“:[101],”formal“:[103127],”approach“:[104],”we“:[111123],”first“:[112],”intro“:[113],”concepts“:[115],”tree“:[118],”minimal“:[120],”cut“:[121],”sets“。“:[122],”then“:[124],”present“:[125],”framework“:[128],”specification“:131],”analysis“:[133],”diagnosability“:[135],”(FDI)“:[145],”components。“:[146],”最后,“:[147],”回顾“:[149],”最近“:[150],”进步“:[151],”传播“:[154],”分析“:[155],”基于“:[156],”定时“:[159],”失败“:[160],”扩散“:[161],”图形“:[162],”(TFPG)“:[163],”形式主义。“:[164]},”cited_by_api_url“:”https://api.openalex.org/works?filter=cites:W3146112087“,”counts_by_year“:[{”年份“:2022,”cited_by_count“:1},{”年“:2021,”cited_by_count”:1}],”更新日期“:”2024-05-22T20:02:13.181078“,”创建日期“:“2021-04-13”}