沈国华研究生导师介绍
姓名沈国华 性 别:  行政职务 :
专业技术职务副教授 办公电话84896490-16406 导师类别硕士生导师
最后学历博士毕业 最后学位博士 最后毕业学校南京航空航天大学
电子邮件ghshen@nuaa.edu.cn  
工作单位计算机科学与技术学院    
学科研究方向一:
专业名称计算机科学与技术 (招收硕士研究生)                                                                  学科代码11081200
本体,描述逻辑,语义Web,Web服务,
学科研究方向二:
专业名称软件工程 (招收硕士研究生) 学科代码083500
需求工程,软件度量,软件安全性
学科研究方向三:
专业名称网络空间安全 (招收硕士研究生) 学科代码083900
服务隐私
个人简历(学历、学术经历及社会兼职):
沈国华男,博士,副教授,硕士生导师,CCF高级会员,ACM会员,Knowledge-Based Systems期刊审稿人。主要研究方向为需求工程,可信计算,软件度量,描述逻辑,语义Web。以子项目负责人承担多项国家863计划课题、航空科学基金项目;以技术负责人完成了航空、航天、石油等多项特定领域的软件系统的研制。

发表学术论文,出版专著情况:
发表文章:
1. 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)
2. Y Liu ,G Shen ,Z Huang,Z Yang,Quantitative risk analysis of safety–critical embedded systems,Software Quality Journal,2017,25:503~527.(SCI)
3. 沈国华,黄志球,谢冰,朱羿全,廖莉莉,软件可信评估研究综述:标准、模型与工具,软件学报,2016,27(4):955~968
4. Lili Liao,Guohua Shen,Zhiqiu Huang,Cohesion Metrics for Evaluating Semantic Web Ontologies,International Journal of Hybrid Information Technology, 2016,9(11):369-380
5. 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
6. 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)
7. 沈国华,张伟,黄志球,等.基于描述逻辑的特征语义建模及验证.计算机研究与发展,2013,50(7):1501~1512
8. 沈国华,黄志球,钱巨,等.软件可信评估模型及其工具实现.计算机科学与探索,2011,5(6):553~561
9. 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)
10. 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)
11. 沈国华,黄志球,朱小栋,等. 一种应用描述逻辑推理实现本体映射的方法. 小型微型计算机系统,2008,29(11),1979~1985.
12. 沈国华,黄志球,朱小栋,等. 一种基于描述逻辑的语义Web服务匹配方法. 计算机科学,2008,35(4A),275~279.
13. 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)
14. 沈国华,黄志球,朱小栋,等. 数据集成中关系数据库到OWL语义映射. 第23届中国数据库学术会议(NDBC2006),计算机科学,2006,33(11增刊),167~170.
15. 沈国华,黄志球,赵晓非,等. 一种多学习者的模式映射方法. 计算机科学,2006,33(10增刊),171~177.
16. 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).
17. 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.
18. 沈国华,黄志球,柳雪涛,等. 基于数据仓库技术的工程数据管理系统的研究与实现. 小型微型计算机系统,2004, 25(1),127~130.
19. 吉鸣,黄志球,祝义,王珊珊,沈国华. 基于MDA的实时软件资源建模与模型转换的方法. 计算机科学,2011, 38(8),136~141.
20. 闫艳,黄志球,袁敏,沈国华. 面向服务的多参与者协调事务建模方法. 计算机科学与探索,2011,5(4):356~366.
21. 朱小栋,沈国华. 流式数据上关联规则挖掘研究综述. 计算机应用研究, 2010,27(9), 3101-3105.
22. 朱小栋,黄志球,沈国华. 基于描述逻辑的数据挖掘元数据的一致性检验. 小型微型计算机系统,2009, 30(2),266~270.
23. Xiaodong Zhu, Zhiqiu Huang, Guohua Shen: Description Logic Based Consistency Checking upon Data Mining Metadata. RSKT 2008: 475-482
24. 朱小栋,黄志球,陈圣青,黄凤,沈国华. 面向数据流挖掘过程的算法管理框架. 应用科学学报,2008, 26(1),61~67.
25. Xiaodong Zhu, Zhiqiu Huang, Shuqun Yang, Guohua Shen: Fuzzy Implication Methods in Fuzzy Logic. FSKD (1) 2007: 154-158
26. 赵晓非,黄志球,沈国华,等. 基于元模型的工程数据仓库系统元数据集成. 南京航空航天大学学报,2006,38(3),341~346.

论著:
黄志球,李清,沈国华《数据库应用技术基础》北京:机械工业出版社,2003
黄志球,沈国华,康达周《XML知识管理:概念与应用》北京:科学出版社,2015


科研成果获奖及专利:

承担的科研项目情况:
1. 2014年-2017年12月,承担国家863计划课题“内存计算系统软件研究与开发”(编号:2015AA015303),课题组技术骨干。
2. 2009年5月-2011年2月,承担国家863计划课题“基于Trustie的神州数码软件生产线改造及应用示范”(编号:2009AA010307),课题组技术负责人。
3. 2007年1月-2009年12月,参与教育部博士点基金“构件化嵌入式软件设计的非功能性质分析与验证研究”,课题组主要成员。
4. 2005年5月-2007年12月,参与国家高技术863-706重大专项子课题“面向飞行器研制的协同设计方法研究与环境实现”(编号:2005AA761020),课题组技术成员。
5. 2001年1月-2004年12月,承担航空科学基金“基于工程试验数据仓库的数据分析支撑环境研究”(编号:01I52058),课题组技术负责人。
指导研究生情况:

备注: