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

软件学报 2023年第9期34卷 4132-4152页

作者：张健李弋彭鑫赵文耘复旦大学软件学院上海200433 上海市数据科学重点实验室(复旦大学) 上海200433

SQL是一种被广泛应用于操作关系数据库的编程语言,很多用户(如数据分析人员和初级程序员等)由于缺少编程经验和SQL语法知识,导致在编写SQL查询程序时会碰到各种困难.当前,使用程序合成方法根据样例表自动生成相应的SQL查询程序,吸引了... 详细信息

SQL是一种被广泛应用于操作关系数据库的编程语言,很多用户(如数据分析人员和初级程序员等)由于缺少编程经验和SQL语法知识,导致在编写SQL查询程序时会碰到各种困难.当前,使用程序合成方法根据<输入-输出>样例表自动生成相应的SQL查询程序,吸引了越来越多人的关注.所提ISST (正反例归纳合成)方法,能够根据用户编辑的含有少量元组的<输入-输出>示例表自动合成满足用户期望的SQL查询程序. ISST方法包括5个主要阶段:构建SQL查询程序草图、扩展工作表数据、划分正反例集合、归纳谓词和验证排序.在PostgreSQL在线数据库上验证SQL查询程序,并依据奥卡姆剃刀原则对已合成的SQL查询程序候选集打分排序.使用Java语言实现了ISST方法,并在包含28条样例的测试集上进行验证, ISST方法能正确合成其中的24条测试样例,平均耗时2 s.

关键词： SQL 程序合成 PBE 归纳正例反例

来源：评论

学校读者我要写书评

暂无评论

面向设备与人力资源协作任务的优化调度方法

引用

软件学报 2024年第11期35卷 5319-5340页

作者：何飞佳沈立炜宋育臣牛军钰赵文耘复旦大学计算机科学技术学院上海200438 上海市数据科学重点实验室(复旦大学) 上海201203

面向人机物融合的泛在计算正成为软件发展的新需求和新趋势,基于这种新形态计算模式的人机物融合应用将软件技术进一步拓展至对线下资源,包括物理设备和人力资源的有效利用.作为典型的人机物融合场景,物理世界中设备资源与人力资源间的... 详细信息

面向人机物融合的泛在计算正成为软件发展的新需求和新趋势,基于这种新形态计算模式的人机物融合应用将软件技术进一步拓展至对线下资源,包括物理设备和人力资源的有效利用.作为典型的人机物融合场景,物理世界中设备资源与人力资源间的协作具有资源可选性、任务高频性、工人动态性的特点,传统的资源调度技术无法有效应对该类型任务(简称为DHRC任务)中的调度需求.为此,提出一种面向设备与人力资源协作任务的优化调度方法,所提方法分为设备资源调度和人力资源调度两个阶段.在设备资源调度阶段,提出基于NSGA-II的设备资源调度算法,在综合考虑任务距离、设备负载和设备位置周边工人人数等因素情况下实现任务对资源的优化选择.在人力资源调度阶段,提出基于DPSO的人力资源调度算法,根据工人位置和协作依赖等因素实现对工人的优化选择以及相应的路径规划.在模拟环境内的实验结果表明,所提方法第1阶段的算法在效率上与对比算法相当,在效用性上优于对比算法(离散粒子群优化算法).第2阶段的算法在效率上与效用性上均优于对比算法(使用锦标赛机制改进的遗传算法).

关键词：人机物资源调度 NSGA-Ⅱ DPSO

来源：评论

学校读者我要写书评

暂无评论

面向链接预测的知识图谱表示学习方法综述

引用

软件学报 2024年第1期35卷 87-117页

作者：杜雪盈刘名威沈立炜彭鑫复旦大学计算机科学技术学院上海201203 上海市数据科学重点实验室(复旦大学) 上海201203

作为人工智能的重要基石,知识图谱能够从互联网海量数据中抽取并表达先验知识,极大程度解决了智能系统认知决策可解释性差的瓶颈问题,对智能系统的构建与应用起关键作用.随着知识图谱技术应用的不断深化,旨在解决图谱欠完整性问题的知... 详细信息

