学术活动
  2010-4-9
  2010-3-28
  2010-3-15
  2010-1-15
  2009-6-15
 

韩俊刚    Han Jungang







同名作者区分

韩俊刚 西安邮电学院韩俊刚 西北电讯工程学院韩俊刚 西安电子科技大学
韩俊刚 西安电子科学技术大学韩俊刚 北京钢铁设计研究总院计算站
注:C-DBLP的重名区分功能部分使用了清华大学王建勇老师课题组提出的GHOST(GrapH-based framewOrk for name diStincTion)算法,在此表示感谢。
共检索到结果40条  被引23次[注:ScholarSpace内自引数]
查看韩俊刚的合作作者    在DBLP中查找该作者文献
查看该作者的单位历史    作者项目历史

论文列表


注:被引数指ScholarSpace内自引数
No. 论文信息 被引数
2019
40 王亚刚 王萌 韩俊刚 贾阳 路玉峰 . 一种自动分割股骨区域的R-U-Net神经网络. 小型微型计算机系统, 2019, (04): 0
2017
39 车芳 韩俊刚 陈俊艳 . 基于Y通道Haar-like特征的压缩跟踪. 小型微型计算机系统, 2017, (08): 1872-1877 1
2015
38 焦继业 李涛 杜慧敏 韩俊刚 . 移动图形处理器的现状、技术及其发展. 计算机辅助设计与图形学学报, 2015, (06): 1005-1017 1
2014
37 邓军勇 李涛 蒋林 韩俊刚 杜慧敏 沈绪榜 黄光新 常立博 山蕊 黄虎才 马栋 . MIGPU-9多核交互式图形处理器的设计. 计算机辅助设计与图形学学报, 2014, (09): 1468-1479 2
2013
36 衡霞 支亚军 韩俊刚 . 基于片上网络多处理器QoS研究与设计. 计算机科学, 2013, (S1): 0
35 殷诚信 韩俊刚 黄虎才 . 并行扫描转换结构中的状态管理. 中国图象图形学报, 2013, (09): - 0
2012
34 韩俊刚 殷诚信 曹小鹏 . 自适应多采样扫描转换算法. 计算机辅助设计与图形学学报, 2012, (04): - 2
33 董梁 曹小鹏 刘海 刘有耀 蒋林 韩俊刚 沈绪榜 . 适用图形硬件的分格化算法与设计实现. 计算机辅助设计与图形学学报, 2012, (07): - 0
32 刘镇弢 李涛 杜慧敏 韩俊刚 . 基于context模型的contourlet域图像去噪. 计算机科学, 2012, (03): - 2
2011
31 郭建 韩俊刚 . 三值逻辑证明系统及正例与反例的提取. 计算机辅助设计与图形学学报, 2011, (07): 1270-1280 0
30 董梁 刘海 韩俊刚 . 图形处理器中光照和纹理映射的设计与仿真实现. 计算机科学, 2011, (02): 284-288 1
2010
29 韩俊刚 蒋林 杜慧敏 曹小鹏 董梁 孟李林 赵全良 殷诚信 张军 . 一种图形加速器和着色器的体系结构. 计算机辅助设计与图形学学报, 2010, (03): 363-373 6
2009
28 刘有耀 韩俊刚 . Torus连接Petersen图互连网络及路由算法. 计算机科学, 2009, (03): 0
27 杨晓强 谭耀东 朱宁洪 韩俊刚 . NoC节点编码及路由算法的研究. 计算机科学, 2009, (03): 2
26 张丽果 杜慧敏 韩俊刚 . 无数据缓存的容错环形NoC. 计算机科学, 2009, (03): 0
2008
25 刘有耀 杜慧敏 韩俊刚 . NoC关键问题. 计算机科学, 2008, 35 (02): 13-16 0
2007
24 李宥谋 蒋林 韩俊刚 . 5Gbps~40Gbps宽带交换软核的设计与实现. 计算机工程, 2007, 33 (04): 230-232 0
23 张华 郭建 韩俊刚 . 基于PSL断言的宽带电路交换芯片验证. 计算机工程, 2007, 33 (14): 216-219 0
22 马博 韩俊刚 . 采用PSL的基于断言的验证. 计算机工程, 2007, 33 (02): 217-219 0
2006
21 郭建 韩俊刚 . 模态转移系统的三值逻辑模型检验. 计算机辅助设计与图形学学报, 2006, 18 (06): 881-884 2
20 郭建 韩俊刚 . 基于不完全Kripke结构三值逻辑的模型检验. 计算机科学, 2006, 33 (03): 263-267 0
19 朱智林 韩俊刚 陈平 . 基于路径的软硬件划分算法. 计算机科学, 2006, 33 (01): 164-166 0
2005
18 朱智林 刘晓华 韩俊刚 . 基于时间触发的CAN协议任务调度优化算法. 计算机科学, 2005, 32 (10): 214-216 0
17 左天军 朱智林 韩俊刚 陈平 . Java虚拟机动态类加载的形式化模型. 计算机科学, 2005, 32 (07): 209-213 0
16 左天军 朱智林 韩俊刚 陈平 . Java动态类加载分析. 计算机科学, 2005, 32 (04): 194-196 0
2004
15 韩俊刚 . 论ASIC与FPGA之争. 计算机工程, 2004, 30 (08): 10-13 0
14 杨红丽 郝克刚 韩俊刚 . 基于Object-Z的XPath形式化语义. 计算机科学, 2004, 31 (02): 175-180 0
13 杨红丽 韩俊刚 郝克刚 . XQuery语言的形式化语义. 计算机科学, 2004, 31 (03): 15-19 0
12 杜慧敏 曾泽沧 孟李林 韩俊刚 沈绪榜 . 建立SDH系列芯片验证平台. 计算机辅助设计与图形学学报, 2004, 16 (05): 678-681 0
2001
11 郭建 杜惠敏 韩俊刚 郝克刚 . 基于时态逻辑的硬件设计形式化验证技术??模型检验. 小型微型计算机系统, 2001, 22 (05): 521-524 0
10 郭建 杜惠敏 韩俊刚 郝克刚 . 基于时态逻辑的硬件设计形式化验证技术——模型检验. , 2001, 22 (05): 521-525 0
2000
9 杜慧敏 刘建元 韩俊刚 高德远 . 用VIS验证微处理器PIC. 计算机辅助设计与图形学学报, 2000, 12 (05): 390-395 0
1996
8 韩俊刚 王岩冰 沈武威 . 用XYZ/E语言描述和验证硬件的行为. 软件学报, 1996, 7 (11): 676-682 1
1993
7 韩俊刚 . 用高阶逻辑表达时态逻辑及其应用. 计算机学报, 1993, 16 (12): 925-930 0
6 霍红卫 韩俊刚 . 基于高阶逻辑的硬件验证方法. 计算机学报, 1993, 16 (10): 768-775 0
1991
5 韩俊刚 . 硬件设计的形式化验证. 计算机研究与发展, 1991, 28 (11): 59-63 1
1990
4 韩俊刚 . 硬件设计的形式验证与时态逻辑. 计算机辅助设计与图形学学报, 1990, (01): 0
1983
3 韩俊刚 . 不完全指定的时序机状态化简的一种计算机算法. 计算机学报, 1983, (06): 0
1981
2 韩俊刚 . 计算机辅助同步时序电路设计的算法(下). 计算机研究与发展, 1981, (10): 0
1 韩俊刚 . 计算机辅助同步时序电路设计的算法(上). 计算机研究与发展, 1981, (09): 2

