｛“id”：“https://openalex.org/W1819865070“，”doi“：”https://doi.org/10.1007/11560548_34“，”title“：“基于FPGA的硬件设计的高层建模、分析和验证”，”display_name“：”基于FPGA硬件设计的高级建模、分析与验证“，”publication_year“：2005，”publiation_date“：”2005-01-01“，”ids“：{”openalex“：”https://openalex.org/W1819865070“，”doi“：”https://doi.org/10.1007/11560548_34“，”mag“：”1819865070“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/11560548_34，“pdf_url”：https://link.springer.com/content/pdf/10.1007/11560548_34.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“：[”施普林格自然“，”施普林格科学+商业媒体“]，”type“：”丛书“}，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝，”type“：”图书章节“，”type_crossref“：”图书章节“，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜“，”oaurl“：”https://link.springer.com/content/pdf/10.1007/11560548_34.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5003268701“，”display_name“：”Petr Matou\u0161ek“，”orcid“：”https://orcid.org/0000-0003-4589-2041}，“机构”：[{“id”：https://openalex.org/I60587646“，”display_name“：”布尔诺理工大学“，”ror“：”https://ror.org/03613d656“，”country_code“：”CZ“，”type“：“教育”，”世系“：[”https://openalex.org/I60587646“]}]，”国家“：[”CZ“]，”is_corresponding“：false，”raw_author_name“：”Petr Matou\u0161ek“，”raw _affiliation_strings“：[“FIT，Brno Technology，Bo\u017eet\u011bchova 2，CZ-612 66，Brno，Czech Republic”]，“afliations”：[{“raw_affiliation _string”：“FIT机构ID“：[”https://openalex.org/I60587646“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5006588826“，”display_name“：”Ale\u0161 Smr\u010dka“，”orcid“：”https://orcid.org/0000-0002-3638-6916}，“机构”：[{“id”：https://openalex.org/I60587646“，”display_name“：”布尔诺理工大学“，”ror“：”https://ror.org/03613d656“，”country_code“：”CZ“，”type“：“教育”，”世系“：[”https://openalex.org/I60587646“]｝]，”国家“：[”CZ“]，”is_corresponding“：false，”raw_author_name“：”Ale\u0161Smr\u010dka“，”raw_affiation_string“：[”FIT，布尔诺理工大学，Bo\u017eet\u011bchova 2，CZ-612 66，布尔诺，捷克共和国“]，”附属机构“：[｛”raw_affiation_string“：”FIT，布尔诺理工大学，Bo\u017eet\u011bchova 2，CZ-612 66，捷克共和国布尔诺“，”机构ID“：[”https://openalex.org/I60587646“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5005128087“，”display_name“：”Tom\u00e1\u0161 Vojnar“，”orcid“：”https://orcid.org/0000-0002-2746-8792}，“机构”：[{“id”：https://openalex.org/I60587646“，”display_name“：”布尔诺理工大学“，”ror“：”https://ror.org/03613d656“，”country_code“：”CZ“，”type“：“教育”，”世系“：[”https://openalex.org/I60587646“]}]，”国家“：[”CZ“]，”is_corresponding“：false，”raw_author_name“：”Tom\u00e1\u0161 Vojnar“，”raw_affiliation_strings“：[“FIT，布尔诺理工大学，Bo\u017eet\u011bchova 2，CZ-612 66，Brno，捷克共和国”]，“afliations”：[{“raw_affilition_string”：“FIT，布尔诺科技大学，Bo\u017eet\u011bchova 2，CZ-612 66，捷克共和国布尔诺”，“institution_ids”：[“https://openalex.org/I60587646“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：1.288，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_b y_count“：3，”cited_by_percentile_year“：{”min“：75，”max“：77}，”biblio“：{”volume“：null，”issue“：nul，”first_page“：”371“，”last_page“：”37.5“}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10904“，”“display_name”：“可重构计算系统和设计方法”，“score”：0.9979，“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.9979，“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/T12810“，”“display_name”：“电力系统实时仿真技术”，“score”：0.9942，“subfield”：{“id”：“https://openalex.org/subfields/2207“，”display_name“：”控制与系统工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10054“，”display_name“：”并行计算与性能优化“，”score“：0.9621，”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/keywords/fpga-based-emulation网站“，”display_name“：”基于FPGA的仿真“，”score“：0.601261}，{”id“：”https://openalex.org/keywords/system-level-design网站“，”display_name“：”系统级设计“，”score“：0.592288}，{”id“：”https://openalex.org/keywords/fpga“，”display_name“：”FPGA“，”score“：0.580387}，{”id“：”https://openalex.org/keywords/gpu-computing网站“，”display_name“：”GPU计算“，”score“：0.539661}，{”id“：”https://openalex.org/keywords/hardware-in-the-loop“，”display_name“：”Hardware-in-the-Loop“，”score“：0.525302}]，”concepts“：[{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.92748}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8705168}，{”id“：”https://openalex.org/C42935608，“wikidata”：https://www.wikidata.org/wiki/Q190411“，”display_name“：”现场可编程门阵列“，”level“：2，”score“：0.7962091}，{”id“：”https://openalex.org/C157764524，“wikidata”：https://www.wikidata.org/wiki/Q1383412“，”display_name“：”吞吐量“，”级别“：3，”分数“：0.5864523}，{”id“：”https://openalex.org/C149635348，“wikidata”：https://www.wikidata.org/wiki/Q193040“，”display_name“：”嵌入式系统“，”level“：1，”score“：0.55384016}，{”id“：”https://openalex.org/C117251300，“wikidata”：https://www.wikidata.org/wiki/Q1849855“，”display_name“：”参数统计“，”level“：2，”score“：0.50530726}，{”id“：”https://openalex.org/C118524514，“wikidata”：https://www.wikidata.org/wiki/Q173212“，”display_name“：”计算机体系结构“，”level“：1，”score“：0.3826881}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.34604153}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.28051898}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.25991917}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C555944384，“wikidata”：https://www.wikidata.org/wiki/Q249“，”display_name“：”Wireless“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/11560548_34，“pdf_url”：https://link.springer.com/content/pdf/10.1007/11560548_34.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/11560548_34，“pdf_url”：https://link.springer.com/content/pdf/10.1007/11560548_34.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“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”display_name“：”工业、创新和基础设施“，”id“：”https://metadata.un.org/sdg/9“，”score“：0.61}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：3，”referrenced_works“：【”https://openalex.org/W1489069665","https://openalex.org/W1546101340","https://openalex.org/W1819865070“]，”related_works“：[”https://openalex.org/W4247536566","https://openalex.org/W4241418540","https://openalex.org/W3119814709","https://openalex.org/W2404647514","https://openalex.org/W2386041993","https://openalex.org/W2160474882","https://openalex.org/W2018477250","https://openalex.org/W1967938402","https://openalex.org/W1667647204","https://openalex.org/W1608572506“]，”ngrams_url“：”https://api.openalex.org/works/W1819865070/ngrams网站“，”abstract_inverted_index“：{”The“：[0]，”paper“：[1]，”presents“：[2]，”highlevel“：[3]，”modeling“：[4]，”and“：[5,8,29]，”formal“：[6]，”analysis“：[7,49]，”verification“：[9]，”on“：[10,32]，”an“：[11]，”FPGA based“：[12]，”multigabit“：[13]，”network“：[14]，“monitoring”：[15]，“system”：[16]，“调用”：[17]，“Scampi.”：[18]，“Uppaal”：[19]，“was”：[20]，“applied”：[21]，“in“：[22,40]，”this“：[23]，”work“：[24]，”to“：[25]，”建立“：[26]，”some“：[27]，”正确性“：[28]，”吞吐量“：[30]，”结果“：[31]，”a“：[33]，”模型“：[34]，”有意“：[35]，”构建“：[36]，”使用“：[37,50]，”模式“：[38]，”可重用“：[39]，”其他“：[41]，”类似“：[42]，”项目●●●●。“：[43]，”Some“：[44]，”initial“：[45]，”experimentals“：[46]，”with“：%47]，”parameteral“：[48]，”TReX“：[51]，”were“：[52]，”performed“：[53]，”too。“：[54]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1819865070“，”counts_by_year“：[]，”updated_date“：”2024-06-22T20:15:31.881029“，”创建日期“：”2016-06-24“}