作为人工智能的重要基石,知识图谱能够从互联网海量数据中抽取并表达先验知识,极大程度解决了智能系统认知决策可解释性差的瓶颈问题,对智能系统的构建与应用起关键作用.随着知识图谱技术应用的不断深化,旨在解决图谱欠完整性问题的知识图谱补全工作迫在眉睫.链接预测是针对知识图谱中缺失的实体与关系进行预测的任务,是知识图谱构建与补全中不可或缺的一环.要充分挖掘知识图谱中的隐藏关系,利用海量的实体与关系进行计算,就需要将符号化表示的信息转换为数值形式,即进行知识图谱表示学习.基于此,面向链接预测的知识图谱表示学习成为知识图谱领域的研究热点.从链接预测与表示学习的基本概念出发,系统性地介绍面向链接预测的知识图谱表示学习方法最新研究进展.具体从知识表示形式、算法建模方式两种维度对研究进展进行详细论述.以知识表示形式的发展历程为线索,分别介绍二元关系、多元关系和超关系知识表示形式下链接预测任务的数学建模.基于表示学习建模方式,将现有方法细化为4类模型:平移距离模型、张量分解模型、传统神经网络模型和图神经网络模型,并详细描述每类模型的实现方式与解决不同关系元数链接预测任务的代表模型.在介绍链接预测的常用的数据集与评判标准基础上,分别对比分析二元关系、多元关系和超关系3类知识表示形式下,4类知识表示学习模型的链接预测效果,并从模型优化、知识表示形式和问题作用域3个方面展望未来发展趋势.

关键词：知识图谱表示学习链接预测多元关系超关系

来源：评论

学校读者我要写书评

暂无评论

基于知识蒸馏的轻量化遥感图像场景分类

引用

红外与毫米波学报 2024年第5期43卷 684-695页

作者：张重阳王斌复旦大学电磁波信息科学教育部重点实验室上海200433 复旦大学信息学院图像与智能实验室上海200433

遥感图像场景分类旨在根据遥感图像的内容为其自动赋予相应的语义标签,已成为当前遥感图像处理领域中的研究热点。基于卷积神经网络(Convolutional Neural Networks,CNNs)的方法和基于自注意力机制的方法则是当前遥感图像场景分类中的... 详细信息

遥感图像场景分类旨在根据遥感图像的内容为其自动赋予相应的语义标签,已成为当前遥感图像处理领域中的研究热点。基于卷积神经网络(Convolutional Neural Networks,CNNs)的方法和基于自注意力机制的方法则是当前遥感图像场景分类中的两大主流方法。然而,前者不擅长学习长程上下文关系;后者对局部信息的学习能力有限,且具有较大的参数量和运算量。针对上述问题,提议一种基于知识蒸馏的轻量化遥感图像场景分类方法。该方法分别以Swin Transformer和小型CNN网络作为教师模型和学生模型,通过知识蒸馏的方式融合两种模型的优势;更进一步,提出一种新颖的知识蒸馏损失函数,使学生模型能够同时关注遥感图像类间和类内的潜在信息。在两个大规模数据集上的实验结果表明,与现有其它方法相比,所提出方法不仅有高的分类精度,还具有显著降低的参数量和运算量。

关键词：遥感图像场景分类卷积神经网络知识蒸馏损失函数

来源：评论

学校读者我要写书评

暂无评论

面向不平衡数据集的汽车零部件质量预测

引用

中国机械工程 2022年第1期33卷 88-96页

作者：李敏波董伟伟复旦大学软件学院上海200433 复旦大学上海市数据科学重点实验室上海200433

针对汽车零部件质检数据存在合格品与不合格品数量不平衡的问题,提出了基于密度聚类与多工序制造特征的MCDC-MF-SMOTE质检数据过采样方法。先对少数类(不合格)与多数类(合格)样本分别进行密度聚类,再对多工序制造数据和类簇样本分布进... 详细信息

针对汽车零部件质检数据存在合格品与不合格品数量不平衡的问题,提出了基于密度聚类与多工序制造特征的MCDC-MF-SMOTE质检数据过采样方法。先对少数类(不合格)与多数类(合格)样本分别进行密度聚类,再对多工序制造数据和类簇样本分布进行过采样权重计算;根据设定的过采样比和类簇权重,在少数类簇中进行过采样数据生成。使用MCDC-MF-SMOTE过采样方法生成汽车零部件质检的平衡数据集,并采用随机森林排序制造特征的重要性,对分类模型LightGBM、XGBoost、SVM和MNB进行Stacking集成来预测不合格品。与随机抽检相比,该方法对不合格产品的检出率提高了约63%。

关键词：数据不平衡质量预测密度聚类集成学习

来源：评论

学校读者我要写书评

暂无评论

支持混合事务和分析处理的数据库管理系统综述

