检索结果-内蒙古大学图书馆

运动-休闲 2024年第5期 94-96页

作者：王林章济南市章丘区高官寨学区学校山东济南 250209

在初中体育课堂中,学生的身体素质、运动能力和兴趣爱好存在显著的个体差异.这种差异不仅源于学生的先天条件,还受到后天环境、教育经历等多种因素的影响.为了更好地满足学生的学习需求,提高体育课堂的教学效果,分层教学法逐渐受到广大... 详细信息

在初中体育课堂中,学生的身体素质、运动能力和兴趣爱好存在显著的个体差异.这种差异不仅源于学生的先天条件,还受到后天环境、教育经历等多种因素的影响.为了更好地满足学生的学习需求,提高体育课堂的教学效果,分层教学法逐渐受到广大体育教师的关注和应用.文章从分层教学法的特点及作用出发,重点提供了分层设定目标、分层开展活动、分层设计内容和分层进行评价四个方面的具体措施.以期能够提高教学效果,促进学生的全面发展.

关键词：分层教学法初中体育因材施教

来源：评论

学校读者我要写书评

暂无评论

智能合约安全漏洞检测研究进展

引用

软件学报 2024年第5期35卷 2235-2267页

作者：崔展齐杨慧文陈翔王林章北京信息科技大学计算机学院北京100101 南通大学信息科学技术学院江苏南通226019 计算机软件新技术全国重点实验室(南京大学) 江苏南京210023

智能合约是运行在区块链合约层的计算机程序,能够管理区块链上的加密数字货币和数据,实现多样化的业务逻辑,扩展了区块链的应用.由于智能合约中通常涉及大量资产,吸引了大量攻击者试图利用其中的安全漏洞获得经济利益.近年来,随着多起... 详细信息

智能合约是运行在区块链合约层的计算机程序,能够管理区块链上的加密数字货币和数据,实现多样化的业务逻辑,扩展了区块链的应用.由于智能合约中通常涉及大量资产,吸引了大量攻击者试图利用其中的安全漏洞获得经济利益.近年来,随着多起智能合约安全事件的发生(例如TheDAO、Parity安全事件等),针对智能合约的安全漏洞检测技术成为国内外研究热点.提出智能合约安全漏洞检测的研究框架,分别从漏洞发现与识别、漏洞分析与检测、数据集与评价指标这3个方面分析现有检测方法研究进展.首先,梳理安全漏洞信息收集的基本流程,将已知漏洞根据基础特征归纳为13种漏洞类型并提出智能合约安全漏洞分类框架;然后,按照符号执行、模糊测试、机器学习、形式化验证和静态分析5类检测技术对现有研究进行分析,并讨论各类技术的优势及局限性;第三,整理常用的数据集和评价指标;最后,对智能合约安全漏洞检测的未来研究方向提出展望.

关键词：区块链智能合约安全漏洞漏洞检测

来源：评论

学校读者我要写书评

暂无评论

支持即时构造与动态演化的两段式软件自动构造技术及应用

引用

中国科技成果 2025年第8期26卷 F0002-F0002,I0001页

作者：无郑伟波王林章戴文斌周祥国卜磊浪潮通用软件有限公司南京大学上海交通大学不详山东省复杂网络软件自动构造技术重点实验室山东大学人工智能学院开放原子开源基金会技术监督委员会中国计算机学会(CCF)开源发展委员会

当前,我国智能制造领域软件需求量大,企业需求快速变化与软件供给能力不足之间的矛盾日趋严重,严重制约智能制造产业发展.本项目着眼于软件定义的未来制造,以解决传统软件开发模式无法满足智能制造系统快速应对需求或环境变化的问题为目... 详细信息

当前,我国智能制造领域软件需求量大,企业需求快速变化与软件供给能力不足之间的矛盾日趋严重,严重制约智能制造产业发展.本项目着眼于软件定义的未来制造,以解决传统软件开发模式无法满足智能制造系统快速应对需求或环境变化的问题为目标,针对智能制造广义离散随机系统的不确定性、大规模交互式程序网络的自适应、形式化方法的状态空间爆炸等关键科学问题,开展了软件自动构造相关技术的研究.

