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

软件学报 2025年 3531-3553页

作者：左正康刘增鑫柯雨含游珍王昌晶江西师范大学计算机信息工程学院网络化支撑软件国家国际科技合作基地(江西师范大学)

动态顺序统计树结构是一类融合了动态集合、顺序统计量以及搜索树结构特性的数据结构,支持高效的数据检索操作,广泛应用于数据库系统、内存管理和文件管理等领域.然而,当前工作侧重讨论结构不变性,如平衡性,而忽略了功能正确性的讨论.... 详细信息

动态顺序统计树结构是一类融合了动态集合、顺序统计量以及搜索树结构特性的数据结构,支持高效的数据检索操作,广泛应用于数据库系统、内存管理和文件管理等领域.然而,当前工作侧重讨论结构不变性,如平衡性,而忽略了功能正确性的讨论.且现有研究方法主要针对具体的算法程序进行手工推导或交互式机械化验证,缺乏成熟且可靠的通用验证模式,自动化水平较低.为此,设计动态顺序统计搜索树类结构的Isabelle函数式建模框架和自动化验证框架,构建经过验证的通用验证引理库,可以节省开发人员验证代码的时间和成本.基于函数式建模框架,选取不平衡的二叉搜索树、平衡的二叉搜索树(以红黑树为代表)和平衡的多叉搜索树(以2-3树为代表)作为实例化的案例来展示.借助自动验证框架,多个实例化案例可自动验证,仅需要使用归纳法并调用一次auto方法或使用try命令即可,为复杂数据结构算法功能和结构正确性的自动化验证提供了参考.

关键词：动态顺序统计树搜索树函数式建模自动化验证 Isabelle定理证明器

来源：评论

学校读者我要写书评

暂无评论

PC-ConvNeXt:基于ConvNeXt网络改进的水稻病害识别模型

引用

江西师范大学学报(自然科学版) 2025年

作者：王龙飞李毅曹丽萍曹利徐慧英杨乐朱信忠谢刚刘婷江西农业大学计算机科学与信息工程学院浙江师范大学计算机科学与技术学院贵州师范大学大数据与计算机科学学院

水稻病害的多样性和复杂性使得其准确识别成为一项艰巨的任务，尤其是在非理想环境下，诸如背景噪声和病害特征提取的困难等进一步加剧了这一挑战.为了应对这些问题，本研究提出了一种基于ConvNeXt网络的改进模型，即PC-ConvNeXt.该模... 详细信息

水稻病害的多样性和复杂性使得其准确识别成为一项艰巨的任务，尤其是在非理想环境下，诸如背景噪声和病害特征提取的困难等进一步加剧了这一挑战.为了应对这些问题，本研究提出了一种基于ConvNeXt网络的改进模型，即PC-ConvNeXt.该模型通过引入轻量级的金字塔切分注意力机制，有效地构建了一个多尺度特征融合模块，以更好地处理复杂背景下的噪声问题，以及整合了通道和空间注意力机制，对特征图进行精确校准，使模型能够更准确地突出显示图像中的病害区域.在数据增强方面，除采用传统的数据增强方法外，本研究还结合了扩散模型来合成病害叶片图像，为模型提供了包含健康和叶片病害图像及其对应病害类别标签的综合数据集.在8种水稻病害识别数据集上的测试结果显示， PC-ConvNeXt模型展现了优异的性能，准确率和平均精度分别为88.02%和95.44%，均达到了高水平标准，实验结果充分证明了PC-ConvNeXt模型在水稻病害识别任务中的有效性和优越性.与对比模型相比， PC-ConvNeXt在精度和性能方面的显著提升，展示了其在实际应用中的潜力和价值.

关键词：水稻病害注意力机制多尺度特征融合 PC-ConvNeXt模型

来源：评论

学校读者我要写书评

暂无评论

SCFformer：一种基于空间通道融合Transformer的抗JPEG压缩的二进制数据隐藏方法（英文）

引用

Frontiers of Information Technology & Electronic Engineering 2025年第5期 728-742页

作者：段新涛李春魏冰心吴国明秦川 Haewoon NAM 河南师范大学计算机与信息工程学院河南师范大学人工智能重点实验室汉阳大学电气与电子工程学院上海理工大学光电信息与计算机工程学院

为增强公共渠道传输过程中信息的安全性，图像常被用于二进制数据隐藏。由于采用联合图像专家组（JPEG）压缩，数据容易失真，恢复原始二进制数据面临挑战。本文提出一种开创性的二进制数据隐藏方法，利用一种结合了空间和通道注意力机... 详细信息

