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

农业机械学报 2025年第5期56卷 433-442页

作者：夏天谢纯李琳一陆声链钱婷婷上海第二工业大学计算机与信息工程学院上海市农业科学院农业科技信息研究所上海数字农业工程技术研究中心广西师范大学计算机科学与工程学院农业农村部长三角智慧农业技术重点实验室

黄瓜果实的检测与分割对于表型分析和黄瓜生长管理至关重要。然而，在复杂温室环境下，果实往往与茎叶相互遮挡，且果实与背景颜色相似，导致传统方法在复杂环境下难以准确识别果实边界并实现高效分割。为此，提出了一种基于改进YOLO v... 详细信息

黄瓜果实的检测与分割对于表型分析和黄瓜生长管理至关重要。然而，在复杂温室环境下，果实往往与茎叶相互遮挡，且果实与背景颜色相似，导致传统方法在复杂环境下难以准确识别果实边界并实现高效分割。为此，提出了一种基于改进YOLO v8的黄瓜果实分割方法。该方法引入可变形卷积(Deformable convolution network v4,DCNv4)增强模型空间适应性；同时采用RepNCSPELAN4模块串联额外的C2F模块，细化特征提取与融合；从而提升了模型在复杂温室环境下对黄瓜果实图像的分割性能。实验结果显示，在玻璃温室和塑料连栋大棚两个实验场景中的多个类别上均有出色表现。其中，在玻璃温室场景中的精确率为96.3%,召回率为93.1%,平均精度均值mAP50为96.2%,mAP50-95为85.3%;在塑料大棚场景中的精确率为86.8%,召回率为81.9%,平均精度均值mAP50为90.0%,mAP50-95为77.0%。本研究提出的改进方法在处理边界、多重遮挡和多尺度分割方面具有更强的鲁棒性和泛化性，使模型能适应复杂性不同的多样化种植环境而准确分割黄瓜果实。精确的果实图像分割有助于表型参数的获取，为黄瓜果实的表型分析提供了可靠的技术支持，从而促进农业表型机器人的应用。

关键词：黄瓜果实遮挡设施温室图像分割 YOLO v8 可变形卷积

来源：评论

学校读者我要写书评

暂无评论

新工科背景下高校计算机专业融合学科竞赛的实践教学模式探索

引用

阜阳师范大学学报(自然科学版) 2025年第1期42卷 109-114页

作者：刘冬冬王秀友李振杰侯大有牛磊王慧玲阜阳师范大学计算机与信息工程学院

随着新工科背景下高校计算机专业的发展，融合学科竞赛成为一种重要的实践教学方式。论文以阜阳师范大学为例，旨在探索融合学科竞赛在高校计算机专业中的实践教学模式，提高学生的创新能力。通过本文的研究，可以为高校计算机专业的实... 详细信息

随着新工科背景下高校计算机专业的发展，融合学科竞赛成为一种重要的实践教学方式。论文以阜阳师范大学为例，旨在探索融合学科竞赛在高校计算机专业中的实践教学模式，提高学生的创新能力。通过本文的研究，可以为高校计算机专业的实践教学提供借鉴和参考。

关键词：新工科学科竞赛实践教学以赛促学

来源：评论

学校读者我要写书评

暂无评论

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

引用

软件学报 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

来源：评论

学校读者我要写书评

暂无评论

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

引用

软件学报 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)技术应用于行人轨迹预测领域的新方法.最后,总结了轨迹预测和情景感知研究的当前问题和未来发展趋势.

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

来源：评论

学校读者我要写书评

暂无评论

抢占式调度问题的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 脉冲压缩多目标检测

来源：评论

学校读者我要写书评

暂无评论

FE-AKT：特征增强的注意力知识追踪模型

引用

微电子学与计算机 2025年

作者：王敏吴千喜季伟东哈尔滨师范大学计算机科学与信息工程学院哈尔滨师范大学未来教师教学与发展智能实验室

知识追踪在智能教学过程中发挥着关键作用，根据学习者过去的做题序列建模其知识状态随时间的变化，并预测未来的学习表现。尽管现有的知识追踪方法，尤其是基于Transformer结构的模型取得了显著的预测效果，但大多数方法仅依赖答题结... 详细信息

知识追踪在智能教学过程中发挥着关键作用，根据学习者过去的做题序列建模其知识状态随时间的变化，并预测未来的学习表现。尽管现有的知识追踪方法，尤其是基于Transformer结构的模型取得了显著的预测效果，但大多数方法仅依赖答题结果进行建模，忽略了做题过程中更多的特征信息，尤其是与学习者能力相关的特征，也没有考虑原始特征在模型预测过程中的损失。针对以上问题，本文提出了一种基于特征增强的注意力知识追踪模型(Feature-Enhanced Attentive Knowledge Tracing)。模型首先引入学习者的做题时间等特征构建能力特征，为注意力知识追踪提供更多的特征表示，然后将能力相似的学习者聚类至同一分组加入模型训练中。此外，在模型的训练过程中，通过重复输入习题特征，将习题嵌入与问答嵌入融合，以增强学习者特征的表示并减少数据丢失。在真实在线教育数据集上进行的对比实验结果表明，与经典模型以及近几年最先进的模型相比，所提模型的表现预测性能明显提升，并且具有较好的可解释性。

关键词：知识追踪特征增强注意力机制表现预测

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

轴承在线早期故障检测的无监督张量深度迁移学习方法

引用

控制与决策 2024年第3期39卷 867-876页

作者：毛文涛施华东张艳娜仲志丹河南师范大学计算机与信息工程学院河南新乡453007 河南科技大学机电工程学院河南洛阳471000 智慧商务与物联网技术河南省工程实验室河南新乡453007

基于张量分解可有效挖掘信号高维本质信息的优点,提出一种无监督张量深度迁移学习方法.首先,构建基于张量表示的深度多任务异常检测模型,利用核心张量构建单分类异常检测规则表示,并建立超球规则适配机制,交替优化张量分解和域无关特征... 详细信息

基于张量分解可有效挖掘信号高维本质信息的优点,提出一种无监督张量深度迁移学习方法.首先,构建基于张量表示的深度多任务异常检测模型,利用核心张量构建单分类异常检测规则表示,并建立超球规则适配机制,交替优化张量分解和域无关特征提取,以实现异常检测规则在离线轴承和在线目标轴承间的有效传递,完成在线无标记数据的异常检测;其次,提出一个基于异常概率贯序累积的非参数报警阈值设定方法,可在仅设定误报警率置信度的条件下自适应选择在线阈值,并给出该阈值合理性的理论分析.在IEEE PHM Challenge 2012轴承数据集上进行实验,结果表明,所提出方法可获得更好的检测实时性和更低的误报警数,为早期故障检测提供一种具有易部署性和鲁棒性的解决方案.

关键词：早期故障检测深度学习迁移学习异常检测滚动轴承

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：