新闻
  19.7.23
ScholarSpace计算机中文文献导读已更新到2019年6月!
  19.5.9
计算机学科排名系统ScholarRankings v2.0发布,新增领域选择和排名方式选择功能。
  19.4.27
学术引用系统ScholarCitation v1.0发布,基于计算机领域82826篇期刊论文间的引用关系,评估学术影响力。
  18.1.9
计算机学科排名系统ScholarRankings v1.0发布,其旨在改善原有排名方法,激励国内高校和教师积极参与计算机各个领域的研究,学者与学校的排名不仅取决于论文数量,排名结果更具有参考性(排名算法参考CSRankings)。
  17.11.9
学者关系知识图谱ScholarGraph v1.0发布,涵盖七大领域(计算机、经济、管理、物理、地理、考古、教育)673,044位学者、1,068,928篇论文的数据,共计10,612,497个三元组,每个领域下均有作者、期刊、论文、论文实体,以及论文发表、论文出版关系等。
  17.10.25
学者谱系检索系统ScholarTree(DegreeTree v2.0)系统发布,现已收录53个领域4,003,276条学位论文(涉及53个领域),挖掘出4,643,028条师生关系。

沈国华    Shen Guohua


南京航空航天大学计算机科学与技术学院



研究领域:


研究兴趣:

共检索到结果22条  被引22次[注:ScholarSpace内自引数]
查看沈国华的合作作者    在DBLP中查找该作者文献
查看该作者的单位历史    作者项目历史

论文列表


注:被引数指ScholarSpace内自引数
No. 论文信息 被引数
2019
22 杜天保 沈国华 黄志球 王飞 吴德香 . 通过代码模式改进基于IR的需求和代码之间追踪生成方法. 小型微型计算机系统, 2019, (05): 0
21 邓刘梦 沈国华 黄志球 王飞 葛晓瑜 . 扩展SysML支持需求追踪模型的自动生成. 计算机科学与探索, 2019, (06): 0
20 喻垚慎 黄志球 沈国华 王飞 崔少轩 . 基于抽象解释的嵌入式软件模块化Cache行为分析框架. 计算机学报, 2019, (10): 0
2018
19 王飞 黄志球 杨志斌 阚双龙 沈国华 陈光颖 . 一种安全攸关嵌入式系统需求追踪方法. 计算机学报, 2018, (03): 652-670 1
2017
18 司佳 沈国华 黄志球 王梓 潘诚 . 一种工具支撑的动态故障树定量分析方法. 小型微型计算机系统, 2017, (09): 2006-2011 0
2016
17 沈国华 黄志球 谢冰 朱羿全 廖莉莉 王飞 刘银陵 . 软件可信评估研究综述:标准、模型与工具. 软件学报, 2016, (04): 955-969 1
2015
16 朱羿全 沈国华 黄志球 康达周 阚双龙 . 云计算环境中支持语义的安全策略匹配研究. 小型微型计算机系统, 2015, (11): 2451-2457 0
15 王飞 沈国华 黄志球 马琳 刘畅 李海峰 廖莉莉 . 一种结合线性时序逻辑和故障树的软件安全验证方法. 计算机科学, 2015, (12): 71-76 0
2013
14 孙艺 黄志球 沈国华 柯昌博 . 支持冲突检测的P3P形式化语义研究. 计算机科学与探索, 2013, (10): 0
13 葛强 沈国华 黄志球 柯昌博 贾哲 . Web服务中支持本体推理的隐私保护研究. 计算机科学与探索, 2013, (06): 3
12 贾哲 黄志球 王珊珊 沈国华 柯昌博 . 支持本体推理的P3P隐私策略冲突检测研究. 计算机科学与探索, 2013, (01): 3
11 陆嘉俊 黄志球 王进 沈国华 柯昌博 . 面向行为的Web服务组合隐私策略描述研究. 计算机科学与探索, 2013, (07): 1
10 沈国华 张伟 黄志球 张钰龙 金澜涛 何文民 贾哲 赵子玥 . 基于描述逻辑的特征语义建模及验证. 计算机研究与发展, 2013, (07): 1501-1513 4
2012
9 朱小栋 肖芳雄 黄志球 沈国华 靳玲 . 基于描述逻辑的扩展预测模型标记语言EPMML. 计算机学报, 2012, (08): - 0
2011
8 闫艳 黄志球 袁敏 沈国华 . 面向服务的多参与者协调事务建模方法. 计算机科学与探索, 2011, (04): 2
7 洪宏 黄志球 沈国华 钱巨 刘春勇 . 支持软件可信评估的框架及其应用研究. 计算机科学与探索, 2011, (02): 2
6 沈国华 黄志球 钱巨 徐拥军 郝进 赵文耘 彭鑫 . 软件可信评估模型及其工具实现. 计算机科学与探索, 2011, (06): 4
5 吉鸣 黄志球 祝义 王珊珊 沈国华 . 基于MDA的实时软件资源建模与模型转换的方法. 计算机科学, 2011, (08): 1
2009
4 朱小栋 黄志球 沈国华 . 基于描述逻辑的数据挖掘元数据的一致性检验. 小型微型计算机系统, 2009, 30 (02): 266-270 0
2008
3 王磊 黄志球 朱小栋 沈国华 程亮 . 数据流中基于矩阵的频繁项集挖掘. 计算机科学与探索, 2008, (03): 0
2 沈国华 黄志球 朱小栋 王磊 曾云峰 . 一种应用描述逻辑推理实现本体映射的方法. 小型微型计算机系统, 2008, 29 (11): 1979-1985 0
2004
1 沈国华 黄志球 柳雪涛 张定会 . 基于数据仓库技术的工程数据管理系统的研究与实现. 小型微型计算机系统, 2004, 25 (01): 127-130 0

