电子学报

Select

殷昱煜;李莹;邓水光;尹建伟

电子学报. 2009, 37(3): 433-438.

摘要 ( ) PDF全文 ( )

可视化

Web服务行为相容性和一致性是保证服务组装的正确性和可靠性的关键.然而,如何有效快捷的对其判定是一大难点.在深入分析服务行为特点的基础上,引入Martin-Lf类型论(简称:MTT),并针对其在服务动态行为描述上的不足进行有益的扩展.然后,基于扩展后MTT的相关理论,给出服务行为相容性和一致性的证明规则.最后,通过实例给出服务行为相容性和一致性判定过程,并分析其复杂度.

Select

基于双线性配对的可证安全的代理签名方案

许峰;崔隽;黄皓

电子学报. 2009, 37(3): 439-443.

摘要 ( ) PDF全文 ( )

可视化

代理签名是指当某个签名者由于某种原因不能签名时,将签名权委托给他人替自己行使签名权的一种签名,代理签名在实际应用中有着重要的作用.提出了一个基于双线性配对的代理签名方案,并证明其在随机Oracle模型下是可证安全的.分析表明该方案比Zhang等的代理签名方案有更高的效率.

Select

一种下行多用户MIMO系统中的鲁棒波束形成算法

孙昕;张钦;马鹏飞

电子学报. 2009, 37(3): 444-448.

摘要 ( ) PDF全文 ( )

可视化

提出了一种下行多用户MIMO系统中的鲁棒性线性处理算法.该算法利用了信道均值和天线相关矩阵等信道统计信息,在总发射功率不大于目标值的约束条件下,能够使所有用户的均方误差(total mean square error,TMSE)在随机信道上的平均值最小.该算法不明显依赖瞬时信道信息(channel state information,CSI),当信道估计得到的CSI不准确时,它能够有效降低由CSI偏差带来的性能损失.仿真结果表明提出的算法能够有效地降低由于不准确CSI带来的误码率和平均MSE的损失.

Select

引入双程传播损耗的近场大型目标球面逆投影成像算法研究

孙厚军;李世勇;胡伟东;吕昕

电子学报. 2009, 37(3): 449-453.

摘要 ( ) PDF全文 ( )

可视化

球面波双程传播损耗对大型目标近场成像的幅度影响显著,通过引入双程传播损耗补偿,改进了球面逆投影算法,改进后的算法可以明显提高成像的幅度精度.同理,利用双程传播损耗补偿可以得到改进的球面卷积-逆投影算法.二者的成像质量基本相同,但前者的计算量要更小.

Select

一种新型极化抗干扰技术研究

周万幸

电子学报. 2009, 37(3): 454-458.

摘要 ( ) PDF全文 ( )

可视化

传统雷达采用单极化形式,没有利用目标和干扰的极化域特征,文章在分析了常规极化抗干扰原理和性能的基础上,提出了一种新型的交叉极化抗干扰天线阵列,分析了该种天线的极化抗干扰性能,仿真和实验数据表明,交叉极化天线阵列不仅具有较好的极化抗干扰性能,同时降低了整套雷达的设备量,具有广泛的应用前景.

Select

一种利用强度信息的雷达HRRP自动目标识别方法

陈凤;杜兰;刘宏伟;保铮;候庆禹

电子学报. 2009, 37(3): 459-463.

摘要 ( ) PDF全文 ( )

可视化

针对雷达高分辨距离像(HRRP)的幅度敏感性,现有HRRP雷达自动目标识别(RATR)方法一般简单地能量归一化.本文借鉴切空间距离的思想,提出一种利用HRRP回波强度信息提高识别精度的方法,实测数据仿真试验证明与传统方法相比,该方法可提高识别率约5个百分点.

Select

基于推广能力测度的多类SVDD模式识别方法

朱孝开;杨德贵

电子学报. 2009, 37(3): 464-469.

摘要 ( ) PDF全文 ( )

可视化

经典的基于距离测度的SVDD(Support Vector Domain Description)方法在解决两类(多类)识别问题时具有误判率较高、识别率低于普通二类SVC分类器等缺点.本文在分析其原因的基础上,提出了一种更能反映样本与类别本质关系的推广能力测度,并由此提出了具有多层结构的多类SVDD模式识别方法.对实测雷达一维距离像数据的测试表明,该方法在保留了经典SVDD识别器算法复杂程度低、扩充性强、对训练样本数据规模上要求低等优点的同时,有效地降低了误判率,识别率已接近甚至达到二类SVC的水平.

