{“id”：“https://openalex.org/W1568659377“，”doi“：”https://doi.org/10.1007/978-3-642-22941-14“，”title“：“一级模块化方程组的静态平衡检查”，”display_name“：”一级模块式方程组的动态平衡检查“，”publication_year“：2011，”publitation_date“：”2011-01-01“，”ids“：{”openalex“：”https://openalex.org/W1568659377“，”doi“：”https://doi.org/10.1007/978-3-642-22941-14“，”mag“：”1568659377“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-22941-14“，”pdf_url“：空，”源“：{”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/P4310319965","https://openalex.org/P4310318900“]，”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://www.cs.nott.ac.uk/~nhn/Publications/tfp2010.pdf“，”any_repository_has_fulltext“：true}，”作者身份“：[{”author_position“：”first“，”author“：{”id“：”https://openalex.org/A5063947645“，”display_name“：”John Capper“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I142263535“，”display_name“：”诺丁汉大学“，”ror“：”https://ror.org/01ee9ar58“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I142263535“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”John Capper“，”raw_affiliation_strings“：[“英国诺丁汉大学计算机科学学院函数编程实验室#TAB#”]，”affiliations“：[{”raw_affiliation_string“：”英国诺丁汉大学计算机科学学院函数编程实验室#TAB#“，”institute_ids“：[”https://openalex.org/I142263535“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5024513946“，”display_name“：”Henrik Nilsson“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I142263535“，”display_name“：”诺丁汉大学“，”ror“：”https://ror.org/01ee9ar58“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I142263535“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Henrik Nilsson“，”raw_affiliation_strings“：[“英国诺丁汉大学计算机科学学院函数编程实验室#TAB#”]，”affiliations“：”英国诺丁汉大学计算机科学学院函数编程实验室#TAB#“，”institution_ids“：[”https://openalex.org/I142263535“]}]}]，”countries_distinact_count“：1，”institutions_disticant_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：0.536，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited _by_count“：2，”引用的_by_percentile_year“：{”最小值“：76，”max“：79}，”biblio“：{”volume“：null，”issue“：nul，”first_page“：”50“，”last_page“：”65“}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.9979，”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“：”Physical Sciences“｝｝，”topics“：[｛”id“：”https://openalex.org/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.9979，”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/T13286“，”display_name“：”Modelica Language and Simulation Environment“，”score“：0.991，”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/T10703“，”display_name“：”工作流挖掘和业务流程管理“，”score“：0.9688，”subfield“：{”id“：”https://openalex.org/subfields/1404“，”display_name“：”管理信息系统“}，”字段“：{”id“：”https://openalex.org/fields/14“，”display_name“：”商业、管理和会计“}，”域“：{”id“：”https://openalex.org/domains/2“，”display_name“：”社会科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/conformance-checking网站“，”display_name“：”一致性检查“，”score“：0.552525}，{”id“：”https://openalex.org/keywords/model-consistency“，”display_name“：”模型一致性“，”score“：0.517328}]，”concepts“：[{”id“：”https://openalex.org/C101468663，“wikidata”：https://www.wikidata.org/wiki/Q1620158“，”display_name“：”模块化设计“，”level“：2，”score“：0.83793426}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.77764404}，{”id“：”https://openalex.org/C2776235265，“wikidata”：https://www.wikidata.org/wiki/Q18392052“，”display_name“：”Fragment（logic）“，”level“：2，”score“：0.65856844}，{”id“：”https://openalex.org/C2777212361，“wikidata”：https://www.wikidata.org/wiki/Q5127848“，”display_name“：”类（哲学）“，”级别“：2，”分数“：0.5594475}，{”id“：”https://openalex.org/C189950617，“wikidata”：https://www.wikidata.org/wiki/Q937228“，”“display_name”“：”属性（哲学）“，”级别“：2，”分数“：0.55780035}，{”id“：”https://openalex.org/C26517878，“wikidata”：https://www.wikidata.org/wiki/Q228039“，”display_name“：”Key（lock）“，”level“：2，”score“：0.5517936}，{”id“：”https://openalex.org/C2779343474，“wikidata”：https://www.wikidata.org/wiki/Q3109175“，”display_name“：”Context（考古学）“，”level“：2，”score“：0.55084074}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974网址“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.54361576}，{”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.53216255}，{”id“：”https://openalex.org/C16803117，“wikidata”：https://www.wikidata.org/wiki/Q1530280“，”display_name“：”Balance（能力）“，”level“：2，”score“：0.42246625}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.41662326}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.40881047}，{”id“：”https://openalex.org/C28826006，“wikidata”：https://www.wikidata.org/wiki/Q33521“，”display_name“：”应用数学“，”level“：1，”score“：0.34255007}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.32258746｝，｛”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.2275677}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.19573385}，{”id“：”https://openalex.org/C71924100，“wikidata”：https://www.wikidata.org/wiki/Q11190“，”display_name“：”Medicine“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C151730666，“wikidata”：https://www.wikidata.org/wiki/Q7205“，”display_name“：”古生物学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”display_name“：”生态学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C38652104，“wikidata”：https://www.wikidata.org/wiki/Q3510521“，”display_name“：”计算机安全“，”level“：1，”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/C99508421，“wikidata”：https://www.wikidata.org/wiki/Q2678675“，”display_name“：”物理医学与康复“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-22941-14“，”pdf_url“：空，”源“：{”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/P4310319965","https://openalex.org/P4310318900“]，”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://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.363.8157，“pdf_url”：网址：http://www.cs.nott.ac.uk/~nhn/Publications/tfp2010.pdf“，”源“：{”id“：”https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：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://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.363.8157，“pdf_url”：网址：http://www.cs.nott.ac.uk/~nhn/Publications/tfp2010.pdf“，”源“：{”id“：”https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：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}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：9，“referrenced_works”：https://openalex.org/W1557561422","https://openalex.org/W1988138560","https://openalex.org/W2097699872","https://openalex.org/W2101085206","https://openalex.org/W2109299331","https://openalex.org/W2156938039","https://openalex.org/W3046148828","https://openalex.org/W4236915798","https://openalex.org/W4237055776“]，”related_works“：[”https://openalex.org/W4253208712","https://openalex.org/W3132641048","https://openalex.org/W2984753899","https://openalex.org/W2805502594","https://openalex.org/W2783178962","https://openalex.org/W2525971763","https://openalex.org/W2217679042","https://openalex.org/W1973480752","https://openalex.org/W1896179566","https://openalex.org/W1603677234“]，”ngrams_url“：”https://api.openalex.org/works/W1568659377/ngrams“，”“abstract_inverted_index”：{“Characterising”：[0]，“a”：[1,6,29,51,63,74,81172]，“problem”：[2]，“in”：[3,28,86108140145158]，“terms”：[4]，“of”：[5,8,15,34,45,57,76111148174177]，“system”：[7,37,64,94138]，“quations”：[9,49]，“is”：[10,50103143]，“common”：[11,52]，“to”：[12,20,54,69]，91104121162168]，“许多”：[13]，“分支”：[14]，“科学”：[16]，“和“：[17,48129]，”工程“：[18]，”到期“：[19]，”他们的“：[21]，”大小“：[22]，”这样“：[23,62]，”系统“：[24176]，”是“：[25126157]，”经常“：[26]，”描述“：[27]，”模块“：[30,70175]，”时尚“：[31]，”通过“：[32]，”组成“：[33]，”个人“：[35124]，”方程式“：[36,93113]，”碎片。“：[38]，”检查“：[39]，“the”：[40,43109146154]，“balance”：[41,71106]，“between”：[42]，“number”：[44,75]，“variables”：[46]，“（unknowns）”：[47]，“approach”：[53,84]，“early”：[55]，“detection”：[56]，“errors”：58]，“that”：[59,85]，“may”：[60]，“render”：[61]，“unsolvable”。“：[65]，”“然而，”：[66153]，“当前”：[67]，“方法”：[68]，“检查”：[72]，“有”：[73]，“限制。“：[77]，”This“：[78115]，”paper“：[79142]，”investigation“：[80]，”more“：[82]，”flexible“：[83]，”special“：[87]，”make“：[88]，”it“：[89]，”possible“：[90]，”treat“：[92]，”fragments“：[95125132]，”as“：[96]，”true“：[97]，”一流“：[98]，”entities“。“：[99]，”The“：[100136]，”central“：[101]，”idea“：[102]，”record“：[105]，”information“：[107116]，”type“：[110137]，”an“：[112]，”fragment。“：[114]，“can”：[117]，“then”：[118]，“be”：[11166]，“used”：[120]，“determine”：[122]，“if”：[123130]，“well”：[127]，“formed”，“：[128]，“composing”：[131]，“preserves”：%133]，“this”：[134141]，“property”。“：[135]，”呈现“：[139]，”开发“：[144]，”上下文“：[147]，”功能“：[149]，”混合“：[150]，”建模“：[151]，”（FHM）。“：[152]，”键“：[155]，”思想“：[156]，”否“：[159]，”方式“：[160]，”特定“：[161]，”FHM，“：[163]，”但是“：[164]，”应该“：[165]，”适用“：[167]，”任何“：[169]，”语言“：[170]，”特征“：[171]，”概念“：[173]，”等式。“：[178]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1568659377“，”counts_by_year“：[{”年“：2019，”cited_by_count“：1}，{”年份“：2014，”cited_by_count”：1}]，”更新日期“：”2024-06-28T20:03:42.579157“，”创建日期“：“2016-06-24”}