(0)

基本信息

  • 性别:
  • 聘任技术职务:讲师(高校)
  • 学历:研究生教育
  • 联系电话:
  • 电子邮箱:yangru@shnu.edu.cn
  • 通讯地址:上海市奉贤区海思路100号
  • 部门:信息与机电工程学院
  • 学位:工学博士学位
  • 毕业院校:同济大学
  • 办公地址:奉贤校区科技楼A座721室

研究方向:

杨茹,女,博士,讲师。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.


开设课程:

  • 模式识别与机器学习

  • Python与数据分析

  • 数据结构


(以下信息源于科研管理系统)

学术成果:

教学工作:
教职工课程信息
开课学年开课学期课程名称
2022-20232数据结构
2022-20231算法与数据结构

荣誉奖励:

2020年 上海市优秀毕业生

2021年 同济大学优秀博士生论文

社会兼职: