{“status”:“ok”,“message type”:“work”,“message version”:“1.0.0”,“message”:{“indexed”:{“date parts”:[[2024,12,12]],“date-time”:“2024-01-12T02:27:53Z”,“timestamp”:1705026473395},“publisher location”:“Cham”,“reference count”:39,“publisher”:“Springer International Publishing”,“isbn type”:[{“value”:“9783030532901”,“type”:“print”},{“value”:“9783030532918”,“type”:“electronic”}],“license”:[{“start”:{“date parts”:[[2020,1,1]],“date-time”:“2020-01-01T00:00:00Z”,“timestamp”:157783680000},“content-version”:“tdm”,“delay in days”:0,“URL”:“https://creativecommons.org/licenses\/by\/4.0”},{“start”:{“date parts”:[[2020,7,14]],“date-time”:“2020-07-14T00:00:00Z”,“timestamp”:159468 4800000},“内容版本”:“vor”,“delay-in-days”:195,“URL”:“https:\/\/creativecommons.org\/licenses\/by\/4.0”}],“内容域”:{“域”:[“link.springer.com”],“crossmark-restriction”:false},“short-container-title”:[],“published-print”:{“date-parts”:[2020]]},”DOI“:”10.1007\/978-3030-53291-8_18“,”类型“book-chapter”,“创建“:{“date-parts”:[[2020,7,15]],“date-time”:“2020-07-15T20:03:35Z”,“时间戳”:1594843415000},“页面”:“327-348”,“更新策略”:“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”,“源”:“Crossref”,”is-referenced-by-count“:3,”title“:[”随机微分动力学的无限时间安全验证“],”prefix“:”10.1007“,”author“:[{”ORCID“:“http://\/orcid.org\/00000-0002-5352-4954”,“authenticated-orcid”:false,“given”:“盛华”,“family”:“冯”,“sequence”:“first”,“affiliation”:[]},{“orcid”:”http://\/orcid.org\/0000-0001-9663-7441“,authenticationed-orcid”:false,“giving”:“明帅”,“家族”:“陈”,“序列”:“additional”,“从属关系”:[]},“{”orcid“:”http:\/\/orcid.org\/00000-0001-9717-846X“,“authenticated-orcid”:false,“given”:“Bai”,“family”:“Xue”,“sequence”:“additional”,“affiliation”:[]},{“orcid”:”http://\/orcid.org\/0000-0001-7315-4340“,”authentimated-orcid“:false”,“giving”:“Sriram”,“家族”:“Sankaranarayanan”,“序列”:“附加”,“从属关系”:[]},}“orcid”:“http://\orcid.org\/000-0003-3298-3817”,“经认证的”:false,“given”:“Naijun”,“family”:“Zhan”,“sequence”:“additional”,“affiliation”:[]}],“member”:“297”,“published-on-line”:{“date-parts”:[2020,7,14]]},“reference”:[{“issue”:“11”,“key”:”18_CR1“,”doi-asserted-by“:”publisher“,“first page”:“2724”,“doi”:“10.1016\/j.automatica.2008.027”,“volume”:“44”,“author”:“A Abate”,“year”:“2008”,“unstructured”:“Abate,A.,Prandini,M.,Lygeros,J.,Sastry,S.:受控离散时间随机混合系统的概率可达性和安全性。Automatica 44(11),2724\u20132734(2008)”,“日志标题”:“Automatic”},{“issue”:“2”,“key”:“18_CR2”,“doi-asserted-by”:“publisher”,“first-page”:“249”,“doi”:“10.1007\/s1017-002-0349-3”,“volume”:”95,“author”:“ED Andersen”,“year”:“2003”,“unstructured”:“Andersen,E.D.,Roos,C.,Terlaky,T.:关于实现二次曲线二次优化的原对偶内点法。Math.Program.95(2),249\u2013277(2003)”,“journal-title”:“Math.Program.”},{“key”:“18_CR3”,“volume-title“:“模型检验原理”,“au作者”:“C Baier”,“年份”:“2008”,“unstructured”:“Baier,C.,Katoen,J.-P.:模型检验原理。麻省理工学院出版社,剑桥(2008)”},{“key”:“18_CR4”,“series-title”:“Ergeb.Math.Grenzgeb.”,“doi-asserted-by”:“publisher”,“doi”:“10.1007\/978-3642-64971-4”,《volume-title》:“Inequalities”,“author”:“EF Becenbach”,“year”:“1961”,“unstractured”:“Beckenbach,E.F.,Bellman,R.E.:不等式。Ergeb.数学。Grenzgeb.,第30卷。斯普林格,海德堡(1961)。\nhttps:\/\/doi.org\/10.1007\/978-3-642-64971-4“},{”issue“:”3“,”key“:”18_CR5“,”doi-asserted-by“:”publisher“,”first-page“:”637“,”doi“:”10.1086\/260062“,”volume“:“81”,”author“:”F Black“,”year“:”1973“,”unstructured“:”Black,F.,Scholes,M.:期权定价和公司负债。《政治经济学杂志》81(3),637 \u2013654(1973)“,”新闻标题“:”政治经济学杂志。“},{”key“:”18_CR6“,”doi-asserted-by“:”crossref“,”unstructured“:”Blom,H.,Bakker,G.,Krystul,J.:大规模随机混合系统的概率可达性分析。摘自:CDC 2007,pp.3182\u20133189(2007)“,”doi“:”10.1109\/CDC.2007.4434095“}”,{publisher“,”first page“:”234“,”DOI“:”10.1007\/978-3-540-24743-2_16“,”volume-title“:”Hybrid Systems:Calculation and Control“,”author“:”ML Bujorianu“,“year”:“2004”,”unstructured“:”Bujorianu,M.L.:扩展随机混合系统及其可达性问题。In:Alur,R.,Pappas,G.J.(编辑)HSCC 2004。LNCS,第2993卷,第234\u2013249页。斯普林格,海德堡(2004)。\nhttps:\/\/doi.org\/10.1007\/978-3-540-24743-2_16“},{“key”:“18_CR8”,“doi-asserted-by”:“publisher”,“first-page”:“69”,“doi”:“10.1007\/978-300-13050-3_4”,“volume-title”:“Cyber-Physical Systems的设计自动化”,“author”:“JV Deshmukh”,“year”:“2019”,“unstructured”:“Deshmukh,J.V.,Sankaranarayanan,S.:网络物理系统验证和测试的形式化技术。摘自:Al Faruque,M.A.,Canedo,A.(编辑)《网络物理系统的设计自动化》,第69\u2013105页。查姆施普林格(2019)。\nhttps:\/\/doi.org\/10.1007\/978-3-030-13050-3_4“},{”key“:”18_CR9“,”doi-asserted-by“:”publisher“,”doi“:”10.1007\/9783-662-00031-1“,”volume-title“:”Markov Processes“,”author“:”EB-Dynkin“,“year”:“1965”,”unstructured“:”Dynkin,E.B.:Markov Proceds,第2卷。斯普林格,海德堡(1965)。\nhttps:\/\/doi.org\/10.1007\/978-3662-00031-1“},{”key“:”18_CR10“,”doi-asserted-by“:”publisher“,”first page“:“371”,”doi“:”10.1002\/andp.19063240208“,“volume”:“19”,“author”:“A Einstein”,“year”:“1906”,“unstructured”:“爱因斯坦,A.:关于布朗运动的理论。Ann.Phys.19,371\u2013381(1906)”,“journal-al-title“:”Ann.Phys.“},{”key“:”18_CR11“,”series-title“:”计算机科学课堂讲稿“,”doi-asserted-by“:”publisher“,”first page“:”650“,“doi”:“10.1007\/978-3-030-25540-4_37”,“volume-title”:“计算机辅助验证”,“author”:“S Feng”,“year”:“2019”,“unstructured”:“Feng,S.,Chen,M.,Zhan,N.,Fr\u00e4nzle,M.、Xue,B.:控制动力系统中的延迟。收录:Dillig,I.,Tasiran,S.(编辑)CAV 2019。LNCS,第11561卷,第650\u2013669页。查姆施普林格(2019)。\nhttps:\/\/doi.org\/10.1007\/978-3-030-25540-4_37“},{“key”:“18_CR12”,“doi-asserted-by”:“publisher”,“doi”:“10.1017\/CBO9781139626514”,“volume-title”:“随机过程:应用理论”,“author”:“RG Gallager”,“year”:“2013”,“unstructured”:“Gallager,R.G.:随机过程:应用理论。剑桥大学出版社,剑桥(2013)“},{“问题”:“2”,“关键”:“18_CR13”,“首页”:“939”,“卷”:“23”,“作者”:“S Hafstein”,“年份”:“2018”,“非结构化”:“Hafstein,S.、Gudmundsson,S.,Giesl,P.、Scalas,E.:使用平方和编程计算自治线性随机微分方程的Lyapunov函数。离散连续。动态。系统。B系列23(2),939\u2013956(2018)“,“日记标题”:“离散Contin。动态。系统。B系列“},{“问题”:“2”,“关键”:“18_CR14”,“doi-asserted-by”:“出版商”,“首页”:“169”,“doi”:“10.1016\/S0191-2615(03 190(2004)“,”新闻标题“:”运输。研究B部分方法。“},{”key“:”18_CR15“,”series-title“:”数学研究生课文“,”doi-asserted-by“:”publisher“,”doi“:”10.1007\/9781-4684-0302-2“,”volume-title“:“布朗运动与随机微积分”,”author“:”I Karatzas“,”year“:”2014“,”unstructured“:”Karatzas,I.,Shreve,S.:布朗运动与随机微积分。数学研究生课文。Springer,纽约(2014)。\nhttps:\/\/doi.org\/10.1007\/978-1-4684-0302-2“},{“问题”:“2”,“密钥”:“18_CR16”,“doi-asserted-by”:“出版商”,“首页”:“385”,“doi”:“10.1109\/TSMCA.2007.914777”,“卷”:“38”,“作者”:“XD Koutsoukos”,“年份”:“2008”,“非结构化”:“Koutsukos,X.D.,Riley,D.:随机混合系统验证的计算方法。IEEE传输。系统。人类网络。A部分系统。Hum.38(2),385\u2013396(2008)“,“期刊标题”:“IEEE Trans。系统。人类网络。A部分系统。Hum.“},{“key”:“18_CR17”,“doi-asserted-by”:“publisher”,“doi”:“10.1007\/978-1-4613-0007-6”,“volume-title”:“连续时间随机控制问题的数值方法”,“author”:“H Kushner”,“year”:“2001”,“unstructured”:“Kushner,H.,Dupuis,P.:连续时间随机控制问题的数值法”,Springer,纽约(2001).\nhttps:\/\/doi.org\/10.1007\/9781-4613-0007-6“},{“问题”:“12”,“密钥”:“18_CR18”,“doi-asserted-by”:“发布者”,“首页”:“2858”,“doi”:“10.1109\/TAC.201078170”,“卷”:“55”,“作者”:“A Lecchini-Visintinini”,“年份”:“2010”,“非结构化”:“Lecchini-Visintini,A.,Lygeros,J.,Maciejowski,J.:用马尔可夫链蒙特卡罗方法对有限时间保证的连续域进行随机优化。IEEE传输。自动化。控件55(12),2858\u20132863(2010)“,“日志标题”:“IEEE Trans。自动化。Control“},{“key”:“18_CR19”,“doi-asserted-by”:“crossref”,“unstructured”:“Liu,J.,Zhan,N.,Zhao,H.:计算多项式动力系统的半代数不变量。摘自:EMSOFT 2011,pp.97\u2013106。ACM(2011)“,“DOI”:“10.1145\/2038642.2038659”},{“key”:“18_CR20”,“DOI-asserted-by”:“crossref”,“unstructured”:“Liu,K.,Li,M,She,Z.:随机动力系统的半定规划可达性估计。见:CDC 2019,pp.7727\u20137732。IEEE(2019)“,“DOI”:“10.1109\/CDC40024.2019.9029192”},{“key”:“18_CR21”,“unstructured”:“L\u00f6fberg,J.:YALMIP:MATLAB中建模和优化的工具箱。收录于:CACSD 2004,pp.284\u2013289(2004)”}、{“密钥”:“18 _CR22”,“series-title”:“计算机科学课堂讲稿”,“DOI-asserted-by”:“publisher”,“first page”:”480“DOI“:”10.1007\/978-3-540-31954-2_31“,“volume-title”:“混合系统:计算与控制”,“author”:“IM Mitchell”,“year”:“2005”,“unstructured”:“Mitchel,I.M.,Templeton,J.A.:用于分析非确定性连续和混合系统的Hamilton-Jacobi解算器工具箱。收录:Morari,M.,Thiele,L.(编辑)HSCC 2005。LNCS,第3414卷,第480\u2013494页。斯普林格,海德堡(2005)。\nhttps:\/\/doi.org\/10.1007\/978-3-540-31954-2_31“},{“问题”:“1”,“密钥”:“18_CR23”,“doi-asserted-by”:“发布者”,“首页”:“3”,“doi”:“10.1137\/S00361445024180”,“卷”:“45”,“作者”:“C Moler”,“年份”:“2003”,“非结构化”:“Moler,C.,Van Loan,C.:二十五年后,计算矩阵指数的十九种可疑方法。SIAM Rev.45(1),3\u201349(2003)“,“journal-title”:“SIAM Rev”},{“key”:“18_CR24”,“doi-asserted-by”:“publisher”,“doi”:“10.1007\/978-1-4419-9863-7_101409”,“volume-title“:“Encyclopedia of Systems Biology”,“author”:“B\u00d8ksendal”,“year”:“2013”,“unstructured”:“\u00d8ksendal,B.:随机微分方程。收录:Dubitzky,W.、Wolkenhauer,O.、Cho,K.H.、Yokota,H.(编辑)《系统生物学百科全书》。施普林格,纽约(2013)。\nhttps:\/\/doi.org\/10.1007\/978-1-4419-9863-7_101409“},{”key“:”18_CR25“,”doi-asserted-by“:”publisher“,”doi“:”10.1002\/9781119377399“,”volume-title“:”随机微分方程:人口动力学建模应用简介“,”author“:”M Panik“,“year”:“2017”,”unstructured“:”Panik,M.:《随机微分方程:人口动力学建模应用简介》。Wiley,Hoboken(2017)“},{“问题”:“2”,“关键”:“18_CR26”,“doi-asserted-by”:“出版商”,“首页”:“293”,“doi”:“10.1007\/s10107-003-0387-5”,“卷”:“96”,“作者”:“PA Parillo”,“年份”:“2003”,“非结构化”:“Parillo,P.A.:半代数问题的半定编程松弛。数学程序。Ser.B 96(2),293\u2013320(2003)”,“日记标题“:”数学。程序。序列号。B“},{“key”:“18_CR27”,“doi-asserted-by”:“crossref”,“unstructured”:“Prajna,S.,Jadbabaie,A.,Pappas,G.J.:使用屏障证书的随机安全验证。见:CDC 2004,第1卷,pp.929\u2013934。IEEE(2004)“,”DOI“:”10.1109\/CDC.2004.1428804“},{”issue“:”8“,”key“:”18_CR28“,”DOI-asserted-by“:”publisher“,”first page“:“1415”,”DOI:“10.1109\/TAC.2007.902736”,“volume”:“52”,“author”:“S Prajna”,“year”:“2007”,“unstructured”:“Prajna,S.、Jadbabaie,A.、Pappas,G.J.:使用屏障证书进行最坏情况和随机安全验证的框架。IEEE传输。自动化。控制52(8),1415\u20131428(2007)“,“日志标题”:“IEEE Trans。自动化。Control“},{“key”:“18_CR29”,“doi-asserted-by”:“crossref”,“unstructured”:“Rajkumar,R.,Lee,I.,Sha,L.,Stankovic,J.:网络物理系统:下一次计算革命。摘自:DAC 2010,pp.731\u2013736。ACM(2010)“,”DOI“:”10.1145\/1837274.18374461“},{”issue“:”2“,”key“:”18_CR30“,”DOI-asserted-by“:”publisher“,”first page“:“286”,“DOI”:“10.1007\/s10703-017-0302-y”,“volume”:“53”,“author”:“P Roux”,“year”:“2017”,“unstructured”:“Roux,P.,Voronin,Y.-L.,Sankaranarayanan,S.:验证多项式不变量的数值半定规划求解器。形式方法系统。设计。53(2),286\u2013312(2017)。\nhttps:\/\/doi.org\/10.1007\/s10703-017-0302-y“,”journal-title“:”形式方法系统。设计。“},{”key“:”18_CR31“,”doi-asserted-by“:”crossref“,”unstructured“:”Sankaranarayanan,S.,Chakarov,A.,Gulwani,S.:概率程序的静态分析:从有限多个路径推断整个程序的属性。摘自:PLDI 2013,pp.447\u2013458(2013)“,”doi“:”10.1145\/2499370.2462179“非结构化”:“Santoyo,C.,Dutreix,M.,Coogan,S.:通过屏障函数验证和控制随机系统的有限时间安全性。收录于:CCTA 2019,第712\u2013717页。IEEE(2019)“,“DOI”:“10.1109\/CCTA.2019.8920407”},{“key”:“18_CR33”,“DOI-asserted-by”:“crossref”,“unstructured”:“Sloth,C.,Wisniewski,R.:随机动力系统的安全性分析。摘自:ADHS 2015,pp.62\u201367(2015)”,“DOI:”10.1016\/j.ifacol.2015.1153doi-asserted-by“:”publisher“,”first page“:”418“,”doi“:”10.1007\/978-3319-95582-7_25“,”volume-title“:”Formal Methods“,”author“:”A Sogokon“,”year“:”2018“,”unstructured“:”Sogokom,A.,Ghorbal,K.,Tan,Y.K.,Platzer,A.:向量屏障证书和比较系统。收录人:Havelund,K.,Peleska,J.,Roscoe,B.,de Vink,E.(编辑)FM 2018。LNCS,第10951卷,第418\u2013437页。查姆施普林格(2018)。\nhttps:\/\/doi.org\/10.1007\/978-3319-95582-7_25“},{”issue“:”7“,”key“:”18_CR35“,”doi-asserted-by“:”publisher“,”first page“:“901”,”doi“:”10.1177\/0278364912444146“,“volume”:“31”,“author”:“J Steinhardt”,“year”:“2012”,“unstructured”:“Steinhardd,J.,Tedrake,R.:随机非线性系统的Finite-time区域验证。.J.公司。机器人。决议31(7),901\u2013923(2012)“,“新闻标题”:“国际机器人杂志”。Res.“},{“issue”:“2”,“key”:“18_CR36”,“doi asserted by”:“publisher”,“first page”:“87”,“doi”:“10.1007\/BF01362149”,“volume”:“207”,“author”:“G Stengle”,“year”:“1974”,“nonstructured”:“Stengle,G.:半代数几何中的一个nullensteiltelz和一个positiveensteiltelz。Math.Ann.207(2),87\u201397(1974)”,“journal title”:“Math.Ann.”,{“问题”:“4”,“密钥”:18_CR37”,“doi asserted by”:“publisher”,“first page”:“1534”,“doi”:“10.1109\/TSTE.2015.2454333”,“volume”:“6”,“author”:“X Wang”,“year”:“2015”,“nonstructured”:“Wang,X.,Chiang,H.,Wang,J.,Liu,H.,Wang,T.:基于随机微分方程的风电电力系统长期稳定性分析:模型开发和基础。IEEE传输。维持。能源6(4),1534\u20131542(2015)“,“期刊标题”:“IEEE Trans。维持。Energy“},{“key”:“18_CR38”,“series-title”:“运筹学与管理科学国际丛书”,“doi-asserted-by”:“publisher”,“doi”:“10.1007\/978-1-4615-4381-7”,《volume-title》:“半定规划手册:理论、算法和应用”,“author”:“H Wolkowicz”,“year”:“2012”,“unstructured”:“Wolkowicz,H.、Saigal,R.、Vandenberghe,L.:半定规划手册:理论、算法和应用。运筹学与管理科学国际丛书,第27卷。斯普林格,波士顿(2012)。\nhttps:\/\/doi.org\/10.1007\/978-1-4615-4381-7“},{”key“:”18_CR39“,”series-title“:”计算机科学讲义“,”doi-asserted-by“:”publisher“,”first page“:“223”,“doi”:“10.1007\/3-540-45657-0_17”,“volume-title”:“计算机辅助验证”,“author”:“HLS Younes”,“year”:“2002”,“unstructured”:“Younes,H.L.S.,Simmons,R.G.:使用接受抽样对离散事件系统进行概率验证。收录:Brinksma,E.,Larsen,K.G.(编辑)CAV 2002。LNCS,第2404卷,第223\u2013235页。斯普林格,海德堡(2002)。\nhttps:\/\/doi.org\/10.1007\/3-540-45657-0_17“}],“container-title”:[“计算机辅助验证”,“计算机科学课堂讲稿”],“原始标题”:[],“链接”:[{“URL”:“http://\/link.springer.com\/content\/pdf\/10.10007\/978-3-030-53291-8_18”,“content-type”:“未指定”,“内容版本”:“vor”,“intended-application”:“相似性检查”}],“存放“:{“date-parts”:[[2020,7,15]],“date-time”:“2020-07-15T20:05:13Z”,“timestamp”:1594843513000},“score”:1,“resource”:{(主要):{”URL“:”http://\/link.springer.com\/10.1007\/978-3030-53291-8_18“}},”副标题“:[],”短标题“:[],”已发布“{“日期-parts”:[2020]]},,“ISBN”:[“97830 30532901“,”9783030532918“],”references-count“:39,”URL“:”http:\/\/dx.doi.org\/10.1007\/978-3-030-53291-8_18“,”关系“:{},”ISSN“:[”0302-9743“,”1611-3349“],”ISSN-type“:[{”value“:”03029743“,”type“:”print“},{”value“:2020年7月“,”订单“:1,”名称“:”first_online“,”标签“:”first online“,“group”:{“name”:“ChapterHistory“,”label“:”Chapter History”}},{“value”:“CAV”,“order”:1,“name”:“conference_acrombit”,“label”:“conference acronym”,“group”:{“name”:“ConferenceInfo”,”lable“:”ConferenceInformation“},”value“:”计算机辅助验证国际会议“,”order“:2,”name“:”conference_name“,”标签“:”会议名称“,”组“:{”名称“:”ConferenceInfo“,”label“:”ConferenceInformation“}},{”value“:”Los Angeles,CA“,”order“:3,”name“:”Conference_city“,”标签“:”会议城市“,”group“:会议信息“}},{”value“:”2020“,”order“:5,”name“:”Conference_year“,”label“:”Conference_year“,“group”:{“name”:“ConferenceInfo”,“label”:“会议信息”}}、{“value”:“2020年7月21日”,“order”:7、“name”:“Conference_start_date”、“label2020年7月24日”,“订单”:8,“名称”:“会议结束日期”,“标签”:“会议结束日期”,“组”:{“名称”:“会议信息”,“标签”:“会议信息”}},{“值”:“32”,“订单”:9,“名称”:“会议编号”,“标签”:“会议编号”,“组”:{“名称”:“会议信息”,“标签”:“会议信息”}},{“值”:“cav2020”,“订单”:10,“名称”:conference_id“,”label“:”会议id“,”group“:type“,”label“:”type“,”group“:{”name“:”ConfEventPeerReviewInformation“,”label“:”同行评审信息(由会议组织者提供)},{“value”:“240”,“order”:3,“name”:“number_of_submissions_sent_for_review”:“已接受的完整论文数”,“group”:{“name”:“ConfEventPeerReviewInformation”,“label”:“同行评审信息(由会议组织者提供)”}},{“value”:“22”,“order”:5,“name”:“Number_of_short_Papers_Accepted”,“tabel”::“同行评审信息(由会议组织者提供)”}},{“value”:“18%-该值由等式“接受的全文数”/“发送供评审的提交数*100”计算,然后四舍五入为整数。”,“order”:6,“name”:“acceptance_rate_of_Full_Papers”,“label”:“全文接受率”,“group”:{“name”:“ConfEventPeerReviewInformation”,“label”:“同行评审信息(由会议组织者提供)”}},{“value”:“11”,“order”:8,“name”:“average_number_of_papers_per_reviewer”,“label”:“每个审阅者的平均论文数”,“group”:{“name”:“ConfEventPeerReviewInformation”,“table”:“同行审阅信息(由会议组织者提供)”}},{“value”:“Yes”,“订单”:9,“name“:”external_reviewers_involved“,”label“:“涉及的外部审阅者”,“group”:{“name”:“ConfEventPeerReviewInformation”,“label”:“Peer Review Information(由会议组织者提供)”}},{“value”:“会议实际上是由于新冠肺炎疫情而召开的。”,“order”:10,“name”:“additional_info_on_Review_process”,“label”:”关于审查过程的其他信息“,”group“:{”name“:”ConfEventpeerReview信息“,“label”:“同行评审信息(由会议组织者提供)”}}]}}