引用

软件学报 2024年第1期35卷 405-429页

作者：王嵩立荆一楠何震瀛张凯王晓阳上海市数据科学重点实验室上海200433 复旦大学计算机科学技术学院上海200438

数据库管理系统根据应用场景分为事务型(OLTP)系统和分析型(OLAP)系统.随着实时数据分析需求增长,OLTP任务和OLAP任务混合的场景越来越普遍,业界开始重视支持混合事务和分析处理(HTAP)的数据库管理系统.这种HTAP数据库系统除了需要满足... 详细信息

数据库管理系统根据应用场景分为事务型(OLTP)系统和分析型(OLAP)系统.随着实时数据分析需求增长,OLTP任务和OLAP任务混合的场景越来越普遍,业界开始重视支持混合事务和分析处理(HTAP)的数据库管理系统.这种HTAP数据库系统除了需要满足高性能的事务处理外,还需要满足实时分析对数据新鲜度的要求.因此,对数据库系统的设计与实现提出了新的挑战.近年来,在工业界和学术界涌现了一批架构多样、技术各异的原型和产品.综述HTAP数据库的背景和发展现状,并且从存储和计算的角度对现阶段的HTAP数据库进行分类.在此基础上,按照从下往上的顺序分别总结HTAP系统在存储和计算方面采用的关键技术.在此框架下介绍各类系统的设计思想、优劣势以及适用的场景.此外,结合HTAP数据库的评测基准和指标,分析各类HTAP数据库的设计与其呈现出的性能与数据新鲜度的关联.最后,结合云计算、人工智能和新硬件技术为HTAP数据库的未来研究和发展提供思路.

关键词：数据库系统混合事务和分析处理查询处理数据库存储存储模型事务处理

来源：评论

学校读者我要写书评

暂无评论

基于概率整形的离散傅里叶变换扩展的300 GHz OFDM太赫兹无线传输系统

引用

红外与毫米波学报 2024年第5期43卷 634-641页

作者：姜璐涵马晗松张沁旖田鹏韩扬王明旭谭景文徐思聪张冰 Rehim Uddim 魏怡杨雄伟李韦萍余建军专用集成电路与系统国家重点实验室复旦大学电磁波信息科学教育部重点实验室复旦大学信息科学与工程学院上海200433

为了适应高速大容量的通信需求,提出了采用基于概率整形(PS,Probabilistic Shaping),离散多音调制(DMT,Discrete Multi-tone Modulation)和离散傅里叶变换扩展技术(DFT,Discrete Fourier Transform)实现300GHz太赫兹信号无线传输。概率整形通过增加星座点距离提升信号接收机灵敏度,可最多降低55%的误码率,可延长传输距离。离散傅里叶变换扩展技术在系统中降低1.68 dB正交频分复用(OFDM,Orthogonal Frequency Division Multiplexing)信号的峰均比,提升抗非线性效应能力。通过结合这些先进的数字信号处理技术,分别实现了12GBaud PS-16QAM的OFDM-DMT信号及10GBaud PS-64QAM的DFT-S-OFDM-DMT信号1 m无线传输。基于300GHz的太赫兹无线传输系统,比较了采用这些数字信号处理技术的性能优势。

关键词：概率整形正交频分复用技术离散多音调制离散傅里叶变换扩展技术太赫兹通信

来源：评论

学校读者我要写书评

暂无评论

夸克胶子等离子体的手征与自旋物理

引用

科学通报 2024年第15期69卷 1989-2007页

作者：王帅黄旭光复旦大学物理学系上海200438 复旦大学粒子物理与场论中心上海200438 复旦大学核物理与离子束应用教育部重点实验室上海200433 复旦大学上海理论核物理中心上海200438

相对论重离子碰撞可以产生极端高温的夸克胶子等离子体(quark gluon plasma,QGP),同时也可以产生极强的电磁场和流体涡旋场.这些场直接影响QGP中微观粒子的自旋和轨道运动,诱导出新奇的宏观量子现象,比如手征磁效应、手征涡效应、手征... 详细信息

