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

软件学报 2020年第11期31卷 3621-3639页

作者：李娜顾庆姜枫郝慧珍于华倪超计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京理工大学泰州科技学院移动互联网学院江苏泰州225300 南京工程学院通信工程学院江苏南京211167

砂岩显微图像分类是地质学研究中一项基本工作,在油气储集层评估等方面有重要意义.在实现自动分类时,由于砂岩显微图像具有复杂多变的显微结构,人工定义特征对砂岩显微图像的表示能力有限.此外,由于样本采集和标注成本高昂,带标记的砂... 详细信息

砂岩显微图像分类是地质学研究中一项基本工作,在油气储集层评估等方面有重要意义.在实现自动分类时,由于砂岩显微图像具有复杂多变的显微结构,人工定义特征对砂岩显微图像的表示能力有限.此外,由于样本采集和标注成本高昂,带标记的砂岩显微图像很少.提出一种面向小规模数据集的基于卷积神经网络的特征表示方法FeRNet,以便有效地捕获砂岩显微图像的语义信息,提高对砂岩显微图像的特征表示能力.FeRNet网络结构简单,可降低网络对带标记图像数据量的要求,防止参数过拟合.针对带标记砂岩显微图像数量不足的问题,提出了图像扩增预处理方法及基于卷积自编码网络的权重初始化策略,降低了因数据不足造成的过拟合风险.基于采自西藏地区的砂岩显微图像数据集设计并进行实验,实验结果表明,在带标记砂岩显微图像数据不足的情况下,图像扩增和卷积自编码网络可以有效地改善FeRNet网络的训练效果,通过FeRNet网络提取的特征对砂岩显微图像的表示能力优于人工定义特征.

关键词：特征表示砂岩显微图像卷积神经网络图像扩增卷积自编码

来源：评论

学校读者我要写书评

暂无评论

基于主动迁移学习的图像目标自动标注

引用

指挥信息系统与技术 2021年第5期12卷 61-69页

作者：江彪龙坤谢佳鑫林喜鹏陈杰罗子娟南京大学计算机软件新技术国家重点实验室南京210023 中国电子科技集团公司第二十八研究所南京210023

针对目标检测中海量图像数据缺乏标注的情况,提出了一种基于主动学习和域适应迁移学习的联合训练策略。为了显著降低标注量,引入了主动学习,利用了不确定策略和无监督聚类算法来采样关键数据进行标注;引入了域适应迁移学习,通过类似的... 详细信息

针对目标检测中海量图像数据缺乏标注的情况,提出了一种基于主动学习和域适应迁移学习的联合训练策略。为了显著降低标注量,引入了主动学习,利用了不确定策略和无监督聚类算法来采样关键数据进行标注;引入了域适应迁移学习,通过类似的已标注的源域数据集拟合无标注的目标域数据集。将2种方法联合进行数据标注,在速度和精度上均获得更优的效果。在自行收集的数据集上试验结果证明了该方法的有效性。

关键词：主动学习迁移学习域适应目标检测无监督聚类

来源：评论

学校读者我要写书评

暂无评论

大型语言模型智能体:机制和应用的综述

引用

指挥信息系统与技术 2024年第6期15卷 1-11页

作者：胡伟姜晓夏邵洲天朱容志南京大学计算机软件新技术国家重点实验室南京210023 信息系统工程全国重点实验室南京210023

人工智能智能体(AI agent)具有环境感知、决策制定和行动执行能力,被视为实现通用人工智能(AGI)的关键。首先,介绍了大型语言模型智能体(LLM agent)在角色定位、记忆操作、规划推理和动作执行环节的技术细节,包括长短期混合记忆机制、... 详细信息