DBLP检索到的论文列表

No. Paper Inforamtion
2012
1 Guohua Shen, Zhiqiu Huang, Changbao Tian, Qiang Ge, Wei Zhang, Feature modeling and Verification based on Description Logics. SEKE, 2012

合作作者列表

1 何文民 [10]  
2 刘春勇 [7]  
3 刘畅 [15]  
4 刘银陵 [17]  
5 司佳 [18]  
6 吉鸣 [5]  
7 吴德香 [22]  
8 喻垚慎 [20]  
9 孔红云 []  
10 孙艺 [14]  
11 崔少轩 [20]  
12 康达周 [16]  
13 廖莉莉 [17]   [15]  
14 张伟 [10]  
15 张定会 [1]  
16 张钰龙 [10]  
17 彭鑫 [6]  
18 徐拥军 [6]  
19 曾云峰 [2]  
20 朱小栋 [3]   []  [2]  [4]  [9]  
21 朱羿全 [17]   [16]  
22 李海峰 [15]  
23 杜天保 [22]  
24 杨志斌 [19]  
25 柯昌博 [12]   [13]  [11]  [14]  
26 柳雪涛 [1]  
27 洪宏 [7]  
28 潘诚 [18]  
29 王梓 [18]  
30 王珊珊 [5]   [12]  
31 王磊 [3]   [2]  
32 王进 [11]  
33 王飞 [17]   [15]  [19]  [21]  [20]  [22]  
34 祝义 [5]  
35 程亮 [3]  
36 肖芳雄 [9]  
37 葛强 [13]  
38 葛晓瑜 [21]  
39 袁敏 [8]  
40 谢冰 [17]  
41 贾哲 [12]   [10]  [13]  
42 赵子玥 [10]  
43 赵文耘 [6]  
44 邓刘梦 [21]  
45 郝进 [6]  
46 金澜涛 [10]  
47 钱巨 [7]   [6]  
48 闫艳 [8]  
49 阚双龙 [16]   [19]  
50 陆嘉俊 [11]  
51 陈光颖 [19]  
52 靳玲 [9]  
53 马琳 [15]  
54 黄志球 [1]   [3]  []  [2]  [4]  [7]  [5]  [8]  [6]  [9]  [12]  [10]  [13]  [11]  [14]  
[17]  [15]  [16]  [18]  [19]  [21]  [20]  [22]  

单位历史信息

南京航空航天大学计算机科学与技术学院 (2011--2019)
南京航空航天大学信息科学与技术学院 (2004--2012)

说明: 作者的单位历史信息是根据本系统中论文的单位信息采用算法自动计算得到,部分信息可能不准确,仅供参考。