高校“人工智能+”主动作为支撑新质生产力

2023年9月,习近平总书记在黑龙江考察时首次提出“新质生产力”的概念。2023年12月,习近平总书记在中央经济工作会议上再次指出:“要以科技创新推动产业创新,特别是以颠覆性技术和前沿技术催生新产业、新模式、新动能,发展新质生产力。”2024年1月,习近平总书记在二十届中共中央政治局第十一次集体学习时进一步强调,“为发展新质生产力、推动高质量发展培养急需人才”。

新高考背景下高中数学概念探究教学有效性研究——以“函数的奇偶性”的概念教学为例

随着新高考改革政策的深入推进,以人才选拔的方式引领教育,落实国家对创新人才的需要已经取得了不错的成效.研究者以“函数的奇偶性”的概念教学为例,从概念教学概述与教学分析出发,基于“创设情境,导入概念”“深度探索,生成概念”“练习训练,升华概念”三个方面展开教学设计与研究.

基于知识图谱的跨项目安全缺陷报告预测方法

安全缺陷报告可以描述软件产品中的安全关键漏洞.为了消除软件产品的安全攻击风险,安全缺陷报告(security bug report,SBR)预测越来越受到研究人员的关注.但在实际软件开发场景中,需要进行软件安全漏洞预测的项目可能是来自新公司或属于新启动的项目,没有足够的已标记安全缺陷报告供在实践中构建此软件安全漏洞预测模型.一种简单的解决方案就是使用迁移模型,即利用其他项目已经标记过的数据来构建预测模型.受到该领域最近的两项研究工作的启发,以安全关键字过滤为思路提出一种融合知识图谱的跨项目安全缺陷报告预测方法KG-SBRP(knowledge graph of security bug report prediction).使用安全缺陷报告中的文本信息域结合CWE(common weakness enumeration)与CVE Details(common vulnerabilities and exposures)共同构建三元组规则实体,以三元组规则实体构建安全漏洞知识图谱,在图谱中结合实体及其关系识别安全缺陷报告.将数据分为训练集和测试集进行模型拟合和性能评估.所构建的模型在7个不同规模的安全缺陷报告数据集上展开实证研究,研究结果表明,所提方法与当前主流方法FARSEC和Keyword matrix相比,在跨项目安全缺陷报告预测场景下,性能指标F1-score值可以平均提高11%,除此之外,在项目内安全缺陷报告预测场景下,F1-score值同样可以平均提高30%.

面向产出的Python程序设计课程教学探索

随着深度学习的不断发展,Python作为人工智能领域使用最广泛的语言受到广泛关注,近年来越来越多的学校将Python程序设计课程设置为计算机类专业的专业基础课。基于面向产出的教育教学理念,文章对Python程序设计课程面临的问题进行探讨,进而从课程大纲的修订、预期学习产出、教学方法、教学内容的组织、课程评价方法和持续改进建议等角度进行分析。文章的探索为高校计算机类专业的Python程序设计课程改革提供借鉴。

基于对比训练的联邦学习后门防御方法

针对现有联邦学习后门防御方法不能实现对模型已嵌入后门特征的有效清除同时会降低主任务准确率的问题,提出了一种基于对比训练的联邦学习后门防御方法 Contra FL。利用对比训练来破坏后门样本在特征空间中的聚类过程,使联邦学习全局模型分类结果与后门触发器特征无关。具体而言,服务器通过执行触发器生成算法构造生成器池,以还原全局模型训练样本中可能存在的后门触发器;进而,服务器将触发器生成器池下发给各参与方,各参与方将生成的后门触发器添加至本地样本,以实现后门数据增强,最终通过对比训练有效消除后门攻击的负面影响。实验结果表明,Contra FL能够有效防御联邦学习中的多种后门攻击,且效果优于现有防御方法。

Patch-Locator:一种基于排序学习的开源软件漏洞补丁定位方法