关键词：需求快速变化软件自动构造智能制造

来源：评论

学校读者我要写书评

暂无评论

一种经验库制导的浮点程序优化加速策略

引用

计算机学报 2022年第9期45卷 2014-2028页

作者：肖安祥张硕骁汤恩义陈鑫王林章南京大学计算机软件新技术国家重点实验室南京210023 南京大学软件学院南京210093

为了保障数值程序的准确与高效,浮点程序自动优化成为了近年来学术界关注的一项新兴技术.该技术的核心思想是将经典的数值分析理论总结成程序转换规则,并利用规则将浮点程序以计算过程更为稳定的算法进行自动重写,从而使数值程序稳定高... 详细信息

为了保障数值程序的准确与高效,浮点程序自动优化成为了近年来学术界关注的一项新兴技术.该技术的核心思想是将经典的数值分析理论总结成程序转换规则,并利用规则将浮点程序以计算过程更为稳定的算法进行自动重写,从而使数值程序稳定高效且易于维护.然而,现有浮点程序自动优化方法的优化效率是其主要瓶颈.随着越来越多的数值程序转换规则被发现与总结,自动优化框架的规则库会越来越大,传统优化方法在规则库中遍历所有优化规则的过程也变得越来越困难.本文提出了一种经验库制导的浮点程序优化加速策略,该策略基于浮点误差成因的相似性原理,将已成功优化浮点程序对应的符号与结构特征抽取出来,并以散列的方式将优化该程序涉及到的规则序列保存在一个优化经验库中.当新的浮点数值程序需要进行自动优化时,本文算法首先计算其符号结构特征与经验库中各记录的相似度.符号结构相似度较高的记录所对应的规则序列会被优先用于浮点程序重写,从而得到优化程序.随着优化程序的增多,经验库的规模会逐渐增大,经验库的散列化分区存储设计保证了其检索与匹配效率.在浮点程序优化基准用例集FPBench和开源物理引擎OpenRelativity上的实验表明,在优化后浮点程序精度与传统方法类似的前提下,本文的加速策略能使平均优化速度相对于传统浮点程序优化方法提升6.04倍,显著提高了浮点数值程序自动优化技术的可用性.

关键词：加速策略程序优化浮点数值程序经验库

来源：评论

学校读者我要写书评

暂无评论

物联网固件安全缺陷检测研究进展

引用

信息安全学报 2021年第3期6卷 141-158页

作者：张弛司徒凌云王林章计算机软件新技术国家重点实验室(南京大学) 南京210023 南京大学计算机科学与技术系南京210023

固件是物联网设备的基础使能软件,其中存在的安全缺陷是物联网设备遭受攻击的根本原因之一。由于物联网设备资源受限,难以部署完善的安全防护机制,身处不安全的网络环境中,其固件缺陷一旦被恶意利用,轻则使设备宕机,重则威胁安全攸关领... 详细信息

固件是物联网设备的基础使能软件,其中存在的安全缺陷是物联网设备遭受攻击的根本原因之一。由于物联网设备资源受限,难以部署完善的安全防护机制,身处不安全的网络环境中,其固件缺陷一旦被恶意利用,轻则使设备宕机,重则威胁安全攸关领域基础设施,造成巨大的生命财产损失。因此,有效的固件安全缺陷检测已然成为保障物联网设备安全的关键,也成为学术界和工业界研究的热点。面对物联网设备数量的高速增长、固件自身规模和复杂性的不断攀升、固件类型的日益多样化、固件缺陷的持续增多,现有的物联网固件安全缺陷检测研究面临挑战。本文归纳了典型物联网固件实现缺陷类型,分析了典型缺陷产生机理,从静态分析、符号执行、模糊测试、程序验证、基于机器学习的方法等角度综述了现有固件缺陷检测方法。通过对不同方法优势与不足的分析,为进一步提升固件安全缺陷检测方法的智能化、精准化、自动化、有效性、可扩展性提供指导。在此基础上,本文展望了未来可以开展的研究工作。

