安全协议分析的界——综合模型检查与Strand Spaces(英文)

1

作者 刘怡文 李伟琴 《中国科学院研究生院学报》 CAS CSCD 2002年第3期288-294,共7页

Strand Spaces是一种用于分析安全协议的机器证明方法.简要介绍了 Strand Spaces的基本特点,分析了其优劣,提出了构造协议的理想子环的算法,并以此来约束协议入侵者的能力和协议并行运行的次数.将模型检查与 Strand Spaces结合在一起,... Strand Spaces是一种用于分析安全协议的机器证明方法.简要介绍了 Strand Spaces的基本特点,分析了其优劣,提出了构造协议的理想子环的算法,并以此来约束协议入侵者的能力和协议并行运行的次数.将模型检查与 Strand Spaces结合在一起,提出了一种综合分析方法来验证协议的安全特性,该方法可充分发挥模型检查与 Strand Spaces二者的优势. 展开更多

关键词 安全协议分析 模型检查 strand spaceS 定理证明 机器证明 安全特性 网络安全

在线阅读 下载PDF 职称材料

基于Strand Space模型的CCITT X.509协议分析 被引量：4

2

作者 蒋睿 李建华 潘理 《上海交通大学学报》 EI CAS CSCD 北大核心 2004年第z1期169-173,共5页

运用前沿的安全协议形式化分析方法——StrandSpace模型理论,对CCITTX.509协议进行了分析,指出了该协议在保密性和认证正确性方面的缺陷,得到了BAN逻辑分析没有得到的保密性缺陷和相同的认证正确性缺陷.同时提出了改进的X.509协议,并用S... 运用前沿的安全协议形式化分析方法——StrandSpace模型理论,对CCITTX.509协议进行了分析,指出了该协议在保密性和认证正确性方面的缺陷,得到了BAN逻辑分析没有得到的保密性缺陷和相同的认证正确性缺陷.同时提出了改进的X.509协议,并用StrandSpace模型论证了改进协议的保密性和认证正确性. 展开更多

关键词 strand space模型 安全协议 形式化方法 CCITT X.509

在线阅读 下载PDF 职称材料

融合邻域注意力和状态空间模型的医学视频分割算法

3

作者 丁建睿 张听 +1 位作者 刘家栋 宁春平 《电子与信息学报》 北大核心 2025年第5期1582-1595,共14页

在医学影像分析领域,精准分割视频中的病灶对于疾病的早期诊断和治疗至关重要。该文创新性地提出一种融合邻域注意力机制与状态空间模型的算法,旨在全面而精细地捕捉医学视频中的时空特征,从而对视频中的病灶进行准确分割。该算法通过... 在医学影像分析领域,精准分割视频中的病灶对于疾病的早期诊断和治疗至关重要。该文创新性地提出一种融合邻域注意力机制与状态空间模型的算法,旨在全面而精细地捕捉医学视频中的时空特征,从而对视频中的病灶进行准确分割。该算法通过两阶段的精心设计,显著提升了分割性能:第1阶段,通过深度卷积网络捕获低层次的空间语义信息,并借助邻域注意力机制,挖掘相邻帧间的局部时序语义关联。第2阶段,引入状态空间模型来捕捉全面的时序信息,并再次应用邻域注意力模块,进一步增强对局部时序特征的敏感度。该方法不仅有效整合了视频中丰富的时序信息,而且在局部和全局层面上实现了空间与时间特征的协同优化。相较于使用具有2次计算复杂度的自注意力机制,该文采用了具有线性计算复杂度的状态空间模型,显著提升了模型的训练效率和推理速度。所提算法在甲状腺超声视频数据集以及结肠息肉视频数据集CVC-ClinicDB和CVC-ColonDB上的交并比(IOU)指标分别达到了72.7%,82.3%和72.5%,相比该文的基线模型Vivim分别提高了5.7%,1.7%和5.5%。此外,消融实验进一步揭示了邻域注意力模块和状态空间模型在提取时序信息中发挥的关键作用。 展开更多

关键词 医学视频分割 邻域注意力机制 状态空间模型

在线阅读 下载PDF 职称材料

基于Mamba编解码器的运输皮带系统故障诊断模型

4

作者 韩建文 刘珈岑 +1 位作者 杨涌 郭瑞胜 《计算机应用》 北大核心 2025年第S1期343-348,共6页

