沈国华 - 南京航空航天大学 - 计算机科学与技术学院/人工智能学院

个人简介

沈国华，男，博士，副教授，硕士生导师，CCF高级会员，ACM会员，Knowledge-Based Systems、计算机学报等期刊审稿人。发表SCI、EI期刊论文二十余篇（含CCF B、C类）、重要核心期刊3篇（中文CCF A类），并以主要作者发表论著2部。主要研究方向为需求工程，可信计算，软件度量，知识图谱，语义Web，软件安全性，服务隐私。承担多项国家863计划课题、航空科学基金项目；以技术负责人完成了航空、航天、石油等多项特定领域的软件系统的研制。论著： 1. 黄志球，李清，沈国华《数据库应用技术基础》北京:机械工业出版社,2003 2. 黄志球，沈国华，康达周《XML知识管理：概念与应用》北京:科学出版社,2015 承担的科研项目情况： 1. 2018年-2020年12月，承担国家重点研发计划课题“基于编程现场大数据的接口与代码推荐方法与技术”（编号：SQ2018YFB100006），子课题负责人。 2. 2014年-2017年12月，承担国家863计划课题“内存计算系统软件研究与开发”（编号：2015AA015303），课题组技术骨干。 3. 2009年5月-2011年2月，承担国家863计划课题“基于Trustie的神州数码软件生产线改造及应用示范”（编号：2009AA010307），课题组技术负责人。 4. 2007年1月－2009年12月，参与教育部博士点基金“构件化嵌入式软件设计的非功能性质分析与验证研究”，课题组主要成员。 5. 2005年5月－2007年12月，参与国家高技术863-706重大专项子课题“面向飞行器研制的协同设计方法研究与环境实现”（编号：2005AA761020），课题组技术成员。 6. 2001年1月－2004年12月，承担航空科学基金“基于工程试验数据仓库的数据分析支撑环境研究”（编号：01I52058），课题组技术负责人。教育经历 2004.4 -- 2009.12南京航空航天大学计算机应用技术博士研究生毕业工学博士学位 1999.9 -- 2002.3南京航空航天大学计算机应用技术硕士研究生毕业工学硕士学位 1995.9 -- 1999.6南京航空航天大学机械设计及制造大学本科毕业工学学士学位工作经历 2002.4 -- 至今南京航空航天大学科研项目 [1]基于N**-IoT物联网技术的封闭园区管理系统的技术服务 [2]软件工程原理与应用 [3]通信模拟器 [4]面向服务的软件系统测试平台开发 [5]校准装置 [6]基于本体的嵌入式软件安全性需求建模与验证 [7]基于本体的软件特征建模及设计模型生成方法研究 [8]分布式数据仓库的用户工具实现技术研究 [9]基于本体的软件特征建模及设计模型生成方法研究 [10]项目开发 [11]设备监控系统软件 [12]工程化软件人才培养的实践探索 [13]基于本体的软件特征建模及设计模型生成方法研究授课信息软件工程原理与应用Ⅰ /2020-2021 /春学期 /48课时 /0.0学分 /16302090.01 Java语言程序设计(英文) /2017-2018 /秋学期 /48课时 /0.0学分 /1610236W

研究领域

学科研究方向一：计算机科学与技术知识图谱，本体，语义Web，Web服务，学科研究方向二：软件工程需求工程，软件度量，软件安全性学科研究方向三：网络空间安全服务隐私，安全需求

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