关键词：物联网设备实时操作系统固件安全缺陷检测

来源：评论

学校读者我要写书评

暂无评论

扬声器音量控制方法、装置、车载语音通话系统及介质

扬声器音量控制方法、装置、车载语音通话系统及介质

引用

作者：宋其岩王林章 100085 北京市海淀区西二旗中路33号院6号楼8层018号

本公开是关于一种扬声器音量控制方法、装置、车载语音通话系统及介质。扬声器音量控制方法包括：获取多个麦克风采集的车舱内的多个环境声信号，对每个环境声信号基于用户语音信号进行语音端点检测，从每个环境声信号中分离出用户语音...

标准号: CN118433612A

本公开是关于一种扬声器音量控制方法、装置、车载语音通话系统及介质。扬声器音量控制方法包括：获取多个麦克风采集的车舱内的多个环境声信号，对每个环境声信号基于用户语音信号进行语音端点检测，从每个环境声信号中分离出用户语音信号和环境噪声信号，基于每个环境声信号中分离出的用户语音信号和环境噪声信号，获得每个环境声信号的噪声功率信息，基于多个噪声功率信息中的至少部分噪声功率信息，确定扬声器的播放音量。本公开中的方法能够实现智能调节扬声器音量，根据环境噪声的大小自动调整扬声器播放的音量大小，无需用户手动调整音量，有利于提高驾驶安全性和乘坐舒适度，提高用户的使用体验。

关键词：

来源：评论

学校读者我要写书评

暂无评论

基于深度学习的混合模糊测试方法

引用

软件学报 2021年第4期32卷 988-1005页

作者：高凤娟王豫司徒凌云王林章计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 南京大学信息管理学院江苏南京210023

随着软件技术的快速发展,面向领域的软件系统在广泛使用的同时带来了研究与应用上的新挑战.由于领域应用对安全性、可靠性有着很高的要求,而符号执行和模糊测试等技术在保障软件系统的安全性、可靠性方面已经发展了数十年,许多研究和被... 详细信息

随着软件技术的快速发展,面向领域的软件系统在广泛使用的同时带来了研究与应用上的新挑战.由于领域应用对安全性、可靠性有着很高的要求,而符号执行和模糊测试等技术在保障软件系统的安全性、可靠性方面已经发展了数十年,许多研究和被发现的缺陷表明了它们的有效性.但是,由于两者的优劣各有不同,将这两者相结合仍是近期热门研究的话题.目前的结合方法在于两者相互协助,例如,模糊测试不可达的区域交给符号执行求解.但是,这些方法只能在模糊测试(或符号执行)运行时判定是否应该借助符号执行(或模糊测试),无法同时利用这两者的优势,从而导致性能不足.基于此,提出基于深度学习,将基于符号执行的测试与模糊测试相结合的混合测试方法.该方法旨在测试开始之前就判断适合模糊测试(或符号执行)的路径集,从而制导模糊测试(或符号执行)到达适合它们的区域.同时,还提出混合机制实现两者之间的交互,从而进一步提升整体的覆盖率.基于LAVA-M中程序的实验结果表明,所提方法相对于单独符号执行或模糊测试,能够提升20%+的分支覆盖率,增加约1~13倍的路径数目,多检测出929个缺陷.

关键词：软件测试深度学习路径表示符号执行模糊测试混合测试

来源：评论

学校读者我要写书评

暂无评论

音频信号的处理方法及装置、存储介质

音频信号的处理方法及装置、存储介质

引用

作者：何梦楠王林章 100085 北京市海淀区清河朱房路临66号C栋C单元

本公开是关于一种音频信号的处理方法及装置、存储介质。该方法包括：获取待处理的带噪音频功率谱和噪声功率谱;根据带噪音频功率谱在各频点的功率特征，确定第一噪声分量;其中，第一噪声分量为带噪音频功率谱与噪声功率谱中均包含的稳...

标准号: CN111968662B