Select

聚束式SAR的宽场景成像算法

井伟;张磊;邢孟道;保铮

电子学报. 2009, 37(3): 470-475.

摘要 ( ) PDF全文 ( )

可视化

提出了基于SPECAN处理的宽场景聚束式SAR成像算法.首先对距离Dechirp后的信号在方位上作谱分析(SPECAN)处理消除方位模糊并对信号支撑区进行伸缩与平移变换,二次相位补偿后选择合适的插值方法恢复信号理想支撑区,最后二维IFFT成像.讨论并给出了算法对脉冲重复频率选择的限制.仿真实验验证了该方法的有效性.

Select

灰度图像的二维交叉熵直线型阈值分割法

范九伦;雷博

电子学报. 2009, 37(3): 476-480.

摘要 ( ) PDF全文 ( )

可视化

一维Otsu法是一个经典的阈值分割方法,遵循该方法的构造思想,Li 与 Lee基于交叉熵提出了一个阈值分割方法.在解释和说明Li 与 Lee的方法的基础上,与二维Otsu直线型阈值分割方法相对应,提出二维灰度直方图上的二维交叉熵直线型阈值分割方法并给出快速递推公式.与二维Otsu直线型阈值分割法相比,新方法能够更好的适应目标和背景方差相差较大的情形,是一个有效的阈值分割方法.

Select

共形天线阵列流形的建模方法

王布宏;郭英;王永良;齐子森

电子学报. 2009, 37(3): 481-484.

摘要 ( ) PDF全文 ( )

可视化

共形天线阵列流形的数学建模是共形阵列天线信号处理的前提和基础.由于载体曲率和单元方向图指向的差异,在共形天线阵列流形的建模中,我们遇到的突出难题是如何实现单元极化方向图在阵列全局坐标系中的有效建模.首先利用三次欧拉旋转变换构造了任意三维几何载体共形天线全局直角坐标系到单元局部直角坐标系旋转变换的统一框架,并以此为基础,实现了共形天线全局极坐标系到局部极坐标系的空间旋转变换和单元极化方向图的全局旋转变换.最后,通过柱面共形阵列天线固有的遮蔽效应进一步验证了单元方向图旋转变换的正确性.

Select

相扫天气雷达扫描方式研究

高玉春;杨金红;程明虎;柴秀梅

电子学报. 2009, 37(3): 485-488.

摘要 ( ) PDF全文 ( )

可视化

为了解决现有天气雷达垂直分辨率低和探测周期长的问题,本文旨在分析了雷达的两种采样方式CPS(Contiguous Pairs Sampling)与IPS(Independent Pairs Sampling),设计了基于IPS的交互式波束多路转换扫描方式,这种扫描方式适用于速度谱宽较大的灾害性天气探测,同时对现有多普勒天气雷达体扫模式中的降水模式VCP11(Volume Coverage Pattern)进行了改进,提出了适于相控阵天气雷达在俯仰上采用三波束同时扫描的方案,最后对两种VCP进行了评价.

Select

ZCZ屏蔽阵列偶集的研究

李兆斌;蒋挺;周正

电子学报. 2009, 37(3): 489-493.

摘要 ( ) PDF全文 ( )

可视化

将最佳屏蔽阵列偶应用于ZCZ (零相关区)阵列中,提出了一种新的ZCZ阵列偶集的构造方法.通常的ZCZ阵列集构造方法是基于最佳阵列的,而本文是将最佳屏蔽阵列偶和正交矩阵相结合,通过选择适当的移位序列,经交织变换可以生成具有一定体积和零相关区的ZCZ屏蔽阵列偶集.由于最佳屏蔽阵列偶的存在范围较广泛,弥补了最佳周期阵列体积受限的缺陷,因而使用本文的方法构造出的ZCZ屏蔽阵列偶集具有较大的容量,可以更好地满足实际工程的需要.

Select

不同增益天线旋转扫描扇形波束散射计的风场反演仿真

林文明;董晓龙

电子学报. 2009, 37(3): 494-499.

