{“id”：“https://openalex.org/W239033316“，”doi“：”https://doi.org/10.109/hase.2017.10“，”title“：“使用统计模型检查对联锁系统进行验证”，”display_name“：“利用统计模型检查验证联锁系统”，”publication_year“：2017，”publiation_date“：”2017-01-01“，”ids“：{”openalex“：”https://openalex.org/W239033316“，”doi“：”https://doi.org/10.109/hase.2017.10“，”mag“：”239033316“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/hase.2017.10“，”pdf_url“：null，”source“：nul，”license“：null/”license_id“：nulse，”version“：null，”is_accepted“：false，”is_published“：false}，”type“：”preprint“，”type_crossref“：“procedings-article”，”indexed_in“：[”arxiv“，”crossref“，”datacite“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”https://hal.science/hal-01591338/document“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5065781444“，”display_name“：”Quentin Cappart“，”orcid“：”https://orcid.org/0000-0002-8742-0774}，“机构”：[{“id”：https://openalex.org/I95674353“，”display_name“：”UCLouvain“，”ror“：”https://ror.org/02495e989“，”country_code“：”BE“，”type“：“教育”，”世系“：[”https://openalex.org/I95674353“]}]，”国家“：[”BE“]，”is_corresponding“：false，”raw_author_name“：”Quentin Cappart“，”raw _affiliation_strings“：[“UCL-University \u00e9 Cathodilique de Louvain=鲁汶天主教大学（Place de l'University \ u00e9-1348 Louvain-La-Neuve-Belgium）”]，“afliations”：[{“raw_affiliation _string”：“UCL-University\u00e9 Cathodilique de Louvain=鲁汶天主教大学（Place de l'University \u00e 9 1-1348 Louvain-La-Neuve-比利时）“，”institution_ids“：[”https://openalex.org/I95674353“]｝]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5069084700“，”display_name“：”Christophe Limbr\u00e9e“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I95674353“，”display_name“：”UCLouvain“，”ror“：”https://ror.org/02495e989“，”country_code“：”BE“，”type“：“教育”，”世系“：[”https://openalex.org/I95674353“]}]，”国家“：[”BE“]，”is_corresponding“：false，”raw_author_name“：”Christophe Limbree“，”raw _affiliation_strings“：[“UCL-University \u00e9 Cathodilique de Louvain=鲁汶天主教大学（Place de l'University \ u00e91-1348 Louvain-La-Neuve-Belgium）”]，”从属关系“：[{”raw_affiliation_string“：”UCL-University\u00e9 Cathodilique de Louvain=鲁汶天主教大学（Place de l'University \u00e 9 1-1348 Louvain-La-Neuve-比利时）“，”institution_ids“：[”https://openalex.org/I95674353“]｝]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5065393744“，”display_name“：”Pierre Schaus“，”orcid“：”https://orcid.org/0000-0002-3153-8941}，“机构”：[{“id”：https://openalex.org/I95674353“，”display_name“：”UCLouvain“，”ror“：”https://ror.org/02495e989“，”country_code“：”BE“，”type“：“教育”，”世系“：[”https://openalex.org/I95674353“]}]，”国家“：[”BE“]，”is_corresponding“：false，”raw_author_name“：”Pierre Schaus“，”raw _affiliation_strings“：[“UCL-University \u00e9 Cathodilique de Louvain=鲁汶天主教大学（Place de l'University \ u00e9-1348 Louvain-La-Neuve-Belgium）”]，“afliations”：[{“raw_affiliation _string”：“UCL-University\u00e9 Cathodilique de Louvain=鲁汶天主教大学（Place de l'University\fu00e9-1348 Louvain-La-Neuve-比利时）“，”institution_ids“：[”https://openalex.org/I95674353“]｝]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5034198109“，”display_name“：”Jean Quilbeuf“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I2802519937“，”display_name“：”Institute de Recherche en Informatique et Syst\u00e8mes Al\u00e 9atoires“，”ror“：”https://ror.org/00myn0z94“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802“]}，{”id“：”https://openalex.org/I2802204017“，”display_name“：”南布列塔尼大学“，”ror“：”https://ror.org/04ed7fw48“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I2802204017“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Jean Quilbeuf“，”raw _affiliation_strings“：[“ArchWare（IRISA，University\u00e9 de Bretagne-Sud，Campus de Tohannic，56017 Vannes-France）”，“TAMIS-信息安全威胁分析和缓解（Campus d de Beaulieu\r\n35042 Rennes cedex-France，”]，“affiliations”：[{“raw_affiliation_string“：”ArchWare（IRISA，University\u00e9 de Bretagne-Sud，Campus de Tohannic，56017 Vannes-France）“，”institution_ids“：[”https://openalex.org/I2802519937","https://openalex.org/I2802204017“]}，{”raw_affiliation_string“：”TAMIS-信息安全威胁分析和缓解（Campus de Beaulieu\r\n35042 Rennes cedex-France）“，”institution_ids“：[]}]}、{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5028376436“，”display_name“：”Louis\u2010Marie Traonouez“，”orcid“：null}，”institutions“：[]，”countries“：[”FR“]，”is_corresponding“：false，”raw_author_name“:”Louis-Marie Tranouez“，“raw_affiliation_strings”：[“TAMIS-信息安全威胁分析和缓解（Beaulieu校区\r\n35042 Rennes cedex-法国）”]，“从属关系”：[{“raw_affiliation_string“：”TAMIS-信息安全威胁分析和缓解（Campus de Beaulieu\r\n35042 Rennes cedex-France）“，”institution_ids“：[]}]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5030129842“，”display_name“：”Axel Legay“，”orcid“：”https://orcid.org/0000-0003-2287-8925“}，”机构“：[]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Axel Legay“，”raw _ afiliation_strings“：[“TAMIS-信息安全威胁分析与缓解（Beaulieu校区\r\n35042 Rennes cedex-法国）”]，”从属关系“：[{”raw _affiliation_string“：”TAMIS-信息安全威胁分析和缓解（Campus de Beaulieu\r\n35042 Rennes cedex-France）“，”institution_ids“：[]}]}]，”countries_distiction_count“：2，”institutions_disticent_count”：3，”corresponding_author_ids”：[]，”correlesponding_institution_ids“：[]、”apc_list“：null，”apc_payed“：nully”，“fwci”：6.52，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：22，”cited_by_percentile_year“：{”min“：92，”max“：93}，”biblio“：{-”volume“：null，”issue“：nul，”first_page“：null，”last_page“：null}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9998，”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/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9998，”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/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/T13295“，”“display_name”：“复杂系统开发中的安全保证”，“score”：0.9984，“subfield”：{“id”：“https://openalex.org/subfields/2213“，”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/model-checking“，”display_name“：”模型检查“，”score“：0.640205}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.574194}，{”id“：”https://openalex.org/keywords/software-reliability建模“，”display_name“：”软件可靠性建模“，”score“：0.523326}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.518113}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.506249}]，”concepts“：[{”id“：”https://openalex.org/C2778844933，“wikidata”：https://www.wikidata.org/wiki/Q630950“，”display_name“：”Interlocking“，”level“：2，”score“：0.93179315｝，｛”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”level“：2，”score“：0.866584｝，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.79881376}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.5755815}，{”id“：”https://openalex.org/C43214815，“wikidata”：https://www.wikidata.org/wiki/Q7310987“，”display_name“：”可靠性（半导体）“，”level“：3，”score“：0.575105}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.5172951}，{”id“：”https://openalex.org/C36503486，“wikidata”：https://www.wikidata.org/wiki/Q11235244“，”display_name“：”域（数学分析）“，”level“：2，”score“：0.5116332}，{”id“：”https://openalex.org/C200601418，“wikidata”：https://www.wikidata.org/wiki/Q2193887“，”display_name“：”可靠性工程“，”level“：1，”score“：0.49105072}，{”id“：”https://openalex.org/C2779662365，“wikidata”：https://www.wikidata.org/wiki/Q5416694“，”display_name“：”Event（particle physics）“，”level“：2，”score“：0.4341813}，{”id“：”https://openalex.org/C188198153，“wikidata”：https://www.wikidata.org/wiki/Q1613840“，”display_name“：”限制“，”级别“：2，”分数“：0.4207423}，{”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031（网址：https://www.wikidata.org/wiki/Q599031）“，”display_name“：”State（computer science）“，”level“：2，”score“：0.41109425}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.3365972}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.17496023}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.13683486}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.12927943}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C163258240，“wikidata”：https://www.wikidata.org/wiki/Q25342“，”display_name“：”Power（physics）“，”level“：2，”score“：0.0｝，｛”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C78519656，“wikidata”：https://www.wikidata.org/wiki/Q101333“，”display_name“：”机械工程“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：9，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/hase.2017.10“，”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://inria.hal.science/hal-01398649“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“https://hal.science/hal-01591338，“pdf_url”：https://hal.science/hal-01591338/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://hal.inia.fr/hal-01398649“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://arxiv.org/abs/1605.02529，“pdf_url”：https://arxiv.org/pdf/1605.02529，“源”：{“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”：“https://hal.archives-ouvertes.fr/hal-01591338，“pdf_url”：https://hal.archives-ouvertes.fr/hal-01591338/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.archives-overtes.fr/hal-01591338/file/HASE_2017_paper_5.pdf，“pdf_url”：https://hal.archives-ouvertes.fr/hal-01591338/file/HASE_2017_paper_5.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.science/hal-01591338/file/HASE_2017_paper_5.pdf，“pdf_url”：https://hal.science/hal-01591338/file/HASE_2017_paper_5.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://api.datacite.org/dois/10.48550/arxiv.1605.02529“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4393179698“，”display_name“：”DataCite API“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I4210145204“，”“host_organization_name”：“DataCite”，“host_organization_lineage”：[“https://openalex.org/I4210145204“]，”host_organization_lineage_names“：[”DataCite“]，“type”：“metadata”}，“license”：null，“licence_id”：null，“version”：null}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://hal.science/hal-01591338，“pdf_url”：https://hal.science/hal-01591338/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：nul，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/11“，”display_name“：”可持续城市和社区“，”score“：0.65}]，”grants“：[]，”datasets“：[]，”versions“：[”https://openalex.org/W239033316","https://openalex.org/W3099228204“]，”referenced_works_count“：18，”referrenced_works“：[”https://openalex.org/W1202605146","https://openalex.org/W1495226832","https://openalex.org/W1529732598","https://openalex.org/W1530147404","https://openalex.org/W1542607637","https://openalex.org/W1631091010","https://openalex.org/W1803137085","https://openalex.org/W192333989","https://openalex.org/W1985665832","https://openalex.org/W2029923180","https://openalex.org/W2042587503","https://openalex.org/W2042951804","https://openalex.org/W2185071254","https://openalex.org/W2466604542","https://openalex.org/W2536558645","https://openalex.org/W3609189","https://openalex.org/W61890703","https://openalex.org/W81140875“]，”related_works“：[”https://openalex.org/W770489747网址","https://openalex.org/W618039210","https://openalex.org/W4390481443","https://openalex.org/W4319430794","https://openalex.org/W3097218026","https://openalex.org/W3094364298","https://openalex.org/W2514536182","https://openalex.org/W2470487523","https://openalex.org/W2351254323","https://openalex.org/W2287710223“]，”ngrams_url“：”https://api.openalex.org/works/W239333316/ngrams“，”“abstract_inverted_index”：{“In”：[0,91185]，“the”：[1,7,23,38,43,46,53,75,94119132166177183198219222225]，“railway”：[2]，“domain”：[3]，“an”：[4,96190]，“interlocking”：[5,47,97]，“is”：[6,87208]，“system”：[8]，“ensing”：[9]，“safe”：[10]，“train”：[11,54107]，“transportation”：[12,55]，“insider”：[13,63]，“a”：[14,83,88113147156216]，“站”：[15]，“通过“：[16,81182]，”控制“：[17]，”它的“：[18,85]，”活动“：[19]，”元素“：[20]，”这样的“：[21,69,82]，”作为“：[22,70]，”信号“：[24]，”或“：[25,72]，”点。“：[26]，”现代“：[27]，”互锁“：[28]，”are“：[29115180]，”配置“：[30]，”使用“：[31]，”特定“：[32]，”数据“：[33，36]，”调用“：[34]，”应用“：[35，59]，”反射“：[37]，”跟踪“：[39]，”布局“：[40]，”和“：[41203221]，”定义“：[42]，”动作“：[44]，”那个“：[451101105175]，”可以“：[48，65]，”采取。“：[49]，“The”：[50163]，“safety”：[51,67,79]，“of”：[52,78118158168200224]，“depends”：[56125]，“these”：[57]，“on”：[58126]，“data”：[60]，“correctivity”：[61]，“errors”：【62】，“them”：[64]，“cause”：[66]，“issues”：68]，“discariments”：〔71〕，“collections”。“：[73]，”给定“：[74]，”高“：[76]，”级别“：[77]，”必需“：[80]，”系统“：[84]，”验证“：[86124154167]，”关键“：[89]，”关注。“：[90]，”addition“：[92]，”to“：[93131155]，”safety“，：[95]，”must“：[98]，”also“，”assure“：[100]，”availability“：[102223]，”properties，“：[103]，”stating“：[104]，”no“：[106173]，“would”：[108]，“be”：[109]，“stopped”：[110]，“forever”：[111]，“in”：[112]，“station，”：[114]，“满意。“：[116]，“大多数”：[117]，“研究”：[120]，“处理”：[121]，“使用”：[122172215]，“此”：[123137186]，“模型”：[127193201212]，“检查”。“：[128]，”“然而，”：[129]，“到期”：[130]，“状态”：[133]，“空间”：[134]，“爆炸”：[135]，“问题”，：[136]，“接近”：[138151]，“做”：[139]，“不”：[140209]，“比例”：[141]，“用于”：[142]，“大型”：[143]，“站点”。“：[144]，“更多”：[145]，“最近”，：[146]，“离散”：[148]，“事件”：[149]，“模拟”：[150164]，“限制”：[152]，“集”：[157]，“可能”：[159]，“场景”：[160]，“是”：[161]，“提议的。“：[162]，”启用“：[165]，”更大“：[169]，”站点“：[170]，”但是“：[171]，”证明“：[174]，”全部“：[176]，”有趣“：[178]，”场景“：[179]，”覆盖“：[181]，”模拟。“：[184204]，”论文“：[187]，”我们“：[188]，”应用“：[189]，”中间“：[191]，”统计“：[192211]，”检查“：[194202213]，”方法“：[195]，”提供“：[196]，”两者“：[197]，”优势“：[199]，”偶数“：[205]，”如果“：[206]，”穷尽“：[207]，”获得“：[210]，”评估“：[214]，”参数化“：[217]，“信心”：[218]，“可靠性”：[220]，“整体”：[226]，“系统。“：[227]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W239033316“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：3}，{“年度”：2022，”“cited_by_cunt”：3G}，}“年份“：2021，”年份“：2016，”引用_ by_count“：2}]，”更新日期“：”2024-06-23T15:43:03.916327“，”创建日期“：“2016-06-24"}