侯刚(Gang Hou)
人员信息
其他同名人员
优化列表
2020年–今天
2023 [公元26年] 熊焕章 , 侯刚(Gang Hou) , 龙珠 , 王杰(音译) , 孔伟强 :
用于神经网络验证的单样本剪枝和聚类方法。 亚太经合组织 2023 : 319-328 2022 [公元15年] 王杰(音译) , 吴新涛 , 侯刚(Gang Hou) , 李鹏飞 , 奥高 , 陈志超 , 高浩宇 :
基于时间-状态转换矩阵的工业控制网络协议建模与可靠性验证。 国际J.公社。 系统。 35 ( 9 ) ( 2022 ) 2021 [公元14年] 吴慧慧 , 吕德云 , 崔腾祥 , 侯刚(Gang Hou) , 渡边正彦 , 孔伟强 :
SDLV:自驾汽车转向角安全性验证。 形式方面计算。 33 ( 三 ) : 325-341 ( 2021 ) [公元25年] 王杰(音译) , 陈志超 , 侯刚(Gang Hou) , 高浩宇 , 李鹏飞 , 敖高 , 吴新涛 :
Modbus TCP/IP协议的建模与验证方法。 ICA3PP(3) 2021 : 527-539 2020 [j13] 全彩 , 四要都 , 斯高 , 黄国良 , Zheng Zhang先生 , 舒莉(Shu Li) , 王欣(Xin Wang) , 李佩玲 , 彭吕 , 侯刚(Gang Hou) , 张丽娜(Lina Zhang) :
基于CT辐射特征的模型预测2019年冠状病毒病(COVID-19)患者RT-PCR阴性。 BMC医学成像 20 ( 1 ) : 118 ( 2020 ) [公元12年] 侯刚(Gang Hou) , 陈丽珠 :
5G无线网络中的D2D通信模式选择和资源分配。 计算。 公社。 155 : 244-251 ( 2020 ) [公元24年] 王震(音) , 韩晓宁 , 孔伟强 , 永漂 , 侯刚(Gang Hou) , 渡边正彦 , 福田 晃 :
基于各种特征的Android恶意软件检测的多策略组合框架。 TASE公司 2020 : 193-200
2010 – 2019
2019 [公元11年] 王杰(音译) , 康俊杰 , 侯刚(Gang Hou) :
基于改进遗传算法的实时故障修复方案。 IEEE接入 7 : 35805-35815 ( 2019 ) [公元10年] Shuo Chen(陈硕) , 混合Liu , 刘静(音译) , 孔玲敏(Lingmin Kong) , 徐文斌 , 侯刚(Gang Hou) , 谢丽萍 , 崔晓宇 :
基于加权光谱重建法的发光二极管激励高光谱分辨率拉曼测量。 IEEE接入 7 : 134828-134837 ( 2019 ) 【c23】 袁媛 , 孔伟强 , 侯刚(Gang Hou) , 颜虎 , 渡边正彦 , 福田 晃 :
从局部到全局语义克隆检测。 DSA(数字减影) 2019 : 13-24 [c22] 刘昆 , 张晓珍 , 孔伟强 , 侯刚(Gang Hou) , 渡边正彦 , 福田 晃 :
HSTM设计的基于插值的多核有界模型检验。 DSA(数字减影) 2019 : 25-36 【c21】 王杰(音译) , 邓双敏 , 康俊杰 , 侯刚(Gang Hou) , 匡iu Zhou , 池林 :
结合CGP代码和深度学习的实时故障定位机制。 DSA(数字减影) 2019 : 311-316 [公元20年] 侯刚(Gang Hou) , 孔伟强 , 匡iu Zhou , 王杰(音译) , 池林 :
基于概率模型检验的嵌入式软件非确定性行为分析。 ICPADS公司 2019 : 844-851 [第19条] 王杰(音译) , 康俊杰 , 侯刚(Gang Hou) :
基于改进混沌遗传算法的实时系统容错方案。 WISATS(2) 2019 : 145-156 [c18] 张晓珍 , 孔伟强 , 江建国 , 侯刚(Gang Hou) , 福田 晃 :
通过有效的插值抽象探索指导插值生成。 TASE公司 2019 : 113-120 2018 [公元9年] 费叶 , 侯刚(Gang Hou) , 李一娜 , 傅少陵 :
管理生物乙醇供应链弹性:缓解产量不确定性风险的风险分担模型。 工业管理。 数据系统。 118 ( 7 ) : 1510-1527 ( 2018 ) [第17条] 侯刚(Gang Hou) , 孔伟强 , 匡iu Zhou , 王杰(音译) , 荀操 , 福田 晃 :
基于概率模型检查的中断行为分析。 IIAI-AAI公司 2018 : 86-91 [第16条] 刘坤(Kun Liu) , 孔伟强 , 侯刚(Gang Hou) , 福田 晃 :
软硬件协同验证形式化技术综述。 IIAI-AAI公司 2018 : 125-128 2017 [j8] 侯刚(Gang Hou) , 匡iu Zhou , 铁球 , 孔伟强 , 李明初 :
基于EDSPN的中断驱动嵌入式软件性能评估。 IEEE接入 5 : 5178-5189 ( 2017 ) [j7] 陈欣 , 冯丁 , 张天天 , 侯刚(Gang Hou) , 兰兰 :
异构云环境的成本优化资源供应策略。 IEEE接入 5 : 26681-26689 ( 2017 ) [j6] 刘胜兰 , 林峰 , 吴军 , 侯刚(Gang Hou) , 韩广杰 :
传感器网络中基于角度优化全局嵌入和主成分分析的数据流学习概念漂移检测。 计算。 选举人。 工程师。 58 : 327-336 ( 2017 ) [j5] 侯刚(Gang Hou) , 匡iu Zhou , 铁球 , 荀操 , 李明初 , 王杰(音译) :
一种新的云机器人绿色软件评估模型。 计算。 选举人。 工程师。 63 : 139-156 ( 2017 ) 【j4】 梁浩然 , 匡iu Zhou , 崔凯(Kai Cui) , 杰潘 , 侯刚(Gang Hou) :
基于 产品环境足迹模型 行为模型的黑盒测试用例生成方法 (基于PEFSM行为模型的黑盒测试用例生成方法)。 计算机科学 44 ( 4 ) : 234-240 ( 2017 ) 2016 [j3] 孔伟强 , 侯刚(Gang Hou) , 胡向培 , 安藤高弘 , 久津贤治 , 福田 晃 :
Garakabu2:ZIPC中HSTM设计的基于SMT的有界模型检查器。 J.信息安全。 申请。 31 : 61-74 ( 2016 ) [注2] 王杰(音译) , 四广行 , 刘继伟 , 陈伟豪 , 侯刚(Gang Hou) :
基于Storm的多级调度算法。 KSII变速器。 互联网信息系统。 10 ( 三 ) : 1091-1110 ( 2016 ) [第15条] 孔伟强 , 侯刚(Gang Hou) , 胡向培 , 有本安仁 , 渡边正彦 , 安藤高弘 , 久津贤治 , 福田 晃 :
ZipPath:ZIPC中HSTM设计的简单但有用的路径查找器。 ICA公司 2016 : 154-157 [第14条] 侯刚(Gang Hou) , 匡iu Zhou , 吴彦然(Yanran Wu) , 宗征驰 , 王杰(音译) , 李明初 :
ETSTM:一种新的绿色软件模型。 Trustcom/BigDataSE/ISPA 2016 : 1825-1830 2015 [第13条] 侯刚(Gang Hou) , 银丰班 , 匡iu Zhou , 王杰(音译) , 李明初 , 廖子豪 :
基于体系结构建模的CPS软件能耗分析方法。 FCST公司 2015 : 34-39 [第12条] 王杰(音译) , 刘继伟 , 宾丰(Bin Feng) , 侯刚(Gang Hou) :
进化硬件的动态评估策略。 FCST公司 2015 : 91-95 [第11条] 王杰(音译) , 陈伟豪 , 侯刚(Gang Hou) :
基于GPU的HRV时域并行计算方法。 ICA3PP(2) 2015 : 434-443 [第10条] 池林 , 吴国伟 , Yim Kangbin , 林瑶 , 侯刚(Gang Hou) :
通过攻击弱连接支配集来破坏Ad-Hoc网络。 综管系统 2015 : 213-220 2013 【c9】 侯刚(Gang Hou) , 匡iu Zhou , Junwang Chang公司 , 芮莉(Rui Li) , 李明初 :
基于时间Petri网的嵌入式系统中断建模与验证。 应用程序 2013 : 62-76 【c8】 匡iu Zhou , 贾维勇 , 王晓龙 , 龙涛任 , 侯刚(Gang Hou) , Junwang Chang公司 :
基于程序主干加速软件模型检查。 应用程序 2013 : 347-358 【c7】 侯刚(Gang Hou) , 柯章(Ke Zhang) , 张晓雪 , Jun Kong(香港) , 张明(Ming Zhang) :
一种新的基于互信息描述符的图像检索方法。 ICIC(2) 2013 : 435-442 2012 [j1] 匡iu Zhou , 王晓龙 , 侯刚 , 王杰(音译) , 山滨艾 :
基于马尔可夫使用模型的软件可靠性测试。 J.软。 7 ( 9 ) : 2061-2068 ( 2012 ) 2011 【c6】 于舟 , 铁球 , 冯霞 , 侯刚(Gang Hou) :
无线传感器网络的N次三边质心加权定位算法。 iThings/CPSCom 2011 : 351-357
2000 – 2009
2007 【c5】 侯刚(Gang Hou) , 匡iu Zhou , 杨天 :
最小换乘时间和最短出行时间的公交出行算法。 KSEM公司 2007 : 562-567 2006 【c4】 张少强 , 丁春勇 , 侯刚(Gang Hou) :
树型拓扑计算网格上的资源和带宽分配。 通用条款 2006 : 42-45 【c3】 嘉陵汉族 , Jun Kong(香港) , 英华路 , 杨玉龙 , 侯刚(Gang Hou) :
一种基于遗传算法和神经网络的彩色图像水印新方法。 图标(3) 2006 : 225-233 【c2】 英华路 , 嘉陵汉族 , Jun Kong(香港) , 杨玉龙 , 侯刚(Gang Hou) :
一种基于遗传算法和混合神经网络的彩色图像水印新方法。 无线电通信系统 2006 : 806-814 2005 [c1] 英华路 , 王伟(音译) , Jun Kong(香港) , 嘉陵汉 , 侯刚(Gang Hou) :
基于小波包的空域和频域联合水印算法。 澳大利亚人工智能会议 2005 : 934-937