{“id”：“https://openalex.org/W2097364072“，”doi“：”https://doi.org/10.1007/978-3-642-39799-8_33“，”title“：“单调多项式系统上Newton\u2019s方法的上界，概率一计数器自动机的P-Time模型检查”，”display_name“：”单调多项式系统的Newton\u 2019s法的上界以及概率一计数器自动机的P-Time模型检查“，”publication_year“：2013，”publiation_date“：”2013-01-01“，”ids“：{”openalex“：”https://openalex.org/W2097364072“，”doi“：”https://doi.org/10.1007/978-3-642-39799-8_33“，”mag“：”2097364072“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-642-39799-8_33，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-642-39799-8_33.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/978-3-642-39799-8_33.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5083699810“，”display_name“：”Alistair Stewart“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I98677209“，”display_name“：”爱丁堡大学“，”ror“：”https://ror.org/01nrxwf90“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I98677209“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Alistair Stewart“，”raw _ afiliation_strings“：[“英国爱丁堡大学信息学院”]，”affiliations“：[{”raw _affiliation_strong“：”英国爱丁伯格大学信息学院“，”institution_ids“：[https://openalex.org/I98677209“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5003946901“，”display_name“：”Kousha Etessami“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I98677209“，”display_name“：”爱丁堡大学“，”ror“：”https://ror.org/01nrxwf90“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I98677209“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Kousha Etessami“，”raw _ affiliation_strings“：[“英国爱丁堡大学信息学院”]，”affiliation“：[{”raw _affiliation_string“：”英国爱丁伯格大学信息学院“，”institution_ids“：[https://openalex.org/I98677209“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5043084405“，”display_name“：”Mihalis Yannakakis“，”orcid“：”https://orcid.org/0000-0003-2857-1860}，“机构”：[{“id”：https://openalex.org/I78577930“，”display_name“：”哥伦比亚大学“，”ror“：”https://ror.org/00hj8s172“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I78577930“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Mihalis Yannakakis“，”raw _ afiliation_strings“：[“美国哥伦比亚大学计算机科学系”]，”affiliations“：[{”raw _affiliation_strong“：”美国哥伦比亚大学计算科学系“，”institution_ids“：]”https://openalex.org/I78577930“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：3.093，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_b y_count“：7，”cited_by_percentile_year“：{”min“：85，”max“：86}，”biblio“：{”volume“：null，”issue“：nul，”first_page“：”495“，”last_page“：”510“}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9998，“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.9998，“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/T12072“，”“display_name”：“机器学习研究中的主动学习”，“score”：0.9984，“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/T10720“，”display_name“：”组合优化与复杂性理论“，”score“：0.9977，”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/probabilistic-systems网站“，”display_name“：”概率系统“，”score“：0.566646}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.551073}，{”id“：”https://openalex.org/keywords/近似算法“，”display_name“：”近似算法“，”score“：0.543381}，{”id“：”https://openalex.org/keywords/matrix-乘法“，”display_name“：”矩阵乘法“，”score“：0.52619}，{”id“：”https://openalex.org/keywords/组合优化“，”display_name“：”组合优化“，”score“：0.525296}]，”concepts“：[{”id“：”https://openalex.org/C2834757，“wikidata”：https://www.wikidata.org/wiki/Q4925424“，”display_name“：”单调多边形“，”level“：2，”score“：0.6649488}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.64988184｝，｛”id“：”https://openalex.org/C136625980，“wikidata”：https://www.wikidata.org/wiki/Q663208“，”display_name“：”舍入“，”level“：2，”score“：0.5690647}，{”id“：”https://openalex.org/C77553402，“wikidata”：https://www.wikidata.org/wiki/Q13222579“，”display_name“：”上下限“，”level“：2，”score“：0.5645419}，{”id“：”https://openalex.org/C57869625，“wikidata”：https://www.wikidata.org/wiki/Q1783502“，”display_name“：”收敛速度“，”level“：3，”score“：0.48184693}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.47441432}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.46917015}，{”id“：”https://openalex.org/C49937458，“wikidata”：https://www.wikidata.org/wiki/Q2599292“，”display_name“：”概率逻辑“，”level“：2，”score“：0.4630039}，{”id“：”https://openalex.org/C14036430网址，“wikidata”：https://www.wikidata.org/wiki/Q3736076“，”display_name“：”Function（biology）“，”level“：2，”score“：0.44526428}，{”id“：”https://openalex.org/C85189116，“wikidata”：https://www.wikidata.org/wiki/Q374195“，”display_name“：”牛顿法“，”level“：3，”score“：0.4155544}，{”id“：”https://openalex.org/C28826006，“wikidata”：https://www.wikidata.org/wiki/Q33521“，”display_name“：”应用数学“，”level“：1，”score“：0.35294193}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.15152699}，{”id“：”https://openalex.org/C158622935，“wikidata”：https://www.wikidata.org/wiki/Q660848“，”display_name“：”非线性系统“，”level“：2，”score“：0.09978357}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C127162648，“wikidata”：https://www.wikidata.org/wiki/Q16858953“，”display_name“：”频道（广播）“，”级别“：2，”分数“：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/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：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/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944网址“，”display_name“：”量子力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C78458016，“wikidata”：https://www.wikidata.org/wiki/Q840400“，”display_name“：”进化生物学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-642-39799-8_33，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-642-39799-8_33.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/978-3-642-39799-8_33，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-642-39799-8_33.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“：[{”display_name“：”和平、正义和强大的机构“，”“score”：0.54，“id”：“”https://metadata.un.org/sdg/16“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：17，”referrenced_works“：【”https://openalex.org/W1256121109","https://openalex.org/W1483073639","https://openalex.org/W1602747308","https://openalex.org/W1966861855","https://openalex.org/W1972203711","https://openalex.org/W2005059149","https://openalex.org/W2040721698","https://openalex.org/W2062573385","https://openalex.org/W2097364072","https://openalex.org/W2133667894","https://openalex.org/W2142921329","https://openalex.org/W2148701797","https://openalex.org/W3082353674","https://openalex.org/W391578156","https://openalex.org/W4245668478","https://openalex.org/W4253707970","https://openalex.org/W4297962570“]，”related_works“：[”https://openalex.org/W820719587","https://openalex.org/W2951977842","https://openalex.org/W2951610245","https://openalex.org/W2350164269","https://openalex.org/W2150672947","https://openalex.org/W2081116272","https://openalex.org/W2079429671","https://openalex.org/W2061089925","https://openalex.org/W1974617046","https://openalex.org/W1971591265“]，”ngrams_url“：”https://api.openalex.org/works/W2097364072/ngrams网站“，”abstract_inverted_index“：{”A“：[0]，”central“：[1]，”计算“：[2]，”问题“：[3]，”for“：[4,88112125137200219265]，”analysis“：[5]，”and“：[6,28,38,72,99190247277]，”model“：[7262267]，”checking“：[8]，”variable“：[9]，”classes“：[10114127]，”of“：[11,35,54,6179109115128154160165183197216236240263274]]，“无限状态”：[12]，“递归“：[13,29]，”概率“：[14,25279]，”系统“：[15]，”（包括“：[16]，”准生灭“：[17]，”进程“：[18,21]，”多类型“：[19]，“分支”：[20]，“随机”：[22]，“上下文无关”：[23]，“语法”：[24]，“下推”：[26]，“自动机”：[27]，“马尔可夫”：[30]，“链”：[31]，“is”：[32]，““：[33,48,85106151161166185195241259]，”计算“：[34]，“终止”：[36]，“概率”：[37]，“计算”：[39,47]，“这些”：[40]，“可能性”：[41]，“in”：[42234]，“turn”：[43]，“沸腾”：[44]，“向下”：[45]，“到”：[46,84134207209269284]，”最小值：[49]，“固定”：[50]，“点”：[51]，“（LFP）”：[52]，“解”：[53,87225]，“a”：[55,76,93158181]，“对应”：[56]，“单调”：[57]，“多项式”：[58]，“系统”：[59]，“（MPS）”：[60]，“方程”，“：[62]，“表示”：[63]，“x”：[64169]，“=”：[65170]，“P（x）.”：[66171]，“It”：[67]，“was”：[68]，“shown”：[69]，“by”：[70]，“Etessami”：[71]，“Yannakakis”：[73]，“[11]”：[74]，“that”：[75,91]，“分解”：[77]201]，“变量”：[78]，“牛顿\u2019s”：[80110155202]，“方法”：[81111156203]，“收敛”：[82]，“单调”：[83]，“LFP”：[86224]，“any”：[89285]，“MPS”：[90222]，“has”：[92]，“non-negative”：[94]，“solution.”：[95]，“Sequency”，“：[96]，“Esparza”，“:[97]，“Kiefer”：[98]，“Luttenberger”：[100]，“[7]”：[101]，“getated”：[102124]，“upper”：[103120144178229245]，“bounds”：[104121145230]，“on”：[105150194249]，“收敛”：[107152]，“速率”：[108153]，“确定”：[113]，“MPS.”：[116]，“更多”：[117]，“最近”：[118]，“更好”：[119]，“有”：[122]，“一直”：[123]，“特别”：[126]，“MPS”：[129]，“（[10，”：[130]，“9]）。[141]，“MPSs”：[142]，“no”：[143]，“at”：[146]，“all”：[147]，“was”：[148]，“known”：[149]，“as”：[157180]，“function”：[159182]，“encoding”：[162187]，“size”：[163188]，“|P|”：[164]，“input”：[167186]，“MPS，”：[168]，“In”：[172]，“paper”：[174]，“we”：[175252]，“provide”：%176]，“worst-case”：177]，“bounds”：[179246]，“toth”：[184]，“| P|，”：%189]，“\uu 03b5“：[191213]，”>“：[192214]，”0“，”：[193]，“数字”：[196]，“迭代次数”：[198]，“必需”：[199]，“（偶数”：[204]，“with”：[205223282]，“bounding）”：[206]，“converge”：[208]，“within”：[210270]，“additive”：[211]，“error”：[212]，“0”：[215]，“q”：[217226]，“*”，“an”：[220]，“*.”：[227]，“Our”：228]，“：[237]，”重要“：[238]，”参数“：[239]，”问题。“：[242]，”使用“：[243]，”我们的“：[244]，”建筑“：[248]，“工作”，：[251]，“获取”：[253]，“第一个”：[255]，“P时间”：[256]，“算法”：[257]，“（in”：[258]，“标准”：[260]，“图灵”：[261]，“计算”：[264]，“定量”：[266]，“检查”：[268]，“期望”：[272]，“精度”：[273]，“离散时间”：275]，“QBDs”：[276]，“等价）“：[278]，”1-计数器“：[280]，”自动机“：[281]，”尊重“：[283]，”（固定）“：[2086]，“\u03c9-regular”：[287]，“或”：[288]，“LTL”：[289]，“属性。”：[290]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=引用：W2097364072“，”counts_by_year“：[{”年“：2015，”cited_by_count“：2}，{”年份“：2014，”cited_by_count”：3}，“年份”：2013，”citecd_by_count“：2]，”更新日期“：”2024-06-28T21:53:14.892276“，”创建日期“：“2016-06-24”}