为增强公共渠道传输过程中信息的安全性，图像常被用于二进制数据隐藏。由于采用联合图像专家组（JPEG）压缩，数据容易失真，恢复原始二进制数据面临挑战。本文提出一种开创性的二进制数据隐藏方法，利用一种结合了空间和通道注意力机制的Transformer模型（称为SCFformer）抵抗JPEG压缩。该方法在隐藏阶段采用一种新颖的离散余弦变换（DCT）量化截断机制，以增强图像的抗JPEG压缩能力，并通过空间和通道注意力机制将数据隐藏到不易察觉的区域，增强模型对隐写分析的抵抗能力。在提取阶段，DCT量化机制最大限度减少压缩过程中秘密图像的丢失，从而更容易实现信息的提取。可扩展模块的整合增加了灵活性，允许可变容量的数据隐藏。实验结果证实所提方案具有高安全性、大容量和高灵活性，同时在JPEG压缩后的二进制数据恢复方面取得显著改进，展示了所提方法的有效性。

关键词：二进制数据隐藏抗JPEG压缩离散余弦变换量化 SCFformer

来源：评论

学校读者我要写书评

暂无评论

开源软件开发者价值评估体系及其实证研究

引用

计算机科学 2024年第12期51卷 87-99页

作者：游兰田明炎周烨陈智军王伟金红曾星崔海波湖北大学计算机与信息工程学院武汉430062 华东师范大学(普陀校区)数据科学与工程学院上海200062

如何科学客观地评估开源软件开发者的价值是开源领域面临的一个重要问题。现有研究方法存在评估指标较单一、指标权重难以确定等问题。针对这些问题,依据开源生态大数据分析,结合主客观评估方法,提出了一种多维度、多层次的开源软件开... 详细信息

如何科学客观地评估开源软件开发者的价值是开源领域面临的一个重要问题。现有研究方法存在评估指标较单一、指标权重难以确定等问题。针对这些问题,依据开源生态大数据分析,结合主客观评估方法,提出了一种多维度、多层次的开源软件开发者价值评估体系。综合考虑开发者在项目管理、编程、团队协作、学习、敬业度等方面的表现,通过5个一级指标、12个二级指标和7个三级指标,较全面和客观地评估开源软件开发者的能力和价值。采用Critic方法确定各维度指标的权重,解决了经验权重导致的准确性不高的问题。最后,采用Github 2020年全域开源生态数据,展开了多组实证研究,验证了开源社区开发者价值评估体系的有效性和可行性,为开源软件人才的培养、发现和管理提供了一种客观、科学且操作性较强的衡量方法。实验代码可从Github平台获取^(1))。

关键词：开源软件开发者价值评估指标体系指标权重实证研究分析

来源：评论

学校读者我要写书评

暂无评论

情景感知驱动的移动对象多模式轨迹预测技术综述

引用

软件学报 2023年第1期34卷 312-333页

作者：乔少杰吴凌淳韩楠黄发良毛睿元昌安 Louis Alberto GUTIERREZ 成都信息工程大学软件工程学院四川成都610225 成都信息工程大学管理学院四川成都610225 南宁师范大学计算机与信息工程学院广西南宁530100 深圳大学计算机与软件学院广东深圳518060 广西教育学院广西南宁530023 Department of Computer Science Rensselaer Polytechnic InstituteNew York 12180USA

如何利用多源异构时空数据进行准确的轨迹预测并且反映移动对象的移动特性是轨迹预测领域的核心问题.现有的大多数轨迹预测方法是长序列轨迹模式预测模型,根据历史轨迹的特点进行预测,或将当前移动对象的轨迹位置放入时空语义场景根据... 详细信息

如何利用多源异构时空数据进行准确的轨迹预测并且反映移动对象的移动特性是轨迹预测领域的核心问题.现有的大多数轨迹预测方法是长序列轨迹模式预测模型,根据历史轨迹的特点进行预测,或将当前移动对象的轨迹位置放入时空语义场景根据历史移动对象轨迹预测位置.综述当前常用的轨迹预测模型和算法,涉及不同的研究领域.首先,阐述了多模式轨迹预测的主流工作,轨迹预测的基本模型类;其次,对不同类的预测模型进行总结,包括数学统计类、机器学习类、滤波算法,以及上述领域具有代表性的算法;再次,对情景感知技术进行了介绍,描述了不同领域的学者对情景感知的定义,阐述了情景感知技术所包含的关键技术点,诸如情景感知计算、情景获取和情景推理的不同类模型,分析了情景感知的不同分类、过滤、存储和融合以及它们的实现方法等.详细介绍了情景感知驱动的轨迹预测模型技术路线及各阶段任务的工作原理.给出了情景感知技术在真实场景中的应用,包括位置推荐,兴趣点推荐等,通过与传统算法对比,分析情景感知技术在此类应用中的优劣.详细介绍了情景感知结合LSTM(long short-term memory)技术应用于行人轨迹预测领域的新方法.最后,总结了轨迹预测和情景感知研究的当前问题和未来发展趋势.

