｛“id”：“https://openalex.org/W2035981707“，”doi“：”https://doi.org/10.1006/jsco.1997.0122“，”title“：”Simulation and Optimization by Quantifier Elimination“，”display_name“：”Imulation and Optimization by Quantifer Eliminance“，”publication_year“：1997，”publitation_date“：”1997-08-01“，”ids“：{”openalex“：”https://openalex.org/W2035981707“，”doi“：”https://doi.org/10.1006/jsco.1997.0122“，”mag“：”2035981707“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/jsco.1997.0122“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S18904315“，”display_name“：”符号计算杂志“，”issn_l“：”0747-7171“，”isn“：[”07477771“，”1095-855X“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜“，”oa_url“：”https://doi.org/10.1006/jsco.1997.0122“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5021163047“，”display_name“：”Volker Weispfenning“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I186354981“，”display_name“：”帕索大学“，”ror“：”https://ror.org/05ydjnb78“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I186354981“]}]，”国家“：[”DE“]，”is_corresponding“：true，”raw_author_name“：”VOLKER WEISPFENNING“，”raw_affiliation_strings“：[“Lehrstuhl f\u00fcr Mathematik，University\u00e4t Passau，Passau；D-94030 Passau 94030 Passau，德国“，”机构ID“：[”https://openalex.org/I186354981“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5021163047“]，”对应的机构ID“：[”https://openalex.org/I186354981“]，”apc_list“：{”value“：2770，”currency“：”USD“，”value_USD“：27700，”provenance“：”doaj“}，”apc _payed“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：72，”citted_by_percentile_year“：”{“min”：95，“max”：96}，“biblio”：{“volume”：“24”，“issue”：“2”，“first_page”：“189”，”last_page“：”208“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”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/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/T11435“，”“display_name”：“代数几何和密码学中的符号计算”，“score”：0.9917，“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/T10791“，”display_name“：”工业过程中的模型预测控制“，”score“：0.9772，”subfield“：｛”id“：”https://openalex.org/subfields/2207“，”display_name“：”控制与系统工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/real-time优化“，”display_name“：”实时优化“，”score“：0.603022}，{”id“：”https://openalex.org/keywords/optimization网站“，”display_name“：”优化“，”score“：0.602492}，{”id“：”https://openalex.org/keywords/symbolic-computing网站“，”display_name“：”符号计算“，”score“：0.523007}，{”id“：”https://openalex.org/keywords/constraint-handling“，”display_name“：”约束处理“，”score“：0.520747}，{”id“：”https://openalex.org/keywords/多元多项式“，”display_name“：”多元多项式“，”score“：0.512889}]，”concepts“：[{”id“：”https://openalex.org/C32278780，“wikidata”：https://www.wikidata.org/wiki/Q1849020“，”display_name“：”量词消除“，”level“：2，”score“：0.76021665}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.63963187}，{”id“：”https://openalex.org/C126255220，“wikidata”：https://www.wikidata.org/wiki/Q141495“，”display_name“：”数学优化“，”level“：1，”score“：0.5704517}，{”id“：”https://openalex.org/C2776045410，“wikidata”：https://www.wikidata.org/wiki/Q2511241“，”display_name“：”参数编程“，”level“：3，”score“：0.5554371}，{”id“：”https://openalex.org/C41045048，“wikidata”：https://www.wikidata.org/wiki/Q202843（网址：https://www.wikidata.org/wiki/Q202843）“，”display_name“：”线性编程“，”level“：2，”score“：0.55317885｝，｛”id“：”https://openalex.org/C17095337，“wikidata”：https://www.wikidata.org/wiki/Q2375229“，”display_name“：”分段线性函数“，”level“：2，”score“：0.52056843}，{”id“：”https://openalex.org/C117251300，“wikidata”：https://www.wikidata.org/wiki/Q1849855“，”display_name“：”参数统计“，”level“：2，”score“：0.48424265}，{”id“：”https://openalex.org/C84135550，“wikidata”：https://www.wikidata.org/wiki/Q3154022“，”display_name“：”线性不等式“，”level“：3，”score“：0.4665781}，{”id“：”https://openalex.org/C45374587，“wikidata”：https://www.wikidata.org/wiki/Q12525525“，”display_name“：”计算“，”级别“：2，”分数“：0.45925257}，{”id“：”https://openalex.org/C185798385，“wikidata”：https://www.wikidata.org/wiki/Q1161707“，”display_name“：”基准（测量）“，”level“：2，”score“：0.43801695}，{”id“：”https://openalex.org/C9019067，“wikidata”：https://www.wikidata.org/wiki/Q43260“，”display_name“：”多项式“，”level“：2，”score“：0.41923273}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.34209663}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.12808228}，{”id“：”https://openalex.org/C45555294，“wikidata”：https://www.wikidata.org/wiki/Q28113351“，”display_name“：”不平等“，”等级“：2，”分数“：0.091198534}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：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/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C13280743，“wikidata”：https://www.wikidata.org/wiki/Q131089“，”display_name“：”大地测量学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C205649164，“wikidata”：https://www.wikidata.org/wiki/Q1071“，”display_name“：”Geography“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/jsco.1997.0122“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S18904315“，”display_name“：”符号计算期刊“，”issn_l“：”0747-7171“，”issn“：[”0747-7171“，”1095-855X“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/jsco.1997.0122“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S18904315“，”display_name“：”符号计算杂志“，”issn_l“：”0747-7171“，”isn“：[”07477771“，”1095-855X“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：〔]，”versions“：[〕，”referenced_works_count“：22，”reforenced_works“：[”https://openalex.org/W1588259836","https://openalex.org/W1930661832","https://openalex.org/W1963547452","https://openalex.org/W1966161069","https://openalex.org/W1969666399","https://openalex.org/W1975351987","https://openalex.org/W1986264093","https://openalex.org/W2001255903","https://openalex.org/W2007074311","https://openalex.org/W2007600823","https://openalex.org/W2013702670","https://openalex.org/W2032951732","https://openalex.org/W2040951317","https://openalex.org/W20545773832","https://openalex.org/W2056219099","https://openalex.org/W2081722299","https://openalex.org/W2081771167","https://openalex.org/W2104445255","https://openalex.org/W2104715607","https://openalex.org/W2143693303","https://openalex.org/W2318318384","https://openalex.org/W642313811“]，”related_works“：[”https://openalex.org/W3173321515","https://openalex.org/W3123050985","https://openalex.org/W2784100870","https://openalex.org/W2369734084","https://openalex.org/W2354774539","https://openalex.org/W2111110449","https://openalex.org/W2035981707","https://openalex.org/W2007464938","https://openalex.org/W1990380242","https://openalex.org/W1972615387“]，”ngrams_url“：”https://api.openalex.org/works/W2035981707/ngrams“，”“abstract_inverted_index”：{“We”：[0148]，“present”：[1,34149]，“a”：[2,13105108117150]，“highly”：[3]，“optimized”：[4]，“method”：[5,26,35130]，“for”：[6,98121131153163180]，“the”：[7,24,29,33,53,58,64,85,93102127136174]，“exclumination”：[8,54129156161]，“of”：[9,16,32,66,70,95104107142176]，“linear”：[10,81133144165182]，“变量“：[11,86100]，”from“：[12170]，”布尔“：[14]，”组合“：[15]，”多项式“：[17]，”方程“：[18]，”和“：[19101158]，”不等式。“：[20]，”In“：[21]，”contrast“：[22]，”to“：[23,48,87135]，”basic“：[25]，”descripted“：[27]，”earlier“，：[28]，”practical“：[30]，”applicability“：[31]，”gos“：[36]，”far“：[37]，”beyond“：[38]，”学术“：[39]，”examples。“：[40]，“The”：[41,60111]，“optimization”：[42]，“is”：[43]，“reactived”：[44]，“by”：[45,57139]，“variable”：[46]，“strategies”：[47]，“prune”：[49]，“superfuluus”：[50]，“branches”：[51]，“in”：[52,84116]，“tree”：[55]，“constructed”：[56]，“method”。“：[59]，”主要“：[61]，”应用程序“：[62]，”关注点“：[63]，”模拟“：[65]，”大型“：[67]，”技术“：[68]，”网络“：[69]，”（电气，“：[71]，”机械“：[72]，”或“：[73]，”液压）“：[74]，”组件“：[75]，”其“：[76]，”特征“：[77]，”曲线“：[78]，”是“：[79,92113]，”分段“：[80]，“（or”：[82]，“二次）”：[83]，“be”：[88]，“消除。“：[89]，”典型“：[90]，”目标“：[91]，”计算“：[94]，”允许“：[96]，”范围“：[97]，”确定“：[99]，”检测“：[103]，”故障“：[106]，”网络“：[109]，”组件。“：[110]，”算法“：[112]，”当前“：[114]，”已使用“：[115]，”商业“：[118]，”软件“：[119]，”系统“：[120]，”工业“：[122]，”应用程序。“：[123]，”此外，“：[124]，”我们“：[125]，”扩展“：[126]，”作者“：[128]，”参数“：[132143164]，”编程“：[134183]，”非凸“：[137]，”案例“：[138]，”允许“：[140]，”任意和\u2013orcombinations“：[141]，”不等式“：[145]，”作为“：[146]，”约束。“：[147]，”新“：[151]，”策略“：[152178]，”查找“：[154]，”较小“：[155160]，”集合“：[157]，”因此“：[159]，”树“：[162]，”编程。“：[166]，”Some“：[167]，”benchmark“：[168]，”examples“：[169]，”thenetlibrary“：[171]，”oflproblems“：[172]，”show“：[173]，”significance“：[175]，”this“：[177]，”even“：[179]，”凸“：[181]，”problems“。“：[184]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2035981707“，”“counts_by_year”：[{“年份”：2021，”“cited_by_count”：1}，{“年度”：2019，”“cited_by_cunt”：1'，{”“年份”:2018，”：2012，“cited_by_count”：2}]，“updated_date”：“2024-06-17T18:34:33.907915”，“创建日期”：“2016-06-24"}