运输皮带系统是工业领域重要的运输装置,而该系统的正常工作保障了企业生产活动的顺利进行。目前,针对该系统的故障诊断依赖于使用大量带有标签的历史监测数据进行模型训练,进而导致构建数据集和训练的成本增加。为了解决该问题,提出一... 运输皮带系统是工业领域重要的运输装置,而该系统的正常工作保障了企业生产活动的顺利进行。目前,针对该系统的故障诊断依赖于使用大量带有标签的历史监测数据进行模型训练,进而导致构建数据集和训练的成本增加。为了解决该问题,提出一种基于小样本学习的对齐残差Mamba网络(ARMNet)模型。首先,引入伪特征器,通过添加多组噪声增强信号的复杂性和多样性;其次,使用Mamba作为编解码器,有效提取信号特征并建立鲁棒的特征全局依赖关系;最后,为了充分利用通道信息,设计对齐残差机制实现多通道特征的对齐融合以及特征数据分类,从而提高运输皮带系统的诊断精度。实验结果表明,所提ARMNet模型能在少量数据(1%、5%、10%和15%)和训练次数(10 epoch和20 epoch)下实现最高99.4%的准确率,表现出优异故障诊断能力和可靠性。 展开更多

关键词 运输皮带 滚动轴承 故障诊断 残差网络 状态空间模型

在线阅读 下载PDF 职称材料

卷积Mamba模型驱动的地震随机噪声压制方法

5

作者 韦秀娟 刘兴业 周怀来 《煤田地质与勘探》 北大核心 2025年第5期196-206,共11页

【背景】地震随机噪声压制是提升地震资料质量的关键环节之一,数据驱动的深度学习方法提供了一种智能解决方案。然而,主流的基于卷积神经网络的随机噪声智能压制方法受限于局部感受野特性,导致去噪过程中局部细节与宏观结构的协同优化不... 【背景】地震随机噪声压制是提升地震资料质量的关键环节之一,数据驱动的深度学习方法提供了一种智能解决方案。然而,主流的基于卷积神经网络的随机噪声智能压制方法受限于局部感受野特性,导致去噪过程中局部细节与宏观结构的协同优化不足,进而影响噪声压制精度。广泛应用于全局特征提取的Transformer模型通过自注意力机制能够有效捕获长距离依赖关系,理论上可弥补卷积神经网络在全局建模能力方面的局限性。但其计算慢,资源占用大,应用受限。【目的和方法】针对上述问题,提出了融合卷积Mamba的地震数据随机噪声压制网络(CMUNet)。基于二维选择性扫描技术(沿水平、垂直双方向遍历输入数据),通过状态空间方程构建全局动态系统,实现对地震数据时空特征的跨尺度特征提取,借助Mamba模型的硬件感知并行扫描算法降低计算资源消耗,保证去噪效果的同时提升计算效率。针对地震数据的特点,设计卷积-Mamba混合模块,在UNet编码器中构建层次化特征提取路径,即浅层CNN聚焦局部噪声模式识别,深层Mamba捕获大尺度地质结构关联性;进一步引入残差通道注意力门控,强化有效信号与噪声的特征可分性。【结果和结论】对于合成数据测试,提出的方法相较于UNet在信噪比、峰值信噪比和结构相似性上分别提高了2.4 dB、2.4 dB和0.0056,表现出对随机噪声的有效压制能力及对有效信号的保护能力。在野外实际地震数据应用中,局部相似性图像分析结果显示较低的局部相似值,进一步印证了该方法对有效信号的损伤程度低,展现出更优的保幅性,具有良好应用前景。 展开更多

关键词 地震随机噪声压制 深度学习 卷积神经网络 状态空间模型 Mamba

在线阅读 下载PDF 职称材料

对改进的无线认证协议SSM的分析

6

作者 郭宇燕 魏仕民 卓泽朋 《计算机工程与应用》 CSCD 北大核心 2009年第1期129-130,共2页

针对刘霞提出的改进的Server-specific MAKEP协议,首次利用一种新兴的形式化分析工具—串空间模型对其进行分析。先对协议的机密性进行分析,并运用"理想"和"诚实"两个概念简化分析协议的步骤,证明了rs,rc是保密的,... 针对刘霞提出的改进的Server-specific MAKEP协议,首次利用一种新兴的形式化分析工具—串空间模型对其进行分析。先对协议的机密性进行分析,并运用"理想"和"诚实"两个概念简化分析协议的步骤,证明了rs,rc是保密的,然后对协议的认证性进行分析,分析包括响应者认证和发起者认证。最终结果表明改进的SSM协议能够达到协议的安全目标。 展开更多

