{“id”：“https://openalex.org/W3125334465“，”doi“：”https://doi.org/10.1145/3324884.3416588“，”title“：”检测MPI程序中死锁的预测分析“，”display_name“：”检测MPI程序中死锁的预测分析“，”publication_year“：2020，”publication_date“：”2020-12-21“，”ids“：｛”openalex“：”https://openalex.org/W3125334465“，”doi“：”https://doi.org/10.1145/3324884.3416588“，”mag“：”3125334465“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/3324884.3416588“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5025978852“，”display_name“：”黄一燕“，”兽人“：”https://orcid.org/0000-0001-5602-1378}，“机构”：[{“id”：https://openalex.org/I204831749“，”display_name“：”西南财经大学“，”ror“：”https://ror.org/04ewct822“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I204833174“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：Yu Huang”，“raw_affiliation_strings”：[”西南财经大学“]，“隶属关系”：[{“raw_affiliation_string”：“西南财经大学”，“institution_ids”：[“https://openalex.org/I204831749“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5045281710“，”display_name“：”Benjamin M.Ogles“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I100005738“，”display_name“：”杨百翰大学“，”ror“：”https://ror.org/047rhhm47“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I100005738“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”本杰明·奥格尔斯“，”raw _ afiliation_strings“：[“杨百翰大学”]，”affiliations“：[{”raw_ afiliation _string“：”杨百翰学院“，”institution_ids“：[https://openalex.org/I100005738“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5005072374“，”display_name“：”Eric Mercer“，”orcid“：”https://orcid.org/0000-0002-2264-2958}，“机构”：[{“id”：https://openalex.org/I100005738“，”display_name“：”杨百翰大学“，”ror“：”https://ror.org/047rhhm47“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I100005738“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Eric Mercer“，”raw _affiliation_strings“：[“杨百翰大学”]，”affiliations“：[{”raw _affiliation_string“：”杨百翰学院“，”institution_ids“：[https://openalex.org/I100005738“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payd“：null，”fwci“：0.548，”has_fulltext“：false，”cited_by_count：null，“first_page”：空，“last_page”：空}，“is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10054“，”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/T10054“，”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.9992，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.999，“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/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.519767}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8588804｝，｛”id“：”https://openalex.org/C159023740，“wikidata”：https://www.wikidata.org/wiki/Q623276“，”display_name“：”死锁“，”level“：2，”score“：0.8235777}，{”id“：”https://openalex.org/C113429609，“wikidata”：https://www.wikidata.org/wiki/Q4060699“，”display_name“：”死锁预防算法“，”level“：3，”score“：0.7597865}，{”id“：”https://openalex.org/C136643341，“wikidata”：https://www.wikidata.org/wiki/Q1361526“，”display_name“：”可达性“，”级别“：2，”分数“：0.7244857}，{”id“：”https://openalex.org/C16311509，“wikidata”：https://www.wikidata.org/wiki/Q4148050“，”display_name“：”依赖关系图“，”level“：3，”score“：0.67233485}，{”id“：”https://openalex.org/C19768560，“wikidata”：https://www.wikidata.org/wiki/Q320727网址“，”display_name“：”依赖（UML）“，”level“：2，”score“：0.5816637}，{”id“：”https://openalex.org/C68387754，“wikidata”：https://www.wikidata.org/wiki/Q7271585“，”display_name“：”Schedule“，”level“：2，”score“：0.56645983}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.5222876}，{”id“：”https://openalex.org/C173608175，“wikidata”：https://www.wikidata.org/wiki/Q232661“，”display_name“：”并行计算“，”level“：1，”score“：0.5182352}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.5106068}，{”id“：”https://openalex.org/C2777735758，“wikidata”：https://www.wikidata.org/wiki/Q817765“，”display_name“：”Path（computing）“，”level“：2，”score“：0.4770055}，{”id“：”https://openalex.org/C2778770139，“wikidata”：https://www.wikidata.org/wiki/Q1966904“，”display_name“：”Solver“，”level“：2，”score“：0.45307207}，{”id“：”https://openalex.org/C854659，“wikidata”：https://www.wikidata.org/wiki/Q1859284“，”display_name“：”消息传递“，”level“：2，”score“：0.4392594}，{”id“：”https://openalex.org/C106891557，“wikidata”：https://www.wikidata.org/wiki/Q4148051“，”display_name“：”等待图“，”level“：4，”score“：0.43015274}，{”id“：”https://openalex.org/C132525143，“wikidata”：https://www.wikidata.org/wiki/Q141488“，”display_name“：”Graph“，”level“：2，”score“：0.40992373}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.3775555}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.25169116}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.09327054}，{”id“：”https://openalex.org/C558772884，“wikidata”：https://www.wikidata.org/wiki/Q1508564“，”display_name“：”Graph rewriting“，”level“：3，”score“：0.07544288}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.07541302}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/3324884.3416588“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：nuld，”version“：null，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/16“，”score“：0.5，”display_name“：”Peace，justice，and strong institutions“}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：25，”referrenced_works“：[”https://openalex.org/W1480909796","https://openalex.org/W1559665648网址","https://openalex.org/W186123808","https://openalex.org/W1872471105","https://openalex.org/W1978562726","https://openalex.org/W1980044088","https://openalex.org/W2023489866","https://openalex.org/W2063362342","https://openalex.org/W2083342911","https://openalex.org/W2103772961","https://openalex.org/W2112121929","https://openalex.org/W2115309705","https://openalex.org/W2119494620","https://openalex.org/W2132613390","https://openalex.org/W2169870841","https://openalex.org/W2245258423","https://openalex.org/W2273799252","https://openalex.org/W2556273741","https://openalex.org/W2749582297","https://openalex.org/W2898242299","https://openalex.org/W2988063199","https://openalex.org/W4232707757","https://openalex.org/W4242852064","https://openalex.org/W4253460352","https://openalex.org/W818779475“]，”related_works“：[”https://openalex.org/W4383684213","https://openalex.org/W3140720071","https://openalex.org/W2560925019","https://openalex.org/W2386884462","https://openalex.org/W2120098047","https://openalex.org/W2088433124","https://openalex.org/W2038880851","https://openalex.org/W2035968706","https://openalex.org/W2008483896","https://openalex.org/W1596298878“]，”ngrams_url“：”https://api.openalex.org/works/W3125334465/ngrams网站“，”“abstract_inverted_index”：{“A”：[0]，“common”：[1]，“problem”：[2]，“in”：[3,72129]，“MPI”：[4,40145]，“programs”：[5,41146]，“is”：[6,25139]，“deadlock:”：[7]，“when”：[8]，“two”：[9]，“or”：[10]，“more”：[11]，“进程”：[12]，“are”：[13,86]，“blocked”：[14]，“无限期”：[15]，“到期”：[16,27]，“致”：[17,28,61,76133]，“A”：[18,35,44,62,73,78111148]，“圆形”：[19]，“通信“：[20,70]，”依赖性。“：[21]，”自动“：[22]，”检测“：[23]，”死锁“：[24,81,84116]，”困难“：[26]，”其“：[29]，”调度依赖“：[30]，”性质。“：[31]，”This“：[32107]，”paper“：[33]，”presents“：[34]，”predictive“：[36]，”analysis“：[37,65138]，”for“：[38,95105119143]，”single path“：[39144]，”that“：[42]，”observes“：%43]，”single“：【45】，”program“：[46,58]，”execution“：[47]，”and“：[48,92124141]，”then“：[49]，”determines“：[50]，”which“：【51]，“任何”：[52]，“其他”：[53134]，“可行”：[54]，“时间表”：[55]，““：[56,80113]，”the“：[57]，”can“：[59]，”lead“：[60]，”死锁。“：[63106]，”The“：[64，81337]，”works“：[66]，”by“：[67，88，97]，”identification“：[68]，”problemous“：[69]，”patterns“：[71]，”dependency“：[74]，”graph“：[75]，”form“：[77]，”set“：[79112]，”候选者。“：[82]，”候选“：[85117]，”筛选“：[87]，”an“：[89,98102]，”抽象“：[90]，”机器“：[91]，”最终“：[93]，”测试“：[94]，”可达性“：[96]，”SMT“：[99]，”求解器“：[100]，”with“：[101]，”高效“：[103]，”编码“：[104]，”方法“：[108]，”快速“：[109]，”产量“：[110125]，”高“：[114]，“概率”：[115]，“有用”：[118]，“推理”：[120]，“关于”：[121]，“复杂”：[122]，“代码”：[123]，“较高”：[126]，“性能”：[127]，“总体”：[128]，“多”：[130]，“案例”：[131]，“比较”：[132]，“最先进”：[135]，“分析”：[136]，“声音”：[140]，“完成”：[142]，“on”：[147]，“给定”：[149]，“输入”：[150]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W3125334465“，”counts_by_year“：[{”年份“：2023，”cited_by_count“：1}，{”年度“：2022，”cited_by_count”：1}]，”updated_date“：”2024-06-26T02:16:10.20063“，”created_date:“2021-02-01”}