｛“id”：“https://openalex.org/W2022873700“，”doi“：”https://doi.org/10.109/icdcsw.2012.72“，”title“：“网络物理系统可执行模型的核心语言（初步报告）”，”display_name“：”网络物理系统的可执行模型核心语言（初级报告）“，”publication_year“：2012，”publiation_date“：”2012-06-01“，”ids“：{”openalex“：”https://openalex.org/W2022873700“，”doi“：”https://doi.org/10.109/icdcsw.2012.72“，”mag“：”2022873700“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/icdcsw.2012.72“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”preprint“，”type_crossref“：“procedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url发货“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5008976751“，”display_name“：”Walid Taha“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I746986“，”display_name“：”哈尔姆斯塔德大学“，”ror“：”https://ror.org/03h0qfp10“，”country_code“：”SE“，”type“：“教育”，”世系“：[”https://openalex.org/I746986“]}]，”国家“：[”SE“]，”is_corresponding“：false，”raw_author_name“：”Walid Taha“，”raw _affiliation_strings“：[“计算机科学系[休斯顿]”，“哈尔姆斯塔德大学学院”]，“affiliations”：[{“raw _afiliation_string”：“哈尔姆斯坦大学学院”，“institution_ids”：[”https://openalex.org/I746986“]}，{”raw_affiliation_string“：”计算机科学系[Houston]“，”研究所_ids“：[]}]}”，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5032919975“，”display_name“：”Paul Brauner“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“，”Paul Brauner“，”raw _affiliation_string“：[”Formal islands:foundations and applications“]，”affiliations“：[C{”raw _affiliation_string“”：“正规岛屿：基金会和应用程序”，”instITION_ids“：[]}，{”author_position“：”中间“，”作者“：{”id“：”https://openalex.org/A5010472462“，”display_name“：”Yingfu Zeng“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I74775410“，”display_name“：”莱斯大学“，”ror“：”https://ror.org/008zs3103“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I74775410“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Yingfu Zeng“，”raw _affiliation_strings“：[“莱斯大学[休斯顿]”]，”affiliations“：[{”raw _affiliation_string“：”莱斯大学（休斯顿）“，”institution_ids“：[https://openalex.org/I74775410“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5068157052“，”display_name“：”Robert Cartwright“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“，”raw _affiliation_string“：[”计算机科学部[休斯顿]“]，”affiliations“：”[{“raw_affilition_string”：“计算机科学部[Houston]”，”instistation_ids“：[]}，{“author_position”：“”中间“，”作者“：{”id“：”https://openalex.org/A5080469731“，”display_name“：”Ver\u00f3nica Gaspes“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I746986“，”display_name“：”哈尔姆斯塔德大学“，”ror“：”https://ror.org/03h0qfp10“，”country_code“：”SE“，”type“：“教育”，”世系“：[”https://openalex.org/I746986“]}]，”国家“：[”SE“]，”is_corresponding“：false，”raw_author_name“：”Veronica Gaspes“，”raw _ afiliation_strings“：[“哈尔姆斯塔德大学学院”]，”affiliations“：[{”raw_ afiliation _string“：”哈尔姆斯塔大学学院“，”institution_ids“：[https://openalex.org/I746986“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5039171820“，”display_name“：”Aaron D.Ames“，”orcid“：”https://orcid.org/0000-0003-0848-3177“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Aaron Ames“，”raw _ afiliation_strings“：[”计算机科学与工程系[Tamu]“]，”从属关系“：[{”raw_ afiliation _string“：”计算机科学和工程系[Tamu]“，”机构id“：[]}”，{“author_position”：“last”，“author”：{“id”https://openalex.org/A5049005547“，”display_name“：”Alexandre Chapoutot“，”orcid“：”https://orcid.org/0000-0002-7230-0710“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”亚历山大·查普特“，”raw _ afiliation_strings“：[”S\u00fbret\u00e9 et Fiabilit \u00e 9 des Logiciels“]，”从属关系“：[{”raw _affiliation_string“：”S\u 00fbret \u00e_9 et Fiabilit \u 00e9 des物流“，”机构ID“：[]}]，”count ries_distinct_count“：2，”institutions_distinct_count“：2，”corresponding_author_ids“：[]，”correcponding_institution_ids”：[]、“apc_list”：null，“apc_payed”：nully，“fwci”：null，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count”：18，“citected_by_percentile_year”：{“min”：90，“max”：91}，“biblio”:{“volume”：null，“issue”：null，“first_page”：nul，“last_page”：null}，“is_retracted”：false，“is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10904“，”display_name“：”可重构计算系统和设计方法“，”score“：0.9992，”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/T10904“，”display_name“：”可重构计算系统和设计方法“，”score“：0.9992，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9991，“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/T11195“，”“display_name”：“仿真建模中的优化技术”，“score”：0.999，“subfield”：{“id”：“https://openalex.org/subfields/1803“，”display_name“：”管理科学与运筹学“｝，”field“：｛”id“：”https://openalex.org/fields/18“，”display_name“：”Decision Sciences“}，”domain“：{”id“：”https://openalex.org/domains/2“，”display_name“：”社会科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/complex-adaptive-systems网站“，”display_name“：”复杂自适应系统“，”score“：0.549688}，{”id“：”https://openalex.org/keywords/hybrid-systems网站“，”display_name“：”混合系统“，”score“：0.524409}，{”id“：”https://openalex.org/keywords/modeling-and-simulation网站“，”display_name“：”建模与仿真“，”score“：0.514294}，{”id“：”https://openalex.org/keywords/reconfigurable-computing网站“，”display_name“：”可重构计算“，”score“：0.514118}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.511442}]，”concepts“：[{”id“：”https://openalex.org/C160145156，“wikidata”：https://www.wikidata.org/wiki/Q778586“，”display_name“：”Executable“，”level“：2，”score“：0.9709259}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7734061}，{”id“：”https://openalex.org/C2777212361，“wikidata”：https://www.wikidata.org/wiki/Q5127848“，”display_name“：”类（哲学）“，”级别“：2，”分数“：0.5473802}，{”id“：”https://openalex.org/C2164484，“wikidata”：https://www.wikidata.org/wiki/Q5170150（网址：https://www.wikidata.org/wiki/Q5170150）“，”display_name“：”芯（光纤）“，”level“：2，”score“：0.53846586}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.52523327}，{”id“：”https://openalex.org/C116672817，“wikidata”：https://www.wikidata.org/wiki/Q1454986“，”display_name“：”物理系统“，”level“：2，”score“：0.49641496}，{”id“：”https://openalex.org/C179768478，“wikidata”：https://www.wikidata.org/wiki/Q1120057“，”display_name“：”网络物理系统“，”level“：2，”score“：0.4632}，{”id“：”https://openalex.org/C204323151，“wikidata”：https://www.wikidata.org/wiki/Q905424“，”“display_name”“：”范围（航空）“，”级别“：2，”分数“：0.44502473}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.43117014}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.40175015}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.19009307}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.1260303}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.07998207}，{”id“：”https://openalex.org/C76155785，“wikidata”：https://www.wikidata.org/wiki/Q418“，”display_name“：”Telecommunications“，”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/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C146978453，“wikidata”：https://www.wikidata.org/wiki/Q3798668“，”display_name“：”航空航天工程“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/icdcsw.2012.72“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：false，”landing_page_url”：“https://hal.archives-ouvertes.fr/hal-00819378“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”host_organization_name“：”国家科学研究中心“，”host_organization_lineage“：[”https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://hal.science/hal-00819378“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”host_organization_name“：”国家科学研究中心“，”host_organization_lineage“：[”https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：【】，“versions”：【]，“referenced_works_count”：16，“referrenced_works”：https://openalex.org/W1500975741","https://openalex.org/W1573344143","https://openalex.org/W2000726442","https://openalex.org/W2004463571","https://openalex.org/W2049316772","https://openalex.org/W2089589666","https://openalex.org/W2095343326","https://openalex.org/W2100794359","https://openalex.org/W2122852486","https://openalex.org/W2147340401","https://openalex.org/W2153173530","https://openalex.org/W2155553330","https://openalex.org/W2167569380","https://openalex.org/W3186624155","https://openalex.org/W4206455946","https://openalex.org/W4234924236“]，”related_works“：[”https://openalex.org/W82161441","https://openalex.org/W3017360834","https://openalex.org/W2994120531","https://openalex.org/W2756692340","https://openalex.org/W2181943964","https://openalex.org/W2108326965","https://openalex.org/W2086962923","https://openalex.org/W1990602094","https://openalex.org/W1576042299","https://openalex.org/W1528423264“]，”ngrams_url“：”https://api.openalex.org/works/W2022873700/ngrams网站“，”“abstract_inverted_index”：{“Recent”：[0]，“we”：[1]，“show”：[2]，“that”：[3]，“an”：[4,73]，“expressive”：[5]，“class”：[6]，“of”：[7,22,36,43,75,85]，“mathematical”：[8]，“equations”：[9,23]，“can”：[10]，“be”：[11]，“automatically”：[12]，“translated”：[13]，“into”：[14]，“simulation”：[15]，“代码。”：[16]，“By”：[17]，“focusing”：[18]，“on”：[19]，“the”：[20,46]，“表现力“：[21]，“形成”：[24]，“来自”：[25]，“连续”：[26,49]，“函数”，：[27]，“此”：[28]，“工作”：[29]，“做”：[30]，“不”：[31]，“容纳”：[32]，“a”：[33,40,76]，“宽”：[34]，“范围”：[35]，“离散”：[37]，“行为”：[38]，“或”：[39]，“动态”：[41,66,87]，“集合”：[42]，“组件。“：[44]，”“然而，”：[45]，“交互”：[47]，“介于”：[48]，“与”：[50,60]，“混合”：[51,83]，“组件”：[52]，“in”：[53,67]，“许多”：[54]，“网络物理”：[55,88]，“域”：[56]，“is”：[57]，“高度”：[58,65,86]，“耦合”：[59]，“这样的”：[61]，“系统”：[62]，“are”：[63]，“经常”：[64]，“两者”：[68]，“尊重”。“：[69]，“This”：[70]，“paper”：[71]，“gives”：[72]，“overview”：[74]，“proposed”：[77]，“core”：[78]，“language”：[79]，“for”：[80]，“capturing”：[81]，“executable”：[82]，“models”：[84]，“systems”。“：[89]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2022873700“，”“counts_by_year”：[{“年份”：2021，”“cited_by_count”：1}，{“年”：2018，”“引用的_by_cunt”：1}，}“年度”：2017，：2012，“cited_by_count”：1}]，“updated_date”：“2024-06-27T08:21:23.862293”，“创建日期”：“2016-06-24"}