{“id”：“https://openalex.org/W4225847497“，”doi“：”https://doi.org/10.1007/978-3-030-99527-0_15“，”title“：”通过布尔错误传播对循环冗余架构进行有效分析“，”display_name“：”基于布尔错误传播的循环冗余架构的有效分析”，“publication_year”：2022，“publiation_date”：“2022-01-01”，“ids”：{“openalex”：“https://openalex.org/W4225847497网址“，”doi“：”https://doi.org/10.1007/978-3-030-99527-0_15“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-030-99527-0_15，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-030-99527-0_15.pdf，“源”：{“id”：https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”book-chapter“，”type_crossref“：“book-chapper”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”hybrid“，”oa_url“：”https://link.springer.com/content/pdf/10.1007/978-3-030-99527-0_15.pdf“，”any_repository_has_fulltext“：false｝，”authorships“：[｛”author_position“：”first“，”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，Trento，Italy”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno Kassler，Tranto，Illy“，”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，Italy”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno凯斯勒，Trentoy“，Italy:[”https://openalex.org/I2277624104“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5038636493“，”display_name“：”Alberto Griggio“，”orcid“：”https://orcid.org/0000-0002-3311-0893}，“机构”：[{“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“：”Alberto Griggio“，”raw _ afiliation_strings“：[“Fondazione Bruno Kessler，Trento，Italy”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno Kassler，Tranto，Illy“，”institution_ids“：[https://openalex.org/I2277624104“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5040602865“，”display_name“：”Martin Jon\u00e1\u0161“，”orcid“：”https://orcid.org/0000-0003-4703-0795}，“机构”：[{“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“：”Martin Jon\u00e1\u0161“，”raw _ afiliation_strings“：[“Fondazione Bruno Kessler，Trento，Italy”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno Kessler，Trento，意大利“，”institution_ids“：]”https://openalex.org/I2277624104“]｝]｝]，”countries_destict_count“：1，”institutions_dispict_count“：1，”corresponding_author_ids“：[]，”corresponding_institution_ids“：[]，”apc_list“：｛“value”：5000，“currency”：“EUR”，“value_usd”：5392，“出处”：“doaj”｝，“apc_payed”：｛“value”：5000，“currency”：“EUR”，“value_usd”：5392，“出处”：“doaj”｝，“fwci”：1.267，“has_fulltext”：true，“fulltext_origin”：“pdf“，”cited_by_count“：1，”cited_by_percentile_year“：{”min“：67，”max“：76}，”biblio“：{”volume“：null，”issue“：nul，”first_page“：”273“，”last_page“：”291“}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9991，”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/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9991，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9985，“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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9985，“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/software-reliability建模“，”display_name“：”软件可靠性建模“，”score“：0.555273}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.52486}，{”id“：”https://openalex.org/keywords/fault-detection-and-correction网站“，”display_name“：”故障检测与纠正“，”score“：0.516442}，{”id“：”https://openalex.org/keywords/component-based-systems网站“，”display_name“：”基于组件的系统“，”score“：0.507814}，{”id“：”https://openalex.org/keywords/testing-effort-dependent-models网站“，”display_name“：”Testing Effort Dependent Models“，”score“：0.500101｝]，”concepts“：[｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8143817}，{”id“：”https://openalex.org/C152124472，“wikidata”：https://www.wikidata.org/wiki/Q1204361“，”display_name“：”冗余（工程）“，”level“：2，”score“：0.7096399}，{”id“：”https://openalex.org/C48044578，“wikidata”：https://www.wikidata.org/wiki/Q727490“，”display_name“：”可伸缩性“，”level“：2，”score“：0.5947517}，{”id“：”https://openalex.org/C187455244，“wikidata”：https://www.wikidata.org/wiki/Q942353“，”display_name“：”布尔函数“，”level“：2，”score“：0.556405}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5162692}，{”id“：”https://openalex.org/C107094494，“wikidata”：https://www.wikidata.org/wiki/Q428453“，”display_name“：”故障树分析“，”level“：2，”score“：0.5052858}，{”id“：”https://openalex.org/C2779907942，“wikidata”：https://www.wikidata.org/wiki/Q7239630“，”display_name“：”谓词抽象“，”level“：3，”score“：0.48095718}，{”id“：”https://openalex.org/C45374587，“wikidata”：https://www.wikidata.org/wiki/Q12525525“，”display_name“：”计算“，”级别“：2，”分数“：0.45201266}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.40549886}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”级别“：2，”分数“：0.2295951}，{”id“：”https://openalex.org/C200601418，“wikidata”：https://www.wikidata.org/wiki/Q2193887“，”display_name“：”可靠性工程“，”level“：1，”score“：0.11757138}，{”id“：”https://openalex.org/C77088390，“wikidata”：https://www.wikidata.org/wiki/Q8513“，”display_name“：”数据库“，”级别“：1，”分数“：0.0}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”工程“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-030-99527-0_15，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-030-99527-0_15.pdf，“源”：{“id”：https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-030-99527-0_15，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-030-99527-0_15.pdf，“源”：{“id”：https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/11“，”display_name“：”可持续城市和社区“，”score“：0.52}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：16，”referrenced_works“：[”https://openalex.org/W1496427503","https://openalex.org/W1542298067","https://openalex.org/W1712895775","https://openalex.org/W1968655138网址","https://openalex.org/W1970488655","https://openalex.org/W1994335640","https://openalex.org/W2121337044","https://openalex.org/W2126626789","https://openalex.org/W2131529479","https://openalex.org/W2133934114","https://openalex.org/W2794591735","https://openalex.org/W2906720428","https://openalex.org/W3001769212","https://openalex.org/W3186288550","https://openalex.org/W50199830","https://openalex.org/W991151412“]，”related_works“：[”https://openalex.org/W4242436822","https://openalex.org/W4235672487","https://openalex.org/W2522501807","https://openalex.org/W2159789838","https://openalex.org/W2126626789","https://openalex.org/W2097257018","https://openalex.org/W1805700284","https://openalex.org/W1583463005","https://openalex.org/W1574896545","https://openalex.org/W1531204343“]，”ngrams_url“：”https://api.openalex.org/works/W4225847497/ngrams“，”“abstract_inverted_index”：{“abstract”：[0]，“Many”：[1]，“safety”：[2]，“critical”：[3]，“systems”：[4]，“guarantee”：[5]，“fault-tolerance”：[6]，“by”：[7,62,87]，“using”：[8]，“severed”：[9]，“redundanted”：[10]，“copies”：[11]，“of”：[12,31,33,40,59,72,8011176181186195205]，“their”：[13,25]，“components”.“：[14]，”When“：[15]，”designing“：[16]，”such“：[17,89]，”冗余“：[18,64112143]，”架构“：[19]，”it“：[20138170]，”is“：[21]，”critical“：[22]，”to“：[23,55,97141150]，”analyze“：[24]，”fault“：/26,74109128187]，”trees“：[27]，”which“：[28,93151163189]，”describe“：[29]，：[36105]，“可能”：[37]，“原因”：[38]，“故障”：[39]，“the”：[41,57,63,73,81,95152177193196203206]，“system.”：[42]，“State-of-the-art”：[43]，“technologies”：[44,88]，“for”：[45,70172184]，“tree”：[47,75]，“computation”：[48,71]，“use”：[49]，“first order”：[50]，“formulas”：[51]，“with”：[52145]，“unprerprated”：[53]，“functions”：[54]，“model”：[56]，“转换”：[58]，“信号”：[60]，“执行”：[61]，“系统”：[65]，“and”：[66162179]，“an”：[67]，“AllSMT”：[68158]，“query”：[69]，“from”：[76]，“this”：[77101]，“encoding.”：[78]，“Scalability”：[79]，“analysis”：[82185]，“can”：[83118190]，“be”：[84119]，“further”：[85]，“improved”：[86]，“as”：[90106108127]，“predicator”：[91]，“abstration”：[92]，“reduces”：[94]，“problem”：[96178]，“Boolean”：[98125]，“case.”：[99]，“In”：[100]，“论文”：[102]，“我们”：[103]，“展示”：[104]，“远”：[107]，“树”：[110]，“体系结构”：[113144]，“是”：[114159]，“关注”：[115]，“信号”：[116]，“转换”：[117]，“等效”：[120]，“查看”：[121]，“在”：[122]，“a”：[123173]，“纯粹”：[124]，“方式”：[126]，“传播”：[129]，“这个”：[130]，“备选”：[131]，“视图”：[132]，“具有”：[133]，“重要”：[134]，“实用”：[135]，“后果”：[136]，“第一，”：[137]，“应用”：[139]，“也”：[140]，“通用”：[142]，“循环”：[146]，“依赖关系”：[147]，“中间”：[148]，“组件”：[149]，“当前”：[153]，“最新”：[154]，“方法”：[155]，“基于”：[156]，“依据”：[157]，“不”：[160]，“适用”：[161]，“目前”：[164]，require“：[165]，”昂贵“：[166]，”顺序“：[167]，“推理”：[168]，“秒”：[169]，“允许”：[171]，“简单”：[174]，“编码”：[175]，“用法”：[180]，“效率”：[182]，“算法”：[183]，“传播”：[188]，“显著”：[191]，“改进”：[192]，“运行时”：[194]，“分析”：[197]，“A”：[198]，“彻底”：[199]，“实验”：[200]，“评估”：[201]，“证明”：[202]，“优势”：[204]，“建议”：[207]，“技术”：[208]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W4225847497“，”counts_by_year“：[{”年“：2022，”引用_by_count“：1}]，”更新日期“：”2024-06-20T00:00:17.322835“，”创建日期“：“2022-05-05”}