{“id”：“https://openalex.org/W2122655082“，”doi“：”https://doi.org/10.109/mtv.2010.15“，”title“：”SystemC TLM设计的自动故障定位“，”display_name“：”System C TLM的自动故障本地化“，”publication_year“：2010，”publiation_date“：”2010-12-01“，”ids“：{”openalex“：”https://openalex.org/W2122655082“，”doi“：”https://doi.org/10.109/mtv.2010.15“，”mag“：”2122655082“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/mtv.2010.15“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”http://www.informatik.uni-bremen.de/agra/doc/work/10mtv_faultloc_TLM.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5086396507“，”display_name“：”Hoang M.Le“，”orcid“：”https://orcid.org/0000-0002-8645-821X}，“机构”：[{“id”：https://openalex.org/I180437899“，”display_name“：”不来梅大学“，”ror“：”https://ror.org/04ers2y35“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I180437899“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Hoang M.Le“，”raw _affiliation_strings“：[“德国不来梅大学计算机科学研究所”]，”affiliations“：[{”raw _affiliation_string“：”德国不来曼大学计算机科学学院”，“institution_ids”：[“https://openalex.org/I180437899“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5086566894“，”display_name“：”Daniel Gro\u00dfe“，”orcid“：”https://orcid.org/0000-0002-1490-6175}，“机构”：[{“id”：https://openalex.org/I180437899“，”display_name“：”不来梅大学“，”ror“：”https://ror.org/04ers2y35“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I180437899“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Daniel Gro\u00dfe“，”raw_affiliation_strings“：[“德国不来梅大学计算机科学研究所”]，”affiliations“：[{”raw_affiliation_string“：”德国不来曼大学计算机科学学院“，”institution_ids“：[https://openalex.org/I180437899“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5071742136“，”display_name“：”Rolf Drechsler“，”orcid“：”https://orcid.org/0000-0002-9872-1740}，“机构”：[{“id”：https://openalex.org/I180437899“，”display_name“：”不来梅大学“，”ror“：”https://ror.org/04ers2y35“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I180437899“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Rolf Drechsler“，”raw _ afiliation_strings“：[“德国不来梅大学计算机科学研究所”]，”affiliations“：[{”raw _affiliation_strong“：”德国不来曼大学计算机科学学院”，“institution_ids”：[“https://openalex.org/I180437899“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]”，“apc_list”：null，”apc_payed“：null”，“fwci”：0.21，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by-count”“：1”，“引用的_by_percentile_year”：{“min”：68，“max”：75}，“biblio”“：{”volume“：null，”issue“：nul，”first_page“：null，”last_page“：null}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11032“，”display_name“：”超大规模集成测试“，”score“：0.9999，”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/T11032“，”display_name“：”超大规模集成测试“，”score“：0.9999，”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/T11005“，”display_name“：”电子系统容错“，”score“：0.9997，”subfield“：{”id“：”https://openalex.org/subfields/2208“，”display_name“：”电气与电子工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10904“，”“display_name”：“可重构计算系统和设计方法”，“score”：0.9991，“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/system-level-design网站“，”display_name“：”系统级设计“，”score“：0.59486}，{”id“：”https://openalex.org/keywords/error检测“，”display_name“：”错误检测“，”score“：0.56501}，{”id“：”https://openalex.org/keywords/delay-fault测试“，”display_name“：”延迟故障测试“，”score“：0.556398}，{”id“：”https://openalex.org/keywords/fault-tolerance“，”display_name“：”容错“，”score“：0.553015}，{”id“：”https://openalex.org/keywords/alqual-circuit-fault-diagnosis（https://openalex.org/关键词/模拟电路故障诊断）“，”display_name“：”模拟电路故障诊断“，”score“：0.535702}]，”concepts“：[{”id“：”https://openalex.org/C2776928060，“wikidata”：https://www.wikidata.org/wiki/Q1753563“，”display_name“：”SystemC“，”level“：2，”score“：0.89202595}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.80136776}，{”id“：”https://openalex.org/C169571997，“wikidata”：https://www.wikidata.org/wiki/Q966099“，”display_name“：”事务级建模“，”level“：3，”score“：0.7802453}，{”id“：”https://openalex.org/C168065819，“wikidata”：https://www.wikidata.org/wiki/Q845566“，”display_name“：”调试“，”级别“：2，”分数“：0.7541394}，{”id“：”https://openalex.org/C75291252，“wikidata”：https://www.wikidata.org/wiki/Q1315756“，”display_name“：”TRACE（心理语言学）“，”level“：2，”score“：0.68120694}，{”id“：”https://openalex.org/C2778562939，“wikidata”：https://www.wikidata.org/wiki/Q1298791“，”display_name“：”同步（交流）“，”level“：3，”score“：0.6173914}，{”id“：”https://openalex.org/C174220543，“wikidata”：https://www.wikidata.org/wiki/Q395307“，”display_name“：”回滚“，”级别“：3，”分数“：0.5836866}，{”id“：”https://openalex.org/C98045186，“wikidata”：https://www.wikidata.org/wiki/Q205663“，”display_name“：”Process（computing）“，”level“：2，”score“：0.524706}，{”id“：”https://openalex.org/C77495112，“wikidata”：https://www.wikidata.org/wiki/Q5358436“，”display_name“：”电子系统级设计与验证“，”level“：2，”score“：0.49427104}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.4887135}，{”id“：”https://openalex.org/C149635348，“wikidata”：https://www.wikidata.org/wiki/Q193040“，”display_name“：”嵌入式系统“，”level“：1，”score“：0.45466346｝，｛”id“：”https://openalex.org/C193702766，“wikidata”：https://www.wikidata.org/wiki/Q1414548“，”display_name“：”Concurrency“，”level“：2，”score“：0.42564255}，{”id“：”https://openalex.org/C2775928411，“wikidata”：https://www.wikidata.org/wiki/Q2041312“，”display_name“：”故障注入“，”level“：3，”score“：0.4226275}，{”id“：”https://openalex.org/C63540848，“wikidata”：https://www.wikidata.org/wiki/Q3140932“，”display_name“：”容错“，”level“：2，”score“：0.41954044}，{”id“：”https://openalex.org/C175551986，“wikidata”：https://www.wikidata.org/wiki/Q47089“，”display_name“：”断层（地质）“，”level“：2，”score“：0.41220132}，{”id“：”https://openalex.org/C113775141，“wikidata”：https://www.wikidata.org/wiki/Q428691“，”display_name“：”计算机工程“，”level“：1，”score“：0.35300446}，{”id“：”https://openalex.org/C75949130，“wikidata”：https://www.wikidata.org/wiki/Q848010“，”display_name“：”数据库事务“，”level“：2，”score“：0.34296966}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.2818579}，{”id“：”https://openalex.org/C127162648，“wikidata”：https://www.wikidata.org/wiki/Q16858953“，”display_name“：”频道（广播）“，”级别“：2，”分数“：0.2394728}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.20887119}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.19129092}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.16697338}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”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/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C165205528，“wikidata”：https://www.wikidata.org/wiki/Q83371“，”display_name“：”Seismology“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C127313418，“wikidata”：https://www.wikidata.org/wiki/Q1069“，”display_name“：”Geology“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/mtv.2010.15“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.188.7034，“pdf_url”：http://www.informatik.uni-bremen.de/agra/doc/work/10mtv_faultloc_TLM.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”宾夕法尼亚州立大学“]，”type“：”repository“｝，”license“：null，”license_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：｛”is_oa“：true，”landing_page_url“：”http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.188.7034，“pdf_url”：http://www.informatik.uni-bremen.de/agra/doc/work/10mtv_faultloc_TLM.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：24，“referrenced_works”：]”https://openalex.org/W1536710422","https://openalex.org/W1543454109","https://openalex.org/W1555791645","https://openalex.org/W1979903718","https://openalex.org/W1984272421","https://openalex.org/W1985900990","https://openalex.org/W2048677734","https://openalex.org/W2055424026","https://openalex.org/W2086983694","https://openalex.org/W2087436673","https://openalex.org/W2090208676","https://openalex.org/W2100302143网址","https://openalex.org/W2110676418","https://openalex.org/W2116697887网址","https://openalex.org/W2129538349","https://openalex.org/W2161189012","https://openalex.org/W2163601989","https://openalex.org/W2170029576","https://openalex.org/W2170224888","https://openalex.org/W3141331497","https://openalex.org/W3146857539","https://openalex.org/W3149600922","https://openalex.org/W3150356874","https://openalex.org/W4238435901“]，”related_works“：[”https://openalex.org/W4388214509","https://openalex.org/W3146089259","https://openalex.org/W2533881872","https://openalex.org/W2266880325","https://openalex.org/W2136888643","https://openalex.org/W2112120387","https://openalex.org/W2100410948","https://openalex.org/W2069603759","https://openalex.org/W1981924702","https://openalex.org/W1525398417“]，”ngrams_url“：”https://api.openalex.org/works/W2122655082/ngrams网站“，”“abstract_inverted_index”：{“To”：[0]，“meet”：[1]，“today’s”：[2]，“time-To-market”：[3]，“demands”：[4]，“catching”：[5]，“bug”：[6]，“as”：[7,9]，“early”：[8]，“possible”：[10]，“during”：[11]，“the”：[12,30,53,56,59,63,66110114119123137141]，“design”：[13,2515]，“of”：[14,62113143143]，“a”：[15]，“系统”：[16]，“是”：[17,70116]，“绝对”：[18]，“基本。”：[19]，“在“：[20,86]，”电子“：[21]，”系统“：[22]，”级别“：[23,36]，”（ESL）“：[24]，”其中“：[26]，”SystemC“：[27,97]，”has“：[28]，”become“：[29]，”de-facto“：[31]，”standard“：[32]，”due“：[33,75]，”to“：[34,76135]，”Transaction“：[35]，”Modeling“：[37]，”TLM“，”：[38]，“许多”：[39]，“方法”：[40]，“for”：[41,96]，“验证”：[42]，“have”：[43]，“been”：[44]，“developed”。“：[45]，”他们“：[46]，”确定“：[47]，”一个“：[48,91]，”错误“：[49124]，”跟踪“：[50]，”其中“：[51]，”演示“：[52]，”差异“：[54]，”介于“：[55]，”必需“：[57]，”和“：[58,84]，”实际“：[60]，”行为“：[61112]，”系统。“：[64]，”“然而，”：[65]，“后续”：[67]，“调试”：[68]，“进程”：[69，82]，“非常”：[71]，“耗时”：[72]，“in”：[73]，“特定”：[74]，“TLM-related”：[77]，“故障”：[78]，“导致”：[79]，“by”：[80122146]，“复杂”：[81]，“同步”：[83]，“并发”。“：[85]，”这个“：[87]，”论文“：[88]，”我们“：[89]，”现在“：[90]，”自动“：[92]，”故障“：[93]，”本地化“：[94]，”方法“：[9511145]，”TLM“：[98]，”设计。“：[99]，”The“：[100]，”确定“：[102]，”components“：[103]，”that“：[104109]，”can“：[105]，”be“：[106]，”changed“：[107]，”such“：[108]，”intended“：[111]，”获得“：[117]，”移除“：[118]，”矛盾“：[120]，”给定“：[121]，”跟踪。“：[125]，“技术”：[126]，“基于”：[127]，“on”：[128]，“有界”：[129]，“模型”：[130]，“检查”：[131]，“（BMC）”：[132]，“are”：[133]，“used”：[134]，“find”：[136]，“components”。“：[138]，”我们“：[139]，”证明“：[140]，”质量“：[142]，”我方“：[144]，”实验“：[147]，”结果。“：[148]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2122655082“，”counts_by_year“：[{”年“：2012，”cited_by_count“：1}]，”更新日期“：”2024-06-29T01:41:47.966958“，”创建日期“：“2016-06-24”}