本公开是关于一种音频信号的处理方法及装置、存储介质。该方法包括：获取待处理的带噪音频功率谱和噪声功率谱;根据带噪音频功率谱在各频点的功率特征，确定第一噪声分量;其中，第一噪声分量为带噪音频功率谱与噪声功率谱中均包含的稳态噪声分量;将带噪音频功率谱减去第一噪声分量，得到带噪音频分量;将噪声功率谱减去第一噪声分量，得到第二噪声分量;根据带噪音频分量与第二噪声分量，确定频域估计信号;基于频域估计信号进行时频转换，得到降噪音频信号。通过本公开实施例的技术方案，对带噪音频功率谱于噪声功率谱去除共有的稳态噪声分量，再对音频信号进行降噪处理，能够减少稳态噪声带来的处理偏差，从而提升降噪效果。

关键词：

来源：评论

学校读者我要写书评

暂无评论

基于反例训练的图神经网络程序缺陷预测方法

基于反例训练的图神经网络程序缺陷预测方法

引用

作者：王豫徐平良王林章 210023 江苏省南京市栖霞区仙林大道163号

本发明公开一种基于反例训练的图神经网络程序缺陷预测方法，该方法针对一个程序性质预测任务，首先收集与程序性质相关的原始数据集，将其中的程序源代码转换成图抽象表示，得到实验数据集，然后基于所述实验数据集训练图神经网络模型... 详细信息

标准号: CN117669658A

本发明公开一种基于反例训练的图神经网络程序缺陷预测方法，该方法针对一个程序性质预测任务，首先收集与程序性质相关的原始数据集，将其中的程序源代码转换成图抽象表示，得到实验数据集，然后基于所述实验数据集训练图神经网络模型，随后根据模型无法预测正确的数据样本生成反例样本进一步训练图神经网络模型，最后借助训练出的模型进行程序缺陷预测；其中，本发明所提出的图神经网络模型采用的是门控图神经网络(GGNN)，它的输入是程序源代码转换后的图抽象表示，转换方式是首先构造程序的语句级控制流图，此时每个基本块就是一条语句，再将每条语句通过抽象语法树表示。

关键词：神经网络模型语句程序源代码实验数据集程序性质抽象表示训练图预测神经网络程序抽象语法树原始数据集程序缺陷反例样本构造程序控制流图缺陷预测神经网络数据样本转换方式基本块转换门控

来源：评论

学校读者我要写书评

暂无评论

基于仿真环境的车载蓝牙软件协议栈模糊测试方法

基于仿真环境的车载蓝牙软件协议栈模糊测试方法

引用

作者：王豫徐安孜王林章 210000 江苏省南京市栖霞区仙林大道163号

本发明公开一种基于仿真环境的车载蓝牙软件协议栈模糊测试方法，该方法包括：获取蓝牙协议规范文档，从中自动提取出蓝牙协议数据包格式信息，构建蓝牙协议数据规约模型；获取被测蓝牙软件协议栈二进制代码，构建运行所需的仿真环境，... 详细信息

标准号: CN118233947A

本发明公开一种基于仿真环境的车载蓝牙软件协议栈模糊测试方法，该方法包括：获取蓝牙协议规范文档，从中自动提取出蓝牙协议数据包格式信息，构建蓝牙协议数据规约模型；获取被测蓝牙软件协议栈二进制代码，构建运行所需的仿真环境，基于仿真环境，通过动态污点分析，得到被测蓝牙协议栈所接收的数据包类型；结合上述步骤构建的蓝牙协议数据规约模型与提取的被测蓝牙协议栈特征信息，以数据包的“请求‑应答对”作为反馈信息，同时利用动态污点追踪发掘其中的数据包关联信息，制导生成符合条件的数据包序列并执行。本发明通过动态污点追踪提取被测试蓝牙软件协议栈特征信息提升测试效率，同时通过构建仿真测试环境实现摆脱硬件依赖的模糊测试。

关键词：蓝牙协议仿真环境污点构建规约蓝牙协议栈蓝牙软件模糊测试特征信息数据包协议栈追踪仿真测试环境二进制代码软件协议栈数据包格式数据包类型数据包序列步骤构建测试效率车载蓝牙反馈信息符合条件关联信息硬件依赖自动提取文档应答制导测试分析

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：