摘要 ( ) PDF全文 ( )

可视化

本文介绍了一种星载Ku波段旋转扫描扇形波束散射计及其主要系统参数.该散射计工作在500km高度的太阳同步轨道.通过仿真比较这种散射计在不同增益天线下的风场反演能力,确定刈幅大于1000km时天线的双程增益应不小于51.5dB、距离向3dB波束宽度约为25度.最后将反演风场的质量与笔形波束的SeaWinds散射计的结果进行对比,得知这种新型的散射计有良好的风场反演能力.特别地,它能显著改善高风速条件下的风向反演精度.

Select

低信噪比下的LMS自适应无偏时延估计

吴慧娟;文玉梅;李平

电子学报. 2009, 37(3): 500-505.

摘要 ( ) PDF全文 ( )

可视化

比较性研究了最小均方(LMS)时延估计器中有偏与无偏估计算法的时延估计性能,并基于Treichler的γ-LMS 算法提出了一种改进的无偏估计方法.利用自适应滤波器中最佳逼近原理的几何解释来估计输入噪声的功率,迭代过程中逐步去除输入噪声的影响,使得最优维纳解的真实峰值得到增强,在低信噪比或复杂噪声环境下显著改善了自适应时延估计性能.该方法无需假设输入与输出噪声功率相等或功率比已知、有用信号应为白过程等限制条件,因此具有广泛的应用价值.仿真与实际数据处理都验证了该方法的有效性.

Select

基于样本加权的三通道SAR-GMTI机载数据处理及性能分析

曾操;廖桂生;杨志伟;刘聪锋

电子学报. 2009, 37(3): 506-512.

摘要 ( ) PDF全文 ( )

可视化

针对机载三通道雷达系统的杂波抑制问题,提出基于样本加权估计杂波相关矩阵的三通道联合动目标检测方法.基于广义内积值对像素矢量样本加权,三通道联合杂波抑制后检测出动目标位置,局部两两干涉实现动目标重定位和测速,最后进行了性能分析.所提方法无需设置样本选取门限,对图像配准精度仅要求在1个像素以内,样本加权后改善因子提高明显;3幅图像联合处理的性能优于2幅图像处理.机载实测数据处理结果验证了方法的有效性和稳健性.

Select

一类时变时滞模糊细胞神经网络的时滞依赖指数稳定性判据

刘振伟;张化光;佟绍成

电子学报. 2009, 37(3): 513-518.

摘要 ( ) PDF全文 ( )

可视化

针对一类带有时变时滞的模糊细胞神经网络,通过适当的构造Lyapunov-Krasovskii泛函,以线性矩阵不等式的形式提出了一种新颖的依赖于时滞的全局指数稳定性判据.与之前结果相比,所提出的判据针对模糊时滞项进行了变换,从而首次考虑了模糊细胞神经网络中非模糊项的连接权矩阵中元素的符号问题,降低了判据的保守性.并且时滞变化率的限制将被放松.仿真结果进一步证明了判据的有效性.

Select

Alpha稳定分布噪声中的韧性投影近似子空间跟踪算法

李森;

电子学报. 2009, 37(3): 519-522.

摘要 ( ) PDF全文 ( )

可视化

为了克服投影近似子空间跟踪算法(PAST)在脉冲噪声环境下性能的退化,本文以Alpha 稳定分布为脉冲噪声模型,依据韧性的M估计方法提出了一种新的代价函数,并推导出基于递归最小M估计的韧性投影近似自适应信号子空间跟踪算法(RLM_-PAST).由于采用了适合噪声模型的M估计函数,新算法与采用递归最小二乘估计的子空间跟踪算法相比,在稳定分布脉冲噪声环境下具有更好的性能.把新方法应用于波达方向(DOA)估计,数值仿真结果表明了该算法的有效性.

Select

宽带接收机的窄带信号频率和二维角度估计新方法

刘聪锋;廖桂生

电子学报. 2009, 37(3): 523-528.

摘要 ( ) PDF全文 ( )

可视化

针对宽带接收机对窄带信号进行频率和二维到达角(DOA)估计问题,本文提出了一种新的快速频率和角度估计方法,该方法首先利用参考频率进行DOA预估计,然后利用空域滤波有效地将频率和预估计DOA进行匹配,并根据天线阵列的结构特点利用信号的相应频率进行预估计DOA校准,获得了信号的准确频率和DOA估计值.最后的仿真分析验证了所提出方法的正确性和有效性.

