教师主页移动版

综合介绍 General Introduction 沈博，2017年博士毕业于西北工业大学，2017年至2018年前往普林斯顿大学从事博士后研究，现为西北工业大学计算机学院副教授。 主要从事人机物融合系统建模与分析、群体智能无人系统测试与评价、软件智能合成理论与方法等研究，主持国家自然基金、国家重点研发计划子课题、CCF-华为联合基金等项目7项；作为骨干参与国家自然基金重大项目、国家重点研发计划、863计划、xxx重点项目等10余项，发表学术论文20余篇，申请专利、软著10余项。此外，牵头申请团标1项、IEEE标准1项，担任IEEE QRS 2021-2023、CCF ChinaSoft 2022、 CCF CIRAC 2022、ICAUS 2022等多个国际会议相关Track的Chair。主持项目：[1] 基于演化博弈论的CPS网络交互与资源分配机制研究，国家自然科学基金[2] xx一体化平台[3] 场景驱动的智能系统关键属性评价测试用例自动生成方法研究, CCF-华为胡杨林基金[4] 复杂稳控系统的数字物理混合仿真验证技术及系统研发, 国网总部科技项目[5] 适应电网安全稳定控制决策需求的控制策略灵活重构技术研究与装置研制, 国网南瑞合作项目[6] xx体系研究, 某所合作项目[7] 基于博弈论的D2D网络演化及多维资源分配机制研究, 中央高校基本业务费参与项目：[1] 嵌入式软件智能合成基础理论与方法，国家自然科学基金重大项目荣获奖励：[1] 信息物理融合系统一体化建模与定制化服务技术及应用，2023年度CCF技术发明奖二等奖（排名第四）论文：[1] Q. Gou, Y. Dong, and B. Shen*, “Code generation for security and stability control system based on extended reactive component,” Journal of Systems Architecture, vol. 148, p. 103069, 2024.[2] Y. Zhao, Y. Yao, T. He, X. Zhou, and B. Shen*, “Sl4u: a scenario description language for unmanned swarm,” The Journal of Supercomputing, vol. 80, no. 4, pp.5363–5389, 2024.[3] B. Shen*, Q. Gu, and G. Yang, “Joint task offloading and uavs deployment for uav-assisted mobile edge computing,” Computer Networks, vol. 234, 109943, 2023.[4] 沈博*, 武文亮, 杨刚, 周兴社,“基于群体OODA的无人集群系统智能评价模型及方法”, 航空学报，vol. 44, no. 14, pp. 258--273, 2023.[5] 陈宣霏, 沈博*, 张凡, 杨刚, 周兴社, “基于扩展合同网协议的有人机/无人机任务协同方法”, 无人系统技术, vol. 5, no. 5, p. 72--80, 2022.[6] 赵月, 沈博*, 武文亮, 周兴社, “集群机器人空间协作行为模型构建方法综述”,计算机科学与探索, vol. 16, no. 8, p. 1706--1726, 2022.[7] 武文亮, 周兴社, 沈博,  赵月, “集群机器人系统特性评价研究综述”, 自动化学报, vol. 48, no. 5, pp. 1153–1172, 2022.[8] H. Yang, B. Shen*, G. Xu, and Y. Chen, “Modeling method and correctness verification of power grid safety and stability control strategy system,” in 2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C). IEEE, 2022, pp. 569–575.[9] W. Wu, X. Zhou, and B. Shen*, “Comprehensive evaluation of the intelligence levels for unmanned swarms based on the collective ooda loop and group extension cloud model,” Connection science, vol. 34, no. 1, pp. 630–651, 2022.[10] C. Wang, Y. Yao, W. Wu, C. Yang, K. Zhang, K. Kou, G. Yang, X. Zhou, and B. Shen, “Real-time evaluation method and implementation of multi-sensor dynamic ranging capability for uav,” in International Conference on Autonomous Unmanned Systems. Springer Nature Singapore Singapore, 2022, pp. 878–890.[11] M. Tuo, X. Zhao, B. Shen*, and W. Wu, “Modeling and real-time verification for cps based on time automata,” in 2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C). IEEE, 2022, pp. 576–579.[12] Q. Gu and B. Shen*, “An evolutionary game based computation offloading for an uav network in mec,” in International Conference on Wireless Algorithms, Systems, and Applications. Springer Nature Switzerland Cham, 2022, pp. 586–597.[13] B. Shen*, Y. Shen, and W. Ji, “Profit optimization in service-oriented data market: A stackelberg game approach,” Future Generation Computer Systems, vol. 95, pp. 17–25, 2019.[14] B. Shen*, N. Chilamkurti, R. Wang, X. Zhou, S. Wang, and W. Ji, “Deadline-aware rate allocation for iot services in data center network,” Journal of Parallel and Distributed Computing, vol. 118, pp. 296–306, 2018.[15] B. Shen*, S. Rho, X. Zhou, and R. Wang, “A delay-aware schedule method for distributed information fusion with elastic and inelastic traffic,” Information Fusion, vol. 36, pp. 68–79, 2017.[16] R. Wang, W. Cai, and B. Shen, “The study of the dynamic model on kad network information spreading,” Telecommunication Systems, vol. 63, pp. 371–379, 2016.[17] B. Shen*, X. Zhou, and M. Kim, “Mixed scheduling with heterogeneous delay constraints in cyber-physical systems,” Future Generation Computer Systems, vol. 61, pp. 108–117, 2016.相关报道：[1] https://mp.weixin.qq.com/s/obFPyoYk4FHEFu4eKClxbQ 喜报！祝贺西工大杨刚教授团队！[1] https://mp.weixin.qq.com/s/ajADTn6w7mo509Z54Zj5kQ 西工大周兴社、杨刚教授团队：基于群体OODA的无人集群系统智能评价模型及方法 | 航空学报CJA[2] https://jsj.nwpu.edu.cn/info/1598/10263.htm 计算机学院董云卫教授承担的国家自然科学基金重大项目课题顺利启动 个人相册

教育教学

个人经历 personal experience 工作经历 教育经历 2017.8-2018.7 普林斯顿大学电子工程系博士后2018.9-2020.5 西安电子科技大学计算机科学与技术学院2020.5-           西北工业大学计算机学院 2004.9-2008.7 西安电子科技大学计算机学院 工学学士2008.9-2011.3 西北工业大学电子信息学院 工学硕士2011.3-2017.3 西北工业大学计算机学院 工学博士

荣誉获奖

团队信息 Team Information 所在团队为陕西省嵌入式系统技术重点实验室，欢迎对人工智能系统解释性及其评估、云边端多维资源联合管理、智能化软件工程、形式化方法等方向感兴趣的优秀本科生加入我们团队！

科学研究

学术成果

综合介绍