检索结果-维普期刊中文期刊服务平台

基于L1-APG的红外与可见光目标实时融合跟踪被引量：2: 1; 作者马海菲张灿龙李志欣《计算机工程》 CAS CSCD 北大核心 2017年第7期274-280,287,共8页; 针对复杂背景下采用单个传感器跟踪性能差的问题,提出一种基于稀疏表示和L1-APG的红外可见目标融合跟踪算法。对红外与可见光目标分别进行稀疏表示,并以它们的联合重构误差最小为目标构建最优化问题,采用L1-APG算法求解该优化问题,运用... 展开更多; 关键词融合跟踪红外-可见光目标稀疏表示 1范数加速近邻梯度粒子滤波; 在线阅读下载PDF 职称材料

利用Shuffle Transformer的U-Net网络结构模型提取红树林遥感图像信息: 2; 作者杨春月王修信《桂林理工大学学报》 2025年第3期355-363,共9页; 针对遥感影像中红树林和其他地物易混淆使得传统的卷积神经网络存在提取精度低、性能差的缺点,改进Transformer结构,并结合U-Net网络结构的对称性构建了一种基于Shuffle Transformer的ST-UNet网络模型,提取了遥感影像中的红树林信息。... 展开更多; 关键词红树林遥感图像深度学习 Transformer 自我注意力信息提取; 在线阅读下载PDF 职称材料

基于人机交互的计算机辅助软件需求分析工具的研发被引量：4: 3; 作者何正海李智《计算机科学》 CSCD 北大核心 2015年第12期181-183,194,共4页; 软件需求工程在软件开发项目中起着至关重要的作用,而需求分析活动的主角是人,因此计算机辅助需求分析工具的设计要做到以用户为中心,即以人为本。本原型作品在已有的面向问题的计算机辅助软件需求工程(Computer-Aided Requirements Eng... 展开更多; 关键词人机交互问题框架以用户为中心的设计; 在线阅读下载PDF 职称材料

问题框架中问题领域因果行为的形式化验证被引量：1: 4; 作者朱利鲁李智《计算机科学》 CSCD 北大核心 2015年第12期136-142,156,共8页; 为问题框架中问题渐变所依赖的问题领域因果行为的确立提出一种形式化验证方法。为了对问题渐变过程中事件间的因果关系提供可验证的证据支持,简化问题表征的复杂度,进而提高计算机领域软件规约的可靠性,采纳了一种基于NuSMV语言的符号... 展开更多; 关键词问题框架关键问题领域因果行为符号模型检验可达性; 在线阅读下载PDF 职称材料

题名基于L1-APG的红外与可见光目标实时融合跟踪被引量：2: 1; 作者马海菲张灿龙李志欣; 机构广西师范大学广西区域多源信息集成与智能处理协同创新中心桂林电子科技大学广西信息科学实验中心; 出处《计算机工程》 CAS CSCD 北大核心 2017年第7期274-280,287,共8页; 基金国家自然科学基金(61365009 61462008 +3 种基金 61663004) 2013GXNSFAA019336 2016GXNSFAA380146); 文摘针对复杂背景下采用单个传感器跟踪性能差的问题,提出一种基于稀疏表示和L1-APG的红外可见目标融合跟踪算法。对红外与可见光目标分别进行稀疏表示,并以它们的联合重构误差最小为目标构建最优化问题,采用L1-APG算法求解该优化问题,运用最小误差边界约束条件降低算法的计算复杂度,并实现红外与可见光目标模板的动态更新。测试结果表明,该融合跟踪算法在处理目标遮挡、目标旋转移动、目标交叉和夜间光照不均等方面要优于传统的单源跟踪方法。; 关键词融合跟踪红外-可见光目标稀疏表示 1范数加速近邻梯度粒子滤波; Keywords fusion tracking infrared-visible light target sparse representation L1-Accelerated Proximal Gradient（L1-APG） particle filtering; 分类号 TP391.41 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名利用Shuffle Transformer的U-Net网络结构模型提取红树林遥感图像信息: 2; 作者杨春月王修信; 机构广西师范大学广西多源信息挖掘与安全重点实验室; 出处《桂林理工大学学报》 2025年第3期355-363,共9页; 基金国家自然科学基金项目(41561008) 广西多源信息挖掘与安全重点实验室系统性研究课题(20-A-02-01)。; 文摘针对遥感影像中红树林和其他地物易混淆使得传统的卷积神经网络存在提取精度低、性能差的缺点,改进Transformer结构,并结合U-Net网络结构的对称性构建了一种基于Shuffle Transformer的ST-UNet网络模型,提取了遥感影像中的红树林信息。实验结果表明:ST-UNet网络模型的精度达到97.33%,比U-Net网络提高了1.07百分点;在联合交并集、召回率以及Kappa系数上分别比U-Net网络提高了5.27、3.96、8.62百分点;且该模型与ATT-UNet、TransUNet、SwinUNet模型相比,各项评价指标均有提高且提取红树林信息的结果精准,可有效地提取遥感图像中红树林信息。; 关键词红树林遥感图像深度学习 Transformer 自我注意力信息提取; Keywords mangrove remote sensing image deep learning Transformer self attention information extraction; 分类号 TP751 [自动化与计算机技术]; 在线阅读下载PDF 职称材料

