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

高师理科学刊 2023年第7期43卷 41-47页

作者：刘波南京工业职业技术大学计算机与软件学院江苏南京210023

针对当前职业院校学生自主学习过程中所面临的问题,提出了一种学习资源平台构建方法.基于此设计平台研究了知识图谱的构建技术架构、知识的建模过程、图谱数据的采集处理过程、知识的抽取技术和知识的存储等关键技术,介绍了知识点抽取... 详细信息

针对当前职业院校学生自主学习过程中所面临的问题,提出了一种学习资源平台构建方法.基于此设计平台研究了知识图谱的构建技术架构、知识的建模过程、图谱数据的采集处理过程、知识的抽取技术和知识的存储等关键技术,介绍了知识点抽取和知识关系抽取的具体方法.平台采用基于课程教材层次结构的本体建模方法,使用Neo4j图数据库进行知识存储.该研究成果为学习资源平台的建设提供了技术参考和支撑.

关键词：数字化平台学习资源知识图谱

来源：评论

学校读者我要写书评

暂无评论

一种优化的数据流驱动的微服务化拆分方法

引用

软件学报 2021年第5期32卷 1284-1301页

作者：李杉杉荣国平高邱雅邵栋南京大学软件学院江苏南京210023 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

近年来,微服务架构已经成为软件工程领域比较流行的架构风格,其天然支持DevOps和持续交付以及可伸缩性、可扩展性好等特性,驱动着业界实践者纷纷向微服务架构迁移.然而,采用微服务架构也面临诸多挑战,其中最关键的是缺乏自动化、一体化... 详细信息

近年来,微服务架构已经成为软件工程领域比较流行的架构风格,其天然支持DevOps和持续交付以及可伸缩性、可扩展性好等特性,驱动着业界实践者纷纷向微服务架构迁移.然而,采用微服务架构也面临诸多挑战,其中最关键的是缺乏自动化、一体化的解决方案来高效支持面向微服务的拆分设计以及候选微服务架构的评估.为了应对该挑战,对已有的数据流驱动的微服务化拆分方法的局限问题(例如效率和灵活性)进行改进,在此基础上,提出了一种优化的微服务化拆分方法(DFD-A).该方法通过动、静态分析相结合的方式,实现了更加高效的数据流信息自动化收集,同时,采用两阶段的聚类算法来取代完全基于自定义规则的微服务化拆分算法.同时实现了原型工具来支持从数据收集分析、服务拆分到候选微服务架构评估的完整且自动化的过程.案例研究结果表明,该优化方法DFD-A及其原型工具在保证拆分结果有效性的基础上,可以更加高效、灵活地支持面向微服务的自动化拆分与评估.

关键词：微服务 DevOps 可伸缩拆分评估数据流

来源：评论

学校读者我要写书评

暂无评论

可解释的局部和全局对比多行为推荐算法

引用

计算机工程与设计 2024年第10期45卷 2970-2977页

作者：陈文俊高榕邵雄凯吴歆韵万祥高海燕湖北工业大学计算机学院湖北武汉430068 南京大学南京大学计算机软件新技术国家重点实验室江苏南京210023 武汉第二船舶设计研究所研发部湖北武汉430064 南京邮电大学通达学院商学院江苏扬州225127

针对传统的多行为推荐模型无法高效学习异构信息网络的复杂结构以及缺乏可解释性的问题,提出一种多行为推荐模型,即可解释的局部和全局对比多行为推荐。运用一种被广泛应用于提取全局结构的元路径视图从特定的语义角度捕获每个节点之间... 详细信息

针对传统的多行为推荐模型无法高效学习异构信息网络的复杂结构以及缺乏可解释性的问题,提出一种多行为推荐模型,即可解释的局部和全局对比多行为推荐。运用一种被广泛应用于提取全局结构的元路径视图从特定的语义角度捕获每个节点之间的特征。设计一个能捕获局部特征和元路径之间的交互信息的超元路径图来捕获多个元路径之间的交互信息,区分不同用户面对不同类别物品的不同行为模式。采用一种异质性可解释对比学习,确定行为类型的重要性,得出更加优质的正负样本进行对比。在两个公共数据集上的实验中,所提模型优于主流先进推荐模型。

