最新刊期
      2012年第40卷第10期

        学术论文

      • 高阶高斯分布迭代的云模型及其数学性质研究

        刘玉超, 马于涛, 张海粟, 陈桂生
        2012, 40(10): 1913-1919. DOI: 10.3969/j.issn.0372-2112.2012.10.001
        摘要：云模型通过二阶高斯分布研究不确定性,它产生的云滴分布具有尖峰肥尾特性,呈现出幂率衰减.社会学和经济学的研究发现,由于在演化过程中具有偏好依附的特点,许多实际数据呈现出尖峰肥尾的特性,本文试图通过高阶高斯分布迭代产生的高阶云模型的数学性质研究,探寻高斯分布与尖峰肥尾分布之间的联系.基于高斯分布迭代构造具有尖峰肥尾特性的概率分布,通过基于高阶高斯分布迭代的云模型刻画更多的不确定性现象,分析高阶高斯分布迭代的典型参数,与云模型参数进行对比分析,为雾化后的逆向云发生器求解提供了新的手段,同时也为高阶云模型的逆向求解过程提供了方法.  
        关键词：高斯分布;峰度;肥尾;云模型   
        2
        |
        2
        |
        4
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113717368 false
        更新时间：2025-07-16

      • 基于连接标识的映射通信

        刘畅, 宋飞, 孙亮, 张思东
        2012, 40(10): 1920-1926. DOI: 10.3969/j.issn.0372-2112.2012.10.002
        摘要：本文提出了一种基于连接标识(CID)通信的方法,并添加连接标识映射服务器(CMS)来完成对连接的管理功能.CMS将网络的核心部分与接入部分进行了分离,通过在CMS中建立连接标识与IP之间的映射,完成了映射通信的传输方式.本文将传统网络数据发送模式由基于对端地址变为基于连接标识,从而提升网络针对连接的可控可管性.本文详细讲述了这种基于连接的映射通信带来的优势,如:提高抗DDos攻击、防止主机身份暴露、减少核心网路由条目等.并且分析了这种映射通信对现有应用的向下兼容性,及其可能带来的新攻击方式及应对措施.最终的实现测试给出了基于连接标识映射通信的具体性能.  
        关键词：连接标识;网络架构;映射通信;标识映射   
        2
        |
        2
        |
        1
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113716572 false
        更新时间：2025-07-16

      • 基于异质网络的意见领袖社区发现

        张伟哲, 王佰玲, 何慧, 谭卓鹏
        2012, 40(10): 1927-1932. DOI: 10.3969/j.issn.0372-2112.2012.10.003
        摘要：针对意见领袖社区发现问题,通过将论坛中主题及其回复关系建模为异质网络,准确表示社区结构.提出意见领袖社区影响力概念及其量化方法,在此基础上设计了一种基于异质网络的意见领袖社区发现算法.通过采集天涯论坛的大量数据,验证了该社区挖掘方案能够较准确地挖掘论坛中的意见领袖社区.  
        关键词：网络社区;社区发现;意见领袖;异质网络   
        2
        |
        2
        |
        5
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113717764 false
        更新时间：2025-07-16
      • 马环宇, 姜伟, 虎嵩林
        2012, 40(10): 1933-1937. DOI: 10.3969/j.issn.0372-2112.2012.10.004
        摘要：质量敏感的自动服务组合旨在根据用户的输入输出请求和服务质量约束,从海量的Web服务中快速搜索满足要求的最优组合方案,能够有效应用于服务组合辅助建模、正确性校验等领域.为了向用户提供更多的组合方案,以满足多样化的应用需求,并消除由于集中选择最优方案所带来的性能瓶颈隐患,我们在QSynth系统的基础上开发了一个支持top k查询的系统——QSynth-TopK.该系统通过对最优组合方案中的服务进行迭代地替换,实现全局服务质量的有序递减,以得到组合质量排名前k个的服务组合方案.理论证明该算法具有可靠的精确性,实验证明系统在大规模服务集上有着良好的、稳定的运行效率.  
        关键词：自动服务组合;服务质量;top k;图搜索   
        2
        |
        4
        |
        1
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113718669 false
        更新时间：2025-07-16

      • 双频GPS接收机的动态辅助L2P(Y)跟踪

        王先毅, 孙越强, 杜起飞, 白伟华, 吴迪, 王冬伟
        2012, 40(10): 1938-1942. DOI: 10.3969/j.issn.0372-2112.2012.10.005
        摘要：双频接收机中对L2P(Y)信号的跟踪可以使用半无码方法.但由于半无码方法本身具有平方损耗,因此实际获得的L2P(Y)信号载噪比很低,对L2P(Y)信号跟踪环路的性能提出了更高的要求.文中提出了一种利用接收机动态辅助L2P(Y)码跟踪的方法,给出了环路的设计细节,并详细地讨论了影响环路性能的各个因素.通过计算机仿真,比较了动态辅助环路和未辅助环路的性能.仿真结果表明,使用动态辅助的L2P(Y)信号跟踪环路可以在更低的载噪比下进行有效跟踪.  
        关键词：GPS;双频;半无码;Z跟踪;平方损耗;动态辅助   
        2
        |
        2
        |
        3
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113719232 false
        更新时间：2025-07-16

      • 一种提高超宽带无线系统干扰容限的方法

        熊海良, 易克初, 王勇超, 张杰
        2012, 40(10): 1943-1947. DOI: 10.3969/j.issn.0372-2112.2012.10.006
        摘要：超宽带无线电系统常常因窄带干扰强度超出其干扰容限而无法正常工作,自适应陷波技术可大幅度提升其干扰容限.但在超宽带接收机中,实现高阶陷波非常困难,常规方法复杂度高、稳定性差、难于收敛.本文提出一种时分复用并行高阶自适应陷波方法,能同时快速跟踪并有效滤除一个或多个窄带强干扰,使系统干扰容限大幅度提升,且稳定性好、收敛快、对有用信号损伤小.理论分析与仿真结果验证了其优越性,且具有重要应用价值.  
        关键词：超宽带;时分多路;干扰;自适应   
        2
        |
        2
        |
        0
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113718467 false
        更新时间：2025-07-16

      • 高空平台不稳定性对HAPS通信性能影响建模与分析

        管明祥, 郭庆, 顾学迈
        2012, 40(10): 1948-1953. DOI: 10.3969/j.issn.0372-2112.2012.10.007
        摘要：由于高空平台不可能静止驻留在空中,平台打转、摇摆等状态就会对HAPS(High Altitude Platform Stations)通信性能产生关键影响.目前的研究都处在假设平台稳定或调整波束指向能够补偿由于高空平台移动造成的剩余指向误差,存在很大的局限性,不能真实反应实际情况.本文通过建模把平台的不稳定性带来的影响反应到无线链路上,解决平台不稳定性等造成收发信号随机变化大而无法通信或通信质量差的问题.并通过仿真分析验证本文提出模型的正确性.  
        关键词：高空平台站;不稳定;无线链路;性能影响   
        2
        |
        3
        |
        2
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113717610 false
        更新时间：2025-07-16

      • 基于网络编码的无线物联网多中继协作切换机制

        黄辰, 张伟, 李可维, 杨维明, 黄本雄, 戴彬
        2012, 40(10): 1954-1957. DOI: 10.3969/j.issn.0372-2112.2012.10.008
        摘要：本文针对网状结构的无线物联网中的多跳切换场景,提出了一种基于网络编码的多中继协作切换机制MRH.MRH机制中采用了基于势能场的路由探测算法,通过中继协作的方式,将移动终端同时注册到多个漫游域上.配合网络编码,MRH机制使移动终端建立了到多个无线物联网接入点之间的灵活、可靠的切换连接,实现了在多个无线物联网间的平滑切换.  
        关键词：网络编码;物联网;切换   
        2
        |
        2
        |
        1
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113718542 false
        更新时间：2025-07-16

      • 未建模系统基于观测值的实时分块Kalman滤波估计方法研究

        文韬, 葛泉波
        2012, 40(10): 1958-1964. DOI: 10.3969/j.issn.0372-2112.2012.10.009
        摘要：本文以一类具有周期随机变化特点的随机过程为对象,在仅有测量模型的情况下研究估计方法的设计问题.首先,通过离散化方法建立点采样的离散输出方程、分块形式的输出方程以及描述点采样与被估状态块向量之间关系的输出方程;其次,利用待估变量具有的周期性随机游走特性,建立对应的状态模型;再者,利用扩展强跟踪滤波算法,分别得到了实时点估计滤波器、半实时块估计滤波器和实时块估计滤波器等三种未建模系统随机变量基于输出测量值的估计方法;最后,利用计算机仿真对三种滤波器的性能进行了比较分析.  
        关键词：Kalman滤波;随机游走;输出测量值;块估计;强跟踪滤波   
        2
        |
        4
        |
        1
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113719264 false
        更新时间：2025-07-16
      • 平强, 庄连生, 俞能海
        2012, 40(10): 1965-1970. DOI: 10.3969/j.issn.0372-2112.2012.10.010
        摘要：传统人脸识别算法通常把光照处理和姿态校正作为两个相对独立的处理过程,难以取得全局最优识别性能.针对该问题,本文根据人脸的非刚体特性,将仿射变换和分块思想融入线性重构模型中,提出了一种基于仿射最小线性重构误差(Affine Minimum Linear Reconstruction Error,AMLRE)的人脸识别算法,在处理光照问题的同时能够补偿姿态变化造成的局部区域对齐误差,以获得更好的全局识别性能.在公共数据集上的实验结果表明,本文提出的算法对光照和姿态有很好的鲁棒性,同时与现有的人脸识别算法相比,本文的算法具有更高的识别率.  
        关键词：人脸识别;线性重构;仿射变换;Lucas-Kanade算法   
        2
        |
        3
        |
        2
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113718249 false
        更新时间：2025-07-16

      • 基于多用户协同的中继编码设计

        黄英, 雷菁, 魏急波, 姜文利
        2012, 40(10): 1971-1975. DOI: 10.3969/j.issn.0372-2112.2012.10.011
        摘要：基于多维映射和编码理论的基本思想,设计了两种适应多用户单中继模型的中继编码矩阵,为无线通信中增强中继传输性能提供了良好的解决方案.推导了两种中继编码系统的性能,与未进行中继编码的系统进行性能仿真对比,结果表明两种中继编码均可以获得额外的增益,而基于编码理论的中继编码更具性能优势.分析了中继编码系统相对于未编码系统所带来的额外复杂度,分析表明满足一定条件下,基于多维映射的中继编码在额外复杂度方面具有优势.  
        关键词：多用户;中继编码;多维映射;乘积码   
        2
        |
        2
        |
        0
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113719240 false
        更新时间：2025-07-16

      • 基于PPM调制的低密度矩阵编码与译码

        吴永胜, 杨爱英, 孙雨南
        2012, 40(10): 1976-1979. DOI: 10.3969/j.issn.0372-2112.2012.10.012
        摘要：针对PPM调制信号的脉冲数具有稀疏性的特点,本文提出了一种利用低密度矩阵编码的方法,并根据最大后验概率准则进行译码.仿真结果表明,不管采用硬判决还是软判决,提出的编码方法都具有比规则LDPC码更好的纠错能力和更快的译码速度.  
        关键词：PPM调制;低密度矩阵;加性高斯白噪声;最大后验概率   
        2
        |
        2
        |
        2
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113718171 false
        更新时间：2025-07-16

      • 基于均值滤波矩阵组的二维信号快速经验模式分解方法

        郭珈, 王孝通, 徐晓刚, 张成堡
        2012, 40(10): 1980-1983. DOI: 10.3969/j.issn.0372-2112.2012.10.013
        摘要：根据矩阵变换理论,提出了一种基于滤波矩阵组的局部均值求取方法.该方法构造了均值滤波矩阵组,只需在待处理矩阵左右各乘一个均值滤波阵,即可得到待处理阵的加权均值,简化了包络均值求解过程.在上述局部均值滤波理论的基础上,提出了二维信号的快速经验模式分解算法.实验证明,算法运算时间比传统经验模式分解方法提高了两到三个数量级.  
        关键词：经验模式分解(EMD)快速算法;均值滤波矩阵;图像融合   
        2
        |
        2
        |
        1
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113719272 false
        更新时间：2025-07-16

      • 基于相似性灰关联的Curvelet域多聚焦图像融合

        马苗, 万仁远, 尹义龙
        2012, 40(10): 1984-1988. DOI: 10.3969/j.issn.0372-2112.2012.10.014
        摘要：针对多聚焦图像融合问题,提出一种基于相似性灰关联的Curvelet域可见光图像融合方法.该方法首先将待融合图像进行多级Curvelet分解,然后对各融合图像的高频系数进行分块,利用灰色理论中的灰色欧几里德关联度确定各子块间的相似性,并制定不同的高频系数融合策略,低频系数则采用算术平均法融合;最后,通过Curvelet逆变换重构融合图像.实验结果显示,该方法融合图像的信息熵、标准差和清晰度等指标优于金字塔融合法以及小波变换法等常见的多种融合方法.  
        关键词：图像融合;Curvelet变换;灰色关联分析;相似性   
        2
        |
        2
        |
        6
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113717167 false
        更新时间：2025-07-16

      • 基于图像理解视角的分割全局评价算法

        钱晓华, 郭树旭, 李雪妍
        2012, 40(10): 1989-1995. DOI: 10.3969/j.issn.0372-2112.2012.10.015
        摘要：提出了一种具有全局属性的图像分割质量客观评价算法.该方法是基于实际分割结果与参考分割之间的差异进行计算的.从图像理解的角度出发,根据空间信息给予误分像素不同的权重,使得不同位置的误分像素具有不同的重要性;在加权公式中引入了相对距离,前景和背景搜索距离,以获得评价算法对于分割图像具有缩放不变性的结论.为了克服大比例过/欠分割造成的分割质量评价失真的现象,提出一种失真惩罚项,提高了评价算法的有效性和全局性.实验结果表明,本文提出的分割评价算法不仅能体现图像理解等后续处理的属性,而且具有更强的全局性和鲁棒性.  
        关键词：分割评价;差异法;理解权重;缩放不变性;惩罚项   
        2
        |
        3
        |
        3
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113719210 false
        更新时间：2025-07-16

      • 基于亚稳态的QDI逻辑随机路径切换方法研究

        欧庆于, 张焕国, 吴晓平, 李凤华, 罗芳
        2012, 40(10): 1996-2001. DOI: 10.3969/j.issn.0372-2112.2012.10.016
        摘要：基于QDI异步逻辑与四相双轨协议相结合时数据路径平衡的特性,能够实现双轨编码输入点的随机切换,从而达到各数据路径的平均功耗平衡,消除数据与功耗之间关联的目的.然而,现有的利用多路复用器实现数据路径随机切换的方法存在抗攻击弱点,削弱了系统的抗能量分析攻击能力.为此,我们提出了基于亚稳态的QDI随机路径切换方法:采用两级切换结构,利用亚稳态发生器和亚稳态滤波器,实现数据路径组和数据路径的随机切换.仿真结果表明,基于亚稳态的QDI随机路径切换方法具有良好的功耗平衡特性,能够很好的抵消由于寄生电容和负载电容差异造成的旁路信息泄露,从而极大地提高系统的安全性.  
        关键词：能量分析攻击;QDI逻辑;亚稳态;随机路径切换   
        2
        |
        2
        |
        1
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113718333 false
        更新时间：2025-07-16

      • 基于边缘匹配和模函数的安全密写算法

        廖琪男
        2012, 40(10): 2002-2008. DOI: 10.3969/j.issn.0372-2112.2012.10.017
        摘要：为了提供较大的可调信息嵌入量和保持载密图像良好的视觉质量,提出一种新的密写算法.根据人类视觉特性,利用像素的3个相邻像素的最大像素值与最小像素值的差值,将图像分为平滑区、过渡区和边缘区;根据模数循环的特点,应用具有安全特性的模函数以某一嵌入方案在3个区域中的像素自适应地嵌入不同的信息比特数.选择不同的嵌入方案可以得到不同的嵌入量和载密图像视觉质量.实验结果表明,本文算法在保持高嵌入率的同时仍保持较好的载密图像视觉质量,且安全性好.  
        关键词：信息隐藏;边缘匹配;像素差值;模函数   
        2
        |
        2
        |
        2
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113717095 false
        更新时间：2025-07-16

      • 基于态关联性不完美的诱骗态量子密钥分配

        周淳, 鲍皖苏, 付向群
        2012, 40(10): 2015-2020. DOI: 10.3969/j.issn.0372-2112.2012.10.019
        摘要：本文提出了态关联性不完美条件下诱骗态量子密钥分配(QKD)的安全性理论分析模型.借助于QKD的保密放大分析方法,采用实际QKD系统广泛使用的诱骗态编码方案,使相位误码的估计更加准确,进而给出了态关联性不完美条件下诱骗态QKD的最终安全密钥生成率的表达式,刻画了密钥生成率与态关联性不完美、探测器性能和密钥传输距离之间的关系.数值模拟表明,诱骗态QKD的最终安全密钥生成率对态关联性不完美的容忍程度,随着密钥传输距离的增大而逐渐减小,随着探测器探测性能的提升而逐渐增大,因而验证了所给表达式的正确性.  
        关键词：量子密钥分配;态关联性不完美;诱骗态;实际安全性   
        2
        |
        2
        |
        2
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113719226 false
        更新时间：2025-07-16

      • 基于MI和TPM混合的多变量数字签名方案

        鲁晓彬, 鲍皖苏, 李发达, 田礼
        2012, 40(10): 2021-2025. DOI: 10.3969/j.issn.0372-2112.2012.10.020
        摘要：本文基于MI和TPM两类多变量公钥密码的公钥,利用"减"方法将其混合,提出了多变量数字签名方案的中心映射构造新方法,给出了基于MI和TPM混合的多变量数字签名方案,该方案能够有效抵抗高阶线性化方程攻击、秩攻击、XL&Grbner基攻击、差分攻击等现有典型攻击,并且与Rainbow、Sflashv2等典型多变量数字签名方案相比,在签名长度、密钥存储规模等方面具有优势.  
        关键词：多变量公钥密码;数字签名;MI;TPM   
        2
        |
        2
        |
        2
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113719258 false
        更新时间：2025-07-16

      • 基于改进人工蜂群算法的盲源分离方法

        张银雪, 田学民, 邓晓刚
        2012, 40(10): 2026-2030. DOI: 10.3969/j.issn.0372-2112.2012.10.021
        摘要：针对现有盲源分离方法大多存在收敛速度慢、分离精度低的问题,提出一种基于改进人工蜂群(Artificial Bee Colony,ABC)算法的盲信号分离方法.在ABC的邻域搜索公式中自适应调整步长,并加入全局最优解指导项,增强局部趋化性搜索能力.改进的ABC算法保持了ABC全局搜索和局部搜索之间的平衡,使ABC算法可以达到更好的寻优效果,从而提高盲源分离算法的分离精度和稳定性.实验结果表明,提出的改进盲源分离算法可以有效地分离线性瞬时混合信号.与其它算法相比,该算法具有更优异的分离性能,并具有更快的收敛速度.  
        关键词：盲源分离;人工蜂群算法;邻域搜索;自适应   
        2
        |
        2
        |
        14
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113717504 false
        更新时间：2025-07-16

      • 基于高斯混合模型的压缩域语音增强方法

        梁岩, 鲍长春, 夏丙寅, 何玉文, 周璇, 李娜
        2012, 40(10): 2031-2038. DOI: 10.3969/j.issn.0372-2112.2012.10.022
        摘要：为了有效利用纯净语音导抗谱频率参数(ISFs)的先验知识,本文针对ITU-T G.722.2宽带语音编码标准提出了一种基于高斯混合模型的压缩域语音增强方法.首先,将含噪语音、纯净语音的导抗谱频率参数,以及对应的增益调整因子构成特征矢量,并利用高斯混合模型拟合其概率密度;然后,在最小均方误差 (MMSE) 准则下对纯净语音的特征参数进行最优贝叶斯估计.为了兼容编码器中的非连续性传输模式,当处理信号为非语音信息时,算法在保持噪声帧谱包络参数不变的前提下,按固定比例调整对数帧能量;且若出现帧擦除情况,算法不调整接收到的码流,并按正常帧处理方式调整恢复后的参数以更新相关历史.本文采用ITU-T G.160标准进行了性能测试,结果表明,与参考方法相比,所提方法在保证信噪比提高能力的同时,可以达到更大的噪声衰减量,且增强语音的客观质量更优.  
        关键词：语音增强;参数域;高斯混合模型;贝叶斯估计;非连续性传输;帧擦除   
        2
        |
        2
        |
        6
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113719247 false
        更新时间：2025-07-16

      • 多分辨SVD包理论及其在信号处理中的应用

        赵学智, 叶邦彦
        2012, 40(10): 2039-2046. DOI: 10.3969/j.issn.0372-2112.2012.10.023
        摘要：在奇异值分解(singular value decomposition,SVD)中提出了一种矩阵递推构造和分解算法,利用SVD实现了一种类似于小波包的信号分解方式,称之为多分辨SVD包.推导了多分辨SVD包的分解和重构算法,并提出一种用二维数组来存储这种包的三维数据的方法,避免了对内存的浪费.实例结果表明,这种包对信号的微弱变化具有优良的检测能力,其检测结果无幅值和相位失真,并能精确定位微弱变化的位置,这种包也能有效提取复杂信号中的弱故障特征,在这两方面均明显优于小波包的处理结果.  
        关键词：奇异值分解;多分辨SVD包;小波包;分解与重构;信号处理   
        2
        |
        2
        |
        4
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113718826 false
        更新时间：2025-07-16

      • 四元二维零相关区阵列集构造法

        李玉博, 许成谦, 李刚, 刘凯
        2012, 40(10): 2047-2051. DOI: 10.3969/j.issn.0372-2112.2012.10.024
        摘要：基于二维最佳二进阵列,利用逆Gray映射构造了一类四元二维零相关区(ZCZ)阵列集.得到的四元ZCZ阵列集的参数可以达到理论界限,是一类最佳四元ZCZ阵列集.ZCZ阵列集的参数如阵列数目和零相关区大小可以灵活设定.矩形零相关区在行或者列方向上达到最大值.还给出了一类移位序列集的构造方法,通过设定不同参数可以得到多个可用于构造四元ZCZ阵列集的移位序列.  
        关键词：二进制最佳阵列;四元阵列集;零相关区;逆Gray映射   
        2
        |
        2
        |
        1
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113719164 false
        更新时间：2025-07-16

      • 概率时态认知逻辑模型检测中三值抽象技术的研究

        周从华, 孙博, 刘志锋, 葛云
        2012, 40(10): 2052-2061. DOI: 10.3969/j.issn.0372-2112.2012.10.025
        摘要：为缓解概率时态认知逻辑模型检测中的状态空间爆炸问题,提出了概率时态认知逻辑的三值抽象技术.具体研究内容包括:定义抽象模型及模型上概率时态认知逻辑的三值语义,依据状态空间等价划分建立初始抽象模型,并证明抽象技术对概率时态认知逻辑的满足性保持关系;提出概率时态认知逻辑模型检测算法;依据初始模型检测的结果,给出利用最小证据和最小反例引导的抽象系统的求精过程.最后通过Dining Cryptographer协议说明了抽象技术的应用,及其在约简系统状态空间方面的效果.  
        关键词：三值抽象;模型检测;概率时态认知逻辑;反例   
        2
        |
        2
        |
        1
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113719217 false
        更新时间：2025-07-16

      • 面向城市交通网络的一种新型动态路径寻优方法

        曹政才, 韩丁富, 王永吉
        2012, 40(10): 2062-2067. DOI: 10.3969/j.issn.0372-2112.2012.10.026
        摘要：针对静态路径寻优方法中没有考虑到交通流随时间变化的问题,本文提出一种基于交通流量预测的路径寻优方法.首先,从实际交通路网本身的特点和人类对路网的认识出发,构建以"道路"为基本元素的新型路网模型;其次,采用基于单变量时间序列的预测方法对路网上各路段未来一段时间内的道路交通流量进行预测,并根据预测结果估计出行者在未来时段各路段上的交通代价;再次,通过估计的交通代价把车辆从起点到该路段时间内的道路交通变化状况融入改进A*算法的路径搜索过程,从而建立一种高效的动态改进A*路径搜索算法;最后,实例表明预测交通流量与实际交通流量具有很好的拟合度,路径搜索结果能够对出行者起到诱导作用,提高出行者行驶效率.  
        关键词：交通流预测;路径搜索算法;路网模型   
        2
        |
        2
        |
        8
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113717445 false
        更新时间：2025-07-16

      • 基于分布式约束优化的多平台导弹协同航路规划

        雷兴明, 邢昌风, 吴玲, 卢发兴
        2012, 40(10): 2068-2072. DOI: 10.3969/j.issn.0372-2112.2012.10.027
        摘要：考虑到战场环境存在不同威胁体,引入改进型Voronoi图,完成了不同威胁集合下导弹可飞航路集的构图;建立了威胁和燃油模型,计算得到各段航路的代价.在此基础上,针对多导弹航路的总代价最小,且到达目标的最大时差最小的优化目标,将多平台导弹航路规划问题建模为分布式约束优化问题,并利用分布式约束优化算法求解各弹的航路.针对典型实例进行了仿真,获得了优化的航路方案,且计算时间、通信量等指标均表明了模型方法的有效性.  
        关键词：多导弹协同;改进型Voronoi图;协同航路规划;分布式约束优化问题   
        5
        |
        2
        |
        4
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113719203 false
        更新时间：2025-07-16

      • 一种基于高斯分布的光子传输模型建模方法

        贾延玺, 姜守达
        2012, 40(10): 2073-2078. DOI: 10.3969/j.issn.0372-2112.2012.10.028
        摘要：虚拟模型与真实设备混合的仿真实验系统对虚拟模型提出了明确的实时性要求.现有的光子传输模型运行时间较长,不适用于对实时性要求较高的仿真实验系统.本文针对此问题,利用光子的群体特性来描述光子在多层平板型介质中的传输过程,采用高斯分布描述接收平面的光子,通过总光子数量和63.2%能量半径的计算结果得到接收平面的光子分布.实验结果表明,在相同的仿真条件下,本文方法与标准Monte Carlo光子传输模型相比变化趋势和数值基本吻合,而运行速度提高,可满足一般仿真实验系统的实时性要求.  
        关键词：光子传输模型;Monte Carlo;高斯假设;多层平板型介质   
        2
        |
        2
        |
        0
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113717997 false
        更新时间：2025-07-16

      • 折线模糊神经网络的共轭梯度算法

        何英, 王贵君
        2012, 40(10): 2079-2084. DOI: 10.3969/j.issn.0372-2112.2012.10.029
        摘要：为了近似实现模糊数的非线性运算及提高神经网络的逼近精度,引入折线模糊数和折线模糊神经网络,并依据折线模糊数的扩展运算对经典共轭梯度算法进行改进,使该算法在迭代过程中通过一维非精确Armijo-Goldstein线性搜索方法获得优化学习常数,进而在折线模糊神经网络环境下设计了折线模糊共轭梯度算法.最后,通过模拟实例说明了该算法具有计算复杂度低、收敛速度快等特性.  
        关键词：折线模糊数;折线模糊神经网络;共轭梯度算法;A-G算法   
        2
        |
        2
        |
        5
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113717297 false
        更新时间：2025-07-16
      • 张家录, 吴霞
        2012, 40(10): 2085-2090. DOI: 10.3969/j.issn.0372-2112.2012.10.030
        摘要：在Lukasiewicz n值命题逻辑系统中引入命题公式的一般真度概念并讨论其性质,说明一般真度满足Kolmogorov公理.在形式推演中,引进公式的不可靠度和前提的必要度概念,证明在Lukasiewicz n值逻辑系统中,一个有效推理的结论的不可靠度不超过各前提的不可靠度与其必要度的乘积之和.通过不可靠度在全体公式集上建立逻辑伪距离空间,证明逻辑伪距离空间中没有孤立点,利用逻辑伪距离在全体公式集F(S)中提出两种不同形式的近似推理模式.  
        关键词：Lukasiewicz n值逻辑系统;真度;不可靠度;真值状态;伪距离;近似推理   
        2
        |
        2
        |
        2
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113716898 false
        更新时间：2025-07-16

      • 基于不相交乘积项的逻辑探测和拆分算法

        王伦耀, 夏银水, 陈偕雄, 叶锡恩
        2012, 40(10): 2091-2096. DOI: 10.3969/j.issn.0372-2112.2012.10.031
        摘要：针对以往逻辑探测算法存在的不足,提出了一种基于不相交乘积项的逻辑探测和拆分算法.该算法通过将逻辑函数的乘积项转化为不相交乘积项,并结合不相交乘积项之间海明距关系将不相交乘积项拆分成互不相交的二部分,使之分别适合RM逻辑综合和布尔逻辑综合.通过对拆分结果分析,本文进一步提出了一种新的逻辑探测方法.实验结果表明,本文的判别结果能对电路综合过程中的逻辑选择提供一个良好的指导作用.  
        关键词：Reed-Muller逻辑;布尔逻辑;逻辑探测;海明距   
        2
        |
        2
        |
        1
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113718072 false
        更新时间：2025-07-16

        科研通信

      • 对基于NLFSR分组密码KTANTAN32的相关密钥中间相遇代数攻击

        张文英, 刘祥忠
        2012, 40(10): 2097-2100. DOI: 10.3969/j.issn.0372-2112.2012.10.032
        摘要：本文分析了KTANTAN32的代数学弱点.使用相关密钥中间相遇攻击,用代数推导的方法得到了在240轮之后所使用某些密钥的一元线性方程,解这些方程便可迅速逐比特恢复相应密钥.因只须一对相关密钥和2个明密文,即可恢复部分密钥比特,攻击的时间复杂度和空间复杂度都可以忽略不计.分析表明KTANTAN32是一个很弱的算法.同时也说明使用NLFSR和线性密钥编排是KTANTAN32的致命弱点,为抵抗相关密钥中间相遇攻击,设计者应在密钥编排中加入非线性因素.  
        关键词：分组密码;KTANTAN32;相关密钥攻击;中间相遇攻击;非线性反馈移位寄存器   
        3
        |
        2
        |
        2
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113716712 false
        更新时间：2025-07-16

      • 一种有效色加载因子的知识辅助STAP方法

        高永婵, 廖桂生, 朱圣棋, 杨东
        2012, 40(10): 2101-2106. DOI: 10.3969/j.issn.0372-2112.2012.10.033
        摘要：针对非均匀杂波环境里独立同分布训练样本较少的问题,本文提出了一种知识辅助的LCMV-STAP方法.该方法首先求解出知识辅助的LCMV-STAP模型中的权矢量表达式,然后推导出色加载因子与约束常数的关系式,最后求解出两个色加载因子.仿真结果表明,与传统STAP方法相比,知识辅助的LCMV-STAP方法在非均匀杂波环境下仍能获得较好的输出信干噪比,自适应匹配滤波器检测目标的概率优于传统STAP方法.  
        关键词：空时自适应处理;先验知识;色加载;杂波抑制;自适应匹配滤波器   
        2
        |
        2
        |
        2
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113719065 false
        更新时间：2025-07-16

      • 电子胶囊中基于非对称结构的无源双向通信芯片设计

        俞航, 姜来, 李琰, 纪震
        2012, 40(10): 2107-2111. DOI: 10.3969/j.issn.0372-2112.2012.10.034
        摘要：将电子设备附着在医用胶囊外表面构成电子胶囊可以用来监测服药依从性,本文着重讨论了其中无源双向通信芯片的设计方法.综合考虑无线信号在人体内的传输损耗和电子胶囊中微型天线辐射效率等因素,本文在设计中创新地采用了下行/上行通信不同载波频率的非对称系统结构.在下行通信中采用了传输损耗较小的13.56MHz低频信号,实现对芯片的唤醒以及工作模式的配置;在上行通信中则采用了915MHz高频信号,以优化胶囊天线的辐射效率.系统采用标准的UMC 130nm CMOS工艺实现,面积为1500×800μm2.实验结果表明,下行通信时该无源芯片的唤醒灵敏度为-4dBm,数据率为17kb/s;上行通信时芯片可以周期性的主动发射频率为915MHz的脉冲信号,数据率为0.75kb/s.  
        关键词：电子胶囊;人体通信;无线能量获取;无源双向通信   
        2
        |
        2
        |
        2
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113717007 false
        更新时间：2025-07-16

      • 基于细节点与方向场信息的指纹残缺区域重建算法

        张洁, 景晓军, 张博, 王栋
        2012, 40(10): 2112-2116. DOI: 10.3969/j.issn.0372-2112.2012.10.035
        摘要：由于指纹的残缺区域缺失有效信息,使得通过细节点和脊线信息来进行指纹匹配的工作难以进行.本文针对指纹残缺区域中脊线断裂和细节点缺失的现象,提出了一种重建算法.融合邻域中的细节点和方向场信息对残缺区域的方向场进行估计;然后基于估计出的方向场并结合先验知识来分析残缺部分的脊线与细节点分布情况,对其进行修复;最后,引入信息熵对多种重建方案进行评估,从而确定残缺部分的最佳重建结果.实验结果表明,该算法能够对面积较大并可能包含细节点的残缺区域进行较好的重建,进而提高后续匹配过程的准确率.  
        关键词：残缺指纹;重建;细节点;方向场;信息熵   
        2
        |
        2
        |
        0
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113716827 false
        更新时间：2025-07-16

      • 一种基于RSS估计的虚假点消除方法

        张旻, 罗争
        2012, 40(10): 2117-2121. DOI: 10.3969/j.issn.0372-2112.2012.10.036
        摘要：论文提出了一种基于接收信号强度(Received Signal Strength,RSS)的测向交叉定位方法,解决无源测向交叉定位中的虚假点问题.首先推导了阵列协方差矩阵中接收信号强度与阵列流型之间的关系,利用协方差逆矩阵高阶幂逼近噪声子空间的特点,在已知阵列流型基础上准确获取各来波的信号强度,解决了同一信道多来波的RSS估计问题;然后运用电磁波传播相关理论,根据接收信号强度和传播路径衰减参数的关系判定各定位点的置信度,排除了虚假点.所提算法对存在一定角度估计误差、低信噪比等情况具有很好的鲁棒性,仿真结果验证了该算法的有效性和可行性.  
        关键词：交叉定位;虚假点;接收信号强度;交叉定位置信度   
        2
        |
        2
        |
        8
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113718993 false
        更新时间：2025-07-16

      • DCT变换域滤波码捕获方法

        李小捷, 许录平
        2012, 40(10): 2122-2126. DOI: 10.3969/j.issn.0372-2112.2012.10.037
        摘要：针对较小时频不确定度的卫星信号捕获,提出了一种结合离散余弦变换(DCT)的码捕获算法.首先对信号进行部分匹配滤波(PMF),然后对各个码相位对应的PMF输出矢量进行DCT变换域滤波及信号重构,最后对信号进行基于能量的检测.由于PMF输出信号和噪声时变特性不同,滤波重构后信号能量几乎无损,而噪声能量得到了明显降低,从而提高了相同虚警概率下的捕获概率.理论分析和仿真结果表明本文检测算法可以有效提升检测概率,并且具有较低的复杂度.  
        关键词：码捕获;检测;离散余弦变换;虚警概率;检测概率   
        2
        |
        2
        |
        1
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113718901 false
        更新时间：2025-07-16

      • 基于母函数的非线性反馈函数及其子序列研究

        吕虹, 张爱雪, 方俊初, 解建侠, 李炳荣, 戚鹏
        2012, 40(10): 2127-2132. DOI: 10.3969/j.issn.0372-2112.2012.10.038
        摘要：针对非线性最大长度移位寄存器反馈函数难以构造问题,本文提出了一种基于母函数构造非线性最大长度移位寄存器反馈函数方法.首先,我们阐述了母函数模3分类法,证明了各类母函数新的特征状态集,提取了母函数的特征式;其次,根据特征式对母函数的筛分特性合成了非线性m子序列移位寄存器反馈函数;最后,分析了该移位寄存器生成的伪随机序列,对其自相关值和线性复杂度进行了大量搜索.结果一致表明该序列不仅具有良好的周期特性、平衡特性、游程特性,还具有尖锐的自相关特性和理想的线性复杂度.  
        关键词：非线性;反馈函数;合成;筛分;模3;特征式;伪随机序列   
        2
        |
        2
        |
        4
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113716499 false
        更新时间：2025-07-16

      • 阵列模型误差影响下ESPRIT算法的二阶性能分析

        王鼎, 姚晖, 吴瑛
        2012, 40(10): 2133-2139. DOI: 10.3969/j.issn.0372-2112.2012.10.039
        摘要：针对阵列模型误差扰动的影响,该文对ESPRIT算法的方位估计性能进行二阶性能分析(即忽略模型误差扰动量的三次及以上各项).与经典分析方法(即一阶分析方法)相比,文中的性能分析方法能够在模型误差扰动较大的情况下提高性能预测精度.此外,文中的理论推导不仅针对阵列流形失配的情况,还针对阵元噪声模型失配的情形.数值实验表明:在较大模型误差的条件下,文中的二阶性能分析方法能够提高对ESPRIT算法的性能预测精度.  
        关键词：ESPRIT算法;模型误差;二阶性能分析;阵列流形失配;噪声模型失配   
        2
        |
        2
        |
        3
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113716422 false
        更新时间：2025-07-16

      • 磁头内置DFH控制元件可靠性的有限元分析

        肖祥慧, 彭敏放, 黎福海, 詹杰, 唐荣军
        2012, 40(10): 2140-2144. DOI: 10.3969/j.issn.0372-2112.2012.10.040
        摘要：磁头内置DFH控制元件的可靠性设计评估十分重要,目前工艺上多采用经验数据指导的方法,误差十分大,理论上是根据传统流体力学的基本原理,利用Matlab软件实现模拟评估的,由于元件尺寸限制,模拟算法会随着舍入误差的叠加而失效.本文使用ANSYS软件,通过实验获得建立模型的基本参数,选择了合适的单元类型、材料属性,给出了磁头的有限元模型.利用模型对元件进行的寿命预测实验表明,有限元模型分析DFH控制元件的设计可靠性问题是有效的,并且得出以下结论:在50Ω的新型DFH计算结果中,其热效应强度比传统屏蔽层大10%以上,实际的寿命失败样品问题区域都在线路的转角处.  
        关键词：DFH;可靠性分析;有限元;热效应;电流拥挤效应   
        2
        |
        2
        |
        1
        <HTML>
        <网络PDF><Meta-XML>
        <引用本文> <批量引用> 113717881 false
        更新时间：2025-07-16
      0