公开(公告)号：CN119693623A

公开(公告)日：2025-03-25

申请号：CN202411852233.4

申请日：2024-12-16

Applicant: 北方信息控制研究院集团有限公司

Inventor： 孙林 ,  苏月怡 ,  王新萌 ,  程彬 ,  王均波 ,  李晋晋 ,  方怀 ,  于裕 ,  余旺芳 ,  张志虎 ,  雷松强 ,  刘杨琳 ,  易泽阳 ,  邸亮 ,  孙津原

IPC: G06V10/25 ,  G06V20/17 ,  G06V10/80 ,  G06V20/13

Abstract: 本发明提出了一种基于航天侦察图像数据和电子数据的目标信息融合方法，实现了目标精准定位和关联融合。该方法首先将航天侦察的全色图像和多光谱图像进行图像融合，然后利用深度学习方法进行目标检测定位，再利用关联融合算法对图像目标与电子目标的属性特征、运动特征进行关联融合，同时将当前目标与历史目标进行关联分析实现历史目标融合。与现有技术相比，本发明将图像融合、图像与电子目标融合、历史目标融合算法运用到航天侦察数据的目标检测与融合中，从多个层级进行了目标信息的融合，显著的提高了目标的定位精度、属性丰富度和可靠性，在战场目标情报分析处理过程中具有一定的实用价值。

公开(公告)号：CN119597616A

公开(公告)日：2025-03-11

申请号：CN202411565506.7

申请日：2024-11-05

Applicant: 北方信息控制研究院集团有限公司

Inventor： 邸亮 ,  苏月怡 ,  孙林 ,  刘正凡 ,  程彬 ,  王均波 ,  张志虎 ,  杨柳 ,  孙津原

IPC: G06F11/3604

Abstract: 本发明公开一种基于形式化语言与概率模型的中断程序验证方法，所述方法包括如下步骤：建立形式化语言模型语法；建立形式化语言模型语义；使用Maude编程语言对形式化语言模型实例化，进而建立验证系统；将待验证的嵌入式系统软件进行形式化编程；将待验证的嵌入式系统软件输入验证系统并得到验证结果。与现有技术相比，本发明通过建立一种形式化语言模型，并结合概率模型，能够对嵌入式系统软件运行进行形式化推导，全流程具备自动化能力，适用于所有嵌入式系统软件，运行分析结果全面准确，且能够计算出不同运行结果概率，从而能够推导、检验嵌入式系统软件的可靠性。