{“id”：“https://openalex.org/W2068714738“，”doi“：”https://doi.org/10.1002/1520-684x网址（200102）32:2<43:：aid-scj5>3.0.co；2-p“，”title“：“基于零抑制BDD的异步电路验证”，”display_name“：”基于零抑制的BDD的同步电路验证“，”publication_year“：2001，”publiation_date“：”2001-01-01“，”ids“：{”openalex“：”https://openalex.org/W2068714738“，”doi“：”https://doi.org/10.1002/1520-684x网址（200102）32:2<43:：aid-scj5>3.0.co；2-p“，”mag“：”2068714738“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1002/1520-684x网址（200102）32:2<43:：aid-scj5>3.0.co；2-p“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S58208175“，”display_name“：”日本的系统和计算机“，”issn_l“：”0882-1666“，”isn“：[”0882-1666“，”1520-684X“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/P4310320595“，”“host_organization_name”：“威利”，“host_organization_lineage”：[“https://openalex.org/P4310320595“]，”host_organization_lineage_names“：[”Wiley“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：false，“oa_status”：“closed”，“oa_url”：nully，“any_repository”_has_fulltext“：false}，”作者“：[{”author_position“：”first“，”author“：{”id“：”https://openalex.org/A5031691758“，”display_name“：”Koichi Masukura“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I114531698“，”display_name“：”东京理工大学“，”ror“：”https://ror.org/0112mx960“，”country_code“：”JP“，”type“：“教育”，”世系“：[”https://openalex.org/I114531698“]}]，”国家“：[”JP“]，”is_corresponding“：false，”raw_author_name“：”Koichi Masukura“，”raw_affiliation_strings“：[“东京理工大学计算机科学系信息科学与工程研究生院，日本东京，152\u20108552”]，”affiliations“：[{”raw_affiliation_string“：”日本东京理工大学计算机科学系信息科学与工程研究生院，东京，152\u20108552“，”institution_ids“：[”https://openalex.org/I114531698“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5016926799“，”display_name“：”Minoru Tomisaka“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I114531698“，”display_name“：”东京理工大学“，”ror“：”https://ror.org/0112mx960“，”country_code“：”JP“，”type“：“教育”，”世系“：[”https://openalex.org/I114531698“]}]，”国家“：[”JP“]，”is_corresponding“：false，”raw_author_name“：”Minoru Tomisaka“，”raw _ afiliation_strings“：[“东京理工大学计算机科学系信息科学与工程研究生院，日本东京，152\u20108552”]，”affiliations“：[{”raw_ afiliation _string“：”日本东京理工大学计算机科学系信息科学与工程研究生院，东京，152\u20108552“，”institution_ids“：[”https://openalex.org/I114531698“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5018623844“，”display_name“：”Tomoki Yoneda“，”orcid“：”https://orcid.org/0000-0002-9804-0240}，“机构”：[{“id”：https://openalex.org/I114531698“，”display_name“：”东京理工大学“，”ror“：”https://ror.org/0112mx960“，”country_code“：”JP“，”type“：“教育”，”世系“：[”https://openalex.org/I114531698“]}]，”国家“：[”JP“]，”is_corresponding“：false，”raw_author_name“：”Tomohiro Yoneda“，”raw_affiliation_strings“：[“东京理工大学计算机科学系信息科学与工程研究生院，日本东京，152\u20108552”]，”affiliations“：[{”raw_affiliation_string“：”日本东京理工大学计算机科学系信息科学与工程研究生院，东京，152\u20108552“，”institution_ids“：[”https://openalex.org/I114531698“]}]}]，”institution_assertions“：[]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]、”correspounding_institution_ids“：[]，”apc_list“：null，”apc _payed“：nul，”fwci“：0.0，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count 14，“is_in_top_1_percent”：假，“is_in_top_10_percent“：false｝，”cited_by_percentle_year“：｛“min”：66，”max“：69｝，”biblio“：｛”volume“：”32“，”issue“：”2“，”first_page“：”43“，”last_page“：”54“｝，”is_retracted“：false，”is_paratext“：false，”primary_topic“：｛”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“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.9999，“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.9995，“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/T10904“，”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/keywords/realization网站“，”display_name“：”实现（概率）“，”score“：0.6180137}，{”id“：”https://openalex.org/keywords/异步电路“，”display_name“：”异步电路“，”score“：0.5826144}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.53352｝，｛”id“：”https://openalex.org/keywords/trace“，”display_name“：”TRACE（心理语言学）“，”score“：0.5317209}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.526217}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.509636}，{”id“：”https://openalex.org/keywords/异步系统“，”display_name“：”异步系统“，”score“：0.45550892}，{”id“：”https://openalex.org/keywords/carry网站“，”display_name“：”Carry（investment）“，”score“：0.41112936}]，”concepts“：[{”id“：”https://openalex.org/C151319957，“wikidata”：https://www.wikidata.org/wiki/Q752739“，”display_name“：”异步通信“，”level“：2，”score“：0.8089151}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.79739076}，{”id“：”https://openalex.org/C38677869，“wikidata”：https://www.wikidata.org/wiki/Q724168“，”display_name“：”Petri网“，”level“：2，”score“：0.73227614}，{”id“：”https://openalex.org/C2781089630，“wikidata”：https://www.wikidata.org/wiki/Q21856745“，”display_name“：”实现（概率）“，”level“：2，”score“：0.6180137}，{”id“：”https://openalex.org/C87695204，“wikidata”：https://www.wikidata.org/wiki/Q629971“，”display_name“：”异步电路“，”level“：5，”score“：0.5826144}，{”id“：”https://openalex.org/C134146338，“wikidata”：https://www.wikidata.org/wiki/Q1815901“，”display_name“：”电子电路“，”level“：2，”score“：0.5743232}，{”id“：”https://openalex.org/C75291252，“wikidata”：https://www.wikidata.org/wiki/Q1315756“，”display_name“：”TRACE（心理语言学）“，”level“：2，”score“：0.5317209}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”正式验证“，”级别“：2，”分数“：0.49079975}，{”id“：”https://openalex.org/C7923308，“wikidata”：https://www.wikidata.org/wiki/Q4812211“，”display_name“：”异步系统“，”level“：5，”score“：0.45550892}，{”id“：”https://openalex.org/C2776299755，“wikidata”：https://www.wikidata.org/wiki/Q432449“，”display_name“：”Carry（investment）“，”level“：2，”score“：0.41112936}，{”id“：”https://openalex.org/C137059387，“wikidata”：https://www.wikidata.org/wiki/Q426882“，”display_name“：”时钟信号“，”level“：3，”score“：0.39230728}，{”id“：”https://openalex.org/C113775141，“wikidata”：https://www.wikidata.org/wiki/Q428691“，”display_name“：”计算机工程“，”level“：1，”score“：0.35112137}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.34615377}，{”id“：”https://openalex.org/C42196554，“wikidata”：https://www.wikidata.org/wiki/Q1186179“，”display_name“：”同步电路“，”level“：4，”score“：0.30493337}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.13857436}，{”id“：”https://openalex.org/C134652429网址，“wikidata”：https://www.wikidata.org/wiki/Q1052698“，”display_name“：”Jitter“，”level“：2，”score“：0.08607325}，{”id“：”https://openalex.org/C119599485，“wikidata”：https://www.wikidata.org/wiki/Q43035“，”display_name“：”电气工程“，”level“：1，”score“：0.081524104}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C76155785，“wikidata”：https://www.wikidata.org/wiki/Q418“，”display_name“：”Telecommunications“，”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/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”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/C10138342，“wikidata”：https://www.wikidata.org/wiki/Q43015“，”display_name“：”Finance“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C162324750，“wikidata”：https://www.wikidata.org/wiki/Q8134“，”display_name“：”经济学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1002/1520-684x网址（200102）32:2<43:：aid-scj5>3.0.co；2-p“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S58208175“，”display_name“：”日本的系统和计算机“，”issn_l“：”0882-1666“，”isn“：[”0882-1666“，”1520-684X“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/P4310320595“，”“host_organization_name”：“威利”，“host_organization_lineage”：[“https://openalex.org/P4310320595“]，”host_organization_lineage_names“：[”Wiley“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[{“id”：”https://metadata.un.org/sdg/7“，”display_name“：”负担得起的清洁能源“，”score“：0.88}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：7，”referrenced_works“：[”https://openalex.org/W1491037212","https://openalex.org/W1553056365","https://openalex.org/W1595213177","https://openalex.org/W1975335740","https://openalex.org/W2106387547","https://openalex.org/W2277041087","https://openalex.org/W2552057553“]，”related_works“：[”https://openalex.org/W803506773","https://openalex.org/W4312516786","https://openalex.org/W364924225","https://openalex.org/W2384756109","https://openalex.org/W2237508561","https://openalex.org/W2184151347","https://openalex.org/W2078264798","https://openalex.org/W1993985975","https://openalex.org/W1671389381","https://openalex.org/W142020038“]，”abstract_inverted_index“：{”Since“：[0]，”asynchronous“：[1124]，”circuits“：[2,31]，”do“：[3]，”not“：[4]，”use“：[5]，”clocks“：[6]，”and“：[7,24103118]，”perform“：+8]，”operations“：[9107]，”based“：[10,66]，”on“：[11,67]，”因果关系“：[12]，”relation“：[13]，”between“：[14]，“signal”：[15]，“转换”，“：[16]，“it”：[17]，“is”：[18,83]，“consident”：[19]，“that”：[20,78]，“更高：[21,80]，“速度”：[22,81]，“实现”：[23,28,82]，“更低”：[25]，“功率”：[26]，“消耗”：[27]，“高于”：[29,47]，“同步”：[30,49]，“are”：[32]，“可能”。“：[33]，“In”：[34]，“the”：[35,40,51,56,79,93,98115]，“design”：[3]，“verification”，“：[37]，“然而，”：[38]，“since”：[39]，“number”：[41]，“of”：[42,64100122]，“states”：[43]，“increases”：[44]，“essential”：[45]，“more”：[46]，“In”：[48,55]，“circuits”：[50]，“computative”：[52]，“time”“：[53]，”必需“：[54]，”验证“：[57,65121]，”增加。“：[58]，”“相应地，”：[59]，“this”：[60]，“paper”：[61]，“proposes”：[62]，“realization”：[63]，“trace”：[68]，“theory”：[69]，“by”：[70,85,96]，“using”：[71,86104]，“ZBDD”：[72,94106]，“operations”。“：[73]，”“此外，”：[74]，“we”：[75112]，“will”：[76113]，“show”：[77]，“possible”：[84]，“Petri”：[87109]，“nets”：[88]，“with”：【89]，“inhibitor”：[90]，“arcs”：[91]，“reducing”：[92]，“variables”：【95】，“performing”：【97】“for”：[108]，“nets”。“：[110]，”最后，“：[111]，”封装“：[114]，”建议“：[116]，”方案“：[117]，”进位“：[119]，”输出“：[120]，”多个“：[123]，”电路。“：[125]，”\u00a9“：[126]，”2001“：[127135]，”脚本“：[128]，”技术“：[129]，”系统“：[130]，”组件“：[131]，”Jpn，“：[132]，”32（2）：“：[133]，”43\u201354“：[134]}，”引用_by_api_url“：”https://api.openalex.org/works？filter=cites:W2068714738“，”counts_by_year“：[{”年“：2018，”cited_by_count“：1}]，”更新日期“：”2024-09-25T01:45:21.368715“，”创建日期“：“2016-06-24”}