检索结果-南通市图书馆

试论学生思想政治工作者在推动本科生国际化中的作用——基于华中科技大学计算机科学与技术学院本科生海外交流项目的实践探索

在线全文

学校读者我要写书评

暂无评论

科教导刊 2014年第8期 77-78页

作者：刘师贤郑强华中科技大学计算机科学与技术学院

在全球化进程不断深入发展的情况下,推动学生国际交流、拓展学生国际视野成为学生培养的重要途径,也是学生思想政治工作者的重要任务。近年来,在全球化的影响下,为推动学生的国际交流,华中科技大学计算机学院学生工作办公室依托专业优势... 详细信息

在全球化进程不断深入发展的情况下,推动学生国际交流、拓展学生国际视野成为学生培养的重要途径,也是学生思想政治工作者的重要任务。近年来,在全球化的影响下,为推动学生的国际交流,华中科技大学计算机学院学生工作办公室依托专业优势,做了大量的工作,通过建立专门机构、广泛联系有关大学本专业的专家教授、在学生中进行有针对性的宣传、选拔学生,与海外二十余所大学建立了初步联系,组织了若干个海外交流项目,推动了一大批学生进行国际交流。从2011年起,华中科技大学计算机科学与技术学院连续3年成功地组织了赴美专题交流项目,组织了部分优秀本科生赴美国维恩州立大学开展课程学术交流,并参加了在西雅图举办的Super Computing大会。在该项目中,计算机学院学生工作办公室借助了自身的学科专业优势,发挥了重要的作用。

关键词：学生事务海外交流全球化人才培养

一种基于模特征的增量式张量Tucker分解方法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

控制与决策 2024年第7期39卷 2431-2437页

作者：渠超洋韩建军华中科技大学计算机科学与技术学院

随着数据量的爆炸式增长,边缘计算在大数据处理中的作用愈加重要.现实应用中产生的数据通常建模表示成高阶增量式张量的形式,增量式张量Tucker分解是一种高效挖掘高阶海量数据中隐藏信息的方法.针对传统增量式张量分解忽视张量模特征对... 详细信息

随着数据量的爆炸式增长,边缘计算在大数据处理中的作用愈加重要.现实应用中产生的数据通常建模表示成高阶增量式张量的形式,增量式张量Tucker分解是一种高效挖掘高阶海量数据中隐藏信息的方法.针对传统增量式张量分解忽视张量模特征对分解过程的影响、分解结果不能较好保留原始数据特征的问题,提出一种基于模特征的增量式张量Tucker分解方法 ITTDMC (incremental tensor tucker decomposition based on mode characteristics).首先,用模长增量决定增量因子矩阵更新顺序,以此降低更新顺序带来的重构误差;其次,根据模熵变化比决定增量因子矩阵更新权重,使分解结果更准确保留各模特征;然后,将过往时刻的模特征和更新参数记录在指导张量中,遇到模特征相似的增量数据时直接使用来指导张量中参数的更新,避免重复计算,降低时间开销;最后,在合成和真实数据集上进行大量的实验,实验结果表明ITTDMC在模特征明显的数据集上能显著降低(最高可达29%)增量式张量的重构误差.

关键词：大数据增量式张量 Tucker分解模特征模长增量模熵

求解加权偏MaxSAT问题的通用子句加权方法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

计算机学报 2024年第6期47卷 1341-1354页

作者：郑迥之何琨华中科技大学计算机科学与技术学院武汉430074