Select

一种新型多步式位置可选择更新粒子群优化算法

高芳;崔刚;吴智博;杨孝宗

电子学报. 2009, 37(3): 529-534.

摘要 ( ) PDF全文 ( )

可视化

粒子群优化(PSO)算法是一种新兴的群体智能优化技术,其由于具有原理简单、参数少、效果好等优点已获得广泛研究和应用.粒子个体极值更新速率低是影响该算法收敛速度和精度的主要因素之一.本文提出一种新型多步式位置可选择更新的粒子群算法,把标准粒子群中速度的单步更新公式分解成三步更新,取所生成的3个位置中的最好位置作为最终结果,细化了粒子的搜索轨迹、在不增加算法复杂度条件下提高了个体极值以及全局极值的更新速率,因而改善了算法的收敛速度和精度.采用Sphere、Rosenbrock等6个经典测试函数,并按照固定迭代次数运行和固定时间长度运行两种方法进行测试.测试结果表明该算法简单、稳健、高效,而且明显优于现有的4种经典粒子群算法.

Select

基于小波矩量法的平面螺旋电感的电磁辐射研究

董辉;朱义胜;赵柏山

电子学报. 2009, 37(3): 535-539.

摘要 ( ) PDF全文 ( )

可视化

平面电感实现了电感器件的小型化和片式化.当工作频率达到射频或微波段时,应考虑平面电感线圈的辐射和散射对其周围电路的影响.本文采用小波矩量法研究了PCB(printed circuit board)平面螺旋电感的电磁辐射特性.采用区间小波作为矩量法中的基函数和检验函数,计算了电感中的电流分布,给出了辐射方向图.与传统矩量法相比,小波矩量法可以使系数矩阵稀疏化,从而节省了计算机资源和计算时间.

Select

一种基于领域模型和构件组合的软件开发框架

王晓燕;刘淑芬;张俊

电子学报. 2009, 37(3): 540-545.

摘要 ( ) PDF全文 ( )

可视化

本文提出了一种基于领域模型和构件组合的软件开发框架,使用领域模型捕获系统业务静态需求,描述领域内业务对象之间的静态关系,通过领域应用框架描述系统的共性,并在框架中提供足够多的反映领域可变性的扩展点,在此扩展点上可以集成各种类型构件,创建新的应用系统,来满足领域内不同具体应用的特定需求.实验表明,该框架能够利用同一领域软件系统间的共性和变化性并实施有效的控制,促进了软件复用,提高软件生产效率和质量.

Select

双散射信道条件下六边形多载波调制系统的定时同步算法

许魁;沈越泓;陈寿齐

电子学报. 2009, 37(3): 546-551.

摘要 ( ) PDF全文 ( )

可视化

在双散射信道条件下,以时频平面上任一点处期望信号能量与脉冲间干扰能量以及加性噪声能量的信干噪比为目标函数,将目标函数取最大值的时刻作为六边形多载波调制系统的最优定时时刻,推导出最优定时时刻的迭代算法,得出信道平均时延可以作为近似最优定时时刻的结论,并提出一种频域近似最优定时同步算法.理论分析与计算机仿真结果表明,在双散射信道条件下与传统的定时时刻相比,最优定时时刻在信噪比为30dB时能够获得2~3dB的信干噪比增益,提出频域近似最优定时同步算法在存在载波频偏时估计的均方误差小于10^-4.

Select

表面误差对反射面天线电性能的影响

宋立伟;段宝岩;郑飞;马洪波

电子学报. 2009, 37(3): 552-556.

摘要 ( ) PDF全文 ( )

可视化

针对反射面天线存在的误差问题,建立了包含系统误差和随机误差对电性能影响的数学模型.该模型根据表面误差与口径面相位分布的关系,利用口径法得到功率方向图.通过对模型分析可知,随机误差对方向图各个方位产生影响;系统误差产生栅瓣,且栅瓣的位置和电平取决于变形情况.最后将模型应用到8米口径的抛物面天线中,收到了满意的结果,验证了文中模型和方法的正确性.

Select

基于语义的文本流形研究

杨震;范科峰;雷建军;郭军

