基于避让阻塞的优先级天花板协议

下载全文  

为了提高空间飞行器计算机的CPU利用率,新一代空间飞行器操作系统使用了一种同时包含固定时间点启动任务和偶发任务的混合调度算法.其中固定时间点启动任务往往是安全攸关任务,需要在固定时间点启动,且执行期间不能被阻塞.在固定时间点启动任务和偶发任务共存的条件下,现有的实时锁协议无法保证固定时间点启动任务的阻塞时间为零,因此在经典的优先级天花板协议的基础上,提出基于避让思想的实时锁协议,通过提前预判和设置虚拟启动点的方式,确保偶发任务对共享资源的访问不会影响到固定时间点启动任务的执行.同时暂时提升部分共享资源的访问优先级,降低了任务抢占所带来的运行开销.给出上述锁协议的最坏阻塞时间,并通过可调度率实验分析其性能,实验表明,在临界区较短的情况下,本协议可将因访问共享资源而导致的可调度性损失控制在27%以内.… …   相似文献

陈熙  乔磊  杨孟飞  刘洪标 《软件学报》2023,34(7):3422-3437

基于LLVM Pass的复杂嵌套循环自动并行化框架

下载全文  

随着多核处理器的普及应用,针对嵌入式遗留系统中串行代码的自动并行化方法是研究热点.其中,针对具有非完美嵌套结构、非仿射依赖关系特征的复杂嵌套循环的自动并行化方法存在技术挑战.提出了一种基于LLVMPass的复杂嵌套循环的自动并行化框架(CNLPF).首先,提出了一种复杂嵌套循环的… …   相似文献

马春燕  吕炳旭  叶许姣  张雨 《软件学报》2023,34(7):3022-3042

智能规划中面向简单偏好的高效求解方法

下载全文  

智能规划(AI planning)简称规划,是人工智能领域的一个重要分支,在各领域均有广泛应用,如工厂车间作业调度、物资运输调度、机器人动作规划以及航空航天任务规划等.传统智能规划要求规划解(动作序列)必须最终实现整个目标集合,这种目标一般被称为硬目标(hard goal).然而… …   相似文献

陆旭  于斌  段振华  王德奎  陈矗  崔进 《软件学报》2023,34(7):3099-3115

面向未解释程序的合作验证方法

下载全文  

未解释程序的验证问题通常是不可判定的,但是最近有研究发现,存在一类满足coherence性质的未解释程序,其验证问题是可判定的,并且计算复杂度为PSPACE完全的.在此结果的基础上,一个针对一般未解释程序验证的基于路径抽象的反例抽象精化(counterexample-guided abstraction refinement,CEGAR)框架被提出,并展现了良好的验证效率.即使如此,对未解释程序的验证工作依然需要多次迭代,特别是利用该方法在针对多个程序验证时,不同的程序之间的验证过程是彼此独立的,存在验证开销巨大的问题.发现被验证的程序之间较为相似时,不可行路径的抽象模型可以在不同的程序之间复用.因此,提出了一个合作验证的框架,收集在验证过程中不可行路径的抽象模型,并在对新程序进行验证时,用已保存的抽象模型对程序进行精化,提前删减一些已验证的程序路径,从而提高验证效率.此外,通过对验证过程中的状态信息进行精简,对现有的基于状态等价的路径抽象方法进行优化,以进一步提升其泛化能力.对合作验证的框架以及路径抽象的优化方法进行了实现,并在两个具有代表性的程序集上分别取得了2.70×和1.49×的加速.… …   相似文献

杜一德  洪伟疆  陈振邦  王戟 《软件学报》2023,34(7):3116-3133

基于约束依赖图的并发程序模型检测工具

下载全文  

模型检测是一种基于状态空间搜索的自动化验证方法,可以有效地提升程序的质量.然而,由于并发程序中线程调度的不确定性以及数据同步的复杂性,对该类程序验证时存在更为严重的状态空间爆炸问题.目前,大多采用基于独立性分析的偏序约简技术缩小并发程序探索空间.针对粗糙的独立性分析会显著增加需探… …   相似文献

苏杰  杨祖超  田聪  段振华 《软件学报》2023,34(7):3064-3079

基于多重异质图的恶意软件相似性度量方法

