Please wait a minute...
  • 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

当期目录

    论文
    基于三层卫星网络的星间链路性能分析
    黄飞江1,2,4,杨俊1,卢晓春3,4,单庆晓1,周永彬1,陈建云1,胡助理1
    2012, 34(4): 1-6. doi:
    摘要 ( 424 )   PDF (530KB) ( 460 )     

    星间链路性能分析是建立星间通信的基础。以包含GEO卫星、IGSO卫星和MEO卫星的三层卫星网络为例,仿真了三层卫星网络层间卫星星间距离的变化范围。在设定星间传输体制、链路参数、传输损耗等条件下,分别分析了该三层卫星网络的GEOIGSO、GEOMEO和IGSOMEO三种链路在Ka频段和激光频段的性能。结果表明,在Ka频段,0.5m天线仅需5W的发射功率,可以满足2Mb/s以上的星间数据传输率;激光频段仅需0.5W的发射功率,直径0.25m的天线,可以达到2Gb/s以上的星间数据传输率,激光链路更有利于星间链路性能的提高。研究结果在未来三层卫星网络建立星间链路时,为卫星的发射功率、天线直径和星间链路数据传输速率等方面的选择提供了参考。

    一种基于多路径的干扰避免协议研究
    阚保强,范建华,卢紫毅,成洁,吴强
    2012, 34(4): 7-11. doi:
    摘要 ( 335 )   PDF (647KB) ( 235 )     

    如何保证无线网络业务的连续可靠传输,成为多跳无线网络MHWN研究中亟待解决的问题。多路径路由作为实现无线网络可靠运行的有效手段,得到了广泛的研究。本文主要研究了MHWN中干扰避免问题,提出了一种适合MHWN的多路径路由算法,该方法具有较低的协议开销,通过网络干扰动态性检测获取遭受干扰最小路径,从而可有效提高网络抗干扰能力,并极大降低源重路由次数。文中详细阐述了协议的实现,并基于NS2对上述方法进行了较全面的仿真研究。结果表明该方法具有更好的路由抗干扰性能。

    一种优化时延的机会协同组播调度策略
    陈彦德1,宋留斌1,2,黎刚1,张练1,谭理1
    2012, 34(4): 12-16. doi:
    摘要 ( 329 )   PDF (465KB) ( 275 )     

    无线组播面临的最大问题是各个用户信道状态的不均匀性和波动性,无法同时满足所有用户的服务质量需求。无线蜂窝通信系统中,为实现可靠组播,数据包不可避免地需要被重传多次,组播的时延也因此增加。本文我们首先分析了协同组播调度CMS策略的时延,并且推导了基于信道信息全知条件下的最小时延。另外,我们在部分信道信息未知条件下提出了一种机会协同组播策略来优化组播时延。仿真数据显示,我们提出的机会协同组播调度OCMS策略在时延性能上几乎达到了我们所分析的CMS策略的最小值而且明显优于其他调度策略。

    图像水印算法研究新进展
    张晓强1,王蒙蒙2,朱贵良2
    2012, 34(4): 17-22. doi:
    摘要 ( 365 )   PDF (488KB) ( 505 )     

    随着信息网络化飞速发展,数字水印作为网络环境下数字图像版权保护和完整性验证的重要技术,得到了广泛研究和应用。本文综述了图像水印技术的最新进展情况,阐述了图像水印的关键技术,分析了鲁棒性水印算法、半脆弱性水印算法和脆弱性水印算法的主流方案、特点和最新进展。最后,展望了图像水印技术的发展趋势。

    具有高斯型的倾斜表面漂移区的LDMOS的器件特性研究
    罗向东,翟宪振,戴珊珊,余晨辉,刘培生
    2012, 34(4): 23-27. doi:
    摘要 ( 343 )   PDF (1487KB) ( 262 )     

    本文提出一种具有高斯型的倾斜表面漂移区的LDMOS结构。P阱、沟道、源区、栅极等位于高斯中心的一侧,而漏端位于高斯中心的另一侧并靠近高斯中心,器件既具有倾斜表面漂移区的高耐压性,又具有VDMOS结构的高开态击穿特性和良好的安全工作区域。我们研究了高斯表面的弯曲程度对高斯型倾斜表面漂移区的影响。结果表明,P阱的长时间退火对具有高斯表面的漂移区的掺杂浓度分布有一定影响。具有高斯表面的倾斜漂移区的LDMOS结构在不同弯曲程度下器件耐压性和表面电场分布均匀性不同。高斯弯曲参数P在0.5左右时开态耐压性能最优,并且表面电场分布相对均匀;当弯曲参数P增大时,击穿特性基本饱和或略有下降。

    一种多芯片封装(MCP)的热仿真设计
    王金兰1,仝良玉1,2,刘培生1,2,3,缪小勇2
    2012, 34(4): 28-31. doi:
    摘要 ( 427 )   PDF (854KB) ( 375 )     

    集成电路封装热设计的目的在于尽可能地提高封装的散热能力,确保芯片的正常运行。多芯片封装(MCP)可以提高封装的芯片密度,提高处理能力。与传统的单芯片封装相比,由于包含多个热源,多芯片封装的热管理变得更为关键。本文针对一种2维FBGA MCP产品,进行有限元建模仿真,并获得封装的热性能。通过热阻比较的方式,分析了不同的芯片厚度对封装热性能的影响。针对双芯片封装,通过对不同的芯片布局进行建模仿真,获得不同的芯片布局对封装热阻的影响。最后通过封装热阻的比较,对芯片的排列布局进行了优化。分析结果认为芯片厚度对封装热阻的影响并不明显,双芯片在基板中心呈对称排列时封装的热阻最小。

    基于点云-模型匹配的激光雷达目标识别
    谭志国1,鲁敏1,胡延平2,郭裕兰1,庄钊文1
    2012, 34(4): 32-36. doi:
    摘要 ( 376 )   PDF (640KB) ( 377 )     

    为实现激光雷达自动目标识别,本文给出了一种基于点云模型匹配的方法。将点云进行三视投影,对投影点云进行二值化处理得到二值图像,采用Sobel算子和Hough变换提取点云轮廓边界及获得边界直线参数,然后以投影点云轮廓信息为约束提取包围矩形,完成目标姿态估计和几何特征提取。在此基础上以点云到CAD模型面元的欧氏距离最小为优化目标,采用单位四元数法计算点云与模型之间的刚体变换,通过迭代实现点云和候选目标CAD模型的匹配,并以归一化平均欧氏距离作为相似性度量完成目标识别。采用五种地面装甲目标在不同激光雷达视角下的点云进行目标识别实验,统计结果表明目标类别的正确识别率为100%,目标型号的正确识别率大于91%,因而本文方法具有较好的识别性能和较高的应用价值。

    基于CUDA的并行多尺度Retinex视频增强算法
    杨军1,曹静2,张正孝3,王正宁4
    2012, 34(4): 37-42. doi:
    摘要 ( 385 )   PDF (1179KB) ( 276 )     

    多尺度Retinex图像增强算法增强效果明显,被广泛应用于图像和视频的增强处理中,但复杂的计算量限制了其在实时性应用中的推广,对于高清及多路视频的处理更是如此,因此研究其高速并行算法具有重要意义。本文以通用型GPU为基础,提出了一种基于CUDA的多尺度Retinex实时视频增强并行算法。根据算法各模块的耦合性将计算复杂的高斯滤波、对数空间差分及动态范围压缩等模块采用CUDA并行处理的方式实现,并利用视频序列之间的相似性降低多尺度Retinex算法的参数更新频率,以节省大量的计算耗时。实验结果表明所提算法能显著提高计算速度。

    一种动态场景下运动对象分割新算法
    马志强,张晓燕,朱子健,张锐
    2012, 34(4): 43-46. doi:
    摘要 ( 294 )   PDF (908KB) ( 347 )     

    视频运动对象分割是计算机视觉和视频处理的基本问题。在摄像机存在全局运动的动态场景下,准确分割运动对象依然是难点和热点问题。本文提出一种基于全局运动补偿和核密度检测的动态场景下视频运动对象分割算法。首先,提出匹配加权的全局运动估计补偿算法,消除动态场景下背景运动对运动对象分割的影响;其次,采用非参数核密度估计方法分别估计各像素属于前景与背景的概率密度,通过比较属于前景和属于背景的概率及形态学处理得到运动对象分割结果。实验结果证明,该方法实现简单,有效地提高了动态场景下运动对象分割的准确性。

    基于YHFT-QDSP的并行图像匹配算法
    刘仲,邢彬朝,扈啸
    2012, 34(4): 47-51. doi:
    摘要 ( 402 )   PDF (1164KB) ( 293 )     

    提出一种基于YHFTQDSP的并行图像匹配算法,采用数据级并行方法实现并行的特征提取和特征点匹配,充分开发了多核处理器的多级并行性。实现和评测了SIFT、SURF、PCASIFT的并行算法。实验结果表明,并行图像匹配算法对各种不同图像形变具有良好的适应性,具有接近串行算法的图像匹配能力,平均加速比达3.2。

    面向整数错误检测的蜕变测试方法研究
    姚奕1,2,黄松2,稽孟雨2
    2012, 34(4): 52-56. doi:
    摘要 ( 324 )   PDF (474KB) ( 241 )     

    整型错误在安全性和功能性方面都是影响软件质量的重要因素,但是由于测试人员往往面临Oracle问题,无法判断程序是否出现整型错误,除非程序输出一个明显的异常值。本文利用蜕变测试技术发现由于整型错误产生的隐错,实验结果显示基于蜕变关系的整型错误检测方法可检测出平时发现不了的隐式非预期输出,有效地提高了检测整型错误的效率。

    遮挡情况下目标局部特征在跟踪算法中的应用
    孟勃1,曲朝阳1,毛雯蓓2,郭晓利1
    2012, 34(4): 57-60. doi:
    摘要 ( 344 )   PDF (582KB) ( 339 )     

    为了解决视频目标跟踪中的遮挡问题,本文提出了一种新的目标局部形状特征——仿射不变三角形来对目标进行描述,所提取的仿射不变三角形特征具有平移、旋转和尺度不变的特性,在各种异常情况下仍然能够稳定地表征目标。本文采用仿射不变三角形特征量来进行有效的遮挡状态的判断,并将目标未被遮挡部分的局部形状特征量与运动预测结合起来进行基于模板的匹配跟踪,能够避免遮挡所导致的目标外观数据改变而引起的目标运动状态计算的错误,以解决目标在跟踪中的遮挡问题。实验结果证明,本文提出的局部形状特征能够比较准确地判断目标的遮挡状态,并且能够有效地提高跟踪算法的准确性和稳定性。

    一种新的H.264帧层码率控制算法
    苏令华1,2,郭英1,张树银1
    2012, 34(4): 61-65. doi:
    摘要 ( 358 )   PDF (802KB) ( 260 )     

    本文提出一种新型的基于H.264的帧层码率控制算法。综合考虑码率、视频序列空间复杂度和缓冲区状态,提出一种新型的I帧RQ(码率量化参数)模型。基于前一个GOP(帧组)的码率产生情况,调整I帧的时间复杂度,实现了I帧量化参数的自适应调整。根据HOD(差图像直方图)和P帧相对位置进行P帧的比特分配修正。仿真结果证明,所提算法相较于G012模型,可以有效提高重建视频的PSNR(峰值信噪比),降低PSNR波动,并大幅减少跳帧情况的发生。

    基于相似三角形的SIFT错误匹配点剔除算法研究
    张东兴,祝明波,邹建武,李相平
    2012, 34(4): 66-70. doi:
    摘要 ( 339 )   PDF (736KB) ( 290 )     

    图像匹配是图像处理应用于诸多领域的一项关键技术,基于不变特征的图像匹配是近年来图像匹配的研究热点。尺度不变特征是最有效的平移、尺度、旋转和亮度局部不变特征之一,但该算法一般会产生大量的错误匹配点。首先给出了交叉线和“一对多”类型的错误匹配点的剔除方法。然后针对一般性错误匹配点,提出了一种基于相似三角形的剔除方法,并通过实验将该算法与另外两种常用剔除算法进行了比较,证实本文提出的方法速度更快,且在剔除错误匹配点的同时保留了较多的正确匹配点。

    基于硬件加速器的高分辨率图像匹配算法及应用
    黄俊杰,扈啸
    2012, 34(4): 71-76. doi:
    摘要 ( 319 )   PDF (529KB) ( 254 )     

    受限于硬件资源,SAD加速器只能实现较小图像的匹配。本文提出了一种高分辨率图像匹配算法,将较大图像的匹配拆分成SAD加速器支持的基本计算粒度,同时保证匹配精度和实现效率。并将该算法应用到二级金字塔算法中,取得了较好的效果。

    一种基于桶结构的单源最短路径算法
    魏文红1,李清霞2,蔡昭权3
    2012, 34(4): 77-81. doi:
    摘要 ( 372 )   PDF (461KB) ( 320 )     

    以单源最短路径为主的最优路径问题是众多社会应用领域内选择最优问题的基础。本文分析了不同实现技术求解单源最短路径问题的算法,结合基于标记设定的Dijkstra算法和基于标记修正的BFM算法的思想,提出了一种基于桶结构的单源最短路径算法。实验结果表明,该算法与前两种算法相比,具有好的运行时间复杂度和可并行性。

    基于UKF的自适应模糊推理神经网络
    徐小来1,2,朱华勇1,贺中武2,王伟2,牛轶峰1
    2012, 34(4): 82-87. doi:
    摘要 ( 329 )   PDF (1166KB) ( 298 )     

    如何生成最优的模糊规则数及模糊规则的自动生成和修剪是模糊神经网络训练算法研究的重点。针对这一问题,本文提出了基于UKF的自适应模糊推理神经网络(UKFANFIS)。首先,通过减法聚类确定UKFANFIS的模糊规则及其高斯隶属函数的中心和宽度参数;其次,分析了模糊神经网络的非线性动力系统表示,并用LLS和UKF分别学习线性和非线性的参数;然后,用误差下降率方法作为模糊规则修剪的策略,删除作用不大的规则;最后,通过典型的函数逼近和系统辨识实例,表明本文算法得到的模糊神经网络的结构更为紧凑,泛化性能也更佳。

    航空发动机PHM中的数据挖掘机遇与挑战
    尉询楷1,2,朱纪洪2,陈良峰1,冯悦1,杨立1
    2012, 34(4): 88-93. doi:
    摘要 ( 385 )   PDF (479KB) ( 536 )     

    预测与健康管理(PHM)是未来先进航空发动机确保飞行安全、实现二级视情维修的关键使能技术。数据挖掘是PHM实现发动机健康状态评估、诊断以及剩余寿命预测的核心技术。本文首先从军事需求入手,简要分析了PHM技术的作用和意义,阐述了数据挖掘在PHM技术中发挥的重要作用,简要分析了国内外在航空发动机PHM中数据挖掘的差距。接着,详细分析了在航空发动机PHM技术中的关键数据挖掘问题,指出了数据挖掘问题的难点和技术挑战。最后,提出了集计算机、航空宇航两大学科之力推动发动机PHM技术成熟的建议。

    信息系统中的熵理论和信息粒度
    滕书华,鲁敏,张军,谭志国,庄钊文
    2012, 34(4): 94-101. doi:
    摘要 ( 352 )   PDF (497KB) ( 281 )     

    不确定性是人工智能中的研究热点,而熵理论和信息粒度是度量信息系统不确定性的两种主要方法。本文在给出信息系统中熵的物理意义基础上,提出了信息系统中熵增加原理,给出了熵和信息粒度的公理化定义,据此构造了两种新的不确定性度量函数—α熵和α粒度,它们是已有熵和粒度度量的进一步推广。研究表明,α熵以及现有的熵度量都是广义熵的特殊形式,而α粒度以及现有的粒度度量都是广义粒度的特殊形式,从而统一、规范和发展了完备与不完备信息系统中的不确定性度量方法。

    某信号指示嵌入式软件的安全性分析
    王洪坡,周红建
    2012, 34(4): 102-107. doi:
    摘要 ( 365 )   PDF (527KB) ( 239 )     

    讨论了某信号指示预处理嵌入式软件的安全性问题。以有限状态机和马尔可夫链为理论基础,建立了该类软件的安全性模型。以灰熵定义为基础,定义了系统安全度的概念,量化系统安全性,给出了一种量化分析方法。预测了软件的安全性。最后借助数值仿真工具,讨论了估计参数对系统安全性的影响,得到了量化指标,根据仿真曲线给出了提高安全性的方法。

    基于不变式生成的循环停机性验证
    邢建英,李梦君,李舟军
    2012, 34(4): 108-113. doi:
    摘要 ( 302 )   PDF (461KB) ( 242 )     

    循环的停机性验证是程序验证中的一个难点。程序不变式用来描述程序变量的取值关系,其中线性不变式可以帮助描述程序变量间的线性关系,循环不变式能够有效刻画循环中的变量关系。本文基于线性不变式和多项式循环不变式的生成,将循环的停机性验证转化为求解一个最优化问题,给出了一个实用的程序停机性验证框架。基于该框架可以自动地验证程序的停机性,并给出循环的复杂度上界。实验结果说明了该方法的实用性。

    一种盲自适应随机共振数字基带信号处理方法
    于淼1,郭军2,王曰海3
    2012, 34(4): 114-118. doi:
    摘要 ( 393 )   PDF (1068KB) ( 324 )     

    随机共振能够明显提高输出信噪比,在信号处理领域得到了广泛关注。与传统噪声调节随机共振相比,参数调节随机共振增强了随机共振的鲁棒性,但面临如何选取最佳系统参数的问题。以峭度和负熵来度量非线性系统输出信号的概率分布情况,找出了输出信号的概率分布特性与最佳系统参数之间的对应关系。在此基础上,提出一种盲自适应随机共振方法,并将其应用于数字基带二进制信号处理之中。该方法利用输出信号的峭度或负熵数值引导非线性系统参数迭代,使之自适应达到随机共振状态。该方法可解决最佳系统参数的选取问题,能够增强随机共振的灵活性及鲁棒性。利用MATLAB软件搭建随机共振仿真平台对提出方法进行了实验验证,仿真结果表明,该方法能够迅速收敛到最佳系统参数值,进而明显提高输出信号的信噪比。

    基于环探头测量含运动导体的瞬态电流波形
    曹荣刚 1,2,李军1,焦清介 2,袁建生3
    2012, 34(4): 119-122. doi:
    摘要 ( 307 )   PDF (641KB) ( 316 )     

    电流除了用罗果夫斯基线圈进行测量外,还可通过环探头测量电流产生的磁场来计算得到。直线电机除了位置固定的母线导体外,还有沿母线运动的电枢;母线回路注入脉冲电流后,电枢会被加速而运动。简化母线和电枢为线电流模型,在长线模型基础上,通过环探头测量得到的磁场计算出近似电流波形。因为探头所测磁场主要由其附近电流所贡献,所以合理配置电枢起始位置与探头位置后,电枢运动对电流测量的影响很小。在瞬态电流上升沿、平台区和下降沿的不同阶段,利用实验折算的系数,可得到时域瞬态电流波形,其测量结果与用罗果夫斯基线圈测量波形一致。

    基于非重构压缩采样的动态稀疏信号快速检测技术研究
    朱勇刚,李永贵,郭明
    2012, 34(4): 123-127. doi:
    摘要 ( 335 )   PDF (746KB) ( 304 )     

    战场电磁环境的快速、准确感知对于提高战术无线通信系统的时变电磁环境适应能力和抗干扰能力具有重要意义。本文分析了跳频通信信号、扫频干扰信号等战场常见的多种通信信号与干扰信号的动态稀疏特性,构建了动态稀疏信号检测的统一框架。在此基础上,提出了基于非重构压缩采样的动态稀疏信号快速检测技术的基本思路,并分析了该方法的检测性能界。分析结果表明:该方法不仅能够充分利用动态稀疏信号的稀疏特性,大大降低采样速率和后续分析与处理中的数据量,而且避免了复杂的信号重构,能够有效降低动态稀疏信号检测的处理时延,提高了战场电磁环境感知的实时性。

    基于阵列的盲信号处理研究和应用
    游鸿1,2,于文震1
    2012, 34(4): 128-132. doi:
    摘要 ( 324 )   PDF (711KB) ( 277 )     

    本文对比了阵列信号处理与盲信号处理的数学模型,分析了二者的特点并进行了综合统一,提出了基于信号的非二阶特性空间扫描的概念,并验证了信号峰度随信噪比条件的变化和基于峰度的空间扫描。针对采用民用广播电台信号的外辐射源雷达所面临的严重同频干扰问题,采用独立成分分析的方法进行干扰抑制,并进行了实测数据的验证。

    利用固定字段的自同步加扰系统容错译码
    涂世龙,乔良,管涛
    2012, 34(4): 133-137. doi:
    摘要 ( 274 )   PDF (748KB) ( 704 )     

    香农指出,信源中的冗余可以在接收端被用来提高系统性能。固定字段可以看作是信源中的冗余。本文研究自同步加扰系统信源固定字段利用问题,提出由去扰数据进行固定字段检测,得出错误位置,并进一步映射为去扰前错误位置,从而在译码之前预先纠错的容错处理方法。由于容错后的数据流恢复了部分错误,误码率得到降低,因此译码结果明显改善。仿真结果显示,当信源载荷率为30%时,通过利用固定字段,容错译码可获得0.5dB左右的信噪比增益。

    IPSO算法在舰用设备抗冲击能力分析中的应用
    冯麟涵,汪玉,杜俭业,张磊
    2012, 34(4): 138-144. doi:
    摘要 ( 322 )   PDF (628KB) ( 251 )     

    本文提出了一种能够保证以概率1收敛于全局最优解的改进粒子群优化(IPSO)算法。算法在运行过程中根据粒子的浓度和趋同性函数来确定当前粒子的变异概率,增强了粒子群优化算法跳出局部最优的能力。同时,引入的自适应加速度系数,更好地协调全局和局部搜索能力,有利于快速找到全局最优点。将其应用于典型设备抗冲击能力分析研究,结果表明,IPSO算法搜索能力有了显著提高,应用于设备抗冲击研究能提高计算的精确度,降低预测误差。

    基于SQP算法的SAR成像导引头三维弹道优化
    张刚1,祝明波1,陈瑜2,李相平1
    2012, 34(4): 145-150. doi:
    摘要 ( 327 )   PDF (525KB) ( 309 )     

    弹载SAR平台轨迹的设计是研究弹载SAR成像算法的前提。为了在满足SAR成像条件的同时降低导弹打击时间,需要对SAR成像导引头的弹道进行优化。该问题属于非线性最优控制问题,本文采用序列二次规划(SQP)优化算法进行求解。首先以波束驻留时间最小为指标函数,导弹俯仰、偏航加速度为优化变量,建立了SAR成像导引头三维弹道优化模型,模型的约束包括SAR成像约束、过载约束和导弹飞行高度约束。然后,将原最优控制问题进行参数化,转换成非线性规划问题,利用SQP算法进行求解。参数化时,离散节点越多,得到的非线性规划问题规模越大,求解速度就越慢。仿真结果表明,SQP算法能够有效解决SAR成像导引头三维弹道优化问题,得到的解满足模型约束。

    基于PXI总线的某型导弹综合测试系统设计
    蒋新广,柳维旗,姜志保,刘玉字
    2012, 34(4): 151-155. doi:
    摘要 ( 372 )   PDF (639KB) ( 292 )     

    研制某新型导弹的综合测试系统是该类弹药技术保障建设的重要内容。本文首先对导弹的测试需求进行了分析,对模拟输入信号和被测信号进行了分类。提出了基于PXI总线技术和LabVIEW软件平台的综合测试系统研制方案。在此基础上,选用了符合测试需求的PXI功能模块和外部设备,设计了转接适配器,介绍了各组成硬件的功能和用途。按照测试软件的功能要求和被测对象的测试需求,依据模块化和层次化的软件结构编制了测试软件。通过实际使用,表明该测试系统具有自动化程度高、性能可靠、操作简便等特点。

    一种基于WSN实时监测的三江源地区综合生态评价方法
    李永飞1,田立勤1,2,葛劲松3
    2012, 34(4): 156-161. doi:
    摘要 ( 300 )   PDF (644KB) ( 240 )     

    基于大量实时生态监测数据实现了对三江源地区的综合生态评价。首先对通过WSN获得的不同类型和不同量纲的数据进行统一的规范化处理,并根据可用的生态监测传感器类型和三江源地区生态研究成果,构建了综合生态评价模型,然后基于AHP原理科学地确定各指标的权值,最后采用线性综合评价策略进行综合生态评价,并通过实例应用说明了评价过程。该评价方法应用AHP确定权值,科学地实现了对三江源地区综合生态的量化评价,对基于WSN的三江源远程实时生态监测信息的开发利用具有重要的理论和实际指导作用。

    基于非平衡数据分类的单文档自动文摘方法
    倪维健,刘彤,曾庆田,赵华,汤建渝
    2012, 34(4): 162-166. doi:
    摘要 ( 333 )   PDF (495KB) ( 262 )     

    自动文摘是自然语言处理领域的一个重要研究话题,基于机器学习的自动文摘方法则是该项研究中的一个热点。然而,自动文摘问题中的数据分布有一个重要现象,即文摘句子与非文摘句子的数量相差非常悬殊,该现象将给传统机器学习算法的应用效果带来负面影响。为此,本文针对自动文摘中句子类别分布严重不平衡这一现象,以支持向量机算法为基础,设计了两种有效的处理非平衡自动文摘数据的分类方法。在第一种方法中,将传统支持向量机中正负类平衡的分类间隔转换为不平衡的分类间隔;在第二种方法中,通过将数据集进行切分,设计了一种支持向量机集成学习算法。通过在DUC2001数据集上的实验证明,本文设计的两种基于非平衡数据分类的单文档自动文摘方法显著优于基于传统分类算法的自动文摘方法。

    云中数据正确性和完整性的高效验证
    王正飞
    2012, 34(4): 167-170. doi:
    摘要 ( 288 )   PDF (628KB) ( 282 )     

    云计算模式中,数据存储在云服务器提供商,用户需要验证返回数据的正确性和完整性。高效验证是云计算模式中数据安全研究的重点,针对这个问题,本文提出了一种基于子树(Sub_MB)的验证方法。该方法构建Merkle B树存储相关信息,通过计算最小验证子树验证数据正确性和完整性。与MB、EMB和ASB方法相比,该方法验证效率提高15%左右。

    中文新闻事件本体建模与自动扩充
    王伟1,2,赵东岩2
    2012, 34(4): 171-176. doi:
    摘要 ( 346 )   PDF (638KB) ( 497 )     

    针对中文新闻事件的语义层次自动理解问题,给出了新闻事件的定义,构造了一种基于本体的新闻事件模型NOEM。NOEM利用事件的类型、时间、空间、结构、因果、媒体六个方面特征描述新闻事件的5W1H(Who, What, Whom, When, Where and How)语义要素。将抽取的关键事件语义要素自动扩充到本体中后,可构成事件知识库支持事件语义层次的应用。与现有事件模型的比较以及实际应用结果显示,NOEM能够有效描述单个新闻文档中的关键事件、语义要素以及它们之间的关联,具有很强的形式化知识表达、应用集成和扩展能力。

    石英晶片参数测量的物理实验教学系统
    胡志坤,孙岩,丁家峰,刘灿
    2012, 34(4): 177-181. doi:
    摘要 ( 375 )   PDF (815KB) ( 380 )     

    石英晶片是最重要的电子元件,其物理参数的测量直接影响电子产品的质量。本文考虑实际气隙的影响,建立了石英晶片的等效电路模型;推导了气隙对测量误差影响公式,作为误差的主要补偿依据;设计物理参数测量的π型网络,使用直接数字频率合成器作为激励信号源,通过测量石英晶片在π网络中的电流响应,获得其谐振频率、相对活力、杂波系数等多种物理参数。采用ISA总线接口作为上位机与控制器的通信接口,采用微控制器AT89C52作为控制单元,利用多线程技术在Visual C++平台上开发了上位机软件来进行数据处理和逻辑控制。经实际运行表明,该系统测量精度和功能等系统指标达到同类系统标准,已作为电子学科的实验教学系统。

    面向通信与指挥军事建模框架研究
    皮学贤1,2,荆涛1,钟玮珺1,柳林1
    2012, 34(4): 182-187. doi:
    摘要 ( 279 )   PDF (751KB) ( 338 )     

    军事建模框架是军事仿真研发过程中提出并运用的重要概念。鉴于我国军事通信与指挥的实际情况,提出了支持仿真模型集成及多分辨率模型的面向通信与指挥的军事建模框架(MMFOC2),设计了仿真模型体系的功能区分及分类体系,用实例说明了运用该建模框架进行作战仿真的基本流程,结果表明该模型及方法对于战术仿真系统建模是十分有效的。

    基于双边市场理论的苹果App Store模式研究
    张利斌1,2,张广霞2
    2012, 34(4): 188-192. doi:
    摘要 ( 350 )   PDF (427KB) ( 329 )     

    从双边市场理论的定义、识别条件、特征、分类和平台企业战略等角度,分析了苹果App store模式的特征及平台战略。