关键词：推荐模型异构信息网络多行为推荐全局结构元路径可解释性对比学习

来源：评论

学校读者我要写书评

暂无评论

基于转动式二维激光扫描仪和多传感器的三维重建方法

引用

中国光学（中英文） 2023年第3期16卷 663-672页

作者：张新荣王鑫王瑶向高峰长安大学道路施工技术与装备教育部重点实验室陕西西安710064 中国铁建重工集团股份有限公司湖南长沙410000 南京信息工程大学计算机与软件学院江苏南京210044

三维重建技术是机器视觉中最热门的研究方向之一,在无人驾驶和数字化加工与生产等领域得到了广泛的应用。传统的三维重建方法包括深度相机和多线激光扫描仪,但是通过深度相机获得的点云存在着信息不完整和不精确的问题,而多线激光扫描... 详细信息

三维重建技术是机器视觉中最热门的研究方向之一,在无人驾驶和数字化加工与生产等领域得到了广泛的应用。传统的三维重建方法包括深度相机和多线激光扫描仪,但是通过深度相机获得的点云存在着信息不完整和不精确的问题,而多线激光扫描仪成本高,阻碍了该项技术的应用和研究。为解决上述问题,提出了一种基于转动式二维激光扫描仪的三维重建方法。首先,用步进电机带动二维激光扫描仪旋转运动来获取三维点云数据。然后,用多传感器融合的方法对激光扫描仪的位置进行标定,采用坐标系变换完成点云数据的匹配。最后,对采集得到的点云数据进行了滤波和精简处理。实验结果表明:相较于深度相机/IMU数据融合的重建方法,平均误差降低了0.93 mm,为4.24 mm;精度达到了毫米级别,误差率也控制在了2%以内;整套设备的成本相较于多线激光扫描仪大大降低。本文方法基本满足保留物体的外形特征、高精度和成本低的要求。

关键词：二维激光扫描仪坐标系变换多传感器融合三维重建

来源：评论

学校读者我要写书评

暂无评论

基于AADL的DIMA系统建模与可调度性分析方法

引用

小型微型计算机系统 2024年第11期45卷 2790-2799页

作者：胡乔乔杨志斌黄志球周勇南京航空航天大学计算机科学与技术学院南京211106 高安全系统的软件开发与验证技术工信部重点实验室南京211106

随着航空电子系统功能的复杂性不断增加,航空电子架构由综合化向分布式综合化(DIMA)发展.考虑网络延迟的DIMA系统可调度性分析成为一个重要挑战.本文提出基于AADL(Architecture Analysis and Design Language)的DIMA系统架构建模和可调... 详细信息

随着航空电子系统功能的复杂性不断增加,航空电子架构由综合化向分布式综合化(DIMA)发展.考虑网络延迟的DIMA系统可调度性分析成为一个重要挑战.本文提出基于AADL(Architecture Analysis and Design Language)的DIMA系统架构建模和可调度性分析方法.首先,提出光纤通道(Fibre Channel,FC)网络属性集扩展和自定义调度算法属性集扩展,构建DIMA系统架构模型;其次,提出一种支持复杂自定义调度算法的DIMA系统可调度分析框架,其中包括OPNET网络延迟分析、自定义调度算法建模与验证及AADL模型到Cheddar模型的转换;最后,基于工业界实际案例分析所提方法的有效性.

关键词： DIMA AADL 光纤通道网络可调度性分析

来源：评论

学校读者我要写书评

暂无评论

基于约束规划的航空电子系统任务分配与调度方法

引用

小型微型计算机系统 2024年第11期45卷 2576-2585页

作者：曾清华杨志斌周勇南京航空航天大学计算机科学与技术学院南京211106 高安全系统的软件开发与验证技术工信部重点实验室南京211106

随着综合模块化航空电子系统(Integrated Modular Avionics,IMA)对计算性能要求的日趋提高,既能提供更强计算能力又能减少电子设备的体积、重量和功耗的多核处理器将在航空电子系统领域得到广泛应用.目前航空电子系统的任务分配和调度... 详细信息