人工智能智能体(AI agent)具有环境感知、决策制定和行动执行能力,被视为实现通用人工智能(AGI)的关键。首先,介绍了大型语言模型智能体(LLM agent)在角色定位、记忆操作、规划推理和动作执行环节的技术细节,包括长短期混合记忆机制、多种推理模型(如思维链、思维树和思维图)以及基于规划的多样化输出策略;其次,回顾了***和LangChain等开源框架,并探讨了LLM agent在多个领域的应用及未来发展趋势,包括多模态发展、机器人技术进步和模型轻量化设计;最后,指出了LLM agent面临的伦理和社会问题。

关键词：大型语言模型 AI智能体思维链

来源：评论

学校读者我要写书评

暂无评论

基于机器学习的数据库系统自动调参研究

引用

软件导刊 2021年第11期20卷 148-151页

作者：陈镭南京审计大学信息工程学院江苏南京211815 南京大学计算机软件新技术国家重点实验室江苏南京210023

现代数据库管理系统有成百上千个配置参数,繁琐的参数配置工作已经超出数据库管理员的负荷能力。近年来,机器学习技术因具有较强的学习和泛化能力,为解决数据库调参问题提供了新思路。基于机器学习的数据库自动调参系统能利用已有调优... 详细信息

现代数据库管理系统有成百上千个配置参数,繁琐的参数配置工作已经超出数据库管理员的负荷能力。近年来,机器学习技术因具有较强的学习和泛化能力,为解决数据库调参问题提供了新思路。基于机器学习的数据库自动调参系统能利用已有调优数据训练模型自动推荐最优参数,进而提高数据库管理系统的性能,如降低延迟和增加吞吐量等。使用OtterTune系统对PostgreSQL关系数据库进行自动化调参实验,结果表明,基于机器学习的自动调参系统能将系统吞吐率从个位数提高到百位数,显著提高了数据库管理系统性能。

关键词：数据库系统机器学习参数调优

来源：评论

学校读者我要写书评

暂无评论

使用共享变量分析和约束求解检测安卓应用数据竞争

引用

软件学报 2019年第11期30卷 3281-3296页

作者：孙全许蕾夏昕濛张卫丰计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 南京邮电大学计算机学院江苏南京210023

安卓系统在移动端操作系统始终占据主导地位,在增强用户体验和提高程序性能的同时,其特有的事件驱动模型和多线程模型也造成了并发缺陷.并发程序中,线程调度的不确定性和难以再现性是并发缺陷检测困难的原因.现有技术主要在动态生成执... 详细信息

安卓系统在移动端操作系统始终占据主导地位,在增强用户体验和提高程序性能的同时,其特有的事件驱动模型和多线程模型也造成了并发缺陷.并发程序中,线程调度的不确定性和难以再现性是并发缺陷检测困难的原因.现有技术主要在动态生成执行路径的基础上进行发生序(happens-before)分析,进而检测安卓应用的并发缺陷,但仍然存在低覆盖率、误报、漏报等问题.结合共享变量分析和约束求解方法实现了安卓应用数据竞争的检测,并实现了检测工具RaceDetector.该工具首先根据安卓系统的特性和数据竞争的定义,通过静态分析抽取相关信息,并进一步使用安卓共享变量分析来提高准确性和性能,继而进行可疑数据竞争分析,得出可疑的数据竞争集合;接着根据每一个可疑的数据竞争候选者,通过约束求解的方法在所有事件调度和线程调度解空间下识别发生序关系,并最终检测出真正的数据竞争.实验部分是从Google Play等来源收集了15个流行的应用APK文件作为数据集,RaceDetector平均报告了340个数据竞争,误报率为13%(44/340).与现有工具EventRacer(默认产生300随机事件触发应用执行,平均检测2个有害数据竞争)相比,RaceDetector能够解析全部源码,覆盖了所有线程调度和事件调度,平均检测出15个有害数据竞争.

关键词：安卓应用数据竞争事件驱动模型多线程模型约束求解

来源：评论

学校读者我要写书评

暂无评论

限界上下文视角下的微服务粒度评估

引用