最大可满足性问题(Maximum Satisfiability Problem,MaxSAT)是著名的可满足性问题(Satisfiability Problem,SAT)的优化形式,也是一个经典的NP难组合优化问题.加权偏MaxSAT(Weighted Partial MaxSAT,WPMS)是最一般的一类MaxSAT问题,其中包含了必须要满足的硬子句,对应了优化问题中的约束条件,以及带权重的软子句,对应了优化问题中的优化目标.WPMS旨在满足所有硬子句的同时最大化被满足软子句的权重之和.工业场景中和学术领域中的许多优化问题都能够转化成WPMS问题进行求解,因此WPMS具有广泛的应用领域和重要的研究意义.局部搜索方法是求解WPMS问题的一种著名且被广泛研究的非完备方法.子句加权技术是WPMS局部搜索算法中常用的一种有效且关键的技术,通过为子句赋予动态权重并在搜索过程中更新它们以引导搜索方向,帮助算法逃离局部最优.最先进的WPMS局部搜索算法都提出或采用了有效的子句加权技术,以帮助它们在不同的解空间中搜索.然而,现有的子句加权技术仅根据当前局部最优解更新子句动态权重,而未考虑任何历史信息,可能导致子句加权的视野局限,对搜索方向的引导不够准确.为了解决这一问题,提出了一种新的子句加权技术,称为Hist-Weighting(Clause Weighting with Historical Information),同时考虑了当前及历史信息来更新子句的动态权重,以改进子句加权机制和局部搜索算法的搜索精度和效率.具体而言,Hist-Weighting为那些同时被当前和历史局部最优解所不满足的子句赋予更大的动态权重增量,使算法更倾向于满足那些久未被满足且难以被满足的子句,提高子句加权的准确度.此外,在Hist-Weighting中,子句动态权重的增量能够根据子句中的变元得分自适应地调整,使子句加权更具有灵活性.Hist-Weighting还为子句动态权重的增量设置了上下限,保证了子句加权的稳定性.为了评估所提出的Hist-Weighting子句加权技术的性能,将其应用于三种最先进的WPMS局部搜索算法,即BandMaxSAT、SATLike3.0和CCEHC.在近五届 MaxSAT国际算法竞赛 MaxSAT Evaluation非完备组的所有WPMS算例上的实验结果表明,应用Hist-Weighting技术的改进算法相比于原算法在获胜算例数上能够提升约10%至60%,体现了所提出的Hist-Weighting子句加权技术在求解WPMS问题时的有效性.此外,通过将应用了 Hist-Weighting的改进局部搜索算法与其变体算法对比以进行消融实验,表明了 Hist-Weighting中限制动态权重增量上下限,以及使动态权重增量根据变元得分自适应调整的机制的有效性.

关键词：最大可满足性问题局部搜索子句加权技术历史信息

基于贪心回溯的求解完全0-1背包问题局部动态规划算法

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

华中科技大学学报（自然科学版） 2024年第2期52卷 16-21页

作者：何琨任硕郭子杰裘天宝华中科技大学计算机科学与技术学院湖北武汉430074

对于具有NP难度的完全0-1背包问题,提出了一种基于贪心与回溯思想的局部动态规划算法.该算法借鉴贪心与回溯技术快速找到近似最优解,再通过局部动态规划的结果回溯逼近最优解,兼顾了算法的正确性与时间复杂度.相比于传统动态规划算法,... 详细信息

对于具有NP难度的完全0-1背包问题,提出了一种基于贪心与回溯思想的局部动态规划算法.该算法借鉴贪心与回溯技术快速找到近似最优解,再通过局部动态规划的结果回溯逼近最优解,兼顾了算法的正确性与时间复杂度.相比于传统动态规划算法,该算法在大多数情况下能够显著缩短求解时间;相较于智能算法,该算法能够保证所求解是最优解.实验结果表明:所提出的算法在绝大多数情形下均能够在更短时间内准确找到问题的最优解,并且该算法贪心地进行最大单位平均价值成分的选取,背包容量不再直接影响求解时间,因此对于背包容量极大的情况,该算法能够极大地缩短求解时间.

关键词：完全0-1背包问题 NP难度动态规划贪心回溯

求解加权偏MaxSAT问题的通用子句加权方法

在线全文

学校读者我要写书评

暂无评论

计算机学报 2024年

作者：郑迥之何琨华中科技大学计算机科学与技术学院