关键词 ssm协议 串空间 机密性 认证性

在线阅读 下载PDF 职称材料

Strand空间中基于安全密钥概念的证明思路 被引量：1

7

作者 任侠 吕述望 《通信学报》 EI CSCD 北大核心 2005年第2期29-34,共6页

提出了Strand空间模型中证明安全协议的一个新思路,它从安全密钥的概念出发,参照基于理想概念的证明方法,得出证明所需的预备结论,从而对协议的秘密属性与认证属性进行证明。此外,还给出了一个针对Yahalom-BAN协议安全性的证明实例,从... 提出了Strand空间模型中证明安全协议的一个新思路,它从安全密钥的概念出发,参照基于理想概念的证明方法,得出证明所需的预备结论,从而对协议的秘密属性与认证属性进行证明。此外,还给出了一个针对Yahalom-BAN协议安全性的证明实例,从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三方认证协议的证明,并且它还使得证明过程简洁而直观。 展开更多

关键词 计算机科学技术基础学科 安全协议证明 strand空间模型 安全密钥 理想概念

在线阅读 下载PDF 职称材料

一种基于Strand空间的认证协议检测方法

8

作者 姜志坚 韩芳溪 《计算机应用》 CSCD 北大核心 2004年第1期76-79,共4页

Strand空间是一种安全协议分析模型 ,使用图的形式来描述协议 ,证明协议的正确性。通过分析研究 ,本文建立了攻击者知识模型 ,在此基础上提出了一种基于Strand空间的认证协议检测方法 ,该方法产生状态少 ,避免了状态空间的爆炸。并以Nee... Strand空间是一种安全协议分析模型 ,使用图的形式来描述协议 ,证明协议的正确性。通过分析研究 ,本文建立了攻击者知识模型 ,在此基础上提出了一种基于Strand空间的认证协议检测方法 ,该方法产生状态少 ,避免了状态空间的爆炸。并以Needham Schroeder公钥协议为例 ,说明了该方法进行协议分析的过程。 展开更多

关键词 strand空间 BUNDLE 攻击者知识模型 状态搜索

在线阅读 下载PDF 职称材料

基于格密码的5G-R车地认证密钥协商方案 被引量：2

9

作者 陈永 刘雯 张薇 《铁道学报》 EI CAS CSCD 北大核心 2024年第2期82-93,共12页

5G-R作为我国下一代高速铁路无线通信系统,其安全性对于保障行车安全至关重要。针对5G-AKA协议存在隐私泄露、根密钥不变和效率低等问题,基于格密码理论提出一种新型5G-R车地认证方案。首先,使用临时身份信息GUTI代替SUCI,克服了SUCI明... 5G-R作为我国下一代高速铁路无线通信系统,其安全性对于保障行车安全至关重要。针对5G-AKA协议存在隐私泄露、根密钥不变和效率低等问题,基于格密码理论提出一种新型5G-R车地认证方案。首先,使用临时身份信息GUTI代替SUCI,克服了SUCI明文传输的缺点。其次,设计基于格密码的根密钥更新策略,采用格上公钥密码体制、近似平滑投射散列函数和密钥共识算法,实现了根密钥的动态更新和前后向安全性。再次,加入随机质询和消息认证码,实现了通信三方的相互认证,可有效防范重放、DoS等多种恶意攻击。最后,采用串空间形式化方法进行安全验证,结果表明:本文方法较其他方法有更高的安全性,被攻击成功的概率最低,仅为O(n^(2))×2^(-128),且有较低的计算开销和通信开销,能够满足5G-R高安全性的需求。 展开更多

关键词 5G-R 车地认证密钥协商 格密码 前后向安全性 串空间模型

在线阅读 下载PDF 职称材料

基于第三方的安全移动支付方案 被引量：21

10

作者 黄晓芳 周亚建 +1 位作者 赖欣 杨义先 《计算机工程》 CAS CSCD 北大核心 2010年第18期158-159,162,共3页