随着综合模块化航空电子系统(Integrated Modular Avionics,IMA)对计算性能要求的日趋提高,既能提供更强计算能力又能减少电子设备的体积、重量和功耗的多核处理器将在航空电子系统领域得到广泛应用.目前航空电子系统的任务分配和调度主要基于手工方式,较少考虑多核环境下共享资源竞争带来的时间延迟,并且当系统更新时需要重新编排,十分耗时耗力.本文提出一种基于约束规划(Constraint Programming,CP)的航空电子系统任务自动化分配与调度方法.首先,给出了多核环境下任务最坏执行时间(WCET)的分析方法;其次,给出了基于CP的任务分配和调度方法;最后,设计与实现了原型工具CP4IMA,并基于ARINC653操作系统平台进行案例分析,验证了本文所提方法的有效性.

关键词：综合模块化航空电子系统多核处理器任务分配与调度约束规划

来源：评论

学校读者我要写书评

暂无评论

基于序列的程序语义规则挖掘与违规检测方法

引用

计算机科学 2024年第6期51卷 78-84页

作者：李孜周宇南京航空航天大学计算机科学与技术学院南京210016 高安全系统的软件开发与验证技术工信部重点实验室南京211100

在软件开发中,违反语义规则的源码可以正常地编译或运行,但却存在性能或功能上的缺陷。因此,如何准确地检测此类缺陷成为了一项挑战。已有的研究通常采用基于项集的规则挖掘与检测方法,但由于未能良好地结合源码的顺序信息与控制流信息... 详细信息

在软件开发中,违反语义规则的源码可以正常地编译或运行,但却存在性能或功能上的缺陷。因此,如何准确地检测此类缺陷成为了一项挑战。已有的研究通常采用基于项集的规则挖掘与检测方法,但由于未能良好地结合源码的顺序信息与控制流信息,此类方法在检测能力以及准确率上都存在较大的提升空间。针对该问题,提出了一种基于序列的程序语义规则提取与违规检测方法SPUME。该方法将程序源码转化为中间表示序列,使用序列规则挖掘算法从中提取语义规则,并基于语义规则对源码中的缺陷进行检测。为验证SPUME的有效性,文中将其与3种基线方法进行了对比,包括PR-Miner,Tikanga以及Bugram。实验结果表明,相较于基于无序项集进行规则挖掘的PR-Miner,以及结合了图模型的Tikanga,SPUME在检测效果、检测速度以及准确率上都有显著提升。相比基于Ngram语言模型的Bugram方法,SPUME在准确率与其相当的情况下,高效地检测出了更多程序缺陷。

关键词：语义规则挖掘重叠聚类缺陷检测

来源：评论

学校读者我要写书评

暂无评论

基于UPPAAL的DIMA组合可调度分析方法

引用

小型微型计算机系统 2024年第12期45卷 3063-3072页

作者：刘晨杨志斌胡乔乔周勇南京航空航天大学计算机科学与技术学院南京211106 高安全系统的软件开发与验证技术工信部重点实验室南京211106

为了满足不断复杂化的机载任务需求,分布式综合化航空电子系统(DIMA)中任务交互行为随之激增,使其任务调度系统的设计与分析难度进一步增加.针对这一问题,提出基于UPPAAL的DIMA组合可调度分析方法.首先,给出基于UPPAAL的DIMA建模方法,... 详细信息

为了满足不断复杂化的机载任务需求,分布式综合化航空电子系统(DIMA)中任务交互行为随之激增,使其任务调度系统的设计与分析难度进一步增加.针对这一问题,提出基于UPPAAL的DIMA组合可调度分析方法.首先,给出基于UPPAAL的DIMA建模方法,包括分区调度、任务、分区间通信、FC网络延迟、多核处理器资源共享等行为建模;其次,给出基于契约的组合可调度分析方法;最后,基于工业界DIMA系统案例验证所提方法的有效性.

关键词：分布式综合化航空电子系统组合可调度分析时间自动机 UPPAAL

来源：评论

学校读者我要写书评

暂无评论