1. Guohua Shen, Haijuan Wang, Zhiqiu Huang, Supporting Requirements to Code Traceability Creation by Code Comments.Int. J. Softw. Eng. Knowl. Eng. (SCI, accepted) 2. Haijuan Wang, Guohua Shen, Zhiqiu Huang, Analysing Close Relations between Target Artifacts for Improving IR-based Requirement Traceability. Frontiers of Information Technology & Electronic Engineering. (SCI, accepted) 3. 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) 4. 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) 5. 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) 6. 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) 7. 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) 8. 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） 9. 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) 10. Y Liu，G Shen，Z Huang，Z Yang，Quantitative risk analysis of safety–critical embedded systems，Software Quality Journal，2017，25:503~527.(SCI) 11. 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) 12. 沈国华，黄志球，谢冰，朱羿全，廖莉莉，软件可信评估研究综述:标准、模型与工具，软件学报，2016，27（4）：955~968 13. Lili Liao，Guohua Shen，Zhiqiu Huang，Cohesion Metrics for Evaluating Semantic Web Ontologies，International Journal of Hybrid Information Technology, 2016,9(11):369-380 14. 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 15. 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) 16. 沈国华,张伟,黄志球,等.基于描述逻辑的特征语义建模及验证.计算机研究与发展，2013，50（7）：1501~1512 17. 沈国华,黄志球,钱巨,等.软件可信评估模型及其工具实现.计算机科学与探索,2011,5(6):553~561 18. 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) 19. 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) 20. 沈国华,黄志球,朱小栋,等. 一种应用描述逻辑推理实现本体映射的方法. 小型微型计算机系统,2008,29(11),1979~1985. 21. 沈国华,黄志球,朱小栋,等. 一种基于描述逻辑的语义Web服务匹配方法. 计算机科学,2008，35(4A),275~279. 22. 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) 23. 沈国华,黄志球,朱小栋,等. 数据集成中关系数据库到OWL语义映射. 第23届中国数据库学术会议(NDBC2006),计算机科学,2006,33(11增刊),167~170. 24. 沈国华,黄志球,赵晓非,等. 一种多学习者的模式映射方法. 计算机科学,2006,33(10增刊),171~177. 25. 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). 26. 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. 27. 沈国华,黄志球,柳雪涛,等. 基于数据仓库技术的工程数据管理系统的研究与实现. 小型微型计算机系统,2004, 25(1),127~130. 28. 吉鸣,黄志球,祝义,王珊珊,沈国华. 基于MDA的实时软件资源建模与模型转换的方法. 计算机科学,2011, 38(8),136~141. 29. 闫艳,黄志球,袁敏,沈国华. 面向服务的多参与者协调事务建模方法. 计算机科学与探索,2011,5(4):356~366. 30. 朱小栋,沈国华. 流式数据上关联规则挖掘研究综述. 计算机应用研究, 2010,27(9), 3101-3105. 31. 朱小栋,黄志球,沈国华. 基于描述逻辑的数据挖掘元数据的一致性检验. 小型微型计算机系统,2009, 30(2),266~270. 32. Xiaodong Zhu, Zhiqiu Huang, Guohua Shen: Description Logic Based Consistency Checking upon Data Mining Metadata. RSKT 2008: 475-482 33. 朱小栋,黄志球,陈圣青,黄凤,沈国华. 面向数据流挖掘过程的算法管理框架. 应用科学学报,2008, 26(1),61~67. 34. Xiaodong Zhu, Zhiqiu Huang, Shuqun Yang, Guohua Shen: Fuzzy Implication Methods in Fuzzy Logic. FSKD (1) 2007: 154-158 35. 赵晓非,黄志球,沈国华,等. 基于元模型的工程数据仓库系统元数据集成. 南京航空航天大学学报,2006,38(3),341~346. [1] 沈国华,,等.Preparation and Catalytic Activity for Oxygen Reduction Reaction of Tungsten Nitirde-Tungsten/Nitrogen Doped Ordered Mesoporous Carbon.CHINESE JOURNAL OF INORGANIC CHEMISTRY,2018 [2] 沈国华,Guo, Hu,Guo, Hu等.In situ palladium/nitrogen-doped ordered mesoporous carbon hybrids as highly active and durable electrocatalysts for oxygen reduction reaction.J Porous Mater,2019 [3] 沈国华,沈国华,沈国华等.A Trust-Aware Task Offloading Framework in Mobile Edge Computing.IEEE ACCESS,2019 [4] 沈国华,,等.一种基于失效传播模型的危害分析方法.计算机工程与科学,2019 [5] 沈国华,,等.通过代码模式改进基于IR的需求和代码之间追踪生成方法.小型微型计算机系统,2019 [6] 沈国华,,等.扩展SysML支持需求追踪模型的自动生成.计算机科学与探索,2018 [7] 沈国华,,等.“新工科”教育质量评估方法探索.工业和信息化教育,2018 [8] 沈国华,,等.一种工具支撑的动态故障树定量分析方法.小型微型计算机系统,2017 [9] 沈国华,,等.Quantitative risk analysis of safety-critical embedded systems.SOFTWARE QUALITY JOURNAL,2017 [10] 沈国华,,等.An analysis tool towards fault tolerance systems based on AADL error model.Int. J. Perform. Eng.,2017