在现有移动支付方案研究的基础上,提出一种新的基于第三方的安全移动支付方案。该方案以第三方支付平台为基础,在交易过程中采用"一次一密"的密钥分配机制,改善了现有移动支付方案的缺陷,在安全性上实现交易信息的保密性、不... 在现有移动支付方案研究的基础上,提出一种新的基于第三方的安全移动支付方案。该方案以第三方支付平台为基础,在交易过程中采用"一次一密"的密钥分配机制,改善了现有移动支付方案的缺陷,在安全性上实现交易信息的保密性、不可伪造性及不可否认性等特性,并利用串空间模型的形式化分析方法对相关协议进行安全性证明。 展开更多

关键词 移动支付 一次一密 协议形式化分析 串空间模型

在线阅读 下载PDF 职称材料

基于串空间的Ad Hoc安全路由协议攻击分析模型 被引量：8

11

作者 董学文 马建峰 +2 位作者 牛文生 毛立强 谢辉 《软件学报》 EI CSCD 北大核心 2011年第7期1641-1651,共11页

根据ad hoc安全路由协议的特点,分析串空间理论的优势和不足,并在串空间分析协议的基础上,设计出一种返回不存在路由的协议攻击分析模型.以扩展SRP协议为例,验证了模型的正确性.

关键词 串空间 攻击分析模型 不存在路由 SRP(security ROUTING protocol)协议

在线阅读 下载PDF 职称材料

基于预共享密钥的LAN安全关联方案改进与分析 被引量：4

12

作者 肖跃雷 武君胜 朱志祥 《计算机应用》 CSCD 北大核心 2018年第11期3246-3251,共6页

针对基于预共享密钥的有线局域网(LAN)安全关联方案中交换密钥建立过程的通信浪费问题,提出了一种改进的LAN安全关联方案。该方案通过对基于预共享密钥的鉴别及单播密钥协商过程的改进,生成了新加入交换机和认证服务器之间的成对主密钥... 针对基于预共享密钥的有线局域网(LAN)安全关联方案中交换密钥建立过程的通信浪费问题,提出了一种改进的LAN安全关联方案。该方案通过对基于预共享密钥的鉴别及单播密钥协商过程的改进,生成了新加入交换机和认证服务器之间的成对主密钥,并用于新加入交换机与各个不相邻交换机之间的交换密钥协商过程。然后,在该方案基础上提出了一种可信计算环境下的LAN安全关联方案。该方案在改进的基于预共享密钥的鉴别及单播密钥协商过程中进一步增加对终端设备的平台认证,从而实现终端设备的可信网络接入,有效增强了LAN的安全性。最后,利用串空间模型(SSM)证明了这两个LAN安全关联方案是安全的。性能对比分析结果表明,该方案有效减少了交换密钥建立过程的消息交互数和计算量。 展开更多

关键词 有线局域网 可信计算 平台认证 串空间模型 安全关联

在线阅读 下载PDF 职称材料

基于认证测试方法的EAP-AKA协议分析 被引量：9

13

作者 王鹏 李谢华 陆松年 《计算机工程与应用》 CSCD 北大核心 2007年第15期157-159,共3页

EAP-AKA(Extensible Authentication Protocol-Authentication and Key Agreement)是WLAN的认证和密钥分配协议;认证测试是一种以串空间理论为基础的安全协议分析验证方法。运用认证测试方法对EAP-AKA协议的双向身份认证过程进行了分析... EAP-AKA(Extensible Authentication Protocol-Authentication and Key Agreement)是WLAN的认证和密钥分配协议;认证测试是一种以串空间理论为基础的安全协议分析验证方法。运用认证测试方法对EAP-AKA协议的双向身份认证过程进行了分析证明,结果说明EAP-AKA能够保证移动终端和认证服务器之间的双向认证。 展开更多

关键词 EAP-AKA协议 认证测试方法 串空间模型 3G WLAN 形式化方法

在线阅读 下载PDF 职称材料

基于证书的有线局域网安全关联方案改进与分析 被引量：3

14

作者 肖跃雷 邓小凡 《计算机应用》 CSCD 北大核心 2021年第7期1970-1976,共7页