下载全文  

现有恶意软件相似性度量易受混淆技术影响,同时缺少恶意软件间复杂关系的表征能力,提出一种基于多重异质图的恶意软件相似性度量方法RG-MHPE （API relation graph enhanced multiple heterogeneous ProxEmbed）解决上述问题.方… …   相似文献

谷勇浩  王翼翡  刘威歆  吴铁军  孟国柱 《软件学报》2023,34(7):3188-3205

基于双重注意力机制的事件抽取方法

下载全文  

针对事件抽取存在未充分利用句法关系、论元角色缺失的情况,提出了基于双重注意力机制的事件抽取（event extraction based on dual attention mechanism,EEDAM）方法,有助于提高事件抽取的精确率和召回率.首先,基于4种嵌入向量进行句子编码,引入依赖关系,构建依赖关系图,使深度神经网络可以充分利用句法关系.然后,通过图转换注意网络生成新的依赖弧和聚合节点信息,捕获长程依赖关系和潜在交互,加权融合注意力网络,捕捉句中关键的语义信息,抽取句子级事件论元,提升模型预测能力.最后,利用关键句检测和相似性排序,进行文档级论元填充.实验结果表明,采用基于双重注意力机制的事件抽取方法,在ACE2005数据集上,较最佳基线联合多中文事件抽取器（joint multiple Chinese event extractor,JMCEE）在精确率、召回率和F1-score分别提高17.82%、4.61%、9.80%;在大坝安全运行日志数据集上,较最佳基线JMCEE在精确率、召回率和F1-score上分别提高18.08%、4.41%、9.93%.… …   相似文献

朱敏  毛莺池  程永  陈程军  王龙宝 《软件学报》2023,34(7):3226-3240

主动自动机学习中的等价查询算法优化

下载全文  

模型学习是一种获取黑盒软件系统行为模型的有效方法,可分为主动学习和被动学习.主动学习是基于字母表构造测试用例,通过与黑盒系统主动交互,可在多项式时间内得到目标系统的最小完备自动机,其中等价查询仍是开发和应用主动自动机学习工具的障碍之一.通过探讨反例对于学习算法的影响,定义假设的比… …   相似文献

潘雁  祝跃飞 《软件学报》2023,34(7):3241-3255

基于标记增强的离散跨模态哈希方法

下载全文  

跨模态哈希通过将不同模态的数据映射为同一空间中更紧凑的哈希码,可以大大提升跨模态检索的效率.然而现有跨模态哈希方法通常使用二元相似性矩阵,不能准确描述样本间的语义相似关系,并且存在平方复杂度问题.为了更好地挖掘数据间的语义相似关系,提出了一个基于标记增强的离散跨模态哈希方法.首先… …   相似文献

王永欣  田洁茹  陈振铎  罗昕  许信顺 《软件学报》2023,34(7):3438-3450

申威1621处理器上矩阵乘法优化研究

下载全文  

稠密矩阵乘法(GEMM)是很多科学与工程计算应用中大量使用的函数,也是很多代数函数库中的基础函数,其性能高低对整个应用往往有决定性的影响.另外,因其计算密集的特点,矩阵乘法效率往往也是体现硬件平台性能的重要指标.针对国产申威1621处理器,对稠密矩阵乘法进行了系统性地优化.基于对… …   相似文献

闫昊  刘芳芳  马文静  陈道琨 《软件学报》2023,34(7):3451-3463

基于义原级语句稀释法的文本对抗攻击能力强化方法

下载全文  

随着近年来机器学习方法在自然语言处理领域的应用越发广泛,自然语言处理任务的安全性也引起了研究者们重视.现有研究发现,向样本施加细微扰动可能令机器学习模型得到错误结果,这种方法称之为对抗攻击.文本对抗攻击能够有效发现自然语言模型的弱点从而进行改进.然而,目前的文本对抗攻击方法都着重… …   相似文献

叶文滔  张敏  陈仪香 《软件学报》2023,34(7):3313-3328

基于随机邻域变异和趋优反向学习的差分进化算法

  

