检索结果-南通市图书馆

一种满足个性化差分隐私的多方垂直划分数据合成机制

在线全文

学校读者我要写书评

暂无评论

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

作者：朱友文王珂周玉倩南京航空航天大学计算机科学与技术学院南京211106

当今时代,随着大数据技术的飞速发展和数据量的持续增加,大量数据不断被不同的公司或者机构收集,把来自不同公司或机构的数据聚合起来并发布,有助于更好地提供服务、支持决策。然而他们各自的数据中可能包含敏感程度不同的隐私信息,所... 详细信息

当今时代,随着大数据技术的飞速发展和数据量的持续增加,大量数据不断被不同的公司或者机构收集,把来自不同公司或机构的数据聚合起来并发布,有助于更好地提供服务、支持决策。然而他们各自的数据中可能包含敏感程度不同的隐私信息,所以在聚合发布各方数据时需要满足个性化隐私保护要求。针对个性化隐私保护的多方数据聚合发布问题,该文提出满足个性化差分隐私的多方垂直划分数据合成机制(PDP-MVDS)。该机制通过生成低维边缘分布实现对高维数据的降维,用低维边缘分布更新随机初始的数据集,最终发布和各方的真实聚合数据集分布近似的合成数据集;同时通过划分隐私预算实现个性化差分隐私保护,利用安全点积协议和门限Paillier加密保证各方数据在聚合过程中的隐私性,利用分布式拉普拉斯机制有效保护了多方聚合边缘分布的隐私。该文通过严格的理论分析证明了PDP-MVDS能够确保每个参与方数据和发布数据集的安全。最后,在公开数据集上进行了实验评估,实验结果表明PDP-MVDS机制能够以低开销生成高效用的多方合成数据集。

关键词：隐私保护多方数据发布安全多方计算个性化差分隐私垂直划分数据

在线全文

学校读者我要写书评

暂无评论

支持亿级数据的高效密文范围查询完整性验证

模式识别与人工智能 2024年第1期37卷 27-46页

作者：王肇康潘佳辉周璐南京航空航天大学计算机科学与技术学院南京211106