相对论重离子碰撞可以产生极端高温的夸克胶子等离子体(quark gluon plasma,QGP),同时也可以产生极强的电磁场和流体涡旋场.这些场直接影响QGP中微观粒子的自旋和轨道运动,诱导出新奇的宏观量子现象,比如手征磁效应、手征涡效应、手征分离效应、手征电分离效应等手征反常输运现象,以及超子自旋极化、矢量介子自旋排列等现象,并有可能对量子色动力学(quantum chromodynamics,QCD)相结构产生重要影响.这些现象一方面提供了在重离子碰撞中探测QCD的非平庸规范场拓扑结构、强相互作用的电荷-宇称(charge-parity,CP)破坏、夸克胶子物质中的自旋动力学等的实验手段,另一方面也与粒子物理、凝聚态物理、天体物理等发生紧密联系,形成活跃的交叉研究领域.本文对上述宏观量子现象的产生机制以及它们在重离子碰撞中的实验信号等进行了回顾和展望,重点介绍了如下内容:(1)重离子碰撞中强电磁场和流体涡旋场的产生;(2)手征反常输运现象的理论基础和实验信号;(3)手征磁效应和涡效应引起的等离子体不稳定性;(4)QGP中的自旋极化现象.

关键词：夸克胶子等离子体相对论重离子碰撞手征反常输运自旋极化现象

来源：评论

学校读者我要写书评

暂无评论

面向文本描述的CPS资源能力知识图谱构建

引用

软件学报 2023年第5期34卷 2268-2285页

作者：李正洁沈立炜李弋彭鑫复旦大学计算机科学与技术学院上海200438 上海市数据科学重点实验室(复旦大学) 上海200438

信息物理融合系统(cyber-physical system,CPS)在社会生活中发挥越来越广泛的作用.CPS资源的按需编排建立在CPS资源的软件定义基础上,软件接口的定义则依赖对CPS资源能力的充分描述.目前,CPS领域内缺少一个能规范表示资源及其能力的知... 详细信息

信息物理融合系统(cyber-physical system,CPS)在社会生活中发挥越来越广泛的作用.CPS资源的按需编排建立在CPS资源的软件定义基础上,软件接口的定义则依赖对CPS资源能力的充分描述.目前,CPS领域内缺少一个能规范表示资源及其能力的知识库和构建该知识库的有效方法.面向CPS资源的文本描述,提出构建CPS资源能力知识图谱并设计一种自底向上的自动构建方法.给定资源,所提方法先从其代码和文档中提取资源能力的文本描述信息,并基于预定义的表示模式生成规范化表示的能力短语.然后,基于动宾结构的关键成分对能力短语进行划分、聚合与抽象,生成不同类型资源的能力层次化抽象描述.最后,构建资源能力知识图谱.面向Home Assistant平台,构建了包含32个资源类别、957个资源能力的知识图谱.图谱构建实验从不同维度对比分析了手工构建和所提方法自动构建的结果.实验表明,所提方法为CPS资源能力知识图谱的自动化构建提供可行途径,有助于减少人工构建工作量,补充CPS领域内资源服务与能力的描述,并提高图谱的知识完备性.

关键词：信息物理融合系统(CPS) 能力知识图谱物联网(IoT)

来源：评论

学校读者我要写书评

暂无评论

基于物理启发机器学习的属性散射中心提取方法

引用

电子与信息学报 2024年第5期46卷 2036-2047页

作者：岳子瑜徐丰复旦大学电磁波信息科学教育部重点实验室上海200433

基于参数化散射中心模型进行参数估计是实现合成孔径雷达高级信息获取(SAR AIR)技术的基本思路之一,传统的属性散射中心(ASC)参数估计算法往往具有计算速度慢、算法复杂度高、对参数初值要求高等问题。对此,该文提出一个新的基于无监督... 详细信息

基于参数化散射中心模型进行参数估计是实现合成孔径雷达高级信息获取(SAR AIR)技术的基本思路之一,传统的属性散射中心(ASC)参数估计算法往往具有计算速度慢、算法复杂度高、对参数初值要求高等问题。对此,该文提出一个新的基于无监督学习的端到端框架用于从SAR图像反演ASC参数。首先,利用自编码式网络结构有效提取目标图像特征,缓解由于优化空间复杂非凸导致的直接求解困难,解决初值敏感问题;其次,通过嵌入ASC模型作为物理解码器以将编码器输出约束为正确的ASC参数;最后,通过端到端的模型架构进行学习和推理,达到降低算法复杂度及提高估计速度的目的。通过在仿真和实测数据上进行测试,实验结果表明在0.15 m分辨率测试集SAR图像上取得低于0.1 m的估计误差,反演单个散射中心平均耗时0.06 s,验证了该文所提方法的有效性、高效性与鲁棒性。

关键词：属性散射中心模型参数估计基于物理知识的机器学习

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：