-
公开(公告)号:CN116125451A
公开(公告)日:2023-05-16
申请号:CN202211438232.6
申请日:2022-11-16
Applicant: 西北工业大学 , 中国人民解放军92578部队
Abstract: 本发明涉及一种基于非参数贝叶斯模型的声纳回波图像背景抑制方法,主要针对港口环境下声纳回波图像目标检测的背景抑制问题。将机器学习应用于声纳回波图像背景抑制问题,使用非参数贝叶斯模型对声纳回波图像进行背景建模,并利用统计学特性和阈值方法抑制图像的背景混响。相比于参数方法,它能够根据数据样本的实际分布情况自动选择建立混合模型所需的最佳分量数,解决了传统参数模型由混合分量未知引起的过拟合或欠拟合问题。同时,由于非参数贝叶斯方法可以从数据中自动推断建立混合模型所需的统计量,使得建模前对实际数据先验信息的依赖进一步降低,在抑制效果上显著降低了声纳回波图像中背景混响对目标检测的干扰。
-
公开(公告)号:CN109918049A
公开(公告)日:2019-06-21
申请号:CN201910029141.9
申请日:2019-01-12
Applicant: 西北工业大学
Abstract: 本发明提供了一种基于形式化验证的软件开发模型的验证方法,将形式化验证与软件开发过程结合起来,提高软件的高可信程度,从逻辑上保障开发软件的可靠性;发挥形式化验证在软件检错领域的对于软件开发过程中开发逻辑进行验证的作用;降低程序在非正常状态运行的可能性。本发明提高软件的高可信程度,从逻辑上保障开发软件的可靠性;在需求阶段进行验证,可以避免因为软件需求分析不合理导致重新开发的严重后果;及时发挥形式化验证在软件检错领域的对于软件开发过程中函数逻辑正确性进行验证的作用;将形式化方法引入软件开发过程,并给出具体的模型,解决了测试技术在软件检错领域的局限性问题。
-
公开(公告)号:CN115810107A
公开(公告)日:2023-03-17
申请号:CN202211460941.4
申请日:2022-11-16
Applicant: 西北工业大学 , 中国人民解放军92578部队
IPC: G06V10/28 , G06V10/75 , G06V10/764
Abstract: 本发明涉及一种基于性能评估的背景阈值及目标和混响背景的分离方法,主要针对背景抑制中的阈值选择问题。将统计学思想应用于图像背景抑制问题,使用分布模型和积分手段计算性能指标FN和FP的概率,并利用FN和FP与阈值的关联设计损失函数,损失函数的参数可以控制对预期性能指标的偏好,求得符合预期性能的阈值。每个像素序列单独拥有一个阈值,可以获得更加精细的背景抑制结果。本发明为阈值选择提供了依据和参考,提高了图像背景抑制的效率。将性能指标和阈值选择挂钩来构造损失函数。
-
公开(公告)号:CN118667214A
公开(公告)日:2024-09-20
申请号:CN202410871936.5
申请日:2024-07-01
Applicant: 西北工业大学
Abstract: 本发明属于高分子阻水膜技术领域,具体来说是一种氟化改性尼龙膜及其制备方法和应用。本发明先对尼龙膜进行羟基化处理,在其表面引入活性基团羟基,得到尼龙膜前驱体;随后采用三氟丙基三甲氧基硅烷氟化改性尼龙膜前驱体,使其表面形成一层致密的氟碳链层,降低尼龙膜对水的溶解度,阻止水分子的进入,从而降低水的透过率。本发明采用羟基化预处理和氟化改性两步获得氟化改性尼龙膜,操作简单,反应条件温和,产物稳定不容易破坏;且本发明所使用的仪器设备简单、成本低廉,获得的氟化改性尼龙膜能够用于电子器件的阻水包装。
-
-
-