电子学报. 2009, 37(3): 557-561.

摘要 ( ) PDF全文 ( )

可视化

本文通过引入包括Isomap流形降维、查询语义词典(WordNet)等高度非线性的方法,期望将文本信息处理领域长期专注于"语法"层次的研究,演进到"语义"的层次.利用流形学习工具研究了中文词汇在语义空间(分类空间)的分布聚集情况,通过利用WordNet词典进行了短信聚类的研究.实验结果表明,本文的方法能够更好地反映文本之间的内在联系.

Select

基于免疫编码的图像特征选择方法

曹琼;郑红;李行善

电子学报. 2009, 37(3): 562-566.

摘要 ( ) PDF全文 ( )

可视化

针对目标与背景两类图像模式识别问题,在已有的特征选择方法基础上,提出了一种新颖的基于免疫分子编码机理的图像特征选择方法(Immune Antibody Construction Algorithm,IACA).该方法借鉴生物免疫系统的抗体分子编码机理,在对样本进行参数估计情况下,提出熵度量单个特征对于目标和背景的识别敏感度;从集合的角度研究并且定义了特征之间的包含和互补关系;并且基于组成抗体分子氨基酸结合能量最小原则,提出了关于图像目标的免疫抗体构建规则;最终实现了寻找最优特征子集的算法IACA,该特征子集的维数通过算法自动获得无需人为设定,选择结果为目标的"免疫抗体",能很好的从背景中识别目标.利用归纳法证明了用IACA得到的特征子集的最优性.与其他特征选择方法比较,测试结果显示该算法具有较低的计算复杂度和错误识别率,表明了该方法的优越性和先进性.

Select

提供端到端时延和时延抖动保障的QoS控制

邱菡;李玉峰;邬江兴

电子学报. 2009, 37(3): 567-573.

摘要 ( ) PDF全文 ( )

可视化

提出了一类具有最大速率控制的速率保障(Maximum Rate Control-Guaranteed Rate,MRC-GR)算法,可对流同时提供速率保障和最大速率控制.当网络各节点执行MRC-GR算法时,提供了确定网络端到端时延上限和下限的方法,针对服从令牌桶模型和同步单元模型的业务源给出了网络时延上限和下限.针对MRC-GR算法实例——具有最大速率控制的最差情形公平加权公平排队(worst-case fair weighted fair queueing with maximum rate control)调度算法进行仿真实验,仿真结果验证了理论分析.

Select

基于格子波尔兹曼模型的图像去噪

陈玉;严壮志;钱跃

电子学报. 2009, 37(3): 574-580.

摘要 ( ) PDF全文 ( )

可视化

Perona 和 Malik提出的各向异性的扩散模型存在着模型不稳定、图像灰度容易产生"阶越"现象等缺陷.本文通过在格子波尔兹曼各向同性扩散模型的网格点间加入跨膜介质,建立了格子波尔兹曼各向异性扩散模型.该模型中前向扩散过程占据了主导作用,因而是稳定的.实验分析表明,该模型很好地解决了P-M模型存在的灰度"阶越"现象,处理结果具有更高的峰值信噪比.

Select

经验模式分解(EMD)及其应用

徐晓刚;徐冠雷;王孝通;秦绪佳

电子学报. 2009, 37(3): 581-585.

摘要 ( ) PDF全文 ( )

可视化

经验模式分解(Empirical Mode Decomposition,EMD)是一种数据驱动的自适应非线性时变信号分解方法,可以把数据分解成具有物理意义的少数几个模式函数分量.本文总结归纳了一维EMD、二维EMD方面的主要工作,比较了不同方法存在的优点与不足,指出了EMD研究存在的难题和瓶颈,并给出了EMD研究与应用的发展趋势.

Select

基于竞争指数的模拟退火排序选择算子

陈皓;崔杜武;严太山;李凌波

电子学报. 2009, 37(3): 586-591.

摘要 ( ) PDF全文 ( )

可视化

