作者搜索
点击查看合作关系的可视化展示
学术活动
  2010-4-9 06:31
合加资源发展股份有限公司
  2010-3-28 10:46
私募基金明星大换班 回报前20名多为“新面孔”
  2010-3-15 07:24
2010年私募基金谁具明星相:和聚1期五颗星
  2010-1-15 09:15
2010年齐齐哈尔二手房交易预计因政策带动将稳中有降
  2009-6-15 18:12
西安邮电学院通信与信息系统专业特色鲜明
  更多>>
 
韩俊刚论文数量曲线图(按年份)

韩俊刚    Han Jungang





研究兴趣：


同名作者区分
韩俊刚 西安邮电学院韩俊刚 西北电讯工程学院韩俊刚 西安电子科技大学
韩俊刚 Unknown
注：C-DBLP的重名区分功能部分使用了清华大学王建勇老师课题组提出的GHOST（GrapH-based framewOrk for name diStincTion）算法，在此表示感谢。
共检索到结果28条 查看韩俊刚的合作作者在DBLP中查找该作者文献查看该作者的单位历史作者项目历史

论文列表

No. Paper Inforamtion
2009
28 刘有耀 韩俊刚 . Torus连接Petersen图互连网络及路由算法. 计算机科学, 2009, (03):
27 杨晓强 谭耀东 朱宁洪 韩俊刚 . NoC节点编码及路由算法的研究. 计算机科学, 2009, (03):
26 张丽果 杜慧敏 韩俊刚 . 无数据缓存的容错环形NoC. 计算机科学, 2009, (03):
2008
25 刘有耀 杜慧敏 韩俊刚 . NoC关键问题. 计算机科学, 2008, 35 (02): 13-16
2007
24 张华 郭建 韩俊刚 . 基于PSL断言的宽带电路交换芯片验证. 计算机工程, 2007, 33 (14): 216-219
23 马博 韩俊刚 . 采用PSL的基于断言的验证. 计算机工程, 2007, 33 (02): 217-219
22 李宥谋 蒋林 韩俊刚 . 5Gbps～40Gbps宽带交换软核的设计与实现. 计算机工程, 2007, 33 (04): 230-232
2006
21 郭建 韩俊刚 . 模态转移系统的三值逻辑模型检验. 计算机辅助设计与图形学学报, 2006, 18 (06): 881-884
20 郭建 韩俊刚 . 基于不完全Kripke结构三值逻辑的模型检验. 计算机科学, 2006, 33 (03): 263-267
19 朱智林 韩俊刚 陈平 . 基于路径的软硬件划分算法. 计算机科学, 2006, 33 (01): 164-166
2005
18 左天军 朱智林 韩俊刚 陈平 . Java动态类加载分析. 计算机科学, 2005, 32 (04): 194-196
17 朱智林 刘晓华 韩俊刚 . 基于时间触发的CAN协议任务调度优化算法. 计算机科学, 2005, 32 (10): 214-216
16 左天军 朱智林 韩俊刚 陈平 . Java虚拟机动态类加载的形式化模型. 计算机科学, 2005, 32 (07): 209-213
2004
15 韩俊刚 . 论ASIC与FPGA之争. 计算机工程, 2004, 30 (08): 10-13
14 杜慧敏 曾泽沧 孟李林 韩俊刚 沈绪榜 . 建立SDH系列芯片验证平台. 计算机辅助设计与图形学学报, 2004, 16 (05): 678-681
13 杨红丽 韩俊刚 郝克刚 . XQuery语言的形式化语义. 计算机科学, 2004, 31 (03): 15-19
12 杨红丽 郝克刚 韩俊刚 . 基于Object-Z的XPath形式化语义. 计算机科学, 2004, 31 (02): 175-180
2001
11 郭建 杜惠敏 韩俊刚 郝克刚 . 基于时态逻辑的硬件设计形式化验证技术??模型检验. 小型微型计算机系统, 2001, 22 (05): 521-524
10 郭建 杜惠敏 韩俊刚 郝克刚 . 基于时态逻辑的硬件设计形式化验证技术——模型检验. 小型微型计算机系统, 2001, 22 (05): 521-525
2000
9 杜慧敏 刘建元 韩俊刚 高德远 . 用VIS验证微处理器PIC. 计算机辅助设计与图形学学报, 2000, 12 (05): 390-395
1996
8 韩俊刚 王岩冰 沈武威 . 用XYZ／E语言描述和验证硬件的行为. 软件学报, 1996, 7 (11): 676-682
1993
7 韩俊刚 . 用高阶逻辑表达时态逻辑及其应用. 计算机学报, 1993, 16 (12): 925-930
6 霍红卫 韩俊刚 . 基于高阶逻辑的硬件验证方法. 计算机学报, 1993, 16 (10): 768-775
1991
5 韩俊刚 . 硬件设计的形式化验证. 计算机研究与发展, 1991, 28 (11): 59-63
1990
4 韩俊刚 . 硬件设计的形式验证与时态逻辑. 计算机辅助设计与图形学学报, 1990, (01):
1983
3 韩俊刚 . 不完全指定的时序机状态化简的一种计算机算法. 计算机学报, 1983, (06):
1981
2 韩俊刚 . 计算机辅助同步时序电路设计的算法(上). 计算机研究与发展, 1981, (09):
1 韩俊刚 . 计算机辅助同步时序电路设计的算法(下). 计算机研究与发展, 1981, (10):

承担项目历史
*注：由于资助项目信息是由程序自动集成，因此以下项目信息仅供参考，如有任何错误，请联系zhywang (at) ruc (dot) edu (dot) cn
项目起止年份项目名称项目类别经费(万)
2006～2008无线通信自重构容错NOC研究 国家自然科学基金-重大研究计划
项目号:90607008		 30
2003～2005用于芯片系统验证的证明引擎研究 国家自然科学基金-重大研究计划
项目号:90207015		 30

合作作者列表

1 刘建元 [9]  
2 刘晓华 [17]  
3 刘有耀 [25]   [28]  
4 孟李林 [14]  
5 左天军 [18]   [16]  
6 张丽果 [26]  
7 张华 [24]  
8 曾泽沧 [14]  
9 朱宁洪 [27]  
10 朱智林 [17]   [18]  [16]  [19]  
11 李宥谋 [22]  
12 杜惠敏 [11]   [10]  
13 杜慧敏 [25]   [9]  [14]  [26]  
14 杨晓强 [27]  
15 杨红丽 [12]   [13]  
16 沈武威 [8]  
17 沈绪榜 [14]  
18 王岩冰 [8]  
19 蒋林 [22]  
20 谭耀东 [27]  
21 郝克刚 [11]   [12]  [13]  [10]  
22 郭建 [11]   [24]  [20]  [21]  [10]  
23 陈平 [18]   [16]  [19]  
24 霍红卫 [6]  
25 马博 [23]  
26 高德远 [9]  

单位历史信息
西安邮电学院计算机系 (2004--2009)
西安邮电学院ASIC中心 (2000--2001)

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