| 研究方向： 杨茹，女，博士，副教授。2020年毕业于同济大学嵌入式系统与服务计算教育部重点实验室，获工学博士学位，2021年进入上海师范大学计算机系任教。主持国家自然科学基金青年项目1项，参与了国家自然科学基金、国家重点研发计划等多个国家项目，在IEEE Transactions on Systems, Man, and Cybernetics: Systems（影响因子13.451，中科院/JCR一区）等期刊或会议发表相关学术论文20余篇，申请专利2项，取得软件著作权1项。2021年10月入选上海市教委智能教育创新团队。主要研究方向包括形式化方法、Petri网理论与应用、人工智能+教育等。
论文： Ru Yang, Zhijun Ding*, MeiQin Pan, Changjun Jiang, and MengChu Zhou*, “Liveness Analysis of ω-Independent Petri Nets Based on New Modified Reachability Trees,” IEEE Transactions on Systems Man & Cybernetics: Systems, 47(9):2601-2612, Sept. 2017.（一区） Ru Yang, Zhijun Ding*, MeiQin Pan, MengChu Zhou, and Changjun Jiang, “Model Checking of Variable Petri Nets by Using Kripker Structure,” IEEE Transactions on Systems Man & Cybernetics: Systems, 2022, doi: 10.1109/TSMC.2022.3163741.（一区） Ru Yang, Zhijun Ding*, MengChu Zhou, and Changjun Jiang, “Modeling and Analysis of Three Properties of Mobile Interactive Systems Based on Variable Petri Nets,” IEEE Transactions on Automation Science and Engineering, Sept. 2022.（二区） Ru Yang, Zhijun Ding*, MeiQin Pan, “A New Modified Reachability Graph of ω-independent Petri Nets and Its Applications,” 2015 2nd International Conference on Communication Technology (ICCT 2015), 2015.1.19-2015.1.20, Melbourne, oral report. Zhijun Ding*, Ru Yang*, MeiQin Pan, MengChu Zhou, and Changjun Jiang, “Variable Petri Nets for Mobility,” IEEE Transactions on Systems Man & Cybernetics: Systems, 2021, doi: 10.1109/TSMC.2021.3103072.（一区） Bo Zhang, Zhihao Wang, Yunjie Lu, Mao-Zhen Li, Ru Yang*, Jianguo Pan*, Zuliang Kou,“Air pollutant diffusion trend prediction based on deep learning for targeted season—North China as an example,” Expert Systems With Applications, Jun. 2023. （一区） Bo Zhang, Yuan Liu*, RuiHan Yong, Guojian Zou, Ru Yang*, Jianguo Pan, Maozhen Li, A spatial correlation prediction model of urban PM2.5 concentration based on deconvolution and LSTM, Neurocomputing, Volume 544, 2023, pp. 126280.（二区） Bo Zhang, Wenqing Liu, Ya Zhang*, Ru Yang*, and Maozhen Li, “Implicit Negative Link Prediction with a Network Topology Perspective,” IEEE Transactions on Computational Social Systems, Oct. 2022.（二区）
Meizi Li, Xinyi Zhang, Maozhen Li, Yunwen Chen, Yanhong Bai, Bo Zhang*, and Ru Yang*, “Modeling Group Opinion Evolution On Online Social Networks: A Gravitational Field Perspective,” IEEE Transactions on Computational Social Systems, Mar. 2023.（二区） Meizi Li, Xue Li, Ya Zhang, Jianguo Pan*, Ru Yang*, “Implementation of a Social Network Information Dissemination Model Incorporating Negative Relationships,” Computing and Informatics, 2022. Haojie Qiu, Zhijun Ding*, Ru Yang, Changjun Jiang, “A Complex Behavioral Interaction Analysis Method for Microservice Systems with Bounded Buffers”, IEEE Transactions on Cloud Computing, 2023. Zhijun Ding* and Ru Yang, “Modeling and Analysis for Mobile Computing Systems Based on Petri Nets: A Survey,” IEEE Access, vol. 6, pp. 68038-68056, 2018. Zhijun Ding*, Haojie Qiu, Ru Yang, Changjun Jiang, and MengChu Zhou, “Interactive- control-model for Human-computer Interactive System Based on Petri Nets,” IEEE Transactions on Automation Science and Engineering, 16(4), pp. 1800-1813, 2019. Zhijun Ding, MeiQin Pan*, Ru Yang, Changjun Jiang, and MengChu Zhou, “Fully Expanded Tree for Property Analysis of One-Place-Unbounded Petri Nets,” IEEE Transactions on Systems, Man, and Cybernetics: Systems, 47(9), pp. 2574-2585, Sept. 2017. Puwen Cui, Ru Yang, Zhijun Ding*, “Detect and analyse the concurrent flaws of the BPEL process in a VPN-based approach,” Int. J. Serv. Technol. Manag. 26(2/3): 182-201 (2020). Haojie Qiu, Ru Yang, Zhijun Ding*, “Designing an Interactive Control for Multi-Robots Scenes based on Petri Nets,” 2018 Chinese Automation Congress (CAC), pp.1046-51, 2018.
Jiao Li, Ru Yang, Zhijun Ding, Meiqin Pan*, “A Method for Learning a Petri Net Model Based on Region Theory,” Comput. Informatics 39(1), 2020.
开设课程： 科研项目：
[1]国家自然科学基金（青年）：基于可变Petri网的RPA流程学习和优化方法研究，在研，项目负责人. [2]上海高校青年教师培养资助计划项目:人工智能课程思政教育实践——以《模式识别与机器学习》为例，在研，项目负责人.
[3]上海师范大学校级一般科研项目:基于可变Petri网的实时移动交互系统的建模与分析方法研究，在研，项目负责人.
|