提出基于竞争指数的模拟退火排序选择算子.竞争指数是对个体的适应度和编码差异度进行综合评估后产生的一种个体质量评价指标,代表了个体的绝对价值.依据竞争指数对群体及其后代个体进行排序,个体在队列中的位置代表了它的相对重要性.应用模拟退火过程产生个体在队列中的排序位置参数,作为个体相对价值的量化指标.将个体绝对价值和相对价值量化指标的加权平均数作为其生存的概率,这种选择方式可有效控制群体迭代过程的选择压力,保持群体结构的合理.通过对典型函数的优化实验表明,该算子在显著改善进化算法抗早熟能力的同时,可有效提高算法的搜索效率.

Select

乒乓切换在移动IPv6扩展协议中的性能分析

贾宗璞;王红梅;刘淑芬

电子学报. 2009, 37(3): 592-597.

摘要 ( ) PDF全文 ( )

可视化

综合评价了多种移动IPv6扩展协议在基于端到端的TCP协议L3层的切换性能,模拟仿真了乒乓切换在MIPv6、FMIPv6、HMIPv6和FHMIPv6中的时延、吞吐量和丢包现象,提出了一种优化的FHMIPv6方案.该方案通过定义新的Hop-by－Hop 选项报头TM、 PCoA表和双向隧道表,实现MN的快速、平滑切换,比FHMIPv6进一步减少了时延,提高了吞吐量,降低了丢包率.

Select

LFM信号参数估计的牛顿迭代方法初始值研究

胥嘉佳;刘渝;邓振淼

电子学报. 2009, 37(3): 598-602.

摘要 ( ) PDF全文 ( )

可视化

本文研究了LFM信号参数估计的牛顿迭代方法的初始值问题,用计算量较小的DPT算法得到LFM信号中心频率和调频系数的估计值,以此作为牛顿迭代的初始值.性能分析表明,在DPT算法信噪比门限以上时,用本算法得到的中心频率和调频系数的估计值在牛顿迭代所需收敛域范围之内,保证牛顿迭代的收敛性.仿真结果表明,在信噪比门限以上时,用本文提出的方法所得参数估计的均方根误差达到克拉美-罗限.本算法计算量小,有利于LFM信号参数估计的准实时处理.

Select

选通电脉冲宽度和幅度对微通道板选通软X射线皮秒分幅相机时间分辨的交互作用

杨文正;白永林;刘百玉;赵军平;白晓红;秦君军;田进寿

电子学报. 2009, 37(3): 603-607.

摘要 ( ) PDF全文 ( )

可视化

微通道板(MCP)选通软X射线皮秒分幅相机(XPFC)的动态时间分辨率是其重要的性能指标之一.通过基于均匀设计分析法建立的MCP-XPFC的动态时间分辨率回归方程着重分析了选通电脉冲的宽度和幅值对MCP-XPFC的动态时间分辨率的交互影响.在选通电脉冲V1(t) (250ps,1200V)和V2(t)(170ps,1400V)的作用下,利用MCP-XPFC的选通理论模型、均匀分析法回归方程、以及飞秒激光系统分别对相机的动态时间分辨率进行了理论计算和实验测试,并对结果误差进行了分析.对于250ps的选通脉冲适合的电压范围约为800~1200V,而对于170ps的选通脉冲适合的电压范围为1100~1200V.

Select

移动传感网中一种基于RSSI的机会主义路由设计

霍广城;王晓东

电子学报. 2009, 37(3): 608-613.

摘要 ( ) PDF全文 ( )

可视化

本文针对移动无线传感网提出一种结合节点移动向量和接收信号强度指示值RSSI(Received Signal Strength Indicator)信息的机会主义路由OR-RSSI,利用Sink节点Beacon报文的RSSI信息建立并更新机会概率值,使用报文广播后所能到达的具有最大机会概率值的最佳节点进行存储转发,完成移动无线传感网信息收集.OR-RSSI是一种良好的后择路由,不以既存路径为基础,不需额外设备支持,具有报文成功传输率高、网络有效吞吐量大以及能耗低等优点.

Select

PSL的有界模型检验

虞蕾;赵宗涛

电子学报. 2009, 37(3): 614-621.

摘要 ( ) PDF全文 ( )

可视化