密文查询的完整性验证机制能在保护人工智能应用数据隐私的同时,为查询结果的可靠性提供保证.然而,现有针对密文范围查询的完整性验证方法存在验证数据结构构建开销较高、数据可扩展性较差的缺陷.为此,文中分析ServeDB(Secure Verifiabl... 详细信息

密文查询的完整性验证机制能在保护人工智能应用数据隐私的同时,为查询结果的可靠性提供保证.然而,现有针对密文范围查询的完整性验证方法存在验证数据结构构建开销较高、数据可扩展性较差的缺陷.为此,文中分析ServeDB(Secure Verifiable and Efficient Framework)计算性能瓶颈产生的原因,并基于分析结论提出基于立方格索引的密文范围查询完整性验证方法(Cube-Cell-Based Authentication Tree,CubeTree).CubeTree采用基于分位数归一化的数据重分布优化方法,平衡数据记录在值域空间中的分布,降低数据记录的编码开销.进一步提出基于平衡K叉树的扁平化结构以及基于立方格索引的验证数据结构,合并具有相同编码的数据记录,采用立方格作为基本验证单元,大幅降低验证数据结构的冗余性,减少构造过程的计算与存储开销.在真实数据集与合成数据集上的实验表明,CubeTree能显著降低验证数据结构的构建开销以及查询完整性证明的生成与校验开销,并可高效处理亿级规模的大型数据集.

关键词：应用安全密文范围查询查询完整性验证验证数据结构立方格索引

基于神经影像和机器学习的大脑功能图谱构建方法综述

在线全文

学校读者我要写书评

暂无评论

中国生物医学工程学报 2024年第1期43卷 80-97页

作者：杨梦婷张道强温旭云南京航空航天大学计算机科学与技术学院南京211106

脑图谱是包括大脑功能探索、神经和认知科学以及临床诊疗在内的脑科学研究的重要工具,其主要通过神经影像数据,利用机器学习方法进行构建,由此产生的分割模式是理解大脑组织和功能的基础,还可用于脑网络节点的定义,并有助于降低神经影... 详细信息

脑图谱是包括大脑功能探索、神经和认知科学以及临床诊疗在内的脑科学研究的重要工具,其主要通过神经影像数据,利用机器学习方法进行构建,由此产生的分割模式是理解大脑组织和功能的基础,还可用于脑网络节点的定义,并有助于降低神经影像噪声对应用结果的影响。在脑图谱中,相比于结构图谱,功能图谱虽然起步较晚,但其具有更高的功能一致性,已在各类脑功能相关研究中得到了广泛关注和应用。为了揭示功能图谱的发展路径,在调研基于神经影像数据和机器学习所构建的脑功能图谱的种类和方法的基础上,首先将图谱按照皮层和体素、个体和群体以及影像模态等多重属性特征进行分类解读,展示各种图谱的详细信息;然后根据机器学习方法分别综述基于图聚类和基于时间序列聚类的脑图谱构建方法;最后对脑图谱研究领域所面临的挑战和将来可能的研究方向进行展望。

关键词：脑功能图谱磁共振成像脑网络机器学习聚类

多项正则化约束的伪标签传播优化脑电信号聚类

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2024年第1期61卷 156-171页

作者：代成龙李光辉李栋申佳华皮德常江南大学人工智能与计算机学院江苏无锡214122 南京航空航天大学计算机科学与技术学院南京211106

作为一种非侵入式分析载体,脑电信号目前被广泛应用于脑-机接口、医疗辅助诊断及康复领域,但这些应用通常依赖需要完整标签的有监督分析技术,如分类.随着无标签脑电信号的与日俱增,现有的有监督方法不能有效解决无标签脑电信号分析问题... 详细信息

作为一种非侵入式分析载体,脑电信号目前被广泛应用于脑-机接口、医疗辅助诊断及康复领域,但这些应用通常依赖需要完整标签的有监督分析技术,如分类.随着无标签脑电信号的与日俱增,现有的有监督方法不能有效解决无标签脑电信号分析问题,也在一定程度上限制了无标签脑电信号这类新型数据的应用拓展.为了解决无标签脑电信号的无监督分析问题,提出了一种基于多项正则化约束的伪标签传播优化聚类模型.该模型通过同时优化学习伪标签传播矩阵、脑电信号相似度邻接矩阵、标签分类器的方式实现聚类.将提出的脑电信号聚类模型转化为一个多目标优化问题,并提出了一种基于梯度下降策略的聚类算法EEGapc(electroencephalogram clustering with pseudo label propagation).该算法不仅充分考虑了脑电信号之间的相关性及脑电信号间的信息传递,还能快速收敛到局部最优.在14个真实脑电信号数据集上的实验结果表明,提出的EEGapc脑电信号聚类算法比现有的8种聚类算法性能更好,且在平均NMI(normalized mutual information),ARI(adjusted rand index),F-score,kappa这4个指标上,EEGapc与现有的8种聚类算法相比,分别至少提升了86.88%,58.01%,6.29%,61.17%.

关键词：脑电信号聚类伪标签传播邻接矩阵优化伪标签分类器多目标优化

在线全文

学校读者我要写书评

暂无评论

具有分类器机制的高光谱图像特征提取方法

遥感学报 2024年第2期28卷 511-527页

作者：邢长达汪美玲徐雍倡王志胜中国矿业大学信息与控制工程学院徐州221116 南京航空航天大学计算机科学与技术学院南京211106 南京航空航天大学自动化学院南京211106

高光谱图像分类是图像解译任务的重要技术之一,已经在遥感观测、智慧医疗等诸多领域得到广泛的应用。本质上,高光谱图像分类由特征提取与基于分类器的标签预测这两阶段操作组成。现有分类方法在特征提取时,大多不考虑分类器的影响,会导... 详细信息

高光谱图像分类是图像解译任务的重要技术之一,已经在遥感观测、智慧医疗等诸多领域得到广泛的应用。本质上,高光谱图像分类由特征提取与基于分类器的标签预测这两阶段操作组成。现有分类方法在特征提取时,大多不考虑分类器的影响,会导致提取的特征与所用分类器之间的兼容性较差,难免出现预测结果差的情况。针对此问题,本文提出具有分类器机制的高光谱图像特征提取方法,保证特征提取与分类器之间的兼容性,使特征能更易于被分类器准确计算,改善分类预测结果。本文给出了两种具有分类器机制的高光谱图像特征提取模型的形式:(1)以稀疏表示和支持向量机为例,将支持向量机特性集成到稀疏表示形式中,建立了能够与支持向量机分类器相兼容的SRS特征提取模型;(2)以深度自编码网络与softmax函数为例,将softmax分类器特性嵌入到深度自编码网络中,构建能与softmax分类器相兼容的DAES特征提取模型。为获得SRS和DAES模型的解,本文还给出了对应的求解策略与优化过程。在遥感高光谱图像和医学高光谱图像数据上开展实验验证,结果表明,本文SRS和DAES算法具有明显的有效性和优越性,在高光谱图像分类指标OA (Overall Accuracy)、AA (Average Accuracy)、Kappa上分别提升约5.03%、5.13%、7.30%。

关键词：高光谱图像分类特征提取分类器机制稀疏表示深度自编码网络

在线全文

学校读者我要写书评

暂无评论

空间飞行器的指向误差混合分布模型

上海交通大学学报 2024年第4期58卷 449-460页

作者：曹冬平井庆丰仲伟志南京航空航天大学航天学院南京211106

在空间探测任务中,飞行器会受到机械冲击、跟踪噪声等因素的影响发生角微振动,使天线指向误差恒不为0,从而影响通信链路.针对典型的指向误差单一分布模型如高斯分布、瑞利分布和莱斯分布忽略多种误差源共同影响的缺点,提出指向误差混合... 详细信息

在空间探测任务中,飞行器会受到机械冲击、跟踪噪声等因素的影响发生角微振动,使天线指向误差恒不为0,从而影响通信链路.针对典型的指向误差单一分布模型如高斯分布、瑞利分布和莱斯分布忽略多种误差源共同影响的缺点,提出指向误差混合分布模型,将多种误差源同时考虑在内,极大地提高了模型的准确性.首先,根据多个空间飞行器奥林巴斯通信卫星OLYMPUS、工程测试卫星ETS-VI、光学轨道间通信工程试验卫星OICETS和量子科学实验卫星MICIUS角微振动信号的功率谱密度拟合指向误差信号.然后,对比单一分布模型和混合分布模型与指向误差拟合信号的确定系数R^(2),确定最优分布模型.结果表明:由高斯分布和莱斯分布组成的混合分布模型拟合度最高.以OLYMPUS飞行器为例,高斯-莱斯混合分布模型的拟合度比单一分布模型中的瑞利模型提高27.44%,误比特率偏差降低2.87 dB.

关键词：空间飞行器角微振动指向误差模型单一分布混合分布

基于传递熵的空中交通航路网络拥堵传播特性分析

在线全文

学校读者我要写书评

暂无评论

交通运输系统工程与信息 2024年第4期24卷 263-273页

作者：张洪海瞿昕宜沈雪万俊强南京航空航天大学民航学院南京211106 南京航空航天大学通用航空与飞行学院南京211106

为深入剖析空中交通拥堵态势演变特性,辅助空中交通管制,确保航路网络的高效运行,本文研究空中交通航路网络拥堵传播相关问题。首先,选取交通流量、交通密度和交通汇聚度作为航段拥堵评估指标,建立FCM(Fuzzy C-Means)航段交通拥堵状态... 详细信息

为深入剖析空中交通拥堵态势演变特性,辅助空中交通管制,确保航路网络的高效运行,本文研究空中交通航路网络拥堵传播相关问题。首先,选取交通流量、交通密度和交通汇聚度作为航段拥堵评估指标,建立FCM(Fuzzy C-Means)航段交通拥堵状态评估模型;其次,提出基于传递熵理论的航段拥堵传播模型,并分析拥堵与拥堵传播之间的关联性;然后,建立基于传播指数与显著性面积指标的关键航段识别方法;最后,采用广州区域管制扇区内实测数据检验本文提出方法的有效性。研究结果表明:综合考虑宏观和微观特征的拥堵识别模型能够有效地划分航段的交通状态;拥堵传播受时段和拥堵程度的影响较大,夜间时段,畅通态在拥堵传播中占据主导地位,信息传播量比日间高30%,且信息有效期更长;在白天,高拥堵航段在拥堵传播中占主导地位,其信息传播量约为低拥堵航段的1.2倍,但信息有效期较短;广州高空航路网络的拥堵传播呈现明显的时空差异性,拥堵传播高峰时段主要位于12:00-14:00和18:00-20:00,略早于拥堵高峰期,沪蓉航路等东西向主干航路是拥堵传播的关键航路。这些规律可为空中交通管制单位实施管制措施和优化航路结构等提供理论支持。

关键词：航空运输交通拥堵传播传递熵航路网络时空因果关系

基于空间位置关系的轨迹数据高效降维和查询算法

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2024年第7期61卷 1771-1790页

作者：巢成蒲非凡许建秋高云君南京航空航天大学计算机科学与技术学院/人工智能学院/软件学院南京211100 浙江大学计算机科学与技术学院杭州310058

由于新型信息技术的快速发展,社会处于数字化、信息化转型的关键时期,各行业对于以数据库技术为基础的信息系统的需求也日益凸显.基于位置的服务依赖于海量实时生成的轨迹数据,在处理亿万级随时间连续变化的轨迹数据时,降维算法和查询... 详细信息

由于新型信息技术的快速发展,社会处于数字化、信息化转型的关键时期,各行业对于以数据库技术为基础的信息系统的需求也日益凸显.基于位置的服务依赖于海量实时生成的轨迹数据,在处理亿万级随时间连续变化的轨迹数据时,降维算法和查询技术一直是研究的关键,通过降低轨迹数据的规模,减少查询操作时处理数据的时间,能有效提升查询的性能,而能否实现高质量、高效率查询对于数据库而言至关重要.提出了面向轨迹数据的均匀网格编码,并在进一步优化后提出非均匀网格降维算法,将轨迹数据的坐标转化为1维字符串存储,对不符合要求的网格进行合并处理;通过空间位置映射充分保留轨迹数据间复杂的相互关系,并采用范围查询与最近邻查询对降维后的数据进行性能测试.实验使用不同城市真实轨迹数据与模拟生成轨迹数据作为数据集,将提出的均匀网格算法、非均匀网格算法与3种基准方法进行对比.实验证明,优化后的非均匀网格算法降维后数据的空间位置关系相似度可高达82.50%,范围查询时间较其他查询时间提升了至少73.86%,最近邻查询时间提升了至少52.26%,与其他基准方法相比取得了更好的效果.

关键词：轨迹数据降维算法非均匀网格空间位置关系查询技术

在线全文

学校读者我要写书评

暂无评论

智能合约漏洞检测技术综述

软件学报 2024年第1期35卷 38-62页

作者：董伟良刘哲刘逵黎立葛春鹏黄志球南京航空航天大学计算机科学与技术学院江苏南京211106 Monash University Clayton VIC 3800Australia

智能合约作为可信的去中心化应用,获得了广泛的关注,但其安全漏洞问题对其可靠性带来了巨大威胁.为此,研究者们利用各种前沿技术(如模糊测试、机器学习、形式化验证等)研究了多种漏洞检测技术,并取得了可观的效果.为了系统性地梳理与分... 详细信息

智能合约作为可信的去中心化应用,获得了广泛的关注,但其安全漏洞问题对其可靠性带来了巨大威胁.为此,研究者们利用各种前沿技术(如模糊测试、机器学习、形式化验证等)研究了多种漏洞检测技术,并取得了可观的效果.为了系统性地梳理与分析现有智能合约漏洞检测技术,搜集截至2021年7月关于智能合约漏洞检测的84篇论文,根据它们的核心方法进行分类,从每种技术的实现方法、漏洞类型、实验数据等方面展开分析,同时对比国内外研究现状在这些方面的差异.最后,对现有的智能合约漏洞检测技术进行总结,探讨面临的挑战,并展望了未来的研究方向.

关键词：智能合约合约安全合约可靠性合约质量保障漏洞检测合约程序分析