最新刊期

    2013年第41卷第7期

      学术论文

    • 智慧协同网络体系基础研究

      张宏科, 罗洪斌
      2013, 41(7): 1249-1254. DOI: 10.3969/j.issn.0372-2112.2013.07.001
      摘要:现有互联网具有"三重绑定"特征,即:服务的"资源和位置绑定"、网络的"控制和数据绑定"及"身份与位置绑定".这种网络体系与机制是相对"静态"和"僵化"的,在此基础上的演进与发展无法从根本上满足信息网络"高速"、"高效"、"海量"、"泛在"等通信需求,难以解决网络可扩展性、移动性、安全性等问题,更难以实现网络资源的高效利用、节能等.本文创造性提出了以"三层"、"两域"为典型特征的智慧协同网络体系结构模型."三层"即:智慧服务层、资源适配层和网络组件层;"两域"即实体域和行为域.在"三层"、"两域"体系模型的基础上,分别建立了智慧服务层、资源适配层和网络组件层的基本理论,以在有效解决网络可扩展性、移动性、安全性等问题的基础上,大幅度提高网络资源利用率,降低网络能耗等,显著提升用户体验.  
      关键词:未来互联网体系;智慧协同;资源适配   
      2
      |
      3443
      |
      22
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 114991117 false
      更新时间:2025-07-16
    • 智慧协同网络中的服务机理研究

      苏伟, 陈佳, 周华春, 张宏科
      2013, 41(7): 1255-1260. DOI: 10.3969/j.issn.0372-2112.2013.07.002
      摘要:现有互联网在服务支持方面具有服务命名方式复杂、服务适配过程僵化等严重弊端,难以满足未来互联网的需求,亟待研究新的服务机制.为此,本文在智慧协同网络体系总体模型的基础上,提出了一种新的智慧服务层工作原理与设计方案,包括服务标识的统一命名与服务行为表征方法,服务的注册与查询方法,服务资源的存储方法,服务动态感知方法,以及服务标识到族群标识的智慧映射机制等,实现了服务的普适化和智慧化,显著提升了用户的体验.  
      关键词:智慧服务;服务标识;服务行为表征;动态适配   
      2
      |
      2348
      |
      11
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 113720507 false
      更新时间:2025-07-16
    • 智慧网络组件协同机制研究

      郜帅, 王洪超, 王凯, 张宏科
      2013, 41(7): 1261-1267. DOI: 10.3969/j.issn.0372-2112.2013.07.003
      摘要:现有互联网网络体系和机制相对"静态"和"僵化",缺乏支持智慧网络的有效机制.要从根本上解决现有互联网存在的严重弊端,必须创建新的网络体系、理论及机制.本文在多年信息网络基础理论研究和前期973项目"一体化可信网络与普适服务体系基础研究"的基础上,在智慧协同网络"三层"、"两域"总体结构模型的指导下,提出了一种智慧网络组件协同体系结构模型,提出了智慧网络组件模型与族群聚类机制,给出了网络复杂行为博弈决策机制及智慧网络组件协同工作机制等,实现了基于网络组件协同配合的网络智慧通信,有效解决了现有互联网资源利用率低、网络能耗高等问题.  
      关键词:网络组件;族群聚类;博弈决策;智慧协同   
      2
      |
      2365
      |
      13
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 113720977 false
      更新时间:2025-07-16
    • 基于可编程硬件的虚拟路由器数据平面设计与实现

      刘中金, 李勇, 杨懋, 苏厉, 金德鹏, 曾烈光
      2013, 41(7): 1268-1272. DOI: 10.3969/j.issn.0372-2112.2013.07.004
      摘要:未来网络体系结构创新和验证亟需建设虚拟化网络实验平台,虚拟路由器作为其中的核心组网设备,其结构和性能决定了实验平台的灵活性和承载能力.本文提出基于并行流水线的虚拟路由器数据平面结构,结合并行包分类和异步多指针轮询调度机制,在同一物理底层上实现了多个相互隔离的并行异构路由器.本设计在可编程硬件上进行了原型实现,并结合商用及软件路由器在真实的网络环境中部署、测试与实验.实验结果表明与传统单流水线结构相比,本设计能以更高灵活性和并行性支持异构的路由器实例独立运行;在逻辑资源开销和延时特性未显著增加的情况下,并行虚拟路由器可以达到与硬件可比的线速转发能力.  
      关键词:虚拟化;数据平面;并行流水线;可编程硬件   
      3
      |
      1492
      |
      3
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 114987677 false
      更新时间:2025-07-16
    • 基于GCTST变换研究多尺度函数的构造与性质

      周小辉, 王刚
      2013, 41(7): 1273-1277. DOI: 10.3969/j.issn.0372-2112.2013.07.005
      摘要:V Strela提出的两尺度相似变换(TST) 在研究多小波的构造与性质中发挥着十分重要的作用.在文中,我们提出了广义共轭两尺度相似变换(GCTST)的概念.利用广义逆矩阵的分解及单边逆的相关理论,详细地研究了GCTST变换对矩阵符号特征值影响,这种技巧在其他相关文献中很少使用.证明了GCTST可以保持多尺度函数的逼近阶,平衡非平衡的多尺度函数及保持对称性等.通过最后的算例,说明GCTST是可行的有效的,而且可以减少或增加多尺度函数的重数.  
      关键词:GCTST变换;多尺度函数;广义逆矩阵;小波   
      2
      |
      1104
      |
      0
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 114983533 false
      更新时间:2025-07-16
    • 一种有效的相关噪声背景下宽带相干信号DOA估计算法

      张进, 叶中付, 毛云祥
      2013, 41(7): 1278-1283. DOI: 10.3969/j.issn.0372-2112.2013.07.006
      摘要:利用均匀线阵,本文提出了一种有效的相关噪声下宽带相干信号DOA估计算法.首先,在各个频率点,利用空间差分技术消除色噪声分量,并通过平方操作构造新矩阵;然后,通过聚焦操作得到通用的协方差矩阵;最后,通过使用传播算法估计得到宽带相干信号的DOA.算法能够分辨的相干组中相干信号的个数可以是奇数或是偶数.仿真结果验证了算法的有效性和性能.  
      关键词:宽带相干信号;DOA估计;均匀线阵;空间相关噪声;传播算法   
      2
      |
      1362
      |
      6
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 114980823 false
      更新时间:2025-07-16
    • 多径衰落环境中具有调制识别能力的盲均衡新算法

      饶伟
      2013, 41(7): 1284-1289. DOI: 10.3969/j.issn.0372-2112.2013.07.007
      摘要:常数模盲均衡算法在对非常模信号进行均衡时稳态均方误差不能收敛至零,且不具备信号调制识别能力.因此,依照常数模算法代价函数的构造方法定义了一种余弦代价函数,提出了基于该代价函数的盲均衡新算法.该余弦代价函数可将BPSK、M-PAM、M-QAM信号的不同星座点映射至原点,从而使新算法在对上述常模或非常模信号进行均衡时稳态均方误差均能收敛至零,更重要的是新算法能够在多径衰落环境下实现对上述信号的调制识别.理论分析和仿真结果证明了新算法的优良性能.  
      关键词:盲均衡;多径衰落;调制识别;常数模算法;余弦代价函数   
      2
      |
      1699
      |
      4
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 113721081 false
      更新时间:2025-07-16
    • 基于自学习选路算法的多路径并行传输

      刘畅, 宋飞, 鄢欢, 张思东
      2013, 41(7): 1290-1296. DOI: 10.3969/j.issn.0372-2112.2013.07.008
      摘要:本文针对多路径并行传输提出了一种基于自学习思想的路径选择算法.这种自学习机制首先根据具体服务提出的需求,如吞吐量、延时、丢包等,综合定义一个用于计算服务体验的目标函数,再将路径选择算法中的一些参数设定为可学参数.在传输过程中,系统通过分析不同可学习参数与目标函数值之间的对应变化关系,逐渐进行自我学习,得到最佳的可学参数配置,从而获得最优化的服务体验.实验测试结果表明了自学习选路算法的可行性、收敛性和稳定性,并且证明了该算法能够根据网络状态的实时变化,通过自学习机制自行调整路径分配并得到最佳的目标函数值.  
      关键词:自学习;多路径并行传输;最优化;选路算法   
      2
      |
      1403
      |
      0
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 114989493 false
      更新时间:2025-07-16
    • 稳定分布下基于FAM的低阶循环谱算法研究

      何继爱, 裴承全, 郑玉峰
      2013, 41(7): 1297-1304. DOI: 10.3969/j.issn.0372-2112.2013.07.009
      摘要:该文在α稳定分布下结合共变理论、循环平稳和分数低阶矩(FLOM)等理论和方法,提出基于FAM (FFT Accumulation Method)的低阶循环谱算法,对算法中存在的循环泄露现象及算法复杂度进行了分析,并以调制信号(AM,QPSK)做了实验仿真.结果表明在α稳定分布下循环平稳信号的低阶循环谱密度和在高斯模型下的二阶循环谱结构是一致的,但基于α稳定分布假定所设计的信号处理算法对信号噪声特性不确定情况具有较好的韧性和抗脉冲噪声性能.最后在循环谱域构造了调制信号的低阶循环特征参数,为复杂背景下的调制识别提供了新的途径.  
      关键词:α稳定分布;分数低阶矩;FAM;高斯模型   
      2
      |
      2117
      |
      4
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 113719747 false
      更新时间:2025-07-16
    • 基于中继放大转发的多天线基站下行传输性能分析

      李光平, 张广驰, 崔苗, 冯久超
      2013, 41(7): 1305-1312. DOI: 10.3969/j.issn.0372-2112.2013.07.010
      摘要:研究基站具有多根天线、中继与用户具有单天线的中继放大转发多用户系统,利用正交空时分组编码和机会主义调度策略同时获得空间分集和多用户分集.针对自适应增益和固定增益转发策略,首先导出独立不同分布瑞利衰落下系统中断概率和误码率的闭合表达式;随后根据高信噪比下系统的渐近性能确定系统的分集阶数,分析空间分集和多用户分集对系统性能的联合影响,并与单跳多天线基站下行传输系统进行性能比较;最后利用计算机仿真验证理论分析结果的正确性.  
      关键词:多天线系统;无线中继转发系统;正交空时分组编码;多用户分集   
      2
      |
      1286
      |
      3
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 114988392 false
      更新时间:2025-07-16
    • 二维经验模态可分离度及其量化计算

      葛光涛, 虞露
      2013, 41(7): 1313-1318. DOI: 10.3969/j.issn.0372-2112.2013.07.011
      摘要:解释和分析了二维信号可分离度的概念.基于二维模态分解理论和二维信号解析相位理论提出了二维模态信号的加性可分离度计算式和乘性可分离度计算式,并分别利用完全加性信号和完全乘性信号对两种计算式的实际效果进行了验证.二维经验模态可分离度的应用意义体现在:它可以鉴定二维模态分解算法分解质量的优劣,可以用来确定模态分解客观分解终止条件,还可以在进行单方向特征信息提取时为预处理方法的选择提供有效依据.  
      关键词:二维信号可分离度;二维经验模态分解;解析相位;加性可分离度;乘性可分离度   
      2
      |
      1634
      |
      3
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 113719280 false
      更新时间:2025-07-16
    • 基于结构保持的MR图像运动伪影快速抑制方法

      何宁, 吕科, 王雪
      2013, 41(7): 1319-1323. DOI: 10.3969/j.issn.0372-2112.2013.07.012
      摘要:目前核磁共振图像运动伪影的校正方法普遍是基于K空间数据的方法,本文提出一种直接对核磁共振图像进行伪影校正的后处理方法.基于非局部均值总变差去噪的思想设计构造了结构保持的运动伪影校正模型,该模型由非局部均值正则项和块相似保真项构成,正则项可以有效去除运动伪影和噪声的同时保持图像的结构;将各向异性结构张量作为块相似保真项中的权函数,实现在不同区域有不同的扩散方式,在去除图像运动伪影的同时保留图像的细节信息.模型的数值求解采用分裂Bregman方法实现.本文提出的方法充分考虑了图像的几何结构特性,实验结果表明,该方法能有效去除运动伪影并保留有价值的图像细节信息,同时提高了运算速度.  
      关键词:运动伪影;磁共振成像;结构保持;非局部均值   
      2
      |
      1813
      |
      3
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 113720726 false
      更新时间:2025-07-16
    • 基于结构张量特征值的纹理图像分割模型

      张善卿, 张坤龙
      2013, 41(7): 1324-1328. DOI: 10.3969/j.issn.0372-2112.2013.07.013
      摘要:通过对结构张量的研究和对纹理图像的分析,提出了一种基于结构张量特征值的标量型纹理特征描述,将其和原图像分别嵌入到两相模糊区域竞争模型和CV模型中,给出了一种纹理和灰度相结合的无监督纹理图像分割模型.为获得新模型的全局最优解,采用了Chambolle对偶法加以实现.针对自然和合成纹理图像进行了相关实验,结果表明该模型特征数据维数少,具有较快的收敛速度和更准确的分割效果.  
      关键词:结构张量;纹理图像分割;对偶法;模糊区域竞争   
      2
      |
      1598
      |
      8
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 113719919 false
      更新时间:2025-07-16
    • 稀疏正则化的多目标图像分割变分模型

      李亚峰
      2013, 41(7): 1329-1336. DOI: 10.3969/j.issn.0372-2112.2013.07.014
      摘要:基于隶属度函数的稀疏正则化,本文提出一个新的多目标图像分割变分模型和相应求解算法.该模型和算法有以下主要优点:首先,稀疏正则可以更好地保持分割区域的边界,克服了全变差正则导致分割边界模糊的缺点.其次,利用多尺度几何分析工具可以更好地保持图像的几何形状.最后,提出算法简单、易实现、运行速度快.一系列实验结果验证了提出方法的可行性与有效性.  
      关键词:图像分割;稀疏表示;小波;曲线波;分裂算法;变分模型   
      2
      |
      1464
      |
      3
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 113719826 false
      更新时间:2025-07-16
    • 中心词驱动句法分析中的平滑技术

      袁里驰
      2013, 41(7): 1337-1342. DOI: 10.3969/j.issn.0372-2112.2013.07.015
      摘要:解决数据稀疏问题是中心词驱动句法分析中的一个重要问题,基于词类的统计语言模型是解决统计模型数据稀疏问题的重要方法.本文在分析经典平滑算法的基础上,提出一种基于语义依存信息和互信息的词聚类算法,并利用绝对权重差分方法构造了一种可变长语言模型,即根据历史词对当前词预测所作的贡献不同,n值的大小也随之变化.进而提出了一种基于语义类和可变长模型的中心词驱动句法分析改进模型,既增强了句法分析模型的消歧能力,又解决了严重的数据稀疏问题.改进模型性能有了明显的提高,精确率和召回率分别为84.53%和82.41%,综合指标F值比Collins的中心词驱动句法分析模型提高了2.02个百分点.  
      关键词:句法分析模型;平滑算法;中心词驱动句法分析;聚类算法   
      2
      |
      1371
      |
      2
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 113720024 false
      更新时间:2025-07-16
    • 概率实时时态认知逻辑模型检测中抽象技术的研究

      刘志锋, 孙博, 周从华
      2013, 41(7): 1343-1351. DOI: 10.3969/j.issn.0372-2112.2013.07.016
      摘要:概率实时时态认知逻辑PTACTLK模型检测面临着与传统模型检测同样的挑战,即状态空间爆炸问题.抽象是缓解状态空间爆炸问题的最为有效的方法之一.为了缓解概率实时时态认知逻辑模型检测中的状态空间爆炸问题,我们给出了一种抽象技术:对于PTACTLK中的实时部分PTACTL,采用抽象离散时钟赋值,把概率实时解释系统的无限状态空间转化成有限形式;对于PTACTLK中的认知算子K,给出了抽象状态关于智体认知等价的定义.定义了概率实时解释系统的抽象模型,给出了抽象模型上概率实时时态认知逻辑的语义,并证明了由抽象技术演绎得到的抽象模型是原始模型的上近似.最后通过一个通信协议来说明抽象技术的有效性.  
      关键词:模型检测;概率实时时态认知逻辑;PTACTLK;状态空间爆炸;抽象   
      2
      |
      1279
      |
      2
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 113719417 false
      更新时间:2025-07-16
    • 基于最小混乱度的三值可逆逻辑综合算法

      徐明强, 管致锦, 张海豹
      2013, 41(7): 1352-1357. DOI: 10.3969/j.issn.0372-2112.2013.07.017
      摘要:三值可逆逻辑综合是可逆逻辑综合的延伸和扩展.为了简化可逆网络,提高三值可逆逻辑门的通用性,对现有三值可逆控制门控制位的生效值扩展为0、1和2.在此基础上提出了基于最小混乱度原则的三值可逆逻辑综合算法.该算法根据三值可逆函数计算其对应真值表中每个变量的相对混乱度和绝对混乱度,以最小混乱度原则选取三值可逆逻辑门,直至真值表中的每个变量的混乱度为零,得到三值可逆网络.该算法的时间复杂度为O(n2×3n),空间复杂度为O(n×3n).实验结果表明,与现有已知算法对比,平均门数更少.  
      关键词:三值可逆逻辑门;三值可逆逻辑综合;混乱度   
      2
      |
      1347
      |
      0
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 113719681 false
      更新时间:2025-07-16
    • 裴颂伟, 李兆麟, 李圣龙, 魏少军
      2013, 41(7): 1358-1364. DOI: 10.3969/j.issn.0372-2112.2013.07.018
      摘要:SoC(System-on-a-Chip)芯片设计中,由于芯片测试引脚数目的限制以及基于芯片性能的考虑,通常有一些端口不能进行测试复用的IP(Intellectual Property)核将不可避免地被集成在SoC芯片当中.对于端口非测试复用IP核,由于其端口不能被直接连接到ATE(Automatic Test Equipment)设备的测试通道上,由此,对端口非测试复用IP核的测试将是对SoC芯片进行测试的一个重要挑战.在本文当中,我们分别提出了一种基于V93000测试仪对端口非测试复用ADC(Analog-to-Digital Converter)以及DAC(Digital-to-Analog Converter)IP核的性能参数测试方法.对于端口非测试复用ADC和DAC IP核,首先分别为他们开发测试程序并利用V93000通过SoC芯片的EMIF(External Memory Interface)总线对其进行配置.在对ADC和DAC IP 核进行配置以后,就可以通过V93000捕获ADC IP 核采样得到的数字代码以及通过V93000 采样DAC IP 核转换得到的模拟电压值,并由此计算ADC以及DAC IP 核的性能参数.实验结果表明,本文分别提出的针对端口非测试复用ADC以及DAC IP 核测试方案非常有效.  
      关键词:片上系统;模数转换器;数模转换器;V93000测试仪;性能参数   
      2
      |
      1879
      |
      4
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 113719548 false
      更新时间:2025-07-16
    • 基于XCFG的BPEL数据流属性分析与验证

      吉顺慧, 李必信, 邱栋
      2013, 41(7): 1365-1370. DOI: 10.3969/j.issn.0372-2112.2013.07.019
      摘要:BPEL组合服务实现了Web服务的复用和增值,但其复杂性带来了一定的挑战.例如,BPEL流程中正确的数据流对确保服务组合的正确性是十分重要的,然而现有的研究很少关注这类问题.本文提出一种基于扩展控制流图(XCFG)的BPEL流程数据流属性验证方法,利用XCFG对BPEL流程进行形式建模,设计相应的算法来分析和验证典型的数据流属性,如定义-使用一致性,无死锁和可达性.理论分析和实验均表明该方法是有效的.  
      关键词:Web服务组合;扩展控制流图(XCFG);数据流属性;验证   
      2
      |
      2032
      |
      1
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 113720194 false
      更新时间:2025-07-16
    • 基于哈希表的高效存储器内建自修复方法

      郭旭峰, 于芳, 刘忠立
      2013, 41(7): 1371-1377. DOI: 10.3969/j.issn.0372-2112.2013.07.020
      摘要:现有存储器内建自修复方法要么遍历式地址比较效率低,要么并行地址比较功耗高,都不适用于大故障数存储器.对此,本文提出一种高效的存储器内建自修复方法,该方法对占故障主体的单元故障地址以哈希表形式进行存储,以利用哈希表的快速搜索特性提升地址比较效率.本文方法修复后的存储器在1个时钟周期内即可完成地址比较,修复后存储器性能不受任何影响,与目前广泛采用的基于CAM的方法处于同一水平,但功耗方面却具有明显优势.计算机模拟实验表明,对于512×512×8bits的存储器在同等冗余开销的情况下本文方法修复率相对于ESP方法平均提高了32.25%.  
      关键词:内建自修复;哈希表;内建冗余分析;内建自测试   
      2
      |
      1821
      |
      0
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 113720333 false
      更新时间:2025-07-16
    • 晶体摆动场与周期弯晶作为γ-速调管的可能性

      李秀平, 吴木营, 罗诗裕, 邵明珠
      2013, 41(7): 1378-1383. DOI: 10.3969/j.issn.0372-2112.2013.07.021
      摘要:寻找新光源,特别是短波长相干光源一直是人们努力追求的目标.将晶体摆动场同速调管技术相结合可望获得短波长相干光源,特别是相干的γ-光源.文章通过晶体摆动场莱塞效应分析,讨论了周期弯晶作为γ-速调管的可能性.在经典力学框架内和小增益近似下,把晶体摆动场中的粒子纵向运动方程化为经典的摆方程,并用摄动法导出了系统的能量增益.结果表明,当弯晶作为放大器模式工作时,要求的束流强度比较高,在级联速调管工作模式下束流强度要求可降低3-4个量级,完全位于当今加速器技术能力范围内.  
      关键词:晶体摆动场;Γ-速调管;短波长激光;增益因子   
      2
      |
      1963
      |
      0
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 113719625 false
      更新时间:2025-07-16
    • 弦二部图的概念格表示

      李立峰, 刘三阳, 罗清君
      2013, 41(7): 1384-1388. DOI: 10.3969/j.issn.0372-2112.2013.07.022
      摘要:本文首先讨论了二部图中双单纯边与概念格中概念之间的对应关系;其次研究了弦二部图和约简的形式背景的若干性质;最后将概念格中元素的消除理论应用于二部图的研究,给出了弦二部图的概念格刻画.结果表明,一个二部图是弦二部图当且仅当对应的概念格中有一个∨∧—不可约元的完美消除序列.  
      关键词:知识推理;约简形式背景;概念格;弦二部图;边完美消除序列   
      2
      |
      1271
      |
      2
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 113720432 false
      更新时间:2025-07-16
    • 基于正则FI代数的MT理想及其应用

      吴洪博, 汪宁
      2013, 41(7): 1389-1394. DOI: 10.3969/j.issn.0372-2112.2013.07.023
      摘要:本文基于经典代数的角度对正则FI代数进行了再研究.首先,在正则FI代数中通过蕴涵算子提出了MT理想的概念,讨论了正则FI代数中MT理想与同余关系的联系;其次,在正则FI代数中引入素MT理想的概念,并以素MT理想为工具给出了正则FI代数的条件嵌入定理;最后,通过以蕴涵算子表示的隐式余三角模对MT理想的特征进行了描述,并通过特征定理给出了正则FI代数中MT理想的生成方法.  
      关键词:逻辑代数;正则FI代数;MT理想;同余关系;还原性;条件嵌入;生成方法   
      2
      |
      1242
      |
      10
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 114987183 false
      更新时间:2025-07-16

      综述评论

    • 光传送网的生存技术

      倪文达, 李青山, 李艳和, 张汉一, 周炳琨, 郑小平
      2013, 41(7): 1395-1405. DOI: 10.3969/j.issn.0372-2112.2013.07.024
      摘要:生存技术作为光传送网体系演进中最为重要的组成部件,受到学术界和工业界广泛而持久的关注.论文回顾和总结光传送网生存技术的重要研究成果及若干最新进展,内容包括:光网络的连接恢复技术、可生存光网络的资源优化与服务质量、两层网络的连接恢复技术以及透明光网络的故障定位技术.  
      关键词:光传送网;网络生存技术;资源优化;服务质量;共享路径保护;两层网络;故障定位   
      2
      |
      1520
      |
      0
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 113720607 false
      更新时间:2025-07-16

      科研通信

    • 面向云计算的键值型分布式存储系统研究

      孙勇, 林菲, 王宝军
      2013, 41(7): 1406-1411. DOI: 10.3969/j.issn.0372-2112.2013.07.025
      摘要:对于数据密集型的云计算应用,基于磁盘的存储系统很难同时满足它们对性能与可用性的需求.本文提出了一种以内存为主设备、以磁盘为辅助设备的键值型分布式存储系统M-Cloud,能提供大数据读写、备份及恢复等存储服务功能.M-Cloud通过将数据全部装入服务器集群内存中的方式提高系统整体性能,并设计了分区线性哈希算法以实现负载均衡和高扩展性,设计了相应的数据备份与故障快速恢复策略以保证系统可靠性.仿真实验结果表明,M-Cloud具有较高的性能与可用性,对系统进一步改进和优化后具有应用于实际生产环境中的潜力,可为用户提供高质量的存储服务.  
      关键词:云计算;键值;分布式存储系统;线性哈希;故障恢复   
      5
      |
      2459
      |
      3
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 113720881 false
      更新时间:2025-07-16
    • 通过用况聚类促进软件结构恢复的方法

      任武
      2013, 41(7): 1412-1418. DOI: 10.3969/j.issn.0372-2112.2013.07.026
      摘要:为促进遗留软件系统的理解和演化任务,需要对系统的整体功能结构有一个总体认识.常见的方法主要是利用聚类技术对静态源代码进行分析.然而在面向对象的软件系统中,由于软件的复杂性如多态和动态绑定等因素的存在,因此需要考虑对象的运行时特性.用况和用况模型从用户的角度描述了软件系统的行为特点,反映了系统的功能特性,已经成为程序理解的一个关键所在.通过对用况的聚类分析,建立软件系统的结构框架,并与实际的设计结构进行比较,以验证软件结构质量好坏,是本文所提出的研究思路.该方法结合利用关联规则挖掘技术获取用况对应的执行事件,并通过静态结构的分析对用况和相关事件的调用依赖关系进行扩充.最后通过一个开源项目的实验分析进行评估,讨论方法的适用性和有效性.  
      关键词:动态分析;静态分析;用况;聚类;软件结构恢复   
      2
      |
      1546
      |
      1
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 113721162 false
      更新时间:2025-07-16
    • 野外场景分析与水体识别新方法的研究

      马勇, 成谢锋, 唐振民, 张少白
      2013, 41(7): 1419-1424. DOI: 10.3969/j.issn.0372-2112.2013.07.027
      摘要:根据视觉认知规律,提出描述野外场景图像的三要素:地面、垂直物、天空,给出了单视角野外场景图像方程,通过采用基于独立图元函数码的三要素图像快速分类方法,实现对野外场景图像的分割,并且只在地面上去识别水体.本文重点讨论了野外场景中水体光照模型,分析了野外场景的相关物理特性,定义了水质参数、环境染色参数、图元、独立图元函数码、母图元等新概念,给出了野外场景分析与水体识别系统,提出基于位置、纹理、地质系数和环境染色等多特征参数的数据融合水体识别方法.实验表明该方法对于宽阔的道路场景分析和道路上的水体识别可以得到很好的效果.  
      关键词:野外场景图像;场景三要素;图元;独立图元函数码;水体识别   
      3
      |
      1384
      |
      2
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 114991755 false
      更新时间:2025-07-16
    • 基于主成分分析的经验模态分解消噪方法

      王文波, 张晓东, 汪祥莉
      2013, 41(7): 1425-1430. DOI: 10.3969/j.issn.0372-2112.2013.07.028
      摘要:针对非线性非平稳信号的去噪问题,提出一种基于主成分分析(PCA)的经验模态分解(EMD)消噪方法.该方法根据EMD的分解特性,利用PCA对噪声信号经EMD分解后的内蕴模态函数(IMF)进行去噪处理:首先利用"3σ法则"对第一层IMF进行细节信息提取,并估计每层IMF中所含噪声的能量;然后对IMF进行PCA变换,根据IMF中所含噪声的能量选择合适数目的主成分分量进行重构,以去除IMF中的噪声.为验证本文方法的有效性,进行了数字仿真与实例应用实验.实验结果均表明,所提方法的消噪效果整体上优于Bayesian小波阈值消噪方法和基于模态单元的EMD阈值消噪方法,是一种有效的信号消噪新方法.  
      关键词:经验模态分解;信号消噪;主成分分析;噪声能量   
      2
      |
      2445
      |
      26
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 114983756 false
      更新时间:2025-07-16
    • 大电流负载的片上LDO系统设计

      胡佳俊, 陈后鹏, 宋志棠, 王倩, 宏潇, 李喜, 许伟义
      2013, 41(7): 1431-1435. DOI: 10.3969/j.issn.0372-2112.2013.07.029
      摘要:本文分析了传统大电流负载的LDO(Low-dropout Regulator)系统实现系统稳定性和瞬态响应提高的局限性,在此基础上,提出了一种片内集成的瞬态响应提高技术.此技术无需外挂电容和等效串联电阻(Equivalent Series Resistor,ESR),即能使系统在全负载范围内保持稳定性和良好的纹波抑制能力.仿真结果表明,系统空载时,静态电流为64μA,且最大能提供800mA的负载电流,1KHz时的电源抑制比达到-60dB,当负载电流以800mA/5μs跳变时,最大下冲电压为400mV,上冲电压为536mV,恢复时间分别只需6.7μs和12.8μs,版图面积约为0.64mm2.  
      关键词:瞬态响应;相位裕度;快速响应;低压差;大电流负载   
      4
      |
      2635
      |
      2
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 114986301 false
      更新时间:2025-07-16
    • 基于幅度变化点检测的多功能雷达脉冲列解析方法

      马爽, 柳征, 姜文利
      2013, 41(7): 1436-1441. DOI: 10.3969/j.issn.0372-2112.2013.07.030
      摘要:在电子情报领域,针对多功能雷达脉冲列解析中的基本波形提取问题,提出了一种新的基于统计变化点检测的方法.该方法利用相控阵天线波束离散扫描的特点,将基本波形提取问题转化成脉冲幅度序列变化点的检测问题.引入生物染色体分析中的循环二分算法来检测并估计幅度序列的多个变化点,进而得到基本波形的集合.该方法不需要任何先验知识,在较低信噪比的情况下仍然能够得到高精度的提取结果.仿真实验表明了该方法的有效性.  
      关键词:多功能雷达;统计变化点;循环二分算法;电子战   
      2
      |
      1416
      |
      8
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 113720142 false
      更新时间:2025-07-16
    • 基于属性关联的客体聚合信息级别推演方法

      曹利峰, 陈性元, 杜学绘, 邵婧
      2013, 41(7): 1442-1447. DOI: 10.3969/j.issn.0372-2112.2013.07.031
      摘要:为解决客体关联性引起的泄密问题,本文对客体关联性进行了深入分析,提出了基于属性关联的客体聚合信息级别推演方法.该方法根据客体属性依赖关系,挖掘出高关联度的客体,通过客体关联属性级别模糊集可能性测度,推演出关联客体推导出更高级别信息的可能性,以此指导多级安全网络访问控制策略的制定,控制主体对关联客体的访问,降低系统失泄密的风险.  
      关键词:多级安全;等级保护;客体聚合;推理通道;级别推演   
      2
      |
      1653
      |
      1
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 114989214 false
      更新时间:2025-07-16
    • 应用于变化条件下延时分析的反相器模型

      王新胜, 喻明艳
      2013, 41(7): 1448-1452. DOI: 10.3969/j.issn.0372-2112.2013.07.032
      摘要:本文提出了一个考虑衬底耦合效应的门延迟模型.该模型在考虑衬底耦合效应下转换CMOS反相器的延迟为等效电阻和电容(RC)网络延迟.考虑工艺参数扰动和衬底耦合效应对门延时的影响,建立基于工艺扰动的简单开关电容门延迟模型,结合随机配置法和多项式的混沌展开法分析门延时.利用数值计算方法对本模型和分析方法进行验证,结果表明与HSPICE精确模型仿真结果的相对误差小于2%,证明本模型和分析方法的有效性.  
      关键词:工艺变化;反相器门延时模型;衬底耦合效应;多项式混沌   
      2
      |
      2222
      |
      1
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 114986874 false
      更新时间:2025-07-16
    • 2012年度《电子学报》审稿专家名单

      2013, 41(7): 1453-1456.
        
      2
      |
      2
      |
      0
      <HTML>
      <网络PDF><Meta-XML>
      <引用本文> <批量引用> 34163294 false
      更新时间:2025-07-16
    0