{“id”：“https://openalex.org/W1889085354“，”doi“：”https://doi.org/10.1007/978-3-540-75596-8_13“，”title“：“无功系统的符号故障树分析”，”display_name“：”无功系统符号故障树的分析“，”publication_year“：2007，”publiation_date“：”2007-11-03“，”ids“：{”openalex“：”https://openalex.org/W1889085354“，”doi“：”https://doi.org/10.1007/978-3-540-75596-8_13“，”mag“：”1889085354“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-75596-8_13“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306463937“，”display_name“：”Springer电子书“，”issn_l“：null，”issn“：null，”is_oa“：false，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/P4310319965“，”“host_organization_name”：“Springer Nature”，“host_organization_lineage”：[“https://openalex.org/P4310319965“]，”host_organization_lineage_names“：[”Springer Nature“]，“type”：“电子书平台”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapper”，“indexed_in”：[”crossref“]，空，“any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5076775585“，”display_name“：”Marco Bozzano“，”orcid“：”https://orcid.org/0000-0002-4135-103X“}，”机构“：[]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Marco Bozzano“，”raw_affiliation_strings“：[“FBK-IRST，Trento，Italy#TAB#”]，”从属关系“：[{”raw_affiliation_string“：”https://openalex.org/A5017426974“，”display_name“：”Alessandro Cimatti“，”orcid“：”https://orcid.org/0000-0002-1315-6990“}，”机构“：[]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Alessandro Cimatti“，”raw _ afiliation_strings“：[“FBK-IRST，Trento，Italy#TAB#”]，”从属关系“：[{”raw _affiliation_strong“：”“”https://openalex.org/A5054963482“，”display_name“：”Francesco Tapparo“，”orcid“：null}，”institutions“：[]，”countries“：[”IT“]，”is_corresponding“：false，”raw_author_name“:”Franceco Tappara“，”raw _affiliation_strings“：【”FBK-IRST，Trento，Italy#TAB#“】，“afliations”：[{“raw_affiliation _string”：“FBK-IRSC，Trento，Italy#TAB##”，“institution_ids”：[]}]，“机构_资产”：[]，“countries_distiction_count“：1，”institutions_disticent_count”：0，“corresponding_authorized_ids”：[]，“correcponding_institution_ids”：[[]，“apc_list”：null，“apc _ paid”：null，“fwci”：1.742，“has_fulltext”：false，“cited_by_count）：65，“引文_规范化_百分位”：{“value”：0.945774，“is_in_top_1_percent”：fall，“is _in_top _10_percennt”：true}，“cit”ed_by_percentile_year“：{”min“：95，”max“：96}，”biblio“：{”volume“：null，”issue“：null，”first_page“：”162“，”last_page“：”176“}，“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.9982，”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/T13295“，”“display_name”：“复杂系统开发中的安全保证”，“score”：0.9973，“subfield”：{“id”：“https://openalex.org/subfields/2213“，”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/binary-decision-diagram网站“，”display_name“：”二进制决策图“，”score“：0.65280384｝，｛”id“：”https://openalex.org/keywords/fault-detection-and-correction网站“，”display_name“：”故障检测与纠正“，”score“：0.54435}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.529207}，{”id“：”https://openalex.org/keywords/sensitity-analysis网站“，”display_name“：”敏感性分析“，”score“：0.513362}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.51154}，{”id“：”https://openalex.org/keywords/software-reliability建模“，”display_name“：”软件可靠性建模“，”score“：0.50853}，{”id“：”https://openalex.org/keywords/robustivity网站“，”display_name“：”健壮性（进化）“，”score“：0.48176193}]，”concepts“：[{”id“：”https://openalex.org/C136643341，“wikidata”：https://www.wikidata.org/wiki/Q1361526“，”display_name“：”可达性“，”级别“：2，”分数“：0.80186903}，{”id“：”https://openalex.org/C1070994494，“wikidata”：https://www.wikidata.org/wiki/Q428453“，”display_name“：”故障树分析“，”level“：2，”score“：0.7577744}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6985343}，{”id“：”https://openalex.org/C3309909，“wikidata”：https://www.wikidata.org/wiki/Q864155“，”display_name“：”二进制决策图“，”level“：2，”score“：0.65280384}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.5614165}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.5152731}，{”id“：”https://openalex.org/C63479239，“wikidata”：https://www.wikidata.org/wiki/Q7353546“，”display_name“：”健壮性（进化）“，”level“：3，”score“：0.48176193}，{”id“：”https://openalex.org/C167822520，“wikidata”：https://www.wikidata.org/wiki/Q176452“，”display_name“：”Finite-state machine“，”level“：2，”score“：0.4547687}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.42727864}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.42474937}，{”id“：”https://openalex.org/C200601418，“wikidata”：https://www.wikidata.org/wiki/Q2193887“，”display_name“：”可靠性工程“，”level“：1，”score“：0.18661404}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.122663915}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.119146824}，{”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C104317684，“wikidata”：https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0｝]，”mesh“：[]，”locations_count“：1，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-75596-8_13“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306463937“，”display_name“：”Springer电子书“，”issn_l“：null，”issn“：null，”is_oa“：false，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/P4310319965“，”“host_organization_name”：“Springer Nature”，“host_organization_lineage”：[“https://openalex.org/P4310319965“]，”host_organization_lineage_names“：[”Springer Nature“]，“type”：“电子书平台”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：【】，“versions”：[】，“referenced_works_count”：40，“referrenced_works”：〔”https://openalex.org/W1496443761","https://openalex.org/W1503170978","https://openalex.org/W1511476283","https://openalex.org/W1521005453","https://openalex.org/W1543654202","https://openalex.org/W1543835464","https://openalex.org/W1543835543","https://openalex.org/W1576285755","https://openalex.org/W1582583746","https://openalex.org/W1587725321","https://openalex.org/W160223915","https://openalex.org/W175940368","https://openalex.org/W1787074469","https://openalex.org/W1802815921","https://openalex.org/W1867089059","https://openalex.org/W1983711511","https://openalex.org/W1985926200","https://openalex.org/W2001289891","https://openalex.org/W2015292805","https://openalex.org/W2029120383","https://openalex.org/W2030224590","https://openalex.org/W2048972217","https://openalex.org/W2055856629","https://openalex.org/W2089167558","https://openalex.org/W2096283629","https://openalex.org/W2113033572","https://openalex.org/W2113727965","https://openalex.org/W2119398027","https://openalex.org/W2123817584","https://openalex.org/W2163191232","https://openalex.org/W2282785358","https://openalex.org/W2561675875","https://openalex.org/W2617307175","https://openalex.org/W3165744266","https://openalex.org/W3494227","https://openalex.org/W4240605612","https://openalex.org/W4285719527","https://openalex.org/W4300021588","https://openalex.org/W61993190","https://openalex.org/W751044823“]，”related_works“：[”https://openalex.org/W2884574904","https://openalex.org/W2803843036","https://openalex.org/W2611966366","https://openalex.org/W2542904743","https://openalex.org/W2471151559","https://openalex.org/W2140425425","https://openalex.org/W2013926333","https://openalex.org/W1969883598","https://openalex.org/W1583869287","https://openalex.org/W1561659860“]，”abstract_inverted_index“：空，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1889085354“，”“counts_by_year”：[{“年份”：2022，”“cited_by_count”：1}，{“年”：2021，”“cited_by_cunt”：5}，}“年“：2020，”“cited_by-count”“：1}，{”“年”“：2019，”“：2015，”cited_by_count“：6}，{“年份”：2014，”cited_by_count，{“年份”：2012，“引用_ by_count”：5}]，“更新日期”：“2024-09-24T22:44:08.348996”，“创建时间”：“2016-06-24”}