{“id”：“https://openalex.org/W2145018133“，”doi“：”https://doi.org/10.1109/acsd.2009.14“，”title“：”节省时间效率模拟算法中的空间“，”display_name“：”节约时间效率仿真算法中的时间“，”publication_year“：2009，”publiation_date“：”2009-07-01“，”ids“：{”openalex“：”https://openalex.org/W2145018133“，”doi“：”https://doi.org/10.1109/acsd.2009.14“，”mag“：”2145018133“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/acsd.2009.14“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”https://www.research.unipd.it/bitstream/11577/2437511/1/ieeproceedings-paper.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5047065626“，”display_name“：”Silvia Craf\u00e0“，”orcid“：”https://orcid.org/0000-0003-0993-4734}，“机构”：[{“id”：https://openalex.org/I138689650“，”display_name“：”帕多瓦大学“，”ror“：”https://ror.org/00240q980“，”country_code“：”IT“，”type“：”教育“，”血统“：[”https://openalex.org/I138689650“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Silvia Crafa“，”raw _ afiliation_strings“：[“（Correspd.）意大利帕多瓦大学公共应用研究生院。{Crafa，ranzato，tapparo}@math.unipd.IT#TAB#”]，”从属关系“：[{”raw _affiliation_string“：”（Corresped.）意大利帕多瓦大学Matematica Pura ed Applicata研究生。{crafa，ranzato，tapparo}@math.unipd.it#TAB#“，”institution_ids“：[”https://openalex.org/I138689650“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5000629161“，”display_name“：”Francesco Ranzato“，”orcid“：”https://orcid.org/0000-0003-0159-0068}，“机构”：[{“id”：https://openalex.org/I138689650“，”display_name“：”帕多瓦大学“，”ror“：”https://ror.org/00240q980“，”country_code“：”IT“，”type“：”教育“，”血统“：[”https://openalex.org/I138689650“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Francesco Ranzato“，”raw _ afiliation_strings“：[“意大利帕多瓦大学Pura ed Applicata研究生院。{crafa，Ranzato，taparo}@math.unipd.IT”]，”从属关系“：[{”raw _affiliation_strong“：”意大利帕多瓦大学Matematica Pura ed Applicata研究生。{crafa，ranzato，tapparo}@math.unipd.it“，”机构ID“：[”https://openalex.org/I138689650“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5054963482“，”display_name“：”Francesco Tapparo“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I138689650“，”display_name“：”帕多瓦大学“，”ror“：”https://ror.org/00240q980“，”country_code“：”IT“，”type“：”教育“，”血统“：[”https://openalex.org/I138689650“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Francesco Tapparo“，”raw _ afiliation_strings“：[“意大利帕多瓦大学Pura ed Applicata研究生院。{crafa，ranzato，Tapparo}@math.unipd.IT”]，”从属关系“：[{”raw _affiliation_strong“：”意大利帕多瓦大学Matematica Pura ed Applicata研究生。{crafa，ranzato，tapparo}@math.unipd.it“，”机构ID“：[”https://openalex.org/I138689650“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payed“：空，”fwci“：0.407，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count：2，”citation_normalized_percentile“：{”value“：0.326342，”is_in_top_1_percent“：false，“is_in_top_10_percent”：false}，“cited_by_percentile_year”：{“min”：71，“max”：75}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：null，“last_page”：null}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“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.9999，“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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9977，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”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/T11450“，”display_name“：”软件开发中的模型驱动工程“，”score“：0.9967，”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/keywords/memory-management网站“，”display_name“：”内存管理“，”score“：0.494253}，{”id“：”https://openalex.org/keywords/representation网站“，”display_name“：”Representation（politics）“，”score“：0.4395185｝]，”concepts“：[｛”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.7096446}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.68395925}，{”id“：”https://openalex.org/C311688，“wikidata”：https://www.wikidata.org/wiki/Q2393193“，”display_name“：”时间复杂性“，”level“：2，”score“：0.5334931}，{”id“：”https://openalex.org/C42812，“wikidata”：https://www.wikidata.org/wiki/Q1082910“，”display_name“：”分区（数论）“，”level“：2，”score“：0.52523994}，{”id“：”https://openalex.org/C72434380，“wikidata”：https://www.wikidata.org/wiki/Q230930“，”display_name“：”状态空间“，”level“：2，”score“：0.50060415}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.47021273}，{”id“：”https://openalex.org/C2779343474，“wikidata”：https://www.wikidata.org/wiki/Q3109175“，”display_name“：”Context（考古学）“，”level“：2，”score“：0.44548997}，{”id“：”https://openalex.org/C2776359362，“wikidata”：https://www.wikidata.org/wiki/Q2145286“，”display_name“：”Representation（politics）“，”level“：3，”score“：0.4395185}，{”id“：”https://openalex.org/C179799912，“wikidata”：https://www.wikidata.org/wiki/Q205084“，”display_name“：”计算复杂性理论“，”level“：2，”score“：0.43270823}，{”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.42039764}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.3977849}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.22313297}，{”id“：”https://openalex.org/C151730666，“wikidata”：https://www.wikidata.org/wiki/Q7205“，”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/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C94625758，“wikidata”：https://www.wikidata.org/wiki/Q7163“，”display_name“：”政治“，”级别“：2，”分数“：0.0}，{”id“：”https://openalex.org/C17744445，“wikidata”：https://www.wikidata.org/wiki/Q36442“，”display_name“：”政治学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199539241，“wikidata”：https://www.wikidata.org/wiki/Q7748（网址：https://www.wikidata.org/wiki/Q7748）“，”display_name“：”Law“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”生物学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：5，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/acsd.2009.14“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“http://hdl.handle.net/11577/2437511，“pdf_url”：https://www.research.unipd.it/bitstream/11577/2437511/1/ieeproceedings-paper.pdf“，”源“：｛”id“：”https://openalex.org/S4306402547“，”display_name“：”帕多瓦研究档案馆（帕多瓦大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I138689650“，”“host_organization_name”：“帕多瓦大学”，“host_organization_lineage”：[“https://openalex.org/I138689650“]，”host_organization_lineage_names“：[”帕多瓦大学“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”http://hdl.handle.net/11577/2434609，“pdf_url”：https://www.research.unipd.it/bitstream/111577/2434609/1/originalFinalVersion.pdf“，”源“：｛”id“：”https://openalex.org/S4377196283“，”display_name“：”帕多瓦研究档案馆（帕多瓦大学）“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I138689650“，”“host_organization_name”：“帕多瓦大学”，“host_organization_lineage”：[“https://openalex.org/I138689650“]，”host_organization_lineage_names“：[”帕多瓦大学“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”http://www.math.unipd.it/~ranzato/papers.html“，”pdf_url“：”https://drops.dagstuhl.de/opus/volltexte/2021/14380/pdf/LIPIcs-CONCUR-2021-3.pdf“，”源“：｛”id“：”https://openalex.org/S4306402448“，”display_name“：”帕多瓦研究档案馆（帕多瓦大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I138689650“，”“host_organization_name”：“帕多瓦大学”，“host_organization_lineage”：[“https://openalex.org/I138689650“]，”host_organization_lineage_names“：[”帕多瓦大学“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”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.184.4830，“pdf_url”：http://www.math.unipd.it/~ranzato/papers/acsd09.pdf“，”源“：{”id“：”https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”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://hdl.handle.net/11577/2437511，“pdf_url”：https://www.research.unipd.it/bitstream/11577/2437511/1/ieeproceedings-paper.pdf“，”源“：｛”id“：”https://openalex.org/S4306402547“，”display_name“：”帕多瓦研究档案馆（帕多瓦大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I138689650“，”“host_organization_name”：“帕多瓦大学”，“host_organization_lineage”：[“https://openalex.org/I138689650“]，”host_organization_lineage_names“：[”帕多瓦大学“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1498432697","https://openalex.org/W1507985299","https://openalex.org/W1543732613","https://openalex.org/W1685060813","https://openalex.org/W1737886586","https://openalex.org/W1970236925","https://openalex.org/W2008838944","https://openalex.org/W2067785662","https://openalex.org/W2072651477","https://openalex.org/W2076334860","https://openalex.org/W2098817244","https://openalex.org/W2114036236","https://openalex.org/W2124325155","https://openalex.org/W2128804846","https://openalex.org/W2167978186","https://openalex.org/W2340735175","https://openalex.org/W2502084936","https://openalex.org/W2804787400","https://openalex.org/W2911452205","https://openalex.org/W2913459036“]，”related_works“：[”https://openalex.org/W2372877697","https://openalex.org/W2166829200","https://openalex.org/W2127915079","https://openalex.org/W2107287896","https://openalex.org/W2097465621","https://openalex.org/W2068266569","https://openalex.org/W2027131958","https://openalex.org/W1995337642","https://openalex.org/W1881102326","https://openalex.org/W1492717267“]，”abstract_inverted_index“：{”A“：[0]，”number“：[1]，”of“：[2,80102114137139]，”algorithms“：[3]，”are“：[4,64,75]，”available“：[5]，”for“：[6]，”computing“：[7]，”the“：[8,24,32,37,55,78103128]，”simulation“：[9,93150]，”relation“：[10]，”on“：[11,15164]，”Kripke“：[12]，”structures“：[13]，“和”：[14,28,50,61109]，“标签”：[16]，“过渡”：[17]，“systems“：[18]，”表示“：[19]，”并发“：[20]，”系统。“：[21]，”其中“：[22]，”他们“：[23]，”算法“：[25,38,94106129151161]，”由“：[26,39,47107127]，”Ranzato“：[27108]，”Tapparo“：[29]，”[2007]“：[30]，”有“：[31,54]，”最佳“：[33,56]，”时间“：[34,62104168]，”复杂性“：[35]，”while“：[36162]，”Gentilini“：[200158165]，”et“：[41159166]，“al.”：[42]，“[2003]”：[43]，“-”：[44,53]，“先后”：[45]，“更正”：[46]，“van“：[48]，“Glabbeek”：[49]，“Ploeger”：[51]，“[2008]”：[52]，“空间”：[57,60,99154]，“复杂性”。“：[58]，”两者“：[59]，”复杂性“：[63]，”关键“：[65]，”问题“：[66]，”in“：[67,71,77118]，”a“：[68,91,98111135140153]，”算法“：[70]，”特定“：[72]，”内存“：[73]，”要求“：[74]，”重要“：[76]，”上下文“：[79]，”模型“：[81]，”检查“：[82]，”当“：[83]，”处理“：[84]，”带有“：[85157]，”大“：[86]，”状态“：[87142]，”空格。我们”：[88]，“提议”：[89]，“在这里”：[90]，“新的”：[92149]，“那就是”：[95]，“获得的”：[96]，“作为”：[97134]，“保存”：[100]，“修改”：[101]，“有效”：[105]，“Tapparo:”：[110]，“符号”：[112]，“表示”：[113]，“集合”：[115]，“是”：[116]，“嵌入的”：[117]，“这个算法”：[119]，“所以”：[120]，“that”：[121147]，“any”：[122]，“set”：[1233136]，“states”：[125]操纵“：[126]，”can“：[130]，”be“：[131]，”effectively“：[132]，”stored“：[133]，”blocks“：[138]，”suitable“：[141]，”partition。“：[143]，”It“：[144]，”turns“：[145]，”out“：[146]，”this“：[148]，”reserves“：[152]，”complexity“：[155]，”comparable“：[156]，”al.'s“：[160167]，”improving“：[163]，”bound。“：[169]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2145018133“，”counts_by_year“：[]，”updated_date“：”2024-09-12T05:10:59.914004“，”created_dates“：”2016-06-24“}“