{“id”：“https://openalex.org/W4321276331“，”doi“：”https://doi.org/10.1145/3582016.358202039“，”title“：“非确定性量子程序的验证”，”display_name“：”非确定性量子计划的验证“，”publication_year“：2023，”publitation_date“：”2023-03-25“，”ids“：{”openalex“：”https://openalex.org/W4321276331“，”doi“：”https://doi.org/10.1145/3582016.358202039“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3582016.358202039“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”preprint“，”type_crossref“：“proceedings-article”，”indexed_in“：[”arxiv“，”crossref“，”datacite“]，”open_access“：{”is_oa“：真，”oa_status“：”green“，”https://doi.org/10.1145/3582016.3582039“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5022869475“，”display_name“：”袁峰“，”兽人“：”https://orcid.org/0000-0002-3097-3896}，“机构”：[{“id”：https://openalex.org/I114017466“，”display_name“：”悉尼理工大学“，”ror“：”https://ror.org/03f0f6041“，”country_code“：”AU“，”type“：“教育”，”世系“：[”https://openalex.org/I114017466“]｝]，”countries“：[”AU“]，”is_correresponsing“：false，”raw_author_name“：”Feng，Yuan“，”raw_affiation_strings“：[”澳大利亚悉尼理工大学“]｝，｛”author_position“：”last“，”author“：｛”id“：”https://openalex.org/A5077516018“，”display_name“：”Ying-Te Xu“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I114017466“，”display_name“：”悉尼理工大学“，”ror“：”https://ror.org/03f0f6041“，”country_code“：”AU“，”type“：“教育”，”世系“：[”https://openalex.org/I114017466“]}]，”国家“：[”AU“]，”is_corresponding“：false，”raw_author_name“：”Xu，Yingte“，”raw _ afiliation_strings“：[“澳大利亚悉尼理工大学”]}]“countries _ distinct_count”：1，”institutions _ disting_count“：1，“corresponding_author_ids”：[]，“correcponding_institution_ids“：[]”，“apc_list”：null，“apc _ paid”：nul，“has_fulltext”：false“cited_by_count“：0，”cited_by_percentile_year“：{”min“：0”，“max”：78}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：null，“last_page”：null}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：”{“id”：“https://openalex.org/T10682“，”display_name“：”量子计算与模拟“，”score“：0.9998，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”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/T10682“，”display_name“：”量子计算与模拟“，”score“：0.9998，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”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/T10020“，”display_name“：”量子信息与计算“，”score“：0.9988，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”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/T10622“，”“display_name”：“量子力学基础与解释”，“score”：0.9897，“subfield”：{“id”：“https://openalex.org/subfields/3107“，”display_name“：”原子分子物理与光学“}，”字段“：{”id“：”https://openalex.org/fields/31网址“，”display_name“：”物理学和天文学“}，”域“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/fault-tolerant-quantum-compution“，”display_name“：”容错量子计算“，”score“：0.509338}]，”concepts“：[{”id“：”https://openalex.org/C176181172，“wikidata”：https://www.wikidata.org/wiki/Q3490301“，”display_name“：”非确定性算法“，”level“：2，”score“：0.8303195}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7041683}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.6789748}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5258163}，{”id“：”https://openalex.org/C58053490，“wikidata”：https://www.wikidata.org/wiki/Q176555“，”display_name“：”Quantum computer“，”level“：3，”score“：0.46408483｝，｛”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.44546312}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.43105203}，{”id“：”https://openalex.org/C84114770，“wikidata”：https://www.wikidata.org/wiki/Q46344“，”display_name“：”Quantum“，”level“：2，”score“：0.36604518}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3582016.358202039“，”pdf_url“：null，”source“：null，”license“：null.，”licence_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url”：“https://arxiv.org/abs/2302.07973，“pdf_url”：https://arxiv.org/pdf/302.07973“，”源“：｛”id“：”https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”Cornell University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://api.datacite.org/dois/10.48550/arxiv.2302.07973“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4393179698“，”display_name“：”DataCite API“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I4210145204“，”“host_organization_name”：“DataCite”，“host_organization_lineage”：[“https://openalex.org/I4210145204“]，”host_organization_lineage_names“：[”DataCite“]，“type”：“metadata”}，“license”：null，“licence_id”：null，“version”：null}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1145/3582016.358202039“，”pdf_url“：null，”source“：null，”license“：null.，”licence_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：{”funder“：”https://openalex.org/F4320334704“，”funder_display_name“：”澳大利亚研究委员会“，”award_id“：”DP220102059“}]，”数据集“：[]，”版本“：[”https://openalex.org/W4321276331“]，”referenced_works_count“：20，”referrenced_works“：[”https://openalex.org/W1511826042","https://openalex.org/W1643301482","https://openalex.org/W1999626800","https://openalex.org/W2043158447","https://openalex.org/W2044357043","https://openalex.org/W2044912742","https://openalex.org/W2046441464","https://openalex.org/W2059456146","https://openalex.org/W2071747607","https://openalex.org/W2072033902","https://openalex.org/W2103953153","https://openalex.org/W2110240249","https://openalex.org/W2121087903","https://openalex.org/W2141670510","https://openalex.org/W2145862486","https://openalex.org/W2957722170","https://openalex.org/W3037143906","https://openalex.org/W3126077699","https://openalex.org/W4206043518","https://openalex.org/W589645244“]，”related_works“：[”https://openalex.org/W4247536566","https://openalex.org/W4241418540","https://openalex.org/W3119814709","https://openalex.org/W2725786787","https://openalex.org/W2404647514","https://openalex.org/W2242035652","https://openalex.org/W2018477250","https://openalex.org/W1667647204","https://openalex.org/W1574120008","https://openalex.org/W1508895727“]，”ngrams_url“：”https://api.openalex.org/works/W4321276331/ngrams“，”“abstract_inverted_index”：{“非确定性”：[0]，“选项”：[1]，“是”：[2147]，“a”：[3,9,16,32138143]，“有用”：[4,37]，“程序”：[5,17]，“构造”：[6]，“that”：[7,34]，“提供”：[8]，“方式”：[10]，“to”：[11,67102111149]，“描述”：[12]，“the”：[13,20,27,69,85118152]，“行为”：[14]，“的”：[15,22,30,51,71,81120155]，“没有”：[18]，“指定”：[19]，“细节“：[21]，”可能“：[23]，”实现。“：[24]，“It”：[25]，“supports”：[26]，“stepwise”：[28]，“refinement”：[29]，“programs”，“：[31]，“method”：[33]，“has”：[35,42,55]，“covered”：[36]，“in”：[38,46151]，“software”：[39]，“development”。“：[40]，”非决定论“：[41]，”也“：[43]，”被“：[44,56]，”引入“：[45]，”量子“：[47,53,73127131140157]，”编程“：[48]，”和“：[49,94106137]，”终止“：[50,65]，”不确定“：[52,72139156]，”程序“：[54,74]，”广泛“：[57]，”分析。“：[58]，”In“：[59]，”this“：[60]，”paper“：[61]，”we“：[62124]，”go“：[63]，”beyond“：[64]，”analysis“：[66]，”investigation“：[68]，”verification“：[70]，”where“：[75]，”property“：[76]，”are“：[77,97]，”give“：[78]，”by“：[79]，”set“：[80]，”hermitian“：[82]，”operators“：[83]，”on“：[84]，”关联“：[86]，”希尔伯特“：[87]，”空格。“：[88]，“Hoare-type”：[89]，“logic”：[90]，“systems”：[91]，“for”：[92]，“partial”：[93]，“total”：[95]，“correction”：[96]，“proposed”：[98]，“which”：[99]，“turn”：[100]，“out”：[101]，“be”：[103]，“both”：[104]，“sound”：[105]，“relative”：[107]，“complete”：[108]，“with”：%109]，“respective”：[110]，“他们”：[112]，“对应”：[113]，“语义”：[114]，“正确性”。“：[115]，“To”：[116]，“show”：[117]，“utility”：[119]，“these”：[121]，“proof”：[122144]，“systems”，“：[123]，“analysis”：[125]，“some”：[126]，“algorithms”：[128]，“such”：[129]，“as”：[130]，“error”：[132]，“correction”：[133]，“scheme”，“:134]，”Deutsch“：[135]，“算法”：[136]，“walk”。“：[141]，”最后，“：[142]，”助手“：[145]，”原型“：[146]，”实现“：[148]，”援助“：[150]，”自动化“：[153]，”推理“：[154]，”程序。“：[158]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4321276331“，”counts_by_year“：[]，”updated_date“：”2024-05-22T13:15:20.610180“，”created_date:“2023-02-18”}“