一种车载端为主的城市路网当前与未来速度查询方法

下载全文  

城市智能交通管理中经常查询路段的当前和未来交通速度,该文提出一种车载边缘为主(VED)的城市路段速度查询和预测方法：车载端在速度低于一定阈值时,与其它车载端交换收集到的数据,并在本地构建轻量级的当前和历史速度索引,以支持当前速度查询。为了用尽可能少的模型支持速度预测,提出根据路段… …   相似文献

韩京宇  王彦之  陈进  晏鑫鑫  张怡婷 《电子与信息学报》2024,46(9):3722-3730

耦合相移下有源同时反射和透射智能反射面辅助的多用户安全通信

下载全文  

无源智能反射面在增强无线通信系统和提高物理层安全方面极具潜力,但是其存在严重的“双衰落”和半区域覆盖的缺点。为此,该文研究了一种有源同时反射和透射智能反射面(STAR-RIS),并在考虑反射和透射相移互耦合条件下,建立一个联合优化基站波束和有源STAR-RIS波束的安全能效最大化… …   相似文献

郝万明  曾齐  王芳  杨守义 《电子与信息学报》2024,46(9):3544-3552

基于微服务分布式链路的服务质量优化策略

下载全文  

微服务架构作为一种敏捷而弹性的软件设计范式,已经在当今的软件开发领域中取得了广泛的应用.然而,随着微服务数量的不断增加,系统复杂度随之升高,系统的服务质量随之下降,如何提升微服务架构下的线上业务服务质量是一个重要命题,而服务链路的优化是其中的关键挑战.本文通过对微服务架构下服务链… …   相似文献

佟业新  曲新奎  杨皓然  张军涛  周明涛 《计算机系统应用》2024,33(9):140-152

结合差分隐私与安全聚集的联邦空间数据发布方法

  

针对联邦空间数据的数据孤岛问题、空间数据索引问题以及发布联邦空间数据存在的隐私问题,提出基于动态四分树的联邦空间数据发布(FSP)方法.首先,在FSP方法的每轮迭代中,服务端把四分树副本共享给该轮中每个客户端,每个客户端利用四分树副本编码自身位置数据,利用Polya分布产生离散噪… …   相似文献

张治政  张啸剑  王俊清  冯光辉 《计算机应用》2024,44(9):2777-2784

图灵奖获得者JOHN HOPCROFT教授将出席CNCC2024作特邀报告

  

John Hopcroft教授,这位在计算机科学界熠熠生辉的名字,不仅是中国科学院外籍院士,还同时荣膺美国国家科学院、工程院以及艺术与科学院三院院士的崇高荣誉!他的研究深耕于理论计算机科学领域,成就斐然,包括1986年的ACM图灵奖、2010年的IEEE冯诺依曼奖,以及2017年… …   相似文献

CCF微信公众号 《计算机科学》2024,51(9)

启动申报|2024年CCF-绿盟科技\"鲲鹏\"科研基金正式发布

  

CCF-绿盟科技\"鲲鹏\"科研基金项目由CCF和绿盟科技于2017年共同发起成立,主要面向国内高校、科研机构的全职教师和研究人员,旨在以小微课题的方式支持科研人员的研究与创新,推动科研技术成果转化的同时,促进外部科研机构优秀研发能力与绿盟科技产品价值的深度融合,从而进一步构建互… …   相似文献

CCF微信公众号 《计算机科学》2024,51(9)

基于时间分段和重组聚类的说话人日志方法

  

当前的说话人日志方法大多采用标准的全局聚类的方式来区分不同说话人的语音片段,没有考虑到同一个人的声音在不同的噪声条件下具有不同的特征分布,而这会增大类内距离,从而降低聚类精度。鉴于相邻的语音片段往往包含相同的背景噪声,提出一种新的基于时间分段和重组聚类的说话人日志方法以解决上述问… …   相似文献

朱必松  毛启容  高利剑  沈雅馨 《计算机应用研究》2024,41(9)

基于相关性的Swarm联邦降维方法

下载全文  

联邦学习(Federated learning, FL)在解决人工智能(Artificial intelligence, AI)面临的隐私泄露和数据孤岛问题方面具有显著优势. 针对联邦学习的已有研究未考虑联邦数据之间的关联性和高维性问题, 提出一种基于联邦数据相关性的去中心化联邦… …   相似文献

李文平  杜选 《自动化学报》2024,50(9):1866-1876

区块链类型化的法理解读与规制思路

下载全文  

