| 研究方向： 杨茹，女，博士，讲师。2020年毕业于同济大学嵌入式系统与服务计算教育部重点实验室，获工学博士学位，2021年进入上海师范大学计算机系任教。参与了国家自然科学基金、国家重点研发计划等多个国家项目，在IEEE Transactions on Systems, Man, and Cybernetics: Systems（影响因子13.451，中科院/JCR一区）等期刊或会议发表相关学术论文10余篇，取得软件著作权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, 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. 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. 张瑞华, 杨茹, 丁志军*: 移动网可达树, 计算机科学, 2016.
开设课程：
|