传统差分进化（DE）算法在迭代过程中不能充分平衡全局勘探与局部开发,存在易陷入局部最优、求解精度低、收敛速度慢等缺点。为提升算法性能,提出一种基于随机邻域变异和趋优反向学习的差分进化（RNODE）算法并对其进行复杂度分析。首先,为种群中每个个体生成随机邻域,用全局最佳个体引导邻域… …   相似文献

左汶鹭  高岳林 《计算机应用研究》2023,40(7)

融合小波变换和编解码注意力的异常检测

  

针对视频异常检测中对正常视频预测不准确、学习正常特征的能力欠佳的问题,提出融合小波变换和编解码注意力的异常检测模型。模型中引入多级离散小波变换,设计了一种离散小波变换融合模块,将由视频帧分解得到的多个子带图拼接,传入深度可分离卷积,再与编码器特征融合,以弥补下采样过程中丢失的高频… …   相似文献

王婷  宣士斌  周建亭 《计算机应用研究》2023,40(7)

一种基于混合粒子群优化算法的深度卷积神经网络架构搜索方法

  

神经架构搜索（neural architecture search,NAS）技术自动寻找神经网络中各层的最佳组合和连接方式,以及各种超参数的最佳分布。该方法从搜索空间生成若干不同的卷积神经网络（CNN）,使用混合粒子群优化（hybrid particle swarm optimi… …   相似文献

王上  唐欢容 《计算机应用研究》2023,40(7)

有人无人网络化信息系统动态协同技术研究

  

为满足有人无人编队信息安全共享和体系化动态协同需求,构建动态通信网络,首先设计网络化高精度系统时间同步方案,利用网络链路综合管理策略和无线信道按需优选算法,时间同步精度可达百纳秒级;其次构建适用于机载网络的数据隐私保护和安全共享方案,实现有人无人编队通信数据安全防护,并对性能和安… …   相似文献

叶海军  王国峰  冯志勇 《通信学报》2023,44(7):185-196

基于分层强化学习的中继卫星网络任务动态调度方法

  

近年来,随着各类紧急任务数量的不断增长,如何在控制对常规任务影响的同时保障系统的收益已成为中继卫星网络任务动态调度的巨大挑战。针对这一问题,以最大化紧急任务总收益和最小化常规任务破坏程度为目标,提出了一种基于分层强化学习的中继卫星网络任务动态调度方法。具体而言,为了兼顾系统的长期… …   相似文献

刘润滋  马天赐  吴伟华  要趁红  杨清海 《通信学报》2023,44(7):207-217

IRS辅助的星地融合认知网络中断性能分析

  

分析了智能反射面（IRS）辅助的星地融合认知网络系统的中断性能。首先,针对卫星采用点波束技术服务地球站,而基站通过智能反射面扩大通信范围,并采用非正交多址接入（NOMA）技术服务多用户场景,在系统采用认知无线电技术来实现卫星主网络与地面次级网络之间频谱共享的情况下,建立以地面用户… …   相似文献

林敏  郭怀波  刘笑宇  韩略  谈苗苗  杨绿溪 《通信学报》2023,44(7):64-75

基于图协同过滤模型的D2D协作缓存策略

  

针对设备到设备（D2D）缓存中基站信号覆盖范围有限导致的难以获得足够数据来预测用户偏好的问题,提出了一种基于图协同过滤模型的D2D协作缓存策略。首先,构建图协同过滤模型,通过多层图卷积神经网络捕捉用户-内容交互图中的高阶连通信息,并利用多层感知机学习用户和内容之间的非线性关系来预… …   相似文献

陈宁江  练林明  欧平杰  袁雪梅 《通信学报》2023,44(7):136-148

  

To address the information collection and aggregation issue in emergency scenarios characterized by the lack of public infrastructure and un… …   相似文献

《通信学报》2023,44(7):1-13

智能反射面辅助的反向散射通信信道的传播模拟

下载全文  

为了解决引入智能反射面(IRS)后反向散射通信(BackCom)信道的传播模拟问题,该文提出一种基于抛物方程(PE)和矩量法(MoM)的高效混合数值方法。该方法将电大场景下IRS辅助信道的传播建模问题分解为电波传播与电磁散射两个子问题,分别采用PE和MoM进行求解。通过对视距和非… …   相似文献

余洪鑫  冯菊  杜伟  廖成 《电子与信息学报》2023,45(7):2317-2324