{“id”：“https://openalex.org/W148720532“，”doi“：”https://doi.org/10.1007/978-3-642-39799-8_15“，”title“：”CacBDD:具有动态缓存管理的BDD包“，”display_name“：”CacBDD:A BDD Package with Dynamic Cache Management“，”publication_year“：2013，”publitation_date“：”2013-01“，”ids“：{”openalex“：”https://openalex.org/W148720532“，”doi“：”https://doi.org/10.1007/978-3-642-39799-8_15“，”mag“：”148720532“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-642-39799-8_15，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-642-39799-8_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、”is_core“：true、”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“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”book-chapter“，”type_crossref“：美国“：”铜牌“，”oaurl“：”https://link.springer.com/content/pdf/10.1007/978-3-642-39799-8_15.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5070182721“，”display_name“：”Guanfeng Lv“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I37796252“，”display_name“：”北京工业大学“，”ror“：”https://ror.org/037b1pp87“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I37796252“]}]，”countries“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Guanfeng Lv“，”raw _ afiliation_strings“：【”北京理工大学计算科学与技术学院“】，”affiliations“：[{”raw_ afiliation _string“：”北京工业大学计算科学技术学院“，”institution_ids“：[“https://openalex.org/I37796252“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5037325282“，”display_name“：”Kaile Su“，”orcid“：”https://orcid.org/0000-0001-6741-9699}，“机构”：[{“id”：https://openalex.org/I4210128818“，”display_name“：”软件学会“，”ror“：”https://ror.org/033dfsn42“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I19820366","https://openalex.org/I4210128818“]}，{”id“：”https://openalex.org/I11701301“，”display_name“：”格里菲斯大学“，”ror“：”https://ror.org/02sc3r913“，”country_code“：”AU“，”type“：“教育”，”世系“：[”https://openalex.org/I11701301“]}]，”countries“：[”AU“，”CN“]，”is_corresponding“：false，”raw_author_name“：”Kaile Su“，“raw_affiliation_strings”：[“IIIS，Griffith University，Brisbane，Australia”，“中国北京教育部高可信软件技术重点实验室”]，“afliations”：[{“raw_affiliation_string”：“中国北京教育部高可信软件技术重点实验室“，”institution_ids“：[”https://openalex.org/I4210128818“]}，{”raw_affiliation_string“：”IIIS，Griffith University，Brisbane，Australia“，”institution_ids“：[”https://openalex.org/I11701301“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5051330675“，”display_name“：”徐燕燕“，”兽人“：”https://orcid.org/0000-0001-7174-6588}，“机构”：[{“id”：https://openalex.org/I4210128818“，”display_name“：”软件研究所“，”ror“：”https://ror.org/033dfsn42“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I19820366","https://openalex.org/I4210128818“]}，{”id“：”https://openalex.org/I19820366“，”display_name“：”中国科学院“，”ror“：”https://ror.org/034t30j35“，”country_code“：”CN“，”type“：“政府”，”世系“：[”https://openalex.org/I19820366“]}，{”id“：”https://openalex.org/I31683504“，”display_name“：”北京林业大学“，”ror“：”https://ror.org/04xv2pc41“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I1327237609","https://openalex.org/I31683504","https://openalex.org/I4210127390“]}]，”countries“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Yanyan Xu“，”rau_affiliation_strings“：【”北京林业大学信息科学与技术学院“，”中国科学院软件研究所计算机科学国家重点实验室“，”]“affiliations”：[{“raw_affilition_string”：“中国科学院软件研究所计算机科学国家重点实验室，北京“，”institution_ids“：[”https://openalex.org/I4210128818","https://openalex.org/I19820366“]}，{”raw_affiliation_string“：”北京林业大学信息科学技术学院“，”institution_ids“：[”https://openalex.org/I31683504“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：5，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：0.884，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_b”y_count“：11，”cited_by_percentile_year“：{”min“：87，”max“：88}，”biblio“：{”volume“：null，”issue“：nul，”first_page“：”229“，”last_page“：”234“}，“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/T10054“，”display_name“：”并行计算与性能优化“，”score“：0.999，”subfield“：{”id“：”https://openalex.org/subfields/1708“，”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/T10904“，”“display_name”：“可重构计算系统和设计方法”，“score”：0.9983，“subfield”：{“id”：“https://openalex.org/subfields/1708“，”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/dynamic-reconfiguration网站“，”display_name“：”动态重新配置“，”score“：0.502398}，{”id“：”https://openalex.org/keywords/performance-optimization网站“，”display_name“：”性能优化“，”score“：0.500123}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.88249475}，{”id“：”https://openalex.org/C3309909，“wikidata”：https://www.wikidata.org/wiki/Q864155“，”display_name“：”二进制决策图“，”level“：2，”score“：0.7404712}，{”id“：”https://openalex.org/C115537543，“wikidata”：https://www.wikidata.org/wiki/Q165596网址“，”display_name“：”缓存“，”级别“：2，”分数“：0.6869887}，{”id“：”https://openalex.org/C173608175，“wikidata”：https://www.wikidata.org/wiki/Q232661“，”display_name“：”并行计算“，”level“：1，”score“：0.60918975}，{”id“：”https://openalex.org/C134835016，“wikidata”：https://www.wikidata.org/wiki/Q690265“，”display_name“：”查找表“，”level“：2，”score“：0.43393415}，{”id“：”https://openalex.org/C189783530，“wikidata”：https://www.wikidata.org/wiki/Q352090“，”display_name“：”CPU缓存“，”level“：3，”score“：0.41317028}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.3494729}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.23553175}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-642-39799-8_15，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-642-39799-8_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、”is_core“：true、”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“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”best_oa_location“：{”is_oa“：true”，“landing_page_url”：“https://doi.org/10.1007/978-3-642-39799-8_15，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-642-39799-8_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、”is_core“：true、”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“，”Springer-Science+Business Media“]，“type”：“book series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”display_name“：”和平、正义和强大的机构“，”“score”：0.75，“id”：“”https://metadata.un.org/sdg/16“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：8，”referrenced_works“：【”https://openalex.org/W1489391022","https://openalex.org/W1517771483","https://openalex.org/W1969482290","https://openalex.org/W2034287199","https://openalex.org/W2080267935","https://openalex.org/W2098590705","https://openalex.org/W212786159","https://openalex.org/W2135453964“]，”related_works“：[”https://openalex.org/W4256652509","https://openalex.org/W3147501184","https://openalex.org/W2549803267","https://openalex.org/W2497617944","https://openalex.org/W2167303720","https://openalex.org/W2140219379","https://openalex.org/W2109715593","https://openalex.org/W2081416538","https://openalex.org/W2061075966","https://openalex.org/W1563139915“]，”ngrams_url“：”https://api.openalex.org/works/W148720532/ngrams网站“，”“abstract_inverted_index”：{“In”：[0]，“this”：[1]，“paper”：[2]，“we”：[3]，“present”：[4]，“CacBDD，”：[5]，“a”：[6,16]，“new”：[7]，“efficient”：[8,50]，“BDD”：[9,36,55]，“（Binary”：[10]，“Decision”：[11]，“Diagrams）”：[12]，“package.”：[13]，“It”：[14]，”实现“：[15]，”动态“：[17]，”缓存“：[18]，”管理“：[19]，”算法“：[20]，”其中“：[21]，”takes“：[22]，”账户“：[23]，”共“：[24,27,38]，”该“：[25,35,53]，”点击率“：[26]，”计算“：[28]，”表格“：[29]，”和“：[30,42]，”可用“：[31]，”内存。“：[32]，“实验”：[33]，“on”：[34]，“基准”：[37]，“both”：[39]，“组合”：[40]，“circuits”：[41]，“model”：[43]，“checking”：[44]，“show”：[45]，“that”：[46]，“CacBDD”：[47]，“is”：[48]，“more”：[49]，“compared”：[51]，“with”：[52]，“artimate”：[54]，“package”：[56]，“CUDD”。“：[57]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W148720532“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：3}，{“年度”：2022，”“cited_by_cunt”：1}，}“年份“：2021，”“cited_by-count”“：2}，”“年份”“：2020，”“引用_by_cont”“:1}，“年份”updated_date“：”2024-06-28T21:05:24.618411“，”创建日期“：”2016-06-24“}