2008年, 第36卷, 第11期 刊出日期:2008-11-25
  

  • 全选
    |
    论文
  • 李志强;陈汉武;徐宝文;肖芳英;薛希玲
    电子学报. 2008, 36(11): 2081-2089.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    量子可逆逻辑电路综合是以较小量子代价自动构造所求量子可逆逻辑电路.本文提出了一种新颖高效的4量子电路综合算法,巧妙构造置换的最短编码,通过对量子电路进行特定拓扑变换,无损压缩n量子最优电路占用内存空间近2×n!倍,通过对已生成最优电路的双向级联,可使用多种量子门,采用最小长度标准,以极高效率生成较长的4量子电路,如率先生成基于控制非门、非门、Toffoli门库的全部前8层共3120218828个电路,还可快速综合任意长度不超过16的最优电路,并对4量子标准测试电路进行快速且全面的优化.
  • 张雄明;卢焕章;成礼智
    电子学报. 2008, 36(11): 2090-2095.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    通过将多带滤波器组转化为单进单出的线性周期时变系统给出了通用树状多带滤波器组的一种内存可调节的实现.该方法与在整帧信号上进行全局分解生成相同的子带系数且正、逆变换均具有与信号长度无关的低内存需求.该方法的另一个特点是正、逆变换的内存需求的大部分可在正、逆变换之间任意分配.
  • 李肯立;周 旭;许 进 (.湖南大学计算机与通信学院;湖南长沙 00;.华中科技大学分子生物计算机研究所00;湖北武汉 00)00
    电子学报. 2008, 36(11): 2096-2101.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    随着DNA计算的不断发展,如何克服穷举算法带来的指数爆炸问题已成为DNA计算领域的重要研究目标之一.为减少图3-着色问题DNA计算机算法中的DNA链数,本文将Adleman-Lipton模型生物操作与粘贴模型解空间相结合的DNA计算模型进行扩展,通过设计顶点着色器、稀疏图/稠密图搜索器,提出一种用于求解图3-着色问题的DNA计算模型与算法.将本算法与同类算法对比分析表明:本算法在保持多项式操作时间的条件下,将求解n个顶点的图3-着色问题所需DNA分子链数从O(3n)减少至O(2n),改进了3-着色问题同类文献的研究结果.
  • 肖迎元;刘云生
    电子学报. 2008, 36(11): 2102-2106.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    实时控制系统通常需要维护大量的时态数据对象,这些时态数据对象是现实世界不断变化的物理环境的逻辑表示.应用事务通过对时态数据对象的访问来产生最终的控制活动.在实际应用中,实时控制系统不仅需要确保事务能在规定的期限内完成,也需要保证事务存取的是时态一致性的数据对象.传统的实时并发控制协议强调事务截止期的满足,而忽略了事务对其所存取数据对象有时态一致性需求.本文首先给出了数据和事务时态一致性的形式化定义,在此基础上,提出了一种新的能确保时态一致性的实时并发控制协议:时态一致性高优先级两段锁协议(TCHP-2PL).为了实现更好的实时性能,我们对TCHP-2PL进行了改进,通过引入相似性概念,提出了TCHP-2PL的改进版本:STCHP-2PL.性能测试结果显示,STCHP-2PL在确保时态一致性的同时仍能保证很好的实时性能.
  • 周宏伟;张民选
    电子学报. 2008, 36(11): 2107-2112.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    随着工艺尺寸缩小及处理器频率提高,功耗问题已成为当代微处理器设计面临的主要挑战.传统的指令cache(I-Cache)功耗控制策略一般只单独降低指令cache的动态或者静态功耗.提出的两种改进的功耗控制策略,基于昏睡指令cache体系结构,能够更有效地同时降低指令cache的动态和静态功耗.一种称作"使用双预测端口路预测器的多路路预测策略",另一种称作"基于分阶段访问cache的按需唤醒预测策略",分别用于处理器前端流水线级数保持不变和可以增加额外前端流水线级数两种情形.实验结果表明:与传统的策略相比,提出的两种策略具有更优的能量效率,可以在不显著影响处理器性能的前提下,更有效地降低指令cache和处理器的功耗.
  • 罗艳红;张化光;张庆灵
    电子学报. 2008, 36(11): 2113-2119.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文针对一类执行器带未知死区的仿射非线性系统,提出了一种新型的神经网络自适应控制器的设计方法,该方法首先引入一个神经网络来估计对象的部分未知非线性动态行为,再基于隐函数定理构造另一个静态神经网络作为新型补偿器以补偿执行器的未知不对称的死区非线性.本文利用Lyapunov理论在给出光滑的控制律的同时严格证明了整个闭环系统的跟踪误差以及各个神经网络权参数的一致最终有界性,而且通过调节设计参数可以使系统的跟踪误差收敛到零附近的一个小邻域内.本文提出的控制方案可以保证对象在线稳定地跟踪任何光滑的目标轨迹,仿真研究表明了此控制方案的可行性和有效性.
  • 马 卫;朱庆保
    电子学报. 2008, 36(11): 2120-2124.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    用蚁群算法进行函数优化时,存在收敛速度慢并易于陷入局部最小等问题.为此,根据对真实蚂蚁的最新研究成果,提出了一种全新的由侦察蚁和觅食蚁协作搜索的函数优化快速连续蚁群算法.该算法首先引入混沌序列确定侦察蚁的初始位置,然后由侦察蚁进行全局大视域快速搜索,且每迭代完一步和每迭代完一代都要对解进行评价,并对本代最优解的信息素进行标记,由此吸引觅食蚁在本代最优解周围空间进行小步长搜索.通过这种初始化方法和侦察蚁与觅食蚁的相互协作,不仅能很好的提高寻优精度,且使收敛速度大幅提高.计算机仿真实验结果表明,本算法寻优率高,收敛速度提高显著,效果令人满意.
  • 杨 彬;徐宝文;许 蕾
    电子学报. 2008, 36(11): 2125-2131.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    伪内涵是形式概念分析理论的一个重要概念,伪内涵问题的研究是当前研究的热点.传统的伪内涵计算方法为了获得形式背景中所有的伪内涵,需要搜索形式背景中所有的非内涵属性集,而属性的组合容易导致搜索空间爆炸.为此,本文从概念内涵生成子的角度,刻画伪内涵的特性,给出伪内涵判定的充要条件;在此基础上,提出计算伪内涵的GPI算法.GPI算法只需对概念内涵的最小生成子进行计算,便可获得形式背景中所有的伪内涵,有助于缩减算法的搜索空间,提高伪内涵计算效率.理论分析和实验结果表明,本文的算法是有效可行的.
  • 张少白;阮晓钢;成谢锋;冯志全
    电子学报. 2008, 36(11): 2132-2138.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出了一种具有长回路力反馈以及增益调整的控制模型,用以描述人体垂直平衡的控制.模型主要由大脑和小脑两部分组成.小脑部分由两组增益表示.这两组增益负责提供踝—膝—臀环路之间相同或交联关节长回路延伸反应的线性缩放比.大脑部分则仅仅包含一组相同关节线性力反馈的增益.本文提出,小脑是将控制增益组作为感觉人体运动状态的函数来转换的.通过仿真,该模型证明,稳定的、具有线性增益调整的混合长回路反馈,可以在缺乏明确动态内模的情况下提供实时平衡控制.
  • 王俊忠;吉 元;田彦宝;牛南辉;徐 晨;韩 军;郭 霞;沈光地
    电子学报. 2008, 36(11): 2139-2143.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    采用电子背散射衍射(EBSD)技术,测量GaN/蓝宝石结构中的弹性应变场.将EBSD菊池衍射花样的图像质量IQ值及小角度错配作为应力敏感参数,表征GaN-Buffer层-蓝宝石结构中的晶格畸变和转动,显示微区弹性应变场.在GaN/蓝宝石系统中,弹性应变的影响范围大约200×700nm.采用快速傅立叶变换(FFT)提取菊池花样的衍射强度,识别GaN外延结构中的应变/无应变区域.
  • 聂晓文;卢显良;唐 晖;赵志军;李玉军
    电子学报. 2008, 36(11): 2144-2149.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    洗牌策略从理论上解决了分布式哈希表(DHT)的Sybil攻击问题.为克服敌手作弊,引入受信节点构成分布式认证系统,由受信节点对新加入节点进行认证,保证节点签名和ID不能伪造;同时引入记录洗牌加入过程的票据来判定节点合法性,杜绝了敌手积累过期ID.由于保存票据的数量决定了论文提出算法的应用效果,通过理论分析和仿真实验证实设计的算法需要保存的票据数量不大,保证了算法的可行性.
  • 屈惠明;陈 钱
    电子学报. 2008, 36(11): 2150-2153.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    非均匀性校正是红外焦平面阵列成像质量提高的关键,在现有一元线性理论模型局限下,红外焦平面阵列成像非均匀性校正难以获得校正精度的提高.本文通过红外焦平面阵列探测器成像机理及其成像过程理论分析,推导了影响探测器响应及其非均匀性的主要因素,首次建立了红外焦平面阵列二元非线性的非均匀性理论模型,通过实验测试及其统计分析验证了理论模型.该模型能在较宽红外辐射和环境温度范围内准确预测红外焦平面阵列响应曲线及其非均匀性,比原一元线性理论模型更全面准确地描述了红外成像非均匀性影响因素及探测器响应关系.
  • 李 波;姚春莲;李 炜;郑 锦
    电子学报. 2008, 36(11): 2154-2159.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    运动对象检测是智能视频监控的基础,现有的运动对象检测算法在实时性和检测精度方面仍有待提高,本文在分析相邻帧间的亮度变化基础上,提出了基于三阶中心矩统计分布的背景点阈值计算方法,给出了抗噪声干扰的背景维护模型,最后综合利用时间差分法和背景减法进行运动对象检测,为了提高检测精度使用了形态学的腐蚀与扩张处理.对室内、室外序列以及标准序列的测试结果表明,本文算法速度快、抗噪声能力强,能够检测出被遮挡的运动对象.
  • 张蓉生;李 立;魏学锋;李 娜;章胜玲
    电子学报. 2008, 36(11): 2160-2164.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    矢量数据的B样条曲线拟合算法被广泛地应用于数据的可逆压缩和矢量曲线数据的数学表达.但现有算法的误差评估大都是针对各坐标轴具有相同尺度单位的,而对各坐标轴尺度单位不同的工程曲线图则无能为力.据此提出了一种不大于1个像素最小栅格误差的矢量数据自适应序号参变量样条曲线拟合算法.该算法首先从矢量数据中以近乎相等的曲线弧长选出若干型值节点,并通过盈亏修正获得节点误差限为0.001的序号参变量样条曲线拟合.然后遍历拟合曲线对应的全部栅格点,检测它所在3×3邻域内是否有矢量数据栅格点或栅格图像曲线点位于其中,若有则该点满足于1个像素的误差限,反之将该曲线型值节点段进行标记,并转到曲线的下一型值节点段继续进行检测.对不满足要求的曲线型值节点段,通过添加一个型值节点或曲线序号数的移位等使之满足误差要求.实验结果表明该算法具有更高的准确性和使用的方便性.
  • 艾玲梅;王 珏
    电子学报. 2008, 36(11): 2165-2170.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对目前临床上对特发性、帕金森病、生理性等3种常见震颤误诊断的问题,本文提出了一种基于双谱分析和支持向量机识别3种不同类型震颤的新方法.首先测量3种震颤类型志愿受试者手震颤的加速度信号并分别对其用Hinich方法检验,发现该类信号具有非高斯、非线性特性,然后用适合处理该类信号的双谱分析方法提取手震颤加速度信号的双谱对角切片的特征信息,最后采用"一对一"和"一对多"两种多分类的支持向量机算法对受试人的手震颤特征进行分类.交叉验证表明"一对一"算法的平均分类正确率高于"一对多"算法,分类正确率最高达到93.13%.该方法为临床医生提供了辅助识别不同类型震颤的新途径.
  • 齐星云;窦 强;陈永然;钱 悦;杨 威;窦文华
    电子学报. 2008, 36(11): 2171-2177.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    现有的高性能计算机光互连网络大都需要对数据报文进行光-电-光转换并缓存,或者需要预先申请并建立从源节点到目的节点的光链路,这在一定程度上限制了网络性能.提出了一种既不需要对光数据报文进行缓存排队,也不需要预先申请并建立光链路的新型的光互连网络结构BOIN.给出了BOIN网络上的无死锁和无活锁路由算法,推导出BOIN网络中数据传输的延时上界,并通过模拟实验对比了BOIN网络与其它两种典型的网络的性能.实验结果表明,BOIN光互连网络具有良好的延时和吞吐率特性,能够很好地满足高性能计算机系统的要求.
  • 王小敏;何济洲;王建辉
    电子学报. 2008, 36(11): 2178-2182.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对不同热电子库组成的电子热机和制冷机系统,本文运用费米—狄拉克统计分布计算了在球坐标下两不同热电子库的净电子流密度随能量的分布函数,进而得到相应的热流.接着,计算了电子热机和制冷机各性能参数,数值模拟出该机的优化性能特征曲线.从而得到提高电子机工作性能的方法.
  • 邱 楹;仲崇权
    电子学报. 2008, 36(11): 2183-2189.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文提出了一种应用于多输出BUCK电流馈电推挽变换器的电流反馈控制方法.该控制方法等效于可变权系数的加权电压控制方法,其通过将反馈变量采样点由输出支路转移至变压器原边输入端并利用电感电流加以补偿从而实现对各支路输出电压的均衡调节.这一控制方法在简化反馈环节的同时改善了各支路输出电压的负载调整特性.分析过程考虑了主要的传导损失.仿真与实验结果证明了该控制方法的有效性.
  • 李 骏;王国俊
    电子学报. 2008, 36(11): 2190-2194.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    n值R0命题逻辑系统L*<em>n中,基于命题的真度概念提出了命题之间的支持度,并利用支持度的思想引入了广义MP问题以及集体广义MP问题的一种新型求解机制,并给出了解的存在性定理.本文的工作进一步从语构和语义两个方面为模糊推理的三I算法奠定了逻辑基础.本文的方法是一种程度化的方法,这就使得求解过程从算法上实现成为可能,并对知识的程度化推理有所启示.
  • 赵继印;徐艳蕾;焦玉斌
    电子学报. 2008, 36(11): 2195-2199.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    图像边缘检测是图像处理的关键技术,边缘检测的结果直接决定了后续图像处理的性能.数字图像的边缘检测主要要求就是边缘定位准确,运算速度快.以此要求为依据,本文在深入研究了数学形态学和顺序形态学的基础上,提出了一种基于顺序形态学的优化边缘检测算法,该算法能够快速准确的提取图像的边缘,对于尺寸较大的图像效果尤为明显.通过仿真实验表明该算法是一种准确快速的边缘检测方法.
  • 王 雷;李 吉;李博洋
    电子学报. 2008, 36(11): 2200-2204.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    缓冲区溢出漏洞是影响系统安全性的严重问题之一,本文提出了一种利用模型检测技术对代码中潜在的缓冲区溢出漏洞进行精确检测的方法.该方法通过静态分析,先将对缓冲区漏洞的检测转化为对程序某个位置可达性的判定.然后,利用模型检测技术对可达性进行验证.基于GCC和Blast,我们使用这一方法构造了一个精确检测缓冲区溢出漏洞的原型系统.最后,使用该原型系统对wu-ftpd,minicom和CoreHTTP等三个实际应用程序进行了检测,结果不仅检测出了已知的漏洞,而且发现了一些新漏洞.
  • 司天歌;谭智勇;刘 铎;戴一奇
    电子学报. 2008, 36(11): 2205-2209.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文提出一种基于系统动作的非确定不干扰模型,把不干扰关系拓展到系统动作之间,并表明信息流的产生同时依赖于发起者和观察者的动作,可通过允许发起者动作而阻止观察者动作的方法避免信息流动.最后设计了一个多级安全系统,并为排除隐蔽信道提供了一种新的方法.
  • 倪建成;李志蜀;孙继荣;周利平
    电子学报. 2008, 36(11): 2210-2215.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    树突状细胞(Dendritic Cell,DC)是先天性免疫系统的重要组件,其分化机制是正确引发与调节适应性免疫响应的关键.首先,在描述DC分化的生物机理基础上,抽象出了DC的信息处理过程.其次,在阐释DAMP等四类外部信号的含义与功能、信号融合过程的基础上,定义了未成熟、完全成熟与半成熟DC Agent,刻画了它们的分化数学模型与演化过程.最后,论证了各类DC Agent数量与生存周期之间的关系.实验结果表明DC分化机制对降低入侵检测误报率、实现自我调节和进一步增强计算机系统安全具有重要的理论意义与应用价值.
  • 王占山;张化光;余 文;张庆灵
    电子学报. 2008, 36(11): 2220-2223.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    研究了时变时滞Cohen-Grossberg神经网络的全局鲁棒稳定性问题.基于线性矩阵不等式技术,给出了保证时变时滞Cohen-Grossberg神经网络平衡点唯一性和全局鲁棒稳定性的新判据.这些新判据不依赖于时滞的大小和放大函数,且与现有的一些结果相比,具有易于验证、适用范围广、条件更不保守等特点.仿真结果验证了本文方法的有效性.
  • 李祚泳;汪嘉杨;郭 淳
    电子学报. 2008, 36(11): 2224-2228.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出一种基于粒子群算法优化BP网络的权值调整新方法.该算法在基本BP算法的误差反传调整权值的基础上,再引入粒子群算法的权值修正,从而建立了基于粒子群算法优化的BP网络新模型.此模型不仅可以克服基本BP算法收敛速度慢和易陷入局部极值的局限,而且模型的精度较高,较好地提高了BP网络学习能力与泛化能力.将新模型应用于4个典型复杂函数的仿真实验,并与基本BP模型、基于遗传算法优化的BP网络模型(GA-BP)和传统的粒子群优化前向BP网络模型(PSO-BP前传)的仿真实验结果进行分析比较.仿真实例表明新PSO-BP优化模型性能尤其是泛化性能优于其它3种BP网络优化模型.
  • 刘佰龙;张汝波;史长亭
    电子学报. 2008, 36(11): 2229-2233.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    群集智能由简单个体之间的相互作用涌现出来,这种涌现出来的智能可以解决许多复杂的问题.首先,从环形分类结构和群体集聚行为结果的相似之处出发,在物体聚集的过程中引入了物体间的引力场和斥力场,对多种物体的环形分类结构的形成进行研究.然后,采用Lyapunov稳定性理论分析了同类物体在引力和斥力的平衡下,最终会稳定的被聚集在一定范围内,并且所有物体最终形成稳定的环形结构.最后,通过仿真实验对上述理论进行了验证.
  • 赖明澈;王志英;戴 葵;高 蕾
    电子学报. 2008, 36(11): 2234-2238.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对传输触发结构提出了一种高效的指令压缩技术.改进模板压缩,消除了空传输指令与空长立即数.基于传输局部性特征,提出垂直字典压缩,提高了指令压缩效果.最后,设计单周期解压部件,以较小硬件代价实现了低耦合实时解压.实验结果表明,该技术达到了37.2%的压缩比,并且使计算内核及指令存储器的面积与功耗分别下降了约29%与23%,执行开销仅增加了约4%.
  • 赵小刚;王海卫;谢长生;李 博;
    电子学报. 2008, 36(11): 2239-2242.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文分析了自伺服过程中产生轨道形状偏差的原因及其带来的径向误差传递现象.详细讨论了分离式磁头对自伺服刻写的影响,指出磁头弯曲度的变化将对径向误差的传播产生一定作用.提出了一种加权型校正信号的产生方法,并从理论上和仿真条件下证明了该方法在参考值变化的情况下对径向误差抑制的作用.
  • 闻瑞梅
    电子学报. 2008, 36(11): 2243-2246.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文涉及水处理过程所用的过滤器成组反洗自动控制技术.设定自动反洗四个条件:浓水量、分流水量、源水的污染指数和多并联过滤器的台数.通过控制器进行在线检测,及时获得上述数据.通过控制器内预先设定的软件数学模型进行处理,获得过滤器堵塞状况,发出反洗控制信号,开启反洗阀门,用浓水进行反洗.结束反洗后,控制器自动切换回到运行状态.本方法克服了传统方法(定时反洗 压差反洗和定容反洗)的弊端,提供的检测手段简单、直观,不需要压力表,切换准确, 且"反洗"切换次数减少,确保中间产品水水质指标稳定,延长设备寿命,节水、节电、系统运行稳定可靠.市售单片机等组成控制器,能自主灵活实现其软件数学模型.适用于水处理过程中多并联、大通量的过滤器自动反洗.
  • 王安娜;张新华;谷召伟;潘 博
    电子学报. 2008, 36(11): 2247-2250.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文针对在医学图像配准中采用Hausdorff(HD)测度算法时存在精度和计算量之间的矛盾,提出了HD测度的改进算法,在HD测度算法中首次引入非线性的Bayesian一致性函数,以达到提高配准精度和抗噪声性能的目的.实验表明,该方法有效地解决了采用传统HD距离测度算法时,因出格点和噪声点引起的误配问题,获得了较好的配准效果.
  • 陈富吉;来新泉;李玉山;李先锐;李演明
    电子学报. 2008, 36(11): 2251-2255.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文介绍了一种基于开关电容的带隙基准芯片电路.本文巧妙地利用电容和开关的模拟电阻,实现了静态电流小,温度系数好的开关型基准电压.同时运用自动调零技术,克服了线性基准的失调缺陷,消除了运放的失调电压,提高了输出电压的失调精度.电路在0.5μm VIS CMOS工艺下实现,温度系数29×10-6V/℃,20mV输入失调电压下的电压漂移仅为0.4mV.
  • 张晋豫;刘 犁;梁满贵
    电子学报. 2008, 36(11): 2256-2261.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出了一个基于效用的EPON公平性指标算法.通过建立一个基于ACK特征包的ACK压缩和解压缩机制,消除了上游ONU的ACK对下游ONU下行数据流的影响,在保证ONU之间的公平性的同时,提高了带宽的使用效率.通过建立一个效用分类器,在维护了优先级机制扩展性的前提下,提高了并发的同业务类业务流之间的公平性.通过建立一个时延公平调度机制,在保证带宽的使用率前提下,保证了ONU的业务类之间的时延公平性.仿真结果很好验证了本机制的优点.
  • 谢鸿波;吴远成;刘一静;周明天
    电子学报. 2008, 36(11): 2262-2267.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在当前安全协议形式化分析的研究中,亟待解决的关键问题是如何形式化描述更多的安全属性,如何将这些属性在统一的框架下进行形式化分析和验证.本文提出了一种统一的安全属性形式化描述方法,在此基础上,利用知识推理来弥补进程演算缺乏数据结构的固有缺陷,从而提出了一种安全协议形式化分析的一般组合模型.通过实例分析验证了模型的有效性,并指出了该模型的研究方向.
  • 孟庆浩;兰少莹;姚振静;李根旺
    电子学报. 2008, 36(11): 2268-2273.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    超声测距系统中各换能器之间存在的干扰(即串扰)会严重制约测距的准确性;为消除串扰,采用混沌脉冲位置调制构造每个超声换能器的短发射序列;相关分析法被用于识别回声序列.分析了超声串扰产生原因,并给出了脉冲占空比与各次谐波能量的对应关系.为获得最佳的相关效果,采用遗传算法对Logistic混沌满映射调制的短序列脉冲间隔做了优化.所提方法在DC-DC(直流-直流)激励的静电型超声测距系统中获得了验证.结果表明,在合理配置脉冲间隔的情况下,混沌脉冲位置调制可用于消除实时超声测距系统的串扰.