｛“id”：“https://openalex.org/W3091748809“，”doi“：”https://doi.org/10.109/tcad.2020.3013135“，”title“：“随机常微分方程的安全性验证”，”display_name“：”随机常微分方程式的安全性检验“，”publication_year“：2020，”publitation_date“：”2020-11-01“，”ids“：{”openalex“：”https://openalex.org/W3091748809“，”doi“：”https://doi.org/10.109/tcad.2020.3013135“，”mag“：”3091748809“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/tcad.2020.3013135“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S100835903“，”display_name“：”集成电路和系统计算机辅助设计IEEE事务“，”issn_l“：”0278-0070“，”isn“：[”0278.0070“，“1937-4151”]“is_oa”：false，“is_in_doaj”：false，“host_organization”：“https://openalex.org/P4310318808“，”“host_organization_name”：“电气与电子工程师学会”，“host_ordanization_lineage”：[“https://openalex.org/P4310318808“]，”host_organization_lineage_names“：[”电气与电子工程师协会“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：nully，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5089413793“，”display_name“：”薛白“，”兽人“：”https://orcid.org/0000-0001-9717-846X}，“机构”：[{“id”：https://openalex.org/I4210165038“，”display_name“：”中科院大学“，”ror“：”https://ror.org/05qbk4x57“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I19820366","https://openalex.org/I4210165038“]}，{”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/I19820366“，”display_name“：”中国科学院“，”ror“：”网址：https://ror.org/034t30j35“，”country_code“：”CN“，”type“：“政府”，”世系“：[”https://openalex.org/I19820366“]}]，”countries“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Bai Xue“，”rau_affiliation_strings“：【”中国科学院北京大学计算机科学与技术学院“，”中国科学研究院软件研究所计算机科学国家重点实验室“]}，{”author_position“：”middle“，”作者“：{”id“：”https://openalex.org/A5089746112“，”display_name“：”Martin Fr\u00e4nzle“，”orcid“：”https://orcid.org/0000-0002-9138-8340}，“机构”：[{“id”：https://openalex.org/I129877168“，”display_name“：”卡尔·冯·奥斯西茨基大学\u00e4t奥尔登堡“，”ror“：”https://ror.org/033n9gh91“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I129877168“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Martin Franzle“，”raw _affiliation_strings“：[“德国奥尔登堡卡尔·冯·奥斯西茨基大学计算科学系\u00e4t”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5026435847“，”display_name“：”詹乃军“，”兽人“：”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/I19820366“，”display_name“：”中国科学院“，”ror“：”https://ror.org/034t30j35“，”country_code“：”CN“，”type“：“政府”，”世系“：[”https://openalex.org/I19820366“]}，{”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“：”Naijun Zhan“，”rau_affiliation_strings“：【”中国科学院北京大学计算机科学与技术学院“，”中科院软件研究所计算机科学国家重点实验室“，中国北京”]}，{“author_position”：“middle“，”author“：｛”id“：”https://openalex.org/A5055381376“，”display_name“：”Sergiy Bogomolov“，”orcid“：”https://orcid.org/0000-0002-0686-0365}，“机构”：[{“id”：https://openalex.org/I84884186“，”display_name“：”纽卡斯尔大学“，”ror“：”https://ror.org/01kj2bm70“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I84884186“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Sergiy Bogomolov“，”raw_affiliation_strings“：[“英国泰恩河畔纽卡斯尔大学计算学院”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5065639971“，”display_name“：”碧蚕侠“，”兽人“：”https://orcid.org/0000-0002-9915-918X}，“机构”：[{“id”：https://openalex.org/I20231570“，”display_name“：”北京大学“，”ror“：”https://ror.org/02v51f717“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I20231570“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Bican Xia“，”raw _ afiliation_strings“：[“LMAM，北京大学数学科学院，中国北京”]}]“countries_distict_count”：3，”institutions_distinct_count“：6，”corresponding_author_ids“：[]，”correcponding_institution_ids”：[]“apc_list”：null，“apc_payed”：nully，“has_fulltext“：false，”cited_by_count“：2，”cited_by_percentile_year“：{”min“：74，”max“：78}，”biblio“：{”volume“：”39“，”issue“：”11“，”first_page“：”4090“，”last_page“：https://openalex.org/T10928“，”display_name“：”不确定性量化和敏感性分析“，”score“：0.9955，”subfield“：{”id“：”https://openalex.org/subfields/1804“，”display_name“：”统计、概率和不确定性“}，”字段“：{”id“：”https://openalex.org/fields/18“，”display_name“：”Decision Sciences“}，”domain“：{”id“：”https://openalex.org/domains/2“，”display_name“：”Social Sciences“｝｝，”topics“：[｛”id“：”https://openalex.org/T10928“，”display_name“：”不确定性量化和敏感性分析“，”score“：0.9955，”subfield“：{”id“：”https://openalex.org/subfields/1804“，”display_name“：”统计、概率和不确定性“}，”字段“：{”id“：”https://openalex.org/fields/18“，”display_name“：”Decision Sciences“}，”domain“：{”id“：”https://openalex.org/domains/2“，”“display_name”：“社会科学”}}，{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.993，“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/T11235“，”“display_name”：“临床试验和药物开发中的统计方法”，“score”：0.9827，“subfield”：{“id”：“https://openalex.org/subfields/2613“，”display_name“：”统计与概率“}，”字段“：{”id“：”https://openalex.org/fields/26“，”display_name“：”Mathematics“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.577202}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.560383}，{”id“：”https://openalex.org/keywords/reliability分析“，”display_name“：”可靠性分析“，”score“：0.502669}]，”concepts“：[{”id“：”https://openalex.org/C136643341，“wikidata”：https://www.wikidata.org/wiki/Q1361526“，”display_name“：”可达性“，”级别“：2，”分数“：0.77371633｝，｛”id“：”https://openalex.org/C34862557，“wikidata”：https://www.wikidata.org/wiki/Q178985“，”display_name“：”Ode“，”level“：2，”score“：0.7631097}，{”id“：”https://openalex.org/C51544822，“wikidata”：https://www.wikidata.org/wiki/Q465274“，”display_name“：”常微分方程“，”level“：3，”score“：0.7365216}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.6519816}，{”id“：”https://openalex.org/C28826006，“wikidata”：https://www.wikidata.org/wiki/Q33521“，”display_name“：”应用数学“，”level“：1，”score“：0.5146809}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（抽象数据类型）“，”level“：2，”score“：0.430998｝，｛”id“：”https://openalex.org/C51955184，“wikidata”：https://www.wikidata.org/wiki/Q1545585“，”display_name“：”随机微分方程“，”level“：2，”score“：0.42224917}，{”id“：”https://openalex.org/C78045399，“wikidata”：https://www.wikidata.org/wiki/Q11214“，”display_name“：”微分方程“，”level“：2，”score“：0.30582348}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.25940186}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.25143927}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.19443235}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/tcad.2020.3013135“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S100835903“，”display_name“：”集成电路和系统计算机辅助设计IEEE事务“，”issn_l“：”0278-0070“，”isn“：[”0278.0070“，“1937-4151”]“is_oa”：false，“is_in_doaj”：false，“host_organization”：“https://openalex.org/P4310318808“，”“host_organization_name”：“电气与电子工程师学会”，“host_ordanization_lineage”：[“https://openalex.org/P4310318808“]，”host_organization_lineage_names“：[”电气和电子工程师协会“]，”type“：”journal“｝，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：null，”sustainable_development_goals“：[]，”grants“：[｛”funder“：”https://openalex.org/F4320320879“，”funder_display_name“：”Deutsche Forschungsgemeinschaft“，”award_id“：”FR 2715/4-1“}，{“funder”：“https://openalex.org/F4320320879“，”funder_display_name“：”Deutsche Forschungsgemeinschaft“，”award_id“：”DFG GRK 1765“}，{“funder”：“https://openalex.org/F4320321001“，”“funder_display_name”：“国家自然科学基金”，“award_id”：“61625206”}，{“funder”：“https://openalex.org/F4320321001“，”“funder_display_name”：“国家自然科学基金”，“award_id”：“61872341”}，{“funder”：“https://openalex.org/F4320321001“，”“funder_display_name”：“国家自然科学基金”，“award_id”：“61836005”}，{“funder”：“https://openalex.org/F4320321001“，”“funder_display_name”：“国家自然科学基金”，“award_id”：“61532019”}，{“funder”：“https://openalex.org/F4320321001“，”“funder_display_name”：“国家自然科学基金”，“award_id”：“61732001”}，{“funder”：“https://openalex.org/F432032133“，”“funder_display_name”：“中国科学院”，“award_id”：“Y8YC235015”}，{“funder”：“https://openalex.org/F4320338279“，”“funder_display_name”：“空军科学研究办公室”，“award_id”：“FA2386-17-1-4065”}]，“数据集”：[]，“版本”：[]，“referenced_works_count”：45，“referrenced_works”：[”https://openalex.org/W1489868140","https://openalex.org/W1491203899","https://openalex.org/W1508592466","https://openalex.org/W1598855039","https://openalex.org/W1824914642","https://openalex.org/W1980648830","https://openalex.org/W2017676950","https://openalex.org/W2026577854","https://openalex.org/W2030765885","https://openalex.org/W2033118636","https://openalex.org/W2096326343","https://openalex.org/W2108487867网址","https://openalex.org/W2110838565","https://openalex.org/W2112407936","https://openalex.org/W2123357397网址","https://openalex.org/W2141436719","https://openalex.org/W2149713648","https://openalex.org/W2245151812","https://openalex.org/W2275849312","https://openalex.org/W2472134807","https://openalex.org/W2483544051","https://openalex.org/W2554920396","https://openalex.org/W2571545337","https://openalex.org/W2578416453","https://openalex.org/W2590905045","https://openalex.org/W2759834774","https://openalex.org/W2766658289","https://openalex.org/W2767128663","https://openalex.org/W2884955533","https://openalex.org/W2932827394","https://openalex.org/W2938029150","https://openalex.org/W2963403829","https://openalex.org/W2964102294","https://openalex.org/W2964239200","https://openalex.org/W3012143895","https://openalex.org/W3022439851","https://openalex.org/W3025482344","https://openalex.org/W3043808265","https://openalex.org/W3093931768","https://openalex.org/W4207069012","https://openalex.org/W4210840459","https://openalex.org/W4229911014","https://openalex.org/W4252333959","https://openalex.org/W4292897630","https://openalex.org/W98854306“]，”related_works“：[”https://openalex.org/W4382202915","https://openalex.org/W4295745414","https://openalex.org/W4288093367","https://openalex.org/W3082668976","https://openalex.org/W2996841952","https://openalex.org/W2618518959","https://openalex.org/W2517973022","https://openalex.org/W2231364979","https://openalex.org/W1580703421","https://openalex.org/W1543121148“]，”ngrams_url“：”https://api.openalex.org/works/W3091748809/ngrams网站“，”“abstract_inverted_index”：{“随机”：[0]，“普通”：[1,6]，“微分”：[2,7,41]，“方程”：[3,8,42]，“（RODE）”：[4]，“是”：[5]，“ODE”：[9]，“that”：[10]，“包含”：[11]，“a”：[12,28,36,4912126]，“随机”“向量”：[17]，“字段”：[18]，“函数”：[19]，“它们”：[20]，“有”：[21,34]，“曾经”：[22,35]使用“：[23]，”表示“：[24,78137156182]，“许多”：[25]，“年份”：[26]，“宽”：[29]，“范围”：[30,56]，“的”：[31,57,94114128135152176]，“应用程序”：[32]，“但是”：[33]，“阴影”：[37]，“存在”：[38]，“到”：[39,47101132159173193]，“（SDE）”：[43]，“尽管”：[44]，“正在”：[45]，“能够“：[46]，”模型“：[48]，”更宽“：[50]，”和“：[51,73]，”经常“：[52]，”物理“：[53]，”更多”：[54]，“充足”：[55]，“干扰”。“：[58]，”In“：[59161]，”this“：[60162]，”文章，“：[61]，”我们“：[62，84，90124203]，”研究“：[63]，”the“：[64，74，86，92，99139164174191194198]，”安全“：[65103]，”验证“：[66]，”问题“：[6714166175196]，”过度“：[68141671997]，”两者“：[69]，”有限“：[70141368]，”时间“：[71，7161414169200]，”视野“：[72170]，“无限”：[75199]，“地平线”：[77]，“RODE“：[79]，”合并“：[80]，”维纳“：[81]，”过程。“：[82]，”具体来说“：[83]，”调查“：[85]，”p-安全“：[87140165195]，”问题“：[88]，”其中“：[89]，”识别“：[91]，”集合“：[93113]，”初始“：[95]，”状态“：[96]，”来自“：[97]，”which“：[98]，”概率“：[100118]，”满足“：[102]，”规格“：[104]，”是“：[105120171]，”at“：[106]，”最小“：[107]，”p.“：[108]，”Based“：[109]，”on“：[110207]，“识别“：[111]，”样本“：[115]，”路径“：[116]，”谁的“：[117]，”度量“：[119]，”较大“：[121]，”比“：[122]，”p，“：[123]，”提议“：[125]，”方法“：[127147192206]，”减少“：[129]，”可达性“：[131134]，”对手“：[133]，”ODE“：[136158183]，”解决“：[138]，”地平线。“：[145]，”This“：[146]，”permits“：[148]，”an“：[149]，”effective“：[150]，”lifting“：[151]，”reach-set“：[153]，”computeration“：[154]，”methods“：[155]，”扰动“：[157]，”RODEs。“：[160]，”方法“：[163]，”简化“：[172]，”内部近似“：[177]，”鲁棒“：[178]，”向后“：[179]，”可达“：[180]，”集合“：[181]，”带“：[184]，”时变“：[185]，”扰动“：[186]，”输入。“：[187]，”我们“：[188]，”然后“：[189]，”延伸“：[190]，”地平线。“：[201]，”最后，“：[202]，”演示“：[204]，”我们的“：[205]，”多个“：[208]，”示例。“：[209]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3091748809“，”counts_by_year“：[{”年份“：2024，”cited_by_count“：1}，{”年“：2021，”cited_by_count”：1}]，”更新日期“：”2024-06-06T16:54:21.466080“，”创建日期“：“2020-10-08”}