{“id”：“https://openalex.org/W2125085475“，”doi“：”https://doi.org/10.1007/978-3-540-31980-1_27“，”title“：”On Some Transformation Invariants Under Retiming and Resynthesis“，”display_name“：”An Some Conformation Invaliants Underly Retiming-Resynthessis“，”publication_year“：2005，”publitation_date“：”2005-01-01“，”ids“：{”openalex“：”https://openalex.org/W2125085475“，”doi“：”https://doi.org/10.1007/978-3-540-31980-1_27“，”mag“：”2125085475“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-31980-1_27，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-540-31980-1_27.pdf“，”源“：{”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/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”book-chapter“，”type_crossref“：美国“：”铜牌“，”oaurl“：”https://link.springer.com/content/pdf/10.1007%2F978-3-540-31980-1_27.pdf“，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5078604015“，”display_name“：”Jie-Hong R.Jiang“，”orcid“：”https://orcid.org/0000-0002-2279-4732}，“机构”：[{“id”：https://openalex.org/I95457486“，”display_name“：”加州大学伯克利分校“，”ror“：”https://ror.org/01an7q238“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I95457486“]}]，”国家“：[”美国“]，”is_corresponding“：true，”raw_author_name“：”Jie-Hong R.Jiang“，”raw _ afiliation_strings“：[“加州大学伯克利分校电气工程与计算机科学系”]，”affiliations“：”加州大学伯克利分校电气工程与计算机科学系“，”机构ID“：[”https://openalex.org/I95457486“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5078604015“]，”对应的机构ID“：[”https://openalex.org/I95457486“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：0.644，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：1，”citected_by_percentile_year“：{”min“：64，”max“：71}，“biblio”：{“volume”：null、“issue”：nul，“first_page”：“413”“，”last_page“：”428“}，”is_retracted“：false，”is_paratext“：false，”主主题“：{”id“：”https://openalex.org/T11032“，”display_name“：”超大规模集成测试“，”score“：0.9996，”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/T11032“，”display_name“：”超大规模集成测试“，”score“：0.9996，”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.9995，“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/T11005“，”display_name“：”电子系统容错“，”score“：0.999，”subfield“：{”id“：”https://openalex.org/subfields/2208“，”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/runtime验证“，”display_name“：”运行时验证“，”score“：0.506925}，{”id“：”https://openalex.org/keywords/reliability评估“，”display_name“：”可靠性评估“，”score“：0.502956}]，”concepts“：[{”id“：”https://openalex.org/C41112130，“wikidata”：https://www.wikidata.org/wiki/Q2146175“，”display_name“：”Retiming“，”level“：2，”score“：0.9460621}，{”id“：”https://openalex.org/C114466953，“wikidata”：https://www.wikidata.org/wiki/Q6034165“，”display_name“：”初始化“，”级别“：2，”分数“：0.88801724}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7493995}，{”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945网址“，”display_name“：”等价（正式语言）“，”level“：2，”score“：0.61277956}，{”id“：”https://openalex.org/C140479938，“wikidata”：https://www.wikidata.org/wiki/Q5254619“，”display_name“：”迭代函数“，”level“：2，”score“：0.60669124}，{”id“：”https://openalex.org/C204241405，“wikidata”：https://www.wikidata.org/wiki/Q461499“，”display_name“：”Transformation（genetics）“，”level“：3，”score“：0.55070174}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.5192285}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.4902044}，{”id“：”https://openalex.org/C167822520，“wikidata”：https://www.wikidata.org/wiki/Q176452“，”display_name“：”Finite-state machine“，”level“：2，”score“：0.417486}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.36673504}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.22140446}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.14665297｝，｛”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.1233387}，{”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C104317684，“wikidata”：https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-31980-1_27，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-540-31980-1_27.pdf“，”源“：{”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/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”best_oa_location“：{”is_oa“：true”，“landing_page_url”：“https://doi.org/10.1007/978-3-540-31980-1_27，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-540-31980-1_27.pdf“，”源“：{”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/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”score“：0.42，”id“：”https://metadata.un.org/sdg/9“，”display_name“：”工业、创新和基础设施“}]，”拨款“：[]，”数据集“：[[]，”版本“：['，”referenced_works_count“：15，”referrenced_works“：[”https://openalex.org/W1543281322","https://openalex.org/W1982129592","https://openalex.org/W1989887898","https://openalex.org/W2013815172","https://openalex.org/W2023602837","https://openalex.org/W2043360684","https://openalex.org/W2087656024","https://openalex.org/W2120490412","https://openalex.org/W2125651818","https://openalex.org/W2135517247","https://openalex.org/W2150920965","https://openalex.org/W2161215542","https://openalex.org/W2162233102","https://openalex.org/W4213009134","https://openalex.org/W4235235910“]，”related_works“：[”https://openalex.org/W4243191745","https://openalex.org/W2724597727","https://openalex.org/W2508541108","https://openalex.org/W233224440","https://openalex.org/W2315419748","https://openalex.org/W2160236198","https://openalex.org/W2134549436","https://openalex.org/W1480528870","https://openalex.org/W127357700","https://openalex.org/W1029445510“]，”ngrams_url“：”https://api.openalex.org/works/W2125085475/ngrams“，”“abstract_inverted_index”：{“Transformations”：[0]，“using”：[1]，“retiming”：[2,92161213]，“and”：[3,10,39,57,93118162212]，“resynthesis”：[4,94211]，“operations”：[5]，“are”：[6,42,86214]，“the”：[7,14,63,97106142165174198220]3]，“仅）”：[15]，“技术”：[16]，“使用”：[17]，“在“：[18,52]，”优化“：[19]，”同步“：[20145]，”硬件“：[21146]，”系统中。“：[22]，”虽然“：[23]，”这些“：[24,47]，”转换“：[25]，”已经“：[26]，”被“：[27]，”研究“：[28]，”广泛“：[29]，”对于“：[30141180]，”超过“：[31]，”a“：[32,74129133137170186]，”十年“：[33]，”问题“：[34,48]，”关于“：[35156]，”他们的“：[36]，”优化“：[37,69143]，”能力“：[38]，“验证”：[40,58]，“复杂性”：[41]，“回答”：[44]，“完全”：[45]，“解析”：[46]，“可能”：[49]，“是”：[50116]，“关键”：[51]，“开发”：[53]，“更多”：[54]，“有效”：[55]，“综合”：[56]，“算法”：[59]，“此”：[60]，“论文”：[61]，“解决”：[62]，“以上”：[64]，“二”：[65,80100]，“开放”：[66]，“问题。”：[67]，“The”：[68]，“潜在”：[70]，“是”：[71111113169205224]，“已解决”：[72]，“通过”：[73]，“构造”：[75]，“算法”：[76218]，“其中”：[77]，“确定”：[78]，“如果”：[79]，“给定”：[81]，“有限”：[82]，“状态”：[83]，“机器”：[84]，“（FSM）”：[85]，“可转换”：[87]，“到”：[88115128148194]，“每个”：[89]，“其他”：[90]，“通过”：[91]，“操作。”：[95]，“验证”：[96]，“等价”：[98125]，“of”：[99108144177190]，“FSM”：[101158181]，“under”：[102160182]，“such”：[103]，“transformations”：[104]，“when”：[105210]，“history”：[107]，“iterative”：[109]，“transformation”：[110]，“unknown”：[112]，“proved”：[114]，“PSPACE-complete”：[117]，“there”：[119]，“just”：[120]，“as”：[121223]，“hard”：/122]，“general”：[124]，“checking”：[126]，“contract”：[127]，“common”：[130]]，“信念”：[131]，“作为”：[132]，“结果”：[134]，“我们”：[135201]，“拥护者”：[136]，“保守”：[138]，“设计”：[139]，“方法论”：[140]，“系统”：[147]，“改进”：[149]，“可验证性”：[150]，“我们的”：[151]，“分析”：[152]，“揭示”：[153]，“一些”：[154]，“属性”：[155]，“初始化”：[157]，“转换”：[159]，“再合成”：[163]，“关于”：[164197]，“积极“：[166]，”侧面，“：[167200]，”已建立“：[168]，“lag-independent”：[171]，“bind”：[172209]，“on”：[173]，“length”：[175222]，“increase”：[176223]，“initialization”：[178191]，“sequences”：[179192]，“retiming.”：[183]，“It”：[184]，“allow”：[185]，“simpler”：[187]，“in增量”：[188]，“construction”：[189]，“compared”：[C93]，“previor”：[195]，“approachs.”：[196]，“否定”：[199]，“显示”：[202]，“那”：[203]，“there”：[204]，“no”：[206]，“analog”：[207]，“transformation independent”：[208]，“iterated。”：[215]，“幸运的是，”：[216]，“an”：[217]，“computing”：[219]，“exact”：[221]，“presented。”：[225]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W2125085475“，”counts_by_year“：[]，”updated_date“：”2024-06-20T13:28:44.379069“，”创建日期“：”2016-06-24“}