日益增多的开源软件漏洞对软件安全带来了巨大的风险,补丁在应对这一风险的过程中扮演了非常重要的角色.不幸的是,尽管大部分漏洞的补丁在被披露前就已经开发完毕,但仅有部分补丁会随漏洞同步公开.现有的研究发现了漏洞与其补丁之间存在一定的相关性,并基于这些相关性特征对提交进行了排序,以定位漏洞的补丁,但仍旧存在漏洞数据部分缺失、定位准确率不佳等问题.本文提出了Patch-Locator,一种新的基于排序学习的补丁定位方法,通过扩展漏洞数据源对漏洞数据进行补充,并根据漏洞与补丁文本的相似性、漏洞产生的原因和导致的结果等更能反映漏洞与补丁间关联的因素提取了更具有针对性的相关性特征,并使用LambdaMart排序学习模型对提交基于其具有的相关性特征进行排序以定位安全补丁.本文用来自10个开源软件项目的1669个漏洞来评估Patch-Locator.实验结果表明,Patch-Locator的Recall@1指标为92.22%,Recall@5指标为95.51%,Manual Effort@5指标为1.2455,均优于现有方法.

软件体系结构课程项目式教学探索与实践

针对软件体系结构课程知识面广、抽象程度高、实践要求强等特点,提出基于项目式的教学探索与实践方法。围绕项目式教学总体思路,从课程内容及目标制定、教学模式打造、教学项目实践以及教学评价四方面对软件体系结构课程教学体系进行了设计。教学实践结果表明,项目式教学方法的应用使学生的学习主动性增强,综合实践能力明显提升,学习效果显著提高。

多措并举推动绿色农畜产品加工业高质量发展

农畜产品加工产业是内蒙古地区的支柱性产业和主导产业,在当地的农业经济结构中扮演着重要的角色。农畜产品的生产加工涉及到诸多方面,是从种植和养殖中延伸出来的乡村支柱性产业,在推动农业农村现代化发展进程中发挥着重要的支撑作用和引领带动作用。传统的农畜产品生产加工过程中,由于缺乏针对性的技术规范,生产存在较大的随意性,再加上生产规模较小,市场风险抵御能力不足,生产出来的农畜产品市场竞争能力相对较差,不利于提高经济效益和经济质量。那个小姐姐是你吗把老子删了新时期在农畜产品加工产业发展过程中,应该坚持以绿色生态优先的发展理念,加快推动绿色农畜产品加工业的高质量发展,以此来调整农牧产业经济结构,加快产业化数字化发展进程。本文主要结合实际工作经验,探讨了推动绿色农畜产品加工业高质量发展的工作措施,希望通过研究对广大同行有所帮助。

基于GAN的联邦学习成员推理攻击与防御方法

针对联邦学习系统极易遭受由恶意参与方在预测阶段发起的成员推理攻击行为,以及现有的防御方法在隐私保护和模型损失之间难以达到平衡的问题,探索了联邦学习中的成员推理攻击及其防御方法。首先提出2种基于生成对抗网络(GAN)的成员推理攻击方法:类级和用户级成员推理攻击,其中,类级成员推理攻击旨在泄露所有参与方的训练数据隐私,用户级成员推理攻击可以指定某一个特定的参与方;此外,进一步提出一种基于对抗样本的联邦学习成员推理防御方法(Def MIA),通过设计针对全局模型参数的对抗样本噪声添加方法,能够在保证联邦学习准确率的同时,有效防御成员推理攻击。实验结果表明,类级和用户级成员推理攻击可以在联邦学习中获得超过90%的攻击精度,而在使用Def MIA方法后,其攻击精度明显降低,接近于随机猜测(50%)。

“混源多模”教学模式在研究生软件测试课程的实践

为适应高校教育数字化建设的快速发展,基于西北工业大学和扬州大学近5年研究生软件测试课程教学探索与实践,提出“混源多模”教学模式。借助人工智能进行教学资源选择与优化,综合考虑在线教学资源、开源项目数据和学生思想动态,结合“案例+研讨式”教学方法,使授课资源和教学模式实现随“变”应变,灵活授课。同时,借助数字平台进行教学评价反馈,形成课程教学模式迭代优化机制。实践结果表明,“混源多模”教学模式通过融合教学资源和学生思想动态,教学效果提升显著,在2017—2021学年的教学中,课程目标达成度由0.73提升至0.87,优秀率(综合成绩≥90分)达到31%;形成以10万条开源缺陷报告为核心的教学案例知识库,并实现教学案例库自动构建方法和系统;获得省级优秀教材和精品MOOC,指导学生在软件测试大赛中多次获奖,并发表高质量科研论文。

文件信息增强的方法级软件缺陷定位