DBLP检索到的论文列表

No. Paper Inforamtion

承担项目历史

*注:由于资助项目信息是由程序自动集成,因此以下项目信息仅供参考,如有任何错误,请联系rucwamdm(at)gmail(dot)com
项目起止年份项目名称项目类别经费(万)
2012~2016新一代图形处理系统芯片体系结构及关键技术研究 国家自然科学基金-重点项目
项目号:61136002
290
2006~2008无线通信自重构容错NOC研究 国家自然科学基金-重大研究计划
项目号:90607008
30
2003~2005用于芯片系统验证的证明引擎研究 国家自然科学基金-重大研究计划
项目号:90207015
30

合作作者列表

1 刘建元 [9]  
2 刘晓华 [18]  
3 刘有耀 [25]   [28]  [33]  
4 刘海 [30]   [33]  
5 刘镇弢 [32]  
6 孟李林 [12]   [29]  
7 山蕊 [37]  
8 左天军 [16]   [17]  
9 常立博 [37]  
10 张丽果 [26]  
11 张军 [29]  
12 张华 [23]  
13 支亚军 [36]  
14 曹小鹏 [29]   [34]  [33]  
15 曾泽沧 [12]  
16 朱宁洪 [27]  
17 朱智林 [18]   [16]  [17]  [19]  
18 李宥谋 [24]  
19 李涛 [32]   [37]  [38]  
20 杜惠敏 [11]   [10]  
21 杜慧敏 [25]   [9]  [12]  [26]  [29]  [32]  [37]  [38]  
22 杨晓强 [27]  
23 杨红丽 [14]   [13]  
24 殷诚信 [29]   [34]  [35]  
25 沈武威 [8]  
26 沈绪榜 [12]   [33]  [37]  
27 焦继业 [38]  
28 王亚刚 [40]  
29 王岩冰 [8]  
30 王萌 [40]  
31 董梁 [29]   [30]  [33]  
32 蒋林 [24]   [29]  [33]  [37]  
33 衡霞 [36]  
34 谭耀东 [27]  
35 贾阳 [40]  
36 赵全良 [29]  
37 路玉峰 [40]  
38 车芳 [39]  
39 邓军勇 [37]  
40 郝克刚 [11]   [14]  [13]  [10]  
41 郭建 [11]   [23]  [20]  [21]  [10]  [31]  
42 陈俊艳 [39]  
43 陈平 [16]   [17]  [19]  
44 霍红卫 [6]  
45 马博 [22]  
46 马栋 [37]  
47 高德远 [9]  
48 黄光新 [37]  
49 黄虎才 [35]   [37]  

单位历史信息

西安邮电学院计算机系 (2004--2009)
西安邮电大学计算机学院 (2012--2019)

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