最大可满足性问题（Maximum Satisfiability Problem， MaxSAT）是著名的可满足性问题（Satisfiability Problem， SAT）的优化形式，也是一个经典的NP难组合优化问题．加权偏MaxSAT（Weighted Partial MaxSAT， WPMS）是最一般的一类MaxSAT问题，其中包含了必须要满足的硬子句，对应了优化问题中的约束条件，以及带权重的软子句，对应了优化问题中的优化目标．WPMS旨在满足所有硬子句的同时最大化被满足软子句的权重之和．工业场景中和学术领域中的许多优化问题都能够转化成WPMS问题进行求解，因此WPMS具有广泛的应用领域和重要的研究意义．局部搜索方法是求解WPMS问题的一种著名且被广泛研究的非完备方法．子句加权技术是WPMS局部搜索算法中常用的一种有效且关键的技术，通过为子句赋予动态权重并在搜索过程中更新它们以引导搜索方向，帮助算法逃离局部最优．最先进的WPMS局部搜索算法都提出或采用了有效的子句加权技术，以帮助它们在不同的解空间中搜索．然而，现有的子句加权技术仅根据当前局部最优解更新子句动态权重，而未考虑任何历史信息，可能导致子句加权的视野局限，对搜索方向的引导不够准确．为了解决这一问题，提出了一种新的子句加权技术，称为Hist-Weighting (Clause Weighting with Historical Information)，同时考虑了当前及历史信息来更新子句的动态权重，以改进子句加权机制和局部搜索算法的搜索精度和效率．具体而言，Hist-Weighting为那些同时被当前和历史局部最优解所不满足的子句赋予更大的动态权重增量，使算法更倾向于满足那些久未被满足且难以被满足的子句，提高子句加权的准确度．此外，在Hist-Weighting中，子句动态权重的增量能够根据子句中的变元得分自适应的调整，使子句加权更具有灵活性．Hist-Weighting还为子句动态权重的增量设置了上下限，保证了子句加权的稳定性．为了评估所提出的Hist-Weighting子句加权技术的性能，将其应用于三种最先进的WPMS局部搜索算法，即BandMaxSAT、SATLike3.0和CCEHC．在近五届MaxSAT国际算法竞赛MaxSAT Evaluation非完备组的所有WPMS算例上的实验结果表明，应用Hist-Weighting技术的改进算法相比于原算法在获胜算例数上能够提升约10%至60%，体现了所提出的Hist-Weighting子句加权技术在求解WPMS问题时的有效性．此外，通过将应用了Hist-Weighting的改进局部搜索算法与其变体算法对比以进行消融实验，表明了Hist-Weighting中限制动态权重增量上下限，以及使动态权重增量根据变元得分自适应调整的机制的有效性．

关键词：最大可满足性问题局部搜索子句加权技术历史信息加权

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

面向LinUCB算法的数据投毒攻击方法

中国科学:信息科学 2024年第7期54卷 1569-1587页

作者：姜伟龙何琨华中科技大学计算机科学与技术学院

LinUCB算法是求解上下文多臂老虎机问题的一种典型算法,被广泛应用于新闻投放、产品推荐、医疗资源分配等场景中.目前对该算法的安全性研究略显薄弱,这就要求研究者进一步加深对该算法的攻击方式的研究,以作出具有针对性乃至泛用性的防... 详细信息

LinUCB算法是求解上下文多臂老虎机问题的一种典型算法,被广泛应用于新闻投放、产品推荐、医疗资源分配等场景中.目前对该算法的安全性研究略显薄弱,这就要求研究者进一步加深对该算法的攻击方式的研究,以作出具有针对性乃至泛用性的防御措施.本文提出了两种通过添加虚假数据的方式对LinUCB算法进行离线数据投毒攻击的攻击方案,即TCA方案(target context attack)与OCA方案(optimized context attack).前者是基于训练数据与目标上下文的相似性来生成投毒数据的;后者是建模一个优化问题,通过求解该问题来构造投毒数据,是前者的优化版本.实验测试表明,仅需添加少量投毒数据作为攻击成本即可实现对攻击目标的100%攻击成功率.

关键词：上下文多臂老虎机 LinUCB算法数据投毒攻击白盒攻击优化问题

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

基于持续同调的高维数据聚类算法

华中科技大学学报（自然科学版） 2024年第2期52卷 29-35页

作者：熊正大韦逸卓熊子恒何琨华中科技大学计算机科学与技术学院湖北武汉430074 武汉科技大学香涛学院湖北武汉430081

