{“id”：“https://openalex.org/W4308966596“，”doi“：”https://doi.org/10.1145/3563766.3564085“，”title“：“自动化网络启发式设计和分析”，”display_name“：”自动化网络启蒙设计和分析“，”publication_year“：2022，”publitation_date“：”2022-11-14“，”ids“：{”openalex“：”https://openalex.org/W4308966596“，”doi“：”https://doi.org/10.1145/3563766.3564085“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3563766.3564085，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3563766.3564085“，”source“：null，”license“：null，”licence_id“：nul，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜色“，”oa_url“：”https://dl.acm.org/doi/pdf/10.1145/3563766.3564085“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A508876167“，”display_name“：”Anup Agarwal“，”orcid“：”https://orcid.org/0000-0001-5340-1391}，“机构”：[{“id”：https://openalex.org/I74973139“，”display_name“：”卡内基梅隆大学“，”ror“：”https://ror.org/05x2bcf33“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I74973139“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Anup Agarwal“，”raw_affiliation_strings“：[“卡内基梅隆大学”]，”affiliations“：[{”raw_affiliation_string“：”卡内基梅隆大学“，”institution_ids“：[https://openalex.org/I74973139“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5072945604“，”display_name“：”Venkat Arun“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Venkot Arun”，“raw_affiliation_strings”：[“MIT CSAIL”]，“afliations”：[{“raw_affiliation_string”：“MIT CSAIL”，“institution_ids”：[]}，{“author_position”：“middle”，“author”：{“id”https://openalex.org/A5050587027“，”display_name“：”Devdeep Ray“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I74973139“，”display_name“：”卡内基梅隆大学“，”ror“：”https://ror.org/05x2bcf33“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I74973139“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Devdeep Ray“，”raw _affiliation_strings“：[“卡内基梅隆大学”]，”affiliations“：[{”raw _affiliation_string“：”卡内基梅隆大学“，”institution_ids“：[https://openalex.org/I74973139“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5087247518“，”display_name“：”Ruben Martins“，”orcid“：”https://orcid.org/0000-0003-1525-1382}，“机构”：[{“id”：https://openalex.org/I74973139“，”display_name“：”卡内基梅隆大学“，”ror“：”https://ror.org/05x2bcf33“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I74973139“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”鲁本·马丁斯“，”raw_affiliation_strings“：[“卡内基梅隆大学”]，”affiliations“：[{”raw_affiliation_string“：”卡内基梅隆大学“，”institution_ids“：[https://openalex.org/I74973139“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A508871947“，”display_name“：”Srinivasan Seshan“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I74973139“，”display_name“：”卡内基梅隆大学“，”ror“：”https://ror.org/05x2bcf33“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I74973139“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Srinivasan Seshan“，”raw _ afiliation_strings“：[“卡内基梅隆大学”]，”affiliations“：[{”raw _affiliation_string“：”卡内基梅隆大学“，”institution_ids“：[https://openalex.org/I74973139“]｝]｝]，”countries_destict_count“：1，”institutions_disict_count“：1，”corresponding_author_ids“：[]，”corresponding_institution_ids“：[]，”apc_list“：null，”apc_payed“：null，”fwci“：0.522，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：1，”cited_by_percentle_year“：｛”min“：66，”max“：75｝，”biblio“：｛”volume“：null，”issue“：null，“first_page”：null，“last_page“：null}，”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/T10715“，”display_name“：”分布式网格计算系统“，”score“：0.9993，”subfield“：{”id“：”https://openalex.org/subfields/1705“，”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/T10742“，”display_name“：”可扩展对等网络架构“，”score“：0.9989，”subfield“：{”id“：”https://openalex.org/subfields/1705“，”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/bequinchmarking（https://openalex.org/关键词/基准测试）“，”display_name“：”标杆管理“，”score“：0.550651}，{”id“：”https://openalex.org/keywords/task-schedling（https://openalex.org/keywords/task-schedling）“，”display_name“：”任务调度“，”score“：0.541398}，{”id“：”https://openalex.org/keywords/异构计算“，”display_name“：”异构计算“，”score“：0.529277}，{”id“：”https://openalex.org/keywords/performance-optimization网站“，”display_name“：”性能优化“，”score“：0.516692}，{”id“：”https://openalex.org/keywords/hig-performance-computing（https://openalex.org/关键字/高性能计算）“，”display_name“：”高性能计算“，”score“：0.505388}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7979593}，{”id“：”https://openalex.org/C127705205，“wikidata”：https://www.wikidata.org/wiki/Q5748245（网址：https://www.wikidata.org/wiki/Q5748245）“，”display_name“：”启发式“，”level“：2，”score“：0.7566416}，{”id“：”https://openalex.org/C162838799，“wikidata”：https://www.wikidata.org/wiki/Q596077“，”display_name“：”反例“，”level“：2，”score“：0.7348259}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.6852127}，{”id“：”https://openalex.org/C195563490，“wikidata”：https://www.wikidata.org/wiki/Q180368“，”display_name“：”网络拥塞“，”level“：3，”score“：0.55373603}，{”id“：”https://openalex.org/C206729178，“wikidata”：https://www.wikidata.org/wiki/Q2271896“，”display_name“：”计划（生产过程）“，”level“：2，”score“：0.54805565｝，｛”id“：”https://openalex.org/C173801870，“wikidata”：https://www.wikidata.org/wiki/Q201413“，”display_name“：”启发式“，”level“：2，”score“：0.5366705}，{”id“：”https://openalex.org/C34388435，“wikidata”：https://www.wikidata.org/wiki/Q2267362“，”display_name“：”绑定函数“，”level“：2，”score“：0.46715704}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.43092012}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.36424077}，{”id“：”https://openalex.org/C126255220，“wikidata”：https://www.wikidata.org/wiki/Q141495“，”display_name“：”数学优化“，”level“：1，”score“：0.300111673｝，｛”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.21210846}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”level“：1，”score“：0.14195079}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.11026454}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416（网址：https://www.wikidata.org/wiki/Q121416）“，”display_name“：”离散数学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C158379750，“wikidata”：https://www.wikidata.org/wiki/Q214111“，”display_name“：”网络数据包“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3563766.3564085，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3563766.3564085“，”source“：null，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”https://hdl.handle.net/1721.1/147639“，”pdf_url“：”https://dspace.mit.edu/bitstream/1721.1/147639/1/3563766.3564085.pdf，“源”：{“id”：https://openalex.org/S4306400425“，”display_name“：”麻省理工学院DSpace（麻省理工学院）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I63966007“，”“host_organization_name”：“麻省理工学院”，“host_ordanization_lineage”：[“https://openalex.org/I63966007“]，”host_organization_lineage_names“：[”麻省理工学院“]，“type”：“repository”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3563766.3564085，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3563766.3564085“，”source“：null，”license“：null，”licence_id“：nul，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：{”funder“：”https://openalex.org/F4320306076“，”“funder_display_name”：“国家科学基金会”，“award_id”：“2212102，2212390”}]，“数据集”：[]，“版本”：[]，“referenced_works_count”：55，“referrenced_works”：[”https://openalex.org/W1536511644","https://openalex.org/W1545506277","https://openalex.org/W1552077729","https://openalex.org/W1912569824","https://openalex.org/W1969101033","https://openalex.org/W1988975763","https://openalex.org/W1990920914","https://openalex.org/W1995038822","https://openalex.org/W2001755333","https://openalex.org/W2013932952","https://openalex.org/W2016559894","https://openalex.org/W2022844530","https://openalex.org/W2036003010","https://openalex.org/W2050600889","https://openalex.org/W2078408883","https://openalex.org/W2098095758","https://openalex.org/W2101182788","https://openalex.org/W2103830109","https://openalex.org/W2147206873","https://openalex.org/W2151594619","https://openalex.org/W2158700277","https://openalex.org/W2163093107","https://openalex.org/W2164740236","https://openalex.org/W2173213060","https://openalex.org/W2278852126","https://openalex.org/W2734941459","https://openalex.org/W2744628735","https://openalex.org/W2761028280","https://openalex.org/W2768510408","https://openalex.org/W2798515322","https://openalex.org/W2808243688","https://openalex.org/W2825975108","https://openalex.org/W2884958048","https://openalex.org/W2885982708","https://openalex.org/W2925976527","https://openalex.org/W29765888475","https://openalex.org/W2980438643","https://openalex.org/W3046331189","https://openalex.org/W3126605304","https://openalex.org/W3138562521","https://openalex.org/W3159989400","https://openalex.org/W3163241440","https://openalex.org/W3190832025","https://openalex.org/W3206549603","https://openalex.org/W3209837111","https://openalex.org/W3212928074","https://openalex.org/W4200092783","https://openalex.org/W4225922019","https://openalex.org/W4226409848","https://openalex.org/W4230093315","https://openalex.org/W4232284301","https://openalex.org/W4241540767","https://openalex.org/W4242364663","https://openalex.org/W4285719527","https://openalex.org/W4290991335“]，”related_works“：[”https://openalex.org/W803550684","https://openalex.org/W4352977312","https://openalex.org/W3177062893","https://openalex.org/W3143937874网址","https://openalex.org/W3125143773","https://openalex.org/W2624451057","https://openalex.org/W2483226803","https://openalex.org/W2049783774","https://openalex.org/W2007032764","https://openalex.org/W1994175791“]，”ngrams_url“：”https://api.openalex.org/works/W4308966596/ngrams网站“，”“abstract_inverted_index”：{“启发式”：[0]，“are”：[1110]，“无处不在”：[2]，“in”：[3,43]，“computer”：[4]，“systems.”：[3]，“示例”：[6]，“include”：[7]，“拥塞”：[8106117]，“控制”：[9]，“自适应”：[10]，“比特”：[11]，“速率”：[12]，“流”：[13]，“调度”：[14]，”“负载”：[15]，“平衡”：[16]，“和”：[17,58,84125]，“缓存”：[18]，“in”：[19,60]，“some“：[20]，”domains“，”：[21]，”theoryal“：[22]，”proof“：[23]，”have“：[24]，”supplied“：[25]，”clearity“：[26]，”on“：[27]，”the“：[28,71,88140]，”conditions“：[29]，”where“：[30]，”a“：[3110115129]，”启发式“：[32]，”is“：[33]，”guaranteed“：[34]，”to“：[35]，”work“[36]，”well。“：[37]，”This“：[38]，”has“：[39]，”not“：[40]，”been“：[41]，”possible“：[42]，”all“：[44]，”domains“：%45]，”because“：[46]，”proving“：[47]，”such“：[48]，”guaranteers“：[49]，”can“：[50]，”involve“：[51]，”combinatial“：[52,72]，”reasoning“：[53,78]，”making“：[24]，”it“：[55]，”hard，“：[56]，”繁琐“：[57]，”容易出错。“：[59]，”this“：[61]，”paper“：[62]，”we“：[63,98]，”argumer“：[64]，”that“：[65103109120142]，”computers“：66]，”should“：[67]，”help“：[68]，”human“：[69]，”with“：%70]，”part“：[73]，”of“：[74139]，”reasoning。“：[75]，“我们”：[76]，“模型”：[77]，“问题”：[79]，“as”：[80]，“\u2203\u2200”：[81]，“公式”：[82]，“[1]”：[83]，“求解”：[85]，“它们”：[86]，“使用”：[87]，“反例”：[89]，“引导”：[90]，“归纳”：[91]，“综合”：[92]，“（CEGIS）”：[93]，“框架。”：[94]，如“：[95]，”初步“：[96]，”证据“：[97]，”原型“：[99]，”CCmatic“：[100]，”工具“：[102]，”半自动“：[104]，”综合“：[105]，”控制“：[107118]，”算法“：[108]，”可证明“：[11121]，”鲁棒。“：[112]，“It”：[113133]，“rediseved”：[114]，“recent”：[116]，“algorithm”：[119141]，“reaches”：[122]，“high”：[123]，“utilization”：[124]，“bounded”：[126]，“delay”：[127]，“under”：[128]，“challengesting”：[130]，“network”：131]，“model”。“：[132]，”也是“：[134]，”发现“：[135]，”先前“：[136]，”未知“：[137]，”变体“：[138]，”实现“：[143]，”不同“：[144]，”吞吐量延迟“：[145]，”权衡。“：[146]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4308966596“，”counts_by_year“：[{”年“：2023，”引用_by_count“：1}]，”更新日期“：”2024-07-07T21:49:37.501719“，”创建日期“：“2022-11-20”}