• 其他栏目

    沈国华

    • 副教授 硕士生导师
    • 招生学科专业：
      计算机科学与技术 -- 【招收硕士研究生】 -- 计算机科学与技术学院
      软件工程 -- 【招收硕士研究生】 -- 计算机科学与技术学院
      网络空间安全 -- 【招收硕士研究生】 -- 计算机科学与技术学院
      电子信息 -- 【招收硕士研究生】 -- 计算机科学与技术学院
    • 毕业院校：南京航空航天大学
    • 学历：南京航空航天大学
    • 学位：工学博士学位
    • 所在单位：计算机科学与技术学院/人工智能学院/软件学院
    • 办公地点：计算机学院406
    • 联系方式：微信/QQ：8328834
    • 电子邮箱：

    访问量：

    开通时间：..

    最后更新时间：..

    个人简介

    以下信息由研究生系统导入，请酌情修改完善

    沈国华，男，博士，副教授，硕士生导师，CCF高级会员，ACM会员，Trans on Information Forensics & Security、Knowledge-Based Systems、计算机学报等期刊审稿人。发表SCI、EI期刊论文四十余篇（含CCF B、C类）、重要核心期刊3篇（中文CCF A类），授权专利若干，并以主要作者发表论著2部。

           主要研究方向为基于大模型的软件安全分析、人工智能、新型智能软件、深度学习、需求工程，强化学习、可信计算，软件度量，知识图谱，语义Web，软件安全性，服务隐私。承担多项国家863计划课题、航空科学基金项目；以技术负责人完成了航空、航天、石油等多项特定领域的软件系统的研制。

    目前计科、软工、网安、电子信息方向均有名额，欢迎报考！


    研究方向：

    学科研究方向一：计算机科学与技术

       人工智能、大语言模型、提示词工程、深度学习、强化学习、知识图谱、本体、语义Web、Web服务

    学科研究方向二：软件工程

       基于大模型的软件安全分析、新型智能软件工程、需求工程、软件度量、软件安全性

    学科研究方向三：网络空间安全

        联邦学习、服务隐私、安全需求


    发表学术论文,出版专著情况：

    主要论文： dblp论文检索


    [1] Guohua Shen*, Mengnan Cai, Zhiqiu Huang, Yang Yang, Feifei Guo, Linlin Wei: LoHDP: Adaptive local differential privacy for high-dimensional data publishing. Concurr. Comput. Pract. Exp. 36(11) (2024)

    [2] Xinbo Zhang, Guohua Shen*, Zhiqiu Huang, Yaoshen Yu, Kang Wang: FuEPRe: a fusing embedding method with attention for post recommendation. Serv. Oriented Comput. Appl. 18(1): 67-79 (2024)

    [3] Yaoshen Yu, Zhiqiu Huang*, Guohua Shen, Weiwei Li, Yichao Shao: ASTSDL: predicting the functionality of incomplete programming code via an AST-sequence-based deep learning model. Sci. China Inf. Sci. 67(1) (2024)

    [4] Guohua Shen*, Sien Yang, Zhiqiu Huang, Yaoshen Yu, Xin Li: The prediction of programming performance using student profiles. Education and Information Technologies 28(1): 725-740 (2023)

    [5] Feifei Guo, Guohua Shen*, Zhiqiu Huang, Yang Yang, Mengnan Cai, Linlin Wei: DABAC: Smart Contract-Based Spatio-Temporal Domain Access Control for the Internet of Things. IEEE Access 11: 36452-36463 (2023)

    [6] Junan Huang, Zhiqiu Huang*, Guohua Shen, Jinyong Wang, Xiaohua Yin: Maneuver Conditioned Vehicle Trajectory Prediction Using Self-Attention. Int. J. Comput. Intell. Appl. 22(2): 2350005:1-2350005:19 (2023)

    • [7] Chao Wang, Zhiqiu Huang*, Shuren Qi, Yaoshen Yu, Guohua Shen, Yushu Zhang: Shrinking the Semantic Gap: Spatial Pooling of Local Moment Invariants for Copy-Move Forgery Detection. IEEE Trans. Inf. Forensics Secur. 18: 1064-1079 (2023)

    • [8] Jinyong Wang, Zhiqiu Huang*, Yi Zhu, Guohua Shen: Statistical Model Checking for Stochastic and Hybrid Autonomous Driving Based on Spatio-Clock Constraints. Int. J. Softw. Eng. Knowl. Eng. 32(4): 553-582 (2022)

    • [9] Yaoshen Yu, Zhiqiu Huang*, Guohua Shen, Weiwei Li, Yichao Shao: ASTENS-BWA: Searching partial syntactic similar regions between source code fragments via AST-based encoded sequence alignment. Sci. Comput. Program. 222: 102839 (2022)

    • [10] Xiaohua Yin, Zhiqiu Huang*, Shuanglong Kan, Guohua Shen, Zhe Chen, Yang Liu, Fei Wang: SafeOSL: Ensuring memory safety of C via ownership-based intermediate language. Softw. Pract. Exp. 52(5): 1114-1142 (2022)

    • [11]Guohua Shen*, Haijuan Wang, Zhiqiu Huang, Yaoshen Yu, Kai Chen: Supporting Requirements to Code Traceability Creation by Code Comments. Int. J. Softw. Eng. Knowl. Eng. 31(8): 1099-1118 (2021)

    • [12] Haijuan Wang, Guohua Shen*, Zhiqiu Huang, Yaoshen Yu, Kai Chen: Analyzing close relations between target artifacts for improving IR-based requirement traceability recovery. Frontiers Inf. Technol. Electron. Eng. 22(7): 957-968 (2021)

    [13] Shuyu Bian, Guohua Shen*, Zhiqiu Huang, Yang Yang, Jinghan Li, Xiaoyu Zhang, PABC: A Patent Application System Based on Blockchain. IEEE Access 9: 4199-4210, 2021. (SCI)

    [14] Yunfei Meng, Zhiqiu Huang*, Guohua Shen, Changbo Ke, A security policy model transformation and verification approach for software defined networking. Comput. Secur. 100: 102089, 2021. (SCI)

    [15] Kai Chen, Guohua Shen*, Zhiqiu Huang, Haijuan Wang, Improved Entity Linking for Simple Question Answering Over Knowledge Graph. Int. J. Softw. Eng. Knowl. Eng. 31(1): 55-80, 2021. (SCI)

    [16] Y Meng, Z Huang*, G Shen, SDN-based Security Enforcement Framework for Data Sharing Systems of Smart Healthcare, IEEE Transactions on Network and Service Management, 17(1): 308-318,2020. (SCI)

    [17] Tianbao Du, Guohua Shen*, Zhiqiu Huang, Automatic Traceability Link Recovery via Active Learning, Frontiers of Information Technology & Electronic Engineering. 21(8): 1217-1225, 2020. (SCI)

    [18] Dexiang Wu, Guohua Shen*, Zhiqiu Huang, Yan Cao, Tianbao Du. A Trust-Aware Task Offloading Framework in Mobile Edge Computing[J]. IEEE Access, 7: 150105-150119, 2019.（SCI）

    [19] Yinling Liu, Tao Wang, Haiqing Zhang, Vincent Cheutet, Guohua Shen: The design and simulation of an autonomous system for aircraft maintenance scheduling. Comput. Ind. Eng. 137, 2019. (SCI)

    [20] Y Liu，G Shen*，Z Huang，Z Yang，Quantitative risk analysis of safety–critical embedded systems，Software Quality Journal，2017，25:503~527.(SCI)

    [21] Guohua Shen*, Yuping Zhang, Zhiqiu Huang, Haiyan Chen, Lie Zang, Ou Wei, Xinye Cai. Computer Science and Software Engineering Education are Complementary with One Another. ACM SIGSOFT Software Engineering Notes. (to appear)

    [22] 沈国华*，黄志球，谢冰，朱羿全，廖莉莉，软件可信评估研究综述:标准、模型与工具，软件学报，2016，27（4）：955~968

    [23] Lili Liao，Guohua Shen*，Zhiqiu Huang，Cohesion Metrics for Evaluating Semantic Web Ontologies，International Journal of Hybrid Information Technology, 2016,9(11):369-380

    [24. Zi Wang, GuoHua Shen*, ZhiQiu Huang，A  Simulation  Approach  for  SIGNAL Time  Model  Concern  on  Multi-clock  System，Communications  in  Computer  and Information Science, 2016, 35–51

    [25] Y Liu, G Shen*, F Wang，Research on AADL Model for Qualitative Safety Analysis of Embedded Systems，International Journal of Multimedia and Ubiquitous Engineering, 2016, 11(6):153-170 (EI)

    [26] 沈国华*,张伟,黄志球,等.基于描述逻辑的特征语义建模及验证.计算机研究与发展，2013，50（7）：1501~1512

    [27] 沈国华*,黄志球,钱巨,等.软件可信评估模型及其工具实现.计算机科学与探索,2011,5(6):553~561

    [28] Guohua Shen*, Zhiqiu Huang*, Yuping Zhang, Xiaodong Zhu. A semantic model for matchmaking of Web services based on Description Logics. Fundamenta Informaticae, 2009,96(1-2),211~226.(SCI)

    [29] Guohua Shen, Zhiqiu Huang*, Xiaodong Zhu, et al. Reasoning about Web Services with Dynamic Description Logics, Proc.of 2009 World Congress on Computer Science and Information Engineering (CSIE 2009) Vol.6, IEEE Computer Society, 2009, 106~110 (EI,ISTP)

    [30] 沈国华,黄志球,朱小栋,等. 一种应用描述逻辑推理实现本体映射的方法. 小型微型计算机系统,2008,29(11),1979~1985.

    [31] 沈国华,黄志球,朱小栋,等. 一种基于描述逻辑的语义Web服务匹配方法. 计算机科学,2008，35(4A),275~279.

    [32] Guohua Shen, Zhiqiu Huang, Xiaodong Zhu, et al. Using Description Logics Reasoner for Ontology Matching，In：Proc. of Workshop on Intelligent Information Technology Application 2007 (IITA 2007), IEEE Computer Society, 2007 :30~33. (EI,ISTP)

    [33] 沈国华,黄志球,朱小栋,等. 数据集成中关系数据库到OWL语义映射. 第23届中国数据库学术会议(NDBC2006),计算机科学,2006,33(11增刊),167~170.

    [34] 沈国华,黄志球,赵晓非,等. 一种多学习者的模式映射方法. 计算机科学,2006,33(10增刊),171~177.

    [35] Guohua Shen, Zhiqiu Huang, Xiaodong Zhu, Xiaofei Zhao. Research on the Rules of Mapping from Relational Model to OWL. OWL: Experiences and Directions(OWLED 2006).

    [36] Guohua Shen, Zhiqiu Huang, Chuandong Wang. Role of Meta-Model in Engineering data warehouse, Transactions of Nanjing University of Aeronautics & Astronautics, 2004, 21(4), 317~321.

    [37] 沈国华,黄志球,柳雪涛,等. 基于数据仓库技术的工程数据管理系统的研究与实现. 小型微型计算机系统,2004, 25(1),127~130.

    [38] 吉鸣,黄志球,祝义,王珊珊,沈国华. 基于MDA的实时软件资源建模与模型转换的方法. 计算机科学,2011, 38(8),136~141.

    [39] 闫艳,黄志球,袁敏,沈国华. 面向服务的多参与者协调事务建模方法. 计算机科学与探索,2011,5(4):356~366.

    [40] 朱小栋,沈国华. 流式数据上关联规则挖掘研究综述. 计算机应用研究, 2010,27(9), 3101-3105.

    [41] 朱小栋,黄志球,沈国华. 基于描述逻辑的数据挖掘元数据的一致性检验. 小型微型计算机系统,2009, 30(2),266~270.

    [42] Xiaodong Zhu, Zhiqiu Huang, Guohua Shen: Description Logic Based Consistency Checking upon Data Mining Metadata. RSKT 2008: 475-482

    [43] 朱小栋,黄志球,陈圣青,黄凤,沈国华. 面向数据流挖掘过程的算法管理框架. 应用科学学报,2008, 26(1),61~67.

    [44] Xiaodong Zhu, Zhiqiu Huang, Shuqun Yang, Guohua Shen: Fuzzy Implication Methods in Fuzzy Logic. FSKD (1) 2007: 154-158

    [45] 赵晓非,黄志球,沈国华,等. 基于元模型的工程数据仓库系统元数据集成. 南京航空航天大学学报,2006,38(3),341~346.


    论著：


    1. 黄志球，李清，沈国华《数据库应用技术基础》北京:机械工业出版社,2003

    2. 黄志球，沈国华，康达周《XML知识管理：概念与应用》北京:科学出版社,2015


    承担的科研项目情况：

    1. 2024年-2025年12月，承担工信部重点研发计划课题“航空专用先进数字化制造系统基础软件”（合作单位：商飞），技术负责人。

    2. 2018年-2020年12月，承担国家重点研发计划课题“基于编程现场大数据的接口与代码推荐方法与技术”（编号：SQ2018YFB100006），子课题负责人。

    3. 2014年-2017年12月，承担国家863计划课题“内存计算系统软件研究与开发”（编号：2015AA015303），课题组技术骨干。

    4. 2009年5月-2011年2月，承担国家863计划课题“基于Trustie的神州数码软件生产线改造及应用示范”（编号：2009AA010307），课题组技术负责人。

    5. 2007年1月－2009年12月，参与教育部博士点基金“构件化嵌入式软件设计的非功能性质分析与验证研究”，课题组主要成员。

    6. 2005年5月－2007年12月，参与国家高技术863-706重大专项子课题“面向飞行器研制的协同设计方法研究与环境实现”（编号：2005AA761020），课题组技术成员。

    7. 2001年1月－2004年12月，承担航空科学基金“基于工程试验数据仓库的数据分析支撑环境研究”（编号：01I52058），课题组技术负责人。


    毕业生去向：

    华为、中兴、阿里巴巴、百度、小米、京东、美团、28所、大众点评、苏宁银行等（排名不分先后），部分读博。已和部分大厂建立紧密合作关系，可推荐工作。




    教育经历

    2004.4 -- 2009.12
    南京航空航天大学       计算机应用技术       博士研究生毕业       工学博士学位

    1999.9 -- 2002.3
    南京航空航天大学       计算机应用技术       硕士研究生毕业       工学硕士学位

    1995.9 -- 1999.6
    南京航空航天大学       机械设计及制造       大学本科毕业       工学学士学位

    工作经历

    2002.4 -- 至今

    南京航空航天大学


    版权所有©2018- 南京航空航天大学·信息化处（信息化技术中心）