针对复杂的高维数据,提出了基于持续同调的聚类(PHBC)算法.该算法从拓扑学的角度处理数据,通过使用单纯复形来计算不同种类样本的拓扑特征,将拓扑特征转化为持续同调信息,再将持续同调信息转化为向量形式作为聚类算法的输入,使得传统聚... 详细信息

针对复杂的高维数据,提出了基于持续同调的聚类(PHBC)算法.该算法从拓扑学的角度处理数据,通过使用单纯复形来计算不同种类样本的拓扑特征,将拓扑特征转化为持续同调信息,再将持续同调信息转化为向量形式作为聚类算法的输入,使得传统聚类算法能够处理高维度的数据.实验结果表明:PHBC算法能够应对并处理多种复杂的高维数据,与多个经典的聚类方法相比,在多种聚类指标上均有一定程度的提升,并且指标的标准差更小,即聚类结果的稳定性更高.

关键词：机器学习聚类高维数据拓扑数据分析持续同调

在线全文

学校读者我要写书评

暂无评论

一种抗屏摄攻击的DCT域深度水印方法

计算机科学 2024年第2期51卷 343-351页

作者：黄昌喜赵成鑫姜骁腾凌贺飞刘辉华中科技大学计算机科学与技术学院武汉430074

数字水印技术在多媒体保护方面发挥着巨大的作用,实际应用需求的变更推动了数字水印技术的发展。目前,基于深度学习的水印技术在鲁棒性上有了较大的提升,但水印的嵌入基本在空域进行,载体图像的失真仍然比较明显。此外,现有方法在面对... 详细信息

数字水印技术在多媒体保护方面发挥着巨大的作用,实际应用需求的变更推动了数字水印技术的发展。目前,基于深度学习的水印技术在鲁棒性上有了较大的提升,但水印的嵌入基本在空域进行,载体图像的失真仍然比较明显。此外,现有方法在面对摄屏攻击时效果不佳。为解决上述问题,提出了一种抗屏摄攻击的DCT域深度水印方法。该模型由DCT层、编码器、解码器和屏摄模拟层组成。DCT层将图像的Y分量转换为DCT域,然后编码器通过端到端训练修改DCT系数,将秘密消息嵌入到图像中。这种频域嵌入方法使得水印信息能够分布到图像的整个空间,从而减少了失真效应。此外,还提出了一个噪声层,用于模拟屏摄过程中特殊的摩尔纹和反光效果。训练过程分为两个阶段:在第一阶段,编码器和解码器进行端到端的训练;而在第二阶段,屏摄模拟层和传统的失真攻击被用来增强水印图像,然后使用失真水印图像来进一步优化解码器。大量的实验结果表明,该模型具有较高的透明度和鲁棒性,并且在屏摄鲁棒性方面优于其他方法。

关键词：数字水印深度学习 DCT变换不可感知性屏摄鲁棒性

在线全文

学校读者我要写书评

暂无评论

基于多域融合及神经架构搜索的语音增强方法

通信学报 2024年第2期45卷 225-239页

作者：张睿张鹏云孙超利太原科技大学计算机科学与技术学院山西太原030024

为进一步提高语音增强模型的自学习及降噪能力,提出基于多域融合及神经架构搜索的语音增强方法。该方法设计了语音信号多空间域映射及融合机制,实现信号实复数关联关系的挖掘;围绕模型卷积池化运算特点,提出了复数神经架构搜索机制,通... 详细信息

为进一步提高语音增强模型的自学习及降噪能力,提出基于多域融合及神经架构搜索的语音增强方法。该方法设计了语音信号多空间域映射及融合机制,实现信号实复数关联关系的挖掘;围绕模型卷积池化运算特点,提出了复数神经架构搜索机制,通过设计的搜索空间、搜索策略及评估策略,高效自动地构建出语音增强模型。实验搜索到的最优语音增强模型与基线模型的对比泛化实验中,语音质量客观评价(PESQ)、短时客观可懂度(STOI)两大指标较最优基线模型均最大提升5.6%,且模型参数量最低。

关键词：语音增强模型复数空间域映射多域融合复数神经架构搜索低成本评估