题名基于人机交互的计算机辅助软件需求分析工具的研发被引量：4: 3; 作者何正海李智; 机构广西师范大学广西多源信息挖掘与安全重点实验室广西师范大学广西区域多源信息集成与智能处理协同创新中心; 出处《计算机科学》 CSCD 北大核心 2015年第12期181-183,194,共4页; 基金国家自然科学基金(61262004 61262005) +4 种基金 "八桂学者"工程专项经费资助; 文摘软件需求工程在软件开发项目中起着至关重要的作用,而需求分析活动的主角是人,因此计算机辅助需求分析工具的设计要做到以用户为中心,即以人为本。本原型作品在已有的面向问题的计算机辅助软件需求工程(Computer-Aided Requirements Engineering,CARE)工具的基础上,进一步在支持的平台及易用性等方面进行了扩展。选择安卓平台来开发此工具,理由是移动端应用软件相较于PC端具有一些优势(功能多样性、便捷性等)以及安卓的开源性质,它能够为提高软件质量以及用户体验带来新的技术支持。此外,还具体展示并介绍了该工具是如何基于人机交互的理论模型及设计原则设计的。; 关键词人机交互问题框架以用户为中心的设计; Keywords Human-computer interaction, Problem frames, User-centered design; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名问题框架中问题领域因果行为的形式化验证被引量：1: 4; 作者朱利鲁李智; 机构广西师范大学广西多源信息挖掘与安全重点实验室广西师范大学广西区域多源信息集成与智能处理协同创新中心; 出处《计算机科学》 CSCD 北大核心 2015年第12期136-142,156,共8页; 基金国家自然科学基金(61262004 61262005) +4 种基金 "八桂学者"工程专项经费资助; 文摘为问题框架中问题渐变所依赖的问题领域因果行为的确立提出一种形式化验证方法。为了对问题渐变过程中事件间的因果关系提供可验证的证据支持,简化问题表征的复杂度,进而提高计算机领域软件规约的可靠性,采纳了一种基于NuSMV语言的符号模型检验的形式化验证方法。该验证方法采用UML状态机表示问题领域内部状态变化的有限结构空间,用CTL公式描述问题域内状态之间的可达性性质,通过遍历有限结构状态机来检验CTL公式的正确性,筛选出具有因果关系的外部共享事件,为问题渐变提供有效的技术支持。; 关键词问题框架关键问题领域因果行为符号模型检验可达性; Keywords Problem frames, Critical problem domain, Causal behavior, Symbolic model checking, Reachability; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于L1-APG的红外与可见光目标实时融合跟踪	马海菲张灿龙李志欣	《计算机工程》 CAS CSCD 北大核心	2017	2	在线阅读下载PDF 职称材料
2	利用Shuffle Transformer的U-Net网络结构模型提取红树林遥感图像信息	杨春月王修信	《桂林理工大学学报》	2025		在线阅读下载PDF 职称材料
3	基于人机交互的计算机辅助软件需求分析工具的研发	何正海李智	《计算机科学》 CSCD 北大核心	2015	4	在线阅读下载PDF 职称材料
4	问题框架中问题领域因果行为的形式化验证	朱利鲁李智	《计算机科学》 CSCD 北大核心	2015	1	在线阅读下载PDF 职称材料