基于SAT的有界模型检验被视为是基于OBDD的符号化模型检验技术的重要补充,是并行反应式系统的一种有效验证方法.然而,直至现在,有界模型检验已验证的属性逻辑还十分有限.PSL是一种用于描述并行系统的属性规约语言(IEEE-1850),包括线性时序逻辑FL和分支时序逻辑OBE两部分.通过模型检验可验证系统的PSL属性,本文提出了PSL的有界模型检验方法及其算法框架.首先,定义PSL逻辑的有界语义,而后,将有界语义进一步简化为SAT,分别将PSL性质规约公式和系统M的状态迁移关系转换为SAT命题公式,最后验证上述两个SAT命题公式合取式的可满足性,这样就将时序逻辑PSL的存在模型检验转化为一个命题公式的可满足性问题,并用一个队列控制电路实例具体解释算法执行过程.

Select

抑制模板漂移的目标跟踪算法

潘吉彦;胡波;张建秋

电子学报. 2009, 37(3): 622-627.

摘要 ( ) PDF全文 ( )

可视化

本文提出了一种解决目标跟踪中模板漂移现象的新算法.模板漂移现象指的是,由于不断进行模板更新,目标会逐渐移出模板,而背景物体则逐渐占据整个模板.本文为了解决这个问题,提出了一组能够精确描述模板漂移对于模板更新滤波器的影响的表达式,以使得考虑了模板漂移影响后的模板更新滤波器能够在空间及时间上自适应地实现及时更新目标外观与避免模板漂移之间的近似最优平衡.大量的包含不同目标外观变化类型的实景视频流的实验结果证实了本文算法的有效性.

Select

粒度智能体进化分类算法

潘晓英;焦李成;刘芳

电子学报. 2009, 37(3): 628-633.

摘要 ( ) PDF全文 ( )

可视化

受基于文化进化机制的粒度进化计算启发,针对分类任务提出了一种粒度智能体进化分类算法.该方法以粒度智能体表示具有相似属性的数据;以其中包含的知识库来指导粒度智能体的进化;设计了适合分类问题的粒度进化算子——同化算子、交换算子以及分化算子,分别体现了智能体的竞争性、协同性以及自学习性.最终根据一定的策略从所得到的粒度智能体中提取出分类规则,用以对新数据的预测分类.测试结果表明该算法具有良好的分类预测性能,且仅需要较小的训练时间代价.在UCI中的大部分数据集上都要优于性能良好的G-NET,OCEC以及C4.5算法.

Select

孔阵结构近场屏蔽特性有限元数值仿真

石峥;杜平安

电子学报. 2009, 37(3): 634-639.

摘要 ( ) PDF全文 ( )

可视化

为控制电子设备工作温度,设备机箱上一般设计有用于通风散热的孔阵.孔阵的存在造成了电磁能量的泄漏,导致设备内外电磁信号的相互干扰.当辐射源与屏蔽体间距及相邻屏蔽设备间距满足近场条件时,必需进行近场屏效分析.本文基于电磁场理论,阐述了孔阵屏蔽效能的有限元计算原理,对比分析了近场数值计算屏效和基于平面波理论计算屏效两种方法,研究了相关参数对近场屏效的影响规律,提出了提高近场屏效的设计方法,并在此基础上对不同形状孔阵进行了屏效数值计算.理论分析和仿真计算结果表明,基于平面波理论的孔阵屏效计算方法不能用于近场屏效计算,数值法是近场屏效计算的有效方法;数值仿真表明,在保证孔阵面积不变的条件下,通过减小孔规格与辐射源波长的比值、增加孔数可以提高近场屏效,但工程中常用的三种形状的孔阵近场屏效基本相同.

Select

星上高功率放大器对导航信号功率谱和伪码跟踪精度的影响

黄旭方;胡修林;唐祖平

电子学报. 2009, 37(3): 640-645.

摘要 ( ) PDF全文 ( )

可视化

由于星上高功率放大器的非线性效应,使带宽受限的导航信号失真加剧,这将影响导航信号的功率谱和伪码跟踪精度.针对这个问题,本文首先建立分析导航信号非线性失真的一般模型,提出利用带外功率损耗、相关损耗和鉴别器曲线过零点的偏移量来评估导航系统性能受到的影响,最后以矩形/升余弦脉冲赋形+BPSK和矩形+BOC调制的导航信号为例,分析带宽限制和非线性效应带来的联合影响.

Select

微波Q值测量中的馈线相移消除方法

吴昌英;韦高;许家栋

电子学报. 2009, 37(3): 646-648.

摘要 ( ) PDF全文 ( )

可视化