关键词：轨迹预测时空数据库移动数据库数据挖掘机器学习情景感知计算

来源：评论

学校读者我要写书评

暂无评论

命令式动态规划类算法程序推导及机械化验证

引用

软件学报 2024年第9期35卷 4218-4241页

作者：左正康孙欢王昌晶游珍黄箐王唱唱江西师范大学数字产业学院江西上饶334006 江西师范大学计算机信息工程学院江西南昌330022 网络化支撑软件国家国际科技合作基地(江西师范大学) 江西南昌330022

动态规划是一种递归求解问题最优解的方法,主要通过求解子问题的解并组合这些解来求解原问题.由于其子问题之间存在大量依赖关系和约束条件,所以验证过程繁琐,尤其对命令式动态规划类算法程序正确性验证是一个难点.基于动态规划类算法Is... 详细信息

动态规划是一种递归求解问题最优解的方法,主要通过求解子问题的解并组合这些解来求解原问题.由于其子问题之间存在大量依赖关系和约束条件,所以验证过程繁琐,尤其对命令式动态规划类算法程序正确性验证是一个难点.基于动态规划类算法Isabelle/HOL函数式建模与验证,通过证明命令式动态规划类算法程序与其的等价性,避免证明正确性时处理复杂的依赖关系和约束条件,提出命令式动态规划类算法程序设计框架及其机械化验证.首先,根据动态规划类算法的优化方法(备忘录方法)和性质(最优子结构性质和子问题重叠性质)描述问题规约、归纳递推关系式和形式化构造出循环不变式,并且基于递推关系式生成IMP(minimalistic imperative programming language)代码;其次,将问题规约、循环不变式和生成的IMP代码输入VCG(verification condition generator),自动生成正确性的验证条件;然后,在Isabelle/HOL定理证明器中对验证条件进行机械化验证.算法首先设计为命令式动态规划类算法的一般形式,并进一步实例化得到具体算法.最后,例证所提框架的有效性,为动态规划类算法的自动化推导和验证提供参考价值.

关键词： Isabelle/HOL 机械化验证动态规划命令式 VCG

来源：评论

学校读者我要写书评

暂无评论

抢占式调度问题的PPTA模型与验证方法

引用

软件学报 2024年第10期35卷 4533-4554页

作者：左正康赵帅王昌晶谢武平黄箐江西师范大学数字产业学院江西上饶334006 江西师范大学计算机信息工程学院江西南昌330022 江西师范大学网络化支撑软件国家科技合作基地江西南昌330022

优先级用于解决诸如在资源共享和安全设计等方面的冲突,已经成为实时系统设计中不可或缺的一部分.对于引入优先级的实时系统,每个任务都会被分配优先级,这就导致低优先级的任务在运行时可能会被高优先级的任务抢占资源,进而给实时系统... 详细信息

优先级用于解决诸如在资源共享和安全设计等方面的冲突,已经成为实时系统设计中不可或缺的一部分.对于引入优先级的实时系统,每个任务都会被分配优先级,这就导致低优先级的任务在运行时可能会被高优先级的任务抢占资源,进而给实时系统带来抢占式调度问题.现有研究,缺乏一种可以直观表示任务的优先级以及任务之间的依赖关系的建模及自动验证方法.为此,提出抢占式优先级时间自动机(PPTA)并引入抢占式优先级时间自动机网络(PPTAN).首先,通过在时间自动机上添加变迁的优先级来表示任务的优先级,再利用变迁将具有依赖关系的任务相关联,从而可以利用PPTA建模带有优先级的实时任务.在时间自动机上添加阻塞位置,进而利用PPTAN建模优先级抢占式调度问题.其次,提出基于模型的转换方法,将抢占式优先级时间自动机映射到自动验证工具UPPAAL中.最后,通过建模多核多任务实时系统实例并与其他模型进行对比,说明所提模型不仅适用于建模优先级抢占式调度问题并可对其进行准确验证分析.

关键词：优先级抢占式调度抢占式优先级时间自动机多核多任务实时系统 UPPAAL

来源：评论

学校读者我要写书评

暂无评论