软件学报 2019年第10期30卷 3227-3241页

作者：钟陈星李杉杉张贺章程南京大学软件学院江苏南京210023 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 安徽大学计算机科学与技术学院安徽合肥230601

近年来,DevOps 日渐火热,作为支撑技术的微服务架构由于其敏捷性、灵活性和可扩展性已成为软件行业关注的热点.然而,微服务粒度的界定是微服务领域的一项难题,至今仍缺乏行之有效的评估微服务粒度的标准.针对这一问题,结合几种微服务划... 详细信息

近年来,DevOps 日渐火热,作为支撑技术的微服务架构由于其敏捷性、灵活性和可扩展性已成为软件行业关注的热点.然而,微服务粒度的界定是微服务领域的一项难题,至今仍缺乏行之有效的评估微服务粒度的标准.针对这一问题,结合几种微服务划分原则提出了 4 项评估指标,用于量化地衡量微服务划分的合理性,并基于此提出了一种基于限界上下文的微服务粒度评估模型.同时,实现了工具原型可自动化地计算评估结果.案例研究部分将模型的评估结果与架构设计人员的心理预期进行比较,结果表明,所提出的评估模型可以较好地评估微服务粒度.

关键词： DevOps 微服务架构粒度划分限界上下文评估指标

来源：评论

学校读者我要写书评

暂无评论

边缘环境下的自适应视频分析

引用

计算机应用 2020年第S01期40卷 171-176页

作者：戴炀陈彧祝永晋张胜江苏方天电力技术有限公司南京211102 计算机软件新技术国家重点实验室(南京大学) 南京210023 软件新技术与产业化协同创新中心南京210023

为解决借助深度神经网络对大量交通视频进行分析需要较高计算资源和计算时延较长的问题,介绍了一种基于马尔可夫链的自适应视频分析方法(MCA)。首先,收集交通路况历史视频数据,平均划分为很多个时间区间,对每个时间区间进行汽车数量和... 详细信息

为解决借助深度神经网络对大量交通视频进行分析需要较高计算资源和计算时延较长的问题,介绍了一种基于马尔可夫链的自适应视频分析方法(MCA)。首先,收集交通路况历史视频数据,平均划分为很多个时间区间,对每个时间区间进行汽车数量和平均行驶速度的测量,并基于马尔可夫链模型计算状态转移概率矩阵;其次,调整视频帧采样率获得每个速度状态下的最优视频分析配置;最后,依据当前的速度状态和状态转移概率矩阵预测未来时间区间的速度状态,并选择相应的最优视频分析配置。随机帧采样(SR)准确率较低,每三帧采样一帧(SE3)与MCA准确率均高于90%,但MCA与SE3相比仅需要37.47%的计算资源和37.05%的计算时延。实验结果表明,MCA在对交通视频进行分析时,能有效降低计算资源和计算时延。

关键词：马尔可夫链模型自适应视频分析视频分析配置目标检测目标追踪

来源：评论

学校读者我要写书评

暂无评论

智能化信息物理系统中非确定性的分类研究

引用

计算机科学 2020年第3期47卷 11-18页

作者：杨文华许畅叶海波周宇黄志球南京航空航天大学计算机科学与技术学院南京211106 高安全系统的软件开发与验证技术工信部重点实验室(南京航空航天大学) 南京211106 南京大学计算机软件新技术国家重点实验室南京210023 南京大学计算机科学与技术系南京210023

信息物理系统呈现出日趋智能化的特征,而非确定性又是系统中普遍且固有的特性。例如,系统通过传感器感知环境时,会不可避免地存在误差。非确定性若未被妥当处理,往往会影响系统的正确运行,并带来一系列的问题。因此,对信息物理系统中的... 详细信息