在基于三元对等鉴别(TePA)的有线局域网(LAN)媒体访问控制安全(TLSec)中,基于证书的LAN安全关联方案在交换密钥建立过程中存在通信浪费和不适用于可信计算环境的问题。为了解决这两个问题,首先提出了一种改进的基于证书的LAN安全关联方... 在基于三元对等鉴别(TePA)的有线局域网(LAN)媒体访问控制安全(TLSec)中,基于证书的LAN安全关联方案在交换密钥建立过程中存在通信浪费和不适用于可信计算环境的问题。为了解决这两个问题,首先提出了一种改进的基于证书的LAN安全关联方案。该方案简化了新加入交换机与各个不相邻交换机之间的交换密钥建立过程,从而提高了交换密钥建立过程的通信性能。然后,在该方案基础上提出了一种可信计算环境下的基于证书的LAN安全关联方案。该方案在基于证书的鉴别过程中增加了对新加入终端设备的平台认证,从而实现了新加入终端设备的可信网络接入,能有效防止新加入终端设备将蠕虫、病毒和恶意软件带入LAN。最后,利用串空间模型(SSM)证明了这两个方案是安全的。此外,通过定性和定量的对比分析可知,这两个方案要优于相关文献所提出的方案。 展开更多

关键词 有线局域网 可信计算 平台认证 串空间模型 安全关联

在线阅读 下载PDF 职称材料

基于认证测试的安全协议分析 被引量：16

15

作者 杨明 罗军舟 《软件学报》 EI CSCD 北大核心 2006年第1期148-156,共9页

认证测试是一种新型的在Strand空间模型基础上发展而来的安全协议分析与辅助设计技术,可用于大部分协议的关联属性的分析;但是与Strand空间模型一样,它主要用于协议正确性证明,在协议为何不正确以及如何进行改进这个问题上处理分析能力... 认证测试是一种新型的在Strand空间模型基础上发展而来的安全协议分析与辅助设计技术,可用于大部分协议的关联属性的分析;但是与Strand空间模型一样,它主要用于协议正确性证明,在协议为何不正确以及如何进行改进这个问题上处理分析能力较弱.在认证测试概念的基础上,结合逻辑分析的优点,提出了增强型认证测试EAT(enhanced authentication test)和Correspondence函数等概念来对安全协议进行关联属性的分析,很好地解决了这一问题.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现. 展开更多

关键词 网络安全 协议分析 strand空间模型 认证测试 认证逻辑

在线阅读 下载PDF 职称材料

基于CPK的可信平台用户登录认证方案 被引量：6

16

作者 马宇驰 赵远 +1 位作者 邓依群 李益发 《计算机工程与应用》 CSCD 北大核心 2010年第1期90-94,共5页

用户登录身份认证是建立操作系统可信性的一个非常重要的环节,是建立可信计算环境的基础。首先讨论了认证的相关技术,介绍了CPK(组合公钥)原理,然后根据可信计算组织的规范,利用CPK算法和动态验证码的技术,提出了一种基于CPK的可信平台... 用户登录身份认证是建立操作系统可信性的一个非常重要的环节,是建立可信计算环境的基础。首先讨论了认证的相关技术,介绍了CPK(组合公钥)原理,然后根据可信计算组织的规范,利用CPK算法和动态验证码的技术,提出了一种基于CPK的可信平台用户登录认证方案,该方案属于双因素认证方案,将认证和授权严格分开,并启发式分析了方案的特色和安全,最后在串空间模型下证明了方案的安全性,取得了比TCG标准中引用的方案更好的性能。 展开更多

关键词 可信计算 组合公钥(CPK) 身份认证 可信登录 串空间模型

在线阅读 下载PDF 职称材料

基于公钥的EAP-AKA协议改进及安全性分析 被引量：3

17

作者 董春冻 王聪 +2 位作者 刘军 周星 张玉静 《计算机工程与设计》 CSCD 北大核心 2014年第1期32-36,157,共6页

为了提高3G网络和WLAN之间认证的安全性和可靠性,实现两者之间的安全连接与通信,针对扩展认证密钥协商(EAP-AKA)协议存在的安全缺陷及现有一些改进方法的不足,提出了一种基于公钥密码体制的改进方案。在WLAN接入网和3G网络服务器之间增... 为了提高3G网络和WLAN之间认证的安全性和可靠性,实现两者之间的安全连接与通信,针对扩展认证密钥协商(EAP-AKA)协议存在的安全缺陷及现有一些改进方法的不足,提出了一种基于公钥密码体制的改进方案。在WLAN接入网和3G网络服务器之间增设公钥来实现两者的相互认证以及对用户身份等信息的加密传输,建立了共享密钥K的更新机制,运用串空间模型和认证测试方法对改进方案进行了相应的安全性分析和证明。分析结果表明,该方案具有良好的性能和安全性,可以实现3G网络和WLAN之间的安全认证与互联。 展开更多

