搜索筛选:
搜索耗时0.0785秒,为你在为你在102,285,761篇论文里面共找到 5 篇相符的论文内容
发布年度:
[学位论文] 作者：付修锋,
来源：中国航天第二研究院 航天科工集团第二研究院 年份：2011
随着多重中断在航天型号嵌入式系统中的推广，多重中断程序的调试和测试技术的研究也受到重视。现有的多重中断分析方法多采用静态分析技术，不能准确的分析多重中断程序不确定性......
[期刊论文] 作者：付修锋,陈丽容,
来源：计算机工程与设计 年份：2012
为了解决多重中断的执行不确定性带来的测试困难问题,在多重中断产生并发错误的特点的基础上,提出了一种多重中断程序测试框架。该测试框架通过从外部加载一组合适的中断信号...
[期刊论文] 作者：付修锋,邢彦,陈丽容,
来源：计算机工程与设计 年份：2016
针对并发程序路径分支多、状态空间大导致并发错误检测时间长且效率低下的问题,在动态偏序化简算法的理论基础上,提出一种分布式的并发错误动态检测方法。该方法包括一个负载...
[期刊论文] 作者：吴超,杨雨婷,付修锋,陈旭,杨波,,
来源：计算机应用研究 年份：2020
软件系统的复杂度越来越高给系统安全性分析工作带来了巨大挑战。基于SysML扩展的系统安全性分析与评能估力;方然法后对结Sy合sMALR P块-4定75义4/视47图61(b的loc系k统de级fin功itio能n危dia害gr分am析,(BFDHDA))进过行程pr分ofi析le系弱统扩失展效,使状其况、......
[期刊论文] 作者：王泊涵,吴超,柯文俊,郑恺之,付修锋,江山,
来源：系统工程与电子技术 年份：2020
针对人工调配作战资源及规划方案效率低下的问题,本文提出一种基于概率图的作战任务智能规划方法,通过统计分析判定任务间因果关系,采用GNN抽取任务中的关键事件构建概率图并...
相关搜索：
