赵恒军
人员信息
优化列表
2020年–今天
2023 [公元20年] 王京琦 , 彭嘉杰 , 刘志明 , 赵恒军 :
HQProtoPNet:一种基于证据的可解释图像识别模型。 国际JCNN 2023 : 1-8 2022 [公元11年] 赵恒军 , 李全忠 , 夏曾 , 刘志明 :
安全强化学习算法及其在CPS智能控制中的应用。 Int.J.软件。 信息学 12 ( 4 ) : 453-483 ( 2022 ) [第19条] 程一科(Yike Cheng) , Ji-Le Jiang(姜继乐) , 张宁(Ning Zhang) , 赵恒军 , 刘志明 :
椎弓根螺钉置入的腰椎标志点自动定位和分割。 国际公共关系 2022 : 4263-4269 2021 [公元10年] 赵恒军 , 夏曾 , 陈陶璐 , 刘志明 , 吉姆·伍德科克 :
学习具有屏障证书的安全神经网络控制器。 形式方面计算。 33 ( 三 ) : 437-455 ( 2021 ) 2020 [公元9年] 格尔登 , 岳河 , 赵恒均 , 刘敦虎 , 金晓 , S.拉姆库马 :
利用深度学习的眼电图设计和开发人机界面。 Artif公司。 智力。 医学 102 : 101765 ( 2020 ) [第18条] 赵恒军 , 夏曾 , 陈陶璐 , 刘志明 :
使用神经网络合成屏障证书。 高速列车控制中心 2020 : 25:1-25:11 [第17条] 朱家杰 , 彬芳 , 周明良 , 赵恒军 , 罗福鼎 :
结合梯度信息的基于Legendre的自适应图像分割。 ICIP公司 2020 : 863-867 [第16条] 赵恒军 , 夏曾 , 陈韬略 , 刘志明 , 吉姆·伍德科克 :
学习具有屏障证书的安全神经网络控制器。 设置 2020 : 177-185 [i6] 赵恒均 , 夏曾 , 陈陶璐 , 刘志明 , 吉姆·伍德科克 :
学习具有屏障证书的安全神经网络控制器。 CoRR公司 abs/2009.09826 ( 2020 )
2010 – 2019
2019 [j8] 钱纪业 , 赵恒军 , 金福 , 魏松 , 钱继德 , 钱伯肖 :
基于差商的无参考图像清晰度评估。 J.电子成像 28 ( 1 ) : 013032 ( 2019 ) [第15条] 白雪 , 马丁·弗伦泽 , 赵恒军 , 詹乃军(Naijun Zhan) , 阿尔文德·伊斯瓦兰 :
混合动力系统的近似安全验证。 ICFEM公司 2019 : 236-252 2018 [j7] 钱继德 , 陈斌(Bin Chen) , 钱纪业 , 赵恒军 , 陈刚(音译) :
基于机器视觉的液晶屏 穆拉 缺陷检测方法 (基于机器视觉的LCD穆拉缺陷检测方法)。 计算机科学 45 ( 6 ) : 296-300 ( 2018 ) [第14条] 斯特凡·米奇 , 安德鲁·索戈孔 , Yong Kiam Tan先生 , 安德烈·普拉泽 , 赵恒军 , 金翔宇 , 王淑玲(Shuling Wang) , 詹乃军(Naijun Zhan) :
ARCH-COMP18类别报告:混合系统定理证明。 ADHS建筑 2018 : 110-127 2017 [j6] 谢玲(Ling Xie) , 金晓 , 易虎 , 赵恒军 , 易晓 :
基于GMDH的自回归模型预测中国能源消费。 J.系统。 科学。 复杂。 30 ( 6 ) : 1332-1349 ( 2017 ) [第13条] 钱纪业 , 赵恒均 , 金福 , 何国军 , 侯兴哲 , 彬芳 , 钱继德 :
基于方向导数的无参考图像清晰度度量。 SPAC公司 2017 : 340-344 [第1页] 陈明帅 , 肖翰 , 陶唐 , 王淑玲(Shuling Wang) , 杨梦飞 , 詹乃军 , 赵恒军 , 梁邹 :
MARS:混合系统建模、分析和验证的工具链。 令人信服的正确系统 2017 : 39-58 [电子1] 詹乃军(Naijun Zhan) , 王淑玲(Shuling Wang) , 赵恒军 :
Simulink/Stateflow图的形式验证,演绎方法。 施普林格 2017 ,国际标准图书编号 978-3-319-47014-6 2015 [第12条] 姜柳 , 詹乃军(Naijun Zhan) , 赵恒军 , 梁邹 :
用变量变换抽象基本混合系统。 FM公司 2015 : 360至377 2014 [j5] 姜柳 , 徐铭(Ming Xu) , 詹乃军(Naijun Zhan) , 赵恒军 :
发现多路径多项式程序的非终止输入。 J.系统。 科学。 复杂。 27 ( 6 ) : 1286-1304 ( 2014 ) [第11条] 赵恒军 , 杨梦飞 , 詹乃军(Naijun Zhan) , Bin Gu先生 , 梁邹 , 姚晨 :
月球着陆器下降制导控制程序的正式验证。 FM公司 2014 : 733-748 [i5] 姜柳 , 詹乃军(Naijun Zhan) , 赵恒军 , 梁邹 :
用变量变换抽象基本混合系统。 CoRR公司 abs/1403.7022 ( 2014 ) 2013 【j4】 赵恒军 , 尚兆伟 , 袁燕堂 , 彬芳 :
基于邻域距离的多聚焦图像融合。 模式识别。 46 ( 三 ) : 1002-1011 ( 2013 ) [第10条] 迪帕克·卡普尔 , 张志海 , 马提亚斯·霍巴赫 , 赵恒军 , 齐鲁 , ThanhVu Nguyen先生 :
自动生成八角不变量和Max-plus不变量的几何量词消除启发式。 自动推理与数学 2013 : 189-228 【c9】 赵恒军 , 詹乃军(Naijun Zhan) , 迪帕克·卡普尔 :
通过生成不变量综合混合系统的开关控制器。 程序设计理论与形式化方法 2013 : 354-373 【c8】 赵恒军 , 彬芳 , 元炎汤 :
基于小波变换系数期望的无参考图像清晰度估计。 ICIP公司 2013 : 374-378 【c7】 詹乃军(Naijun Zhan) , 王淑玲(Shuling Wang) , 赵恒均 :
混合系统的形式化建模、分析和验证。 ICTAC软件工程培训学校 2013 : 207-281 [i4] 迪帕克·卡普尔 , 詹乃军(Naijun Zhan) , 赵恒军 :
基于连续不变生成的混合系统开关控制器综合。 CoRR公司 腹肌/1304.0825 ( 2013 ) 2012 [j3] 尚兆伟 , 张玲凤 , 赵恒军 , 张澜(Lan Zhang) :
基于多向支持值变换的图像融合方法。 国际小波多分辨率信息处理。 10 ( 5 ) ( 2012 ) [j2] 王银霞 , 赵恒军 :
三维微极性流体方程光滑解的对数改进爆破准则。 J.应用。 数学。 2012 : 541203:1-541203:13 ( 2012 ) [j1] 姜柳 , 詹乃军(Naijun Zhan) , 赵恒军 :
多项式动力系统的松弛Lyapunov函数的自动发现。 数学。 计算。 科学。 6 ( 4 ) : 395-408 ( 2012 ) 【c6】 牛燕霞 , 赵恒军 :
全局连续优化问题的广义填充函数。 CSO公司 2012 : 362-366年 【c5】 赵恒军 , 詹乃军(Naijun Zhan) , 迪帕克·卡普尔 , 金·拉森 :
用于合成混合系统最优控制器的“混合”方法:油泵工业实例的案例研究。 FM公司 2012 : 471-485年 【c4】 杨伟斌 , 彬芳 , 袁燕堂 , 尚兆伟 , 赵恒军 :
基于支持值变换的视觉显著性估计。 ICIP公司 2012 : 1069-1072 [i3] 赵恒军 , 詹乃军(Naijun Zhan) , 迪帕克·卡普尔 , 金·拉森 :
用于合成混合系统最优控制器的“混合”方法:油泵工业实例的案例研究。 CoRR公司 abs/1203.6025 ( 2012 ) 2011 【c3】 姜柳 , 詹乃军(Naijun Zhan) , 赵恒军 :
计算多项式动力系统的半代数不变量。 EMSOFT公司 2011 : 97-106 [i2] 姜柳 , 詹乃军(Naijun Zhan) , 赵恒军 :
混合系统多项式微分不变量生成的完备方法。 CoRR公司 abs/1102.0705 ( 2011 ) [i1] 姜柳 , 詹乃军(Naijun Zhan) , 赵恒军 :
多项式动力系统松弛Lyapunov函数的自动发现。 CoRR公司 abs/1103.3372 ( 2011 ) 2010 【c2】 姜柳 , 吕继东 , 赵全 , 詹乃军(Naijun Zhan) , 赵恒军 , 周朝晨 , 梁邹 :
混合CSP的微积分。 阿普拉斯 2010 : 1-15
2000 – 2009
2009 【c1】 赵恒军 , 长征河 :
基于价值的客户细分方法中的目标聚类分析。 WKDD公司 2009 : 484-487