张可迪
- 作品数：4 被引量：4H指数：1
- 供职机构：国防科学技术大学计算机学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 一种嵌入式操作系统运行时验证方法被引量：3
- 2014年
- 作为测试、模型检验等开发阶段所用技术的有效补充,运行时验证技术越来越受到广泛的关注。然而,当前的运行时验证技术主要用于应用软件,很少专门针对操作系统进行研究。对面向嵌入式操作系统的运行时验证框架和关键技术进行了研究,并结合一个开源嵌入式操作系统FreeRTOS进行了设计与实现。首先提出了一种面向嵌入式操作系统的运行时验证和反馈调整框架,然后针对框架中的关键技术部分,完成了规约语言的设计、三值语义监控器的生成、FreeRTOS嵌入式操作系统相关接口的实现等主要工作。
- 张可迪舒绍娴董威
- 关键词：嵌入式操作系统
- 一种运行时验证监控器的构造方法
- 2012年
- 本文结合作者课题内容,介绍了一种运行时验证技术中的监控器构造方法。该方法完整涵盖了从性质规约到监控器模型再到监控程序的全过程,过程中使用了相关开源的第三方软件使得该方法的自动化程度较高。同时由于该监控器的构造是基于三值语义,使得该监控器在一定意义上具有预测性。
- 张可迪董威
- 关键词：监控程序
- 一种空频域联合优化的精确干扰波形设计方法被引量：1
- 2023年
- 精确干扰技术是当前新型电子战的热点研究方向之一。为解决准确调节干扰功率空频域分布特性的问题,提出了基于交替乘子法的精确干扰波形设计方法。首先给出了空频域特性联合优化目标下设计恒模精确干扰波形优化问题的数学模型,通过进一步引入变量,将原始目标函数中包含的非凸四次项转化为二次项,从而使优化问题可以通过交替乘子法求解。经理论推导得到交替乘子法每次迭代时的最优闭式解,进而降低了算法的计算复杂度。仿真实验表明,相较已有只优化空域干扰功率分布的精确干扰波形设计方法而言,该算法设计出的精确干扰波形在预设干扰区域内的合成信号具有更好的功率谱分布特性,这更符合实际干扰任务的需求;同时,相较于已有的空频域联合优化算法,提出的算法考虑了波形恒模约束,这更符合工程实现的需要且提出算法的计算复杂度更低,并可以通过并行计算进一步降低运算时间。
- 王静张可迪张剑云周青松吴明霖李志汇
- 空频域联合优化下恒模精确干扰波形设计仿真
- 2025年
- 准确调控干扰功率空频域分布的精确干扰技术是当前新型电子战的热点研究方向之一。为解决非恒模干扰波形在应用中出现的发射功率超出功率放大器的输出上限及功率利用率不足的问题,基于序列锥规划算法思想提出了恒模精确干扰波形设计方法。仿真结果表明,上述方法能够抑制超稀疏阵列产生的栅瓣效应,相较于已有联合优化算法,所提方法设计的干扰波形在能准确调控干扰功率空频域分布的同时满足波形恒模约束。
- 王静张可迪张剑云李志汇