软件开发与维护中会产生大量缺陷报告,根据缺陷报告准确定位到缺陷代码的位置是极具挑战性的.目前大多数工作在文件粒度定位缺陷,虽然少量工作定位在方法粒度,但定位准确度较低.本文提出一个文件信息增强的方法级软件缺陷定位技术FMBL(a File information enhanced Method-level Bug Localization technology),考虑方法与文件之间的从属关系以增强缺陷定位准确性.通过综合考虑代码与缺陷报告的词汇相似度、语义相似度和代码长度度量它们之间的相关性.在六个开源软件项目上开展实验以评估FMBL的有效性.结果表明,本文方法在六个项目上的平均Accuracy@10、MAP(Mean Average Precision)和MRR(Mean Reciprocal Rank)值分别达到0.436、0.223、0.296.与现有方法BugLocator、BLIA(Bug Localization using Integrated Analysis)、BugPecker相比,本文方法在MAP指标上分别提升153.1%、209.1%、22.8%.

乡村振兴战略下山西特色种养业信息、技术、人才与农民对接模式探究

特色产业发展是乡村振兴战略的重要组成部分,是推动乡村经济发展的主要方式之一。在乡村振兴背景下,本研究以山西特色种养业典型县乡为研究对象,分析山西特色种养业信息、技术、人才与农民对接模式,探讨特色种养业典型对接模式的推广与应用。结果表明,山西特色种养业的信息、技术、人才与农民对接过程中的制约因素主要有3个方面,即新技术、新产品实操性较低,农牧业实战型技术人才匮乏,农业生产技术落后,同时在对接过程中也逐渐形成了“一站式”型、“协会牵头、农民参与”型、“政技合一”型、“政府领衔”型、“政协双合成”型模式。最后提出在推广和应用这些模式的过程中,要遵循一定的原则,注重培养理论与实践兼具的实用型人才,更应因地制宜、因需制宜。

基于迁移学习的智能合约漏洞检测方法

针对智能合约源代码漏洞数据集匮乏的问题,提出一种基于迁移学习的智能合约漏洞检测方法.首先,从CodeBERT预训练模型中迁移表示传统编程语言的语义特征参数,学习智能合约编程语言Solidity的语义表示;其次,使用长短期记忆网络处理语义向量,加入上下文语义关联;最后,训练智能合约漏洞检测模型,完成智能合约源代码形式的二分类漏洞检测任务.实验结果表明,与基线方法和机器学习方法相比,该方法在数据集匮乏情况下的智能合约漏洞检测准确率更高.

新媒体语境下的音乐微电影传播研究

音乐微电影是新媒体语境下融听觉、视觉和电影艺术于一体的音乐传播新载体和新媒介。音乐性是音乐微电影的独特属性。音乐微电影通过视觉化方式深化音乐理解,通过故事化方式强化音乐传播,破解了音乐传播的难题。音乐微电影通过内容转码顺应大众化音乐消费需求,经由平台互融拓展传播渠道,借助社交共情促进“接力式”传播,在进行音乐文化建设的同时,优化传播路径。

腰骶部脊髓脊膜膨出的诊断与治疗

目的 :探讨腰骶部脊髓脊膜膨出的诊断方法和治疗原则。方法 :腰骶部脊髓脊膜膨出 9例 ,术前行MRI和尿流动力学检查 ,均表现为脊髓圆锥低位或膨出于囊内 ,其中 3例有尿流动力学改变 ,手术方法为椎管扩大探查、拴系松解术。结果 :术后随访 2年 ,9例患儿中 3例发生大小便失禁 ,MRI示脊髓圆锥于原位粘连 ,尿流动力学检查示逼尿肌压增加 ,膀胱顺应性下降 ,其余 6例预后良好 ,尿流动力学表现正常 ,未进一步行MRI检查。结论 :显性脊柱裂患儿应常规行MRI检查 ,脊髓脊膜膨出要行椎管探查、拴系松解术 ,不正确的手术方法是导致脊髓拴系综合征的主要原因。

基于知识图谱的bug问题探索性搜索方法