提出了一种实用的测量微波谐振器无载品质因素的方法,在临界点法的基础上,消除了馈线引入的相移.该相移的出现会使谐振器等效阻抗曲线在Smith圆图中发生旋转,进而影响到测量结果.通过在Smith圆图中对测量的输入阻抗曲线进行旋转,根据寻找出的一个目标函数来判断合适的旋转角度,即为馈线引入的相移.对所提出的方法进行了数值模拟,并通过了一组实测数据做了验证.

Select

调频步进信号高速运动目标径向速度精确测量技术研究

袁昊天;文树梁;程臻

电子学报. 2009, 37(3): 649-653.

摘要 ( ) PDF全文 ( )

可视化

针对调频步进信号高速运动目标径向速度影响合成距离像问题,提出一种复合测速方法.首先利用窄带跟踪距离的微分值对回波进行速度补偿和包络移动,其次对正正步进频率信号进行相关处理并构造跟踪回路以实现速度粗略估计和跟踪,然后再利用跟踪速度微分值补偿加速度,最后对正负步进频率信号进行相关处理,实现速度的精确测量.仿真结果证明了该方法的可行性.

Select

一个超混沌系统及其投影同步

李华青;罗小华;代祥光

电子学报. 2009, 37(3): 654-657.

摘要 ( ) PDF全文 ( )

可视化

通过在Lorenz系统中加入两个控制器构造出一个五维超混沌系统,系统的超混沌特性通过Lyapunov指数得到验证,对系统的平衡点和耗散性进行了分析.基于线性系统的稳定性准则,利用线性分离方法实现了该超混沌系统的投影同步.

Select

一种基于回波数据的机载雷达通道均衡的方法

刘向阳;周争光;廖桂生;毛志杰;

电子学报. 2009, 37(3): 658-663.

摘要 ( ) PDF全文 ( )

可视化

提出了一种适用于机载雷达的基于回波数据的通道频率响应均衡的方法.该方法从参考通道和待均衡通道中选取一组高相关性的回波,分别作为期望信号和均衡器输入,借助维纳滤波方法估计均衡器系数;理论分析表明,在杂噪比足够高的情况下,该均衡器响应逼近于实际的通道失配误差.无须改装现有的雷达设备,该方法就可以对馈线和接收机的失配一并进行均衡.实测数据实验验证了该方法有效性.

Select

求解无约束优化问题的类电磁机制算法

韩丽霞;王宇平

电子学报. 2009, 37(3): 664-668.

摘要 ( ) PDF全文 ( )

可视化

针对标准类电磁机制算法中电荷溢出和参数敏感的问题,提出了新的电荷计算公式;基于电磁场中的吸引-排斥原理,引导粒子沿着合力方向向较优的区域移动;为提高算法的局部搜索能力,结合邻域搜索技术来改进种群中的粒子.在此基础上,提出了求解无约束优化问题的类电磁机制算法.理论分析表明新算法以概率1收敛到问题的ε-最优解集.对28个标准测试函数进行了仿真实验,并和已有算法对比,结果表明新算法具有收敛快、求解性能好的优点.

Select

外辐射源雷达互模糊函数的两种快速算法

高志文;陶然;单涛

电子学报. 2009, 37(3): 669-672.

摘要 ( ) PDF全文 ( )

可视化

针对外辐射源雷达(无源雷达、被动雷达)利用互模糊函数测量时延差和多普勒频移的运算量大,直接计算难以满足系统实时性要求的问题,本文提出了外辐射源雷达互模糊函数的两种快速算法:分级抽取FFT算法和预加权分级抽取FFT算法.分级抽取FFT算法降低了抗混叠滤波器的阶数,明显地节省了计算量和存储量;预加权分级抽取FFT算法使第一级滤波的乘法运算在时延的循环外进行,进一步提高了计算效率,代价是存储量有所增加.实测结果表明本文所提两种快速算法有效地提高了计算效率.

选择文件类型/文献管理软件名称

选择包含的内容

2009年, 第37卷, 第3期　刊出日期：2009-03-25

模态框（Modal）标题

选择文件类型/文献管理软件名称

选择包含的内容

2009年, 第37卷, 第3期 刊出日期：2009-03-25

2009年, 第37卷, 第3期　刊出日期：2009-03-25