2005年, 第33卷, 第1期 刊出日期:2005-01-25
  

  • 全选
    |
    论文
  • 张治中, 雒江涛, 程方, 蒋铭, 曾庆济
    电子学报. 2005, 33(1): 1-6.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    WDM城域环网在升级时,信道数可能是不变的.本文基于此设计了一种新颖的节点结构,它由固定发射器和一组固定接收器组成.基于该结构,文中给出了支持可变长分组的时隙结构及MAC协议.由于实现MAC协议毋需专用波长信道,提高了资源利用率.理论分析和仿真结果证明了本文设计方法可以充分利用空间重用能力,获得很好的网络流量,分组排队时延及分组丢弃率.对于信道数较多,或者网络在升级时信道数也可能变化的情况,本文建议采用固定发射器,一组"准"调谐的接收器结构.该方案可在实现复杂度,网络性能及成本间取得折衷.
  • 唐亮, 谢维信, 黄建军, 黄敬雄
    电子学报. 2005, 33(1): 7-11.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    基于主要道路物方空间形状特征,本文提出了一种新的特征矢量——对称边缘方向直方图,作为较高分辨率航空影像中主要道路的特征描述.图像空间边缘像素的拓扑关系,该矢量较好地描述了图像的主要形状属性,并具有对于图像平移、旋转、尺度和光照变化的不变性.模糊C-均值聚类算法的分割实验表明,该特征矢量较好地解决了较高分辨率影像中主要道路的特征描述问题,能有效地从实际航空影像中提取主要道路种子点.
  • 赵耀东, 戚文峰
    电子学报. 2005, 33(1): 12-16.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    随着k的增大,序列k错误线性复杂度的值会从线性复杂度递减到0.对于周期为2的方幂的二元序列,Kurosawa讨论了线性复杂度和k错误线性复杂度的关系,给出了使得序列的k错误线性复杂度严格小于序列的线性复杂度最小的k值.本文利用多项式的权重关系给出了使得序列k错误线性复杂度再次减小的最小k值.
  • 柳立峰, 张雷, 程时端
    电子学报. 2005, 33(1): 17-21.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    弹性分组环(RPR)中最关键的技术之一是环路分布式公平算法.IEEE802.17工作组制定的RPR草案中关于公平算法存在一些待完善的问题,比如在高速的网络中存在较长的收敛时间,同时对于非平衡流带来的永久性震荡现象也无法消除.本文针对上述这些问题提出了一种新的公平算法.仿真结果表明算法不仅能够消除非平衡流问题,而且能够公平地控制站点之间带宽的分配.
  • 董文莉, 孟洛明, 邱雪松
    电子学报. 2005, 33(1): 22-25.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    从tML/消息队列的特点出发,讨论了被测实现的tML数据建模、测试配置和测试过程,提出了基于tML/消息队列的网络管理接口一致性测试方法,设计并实现了支持此测试方法的网络管理接口测试系统.
  • 王春江, 耿方萍, 刘元安, 高锦春
    电子学报. 2005, 33(1): 26-31.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文分析了应用于Ad Hoc无线局域网的BSAC(Buffered Slotted ALOHA CDMA)随机接入协议,并且首次提出了采用Markov(马尔可夫)链方法的分析模型.此模型应用两个Markov链模型,一个表示节点中的M/M/1/k排队模型,另一个表示网络中活动节点数量.两个Markov链模型通过节点空闲概率相互联系.在此模型基础上,本文详细分析了扩频增益、队列长度与最大允许重传次数等输入参数对网络吞吐量、平均延迟与丢包概率等性能尺度的影响,推导得出了BSAC协议的吞吐量极限.另外,本文还引入多数据包接收技术-延迟捕获技术,该项技术可以有效降低数据包冲突概率,相对于没有采用延迟捕获技术的BSAC协议,平均提高吞吐量29.1%,最大吞吐量提高20.8%,使网络性能接近于理论极限.
  • 李琳;周文辉;谭述森
    电子学报. 2005, 33(1): 32-37.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    通过论证最小化误码率(MBER),最小均方误差(MMSE)以及约束最小均值输出能量(MMOE)之间的关系,将MBER准则下最优干扰抑制器的设计转化为后两种准则下最优干扰抑制器的设计,并分别导出两种自适应算法:递推最小二乘(RLS)和盲递推最小二乘(BRLS).前者抑制干扰效果好,但需要期望信号;后者无需期望信号,但抑制效果较差.本文将两种算法合理配合,给出了动态环境下的干扰抑制方法.
  • 谢钧, 黄皓, 张佳
    电子学报. 2005, 33(1): 38-42.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在很多安全操作系统中都存在一些安全关键进程或可信进程,一旦它们被黑客入侵则会破坏整个系统的安全性.本文的多保护域进程模型在进程内部通过细粒度的内核级保护域隔离机制对进程数据和代码实施访问控制,从而防止黑客利用程序局部漏洞劫持整个进程,以达到增强安全关键进程自身安全的目的.本文为该模型提供了两种设计方案并对其中一种设计做了原型实现.
  • 林家儒, 吴伟陵
    电子学报. 2005, 33(1): 43-46.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文对非规则LDPC码在RICE信道的性能进行了分析和仿真,修正了BP译码算法,证明了RICE信道满足对称性,给出了RICE信道译码稳定性条件,推导出了RICE信道的Shannon容量限,采用VC编程对码长N=49512和3072进行了仿真,同时与同码长的Turbo码进行了比较;仿真结果表明LDPC码在码长N=49512、码率R=1/3时,与Shannon限相差1dB以内、在低信噪比时其性能优于Turbo码,以及LDPC码本身有很好的交织特性和抗衰落的能力;这进一步表明了LDPC码在包括RICE信道在内的各种信道中的性能都是非常优良的.
  • 黄东军, 陈松乔
    电子学报. 2005, 33(1): 47-51.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    视频会议系统的传输结构对于系统的整体性能起着关键作用.传统的面向连接的传输结构存在网络带宽开销过大、终端负担重、伸缩性差以及控制复杂等缺点.本文定量分析了传统传输结构的性能,提出了一个使会议系统结构得到简化、可靠性和规模伸缩性得到提高的设计原则.遵循这一原则,本文给出并实现了一个基于源根组播的会议系统模型,它强调网络组播的必要性,通过媒体传输与会议应用的分离,大大减少了网络传输开销,降低了系统复杂度,并支持更多用户的全交互式应用.
  • 薛振框, 李少远
    电子学报. 2005, 33(1): 52-56.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对实际工业过程中多变量系统存在着非线性、工况范围广的特点,本文提出了一种新的多模型建模方法.首先对系统调度变量进行满意模糊c均值聚类,在此基础上采用基于加权性能指标的多模型辨识算法辨识多模型系统,得到的模型在全局拟合与局部特性之间取得良好的权衡,同时能得到每个局部模型的适用域.以典型pH中和过程为对象,采用上述建模方法建立其系统多模型,仿真结果验证了该建模方法的有效性.
  • 杨育彬, 陈世福, 林珲
    电子学报. 2005, 33(1): 57-62.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出并实现一种结合图像颜色连通区域信息及其纹理特征的图像检索新方法.首先提取图像的分块主颜色,根据提出的相关颜色定义,搜索确定图像中的颜色连通区域集.然后,提取图像中各颜色连通区域对应的四种颜色共生矩阵特征,利用针对该特征设计的图像相似性度量函数实现基于内容的图像检索.实验结果表明,该方法能有效结合图像的纹理信息及其颜色构成和分布信息,具有良好的检索效果和性能.
  • 易翔;王蔚然
    电子学报. 2005, 33(1): 63-66.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    从小波变换入手,提出了一种概率自适应去噪模型.该模型包括尺度层间模型和层内模型.去噪方法首先利用小波域层间模型,将小波系数分成两类:有意义系数和无意义系数;然后在层内概率模型下运用最大后验概率估计方法,从有意义系数中恢复出原始系数.我们还将这种模型引入复数小波变换域.实验结果及分析表明了该去噪模型的有效性.
  • 康晓涛, 石要武, 张丽丽
    电子学报. 2005, 33(1): 67-69.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文将状态空间模型与互高阶累计量结合在一起,首次提出了基于状态空间模型谐波恢复的互高阶累计量的Hankel矩阵分解法.该方法清晰地展现了谐波恢复问题的实质,充分利用状态空间模型所具有的灵活性、方便性,为解决谐波恢复问题提供了一条全新的思路,是一种短数据条件下的高精度算法.仿真结果表明,该方法在混合色噪声和很低信噪比条件下谱估计的分辨率、稳定性及对混合色噪声的抑制等方面均明显优于自高阶谱估计方法.
  • 阎岭, 郑洪涛, 蒋静坪
    电子学报. 2005, 33(1): 70-73.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    模糊系统的可解释性明显优于其他人工智能方法,却长期没有引起人们足够的注意.本文对模糊系统的可解释性作了深入的分析,定义了最简约模糊划分、模糊划分的完备-清晰性、模糊规则的完备性、紧凑性和一致性,并将其加入到进化策略的适值函数中,用于优化模糊系统.仿真试验表明,即使在先验知识较少的情况下,该方法依然可以设计出具有较好系统响应性能和较高可解释性的模糊系统.
  • 张金凤, 邱天爽
    电子学报. 2005, 33(1): 74-77.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    DLMP算法是一种在高斯和分数低阶α稳定分布噪声环境下均具有良好韧性的EP信号潜伏期变化检测算法.本文基于分数低阶统计量的原理,根据确定性平均方法,结合文中给出并证明的两个引理,对DLMP算法的收敛性能进行了理论分析和证明.结果表明,若EP潜伏期变化为EP信号采样间隔的整数倍,则DLMP算法对这种变化的估计是无偏估计.若整数倍的条件不满足,则DLMP算法的估计偏差不大于半个采样间隔.
  • 庄永龙, 马飞, 周敏, 沈岩, 李衍达
    电子学报. 2005, 33(1): 78-82.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    随着人类基因组计划的实施,生命科学研究已进入后基因组时代.人们基于指数形式增长的核酸、蛋白质序列和结构等数据,开发了数百种不同类型的数据库.由于不同数据库存贮和检索方式的极大差异,给研究者对它们的整合应用造成了一定的难度.本文建立了一个基于多Agent的生物信息数据整合系统-BioAgent,通过信息采集Agent、信息整合Agent、用户Agent的协调,完成数据抽取、数据标准化、数据存储、数据融合、Web显示等工作流程,以实现数据整合的自动化.同时利用BioAgent系统,开发了人类精神分裂症相关基因的突变信息多层次定位数据库.
  • 朱文余, 孙琦
    电子学报. 2005, 33(1): 83-87.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    设n=pq,p,q为奇素数,环Zn上的椭圆曲线En(a,b)的SOM密钥交换协议与QV密钥交换协议均选取En(a,b)上的阶为Mn=lcm{#Ep(a,b),#Eq(a,b)}的点G作为公钥(称G为基点),并且限定其对应的Ep(a,b)和Eq(a,b)均为循环群,这就限制了这两个协议只能选择一类特殊的椭圆曲线En(a,b)构作密钥交换协议.本文指出,Ep(a,b)和Eq(a,b)均为循环群这一限定是不必要的.本文给出了En(a,b)上存在阶为Mn的点G的一个充分必要条件,并给出一个例子,其中Ep(a,b)为循环群,Eq(a,b)为非循环群,且对应的En(a,b)上有阶为Mn的点G.同时,本文选取En(a,b)上阶为lcm{n1,m1}的点作为基点,这里n1,m1分别为Ep(a,b)和Eq(a,b)的最大循环子群的阶.这样,就能够选择更多的椭圆曲线En(a,b),用来构作密钥交换协议(包括将两方之间的密钥交换协议扩展到三方).
  • 谷利泽, 高宏, 杨义先
    电子学报. 2005, 33(1): 88-90.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在Kim-like代理多重签名方案的基础上,提出一个改进的代理多重签名方案,它解决原方案存在的两个问题:(1)安全性,任意一个原始签名者能伪造代理多重签名.(2)效率,代理多重签名的长度和验证其签名效率与原始签名者的个数有关.
  • 彭文灵, 王丽娜, 张焕国, 傅建明
    电子学报. 2005, 33(1): 91-95.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    系统在受到入侵的情况下,如何仍能为用户提供规定的服务成为了当前网络安全技术中的一个重要问题.该文结合入侵容忍和基于角色的访问控制技术的特点,提出了一种基于角色访问控制的入侵容忍安全架构,给出了它的模型和基本组成.在网络分布式计算环境中,采用基于角色的访问控制技术的策略,从角色管理服务器、角色冒充、数据和应用服务器四个方面阐述了该架构的容侵机制,从而保证服务系统的安全性和可用性,实现整个系统的入侵容忍.
  • 逯海军, 苏云学, 祝跃飞
    电子学报. 2005, 33(1): 96-100.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文首先提出了分布式密码协议的空间分布性和时间分布性的观点,并从双重分布性的角度研究分布式密码协议.作为一个例子,在V.Daza的密钥分发系统中一个只具有空间分布性的分布式密钥分发系统的基础上,引入了前置安全(proactive security)体制,得到了一个具有空间和时间双重分布性,可以抵抗动态攻击者的分布式密钥分发协议.拓展了分布式密码协议的研究空间.同时,文中在建立概率空间的基础上,证明了分布式密钥分发系统的安全性.
  • 戴海生, 朱小燕, 罗予频, 杨士元
    电子学报. 2005, 33(1): 101-105.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文提出了一种新的基于模型距离矩阵的关键词确认算法,并给出模型距离的定义及其训练方法,利用模型相对距离矩阵对语音识别结果进行确认.对于关键词库较大的关键词检出系统,通过对关键词分段,得到扩展的模型距离矩阵确认算法,使得大词表确认问题得到很好的解决,并能够获得和小词表系统一样的确认效果.为了对关键词库进行方便的操作,模型距离矩阵的更新算法使得用户可以很方便地修改关键词库内的关键词,而不必重新训练整个模型距离矩阵.
  • 李合生, 毛剑琴, 赵明生, 吴佑寿
    电子学报. 2005, 33(1): 106-110.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文对正交小波包基函数在不同尺度上的传递关系、正交小波包变换系数在不同尺度上的传递关系、高斯白噪声的正交小波包变换系数的统计特性、以及正交小波包基的相关函数性质进行了理论研究,并获得了相应的理论结果,仿真实验验证了理论研究的正确性.
  • 季策;张化光
    电子学报. 2005, 33(1): 115-118.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    研究一类具有参数摄动的时滞Hopfield神经网络模型的鲁棒稳定性.应用Lyapunov泛函法,给出了平衡点渐近稳定的充分条件.利用矩阵范数的性质及线性矩阵不等式(LMI)理论,又得到了两个便于计算和验证的推论.提供了一种估计网络渐近稳定平衡点吸引域的方法,并详尽地分析了吸引域对神经网络实现联想记忆的影响.数值例子进一步证明了结论的有效性.
  • 季策;张化光
    电子学报. 2005, 33(1): 115-118.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    研究一类具有参数摄动的时滞Hopfield神经网络模型的鲁棒稳定性.应用Lyapunov泛函法,给出了平衡点渐近稳定的充分条件.利用矩阵范数的性质及线性矩阵不等式(LMI)理论,又得到了两个便于计算和验证的推论.提供了一种估计网络渐近稳定平衡点吸引域的方法,并详尽地分析了吸引域对神经网络实现联想记忆的影响.数值例子进一步证明了结论的有效性.
  • 李杰, 高火涛, 郑霞
    电子学报. 2005, 33(1): 119-122.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文在分析相控阵天线近场特性的基础上,根据信号子空间的基本理论,结合模拟退火算法,提出了一种利用近场辅助源估计相控阵天线互耦系数的方法.大量的计算机仿真结果表明,本方法使用校准源少,校准源到天线阵距离近,算法稳健,即使在雷达工作、并且存在其它未知信号时,也能准确估计出天线阵的互耦系数.
  • 任列辉, 陈志雨, 宋文淼
    电子学报. 2005, 33(1): 123-125.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文用电磁场算子理论通过多个虚拟边界的电场和磁场的耦合求解TEM室(TEM cell)的本征值,在此基础上讨论了TEM室的的传输特性,文中所采用的并矢格林函数没有奇异项,可以化为标量格林函数来计算,并与数值计算的结果进行了比较.
  • 韩玉兵;陈小蔷;吴乐南
    电子学报. 2005, 33(1): 126-130.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文构建了一种视频序列超分辨率重建框架.在此框架下,讨论了基于最小二乘规整化泛函的单帧图像的超分辨率重建算法及其收敛性、凸性和参数选择等;还提出了基于加权矩阵的运动配准融合,并研究了运动补偿阵和加权阵的构成和特点.仿真结果表明方法的有效性和实用性.
  • 王巍;熊瑾煜;朱中梁
    电子学报. 2005, 33(1): 131-134.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文针对码分多址(CDMA)系统,推导了基于到达时间(TOA)的移动台定位所具有的估计精度下限,给出了定位估计精度下限推导的具体步骤和下限表达式,分析了该下限所具有的物理意义,得到了定位精度下限与用户数无关的结论.同时,提出了在长码扩频条件下能够抑制多址干扰(MUI)的时延估计算法,进一步说明了精度下限的物理含义.最后在仿真的基础上对估计下限和新算法的性能进行了讨论.
  • 赵生妹, 李飞, 郑宝玉
    电子学报. 2005, 33(1): 135-137.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    多用户检测的最优解在经典条件下是一个NP难解问题.利用量子态物理特性,通过量子检测能够有效地解决这一难题.本文给出在量子贝叶斯最小代价准则下量子最优解的实现过程,与经典多用户检测最优解相比,基于量子检测的最佳多用户检测技术的性能得到了极大的提高.
  • 陈弘原;李衍达
    电子学报. 2005, 33(1): 138-141.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    IEEE 802.11采用异步传输方式作为媒体层的主要技术,而基于载波检测碰撞避免的分布式接入机制则是其最大的特点.关于分布式接入机制的研究,目前已经有了许多的模型,但是,大部分的模型都是研究终端所产生的数据包是固定长度,很少有模型来研究终端数据包是可变长度的情况.这种情况下的难点就是不易求得碰撞发生时信道所消耗的时间长度.本文则研究在终端数据包长度的分布函数为f(x)下协议的吞吐量和延迟性能模型.首先本文将原标准协议的退避算法看成是有固定大小的竞争窗口,用以求得站点的发送概率;然后,分析信道的工作状态,给出了性能模型,重点在求解碰撞消耗的信道时间,在文章的最后,我们通过仿真试验来验证了模型的正确性.
  • 马建国, 邢玲, 李幼平, 文丽
    电子学报. 2005, 33(1): 142-146.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    用户兴趣图谱是实现智能代理与主动服务的基本依据.而广播型网格的用户兴趣图谱有其自身的特点.本文研究了UCL(Uniform Content Locator)在广播型网格中接收端的应用机制,建立了UCL解析、数据流控制和UCL应用机制,提出了建立基于UCL的用户兴趣图谱的方法,分析了信息的媒体结构与本体结构的特点,研究了相互间转换和在用户肖像模型建立过程中的作用.利用实验建立的广播网格环境验证了该方法的有效性.
  • 吴湛击;吴伟陵
    电子学报. 2005, 33(1): 147-149.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    3GPP的物理层协议中对传输格式组合指示TFCI采用了类Reed-Muller编码,但没有具体解释其编码方法和译码算法,本文详细讨论了其编译码方法,比较了两种快速哈达马变换和经典一阶Reed-Muller码的译码算法,并指出3GPP协议设计中的成功和不足之处,同时通过仿真测试验证了其纠错能力.
  • 夏军;袁丽霞;邹雪城
    电子学报. 2005, 33(1): 150-153.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文介绍了一种EFM/EFM+解调器的设计和实现.该解调器用于DVD光盘伺服控制,对读入的CD和DVD数据分别实现14-8和16-8解调.文中通过对其工作原理和实际应用的分析,给出其最终实现方案.并用Verilog硬件描述语言完成整个解调器的设计工作.功能仿真和FPGA验证表明,设计成功.
  • 陶倩, 汪源源, 王威琪
    电子学报. 2005, 33(1): 154-157.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    根据超声多普勒血流信号和血管壁搏动信号的不同统计特性,对采集的多普勒信号进行非均匀抽样和三次样条函数重建,从中得到血管壁搏动信号,从而提取出超声多普勒系统中的血流信号.对计算机仿真的超声多普勒信号和采集的人体颈总动脉多普勒信号分别应用该方法,并和传统的高通滤波器方法进行比较.实验结果表明:本方法能在滤除管壁搏动信号的同时,保留低频部分的超声多普勒血流信号,可用于超声多普勒系统中两种信号成份的分离.
  • 赵鹤鸣, 葛良, 陈雪勤, 俞一彪
    电子学报. 2005, 33(1): 158-160.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    人耳具有在嘈杂环境中将感兴趣的语言信息提取出来的能力,而双耳听觉特性有助于这种能力的加强.据此本文提出了一种基于声音定位和听觉掩蔽效应的混叠语音分离方法.根据声音到达双耳的时间差和强度差在时频域内确定相应的掩蔽系数,该系数是二值的,以直接去除干扰信号,保留有用信号并达到语音分离的目的.实验表明,本文提出的方法是有效的.该方法不仅适用于混叠语音为浊音情形,对清音的情况同样适用,因而比基于基音提取的语音分离方法的适用范围更广.
  • 韦燕凤, 赵忠明, 闫冬梅, 曾庆业
    电子学报. 2005, 33(1): 161-165.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    面向光学图像的多时相、多光谱、多传感器图像的自动配准,本文描述一个基于特征的高精度图像配准算法.它以点映射配准技术为基础,处理具有全局仿射几何失真的图像配准问题.首先,通过边缘检测和相应的后处理提取封闭边界;其次,根据边界链码相关和区域不变矩匹配策略建立边界的对应,并对对应重心即匹配点对进行一致性检测获得基元控制点;最后,估计初始变换参数,并通过显著点片的相关匹配来增加控制点个数,迭代修正变换参数以提高配准精度.多种遥感图像数据的配准实验和对比试验证实了的自动算法具有较高的可靠性和配准精度.
  • 李莉, 薛锐, 张焕国, 冯登国, 王丽娜
    电子学报. 2005, 33(1): 166-170.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在串空间理论模型引入了描述DH问题的方法以及分析猜测攻击的攻击者能力,对基于口令认证的密钥交换协议的安全性进行了形式化分析。提出一个对DH-EKE协议的简化,并证明了该协议的安全性:口令的秘密性,认证性,以及会话密钥的秘密性.根据分析给出基于口令认证的密钥交换协议抵抗猜测攻击的基本条件.将分析方法应用到基于口令的三方密钥交换协议上,给出单纯基于口令进行密钥交换协议的安全性需要满足的一个必要条件.
  • 范红, 冯登国
    电子学报. 2005, 33(1): 171-173.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    非否认性是电子商务协议的一个重要性质,其形式化分析问题引起了人们的密切关注.本文运用SVO逻辑对一个非否认协议实例进行了有效的形式化分析,并对协议的缺陷进行了改进.
  • 韦宝典, 刘景伟, 王新梅
    电子学报. 2005, 33(1): 174-176.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文提出了有限域上的一个新性质:用变元为域元素的多项式表示域元素的分量.基于等价类的划分、线性方程组的求解和标准基之对偶基的计算,提出了域元素分量代数表达式的三种求法.以此解释了Rijndael算法S盒代数表达式复杂度低的本质原因,给出其分量函数间等价关系的一种直接证明方法.
  • 张忠伟, 刘贵忠, 李宏亮, 李永利
    电子学报. 2005, 33(1): 177-180.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    通过把视频序列中图像的像素看作运动的气体分子,本文提出了一个图像温度场的概念,并利用描述气体分子做无规则运动的麦克斯韦-玻尔兹曼分布律,来描述图像序列中像素的运动规律.与传统光流信息相比,由图像温度场估算出的能流信息更加精确地描述了图像间的运动场,把该能流信息进一步应用到视频镜头的自动分割中,仿真实验结果表明,基于能流分析的视频分割方法更加准确地检测出了镜头的切变和渐变.
  • 包红强, 张兆扬, 陈右铭
    电子学报. 2005, 33(1): 181-185.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    多视频对象由于其运动的复杂性,在分割提取过程中有较大的难度.本文提出了一种基于时空曲线演化的多视频对象自动分割方法,首先根据视频序列帧间(时间域)和帧内(空间域)信息的不同特点,建立基于全局和局部特征的能量模型,并由此导出基于level sets方法的曲线演化方程;然后用视频序列的连继两帧帧差得到初始的视频对象,分别进行时间和空间曲线演化跟踪,提取多个视频对象;当对象因运动而发生相互遮挡现象时,利用基于Bayes最小错误概率决策法则的判断方法,分割遮挡对象和显露对象.实验结果表明,本文提出算法的分割效果在空间准确度上比COST211算法提高30-50%,比最佳的帧差分割算法提高5-10%.
  • 虞强源, 刘大有, 欧阳继红
    电子学报. 2005, 33(1): 186-189.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在GIS实际应用领域中,采样点的属性数据往往不是精确的数值,而是一个区间范围,对此类空间数据的建模、分析和推理越来越受到相关领域研究者的重视.利用区间值模糊集描述由不确定属性数据所圈定的模糊区域,基于区间值和区间值模糊集的运算性质,给出了模糊区域间拓扑关系的分析模型.该模型改进了基于经典模糊集及其截集的拓扑关系模型,对模糊区域拓扑关系的分析结果更符合人们的认知习惯,可以利用区间值结果进行推理和决策,能够有效地分析由区间值属性所确定的模糊区域间的拓扑关系,在地理信息系统和空间数据库等领域具有实际应用价值.