当前区块链生态飞速发展,面向公众的区块链应用服务不断增多,随着 Web3.0概念的升温,这一趋势将愈发明显. 这在给数字经济注入新活力的同时,也给区块链应用监管带来更大挑战. 区块链及其应用的技术特性以及自动化、多中心、多级多维的监管需求客观要求对Web2.0监管技术进行兼容与创新. 针对这些需求与挑战,提出了一套多链协同的“以链治链”监管框架,设计了一个由分层多级监管链和异构接入链构成的监管架构,并明确了该架构下区块链监管的基本流程;将该框架下的监管技术体系抽象成基础层、决策层、跨链层、接入层、执行层和数据层,并提出一系列对监管系统构建最为关键的监管骨干机制. 在监管框架和骨干机制的指导下开发了一套区块链应用监管系统,并通过实验和应用试点验证了系统的有效性和可行性.

… …   相似文献

陈晓丰  宋兆雄  郑佩玉  张珺  于智  孙毅 《计算机研究与发展》2024,118(9):2290-2306

基于交互式定理证明的并发程序验证工作综述

下载全文  

并发程序与并发系统可以拥有非常高的执行效率和相对串行系统较快的响应速度,在现实中有着非常广泛的应用。但是并发程序与并发系统往往难以保证其实现的正确性,实际应用程序运行中的错误会带来严重的后果。同时,并发程序执行时的不确定性会给其正确性验证带来巨大的困难。在形式化验证方法中,人们可… …   相似文献

王中烨  吴姝姝  曹钦翔 《软件学报》2024,35(9):4069-4099

SAR图像中舰船目标恒虚警率检测技术的研究

下载全文  

在各种各样的合成孔径雷达图像舰船目标检测方法中,应用最广泛、最重要的就是具有自适应阈值的恒虚警率(CFAR)检测器。为了提高SAR图像中舰船目标的检测性能,人们试图通过各种统计分布模型对SAR图像中的杂波背景进行统计建模,如Gamma分布、K分布、对数正态分布、G0分布、alph… …   相似文献

孟祥伟 《电子与信息学报》2024,46(9):3739-3748

基于图嵌入的二进制代码模块划分方法

下载全文  

软件逆向分析作为网络空间安全领域研究的核心支撑技术,在软件漏洞分析、恶意代码行为分析等方面有着广泛应用. 二进制代码的模块划分是该领域研究中的关键问题,通过将复杂或者大体量软件合理划分为若干模块,对于帮助分析者快速、准确理解软件结构与功能,提高分析效率起着重要作用. 对此,常见方法是将代码中的函数及其调用关系看作复杂网络,通过社区发现算法来进行函数聚类,实现模块划分,该类方法通常只考虑节点之间的连接关系,忽略了节点的属性、节点之间的相似度等信息,且对噪声和异常值比较敏感. 为了解决这些问题,提出了一种基于图嵌入的二进制代码模块划分（graph embedding based binary code modularization,GEBCM）方法. 该方法首先将软件系统抽象为属性图,然后通过带有注意力机制和排名机制的图嵌入聚类方法对函数节点进行嵌入表示并聚类. 通过聚类将二进制文件分组为更具有完整功能的独立部分,揭示了复杂程序结构中分离的模块语义信息. 在2个数据集上进行的实验评估,验证了所提出的GEBCM方法的有效性. 评估结果表明,相比其他二进制模块化工作,GEBCM的F1值平均提高10.2个百分点. 此外,在针对恶意样本的评估实验中,GEBCM能有效地划分出恶意代码的模块,表现出优秀的可扩展性.… …   相似文献

孙华启  康绯  舒辉  黄宇垚  卜文娟 《计算机研究与发展》2024,153(9):2275-2289

方向感知增强的轻量级自监督单目深度估计方法

下载全文  

为解决现有单目深度估计网络复杂度高、在弱纹理区域精度低等问题,该文提出一种基于方向感知增强的轻量级自监督单目深度估计方法(DAEN)。首先,引入迭代扩展卷积模块(IDC)作为编码器的主体,提取远距离像素的相关性;其次,设计方向感知增强模块(DAE)增强垂直方向的特征提取,为深度估… …   相似文献

程德强  徐帅  吕晨  韩成功  江鹤  寇旗旗 《电子与信息学报》2024,46(9):3683-3692

联合对比学习与图神经网络的自优化单细胞聚类

下载全文  

单细胞 RNA测序技术(single-cell RNA sequencing, scRNA-seq)在单个细胞的水平上对转录组进行高通量测序分析, 其核心应用是识别具有不同功能的细胞亚群, 通常基于细胞聚类来完成. 然而, scRNA-seq 数据高维度、高噪声、高稀疏的特点使得… …   相似文献

蒋维康  王劲贤 《计算机系统应用》2024,33(9):1-13

基于联邦学习的多源异构数据融合算法

下载全文  

