{“id”：“https://openalex.org/W1960 944592“，”doi“：”https://doi.org/10.1007/978-3-319-19249-9_23“，”title“：”通过变量变换抽象基本混合系统“，”display_name“：”基于变量变换的基本混合系统抽象“，”publication_year“：2015，”publiation_date“：”2015-01-01“，”ids“：{”openalex“：”https://openalex.org/W1960 944592“，”doi“：”https://doi.org/10.1007/978-3-319-19249-9_23“，”mag“：”1960944592“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-19249-9_23“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310319900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310319900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，“open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：http://arxiv.org/pdf/1403.7022“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5004658590“，”display_name“：”Jiang Liu“，”orcid“：”https://orcid.org/0000-0001-6281-6505}，“机构”：[{“id”：https://openalex.org/I4210123021“，”display_name“：”重庆绿色智能技术学院“，”ror“：”https://ror.org/031npqv35“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I19820366","https://openalex.org/I4210123021“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Jiang Liu“，”rau_affiliation_strings“：[“中国科学院重庆绿色与智能技术研究院重庆自动化推理与认知重点实验室”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5026435847“，”display_name“：”詹乃军“，”兽人“：”https://orcid.org/0000-0003-3298-3817}，“机构”：[{“id”：https://openalex.org/I4210128818“，”display_name“：”软件学会“，”ror“：”https://ror.org/033dfsn42“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I19820366","https://openalex.org/I4210128818“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Naijun Zhan“，”raw _affiliation_strings“：[“中国科学院软件研究所计算机科学国家重点实验室”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5067460211“，”display_name“：”赵宏斌“，”兽人“：”https://orcid.org/0000-0002-7306-3024}，“机构”：[{“id”：https://openalex.org/I4210123021“，”display_name“：”重庆绿色智能技术学院“，”ror“：”https://ror.org/031npqv35“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I19820366","https://openalex.org/I4210123021“]}]，“国家”：[“CN”]，“is_corresponding”：false，“raw_author_name”：“Hengjun Zhao”，“raw关联字符串”：[中国科学院重庆绿色与智能技术研究院重庆自动化推理与认知重点实验室”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5006184120“，”display_name“：”梁邹“，”orcid“：”https://orcid.org/0000-0001-7322-5735}，“机构”：[{“id”：https://openalex.org/I4210128818“，”display_name“：”软件学会“，”ror“：”https://ror.org/033dfsn42“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I19820366","https://openalex.org/I4210128818“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Liang Zou“，”raw_affiliation_strings“：[“中国科学院北京软件研究所计算机科学国家重点实验室”]}]“countries_distict_count”：1，“institutions_distinct_count”：2，“corresponding_author_ids”：[]，“correcponding_institution_ids“：[]”，“apc_list”：{“value”：5000，“货币“：”EUR“，”value_usd“：5392，”出处“：”doaj“}，”apc_payed“：{”value“：5000，”货币“：“EUR”，”value_ usd“:5392，“出处”：“doaj”}，“has_fulltext”：false，“cited_by_count”：33，“citecd_by_percentile_year”：{“min”：94，“max”：95}，‘biblio’：{‘volume’：null，“issue”：null，“first_page”：“360”，“last_page“：”377“}，”is_retracted“：false，”is_paratext“：false，”主主题“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“｝，”field“：｛”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.9999，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“｝，”field“：｛”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9956，”subfield“：{”id“：”https://openalex.org/subfields/1712“，”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/T10933“，”“display_name”：“嵌入式系统中的实时调度”，“score”：0.99，“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/keywords/hybrid-systems网站“，”display_name“：”Hybrid Systems“，”score“：0.59781｝，｛”id“：”https://openalex.org/keywords/probabilistic-systems网站“，”display_name“：”概率系统“，”score“：0.520021}，{”id“：”https://openalex.org/keywords/embedded-systems网站“，”display_name“：”嵌入式系统“，”score“：0.518394}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.505512}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8376053}，{”id“：”https://openalex.org/C124304363，“wikidata”：https://www.wikidata.org/wiki/Q673661“，”display_name“：”抽象“，”level“：2，”score“：0.58922225}，{”id“：”https://openalex.org/C42812，“wikidata”：https://www.wikidata.org/wiki/Q1082910“，”display_name“：”分区（数论）“，”level“：2，”score“：0.49465486}，{”id“：”https://openalex.org/C192034797，“wikidata”：https://www.wikidata.org/wiki/Q3502995“，”display_name“：”无法确定问题“，”level“：3，”score“：0.4496697}，{”id“：”https://openalex.org/C50897621，“wikidata”：https://www.wikidata.org/wiki/Q2665508“，”display_name“：”混合系统“，”level“：2，”score“：0.4196217}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.41945937}，{”id“：”https://openalex.org/C72434380，“wikidata”：https://www.wikidata.org/wiki/Q230930“，”display_name“：”状态空间“，”level“：2，”score“：0.41083893}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.115148544}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C119857082，“wikidata”：https://www.wikidata.org/wiki/Q2539“，”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}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-19249-9_23“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310319900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310319900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://arxiv.org/abs/1403.7022，“pdf_url”：http://arxiv.org/pdf/1403.7022，“源”：{“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”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.715.7048（英文），“pdf_url”：http://lcs.ios.ac.cn/%7Eznj/papers/fm15.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://arxiv.org/abs/1403.7022，“pdf_url”：http://arxiv.org/pdf/1403.7022，“源”：{“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“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：29，“referrenced_works”：https://openalex.org/W1489501223","https://openalex.org/W1495313603","https://openalex.org/W1523211942","https://openalex.org/W1606346370","https://openalex.org/W172589331","https://openalex.org/W1951485590","https://openalex.org/W1967073510","https://openalex.org/W1995691455","https://openalex.org/W1999629321","https://openalex.org/W1999913571","https://openalex.org/W2000040887","https://openalex.org/W2005188216","https://openalex.org/W2006705367","https://openalex.org/W2008288068","https://openalex.org/W2033118636","https://openalex.org/W2052385429","https://openalex.org/W2060369194","https://openalex.org/W2091208171","https://openalex.org/W2094434555","https://openalex.org/W2102696258","https://openalex.org/W2129729773","https://openalex.org/W2130705439","https://openalex.org/W2131332110","https://openalex.org/W2154679417","https://openalex.org/W2182451272","https://openalex.org/W2312849699","https://openalex.org/W2414119487","https://openalex.org/W3021664313","https://openalex.org/W634869298“]，”related_works“：[”https://openalex.org/W88291087","https://openalex.org/W273478400","https://openalex.org/W2141659482","https://openalex.org/W2130642229","https://openalex.org/W2125797022","https://openalex.org/W2120230527","https://openalex.org/W1802268423","https://openalex.org/W1536365843","https://openalex.org/W1535620068","https://openalex.org/W1490819493“]，”ngrams_url“：”https://api.openalex.org/works/W1960 944592/ngrams网站“，”“abstract_inverted_index”：{“Elemental”：[0]，“hybrid”：[1,6,83]，“systems”：[2,7,84]，“（EHS）”：[3]，“are”：[4,20]，“these”：[5]，“HSs”：[8]，“containing”：[9]，“elemental”（HSs）：[10]，“functions”：[11]，“such”：[12]，“as”：[13]，“exp，”：[14]，“ln，”“：[15]，”“sin，“：[16]，”cos，“：[17]，”etc.“：[18]，”EHS“：[19,41,80,99148]，”very“：[21,43]，”common“：[22]，”in“：[23,26144]，”实践，“：[24]，”尤其是“：[25]，”安全关键“：[27]，”域。“：[28]，”“Due”：[29]，”to“：[30,36,81102109120128]，”the“：[31,51,96103112130138]，”non-olynomial“：[32,89]，”expressions“：[33]，”which“：[34]，”lead“：[35]，”undetedible“：[37]，”algorithmic“：[38]，”verification“：[39,97114146]，”of“：[40,50,56,98105132147]，”is“：[42100126]，”hard。“：[44]，“现有”：[45]，“方法”：[46]，“基于”：[47]，“on”：[48]，“分区”：[49]，“状态”：[52,61]，“空格”：[53,62]，“或”：[54,64]，“过度近似”：[55]，“可达”：[57]，“集合”：[58]，“遭受”：[59]，“来自”：[60]，“爆炸”：[63]，“通货膨胀”：[65]，“数值”：[67]，“错误”。“：[68]，”In“：[69122]，”this“：[70123]，”paper“：[71]，”we“：/72]，”propose“：[73]，”a“：[74]，”符号“：[75]，”抽象“：[76139]，”approach“：77140]，”that“：[78]，”reduced“：[79]，”多项式“：[82]，”（PHS），“：[85]，”by“：[86149]，”replacement“：[87]，”all“：[88111]，”terms“：[90]，“with”：[91]，“new”：/92]，“introduced”：[93]，“variables”。“：[94]，”South“：[95]，”reduced“：[101]，”one“：[104]，”PHS“：[106]，”enabled“：[107]，”us“：[108]，”apply“：[110]，”well-stable“：[113]，”technologies“：[115]，”and“：[11614]，”tools“：[117]，”for“：[118]，”phS“：/119]，”EHS。“：[121]，”方式“：[124]，”it“：[125]，”可能“：[127]，”避免“：[129]，”限制“：[131]，”许多“：[133]，”现有“：[134]，”方法。“：[135]，”我们“：[136]，”图解“：[137]，”它的“：[142]，”应用程序“：[143]，”安全“：[145]，”几个“：[150]，”真实“：[151]，”世界“：[152]，”示例。“：[153]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1960 944592“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：1}，{“年度”：2022，”“cited_by_cunt”：6}，}“年份“：2021，”年份“：2016，”引用_ by_count“：5}，{“年份”：2015，”引用_by_counts“：1}]，”更新日期“：”2024-05-09T21:16:37.907512“，”创建日期“：”2016-06-24“}