软件bug问题在软件开发与维护过程中不可避免.然而软件历史库中的bug库与commit库之间没有直接的对应关系,并且随着bug信息、commit提交信息量的增长,搜索bug变得更加繁琐.本文提出一种基于知识图谱对bug问题进行探索性搜索的方法.通过建立bug报告、commit提交信息及相关人员(如:bug报告人、commit提交者等)信息的bug知识图谱,并结合探索性搜索的思想,不仅能准确搜索bug问题,还能提供相关辅助信息对bug问题进行探索性搜索,帮助软件开发人员更有效地理解和解决bug问题.

面向软件安全性缺陷的开发者推荐方法

软件开发与维护过程中常会出现一些安全性缺陷,这些安全性缺陷会给软件和用户带来很大的风险.安全性缺陷在修复过程中,其修复级别和质量要求往往高于一般性的缺陷,因此,推荐出富有安全性经验的开发者及时、有效地修复这些安全性缺陷非常重要.现有的开发者推荐技术在推荐开发者时仅仅考虑了开发者的历史开发内容,很少考虑到开发人员的安全性缺陷修复经验和修复质量等因素,所以这些技术不适用于安全性缺陷的开发者推荐.针对安全性缺陷的修复,提出了一种有效的软件开发者推荐方法 SecDR.SecDR在推荐开发者时不仅考虑了开发者的历史开发内容(与安全性相关),还分析了开发者的修复质量和历史修复缺陷的复杂度等因素.此外,SecDR还实现了开发者的多经验级别推荐:推荐初级开发者修复简单的安全性缺陷、高级开发者修复复杂的安全性缺陷.在3个开源项目(Mozilla,Libgdx,Elastic Search)上分别对SecDR推荐开发者进行有效性验证.对比实验表明,SecDR针对安全性缺陷推荐开发者相比于其他方法(如DR_PSF)的推荐精度平均高出19%~42%.另外,实验对比了SecDR与实际开发人员的分配情况,结果显示,SecDR可以更好地规避不合理的软件开发者的推荐.

Malone顺性灌肠治疗神经性大便失禁

目的:评价Malone顺性灌肠治疗神经性大便失禁的临床疗效。方法:1998年10月～1999年12月间对14例伴有大便失禁的脊髓拴系综合征患者(4～13岁)施行Malone手术,术后间断经阑尾造瘘口插管灌肠。对手术效果及肛门功能分别进行量化评分。结果:14例随访时间6个月～1年,2例造瘘口闭塞。余12例手术效果评分为21.4±1.3;肛门功能临床主观评分5郾05±0郾76,较术前(1郾23±0.64)明显增加(P<0郾01),其中优9例,良3例,差2例。结论:Malone顺性灌肠是治疗神经性大便失禁的有效方法,可明显提高患儿的生活质量。

成龄板栗组培快繁体系的建立及影响因素的研究

以迁西板栗主栽品种‘燕山早丰’为试材,采集其成龄树上当年抽生营养枝的茎段为外植体,研究了取样时期、基本培养基种类及植物生长调节剂组合对板栗不定芽诱导的影响,并采用L9(34)正交试验设计对增殖培养基进行筛选。结果表明:(1)外植体最佳取材时间为新梢旺盛生长期到半木质化期,即5月初至6月上旬;(2)不定芽诱导最佳基本培养基为MS,采用正交试验设计筛选出最佳激素组合为6-BA2.0 mg/L+IBA0.1 mg/L,诱导率达80%以上;(3)最佳增殖培养基为GD+ZT2.0 mg·L-1+NAA0.1 mg·L-1,增殖系数可达3.24。

尿流动力学检查对脊髓拴系诊治的临床意义

目的 :讨论尿流动力学检查在脊髓拴系患者治疗中的重要性。方法 :对 38例脊髓拴系患者行尿流动力学检查、静脉肾盂造影和排泄性膀胱尿道造影 ,了解患者泌尿系损害情况。结果 :上尿路损害组最大逼尿肌压 (7 45±1 2 2kPa)明显高于上尿路组无损害组 (4 2 5± 1 40kPa) ,膀胱顺应性 (2 6± 0 .6ml/cmH2 O)低于下尿路无损害组(6 7± 0 8ml/cmH2 O)。逼尿肌与括约肌协调组上尿路损害的发生率 (16 7% )明显低于逼尿肌与括约肌不协调组(5 2 1% )。结论 :逼尿肌压升高、膀胱顺应性下降、逼尿肌与括约肌不协调是上尿路损害的高危因素 。