信息物理系统呈现出日趋智能化的特征,而非确定性又是系统中普遍且固有的特性。例如,系统通过传感器感知环境时,会不可避免地存在误差。非确定性若未被妥当处理,往往会影响系统的正确运行,并带来一系列的问题。因此,对信息物理系统中的非确定性进行处理是至关重要的,也是促进信息物理系统进一步智能化的关键。对非确定性进行处理的前提是需要对其有充分的理解和认识,然而现有工作对信息物理系统中非确定性的研究尚处于探索阶段。针对这一问题,研究了信息物理系统中的非确定性分类。具体而言,根据信息物理系统中被广泛认可的5C技术架构对非确定性进行了分类,详细介绍了该架构每一层次上可能存在的非确定性,并结合典型的信息物理系统应用进行了举例说明;同时,总结了当前的相关研究工作,并展望了未来信息物理系统在应对非确定性方面的智能化研究方向。

关键词：信息物理系统智能化非确定性分类 5C架构非确定性处理

来源：评论

学校读者我要写书评

暂无评论

信息物理系统软件设计自动化专题前言

引用

软件学报 2020年第6期31卷 1585-1586页

作者：卜磊陈铭松朱祺刘超计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 南京大学计算机科学与技术系江苏南京210093 软硬件协同设计技术与应用教育部工程研究中心(华东师范大学) 上海200241 华东师范大学软件工程学院上海200241 Department of Electrical and Computer Engineering Northwestern UniversityEvanstonUSA 北京航空航天大学计算机学院北京100191

为了更精确地认识与改造世界,新一代的嵌入式系统必须将计算世界与物理世界作为紧密交互的整体进行认知,实现集计算、通信与控制于一体的深度融合的理论体系与技术框架,即信息物理系统(cyber-physical systems,简称CPS).与传统嵌入式系... 详细信息

为了更精确地认识与改造世界,新一代的嵌入式系统必须将计算世界与物理世界作为紧密交互的整体进行认知,实现集计算、通信与控制于一体的深度融合的理论体系与技术框架,即信息物理系统(cyber-physical systems,简称CPS).与传统嵌入式系统不同,CPS充分考虑了计算部件与物理环境的深度融合,通过将设备智能化连接,实现物理环境系统与计算系统之间精确感知与高效协同.基于CPS理念设计出来的计算设备可以根据具体任务需求自适应地调整与配置计算逻辑,精确智能地获取外部物理环境信息并做出针对性的实时反应,完成安全可靠的控制服务,从而实现物理世界与信息世界的有机统一.

关键词：物理环境深度融合设计自动化设备智能化嵌入式系统计算设备信息物理系统技术框架

来源：评论

学校读者我要写书评

暂无评论

基于逻辑运算的离散人工蜂群优化双聚类算法

引用

计算机与数字工程 2021年第3期49卷 433-438页

作者：马卫朱娴南京旅游职业学院酒店管理学院南京211100 南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093 南京理工大学紫金学院计算机学院南京210046

基因表达数据是由DNA微阵列实验产生的大规模数据矩阵,双聚类算法是挖掘数据矩阵中具有较高相关性的子矩阵,能有效地提取生物学信息。针对当前多目标双聚类优化算法易于陷入早熟和局部最优解等问题,论文提出了基于逻辑运算的离散人工蜂... 详细信息

基因表达数据是由DNA微阵列实验产生的大规模数据矩阵,双聚类算法是挖掘数据矩阵中具有较高相关性的子矩阵,能有效地提取生物学信息。针对当前多目标双聚类优化算法易于陷入早熟和局部最优解等问题,论文提出了基于逻辑运算的离散人工蜂群优化双聚类算法(LOABCB算法),一方面引入人工蜂群算法增强双聚类的全局寻优能力,另一方面通过逻辑运算邻域搜索策略寻找最优双聚类,提高搜索效率。采用基因表达数据的酵母细胞数据集进行实验,结果表明论文算法能够获得实验效果优的具有生物意义的双聚类。

关键词：基因表达数据双聚类逻辑运算离散人工蜂群算法

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：