{“id”：“https://openalex.org/W3179176387“，”doi“：”https://doi.org/10.109/rtas52030.2021.00051“，”title“：”Brief Industry Paper:“火星着陆器下降制导控制建模与验证”，“display_name”：“Brief Industry Paper：火星着陆器降落制导控制建模和验证”，”publication_year“：2021，”publitation_date“：”2021-05-01“，”ids“：{”openalex“：”https://openalex.org/W3179176387“，”doi“：”https://doi.org/10.109/rtas52030.2021.00051“，”mag“：”3179176387“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/rtas52030.2021.00051“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：｛”id“：”https://openalex.org/A5078226330“，”display_name“：”Bohua Zhan“，”orcid“：”https://orcid.org/0000-0001-5377-9351}，“机构”：[{“id”：https://openalex.org/I4210128818“，”display_name“：”软件学会“，”ror“：”https://ror.org/033dfsn42“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I19820366","https://openalex.org/I4210128818“]}，{”id“：”https://openalex.org/I4210165038“，”display_name“：”中科院大学“，”ror“：”https://ror.org/05qbk4x57“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I19820366","https://openalex.org/I4210165038“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Bohua Zhan“，”rau_affiliation_strings“：[“中国科学院软件研究所SKLCS，中国科学院北京大学”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5052554325“，”display_name“：”Bin Gu“，”orcid“：”https://orcid.org/0000-0002-5594-2463“}，”机构“：[]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Bin Gu“，”raw_affiliation_strings“：[“北京控制工程学院，中国北京”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5005420875“，”display_name“：”熊旭“，”兽人“：”https://orcid.org/0000-0003-4236-9992}，“机构”：[{“id”：https://openalex.org/I4210128818“，”display_name“：”软件学会“，”ror“：”https://ror.org/033dfsn42“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I19820366","https://openalex.org/I4210128818“]}，{”id“：”https://openalex.org/I4210165038“，”display_name“：”中科院大学“，”ror“：”https://ror.org/05qbk4x57“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I19820366","https://openalex.org/I4210165038“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”熊旭“，”raw关联字符串“：[“SKLCS，中国科学院软件研究所，中国北京”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5032928438“，”display_name“：”Xiangyu Jin“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210128818“，”display_name“：”软件学会“，”ror“：”https://ror.org/033dfsn42“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I19820366","https://openalex.org/I4210128818“]}，{”id“：”https://openalex.org/I4210165038“，”display_name“：”中科院大学“，”ror“：”https://ror.org/05qbk4x57“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I19820366","https://openalex.org/I4210165038“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Xiangyu Jin“，”raw_affiation_strings“：[”中国科学院软件研究所SKLCS，中国科学院大学，北京“]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5040897273“，”display_name“：”Shuling Wang“，”orcid“：”https://orcid.org/0000-0002-7486-8051}，“机构”：[{“id”：https://openalex.org/I4210128818“，”display_name“：”软件学会“，”ror“：”https://ror.org/033dfsn42“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I19820366","https://openalex.org/I4210128818“]}，{”id“：”https://openalex.org/I4210165038“，”display_name“：”中科院大学“，”ror“：”https://ror.org/05qbk4x57“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I19820366","https://openalex.org/I4210165038“]}]，”countries“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Shuling Wang“，”raw_affiliation_strings“：【”中国科学院软件研究所SKLCS，中国科学院北京大学“]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5089413793“，”display_name“：”薛白“，”兽人“：”https://orcid.org/0000-0001-9717-846X}，“机构”：[{“id”：https://openalex.org/I4210128818“，”display_name“：”软件学会“，”ror“：”https://ror.org/033dfsn42“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I19820366","https://openalex.org/I4210128818“]}，{”id“：”https://openalex.org/I4210165038“，”display_name“：”中科院大学“，”ror“：”https://ror.org/05qbk4x57“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I19820366","https://openalex.org/I4210165038“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Bai Xue“，”rau_affiliation_strings“：[“中国科学院软件研究所SKLCS，中国科学院北京大学”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5019018136“，”display_name“：”李晓峰“，”兽人“：”https://orcid.org/0000-0002-8447-9279“}，”机构“：[]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”李晓峰“，”raw关联字符串“：[“北京控制工程学院，中国北京”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5047932271“，”display_name“：”姚晨“，”兽人“：”https://orcid.org/0009-0004-6111-0243“}，”机构“：[]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”姚晨“，”raw关联字符串“：[“北京控制工程学院，中国北京”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5059750606“，”display_name“：”Ming Yang“，”orcid“：”https://orcid.org/0000-0002-0020-8683}，“机构”：[{“id”：https://openalex.org/I194716290“，”display_name“：”中国空间技术研究院“，”ror“：”https://ror.org/025397a59“，”country_code“：”CN“，”type“：“政府”，”世系“：[”https://openalex.org/I194716290","https://openalex.org/I2802615301“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”杨梦飞“，”raw关联字符串“：[“中国空间技术研究院，北京”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5026435847“，”display_name“：”Naijun Zhan“，”orcid“：”https://orcid.org/0000-0003-3298-3817}，“机构”：[{“id”：https://openalex.org/I4210128818“，”display_name“：”软件学会“，”ror“：”https://ror.org/033dfsn42“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I19820366","https://openalex.org/I4210128818“]}，{”id“：”https://openalex.org/I4210165038“，”display_name“：”中科院大学“，”ror“：”https://ror.org/05qbk4x57“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I19820366","https://openalex.org/I4210165038“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Naijun Zhan“，”rau_affiliation_strings“：[“SKLCS，中国科学院软件研究所，中国北京”]}]“countries_distiction_count”：1，“institutions_disticent_count“：3，”corresponding_author_ids“：[]，”corresponding_institution_ids“：[]，”apc_list“：null，”apc _ paid“：nul，”has_fulltext“：false，”cited_by_count“：1，”cited_by_percentile_year“：{”min“：63，”max“：72}，”biblio“：{”volume“：null，”issue“：null，”first_page“：null}，“is_retracted”：false、“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10933“，”“display_name”：“嵌入式系统中的实时调度”，“score”：0.998，“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/T10933“，”“display_name”：“嵌入式系统中的实时调度”，“score”：0.998，“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.9972，“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/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.9972，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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/model-checking（https://openalex.org/keywords/model-checking）“，”display_name“：”模型检查“，”score“：0.556634}，{”id“：”https://openalex.org/keywords/hybrid-systems网站“，”display_name“：”混合系统“，”score“：0.528655}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.506894}]，”concepts“：[{”id“：”https://openalex.org/C2777062904，“wikidata”：https://www.wikidata.org/wiki/Q545406“，”display_name“：”Toolchain“，”level“：3，”score“：0.98938096}，{”id“：”https://openalex.org/C2779752788，“wikidata”：https://www.wikidata.org/wiki/Q1266659“，”display_name“：”Stateflow“，”level“：3，”score“：0.9041992}，{”id“：”https://openalex.org/C83260615，“wikidata”：https://www.wikidata.org/wiki/Q6773121“，”display_name“：”火星探索计划“，”level“：2，”score“：0.81598735}，{”id“：”https://openalex.org/C2776637919，“wikidata”：https://www.wikidata.org/wiki/Q624380“，”display_name“：”下降（航空）“，”等级“：2，”分数“：0.7136084}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.69165134}，{”id“：”https://openalex.org/C78949437，“wikidata”：https://www.wikidata.org/wiki/Q6773188（网址：https://www.wikidata.org/wiki/Q6773188）“，”display_name“：”火星登陆“，”level“：4，”score“：0.68877494}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”形式验证“，”level“：2，”score“：0.51936036}，{”id“：”https://openalex.org/C68702407，“wikidata”：https://www.wikidata.org/wiki/Q716774“，”display_name“：”火星探索“，”level“：3，”score“：0.48918727}，{”id“：”https://openalex.org/C201995342，“wikidata”：https://www.wikidata.org/wiki/Q682496“，”display_name“：”系统工程“，”level“：1，”score“：0.35901845}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.3393836｝，｛”id“：”https://openalex.org/C44154836，“wikidata”：https://www.wikidata.org/wiki/Q45045“，”display_name“：”Simulation“，”level“：1，”score“：0.32578215}，{”id“：”https://openalex.org/C133731056，“wikidata”：https://www.wikidata.org/wiki/Q4917288“，”display_name“：”控制工程“，”level“：1，”score“：0.32199675}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.26734242}，{”id“：”https://openalex.org/C146978453，“wikidata”：https://www.wikidata.org/wiki/Q3798668“，”display_name“：”航空航天工程“，”level“：1，”score“：0.2638107}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.1993491}，{”id“：”https://openalex.org/C87355193，“wikidata”：https://www.wikidata.org/wiki/Q411“，”display_name“：”天体生物学“，”level“：1，”score“：0.12893197}，{”id“：”https://openalex.org/C2780365114，“wikidata”：https://www.wikidata.org/wiki/Q169478“，”display_name“：”MATLAB“，”level“：2，”score“：0.10051337}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”Physics“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/rtas52030.2021.00051“，”pdf_url“：null，”source“：null，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：null，”sustainable_development_goals“：[｛”id“：”https://metadata.un.org/sdg/9“，”display_name“：”工业、创新和基础设施“，”score“：0.6}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：8，”referrenced_works“：[”https://openalex.org/W2184985296","https://openalex.org/W2407773024","https://openalex.org/W24744727272","https://openalex.org/W2949215300","https://openalex.org/W3004215995","https://openalex.org/W4234184051","https://openalex.org/W4256074395","https://openalex.org/W634869298“]，”related_works“：[”https://openalex.org/W77032204网址","https://openalex.org/W750104118","https://openalex.org/W4379506493","https://openalex.org/W4237629093","https://openalex.org/W3179176387","https://openalex.org/W3011460416","https://openalex.org/W2936464796","https://openalex.org/W1977271794","https://openalex.org/W1933722645","https://openalex.org/W1532594742“]，”ngrams_url“：”https://api.openalex.org/works/W179176387/ngrams“，”“abstract_inverted_index”：{“We”：[0,42]，“give”：[1]，“an”：[2,39]，“introduction”：[3]，“to”：[4,23,46]，“the”：[5,44,48,54,67,70]，“MARS”：[6]，“toolchain”：[7,45]，“for”：[8,31]，“formal”：[9]，“modeling”：[10]，“and”：[11,29,35,61]，“verification”：[12,37]，“of”：[13,18,18]3,38,53,69]，“混合”：[14]，“系统”：[15]，“它”：[16]，“组成”：[17]，“翻译人员”：[19]，“来自”：[20]，“Simulink/Stateflow“：[21]，“模型”：[22]，“混合”：[24]，“通信”：[25]，“顺序”：[26]，“过程”：[27]，“（HCSP）”：[28]，“工具”：[30]，“模拟”：[32]，“代码”：[33]，“生成”：[34]，“演绎”：[36]，“HCSP”：[40]，“模式”。“：[41]，”应用“：[43]，”模型“：[47]，”下降“：[49]，”制导“：[50]，”控制“：[51]，”阶段“：[52]，”最近“：[55]，”发射“：[56]，”天文“：[57]，”I“：[58]，”火星“：[59]，”着陆器“：[60]，”验证“：[62]，”那“：[63]，”它“：[64]，”正确“：[65]，”控制器“：[66]，”速度“：[68]，“着陆器。“：[71]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3179176387“，”counts_by_year“：[{”年“：2023，”引用_by_count“：1}]，”更新日期“：”2024-05-10T20:43:00.626153“，”创建日期“：“2021-07-19”}