高校招生智慧问答模型——AI技术助力效率提升,引领高校招生革新

引用

计算机科学与应用 2024年第5期14卷 239-243页

作者：王子赫闫雪品陈曦李洋哈尔滨师范大学计算机科学与信息工程学院黑龙江哈尔滨

高校招生智慧问答模型是一个应用性研究项目,模型的开发和应用是在满足招生信息需求、提高招生效率和用户体验、应对人力资源压力等多重因素的推动下进行的。模型使用AI技术构建,通过利用深度学习框架、模型迭代训练等技术实现智能响应... 详细信息

高校招生智慧问答模型是一个应用性研究项目,模型的开发和应用是在满足招生信息需求、提高招生效率和用户体验、应对人力资源压力等多重因素的推动下进行的。模型使用AI技术构建,通过利用深度学习框架、模型迭代训练等技术实现智能响应、即时问答的项目功能。在此基础上保证了跨平台、零安装、用户界面一致性,提升用户使用体验。同时,模型的维护和更新操作简单,易于扩展和集成。提供综合全面、便捷明晰的回答和推理建议,有助于改善招生过程的效率和用户体验,促进高校与学生之间的有效沟通和交流。

关键词：高校招生 AI技术深度学习迭代训练

来源：评论

学校读者我要写书评

暂无评论

基于FPGA的LFM雷达系统的多目标检测实现

引用

计算机科学与应用 2024年第1期14卷 7-14页

作者：刘洪帅刘影张美娜杜军刘洪帅哈尔滨师范大学计算机科学与信息工程学院黑龙江哈尔滨

通过硬件设计和信号处理算法的有效结合,利用FPGA实现频域上的脉冲压缩,根据实际需求设计雷达参数,实现对多目标的检测。与传统的电路作比较,FPGA在信号处理和复杂算法加速等方面的优势,在高速的同时也解决了灵活性不足的问题。对线性... 详细信息

通过硬件设计和信号处理算法的有效结合,利用FPGA实现频域上的脉冲压缩,根据实际需求设计雷达参数,实现对多目标的检测。与传统的电路作比较,FPGA在信号处理和复杂算法加速等方面的优势,在高速的同时也解决了灵活性不足的问题。对线性调频信号以及脉冲压缩基本原理的研究,通过使用MATLAB产生回波信号,将其传输到设计好的FPGA电路中,最后将处理后的数据传回MATLAB画出距离–速度二维图,与仿真结果进行对比。实验结果验证了FPGA实现的频域匹配滤波能够拥有较好的测距和测速能力,硬件加速在提高雷达系统性能方面有出色的性能和广泛的应用前景。

关键词： FPGA LFM信号 MATLAB 脉冲压缩多目标检测

来源：评论

学校读者我要写书评

暂无评论

基于预训练模型自适应匹配的视觉故事生成算法

引用

中文信息学报 2024年第5期38卷 155-166页

作者：宁铭江爱文崔朝阳刘长红王明文江西师范大学计算机信息工程学院江西南昌330022 江西师范大学数字产业学院江西上饶334000

视觉故事生成任务是为一组图像序列生成具有表现力和连贯性的、能准确描述所涉及视觉内容的语句段落,是当前计算机视觉和自然语言处理交叉领域中一个有趣而又快速发展的多模态研究方向。随着预训练模型在各种下游任务的成功,基于预训练... 详细信息

视觉故事生成任务是为一组图像序列生成具有表现力和连贯性的、能准确描述所涉及视觉内容的语句段落,是当前计算机视觉和自然语言处理交叉领域中一个有趣而又快速发展的多模态研究方向。随着预训练模型在各种下游任务的成功,基于预训练模型的视觉故事生成算法也被广泛研究。但因为数据模态的差异和语义鸿沟的存在,预训练模型在微调学习过程中会产生灾难性遗忘问题。如何协调视觉和语言两种模态数据的预训练模型,是当前多模态预训练模型研究的主要目标之一。该文提出基于预训练模型自适应匹配的视觉故事生成算法,一方面综合挖掘图像流的视觉、关系、序列等多样化互补信息,弥补语义差异;同时,另一方面用适应性损失对图文两种模态数据进行特征对齐,以及对图像流数据进行连续信息对齐,取得了较好的效果。算法在目前已公开的视觉故事生成数据集(VIST)上与近年的先进算法进行实验比较。评测结果表明,该文算法在生成故事的图文相关性、文本多样性、内容逻辑连贯性等指标上取得了具有竞争力的结果。

关键词：视觉故事适应匹配损失预训练模型多模态特征图像序列

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：