当期目录

    2009年 第29卷 第10期 刊出日期:2009-10-01
    网络与通信
    一种改进的多速率组播拥塞控制协议DAMCC
    薛建生 冯东晖 孙旭红 宋宝燕
    2009, 29(10):  2599-2602. 
    摘要 ( )   PDF (780KB) ( )  
    相关文章 | 计量指标
    提出了一种新的动态分配带宽的多速率组播拥塞控制策略(DAMCC)。针对当前使用的多速率组播拥塞控制策略RLC调整速率粒度粗糙、接收端带宽的利用不充分的问题,DAMCC设计了动态分段计算增强层的速率算法。执行DAMCC的接收端,根据反馈的响应信息计算网络往返延迟(RTT),进而计算自身的TCP友好速率,以相应的速率接收组播数据,达到与TCP流公平竞争网络资源的目的。仿真实验表明,该拥塞控制策略比分层组播控制常用的典型策略(RLC)更有效地利用网络带宽,解决网络带宽的异构性问题,并能通过接收端计算TCP友好速率,使接收端达到与TCP流公平竞争网络资源的目的。
    一种移动环境中的P2P网络信任模型
    陈世平 王佳炳 裘慧奇
    2009, 29(10):  2603-2605. 
    摘要 ( )   PDF (766KB) ( )  
    相关文章 | 计量指标
    针对移动P2P网络大规模分布式和高度动态性的特点,提出一种基于动态反馈机制的信任模型。该模型引入了距离因子和推荐因子两个参数来控制推荐信任链的规模,提高推荐信任度的准确性。模型将反馈机制和惩罚机制集成到节点间的近期信任度和长期信任度的更新计算之中,提高了模型随时间和历史变化的动态适应性。模拟实验表明,该模型具有很好的动态适应能力,能够有效隔离恶意节点。
    P2P环境下去中心化的多方公平交换协议
    何频 陈明 吴开贵
    2009, 29(10):  2606-2610. 
    摘要 ( )   PDF (1006KB) ( )  
    相关文章 | 计量指标
    针对P2P环境下有价数字资源的多方交换存在资源认证和交换对象协商等问题,提出一种去中心化的多方公平交换协议。协议采用交叉验证理论进行资源的认证和验证,采用交换意向的单向发布机制和新型单向网状交换结构,较好地解决了多方交换对象协商问题,实现了交易拓扑的保密性。最后证明了在交叉验证理论可证明正确的前提下,协议具有公平性。
    基于节点增益不同的无线网络拓扑控制技术
    胡致远 彭 强 刘春艳
    2009, 29(10):  2611-2613. 
    摘要 ( )   PDF (573KB) ( )  
    相关文章 | 计量指标
    无线网络拓扑控制通过调节网络节点的传输功率等措施,从而提升网络性能。无线异构网络因为其网络节点的不同特性,使得适用于无线同构网络的拓扑控制技术无法获得理想的网络性能。以无线网络的图论模型为基础,将信号的能量域指标引入图论模型,从而有效地解决了无线异构网络节点接收增益不同所带来的网络干扰等问题。采用异构无线网络层次类聚等算法,获得接收增益不同条件下的拓扑控制策略。仿真表明,该拓扑控制算法对无线异构网络性能有较大改善。
    3GPP信道模型中STBC-OFDM系统性能分析
    张红霞 戴居丰
    2009, 29(10):  2614-2616. 
    摘要 ( )   PDF (510KB) ( )  
    相关文章 | 计量指标
    空时分组码(STBC)与正交频分复用(OFDM)相结合的STBC-OFDM技术可以有效对抗多径效应和频率选择性衰落,在复杂通信环境中提高传输效率,降低误码率,并且编译码简单。在Matlab中构建STBC-OFDM系统仿真平台,并模拟了其在第三代合作伙伴计划(3GPP)信道中传输的过程,进行了仿真系统参数的选择,并根据各种不同的信道环境,对系统误码特性进行了评估。
    基于主机负载的任务执行时间预测研究
    陶洋 黄涛 唐毅
    2009, 29(10):  2617-2619. 
    摘要 ( )   PDF (730KB) ( )  
    相关文章 | 计量指标
    在网格计算中,预测网格节点性能的动态变化和网格任务的执行情况是影响网格任务高效调度是否成功的最重要因素之一。结合主机负载和任务执行时间的线性关系,研究分析了一种基于主机负载的任务执行时间预测算法。利用仿真实现了这种算法,对基于主机负载实现任务执行时间预测的可靠性进行了实验论证,并给出了预测精度的评价结果。
    一种基于激励机制的P2P流媒体数据调度模型
    张秋余 邓涛 袁占亭
    2009, 29(10):  2620-2623. 
    摘要 ( )   PDF (761KB) ( )  
    相关文章 | 计量指标
    针对P2P流媒体中现有算法在数据调度时不够公平的问题,提出了一种新的具有激励作用的算法模型。该算法模型可以根据节点的丢包率、贡献效率动态调节节点带宽分配以达到接收节点利益理性最大化和系统整体公平,提高了系统传输效率。仿真实验表明,该算法模型促进了节点的参与传输调度,达到了维持系统公平的目的。
    网络性能评估中客观权重确定方法比较
    罗赟骞 夏靖波 陈天平
    2009, 29(10):  2624-2626. 
    摘要 ( )   PDF (777KB) ( )  
    相关文章 | 计量指标
    针对目前网络性能评估中多元指标之间权重难以客观确定的问题,将标准差法、离差最大化法、熵权法以及它们的改进算法应用于客观权重确定,使客观权重确定方法的选择更加全面完备。改进算法引入指标间冲突性概念,考虑指标间相关性对客观权重确定的影响。以VOIP网络为例,采用仿真方法获取权重计算样本,为了选取更加客观的权重确定方法,将六种权重计算方法进行了比较。测试结果表明,基于指标相关性的指标权重确定方法(CRITIC)计算出的权重具有较强客观性。
    最小跳数路由无线传感器网络仿真研究
    郑明才 张大方 赵小超
    2009, 29(10):  2627-2631. 
    摘要 ( )   PDF (1095KB) ( )  
    相关文章 | 计量指标
    为提高最小跳数路由(MHR)无线传感器网络的综合性能,通过仿真分析,揭示了传统最小跳数路由无线传感器网络存在的缺陷,极低开销地提取了改进传统最小跳数路由网络所需的相关信息,并讨论了可能的改进策略,给出了改进前后的性能比较。理论分析和仿真结果表明,利用廉价提取的网络行为特征信息对传统的最小跳数路由无线传感器网络进行改进,能提高网络的可靠性、能源有效性以及其综合性能。
    SWAN模型中引入QoS-MSR多径路由的性能优化分析
    苏兵 乔玉兰 孙玉强
    2009, 29(10):  2632-2634. 
    摘要 ( )   PDF (672KB) ( )  
    相关文章 | 计量指标
    Ad Hoc网络的服务质量模型中路由选择直接影响网络的可靠性和稳定性。将QoS-MSR多路径路由协议引入了无线移动网络无状态模型(SWAN),利用QoS-MSR的两个显著优点,即既在路由查找过程中带有QoS要求的信息又采用多分裂带宽预留机制(MBSR),有效地提高网络服务质量。仿真实验表明,在SWAN模型中采用QoS-MSR路由可以使网络的端到端时延、吞吐量和数据接收率等性能参数都有明显改善。
    负载控制的网格资源调度
    毕可军 段富海 马满福
    2009, 29(10):  2635-2637. 
    摘要 ( )   PDF (753KB) ( )  
    相关文章 | 计量指标
    针对网格环境下的系统负载管理,将网格系统模型描述为节点和通信链路组成的无向图。在此基础上,提出了节点和通信负载的度量方法,给出了相应的阈值定义以及网格负载水平的计算方法。由此构成了资源选择中对节点、通信链路的选择条件,实现节点、通信的负载控制;网格负载水平则是判定拒绝服务的条件,控制系统任务总量。针对该方法,设计了实现管理的体系结构,讨论了模型计算的时间周期,给出了实现控制的调度算法。实验结果表明,该方法在提高系统吞吐量、控制调度失败率等方面表现出良好的性能,特别是在重载情况下,提高了系统的运行效率,增强了系统的健壮性。
    支持多速率自适应的IEEE 802.11网络性能分析
    毛建兵 毛玉明 冷甦鹏 白翔
    2009, 29(10):  2638-2643. 
    摘要 ( )   PDF (1253KB) ( )  
    相关文章 | 计量指标
    针对基于自动速率回退(ARF)算法的多速率IEEE 802.11网络,给出了ARF算法分析的一种离散时间Markov链模型。模型的建立,考虑了节点在发送过程中,通过Basic与RTS/CTS模式的选择,对是否因为信道传输误码导致的失败进行的区分。利用算法模型,分析了节点在以随机概率选择不同发送模式的方式下,其采用各个传输速率的稳态概率分布,并在此基础上结合协议退避机制的研究,给出了多速率网络系统吞吐量性能的计算方法。通过大量的仿真实验,验证了模型分析方法具有很好的准确性,并讨论了算法以及MAC协议参数设置对网络性能的影响。
    假设检验模型网络异常监控算法的研究和实现
    高强 丁岳伟 何璐
    2009, 29(10):  2644-2646. 
    摘要 ( )   PDF (543KB) ( )  
    相关文章 | 计量指标
    针对传统安全监控方式对网络异常判断的不足,提出一种基于假设检验的网络异常分析算法。该算法提出一个新的概念“网络性能值”来描述网络状态。计算在网络正常情况下该网络主机的“网络性能值”分布参数,采集在检查的时间段内一定数量网络性能值样本,通过假设检验方法判断在该时间段内网络是否异常。对该算法进行程序测试,可以得出该算法与传统的监控方法相比降低了网络负荷,并提高了时间段内网络安全判断的正确率。
    基于P2P的计算资源共享与聚集平台PCP
    俞辉
    2009, 29(10):  2647-2651. 
    摘要 ( )   PDF (961KB) ( )  
    相关文章 | 计量指标
    构造了一个基于P2P的计算资源共享与聚集平台(PCP)。PCP平台可以把Internet上空闲的异构计算资源高效地聚集起来,完成大规模的并行分布式计算。PCP平台具有对等性、易用性、高效率等特点。该平台的对等性得益于建立在对等网络JXTA协议上的应用层覆盖网络及节点组织机制;易用性得益于建立在JXTA协议通信库上的并行编程库,通过作业管理子系统来完成并行应用程序的提交管理与监控。模拟实验结果表明,PCP平台在处理主/从类型的并行应用问题上,吞吐量、加速比等方面有较好的性能。
    基于Gossip协议的流媒体播放机制的研究与改进
    乔志伟 彭俊 徐汀荣
    2009, 29(10):  2652-2654. 
    摘要 ( )   PDF (898KB) ( )  
    相关文章 | 计量指标
    针对Gossip协议数据传播随机性与不确定性问题,提出了一种混合结构方式。该方式将非结构化P2P网络和结构化P2P网络相结合,通过增加数据片预取调度算法,弥补了Gossip协议数据传输的随意性。实验结果表明,此方式提高了节点成功播放率,降低了系统开销。
    跨协议的企业分布式即时通信系统的设计与实现
    崔杰 徐浩 丁月华 李巍
    2009, 29(10):  2655-2658. 
    摘要 ( )   PDF (803KB) ( )  
    相关文章 | 计量指标
    企业规模的不断扩大、组织结构的日益复杂以及企业信息交互对象的多样性,使企业即时通信应用环境变得较为复杂,对现有企业即时通信平台提出了严峻的挑战。基于这种背景,提出了基于可扩展消息在线协议的跨协议的企业分布式即时通信系统的概念。简述了企业即时通信的发展现状,介绍了可扩展消息在线协议,给出了该系统的详细设计和实现,为企业提供一个良好的即时信息交流平台,提高企业即时通信的稳定性、可靠性以及效率。
    图形图像处理
    多分辨率匹配CRB分析中噪声估计方法
    裴志军 张骥祥 曹继华
    2009, 29(10):  2659-2661. 
    摘要 ( )   PDF (1038KB) ( )  
    相关文章 | 计量指标
    多分辨率目标匹配克拉美-罗界(CRB)分析中, CRB对噪声敏感,噪声估计尤为重要。采用不同阶次有限差分算子构成一组高通滤波器,分别对图像滤波处理,并将四分位间距(IQR)方法与中值滤波原理结合,估计CRB分析中的噪声方差,避免了残留轮廓信息的复杂处理,实验表明算法简单有效。
    基于特征层融合的人脸识别新方法
    刘敏 李晓东 王振海
    2009, 29(10):  2662-2664. 
    摘要 ( )   PDF (619KB) ( )  
    相关文章 | 计量指标
    为了探索人脸识别中有效的特征提取方法,提出了一种基于特征层融合的算法。该方法融合了保局投影(LPP)和最大间距准则(MMC)两种方法。首先对训练样本进行LPP判别分析,得到每个训练样本在LPP子空间上的投影,然后利用MMC方法对所有的投影进行鉴别分析,提取出更有效的样本判别特征;采用最小近邻分类器分类。在ORL人脸库的测试结果表明,在姿态、光照、表情、训练样本数目变化的情况下,该算法都具有较好的识别率。
    基于曲波变换的图像去噪新算法
    厉丹 钱建生 王超
    2009, 29(10):  2665-2667. 
    摘要 ( )   PDF (813KB) ( )  
    相关文章 | 计量指标
    比较了小波变换和曲波变换,指出小波变换只具有点状奇异性的不足之处和曲波变换具有多尺度各向奇异性的优点,分析了现有的基于曲波变换的图像去噪方法,并对目前基于曲波变换的去噪算法进行了改进,提出结合Wrapping和Cycle Spinning的WCSCurvelet去噪新算法。仿真实验的结果证实了该算法减少了伪Gibbs现象,较好地保留了图像的细节和纹理,获得了更好的视觉效果和更高的峰值信噪比。
    迭代分水岭和脊检测的图像分割
    谢颂华 陈黎 陈建勋 聂晖
    2009, 29(10):  2668-2670. 
    摘要 ( )   PDF (785KB) ( )  
    相关文章 | 计量指标
    对具有边界不明显和亮度非均匀特征的图像,如金相学图像,使用传统方法进行分割难以得到令人满意的分割效果。因此,提出了一种新的图像分割算法——基于迭代过程的分水岭改进算法。该算法运用脊来限定区域生长的范围,采用双阈值方法选择种子,而脊叠加为分水岭算法中的最高吃水线。为了解决过分割的问题,利用贝叶斯分类规则反复地进行区域块的合并。实验结果表明,在无需调整太多参数的情况下,该算法可以有效地实现图像分割。
    基于空间分解的三角网格模型求交方法
    张少丽 王毅刚 陈小雕
    2009, 29(10):  2671-2673. 
    摘要 ( )   PDF (604KB) ( )  
    相关文章 | 计量指标
    三角网格模型间的求交问题是计算机辅助设计与制造领域的关键问题之一。分析了已有空间分解技术和包围盒方法等的优缺点,并在此基础上提出了改进的空间分解求交方法。 该算法能够精确定位三角形所占的空间网格,一定程度上减少了需要求交的三角形的数量。实验的结果表明,改进的算法提高了采用空间分解进行三角网格求交的计算效率。
    基于小波系数层间相关性的图像噪声方差估计
    徐鑫 田逢春 姬艳丽 龙红梅
    2009, 29(10):  2674-2677. 
    摘要 ( )   PDF (1165KB) ( )  
    相关文章 | 计量指标
    噪声的方差估计是含噪图像处理中的常见问题之一,其基本思想是通过某种方法寻找含噪图像中的“纯”噪声子图像来估计原噪声方差。传统方法是通过空域或频域采样,得到该子噪声图像,然后直接对其估计方差,它对图像信息的分布有要求。在传统频域采样方法的基础上,提出一种结合图像小波变换系数层间相关性的新方法。其过程是:对第一级有效小波分解的斜向子块进行分析,利用小波变换系数的层间相关性,去除其中的图像信息,得到更“纯”的子噪声块,再估计其方差。通过仿真实验和实际4f系统输出图像实验证明,该方法比传统方法的估计结果更准确,更适合带宽较低的系统图像和图像本身高频信息较丰富的场合。
    基于尺度不变特征变换的Mean-Shift目标跟踪
    杨心力 杨恢先 曾金芳 于洪
    2009, 29(10):  2678-2680. 
    摘要 ( )   PDF (715KB) ( )  
    相关文章 | 计量指标
    均值漂移(Mean-Shift)目标跟踪算法由于具有快速模板匹配和无参数密度估计等特点,但也存在其固有的缺陷。为了提高该算法的鲁棒性,把目标分成多个区域,对每个区域利用Mean-Shift进行跟踪,迭代次数大于8的放弃迭代。然后利用尺度不变特征变换(SIFT)剔除那些匹配的关键点数目少的子区域。最后,利用匹配关键点数目多的区域得到目标的位置。实验结果表明该方法在目标受遮挡、尺度变化、旋转、环境场景等变化等具有很强的鲁棒性。
    基于Logistic混沌序列和位交换的图像置乱算法
    袁玲 康宝生
    2009, 29(10):  2681-2683. 
    摘要 ( )   PDF (858KB) ( )  
    相关文章 | 计量指标
    在分析传统迭代型图像置乱方法不足的基础上,提出一种新的基于混沌序列和位交换的图像置乱算法。算法根据各像素点的位置,采用不同的Logistic混沌序列和像素值的二进制序列进行异或操作改变图像像素值,并利用图像本身的自相关性进行加密,不需迭代,经过一次运算即可得到加密图像。仿真实验结果表明,该算法可有效地实现灰度和彩色图像置乱,并能较好地抵抗椒盐和裁剪攻击,在效率上也优于迭代型置乱方法。
    基于灰度特征的一致性弹性配准算法
    张加万 韩真毅 张怡 白玉超
    2009, 29(10):  2684-2686. 
    摘要 ( )   PDF (896KB) ( )  
    相关文章 | 计量指标
    医学图像配准算法中,基于灰度的弹性配准方法具有自动化程度高的优点,但是灰度对应性的模糊容易导致误配准。提出一种利用局部互相关系数作为相似性测度的灰度一致性配准算法。该算法在相似性测度函数中将前向变换和后向变换联系起来,把局部互相关系数的和作为相似性测度函数,并通过在局部互相关系数相似性测度中引入一致性约束条件,有效地确保了前向变换和后向变换的互逆性,同时进一步增强了待配准图像灰度的对应性。
    基于主成分分析的运动阴影检测算法
    裴立志 王润生
    2009, 29(10):  2687-2689. 
    摘要 ( )   PDF (609KB) ( )  
    相关文章 | 计量指标
    运动阴影在视频图像序列中普遍存在, 为了防止被错误地检测为目标,提高阴影检测算法的准确性和普适性,提出了一种基于空间变换技术的运动阴影检测算法。该算法通过对视频序列建立高斯混合背景模型产生自适应背景,利用主成分分析(PCA)技术对其进行空间变换提取特征,再利用背景与当前帧图像对应像素点在特征空间的位置进行阴影检测。实验结果表明该方法能够很好地抑制噪声,减少光照变化的影响,准确地检测出阴影。
    基于视差空间采样的区域增长稠密立体匹配算法
    杨保海 刘小莉 査代奉
    2009, 29(10):  2690-2692. 
    摘要 ( )   PDF (925KB) ( )  
    相关文章 | 计量指标
    通过对现有区域增长算法的研究,提出了改进的区域增长算法,该算法克服了原有算法依赖种子点精度,在平滑区域停止传播,在纹理区域易产生误匹配的缺陷,得到了良好的视差图质量。首先通过对提取的特征点进行匹配,实现对视差空间的采样。然后在视差空间中建立种子点新的传播方式。实验结果证明,该算法能遍历整个视差空间,在整个传播过程中能自动从匹配错误中恢复,在平滑区域和重复纹理区域也能得到良好的匹配效果。
    基于Levenberg-Marquardt改进算法的图像拼接
    王腾蛟 成礼智
    2009, 29(10):  2693-2694. 
    摘要 ( )   PDF (774KB) ( )  
    相关文章 | 计量指标
    通过对Levenberg-Marquardt(LM)算法每一步迭代过程设计评估因子以及迭代参数,建立了一种LM改进算法。与经典LM算法相比,改进算法避免了迭代中矩阵奇异性导致算法出现中断的缺陷,加快了误差能量函数迭代过程中的下降速度,减少了无效计算。算法的全局收敛性保证了图像拼接中能够有效地去除重影的存在。仿真实验表明,较经典的LM算法,该方法在全景图拼接质量上有较好改进。
    二阶先验模型下SA-GA混合优化策略的图像景深提取
    杨竣辉 黄婵
    2009, 29(10):  2695-2697. 
    摘要 ( )   PDF (788KB) ( )  
    相关文章 | 计量指标
    解决从不同角度拍摄的一系列平面图像中解算图像中物体的景深问题,使用一个新颖的二阶先验模型来建模光滑3D物体的表面信息,此模型比传统的一阶模型有很大优势。同时提出一个混合优化策略——模拟退火算法(SA)和遗传算法(GA)来提高优化效率。实验结果表明:二阶先验模型在解算典型场景的景深时要优于一阶模型。混合优化比单独的SA、GA优化效果好。
    基于改进小波变换的医学图像融合方法
    曲延华 王婷君 薛嗣麟 蒋延友 王安娜
    2009, 29(10):  2698-2699. 
    摘要 ( )   PDF (588KB) ( )  
    相关文章 | 计量指标
    小波变换在图像融合中的应用已有不少,但大多是热图像和可视图像的融合,在医学图像融合方面的研究还比较少。针对这一现状,提出了基于形态学小波的医学多分辨率融合方法和小波域基于差值图像分割的加权融合方法。该方法保留了小波的视觉效果,同时在很大程度上减少了运算的复杂度,优化了加权系数的计算方法,得到了较好的融合效果。实验结果表明了该算法的优越性。
    基于人脸检测与跟踪的广告效果评估系统
    邢延超 强文萍
    2009, 29(10):  2700-2702. 
    摘要 ( )   PDF (705KB) ( )  
    相关文章 | 计量指标
    公共场所各种广告对商品的宣传至关重要,但对广告效果的评价则缺乏有效的自动分析手段。针对这一问题提出一种基于计算机视觉处理的广告效果评价系统。该系统通过采集广告前方人群运动场景的视频,检测并跟踪视频中关注广告的人脸,记录其关注时间,并根据关注者数量、关注时间、关注模式分析等,对该广告的受众反馈进行量化评价。人脸检测采用AdaBoost分类器,人脸跟踪采用粒子滤波器。人脸检测与跟踪相互补充和修正,提高了人脸跟踪的可靠性。实验结果验证了该方法的有效性。
    二值分解压缩和Consensus算法
    傅迎华 陈玮 付东翔
    2009, 29(10):  2703-2705. 
    摘要 ( )   PDF (772KB) ( )  
    相关文章 | 计量指标
    奇异值分解(SVD)是一种流行的用于高维数据压缩的方法,二值分解是奇异值分解的一种简化形式。实现二值分解的主要算法有两种:迭代启发式算法和贪婪算法。但这两种算法都不是很理想的算法:迭代启发式算法在很多情况下不能保证收敛性,贪婪算法不满足大型数值矩阵分解的需要。采用了一种新的算法来实现二值分解:Consensus的算法。Consensus算法可在渐进多项式时间内找到一般图中的极大二分团。对于某些二分图,该算法的复杂度是多项式时间的。实验结果表明,当迭代启发式算法不起作用时,Consensus算法是一种很好的求解二值分解的方法。该算法远比贪婪算法的效率高,且具有稳定收敛性。
    基于CCSDS建议的遥感图像传输系统性能研究
    刘庆利 潘成胜 田野 窦雪荔
    2009, 29(10):  2706-2709. 
    摘要 ( )   PDF (842KB) ( )  
    相关文章 | 计量指标
    提出了一种新的遥感图像的传输方案。该方案通过将CCSDS AOS建议中的位流业务与回退n帧(GBN)重传方式相结合,对图像进行分块传输,解决了星地链路误码率高导致的遥感图像重构后质量下降的问题。分析了采用不同块长度时系统的归一化吞吐量性能,提出了最优的数据块长度计算方法。仿真结果表明,图像的恢复质量随着信道误码率的增大而下降,但在满足一定的误码率 (<10-4)条件下,可以使恢复的图像达到较大的峰值信噪比(PSNR),满足图像信息的重建要求。
    基于主动形状模型的人脸脸型自动分类算法
    杜立强 贾鹏 周宗潭 胡德文
    2009, 29(10):  2710-2712. 
    摘要 ( )   PDF (970KB) ( )  
    相关文章 | 计量指标
    研究表明人脸脸型可以分为圆脸、椭圆脸、方脸、三角脸等。基于主动形状模型(ASM)提出了一种自动人脸脸型分类方法。首先利用各种脸形的样本进行训练以建立脸型形状模型库,然后运用ASM算法对测试样本自动定位正面人脸形状,比较其与各个脸型形状模型的距离,最后应用最近邻方法实现脸型的自动分类。仿真实验表明,该方法优于利用人脸轮廓曲率或下颌曲率的方法,能够充分挖掘人脸形状信息,分类结果稳定准确,可以有效提高大库人脸识别的速度和准确率。
    基于帐篷映射迭路的置乱方法
    叶瑞松 庄乐仪
    2009, 29(10):  2713-2715. 
    摘要 ( )   PDF (704KB) ( )  
    相关文章 | 计量指标
    提出了一种基于帐篷映射迭路的音频和图像的置乱方法。帐篷映射迭路产生的编码可用于音频信号置乱。另外, 将映射推广至二维便可用于图像置乱; 讨论了图像置乱的置乱度、置乱周期和鲁棒性。和传统的Arnold 变换的置乱比较,该方法总体上具有更大的置乱周期和更好的置乱度。
    基于区域生长法的散乱点云分区方法
    胡怀宇 崔汉国 代星
    2009, 29(10):  2716-2718. 
    摘要 ( )   PDF (753KB) ( )  
    相关文章 | 计量指标
    为高效精确处理散乱点云数据,改进了区域生长算法。首先分析散乱数据点云的高斯曲率和平均曲率,由二次提取法(即先提取平坦点再由高斯曲率和平均曲率的记号提取其他七种曲面类型)形成初始数据分块;再通过区域生长法使粗略数据分块进一步被提取,得到更小的噪声影响及更精确的区域分块。对于各个种子区域,反复控制生长并重建以使最多的点能拟合到单个面片,并由外部噪点来中断循环。实例验证表明该方法具有较强的可操作性和实用性。
    人工智能
    一种带有随机变异的动态差分进化算法
    高岳林 刘俊梅
    2009, 29(10):  2719-2722. 
    摘要 ( )   PDF (707KB) ( )  
    相关文章 | 计量指标
    提出一种带有随机变异的动态差分进化算法。在这个算法中,两种不同的变异策略DE/rand/1和DE/best/1通过线性递减加权组合策略产生新的变异策略,以便动态利用DE/rand/1和DE/best/1的优点,并且引入一种指数递增交叉概率算子、线性递减缩放因子和一种随机变异机制以进一步提高算法的全局寻优能力。通过四个标准测试函数的测试结果表明,该算法是一种收敛速度快、求解精度高、鲁棒性较强,更适合求解高维复杂的全局优化问题。
    改进PSO与小波的地基沉降预测应用
    董吉文 吴瑞海 段琪庆
    2009, 29(10):  2723-2725. 
    摘要 ( )   PDF (574KB) ( )  
    相关文章 | 计量指标
    将改进的具有双群特性及带变异算子的粒子群优化算法与小波分析结合优化神经网络预测地基沉降量。针对粒子群算法易陷入局部极小值的缺陷,将粒子总群分成两个子群,分别对两个子群进行不同的搜索策略以增强算法的全局和局部搜索能力。其中一个子群采用变惯性权重进行局部细搜索;另一个子群采用大的惯性权重进行全局搜索,并与小波分析去噪结合,优化神经网络参数,对地基累计沉降数据进行预测。实验结果表明这种划分使算法有较强的全局和局部搜索能力,同时提高了预测精度。
    利用蚁群算法对PageRank算法的改进
    丁岳伟 郭辉
    2009, 29(10):  2726-2728. 
    摘要 ( )   PDF (738KB) ( )  
    相关文章 | 计量指标
    在PageRank算法的基础上应用蚁群算法的主要思想, 对网页按关键字检索后被点击的次数进行统计,根据其在初始排序结果中的位置对网页进行分类,通过给定的函数变换对按照以上两个因素统计分析所得的结果进行运算,将其作为网页与关键字关联度的一个评判依据。从而对网页的权值(PR值)进行迭代修正,并返回一个新的排序结果。通过模拟实验表明,此方法在使得返回结果中相关度较高的网页通过人们的自主选择获得了不同程度的加权,使得其在返回结果中的排名得到提升,更容易被检索到,提高了查准率。
    Markov逻辑网及其在文本分类中的应用
    张玉芳 黄涛 艾东梅 熊忠阳
    2009, 29(10):  2729-2732. 
    摘要 ( )   PDF (759KB) ( )  
    相关文章 | 计量指标
    介绍了Markov逻辑网的理论模型、学习算法和推理算法,并将其应用于中文文本分类中。实验结合了判别式训练的学习算法,MC-SAT、吉布斯抽样和模拟退火等推理算法,结果表明基于Markov逻辑网的分类方法能够取得比传统K邻近(KNN)分类算法更好的效果。
    基于贝叶斯理论的协同过滤推荐算法
    孟宪福 陈莉
    2009, 29(10):  2733-2735. 
    摘要 ( )   PDF (563KB) ( )  
    相关文章 | 计量指标
    考虑到在协同过滤算法中邻居集合的有效性是影响推荐质量的重要因素,提出了基于贝叶斯理论的协同过滤推荐方法,该方法利用贝叶斯理论分析用户对项目特征值的喜好度。在计算相似度时,考虑用户喜好度,在此基础上计算目标项目的最近邻居。实验结果表明该算法可以提高推荐系统的推荐质量。
    一种新的支持向量机大规模训练样本集缩减策略
    朱方 顾军华 杨欣伟 杨瑞霞
    2009, 29(10):  2736-2740. 
    摘要 ( )   PDF (950KB) ( )  
    相关文章 | 计量指标
    支持向量机(SVM)在许多实际应用中由于训练样本集规模较大且具有类内混杂孤立点数据,引发了学习速度慢、存储需求量大、泛化能力降低等问题,成为直接使用该技术的瓶颈。针对这些问题,通过在点集理论的基础上分析训练样本集的结构,提出了一种新的支持向量机大规模训练样本集缩减策略。该策略运用模糊聚类方法快速的提取出潜在支持向量并去除类内非边界孤立点,在减小训练样本集规模的同时,能够有效地避免孤立点数据所造成的过学习现象,提高了SVM的泛化性能,在保证不降低分类精度的前提下提高训练速度。
    基于Mean-Shift的广播音频聚类算法
    郑继明 俞佳
    2009, 29(10):  2741-2743. 
    摘要 ( )   PDF (690KB) ( )  
    相关文章 | 计量指标
    针对大多数聚类算法依赖聚类数目这一先验知识的不足,提出一种基于均值漂移(Mean-Shift)的新广播音频聚类算法。对需聚类的音频段选取基于小波域的特征构造特征集合,通过主成分分析方法降低所提取特征中的冗余信息。在此基础上,采用Mean-Shift算法对音频信号进行初步聚类,然后利用快速近邻法对其聚类结果进行一次修正,最后合并仅含有单个样本类别的类进行二次修正。实验结果表明,该算法的聚类精度有一定的提高。
    用于连续空间寻优的一种蚁群算法
    刘喜恩
    2009, 29(10):  2744-2747. 
    摘要 ( )   PDF (698KB) ( )  
    相关文章 | 计量指标
    结合经典蚁群算法思想提出一种基于动态分类的新型蚁群搜索算法——三策略智能蚂蚁(TSIA)算法。将整个蚁群动态分为随机搜索蚁群、局部搜索蚁群和定向搜索蚁群三个子类,分别采用随机搜索、局部搜索和定向搜索三层搜索策略,使得蚁群具有全局探索能力,并能对优良解进行继承和改进。通过自适应地调整三个子类蚁群的规模和搜索步长,使得整个蚁群在“探索”和“学习”之间处于一个较好的平衡。实例运算证明该算法简单高效,具有快速的收敛能力和优良的全局寻优能力。
    基于非线性支持向量机的原核生物基因识别
    张继宏 李小霞 孙波
    2009, 29(10):  2748-2750. 
    摘要 ( )   PDF (525KB) ( )  
    相关文章 | 计量指标
    应用非线性最小二乘支持向量机对原核生物进行基因识别,通过寻找序列开放阅读框(ORF),并与可靠基因位点文件进行比较产生训练样本集,然后提取样本GC含量和Z曲线特征,并利用T检验方法检验各特征值所包含的信息量,设计出了非线性最小二乘支持向量机分类器识别基因。结果表明非线性最小二乘支持向量机的识别率比Fisher判别和线性支持向量机在不同的特征组合下分别提高了7.09%~29.97%和10.97%~25.45%,并且在特征值信息量较小的情况下非线性最小二乘支持向量机更能表现其优越性。
    基于二次Renyi熵的非迭代最小二乘支持向量机预测模型
    赵冠华
    2009, 29(10):  2751-2754. 
    摘要 ( )   PDF (900KB) ( )  
    相关文章 | 计量指标
    将二次Renyi熵应用于企业财务困境预测,提出了一种基于二次Renyi熵的最小二乘支持向量机(LS-SVM)模型。通过将该模型与传统的LS-SVM模型、标准SVM模型以及与二项Logistic回归模型、BP神经网络(BP-ANN)的分析比较,表明了该模型无论是训练样本的数量还是运算时间,都显著优于其他模型,且有较好的稳定性。实证分析表明,将二次Renyi熵引入企业财务困境预测领域是成功的,同时,通过对原始输入变量进行显著性检验、因子分析处理,减少了输入变量个数,预测正确率达到了88%,说明因子分析法是有效的。
    利用遗传算法优化的支持向量机垃圾邮件分类
    张艳秋 王蔚
    2009, 29(10):  2755-2757. 
    摘要 ( )   PDF (548KB) ( )  
    相关文章 | 计量指标
    提出一种利用遗传算法优化支持向量机来进行垃圾邮件的分类方法。首先对邮件进行预处理,然后利用遗传算法优化支持向量机的惩罚因子和核函数参数的组合,最后利用优化后的支持向量机对邮件进行分类。在由5800篇邮件构成的数据集上进行实验的结果表明,该方法能达到89.67%的准确率,提高了对中文垃圾电子邮件过滤的准确性。
    基于蚁群算法的情感模型研究
    张国丽 李祚泳
    2009, 29(10):  2758-2761. 
    摘要 ( )   PDF (695KB) ( )  
    相关文章 | 计量指标
    情感是人类智能中的一个重要表现形式,在人类决策过程中起着重要的作用。从情感的特征出发,抽取影响情感产生的载体因子,引入蚁群算法思想,将携带载体因子的蚂蚁,采用串行的方式,通过反应强度值的不断更新,完成寻找最优情感状态的任务,以此来考察人类的情感变化。通过和隐马尔可夫情感模型相比较,可以看出基于蚁群算法思想的情感模型实现过程简单,并反映了情感状态的变化过程。仿真结果表明了该模型与实际相符合,对研究计算机情感表达有较好的作用。
    一类带延迟策略的库存优化模型及其仿真
    刘兵兵
    2009, 29(10):  2762-2765. 
    摘要 ( )   PDF (610KB) ( )  
    相关文章 | 计量指标
    考虑一类带延迟策略的库存优化模型, 即二层整数规划问题。证明了该二层整数规划问题等价于约束单层整数规划问题。借助罚函数思想化约束整数规划问题为无约束整数规划问题, 再利用遗传算法进行求解。数值模拟表明所得数值结果与已有的数值结果相比,不仅使得供应链整体库存效益有较大提高, 并且对每个库存分点的最优库存量作了更为合理的调整。
    数据挖掘
    数据流系统中的一种查询调度及负载脱落模型
    王丹 李茂增
    2009, 29(10):  2766-2771. 
    摘要 ( )   PDF (1262KB) ( )  
    相关文章 | 计量指标
    如何在资源有限的情况下,快速执行查询处理并最大限度地减少查询精度的损失是数据流查询处理的主要任务之一。从操作符的优化调度和负载脱落两个方面研究了这一问题。分析了影响操作符调度的主要因素,结合操作符对不同元组的不同处理特性以及系统运行状态,设计并实现了一个基于优先级的调度模型。其中采用人工神经元网络中的算法对影响操作符优先级的权重系数进行训练,实现了基于动态优先级的调度。使用负载脱落技术可以使系统在大量突发数据流元组进入系统而系统无法处理时及时脱落其中的部分数据,维持系统的正常运转,提高系统查询处理的可用性。针对存在两个数据流连接操作符的查询请求,研究了负载脱落和反脱落的时机、数量、位置、谓词等问题,设计并实现了一个基于语义的负载脱落模型。算法和模型的运行结果表明该模型在过载时系统能够及时降载,在欠载时能及时进行反脱落操作,减少了性能的损失。
    基于时间段查询的物化视图策略
    于翔 印桂生
    2009, 29(10):  2772-2773. 
    摘要 ( )   PDF (590KB) ( )  
    相关文章 | 计量指标
    物化视图是减少数据仓库中查询响应时间的有效方法。现有的物化视图选择策略主要考虑物化视图的初始选择方法以及动态更新方法。针对某时间段内查询进行物化视图更新的情况考虑不足,在贪心算法以及动态更新算法的基础上,提出了基于时间段内查询的物化视图更新策略。基于时间段查询的物化视图更新策略可充分适应用户需求,提高查询效率。
    基于Web日志的典型匿名用户路径挖掘研究
    缪勇 宋斌
    2009, 29(10):  2774-2777. 
    摘要 ( )   PDF (748KB) ( )  
    相关文章 | 计量指标
    通过获取的匿名用户浏览路径集,依据新的路径相似度定义,建立用户浏览路径相似度矩阵,并在此基础上设计实现了匿名用户浏览路径聚类算法,获得聚类结果集,并计算各类的中心,得到典型匿名用户路径。挖掘结果显示典型匿名用户路径代表了不同类用户网络浏览路径,可有效地作为网站信息推荐的依据。
    一种基于有序对的含父子边的小枝模式匹配算法
    王瑞 陶世群
    2009, 29(10):  2778-2780. 
    摘要 ( )   PDF (668KB) ( )  
    相关文章 | 计量指标
    随着Internet的发展和网上XML数据规模的与日剧增,如何准确、高效地查询XML数据已经成为研究的热点问题。目前,已经提出了很多小枝模式匹配算法,但没有解决含有父子边的小枝模式查询。针对该问题,提出了一种基于有序对的新算法PCTwig,通过在查询树和文档树上分别建立父子关系的有序对来进行查询。查询过程中避免了产生中间结果,也不需要进行归并操作,实验证明该算法是有效的。
    基于线性判别分析的特征选择
    崔自峰 吉小华
    2009, 29(10):  2781-2785. 
    摘要 ( )   PDF (806KB) ( )  
    相关文章 | 计量指标
    提出一种新颖的基于特征抽取的特征选择方法,将特征选择问题建模为在子空间中的搜索问题,采用线形判别分析(LDA)的投影思想,对LDA施加一定的限制将其转换为对子空间的搜索优化问题,从而通过解LDA的优化问题得到特征选择的解,进一步把特征选择问题推导简化为对特征的评分和排序过程。通过在UCI机器学习库和Reuters-21578文本数据集上的实验,验证了该方法以较少的特征获得了比全部特征更好的分类结果。
    基于复杂事件处理机制的RFID数据流处理方法
    阴晓加 鞠时光 王英杰
    2009, 29(10):  2786-2790. 
    摘要 ( )   PDF (1024KB) ( )  
    相关文章 | 计量指标
    射频识别(RFID)数据流处理技术中基于复杂事件处理机制(CEP)的方法受到业界广泛关注。针对射频识别数据的特点以及目前射频识别复杂事件处理方法的不足,通过扩展和改进高效模式匹配算法Rete,提出了复合事件处理方法ERD。该方法实现了事件检测机制与中间结果共享机制的有机统一,从而达到了提高系统整体检测效率的目的。仿真实验证明该方法具有较好的效果。
    基于四层贝叶斯网络的XML文档信息检索模型
    章小龙 衡星辰
    2009, 29(10):  2791-2795. 
    摘要 ( )   PDF (884KB) ( )  
    相关文章 | 计量指标
    提出了一种新的基于贝叶斯网络对XML文档信息进行查询的模型方法。该模型支持针对XML文档信息的结构化查询。基于XML信息查询的特点,利用XML数据集中语词、元素和结构化单元的统计信息对模型的拓扑结构和条件概率进行了学习;结合概率函数的方法,利用模型的概率推理进程对XML文档和结构化查询条件的相关度进行了估算。最后在基于INEX测试集的实验中证明了该方法的有效性和可靠性。
    信息安全
    基于Web挖掘的主页多主题更新模型
    张顺香 朱广丽 陆奎
    2009, 29(10):  2796-2798. 
    摘要 ( )   PDF (829KB) ( )  
    相关文章 | 计量指标
    针对改善网站主页中多个主题更新的合理性问题,提出了一种新颖的基于Web数据挖掘技术的主页主题更新模型。对当前主页主题更新方法进行分析,指出目前一些大学校园网站主页主题更新的不合理性,然后通过数据挖掘,从安徽理工大学网站Web日志中提取有效数据,分析各个主题的点击率随时间的变化趋势,进而提出基于点击率的网站主页主题更新模型。实验结果证明,模型能够实现对主页主题的合理更新,有效提高网站主页的受欢迎程度。
    基于击键韵律的身份认证模型设计与实现
    张治元 田国忠
    2009, 29(10):  2799-2801. 
    摘要 ( )   PDF (634KB) ( )  
    相关文章 | 计量指标
    击键韵律是以人的行为特征为基础的身份认证技术。对PR-RP算法模型进行分析,参照PR-RP模型中四个关键的数据集,重新构建P-P时延数据集和R-R时延数据集,并且只选取密码的击键特征进行处理。然后建立特征模板,并在此模型的基础上对特征模板进行实时更新,保证特征模板中数据为用户的最新特征,来达到提高认证的识别率。实验结果表明,该方法能取得较好的认证效果。
    基于行为逻辑的时序使用控制模型
    徐长征 王清贤
    2009, 29(10):  2802-2805. 
    摘要 ( )   PDF (757KB) ( )  
    相关文章 | 计量指标
    着眼于单主体访问操作中的原子行为和时序性质,采用时序模态逻辑,提出一种基于行为的时序使用控制模型。该逻辑框架包含了与授权相关的按时间节点预定义的行为、由主客体属性和系统所表达的状态序列及状态谓词。在给出了一种策略语言后,对其语法和语义进行了形式定义,并根据使用控制(UCON)模型族的行为特性给出了控制策略。该逻辑模型不仅可以形式化描述使用控制基本原理,而且有助于准确并自动化地判定策略的可满足性,具有良好的灵活性和表达能力。
    基于风险事件分类的信息系统评估模型研究
    李廷元 范成瑜 秦志光 刘晓东
    2009, 29(10):  2806-2808. 
    摘要 ( )   PDF (547KB) ( )  
    相关文章 | 计量指标
    提出了一种基于风险事件分类的信息系统评估模型。模型将信息系统的单个风险事件按底层评估指标进行分类,得到底层指标风险值,然后按照评估指标的层次结构由下往上进行计算,并最终得到信息系统的综合风险值。最后,利用模糊综合评判法,在提出的模型上对一个信息系统进行评估,并得出评估结论。
    面向用户角色的细粒度自主访问控制机制
    魏立峰 孟凯凯 何连跃
    2009, 29(10):  2809-2811. 
    摘要 ( )   PDF (542KB) ( )  
    相关文章 | 计量指标
    基于访问控制表(ACL)的细粒度自主访问控制机制可以实现针对单个用户或用户组的访问授权,但是在实际使用中可能造成不适当授权或权限撤销不及时的缺陷。基于可信Kylin操作系统的角色定权(RBA)机制,在自主授权中引入了用户角色约束,提出了一种面向用户角色的细粒度自主访问控制机制,实现了针对单个用户在承担特定角色时的访问授权,一旦用户不再承担该角色,访问授权可以及时撤销,有效解决了ACL不适当授权的问题。
    邮件过滤中特征选择算法的研究及改进
    卢扬竹 张新有 祁玉
    2009, 29(10):  2812-2815. 
    摘要 ( )   PDF (706KB) ( )  
    相关文章 | 计量指标
    对基于内容的垃圾邮件过滤技术尤其是特征选择算法进行了研究。在此基础上,对其中的互信息算法进行了分析,并将其与邮件过滤的特点结合起来进行,在频度、集中度及分散度三个指标上进行改进,在原互信息算法已考虑分散度的基础上,引入词频来表征频度,以类别贡献比来衡量特征对分类的贡献,即表征集中度,并给出了改进后的互信息计算公式及算法。最后使用真实邮件训练集进行了邮件分类的实验,实验结果证明对互信息算法的改进能有效提高邮件分类性能。
    面向网络对抗的缓冲区溢出攻击描述语言研究
    钟达夫 唐懿芳 李肖坚
    2009, 29(10):  2816-2819. 
    摘要 ( )   PDF (877KB) ( )  
    相关文章 | 计量指标
    以计算机网络对抗为背景,以缓冲区溢出攻击为例,通过抽象缓冲区溢出攻击的规律,分析植入代码的结构特征,设计一种用于网络对抗演练的缓冲区溢出攻击描述语言,并进行形式化分析证明。实际验证表明,该缓冲区溢出攻击描述语言能够动态地构造植入代码,实现缓冲区溢出攻击的自动化。
    软件过程技术
    基于STM32F103VB的应用编程技术的实现
    张舞杰 南亦民
    2009, 29(10):  2820-2822. 
    摘要 ( )   PDF (531KB) ( )  
    相关文章 | 计量指标
    针对嵌入式应用中更新升级固件的需求,在阐述应用编程(IAP)技术原理的基础上,以具有Cortex-M3内核的微控制器STM32F103VB为平台,给出了基于STM32F103VB IAP技术的实现方案,并对方案的可靠性进行了探讨。最后讨论了IAP技术的具体实现方式。该方案实现了以具有STM32F103VB微控制器的嵌入式系统终端软件的在线升级,提高了软件维护的方便性,缩短了终端软件系统的开发周期。
    基于嵌入式网络终端的邮件客户端软件设计
    王平 何花
    2009, 29(10):  2823-2826. 
    摘要 ( )   PDF (857KB) ( )  
    相关文章 | 计量指标
    介绍了嵌入式网络终端的硬件系统和操作系统,通过分析电子邮件系统的原理和相关协议,设计了一款基于此嵌入式网络终端的电子邮件客户端软件。该软件系统逻辑清晰,界面友好,除具备基本的收发中英文邮件功能外,还具有直接在邮件内显示附件标题等功能,具有较大的灵活性和扩展性。
    基于数据处理模型的软件测试方法
    孙佩刚 谈利群 赵利军 吴景坡
    2009, 29(10):  2827-2829. 
    摘要 ( )   PDF (571KB) ( )  
    相关文章 | 计量指标
    针对传统测试方法运用于数据处理软件测试时的不足,提出了一种基于数据处理模型的软件测试方法;为有效避免测试数据选取时的盲目性,提出了基于图解化的测试数据选取方法;将上述方法运用于坐标转换软件测试中,结果表明所提出的方法是一种可行且高效的数据处理软件测试方法。
    基于反射机制的多Agent数据交互模型研究
    徐恭旭 肖刚 陆佳炜 张元鸣
    2009, 29(10):  2830-2832. 
    摘要 ( )   PDF (736KB) ( )  
    相关文章 | 计量指标
    在研究Agent理论的基础上,提出软件系统的智能性、灵活性主要表现在软件系统能够感知环境与需求的变化,根据变化来对自身业务流程做出相应的调整。重点在于结合反射技术,通过动态配置器的参与作为决策依据进行研究,建立基于反射机制的多Agent数据交互配置模型,在现有的多Agent合作和协调机制下,该模型为开放、异构、动态环境下多Agent数据交互提供灵活、自适应的解决方案,并将该模型应用于实际系统的设计中。
    基于Petri网B/S体系架构的在线评测系统建模与验证
    陈晓亮 宋文 陈东
    2009, 29(10):  2833-2837. 
    摘要 ( )   PDF (883KB) ( )  
    相关文章 | 计量指标
    在线评测系统可以看作网络环境下,实现动态事务处理的一个有代表性的系统。针对传统的软件设计建模方案很难兼顾系统静态结构的描述和动态行为的分析,采用P/T网构建了一类B/S架构的在线评测系统层次模型。根据系统功能,提出了保证系统功能正确性应具有的重要性质,继而用S_不变量对其进行了分析、验证。
    嵌入式CORBA/e的设计与实现
    彭雷 雷航 郭文生
    2009, 29(10):  2838-2840. 
    摘要 ( )   PDF (655KB) ( )  
    相关文章 | 计量指标
    对于对象管理组织(OMG)发布的CORBA/e规范,一般通过改变现有CORBA实现的接口或进行裁减等方法来得到与之对应的实现,但对特定领域的嵌入式应用,此类实现存在体积比较庞大、ORB等关键部分未针对该规范进行优化等问题。在遵照此标准的基础上,分析了CORBA/e特有的实现需求,结合相应领域的设计模式和方法,对现有的实现进行了改进,得到了满足CORBA/e规范的网络中间件,并在嵌入式应用中获得成功。
    基于Groebner基的模型检测技术及其工具实现
    廖紫骅 谭红艳 吴尽昭
    2009, 29(10):  2841-2843. 
    摘要 ( )   PDF (705KB) ( )  
    相关文章 | 计量指标
    为了减少运算复杂度和运算时间,优化检测的性能,使得计算过程更加快速高效,在符号化模型检测的过程中,利用Groebner基进行多项式约化,设计出新的模型检测算法。并且基于该算法开发出新的符号模型检测工具。该工具能更快速地验证各软件及硬件系统的性质,具有较高的实用价值。
    典型应用
    基于QoS的语义Web服务发现研究
    邹金安
    2009, 29(10):  2844-2846. 
    摘要 ( )   PDF (628KB) ( )  
    相关文章 | 计量指标
    将QoS引入到语义Web服务中,分析了QoS本体的描述方法、Web服务的发现方法和语义Web服务发现方法,建立了一个通用的QoS模型,模型中的参数属性基本能描述QoS的衡量标准。提出了基于QoS语义Web服务发现框架,第一步通过功能来发现Web服务,第二步通过建立的QoS模型来评价发现的Web服务集合,找到QoS最佳的Web服务。最后通过实例建立了语义功能本体和QoS本体。
    基于网格化监控的套牌车检测系统
    卢晓春 周欣 蒋欣荣 潘薇 王峰
    2009, 29(10):  2847-2848. 
    摘要 ( )   PDF (578KB) ( )  
    相关文章 | 计量指标
    针对目前套牌车泛滥的现状,提出了一种基于网格化监控的套牌车检测系统。该系统使用车牌识别技术,采集经过监测点车辆的信息,如车牌、出现时间。按照一辆车不可能“同时”出现在两个地点的原理,自动完成套牌检测。在车牌识别技术可靠的基础上,该系统的套牌检测率不低于99%。
    基于前验负载差异的负载平衡性能模型
    张理论 吴建平 宋君强
    2009, 29(10):  2849-2851. 
    摘要 ( )   PDF (588KB) ( )  
    相关文章 | 计量指标
    基于有限差分离散的并行应用非常普遍,针对此类问题的负载平衡性能评估,引入了一个刻画应用问题负载平衡能力的关键参数:最大负载变化率,推导了一个以并行效率为目标函数的负载平衡性能模型,涉及问题规模、并行通信计算比、离散格式复杂度和并行规模等。以POP全球海洋模式并行程序为测试实例,验证了该模型的性能。结果显示最大负载变化率作为衡量负载平衡程度的指标是有效的,基于模型的预测性能与实测性能在总体趋势上基本吻合。该性能模型对基于有限元、有限体积等其他局部离散格式的大型并行计算应用的负载平衡能力评估也具有参考价值。
    基于混合跟踪的增强现实系统设计与实现
    李薪宇 陈东义
    2009, 29(10):  2852-2854. 
    摘要 ( )   PDF (1114KB) ( )  
    相关文章 | 计量指标
    为了提高增强现实系统在可变环境中的跟踪性能,设计了一种基于混合跟踪的增强现实系统,可根据使用者所处状态与环境动态地加载不同传感器的数据流,调用相应的跟踪算法,进行数据融合,得到准确的空间位置信息,并对系统硬件资源实现动态管理,具备一定的可扩展性和可移植性。最后给出了应用实例及分析。
    基于P-Agent的虚拟维修样机交互特性建模方法
    王晓光 苏群星 谷宏强
    2009, 29(10):  2855-2858. 
    摘要 ( )   PDF (829KB) ( )  
    相关文章 | 计量指标
    为了有效提高虚拟维修仿真中的虚拟维修样机部件的实时和自然的交互方式,根据虚拟维修仿真需求和交互支持,提出了基于P-Agent的虚拟维修样机交互特性建模方法。给出了P-Agent的定义与交互模型的定义,围绕虚拟维修中交互的实时性和自然性两大要素展开研究,对通信过程中的交互方式进行了设计,针对通信原语无法支持自然交互存在的不足,对通信原语进行了扩充,使其能够支持P-Agent之间更高层次、更复杂、更多交互协作的交互。仿真过程表明,应用改进的建模方法可以实现良好自然的交互,能够满足实时的虚拟维修仿真交互,具有通用性。
    分水岭变换在岩屑图像分割中的应用
    沈清波 吴炜 杨晓敏 何小海
    2009, 29(10):  2859-2861. 
    摘要 ( )   PDF (709KB) ( )  
    相关文章 | 计量指标
    分水岭变换是一种基于区域和数学形态学的图像分割方法,被广泛用于灰度图像的分割之中。但传统分水岭变换过分割问题严重,图像的噪声和虚假纹理会淹没真正想得到的边缘信息。针对岩屑图像的特征,提出了一种改进的分水岭算法分割方案。先在预处理期用形态学开闭重建运算对原始图像平滑处理,在相对保留边缘不受影响的同时,降低噪声的影响。再通过非线性的阈值变换分离出目标和背景,然后在提取出目标的情况下合并过小区域,得到目标的边缘。而由于阈值变换后,区域数量已经明显减少,可以降低区域合并的运算量,提高合并速度。在求取形态学梯度时,选用了一种新的形态梯度形式,消除了形态学处理对分割结果造成的轮廓偏移现象。从实验结果看来,该算法取得了较好的分割效果。
    基于小生境遗传算法的物流配送路径优化研究
    王辉 任传祥 尹唱唱 郝新刚
    2009, 29(10):  2862-2864. 
    摘要 ( )   PDF (771KB) ( )  
    相关文章 | 计量指标
    通过对物流车辆配送过程的分析,建立了带时间窗约束的物流配送路径优化问题的数学模型。针对遗传算法具有早熟的缺点,将小生境技术引入遗传算法,构建小生境遗传算法。最后,将小生境遗传算法应用于所建立的物流配送路径优化模型的求解,实验结果表明小生境遗传算法在一定程度上可以避免标准遗传算法早熟现象的发生,提高了其求解物流配送路径优化问题的效率。
    基于SVG的专用公式编辑工具的设计与实现
    唐勇 吴尽昭 陈剑锋
    2009, 29(10):  2865-2868. 
    摘要 ( )   PDF (806KB) ( )  
    相关文章 | 计量指标
    提出了一种基于SVG技术的专业领域公式编辑工具解决方案。使用自定义的公式输入规则、Java图形编程技术和Batik软件包设计并实现了一个应用于交互式马尔可夫链(IMC)的并发系统性能评价系统的公式编辑器。该方案设计完善、操作简单、编辑方便、公式显示效果出色、通用性强,能方便地进行转化以适应于多种专业领域。
    基于EVC的嵌入式导航电子地图设计
    龚敏 方康玲 万鸣 沈磊
    2009, 29(10):  2869-2870. 
    摘要 ( )   PDF (626KB) ( )  
    相关文章 | 计量指标
    针对嵌入式系统的特点,设计并开发了一种基于Windows CE操作系统平台的嵌入式电子地图系统。利用Visual C++ 6.0实现地图数据的解析与转换;设计了一种适合于嵌入式设备运行的地图数据结构;以EVC 4.0为平台,采用双缓冲技术实现电子地图的绘制。实验结果表明该电子地图系统简单易行,所占资源小,运行良好,可用在移动设备、导航等领域,具有较好的实用价值。
    基于Petri网的采购业务流程建模及仿真优化
    叶玉全 卜英勇 罗柏文 黄剑飞
    2009, 29(10):  2871-2874. 
    摘要 ( )   PDF (856KB) ( )  
    相关文章 | 计量指标
    以国内某大型制造企业的采购业务流程为研究对象,用Petri网技术构建了现有环境下和优化后的采购流程模型,分别对这两种情况下的业务流程模型进行了时间定量分析,并利用ExSpect仿真软件模拟分析了原有采购流程及优化后流程的优劣。结果表明,通过应用信息技术和合理地选择供应商选择模式,提高了业务信息传递和处理的效率,缩短了采购周期。
    中文基础情感词词典构建方法研究
    柳位平 朱艳辉 栗春亮 向华政 文志强
    2009, 29(10):  2875-2877. 
    摘要 ( )   PDF (560KB) ( )  
    相关文章 | 计量指标
    词语的情感倾向判别是文章语义情感倾向研究的基础工作。利用中文情感词建立一个基础情感词典,为专一领域情感词识别提供一个核心子集,能够有效地在语料库中识别及扩展情感词集,并提高分类效果。在中文词语相似度计算方法的基础上,提出了一种中文情感词语的情感权值的计算方法,并以HOWNET情感词语集为基准,构建了中文基础情感词典。利用该词典结合TF-IDF特征权值计算方法,对中文文本情感倾向进行判别,实验结果表明,该方法取得了不错的分类效果。
    一种新的组件式ATE通用测试适配器模型
    张翼飞 孙继银 杜德鑫
    2009, 29(10):  2878-2880. 
    摘要 ( )   PDF (689KB) ( )  
    相关文章 | 计量指标
    根据目前ATE测试中需要进行电气适配的信号种类和传输流向,提出一种基于I2C总线协议的通用测试适配器模型,该模型主要包括用于信号调理、通道选择的硬件组件,用于测试适配控制的MCU以及测试适配器软件管理接口。在应对多种电气测试适配要求时,可灵活选择挂接到I2C总线上的硬件组件,实现通道自动选择和信号的适配调理,具有动态配置能力高,组件复用性强的特点,适应于现有自动化测试任务的需要。
2024年 44卷 3期
刊出日期: 2024-03-10
文章目录
过刊浏览
荣誉主编:张景中
主  编:徐宗本
副主编
:申恒涛 夏朝晖

国内邮发代号:62-110
国外发行代号:M4616
地址:四川成都双流区四川天府新区
   兴隆街道科智路1369号
   中科信息(科学城园区) B213
   (计算机应用编辑部)
电话:028-85224283-803
   028-85222239-803
网址:www.joca.cn
E-mail: bjb@joca.cn
期刊微信公众号
CCF扫码入会