研究方向
可验证、高效率的图神经网络安全训练方法研究 可信人工智能系统,人工智能系统的正确性、安全性建模与验证 人机物融合系统的不确定性建模与动态验证 教育及工作背景 2009.09–2013.07 华东师范大学 软件工程学院 本科 2016.10-2018.04 法国国家信息与自动化研究所INRIA 联合培养 导师:Robert de Simone 2013.09–2020.07 华东师范大学 软件工程学院 博士 导师:刘静 2020.07-至今 上海师范大学 信息与机电工程学院 讲师 主要成果 [1] Dongdong An, Yi Yang, Wenyan Liu, Qin Zhao, Jing Liu, Hongda Qi, and Jie Lian; A Secure GNN Training Framework for Partially Observable Graph[J]. Electronics. 2024; 13(14):2721. https://doi.org/10.3390/electronics13142721(SCI) [2] Dongdong An, Zongxu Pan, Qin Zhao, Wenyan Liu, and Jing Liu. Unsupervised Graph Structure Learning Based on Optimal Graph Topology Modeling and Adaptive Data Augmentation[J]. Mathematics 2024, 12, 1991. https://doi.org/10.3390/math12131991 (SCI) [3] Dongdong An, Zongxu Pan, Xin Gao, Shuang Li, Ling Yin, Tengfei Li. stohMCharts: A Modeling Framework for Quantitative Performance Evaluation of Cyber-Physical-Social Systems[J]. IEEE Access, 2023, Volume 11, 44660-44671pp. ISSN 2169-3536. DOI:10.1109/ACCESS.2023.3272672 (SCI) [4] 安冬冬; 刘静; 陈小红; 孙海英 ; 不确定环境下hCPS系统的形式化建模与动态验证, 软件学报, 2021, 32(7) (期刊论文) (中文CCF-A) [5] Dongdong An; Jing Liu; Min Zhang; Xiaohong Chen; Mingsong Chen; Haiying Sun ; Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach, Journal of Systems and Software, 2020, 167: 110617 (期刊论文) (JCR一区,SCI二区,CCF-B) [6] Dongdong An; Jing Liu ; An Approach to Modeling and Analyzing Human-Centric Systems and Its Application, International Journal of Cooperative Information Systems, 2018, 27(1): 1-21 (期刊论文) (SCI) [7] Dongdong An; Jing Liu; Xiaohong Chen; Tengfei Li; Ling Yin ; A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification Based on Machine Learning, International Conference on Formal Engineering Methods, 2019-10 (会议论文) (EI) 科研项目 [1] 国家自然科学基金(青年),可验证、高效率的图神经网络安全训练方法研究,62302308,在研,主持 [2] 上海市“科技创新行动计划”启明星项目(扬帆专项),不确定环境下人机物融合系统的形式化建模与验证方法研究, 21YF1432900,在研,主持 [3] 国家可信嵌入式软件工程技术研究中心,基于线性近似的图卷积网络鲁棒性验证方法研究,在研,主持 [4] 上海高校青年教师培养资助计划项目:人工智能导论课程思政教育实践(市级),在研,主持 [5] 上海师范大学校级一般科研项目:不确定环境下无人驾驶系统的建模与验证方法研究,在研,主持 [6] 国家自然科学基金委员会(面上),社交网络中集体无意识群体智能的引力场形成机理及演化动力研究,62372300, 在研,参与 [7] 国家自然科学基金(面上),信息物理系统时空建模与验证关键问题研究,61972160,参与(已结题) [8] 国家自然科学基金(面上),时空统一建模、精化和验证方法研究,61572195,参与(已结题) [9] 国家留学基金委项目,法国国家信息与自动化研究所,概率时钟约束研究 参与 [10] 校企合作项目,富欣智能交通控制有限公司,轨道交通系统运控系统定位技术验证及研究 参与 专利和软著 [1] 基于图修改技术的图隐私数据保护及提升图效用的方法 专利号:202410278189.4 [2] 一种基于安全策略的图节点分类方法 专利号:202410285053.6 [3] stohMCharts建模及模型转换软件 V1.0 登记号:2024SR0324190 指导学生 研究生:潘宗旭(研三) 杨毅(研二) 张昊(研二) 已毕业研究生:高昕 主要开设课程
行政工作 行政助理 2023年-今 |