-
公开(公告)号：CN112986938A
公开(公告)日：2021-06-18
申请号：CN202110110138.7
申请日：2021-01-27
Applicant: 西安电子科技大学
Abstract: 本发明涉及雷达干扰技术领域，具体涉及一种基于无人机编队的协同欺骗式干扰方法。该方法包括以下步骤：由四架搭载干扰机的无人机组成一个无人机编队；干扰机接收到雷达脉冲之后，根据来波信号方向对无人机编队进行干扰机配对，形成两个干扰环路；将雷达脉冲以最小的延迟时间进行转发，捕获单脉冲雷达的距离波门；干扰机逐渐增大转发延迟时间，使距离波门逐渐偏离平台反射回波，距离波门内的干信比不断增大，干扰增益不断增大，增大测角误差；当平台反射回波移出距离波门之后，增大测角误差直至单脉冲雷达失锁。本发明实施例在任意干扰机转角下都能够保持更加稳定的干扰效果。
-
公开(公告)号：CN117494100A
公开(公告)日：2024-02-02
申请号：CN202311533394.2
申请日：2023-11-16
Applicant: 西安电子科技大学
Abstract: 本发明公开了一种基于偏序约束求解的中断驱动程序验证方法及装置，该方法包括：将包含多个不同中断服务例程的待验证的C程序转换为静态单赋值形式的程序；构建静态单赋值形式的程序的符号化事件结构；根据符号化事件结构和静态单赋值形式的程序生成符号表，并在符号表中添加符合中断驱动程序的语义的约束；记录静态单赋值形式的程序中的中断开启依赖关系；中断开启依赖关系是用于使中断事件发生在开启中断之后的依赖关系；根据中断开启依赖关系对符号表中添加的约束进行约简；对包含约简后的约束的符号表进行求解，得到求解结果，根据求解结果得到C程序的验证结果。本发明能够提高验证准确率和验证效率。
-
公开(公告)号：CN112986938B
公开(公告)日：2023-11-07
申请号：CN202110110138.7
申请日：2021-01-27
Applicant: 西安电子科技大学
Abstract: 本发明涉及雷达干扰技术领域，具体涉及一种基于无人机编队的协同欺骗式干扰方法。该方法包括以下步骤：由四架搭载干扰机的无人机组成一个无人机编队；干扰机接收到雷达脉冲之后，根据来波信号方向对无人机编队进行干扰机配对，形成两个干扰环路；将雷达脉冲以最小的延迟时间进行转发，捕获单脉冲雷达的距离波门；干扰机逐渐增大转发延迟时间，使距离波门逐渐偏离平台反射回波，距离波门内的干信比不断增大，干扰增益不断增大，增大测角误差；当平台反射回波移出距离波门之后，增大测角误差直至单脉冲雷达失锁。本发明实施例在任意干扰机转角下都能够保持更加稳定的干扰效果。
-
-
Search Results
3
records
(took 0.027 seconds)
