{“id”：“https://openalex.org/W1631126424“，”doi“：”https://doi.org/10.1007/3-540-45657-0_15“，”title“：”通过故障分析自动推导时间约束“，”display_name“：”通过故障分析自动推导时间约束“，”publication_year“：2002，”publication_date“：”2002-01-01“，”ids“：｛”openalex“：”https://openalex.org/W1631126424“，”doi“：”https://doi.org/10.1007/3-540-45657-0_15“，”mag“：”1631126424“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/3-540-45657-0_15，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F3-540-45657-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、”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%2F3-540-45657-0_15.pdf“，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5018623844“，”display_name“：”Tomoki Yoneda“，”orcid“：”https://orcid.org/0000-0002-9804-0240}，“机构”：[{“id”：https://openalex.org/I184597095“，”display_name“：”国家信息学院“，”ror“：”https://ror.org/04ksd4g47“，”“country_code”“：”JP“，”type“：”facility“，”lineage“：[”https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934“]}]，”国家“：[”JP“]，”is_corresponding“：false，”raw_author_name“：”Tomohiro Yoneda“，”raw _affiliation_strings“：[“国家信息学研究所”]，”affiliations“：[{”raw _affiliation_string“：”国家信息学学会“，”“institution_ids”：[“https://openalex.org/I184597095“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5031000684“，”display_name“：”Tomoya Kitai“，”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“：”Tomoya Kitai“，”raw _ afiliation_strings“：[“东京理工学院”]，”affiliations“：[{”raw _affiliation_string“：”东京理工大学“，”institution_ids“：[https://openalex.org/I114531698“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5014529986“，”display_name“：”Chris J.Myers“，”orcid“：”https://orcid.org/0000-0002-8762-8444}，“机构”：[{“id”：https://openalex.org/I223532165“，”display_name“：”犹他大学“，”ror“：”https://ror.org/03r0ha626“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I223532165“]}]，”countries“：[”US“]，”is_corresponding“：false，”raw_author_name“：”Chris Myers“，”raw _affiliation_strings“：【”犹他大学“】，”affiliations“：[{”raw_affiliation_string“：”犹他州大学“，”institution_ids“：[“https://openalex.org/I223532165“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：2，”institutions_disticent_count”：3，”corresponding_author_ids“：[[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：2.114，“has_fulltext”：true，“fulltext_o”rigin“：”pdf“，”cited_by_count“：24，”引用_规范化_percentile“：{”value“：0.873132，”is_in_top_1_percent“：false，”is_in_top_10_percents“：false}，”cited_by_percentile_year“：{“min”：87，“max”：88}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：“195”，“last_page”：“208”}，‘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/T11032“，”display_name“：”超大规模集成测试“，”score“：0.9997，”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.9995，“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/关键字/基准“，”display_name“：”基准（测量）“，”score“：0.74904776}，{”id“：”https://openalex.org/keywords/trace“，”display_name“：”TRACE（心理语言学）“，”score“：0.68257827}，{”id“：”https://openalex.org/keywords/delay-fault测试“，”display_name“：”延迟故障测试“，”score“：0.651992}，{”id“：”https://openalex.org/keywords/solver“，”display_name“：”Solver“，”score“：0.5702227}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.544488}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.519733}，{”id“：”https://openalex.org/keywords/alqual-circuit-fault-diagnosis（https://openalex.org/关键词/模拟电路故障诊断）“，”display_name“：”模拟电路故障诊断“，”score“：0.514863}，{”id“：”https://openalex.org/keywords/enumeration网站“，”display_name“：”枚举“，”score“：0.41091627}]，”概念“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.79753095｝，｛”id“：”https://openalex.org/C185798385，“wikidata”：https://www.wikidata.org/wiki/Q1161707“，”display_name“：”基准（测量）“，”level“：2，”score“：0.74904776}，{”id“：”https://openalex.org/C75291252，“wikidata”：https://www.wikidata.org/wiki/Q1315756“，”display_name“：”TRACE（心理语言学）“，”level“：2，”score“：0.68257827}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.57810026}，{”id“：”https://openalex.org/C2778770139，“wikidata”：https://www.wikidata.org/wiki/Q1966904“，”display_name“：”Solver“，”level“：2，”score“：0.5702227}，{”id“：”https://openalex.org/C151319957，“wikidata”：https://www.wikidata.org/wiki/Q752739“，”display_name“：”异步通信“，”level“：2，”score“：0.5384071}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.52430046｝，｛”id“：”https://openalex.org/C72434380，“wikidata”：https://www.wikidata.org/wiki/Q230930“，”display_name“：”状态空间“，”level“：2，”score“：0.47307476}，{”id“：”https://openalex.org/C98045186，“wikidata”：https://www.wikidata.org/wiki/Q205663“，”display_name“：”Process（computing）“，”level“：2，”score“：0.47114104}，{”id“：”https://openalex.org/C97137487，“wikidata”：https://www.wikidata.org/wiki/Q729138“，”display_name“：”整数（计算机科学）“，”level“：2，”score“：0.46154076}，{”id“：”https://openalex.org/C134146338，“wikidata”：https://www.wikidata.org/wiki/Q1815901“，”display_name“：”电子电路“，”level“：2，”score“：0.4386147}，{”id“：”https://openalex.org/C56086750，“wikidata”：https://www.wikidata.org/wiki/Q6042592“，”display_name“：”整数编程“，”level“：2，”score“：0.42446536}，{”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.4211261}，{”id“：”https://openalex.org/C156340839，“wikidata”：https://www.wikidata.org/wiki/Q2704791“，”display_name“：”枚举“，”级别“：2，”分数“：0.41091627}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.14116031}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.08962512}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.077961296}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”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/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/C13280743，“wikidata”：https://www.wikidata.org/wiki/Q131089网址“，”display_name“：”大地测量学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”工程“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C119599485，“wikidata”：https://www.wikidata.org/wiki/Q43035“，”display_name“：”电气工程“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C205649164，“wikidata”：https://www.wikidata.org/wiki/Q1071“，”display_name“：”Geography“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/3-540-45657-0_15，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F3-540-45657-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、”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/3-540-45657-0_15，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F3-540-45657-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、”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“：[]，”grants“：【】，”dataset“：【]，”versions“：【〕，”referenced_works_count“：11，”https://openalex.org/W130102441","https://openalex.org/W1494451878","https://openalex.org/W180991895","https://openalex.org/W1929479867","https://openalex.org/W2105859895","https://openalex.org/W2107193555","https://openalex.org/W2128773792","https://openalex.org/W2141556781","https://openalex.org/W2148684266","https://openalex.org/W2161331676","https://openalex.org/W59365162“]，”related_works“：[”https://openalex.org/W588267724","https://openalex.org/W4300125793","https://openalex.org/W4297743441","https://openalex.org/W2952598754","https://openalex.org/W2578985712","https://openalex.org/W2406961474","https://openalex.org/W2143566611","https://openalex.org/W2026779193","https://openalex.org/W2013740965","https://openalex.org/W108845024“]，”abstract_inverted_index“：{”This“：[0,98]，”work“：[1]，”proposes“：[2]，”a“：[3,11,25,58130]，”technique“：[4]，”to“：[5,15,30,73,86119]，”automatically“：[6]，”get“：[7]，”timing“：[8,71,88]，”constraints“：[9,72,89]，”for“：[10]，”given“：[12,53]，”timed“：[13,47]，”circuit“：[14,26]，“操作”：[16]，“正确”：[17]，“a”：[18]，“指定”：[19]，“设置”：[20,29]，““：[21,24]，”延迟“：[22,54,81104117]，”参数“：[23]，”是“：[27,41,83112]，”第一个“：[28]，”充分“：[31]，”大“：[32]，”界限“：[33,55]，”和“：[34,56,69144]，”验证“：[35,44]，”运行“：[36]，”紧跟“：[37]，”由“：[38,90]，”失败“：[39,65,76109]，”分析“：[40]，”重复。“：[42]，”Each“：[43]，”run“：[45]，”performers“：[46]，”state“：[48]，”space“：[49]，”enumeration“：50]，”under“：[51106]，”the“：[52,75,80,87121135]，”products“：[57]，”trace“：[60,66]，”if“：/61]，”it“：[62]，”exists“。“：[63]，”The“：[64126]，”is“：[67,7110]，”analyed“，”：[68]，”充足“：[70]，”预防“：[74120]，”获得。“：[78125]，”Then，“：[79]，”bounds“：[82105118]，”trighted“：[84]，”according“：[85]，”using“：[C1129]，”an“：[92]，”ILP“：[93]，”（Integer“：[94]，”Linear“：[95]，”Programming）“：[96]，”solver。“：[97]，“进程”：[99]，“终止”：[100]，“当”：[101]，“任其一”：[102]，“某些”：[103]，“其中”：[107]，“否”：[108115]，“检测到”：[111]，“发现”：[113]，“或”：[114]，“新”：[116]，“失败”：[122]，“可以”：[123138]，“是”：[124]，“实验”：[127]，“结果”：[128]，“天真”：[131]，“实现”：[132]，“show”：[133]，“that”：[134]，“proposed”：[136]，“method”：[137]，“高效“：[139]，“句柄”：[140]，“异步”：[141]，“基准”：[142]，“电路”：[143]，“非平凡”：[145]，“GasP”：[146]，“回路”。“：[147]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1631126424“，”counts_by_year“：[｛”年份：2018，”cited_by_count“：1｝，”年份“：2016，”cited_by_count“：2｝，”年份“：2015，”cited_by_count“：2｝，”年份“：2014，”cited_by_count“：1｝，”年份“：2013，”cited_by_count“：1｝，”年份“：2012，”cited_by_count“：1｝]，”更新日期“：”2024-09-15T04:14:04.872485“，”创建日期“：”2016-06-24“}