面向ARINC653操作系统的综合化航空电子软件代码自动生成方法

引用

计算机科学 2024年第7期51卷 10-21页

作者：凌仕翔杨志斌周勇南京航空航天大学计算机科学与技术学院南京211106 高安全系统的软件开发与验证技术工信部重点实验室南京211106

综合化航空电子系统(Integrated Modular Avionics, IMA)是一类典型的安全关键系统,具有分布式、异构、计算资源和物理资源强耦合等特征。随着IMA系统趋于复杂化和智能化,系统的功能越来越多地采用软件来实现,如何对这类复杂软件进行建... 详细信息

综合化航空电子系统(Integrated Modular Avionics, IMA)是一类典型的安全关键系统,具有分布式、异构、计算资源和物理资源强耦合等特征。随着IMA系统趋于复杂化和智能化,系统的功能越来越多地采用软件来实现,如何对这类复杂软件进行建模并自动生成代码成为一个重要挑战。文中提出了一种基于AADL(Architecture Analysis and Design Language)的综合化航空电子系统代码生成方法。首先,提出HMC4ARINC653(Heterogeneous Model Container for ARINC653)属性集扩展,使其具备描述IMA软件架构、异构功能行为和非功能属性的能力;其次,提出IMA模型到C代码及ARINC653系统配置文件的映射规则,并遵守MISRA C安全编码规范,生成的代码能够在ARINC653操作系统上部署并仿真执行;最后,设计并实现了相应的原型工具,以ARINC653操作系统和工业界实际案例,验证了所提方法和工具的有效性。

关键词：综合化航空电子系统 ARINC653操作系统 AADL 代码自动生成

来源：评论

学校读者我要写书评

暂无评论

3分支多层次Transformer特征交互的RGB–D显著性目标检测

引用

工程科学与技术 2023年第6期55卷 245-256页

作者：孟令兵袁梦雅时雪涵刘晴晴程菲黎玲利何术锋安徽信息工程学院计算机与软件工程学院安徽芜湖241199 安徽信息工程学院电气与电子工程学院安徽芜湖241199 杭州电子科技大学管理学院浙江杭州310018 黑龙江大学计算机科学与技术学院黑龙江哈尔滨150006 南京水利科学研究院生态环境研究所江苏南京210017

RGB深度图像(RGB–D)显著性目标检测是计算机视觉领域的研究任务之一,很多模型在简单场景下取得了较好的检测效果,却无法有效地处理多目标、深度图质量低下及显著性目标色彩与背景相似等复杂场景。因此,本文提出一种3分支多层次Transfor... 详细信息

RGB深度图像(RGB–D)显著性目标检测是计算机视觉领域的研究任务之一,很多模型在简单场景下取得了较好的检测效果,却无法有效地处理多目标、深度图质量低下及显著性目标色彩与背景相似等复杂场景。因此,本文提出一种3分支多层次Transformer特征交互的RGB–D显著性目标检测模型。首先,提出一个跨模态坐标注意力模块,该模块通过采用坐标注意力抑制RGB图像和深度图的噪声信息,从而提取出更为显著的特征信息用于后续解码。其次,通过特征融合模块将高层的3层特征图调整到相同的分辨率送入Transformer层,有效地获取远距离显著性目标之间的关联关系和整幅图像的全局信息。然后,提出一个多层次特征交互模块,该模块有效地聚合多层次信息进行特征交互,从而能够更精准地定位显著性目标的位置,同时对显著性目标的边界进行细化。最后,设计一个密集扩张特征细化模块,利用密集扩张卷积获取丰富的多尺度特征,有效地应对显著性目标数量和尺寸变化。将模型在5个公开的基准数据集上与19种主流模型相比,实验结果表明:本文方法在多个测评指标上有较好的提升效果,提高了在特定复杂场景下的检测精度;从P–R(precision–recall)曲线、F–measure曲线和显著图也可以直观看出,本文方法取得了较好的检测结果,生成的显著图更完整、清晰,相比其他模型更加接近真值图。

关键词：显著性目标检测坐标注意力 Transformer 特征交互密集卷积显著图

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：