一种基于形式化语言与概率模型的中断程序验证方法

    公开(公告)号:CN119597616A

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

    申请号:CN202411565506.7

    申请日:2024-11-05

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

    基于语义分割的航拍图像快速定位方法

    公开(公告)号:CN115527128A

    公开(公告)日:2022-12-27

    申请号:CN202210870382.8

    申请日:2022-07-22

    Abstract: 本发明提出了一种基于语义分割的航拍图像快速定位方法,包括以下步骤:语义分割阶段:对航拍图像数据集中的建筑和道路等特征显著的物体进行人工标注,再选择语义分割模型进行调整并将其训练至收敛,完成对无人机航拍图像的语义分割;快速搜索阶段:将卫星遥感图像按照相同的方法进行标注并生成遥感标签地图,再以最小归一化总误差为依据将分割后的航拍图像在遥感标签地图上进行快速搜索,确定出航拍图像在遥感图像上的大致区域;精准匹配阶段:使用基于特征点的图像匹配算法将航拍图像与确定区域的遥感图像进行特征点匹配,实现精准定位。本发明极大地简化了匹配过程的复杂度,提高了定位效率,对含有旋转变化的航拍图像同样适用。

    基于Fisher准则的雷达目标分类方法

    公开(公告)号:CN113269217A

    公开(公告)日:2021-08-17

    申请号:CN202011461715.9

    申请日:2020-12-14

    Abstract: 本发明公开了一种基于Fisher准则的雷达目标分类方法,利用遗传优化算法搜寻特征向量的最优特征属性权值,用以调整各个特征属性在分类器中的贡献程度;同时考虑分类系统中存在干扰目标、虚假目标,以及不同类别目标样本集混叠的问题,利用Fisher判别函数,根据雷达识别系统最小代价的原则,构建两类样本拒判域,第一类拒判域根据训练样本集特征值的波动范围,对干扰目标和虚假目标进行拒判,第二类拒判域根据测试样本与最近邻、次近邻的距离差,实现混叠区域的目标样本拒判。本发明能够有效抑制实际工作环境下干扰目标、虚假目标等对雷达目标识别分类系统性能的影响,提高系统的稳定性和识别性能。

    一种基于平行仿真的军用路径规划支持系统

    公开(公告)号:CN112731921A

    公开(公告)日:2021-04-30

    申请号:CN202011436294.4

    申请日:2020-12-11

    Abstract: 本发明公开了一种基于平行仿真的军用路径规划支持系统,包括通信模块、环境信息识别模块、路径规划模块、监测模块以及控制系统;通信模块用于环境信息识别模块、路径规划模块、监测模块与控制系统传输数据信息;环境信息识别模块用于采集行军区域的地图信息;路径规划模块用于根据环境信息识别模块得到的地图信息实现地图建模,并将运输过程抽象为二维空间的约束优化问题,得到最优行军路径;监测模块用于对行军过程中运输路径沿途侦查,检测障碍物;控制系统模块对监测模块检测到的障碍物进行标记处理,完成地图信息更新,通过通信模块将更新过的地图信息作用于路径规划模块,得到新的行军仿真路线。本发明能够规避障碍物,极大提升运输效率。

Patent Agency Ranking