关键词 第三代移动通信 无线局域网 扩展认证密钥协商协议 公钥 串空间模型 认证测试

在线阅读 下载PDF 职称材料

基于Pro/E的圆弧弯曲钢丝绳建模理论及几何实现 被引量：12

18

作者 郭卫 路正雄 张武 《中国机械工程》 EI CAS CSCD 北大核心 2015年第17期2363-2368,共6页

为了精确建立多股圆弧弯曲钢丝绳空间实体模型,对双螺旋钢丝绳各钢丝空间几何位置关系进行了分析,运用空间坐标变换理论建立了圆弧弯曲钢丝绳数学模型,推导出圆弧弯曲钢丝绳各钢丝中心线的参数方程,结合Pro/E的参数化建模和曲面造型功能... 为了精确建立多股圆弧弯曲钢丝绳空间实体模型,对双螺旋钢丝绳各钢丝空间几何位置关系进行了分析,运用空间坐标变换理论建立了圆弧弯曲钢丝绳数学模型,推导出圆弧弯曲钢丝绳各钢丝中心线的参数方程,结合Pro/E的参数化建模和曲面造型功能,完成了6×7IWS圆弧弯曲钢丝绳几何模型的建立。所获结论为弯曲状态螺旋钢丝绳数学模型的建立奠定了理论基础,为圆弧弯曲状态下钢丝绳的弹性特性理论分析提供了可能。 展开更多

关键词 多股圆弧弯曲钢丝绳 坐标变换理论 数学建模 实体建模

在线阅读 下载PDF 职称材料

基于串空间的匿名形式化分析扩展 被引量：2

19

作者 董学文 牛文生 +2 位作者 马建峰 谢晖 毛立强 《通信学报》 EI CSCD 北大核心 2011年第6期124-131,共8页

为了使串空间满足匿名性分析的特殊需求,利用串空间丛消息解析等价技术,结合观察视角,分别定义2种发送者匿名性、接收者匿名性;基于不同的侧重点,定义出不同的关系匿名性,在此基础上扩展并完善了基于串空间的匿名性形式化框架。同时,定... 为了使串空间满足匿名性分析的特殊需求,利用串空间丛消息解析等价技术,结合观察视角,分别定义2种发送者匿名性、接收者匿名性;基于不同的侧重点,定义出不同的关系匿名性,在此基础上扩展并完善了基于串空间的匿名性形式化框架。同时,定性分析多种匿名性之间的匿名程度差异,并以一个ad hoc网络下的基于区域的k匿名路由协议为例,验证形式化框架的正确性和高效性。 展开更多

关键词 串空间 匿名协议 等价丛 匿名程度

在线阅读 下载PDF 职称材料

基于状态空间模型的雷达目标一维散射中心参数估计 被引量：2

20

作者 袁仕继 高勋章 +1 位作者 金光虎 王宏强 《系统工程与电子技术》 EI CSCD 北大核心 2011年第4期779-782,共4页

复杂雷达目标回波可看成是多散射中心回波的合成。首先建立了雷达目标回波的状态空间模型,然后利用超分辨方法估计一维散射中心的参数。在此基础上提出了一种基于状态空间的散射点数估计方法,该方法能够嵌入状态空间分析方法中,在进行... 复杂雷达目标回波可看成是多散射中心回波的合成。首先建立了雷达目标回波的状态空间模型,然后利用超分辨方法估计一维散射中心的参数。在此基础上提出了一种基于状态空间的散射点数估计方法,该方法能够嵌入状态空间分析方法中,在进行超分辨分析的同时获取目标散射点数的精确估计,最后利用经典雷达回波模型对该方法进行了仿真实验验证。仿真结果表明,该方法能有效地提取一维散射中心参数并估计出散射点数,且具有良好的抗噪性。 展开更多

关键词 状态空间模型 散射中心 散射点数 超分辨分析

在线阅读 下载PDF 职称材料