车联网在智慧城市建设中扮演着不可或缺的角色,汽车不仅仅是交通工具,更是大数据时代信息采集和传输的重要载体. 随着车辆采集的数据量飞速增长和人们隐私保护意识的增强,如何在车联网环境中确保用户数据安全,防止数据泄露,成为亟待解决的难题. 联邦学习采用“数据不动模型动”的方式,为保护用户隐私和实现良好性能提供了可行方案. 然而,受限于采集设备、地域环境、个人习惯的差异,多台车辆采集的数据通常表现为非独立同分布（non-independent and identically distributed,non-IID）数据,而传统的联邦学习算法在non-IID数据环境中,其模型收敛速度较慢. 针对这一挑战,提出了一种面向non-IID数据的车联网多阶段联邦学习机制,称为FedWO. 第1阶段采用联邦平均算法,使得全局模型快速达到一个基本的模型准确度;第2阶段采用联邦加权多方计算,依据各车辆的数据特性计算其在全局模型中的权重,聚合后得到性能更优的全局模型,同时采用传输控制策略,减少模型传输带来的通信开销;第3阶段为个性化计算阶段,车辆利用各自的数据进行个性化学习,微调本地模型获得与本地数据更匹配的模型. 实验采用了驾驶行为数据集进行实验评估,结果表明相较于传统方法,在non-IID数据场景下,FedWO机制保护了数据隐私,同时提高了算法的准确度.

… …   相似文献

唐晓岚  梁煜婷  陈文龙 《计算机研究与发展》2024,22(9):2170-2184

基于形式化方法的区块链系统漏洞检测模型

下载全文  

随着区块链技术在各行各业的广泛应用,区块链系统的架构变得越来越复杂,这也增加了安全问题的数量.目前,在区块链系统中采用了模糊测试、符号执行等传统的漏洞检测方法,但这些技术无法有效检测出未知的漏洞.为了提高区块链系统的安全性,本文提出了基于形式化理论的区块链系统漏洞检测模型VDMB… …   相似文献

陈锦富  冯乔伟  蔡赛华  施登洲  Rexford Nii Ayitey SOSU 《软件学报》2024,35(9):4193-4217

无线传感器网络中一种基于聚合层次聚类的分簇路由算法

  

针对无线传感器网络中节点连接以及能量受限不足的问题,为了延长网络寿命,提出了一种基于AHC的分簇路由算法（HACCRA）。该算法首先运用AHC对网络节点分簇,接着为簇首选择、簇形成和路径构建分别定义了恰当的决策目标函数,运用能量阈值、提出距离阈值、并且路由过程优先考虑簇首节点之间… …   相似文献

张芳  高翠芳 《计算机应用研究》2024,41(9)

基于自适应时间步脉冲神经网络的高效图像分类

下载全文  

脉冲神经网络(Spiking neural network, SNN)由于具有相对人工神经网络(Artifcial neural network, ANN)更低的计算能耗而受到广泛关注. 然而, 现有SNN大多基于同步计算模式且往往采用多时间步的方式来模拟动态的信息整合过程, 因… …   相似文献

李千鹏  贾顺程  张铁林  陈亮 《自动化学报》2024,50(9):1724-1735

空间高速光通信基带调制信号产生与相位同步方法研究

下载全文  

高速调制基带信号的高质量产生与相位精确同步是实现空间光通信测距的关键技术。传统采用FPGA或数字信号处理器(DSP)与高速数模转换器 (DAC)的实现方法,存在相位同步精度低、硬件实现复杂度高等缺点。该文提出一种高速光通信基带信号产生与相位同步方法,设计了相位闭环动态控制环路,通过实时调整高速信号发射时钟相位,可实现I,Q高速基带信号相位与外部参考时钟相位的确定性关系。实验结果表明：正交相移键控(QPSK)光调制信号码速率为5 Gbit/s时,相位同步精度小于2 ps,误差矢量幅度(EVM)小于8% ;5 Gbit/s光通信速率误码率为10^–7,接收灵敏度优于–47 dBm,测距精度优于2 mm。与传统方法相比,其灵敏度与测距精度均得到明显改善。… …   相似文献

汪滴珠  靳一  左金钟  徐常志  梁慧剑  苟保卫 《电子与信息学报》2024,46(9):3520-3527

利用全球开源数字高程模型的高程误差预测数据集

下载全文  

数字高程模型(DEM)校正一直是遥感地学研究中的重要内容,近年来蓬勃发展的机器学习新方法为DEM高程误差校正提供了新的解决途径。由于机器学习等人工智能方法依赖大量的训练数据,考虑到目前缺少大区域公开的、统一的、大规模和规范化多源 DEM 高程误差预测数据集,针对数据集缺失的问题,… …   相似文献

余翠琳  王青松  钟梓炫  张君豪  赖涛  黄海风 《电子与信息学报》2024,46(9):3445-3455