曾振兵
人员信息
优化列表
2020年–今天
2024 [i5] 张晓凯 , 娜朱(Na Zhu) , 何一鸣 , 贾邹 , 程琴 , 杨丽 , 曾振兵 , 拓冷 以下为:
FGeo-HyperGNet:结合形式符号系统和超图神经网络解决几何问题。 CoRR公司 abs/2402.11461 ( 2024 ) 2023 [j30] 徐耀晨 , 曾振兵 , 陆健 , 王玉正 , 陈良玉 以下为:
与单位半球上n个点之间的距离之和有关的不等式的局部临界分析,n=4.5。 安。数学。 Artif公司。 因特尔。 91 ( 6 ) 以下为: 865-898 ( 2023 ) [公元47年] 夏曾 , 杨正峰 , 李章 , 唐晓超 , 曾振兵 , 刘志明 以下为:
用贝叶斯神经网络控制器对非线性系统进行安全验证。 AAAI公司 2023 以下为: 15278-15286 [公元46年] 杨正峰 , 李章 , 夏曾 , 唐晓超 , 赵鹏 , 曾振兵 以下为:
具有到达-无效约束的非线性系统的混合控制器综合。 CAV(1) 2023 以下为: 304-325 [公元45年] 马科斯·V·孔德 , 爱德华·赞菲尔 , 拉杜·蒂莫夫特 , 丹尼尔·莫蒂拉 , 岑柳 , 张泽新 , 彭云波 , 岳琳 , 郭嘉明 , 邹学毅 , 陈玉怡(Yuyi Chen) , 刘毅(音) , 贾浩 , 阎友良 , 张远凡 , 李将军 , 孙雷(Lei Sun) , 香港灵顺 , 白浩然 , 金山盘 , 江心洞 , 金辉堂 , 穆斯塔法·阿亚佐格鲁 , 巴赫里·巴图汉·比勒森 , 李明熙 , 张宇航 , 范贤军 , 严凯生 , 长阳 , 刘子斌 , 韦兰·苟 , 李少清 , 紫药衣 , 阎翔 , 德惠港 , 柯旭 , 甘佐里格·甘库亚格 , Kihwan Yoon先生 , 金章(Jin Zhang) , 藁城余 , 张峰(音) , 王宏斌 , 周舟 , 赵家豪 , 高洪帆 , 佳丽宫 , 杨正峰 , 曾振兵 , 陈成鹏 , 郭子超 , 安进公园 , 刘玉清 , 齐佳 , 余洪源 , 玄武印 , 张东阳 , 廷福 , 郑学诚 , Shiai Zhu先生 , 周大江 , 于伟晨 , 林戈 , 嘉华洞 , 邹亚军 , 吴卓元 , 宾南汉族 , 张晓林 , 张恒(Heng Zhang) , 本绍(Ben Shao) , 郑少龙 , 大亨印 , 陈柏君 , 刘梦阳 , 玛丽安·塞尔吉乌·尼斯托尔 , 陈怡仲 , 黄志凯 , 袁春江 , 陈伟婷 , 郝洪阳 , 华恩昌 , 陈宜祥 , 谢家璇 , Sy-Yen Kuo先生 , 图-沃 , 青森燕 , 朱云(Yun Zhu) , 金秋苏 , 张燕宁(Yanning Zhang) , Cheng Zhang(张成) , 罗嘉英 , Youngsun Cho公司 , Nakyung Lee公司 , 左坤龙 以下为:
实时4K图像超分辨率的高效深度模型。 NTIRE 2023基准和报告。 CVPR研讨会 2023 以下为: 1495-1521 [公元44年] 赵家豪 , 周舟 , 高洪帆 , 佳丽宫 , 杨正峰 , 曾振兵 , 利迪亚·德比 以下为:
移动图像超分辨率的等效变换和双流网络构建。 CVPR公司 2023 以下为: 14102-14111 [公元43年] 赵汉瑞 , 夏曾 , 牛牛七 , 杨正峰 , 曾振兵 以下为:
基于元强化学习的非线性系统安全DNN型控制器综合。 数模转换器 2023 以下为: 1-6 [公元42年] 佳丽宫 , 高洪帆 , 赵家豪 , 周舟 , 杨正峰 , 曾振兵 以下为:
盲图像超分辨率的核估计和反褶积。 ICASSP公司 2023 以下为: 1-5 [公元41年] 赵家豪 , 周舟 , 高洪帆 , 佳丽宫 , 曾振兵 , 杨正峰 以下为:
一种用于任意尺度图像超分辨率的新型可学习插值方法。 国际JCAI 2023 以下为: 564-572 [公元40年] 周舟 , 赵家豪 , 佳丽宫 , 高洪帆 , 曾振兵 , 杨正峰 以下为:
利用部分卷积和有效的方差注意提高实时超分辨率。 ACM多媒体 2023 以下为: 5348-5357 [i4] 张晓凯 , 娜朱(Na Zhu) , 何一鸣 , 贾邹 , Qike Huang黄启科 , 金晓晓 , 郭燕军(Yanjun Guo) , 毛晨阳 , 朱哲(Zhe Zhu) , 登封岳 , 朱芳珍 , 杨丽 , 王一凡 , 黄一文 , 王润南 , 程琴 , 曾振兵 , 谢少荣 , 骆向峰 , 拓冷 以下为:
形式地理学:走向类人IMO级几何自动推理的第一步。 CoRR公司 abs/2310.18021 ( 2023 ) 2022 [j29] 《宣明赋》 , 杨正峰 , 曾振兵 , 张一丹 , 周谦亭 以下为:
从深度学习的角度提高甲骨铭文识别的准确性。 ISPRS国际地理信息杂志。 11 ( 1 ) 以下为: 45 ( 2022 ) [公元28年] 利迪亚·德比 , 曾振兵 以下为:
海尔布隆的广场八点问题。 J.系统。 科学。 复杂。 35 ( 6 ) 以下为: 2452-2480 ( 2022 ) [公元27年] 利迪亚·德比 , 曾振兵 , 陆洋 以下为:
通过符号和数值计算共享相同度量不变量的四面体数。 J.赛姆布。 计算。 108 以下为: 41-54 ( 2022 ) [公元39年] 郝雪 , 夏曾 , 王林 , 杨正峰 , 赵鹏 , 曾振兵 以下为:
基于RNN的神经网络鲁棒性验证MILP问题框架。 ACCV(1) 2022 以下为: 571-586 [公元38年] 曾振兵 , 徐耀晨 , 于晨 , 杨正峰 以下为:
一种分离某些根函数局部最优点的机械方法。 中国科学院 2022 以下为: 377-396 [公元37年] 安德烈·伊格纳托夫 , 拉杜·蒂莫夫特 , 毛里齐奥·丹纳 , 阿卜杜勒·尤尼斯 , 甘佐里格·甘库亚格 , 金刚嗯 , Myeong Kyun Kim公司 , Kihwan Yoon先生 , Hyeon-Cheol月亮 , Seungho Lee先生 , 尹西克·崔 , 郑振宇(Jinwoo Jeong) , Sungjii Kim先生 , 马西耶·斯梅尔 , 托马斯·拉科夫斯基 , 巴维尔·库比克 , 米查尔·索科尔斯基 , 马玉杰 , 赵家豪 , 周舟 , 高洪帆 , 杨正峰 , 曾振兵 , 正阳诸葛 , 李成华 , 朱丹(Dan Zhu) , 孙梦迪 , 冉端 , 闫高 , 香港灵顺 , 长阳 , 向丽 , 张兴东 , 张佳伟 , 吴亚奇 , 金山盘 , 藁城余 , 金章(Jin Zhang) , 张峰(音) , 哲玛 , 王宏斌 , 赵和进(Hojin Cho) , 负责人金史提夫 , 李华恩 , 马燕波 , 紫薇·罗 , 李友伟 , 雷宇 , 温志宏 , 齐武 , 范浩强(Haoqiang Fan) , 刘帅成 , 张丽泽(Lize Zhang) , 宗志凯 , 杰里米·昆 , 张俊熙 , 李梦媛 , 《念香赋》 , 关晨鼎 , 韩珠 , 陈振中 , 李将军 , 张远凡 , 孙雷(Lei Sun) , 张大丰 , 尼奥·杨 , 菲茨·刘 , 杰里·赵 , 穆斯塔法·阿亚佐格鲁 , 巴赫里·巴图汉·比勒森 , Shota Hirose公司 , Kasidis Arunruangsirilert公司 , 罗傲 , 何振梁 , 安德鲁·韦 , 刘杰(音译) , 刘强(音) , 大海宇 , 奥丽 , 雷洛(Lei Luo) , 策竹 , Seongmin Hong先生 , 东原公园 , Joonhee Lee(李俊熙) , 再见,李贤贤 , Seunggyu Lee先生 , Se Young Chun先生 , 何瑞源 , 徐浩江 , 海航阮 , 张新建 , 刘静(音译) , 加拉斯·根迪 , 纳比勒·萨博尔 , 侯景超 , 何广辉 以下为:
移动NPU上高效准确的量化图像超分辨率,移动AI和AIM 2022挑战:报告。 ECCV研讨会(3) 2022 以下为: 92-129 [公元36年] 陈良玉 , 魏建军 , 曾振兵 , 张敏(音) 以下为:
GPGPU上多元多项式矩阵行列式的优化计算。 HPCC/DSS/SmartCity/DependSys公司 2022 以下为: 82-91 [公元35年] 《宣明赋》 , 杨正峰 , 郝雪 , 王建林 , 曾振兵 以下为:
使用基于特征的对手示例进行稳健训练。 ICPR公司 2022 以下为: 2957-2963 [公元34年] 唐晓超 , 杨正峰 , 《宣明赋》 , 王建林 , 曾振兵 以下为:
通过线性规划提高深度神经网络的对抗鲁棒性。 TASE公司 2022 以下为: 326-343 [i3] 安德烈·伊格纳托夫 , 拉杜·蒂莫夫特 , 毛里齐奥·丹纳 , 阿卜杜勒·尤尼斯 , 甘佐里格·甘库亚格 , 金刚嗯 , Myeong Kyun Kim公司 , Kihwan Yoon先生 , Hyeon-Cheol月亮 , Seungho Lee先生 , 尹西克·崔 , 郑振宇(Jinwoo Jeong) , Sungjii Kim先生 , 马西耶·斯梅尔 , 托马斯·拉科夫斯基 , 巴维尔·库比克 , 米查尔·索科尔斯基 , 马玉杰 , 赵家豪 , 周舟 , 高洪帆 , 杨正峰 , 曾振兵 , 正阳诸葛 , 李成华 , 朱丹(Dan Zhu) , 孙梦迪 , 冉端 , 闫高 , 香港灵顺 , 长阳 , 向丽 , 张兴东 , 张佳伟 , 吴亚奇 , 金山盘 , 藁城余 , 金章(Jin Zhang) , 张峰(音) , 哲玛 , 王宏斌 , 赵和进(Hojin Cho) , 负责人金史提夫 , 李华恩 , 马燕波 , 紫薇·罗 , 李友伟 , 雷宇 , 温志宏 , 齐武 , 范浩强(Haoqiang Fan) , 刘帅成 , 张丽泽(Lize Zhang) , 宗志凯 , 杰里米·昆 , 张俊熙 , 李梦媛 , 《念香赋》 , 关晨鼎 , 韩珠 , 陈振中 , 李将军 , 张远凡 , 等。 以下为:
移动NPU上高效准确的量化图像超分辨率,移动AI和AIM 2022挑战:报告。 CoRR公司 abs/2211.05910 ( 2022 ) 2021 [公元33年] 曾振兵 , 于晨 , 向阳 , 王玉正 以下为:
球面上Fermat-Torricelli点的几何性质。 中国科学院 2021 以下为: 442-462 [公元32年] 杨正峰 , 张一丹 , 王林 , 夏曾 , 唐晓超 , 曾振兵 , 刘志明 以下为:
非线性系统安全强化学习的障碍证书生成迭代方案。 CAV(1) 2021 以下为: 467-490 [公元31年] 程晨 , 陈良玉 , 曾振兵 , 党林 以下为:
计算多元多项式函数系统可靠孤立零点的分枝定界算法。 HPCC/DSS/SmartCity/DependSys公司 2021 以下为: 713-720 [公元30年] 曾振兵 , 陆健 , 徐耀晨 , 王玉正 以下为:
最大化单位半球上四个点之间的距离之和。 ADG公司 2021 以下为: 27-40 2020 [公元29年] 曾振兵 , 向阳 , 黄勇 , 徐耀晨 , 陈晓茹 , 陆洋 以下为:
对IMO 88问题6的枫叶探索。 国会议员 2020 以下为: 429-437 [公元28年] 曾振兵 , 徐耀晨 , 杨正峰 , 李志斌 以下为:
将不可能三角形等距嵌入到最低维欧氏空间。 国会议员 2020 以下为: 438-457 [公元27年] 王建林 , 赵鹏 , 曾振兵 以下为:
混合CPS时钟理论正确性的形式证明。 TASE公司 2020 以下为: 97至104
2010 – 2019
2019 [公元26年] 陈明艳(Mingyan Chen) , 曾振兵 以下为:
几何定理验证的概率算法。 AAIM公司 2019 以下为: 29-41 [公元25年] Andreas W.M.连衣裙 , 前原浩史 , Sabrina Xing Mei Pang公司 , 曾振兵 以下为:
关于离散度量空间的结构与圆等距。 AAIM公司 2019 以下为: 83-94 [公元24年] 曾振兵 , 陈良玉 以下为:
通过符号计算确定三角形中七点的Heilbron构型。 中国科学院 2019 以下为: 458-477 【c23】 曾振兵 , 陆洋 , 利迪亚·德比 以下为:
由给定体积、周长和面面积决定的四面体同余类数。 ISSAC公司 2019 以下为: 363-370 [公元22年] 郭晓峰 , 拓冷 , 曾振兵 以下为:
欧氏度量球上三角形的费马-托里切利问题:用Maple符号解。 国会议员 2019 以下为: 263-278 【c21】 曾振兵 , 陆健 , 利迪亚·德比 , 陈良玉 , 王建林 以下为:
平面非对角函数的Heilbronn型不等式。 国会议员 2019 以下为: 307-323 [公元20年] 曾振兵 , 王建林 , 杨正峰 以下为:
面向机器自我感知的多智能体自动推理:案例研究。 TASE公司 2019 以下为: 73-80 2018 [公元26年] 闵唐 , 李冰雨 , 曾振兵 以下为:
通过多项式插值计算多元多项式的稀疏GCD。 J.系统。 科学。 复杂。 31 ( 2 ) 以下为: 552-568 ( 2018 ) 2017 [公元25年] 夏曾 , 王林 , 杨正峰 , 曾振兵 以下为:
通过保守近似验证非线性混合系统的线性不变量生成。 科学。 中国信息科学。 60 ( 三 ) 以下为: 39102 ( 2017 ) [公元24年] 王林 , 吴敏(音) , 杨正峰 , 曾振兵 以下为:
使用有理不变量验证非多项式混合系统。 计算。 J。 60 ( 5 ) 以下为: 675-689 ( 2017 ) [公元23年] 陈良玉 , 徐耀晨 , 曾振兵 以下为:
通过GPGPU计算搜索单位正方形中九个点的近似全局最优Heilbronn配置。 J.全球。 最佳方案。 68 ( 1 ) 以下为: 147-167 ( 2017 ) 2016 [公元22年] 闵唐 , 杨正峰 , 曾振兵 以下为:
通过隐式方程插值消除结果。 J.系统。 科学。 复杂。 29 ( 5 ) 以下为: 1411-1435 ( 2016 ) [公元21年] 徐铭(Ming Xu) , 黄成超 , 李志斌 , 曾振兵 以下为:
分析可解系统的最终正性。 西奥。 计算。 科学。 609 以下为: 395-412 ( 2016 ) 2015 [公元20年] 陈雷(Lei Chen) , 长虹路 , 曾振兵 以下为:
具有唯一最小对支配集的图。 阿尔斯·库姆。 119 以下为: 177-192 ( 2015 ) [公元19年] 刘健 , 闵唐 , 夏曾 , 曾振兵 以下为:
初等函数可验证赋值及误差分析 (基本函数的验证评估和误差分析)。 日本 42 ( 4 ) 以下为: 25-30 ( 2015 ) 2014 [公元18年] 王林 , 吴敏(音) , 杨正峰 , 曾振兵 以下为:
使用平方和表示法对混合系统进行精确安全验证。 科学。 中国信息科学。 57 ( 5 ) 以下为: 1-13 ( 2014 ) [公元17年] 王林 , 吴敏(音) , 杨正峰 , 曾振兵 以下为:
通过符号数字计算方法证明循环程序的完全正确性和生成前提。 前沿计算。 科学。 8 ( 2 ) 以下为: 192-202 ( 2014 ) [公元16年] 陈良玉 , 曾振兵 , Wei Zhou公司 以下为:
三角形中八个点的Heilbronn数的上界。 J.库姆。 最佳方案。 28 ( 4 ) 以下为: 854-874 ( 2014 ) [第19条] 王林 , 吴敏(音) , 杨正峰 , 曾振兵 以下为:
基于有理不变量的非线性系统安全性验证。 SNC公司 2014 以下为: 107-108 2013 [公元15年] 陈良玉 , 曾振兵 以下为:
多元多项式项矩阵行列式的并行计算。 科学。 中国信息科学。 56 ( 11 ) 以下为: 1-16 ( 2013 ) [公元14年] 沈立勇(Liyong Shen) , 吴敏(音) , 杨正峰 , 曾振兵 以下为:
用符号-数字混合方法生成精确的非线性排序函数。 J.系统。 科学。 复杂。 26 ( 2 ) 以下为: 291-301 ( 2013 ) 2012 [j13] 陆洋 , 曾振兵 , 张伟年 以下为:
Dixon结果的微分消去。 申请。 数学。 计算。 218 ( 21 ) 以下为: 10679-10690 ( 2012 ) [公元12年] 陈雷(Lei Chen) , 长虹路 , 曾振兵 以下为:
块图的所有最小成对支配集中的顶点。 J.库姆。 最佳方案。 24 ( 三 ) 以下为: 176-191 ( 2012 ) [第18条] 陈良玉 , 拓冷 , 沈立勇(Liyong Shen) , 吴敏(音) , 杨正峰 , 曾振兵 以下为:
通过数值计算找到几何问题的符号解。 ASCM公司 2012 以下为: 223-241 2011 [i2] 吴斌(Bin Wu) , 沈立勇(Liyong Shen) , 吴敏(音) , 杨正峰 , 曾振兵 以下为:
通过计算样本点的消失理想生成循环不变量。 CoRR公司 abs/1111.0732 ( 2011 ) [i1] 王林 , 吴敏(音) , 杨正峰 , 曾振兵 以下为:
使用平方和表示法对混合系统进行精确安全验证。 CoRR公司 abs/1112.2328 ( 2011 ) 2010 [公元11年] 徐铭(Ming Xu) , 陈良玉 , 曾振兵 , 李志斌 以下为:
线性回路的终止分析。 发现的国际期刊。 计算。 科学。 21 ( 6 ) 以下为: 1005-1019年 ( 2010 ) [公元10年] 徐铭(Ming Xu) , 陈良玉 , 曾振兵 , 李志斌 以下为:
有理特征值线性系统的可达性分析。 国际期刊系统。 科学。 41 ( 12 ) 以下为: 1411-1419 ( 2010 ) [公元9年] 陈雷(Lei Chen) , 长虹路 , 曾振兵 以下为:
块图和区间图中对支配问题的标记算法。 J.库姆。 最佳方案。 19 ( 4 ) 以下为: 457-470 ( 2010 ) [j8] 徐铭(Ming Xu) , 木川东 , 曾振兵 , 李志斌 以下为:
一种启发式方法用于多个幂和的正根隔离。 J.大学。 计算。 科学。 16 ( 14 ) 以下为: 1912-1926 ( 2010 ) [第17条] 吴斌(Bin Wu) , 沈立勇(Liyong Shen) , 钟琴毕 , 曾振兵 以下为:
用多项式保护终止循环程序。 ICCSA(4) 2010 以下为: 482-496 [第16条] 徐铭(Ming Xu) , 陈良玉 , 曾振兵 , 李志斌 以下为:
多指数多项式的实根分离及其应用。 WALCOM公司 2010 以下为: 263-268
2000 – 2009
2009 [j7] 陈雷(Lei Chen) , 长虹路 , 曾振兵 以下为:
强弦图中对支配问题的线性时间算法。 信息处理。 莱特。 110 ( 1 ) 以下为: 20-23 ( 2009 ) [j6] 陈雷(Lei Chen) , 林璐 , 冯凯瑞 , 李文锦 , 宋杰 , 郑璐璐 , 友廊苑 , 曾振兵 , 凯雁峰 , 文冲路 , 蔡玉东 以下为:
用于预测蛋白质结构类的多分类器集成。 J.计算。 化学。 30 ( 14 ) 以下为: 2248-2254 ( 2009 ) [j5] 陈雷(Lei Chen) , 长虹路 , 曾振兵 以下为:
图中(加权)对支配的硬度结果和近似算法。 西奥。 计算。 科学。 410 ( 47-49 ) 以下为: 5063-5071 ( 2009 ) [j4] 陈雷(Lei Chen) , 长虹路 , 曾振兵 以下为:
弦图子类上的距离对支配问题。 西奥。 计算。 科学。 410 ( 47-49 ) 以下为: 5072-5081 ( 2009 ) [第15条] 曾振兵 , 陈良玉 以下为:
椭圆的最佳Bezier逼近。 CSO(2) 2009 以下为: 1021-1026 [第14条] 沈立勇(Liyong Shen) , 吴敏(音) , 杨正峰 , 曾振兵 以下为:
通过曲线拟合找到一类非线性回路的正不变集。 SNC公司 2009 以下为: 185-190 2008 [第13条] 曾振兵 , 陈良玉 以下为:
关于正方形中七点的Heilbronn最优配置。 几何中的自动演绎 2008 以下为: 196-224 [第12条] 王伟明 , 林业志 , 曾振兵 以下为:
求解Fredholm积分方程组的新机械算法。 ICIC(1) 2008 以下为: 744-754 2007 [j3] Qiang Guan(强关) , 龙王 , 碧灿霞 , 陆洋 , 余文生(Wensheng Yu) , 曾振兵 以下为:
线性系统同时镇定的广义Champagne问题的解。 科学。 中国Ser。 F信息科学。 50 ( 5 ) 以下为: 719-731 ( 2007 ) [第11条] 陈良玉 , 曾振兵 以下为:
哪些对称齐次多项式可以用差分替换法证明为半正定?。 ASCM公司 2007 以下为: 57-71 [第10条] 广西陈 , 曾振兵 , 钟琴毕 以下为:
基于交互式符号计算的机器认知与学习。 工控机 2007 以下为: 456-461 【c9】 曾振兵 , 梅京山 以下为:
组合几何中一个未解决优化问题的半机械化方法。 囊 2007 以下为: 762-766 【c8】 王伟明 , 曾振兵 , 陆洋 以下为:
求解Volterra积分方程组的一种新的机械算法。 SNPD(3) 2007 以下为: 67-72 2006 [注2] 傅红光 , 钟秀琴 , 曾振兵 以下为:
自动和可读的三角表达式简化。 数学。 计算。 模型。 44 ( 11-12 ) 以下为: 1169-1177 ( 2006 ) 【c7】 陆洋 , 曾振兵 以下为:
构造具有指定高度和宽度的四面体。 几何中的自动演绎 2006 以下为: 203-211 2005 【c6】 吴金照 , 张文银 , 曾振兵 以下为:
印刷体汉字数学表达式的自动生成。 计算智能 2005 以下为: 404-408 【c5】 陆洋 , 曾振兵 以下为:
四面体度量不变量的一个开放问题。 ISSAC公司 2005 以下为: 362-364 【c4】 张文银 , 聂振力 , 曾振兵 以下为:
基于DCT域显著点的图像检索。 海地 2005 以下为: 386-395 2004 【c3】 陆洋 , 曾振兵 以下为:
四参数钢琴乐手问题的符号解法。 几何中的自动演绎 2004 以下为: 59-69 2003 [j1] 许志崴 , 魏丽 , 傅红光 , 曾振兵 以下为:
基于织女星网格技术的网上数学教育。 国际远程教育杂志。 Technol公司。 1 ( 三 ) 以下为: 1-13 ( 2003 ) 2002 [c2] 许志崴 , 魏丽 , 傅红光 , 曾振兵 以下为:
Vega网格和基于网格的教育。 ICWL系统 2002 以下为: 228-240
1990 – 1999
1997 【c1】 陆洋 , 傅红光 , 曾振兵 以下为:
简单几何6R机械手逆运动学的实用符号算法。 CADE公司 1997 以下为: 73-86