过刊目录

  • 2011年, 32卷, 第4期
    刊出日期:2011-04-20
      

    论文
  • 全选
    |
    论文
  • 论文
    韩喆,陈世鸿
    2011, 32(4): 577-583.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    将切片技术引入扩展有限状态机模型,可根据兴趣点约减状态及变迁数,对模型的分析与测试有重要意义.由于EFSM模型基于变迁的依赖关系,传统的依赖图构造算法及基于标记已访问节点的切片算法并不适用.通过研究EFSM模型依赖关系的可传递性,提出EFSM模型的两级结构依赖图EPDG(EFSM Program Dependence Graph),使用变迁及其子节点分别表示控制依赖及数据依赖,将EFSM模型的切片转化为图形可达性问题,并给出EPDG的构造算法及切片算法,运用实例与已有成果做对比实验.
  • 论文
    黄发良1,2 ,肖南峰1
    2011, 32(4): 584-587.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    聚类分析是web社区发现的主要方法之一,近年来基于谱图理论的谱聚类由于其诸多优点而备受关注,在介绍谱聚类基本理论的基础上,着重分析了包括SM、NJW、NystormCut与KASP在内的4种典型谱聚类方法的基本流程与优缺点,在聚类有效性与时间效率上对4种算法进行实验比较,实验结论为web社区发现工程实践提供了借鉴.
  • 论文
    王崇文,赵翼
    2011, 32(4): 588-593.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在实际应用中,经常需要一种基于Socket来解决多进程间通信的方案,但目前仍缺少一种通用的解决方案.本文详细讲述了基于Socket的IPC(进程间通讯)的原理和实现,采用了诸如线程池、消息队列、消息传输通道的方法来提高系统的性能和吞吐量.实践证明这是一个能够跨平台、跨语言、灵巧、可配置、具有真正意义上的非侵入性的小型中间件产品.
  • 论文
    夏家莉, 陈辉
    2011, 32(4): 594-598.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    二重调度算法分析了功能替代实时事务模型的基本特征,提出一种动态记录系统实时环境的数据结构,进而提出快速执行事务内部调度的若干策略,包括最佳替代的选择策略、替代夭折策略及替代重启策略.实验结果证明,当系统能够存在资源冲突时,该算法能够显著提高事务的成功执行率和事务系统的可靠性.
  • 论文
    高丽萍
    2011, 32(4): 599-605.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在复制式架构的二维协同设计系统中,地址空间转换算法可用来实现共享文档的一致性维护.然而,该算法无法直接处理关联操作,而是采用先分解后执行的方式进行,在操作分解执行过程中,远程并发操作的存在可能会导致关联操作所依赖的实体属性发生改变,从而使关联操作丢失被参照实体与参照实体之间的关联关系,导致其语义一致性无法维持.本文通过在地址空间转换策略的内部线性地址空间上添加原操作及本地操作历史序列,修正本地操作广播及远程操作接收过程以维持各分解操作的关联关系,并引入"Retrace-Undo-VT-Redo-Retrace"控制过程,实现对关联操作语义信息的分布式维持.本文最后通过实例分析展示了整个策略的工作过程.
  • 论文
    陈子军,王璐,刘文远
    2011, 32(4): 606-610.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    提出路网中的互近邻查询问题.给定路网G(V,E),对象集P,查询点q,近邻数k1和k2,互近邻查询返回既是q的k1近邻,又是q的反k2近邻的对象集.为解决该问题,首先提出基础算法,即先求出查询点q的k1近邻作为候选,再验证这些候选是否为真正的结果.然后,在此基础上提出了优化算法,根据落在对象点与查询点最短路径边上的标记点个数直接排除掉一些错误的候选对象.最后,通过实验验证了优化算法的有效性.
  • 论文
    黎明1,徐德智2
    2011, 32(4): 611-613.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    推荐系统是电子商务系统中最重要的技术之一.协同过滤技术是当今应用最普遍的个性化推荐算法.针对用户评分数据的极端稀疏性和算法的可扩展性,首先利用云模型计算项目间相似度来预测用户对未评分项目的评分,来增加用户评分数据,再根据项目分类信息将用户-项目评分矩阵转换为用户-类别矩阵,降低了评分矩阵的维度,最后利用云模型计算用户间相似度,得到目标用户的最近邻居.实验结果表明,该方法具有较小的MAE,提高了推荐系统的推荐质量.
  • 论文
    高超1,2,韩锐2,倪宏2
    2011, 32(4): 614-618.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    不同的动态内存分配算法往往应用于不同场景、面向于不同业务,因此衡量指标不一,性能各异.针对多模式、多业务的数字电视终端,本文提出了一种嵌入式Linux平台内存管理方案,深入剖析了共享内存的原理及方法,采用共享内存技术支撑多业务开展,同时实现了一种使用二级索引策略的动态内存分配算法,复杂度为O(1),相比其他经典算法,实时性高而碎片率低,仿真性能良好,并在嵌入式平台上实施,取得了不错的效果.
  • 论文
    王婷,陈性元,张斌,张红旗
    2011, 32(4): 619-625.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    授权与访问控制中的资源管理是负责描述和管理访问策略中的客体及其相关属性和关系的技术,它是实现统一授权管理的基础.然而,在访问控制技术多年的发展历程中,资源管理没有得到广泛深入的研究.通过比较分析现有访问控制模型中的资源管理模式,研究资源的组织方式、属性管理、操作管理等方面对授权和访问控制实施的影响,针对分布式环境下授权与访问控制的新需求,指出了资源管理技术面临的问题,展望了将来的研究方向.
  • 论文
    范礼, 高铁杠, 杨群亭
    2011, 32(4): 626-631.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    为了有效地保护和验证数字媒体作品的版权信息,提出一种区别于传统嵌入式鲁棒水印的数字水印算法.算法中所提取的特征是由区域亮度和纹理特性所组成的综合特征,其中亮度特征的提取利用了扩展盒中脑神经网络(gBSB)的聚类功能,对于区域的纹理特征,则是通过分析其直方图统计矩来提取的.仿真结果表明,该水印方案对于常规的信号处理及几何变换攻击具有良好的鲁棒性,是一种实用的、有效的数字图像版权保护水印算法.
  • 论文
    舒剑1,2
    2011, 32(4): 632-638.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    LaMacchia等提出了扩展的Canetti-Krawczyk(eCK)安全模型,该模型涵盖了认证密钥协商协议的所有安全特性.鉴于目前大多数基于身份的认证密钥协商协议在eCK模型中是不安全的,利用椭圆曲线加法群构造了一个eCK模型中安全的基于身份认证密钥协商协议.和其它的协议相比,新协议的计算复杂度和通信复杂度较低.新协议提供强安全性,它的安全性证明依赖于随机预言假设和GBDH假设.
  • 论文
    伍琦,谭作文,万常选
    2011, 32(4): 639-643.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    混沌系统有很多独特的性质,常在密码学中用作伪随机数发生器.在帐篷映射的基础上,提出一种新型耦合方式-自变量调和耦合,构造了一个混沌系统,并对该系统的混沌特性进行了分析.随后,基于这个混沌系统设计了伪随机数发生器.频数测试、序偶测试、扑克测试、游程测试、自相关测试等五个测试表明,该伪随机数发生器产生的序列有良好的伪随机性.最后,简要分析了所产生序列的线性复杂度和发生器的密钥空间大小,并设计了一个简易的流密码加解密系统.
  • 论文
    陈够喜1,2,陈俊杰1
    2011, 32(4): 644-646.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    分析单载体信息隐藏技术的的特点和局限性,针对单载体信息隐藏的不足,提出一种多载体信息隐藏的理论模型.给出了其工作原理和实现过程,得到了载体的最大有效载荷与载体容量的关系.从信息论的角度对单载体信息隐藏和多载体信息隐藏的安全性进行了分析,并给出了形式化的证明,最后给出了完备多载体信息隐藏系统安全性的约束条件.
  • 论文
    陈昊,李之棠,王斌斌,李冬
    2011, 32(4): 647-650.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    传统僵尸程序依赖于集中控制,P2P僵尸的传播和控制方式都是分布式的,使其更具隐蔽性和健壮性.本文通过分析P2P僵尸的特征,对其控制行为进行了较为深入的研究.首先,阐述了控制流相似性的概念并对其做出合理量化;其次,利用皮尔逊序列假设检验法来识别P2P僵尸控制行为;最后,通过自动分类技术来进行二次判定,以完成自动检测.实验和数据分析表明该方法能够有效的识别校园网内P2P僵尸的控制行为,与相关的方法相比,误报显著降低.
  • 论文
    张美超1,曾凡平1,2,黄奕1
    2011, 32(4): 651-655.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    鉴于主流fuzzing(模糊)测试技术生成的测试用例随机性和针对性无法兼顾的问题,提出一种基于漏洞库的fuzzing测试技术.根据漏洞产生的原因和重现的方法对漏洞库进行整理分类,构造出测试用例集用于fuzzing测试.这样生成的测试用例集直接与漏洞相关,具有更强的针对性;同时扩展的测试用例集可以用于检测未知的同类漏洞,覆盖面更广,因此保证了一定的随机性.以ftp服务器测试为例,选取了Windows平台下的4款ftp服务器进行测试,共发现了3款软件的6个新漏洞,提交SecurityFocus并通过,其中5个漏洞得到了国际权威漏洞数据库CVE的认可.
  • 论文
    张明西1,2,韦俊银1,张相峰3,王以刚1,刘晖1,2
    2011, 32(4): 656-661.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    Biba模型的严格完整性策略能够保证数据的完整性,但是其静态实施可能降低系统的兼容性.在Biba模型严格完整性策略基础上提出了主体完整性标记动态确定方案.将主体完整性等级扩展为独立的读写区间,根据主体读写历史调整主体可读写的区间,在保护系统完整性的同时提高了系统的兼容性.给出了形式化证明,说明该方案是安全的.指出了现行改进方案中存在的安全隐患及导致该隐患的原因,通过对比分析说明动态确定方案能够消除该安全隐患.
  • 论文
    高靖哲1,赵新杰1,矫文成1,王素贞2
    2011, 32(4): 662-667.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    研究了AES分组密码对差分故障攻击的安全性,攻击采用面向字节的随机故障模型,结合差分分析技术,通过在AES第8轮列混淆操作前导入随机单字节故障,一次故障导入可将AES密钥搜索空间由2128降低到232.3,在93.6%的概率下,两次故障导入无需暴力破解可直接恢复128位AES密钥.数学分析和实验结果表明:分组密码差分S盒取值的不完全覆盖性为差分故障分析提供了可能性,而AES密码列混淆操作良好的扩散特性极大的提高了密钥恢复效率,另外,本文提出的故障分析模型可适用于其它使用S盒的分组密码算法.
  • 论文
    孙阳,朱宏峰,刘天华
    2011, 32(4): 668-671.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    鲁棒哈希算法是指通过匹配两个短的哈希向量,并以此度量两个图像之间的相似度的一种验证算法.与传统的水印方法相比较,鲁棒哈希不需要在图像中嵌入信息,也就不需要修改源图像,因此,鲁棒哈希能够提供更高的鲁棒性.由于鲁棒哈希具有效率高、实用性广的特点,正逐步成为未来图像认证与身份鉴别的主要技术.本文提出一种新的鲁棒图像哈希算法,该算法在有效的抵抗旋转攻击的同时,在效率和容错性方面与近期文献相比,也具有很大的优势.
  • 论文
    陈财森,王韬,田军舰
    2011, 32(4): 672-675.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    原有针对一般RSA算法的计时攻击方式不是只在理论上进行研究,就是在某种特定的条件下进行实验,其主要研究对象是智能卡,具有可行性不高、攻击范围狭窄等缺点.在深入研究分析RSA实现算法基础上,结合差分统计分析方法,引入方差分析假设检验,提出一种可行的计时攻击算法,并针对RSA算法的软件应用进行攻击验证,结果表明提出的攻击方案不仅比传统攻击方式具有更高的可行性,而且能够适用于不同密钥长度的攻击.
  • 论文
    李华1,2,叶新铭1,吴承勇1,2,王佳1,吕东旭1
    2011, 32(4): 676-679.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    BitTorrent(BT)是基于Peer-to-Peer (P2P)技术的比较流行文件共享软件,BT protocol是其相关软件实现的一个基本协议.本文对BT协议进行深入的分析,采用有限状态机(FSM,Finite State Machine)对BT协议进行形式化建模,描述了正常的共享流程及部分异常处理.然后使用UIO方法生成了BT协议基于FSM模型的一致性测试序列,包括各个状态的UIO序列及各个变迁的测试序列,最后是本文的结论及下一步将要做的研究工作.
  • 论文
    王变琴1,2,余顺争1
    2011, 32(4): 680-685.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    网络流量整形、调度、异常检测、管理与控制及保障QoS需求等都需要了解业务流的局部变化特性.本文给出离散小波及其模极大值的网络流量奇异谱估计算法及影响因素,并通过真实的网络业务数据对算法进行了评估和比较.实验结果表明,两种方法的奇异谱估计能有效刻画网络业务流的局部变化特征,并且能通过奇异谱特征参数之间的差别描述不同业务流之间的差异性,也表明了在一定条件下,离散小波模极大法更加优越.
  • 论文
    刘晋霞1,2,4,曾建潮2 , 薛耀文3
    2011, 32(4): 686-690.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    社团结构是反映复杂网络整体性质的重要特征,本文从强社团结构定义出发提出简单启发式强社团结构探测算法,受启发因素为度-度负相关性和簇-度负相关性.利用该算法对空手道俱乐部成员关系网络和美国大学橄榄球队网络进行社团结构探测,验证了该算法能正确探测出网络的强社团结构.并将划分结果与传统划分进行比较分析,该算法未引入其它量化指标或中间变量,降低了计算复杂度,在采用方法上不同于单纯的分裂或聚合,有效地提高了探测速度,更适合大规模复杂网络社团结构探测.
  • 论文
    王嵩,凌青,吴刚,郑烇
    2011, 32(4): 691-695.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    大规模对等网络点播服务中主要的挑战之一为服务性能及可靠性保障.提出一种基于多级P2P架构的VOD(视频点播)系统,克服了传统的集中式P2P结构和纯P2P结构的缺点,综合了二者的优点.文中给出系统中主要的分布式节点的设计与实现方法,在后续的实验床上的验证结果表明,各主要分布式节点实现了预期的功能,多级P2P架构具有一定的先进性,较大地增强了系统的服务性能及稳定性和可靠性,有效地拓展了系统的带宽.
  • 论文
    李自迪1,蒋林2 ,李翠锦1
    2011, 32(4): 696-700.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    为了平衡通信协议的自适应性和性能,提出一种避免拥塞的片上网络通信协议.该通信协议采用区分服务和自适应路由算法,区分服务提供不同等级数据流的质量保证型服务,自适应路由算法是一种避免拥塞的无死锁路由算法.通过OPNET Modeler建模仿真,结果表明该协议极大地改善了网络的平均链路利用率和端到端延迟.
  • 论文
    贾磊,张新有
    2011, 32(4): 701-707.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    为了提高P2P网络的数据性能和提高节点的缓存利用率,提出一种实施在应用层的缓存协作协议R/WGCC,它由分组协议和缓存协作管理协议两部分组成.根据P2P网络中节点不稳定的特点,分组协议分析了节点的四种不同的状态,把一个节点的邻居结点分为只读组和读写组,并提出一种区分节点状态的分组算法.缓存管理协议利用缓存替换算法中产生的信息并根据节点所在的分组,管理组内的缓存资源.R/WGCC平衡了各节点的缓存利用率,提高了缓存的命中率,有效的提高缓存的效率.
  • 论文
    刘鑫,钱松荣
    2011, 32(4): 708-712.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    为了快速得到用户关心的信息,根据用户浏览内容和浏览行为建立兴趣模型,并在用户访问时根据兴趣模型自动向其进行文章推荐的方式得到了越来越多的运用.本文在前人研究的基础上,对于兴趣模型的构建进行了系统阐述,提出一种基于时间元的合理量化兴趣度值的方法,同时据此扩展了VSM(Vector Space Model)文本表示模型,并引入了主题兴趣度的概念.实验结果显示通过该方法构建的兴趣模型能够较好的区分和把握用户的不同兴趣,准确率较高.
  • 论文
    白松1,2,雷为民3,林镜华1,2,李凌南1,2
    2011, 32(4): 713-716.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    基于IMS的IPTV是三网融合的重要业务体现,其中频道切换延迟是影响用户体验质量(Quality of Experience)的关键衡量指标.分析频道切换延迟原因,提出一种双通道频道快速切换的方法来减少频道切换延迟,提高了用户体验质量.最后在ETSI TISPAN提出的基于IMS的IPTV架构上构建的原型上通过封装H.264视频编码的MPEG-2 TS格式的高清片源验证了方法的可行性.
  • 论文
    杨望仙,李仁发,吴强,刘彦,陈宇
    2011, 32(4): 717-720.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    软硬件通信模式的选择对软硬件通信效率产生很大影响.根据硬件函数的特点,提出一种根据软硬件通信量自适应地选择通信模式的软硬件双通信模式,并构建了一种通信模式自适应决策算法,软硬件通信模式的选择对用户透明.实验表明,根据运行时系统状态自适应地选择通信模式,软硬件通信效率得到优化,面积开销也适当减少.
  • 论文
    耿生玲1,2,李永明1,冯峰3
    2011, 32(4): 721-725.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    粗集和软集在解决不确定的问题的决策分析过程中, 属性约简是关键和棘手的问题. 与粗集理论相比较, 利用软集方法能够有效地简化决策过程. 决策信息系统用软集形式表示, 用软集处理粗集理论中的等价关系, 进行有效的属性约简, 给出一个属性真度的概念作为反映条件属性重要性的函数, 在此基础上给出一种适合软集属性约简的启发式算法, 通过分析和实例证明该软集属性约简方法, 简化约简过程, 降低运算的复杂度.
  • 论文
    张继军,范昊
    2011, 32(4): 726-731.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    已知一个语言的表达式,直接构造产生该语言的Petri网模型是Petri网语言理论中一个重要问题.本文分析、研究同步交错正规表达式中各种运算与Petri网模型的对应转换关系,分别给出正规表达式、α闭包表达式到Petri网模型的转换方法;定义了Petri网的有界覆盖合成运算,研究有界覆盖合成网的语言性质,给出将同步交错正规表达式转换为Petri网模型的算法,从而实现了语言表达式到Petri网模型的等价转化.
  • 论文
    吴志勇1,陈韬1,王红川1,孙乐昌1,张旻2,李秩3
    2011, 32(4): 732-737.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对集合覆盖问题,提出一个高效的可解决大规模数据的二阶段遗传算法.二阶段遗传算法可以分为数据约简阶段和启发式求解阶段,论文形式化地描述了数据约简阶段的相关定义、定理和算法,证明了该约简方法的有效性;并给出了启发式求解阶段中针对集合覆盖问题的遗传算法中选择、交叉、变异算子的设计方法.对Beasley提出的45个测试用例的测试结果验证了二阶段遗传算法的求解效率和求解质量高于其它遗传算法.
  • 论文
    刘怀广,陈幼平,谢经明,彭向前
    2011, 32(4): 738-742.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    表面缺陷是影响浮法玻璃质量的主要因素,针对目前国内在浮法玻璃缺陷识别正确率不高的现状,本文结合玻璃缺陷低灰度的特点,利用两次一维OTSU缺陷分割方法,实现了缺陷核心的有效分割.然后根据不同缺陷核心灰度分部的特点,提出12种具有统计性的特征,利用改进的神经网络的非线性映射能力实现了缺陷的正确识别.最后的实验结果证明,算法具有较好的效果.
  • 论文
    宁爱兵1,熊小华1,2,马良1
    2011, 32(4): 743-746.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在最小生成树数学性质的基础上,给出最小生成树灵敏度分析算法.该算法在图的各种属性发生变化(如边的权值变化、增加或删除边或结点)的情况下,在原有最小生成树的基础上快速调整,而不是从头计算来得到新的最优解.算法还给出了每边权值在何范围内变化时,最优解不变.最后通过一个示例来说明算法的原理及应用.
  • 论文
    于汉超1,2,刘弘1,2
    2011, 32(4): 747-751.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    为了自动生成创意新颖的3D动漫造型,提出一种基于C/S模式的交互式遗传算法HAIGA.在HAIGA中引入HSF协同技术和ACIS规则,利用三棵二叉树表示ACIS规则表达式,分别用于在x轴、y轴和z轴三个方向上对3D实体进行非均匀缩放;通过对二叉树实施选择、交叉、变异和精英保留操作进化产生新的规则表达式,从而进化生成新的3D动漫造型.实验结果表明,本文提出的方法能够有效支持协同设计,并进化生成一系列创意新颖的3D动漫造型.
  • 论文
    张霞1,2,储尚军1,许鸣珠2,3
    2011, 32(4): 752-756.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在现实世界中,不完备信息系统大量存在的,信息系统中空值的存在大大增加了信息表的不确定性,信息表无法产生更多潜在的有价值规则.处理不完备信息表的一种做法是先将空值补齐再提取规则,常用的空值补齐算法通常都是根据同属性其他值出现的频率高低估计空值,但是此方法不一定能保证规则的一致性.本文提出一种基于信息粒度的空值补齐方法GRCC,首先根据定义的信息粒度选择信息粒度最大的列,然后由相容类产生空值的属性值范围,最后利用MDL准则确定遗漏项的属性值,如此逐列进行填充直到完成全部信息表的补齐.经过实验,GRCC算法补齐的信息表比其它补齐方法产生的信息表产生更多高可信度和高支持度的规则,降低了信息表的不确定性.
  • 论文
    夏建明1,2,杨俊安1,2 ,张琼1,2
    2011, 32(4): 757-762.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    基于PIC参数提出了TPIC参数,并提出用TPIC参数对证据理论融合系统性能进行评估的方法.融合的目的是为了得到对目标更准确、确定的认识,用TPIC参数给出了多证据融合系统融合输出对正确目标确定度的度量方法,通过度量融合后对正确目标的确定度来实现融合性能的定量评估,解决了以往熵方法评估仅以不确定性作为标准而不考虑融合结果正确性的问题,并由仿真实验验证了方法的有效性.
  • 论文
    林浒2,卜霄菲1,2,郑飂默1,2,彭勇1,2
    2011, 32(4): 763-766.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    针对五轴机床对带倾斜面类零件加工时编程难度大且精度较低的问题,采用3(1/2)(1/2)轴加工方法,通过定义可以简化加工编程的空间特性坐标系建立了任意结构五轴机床3(1/2)(1/2)轴加工的运动学模型.利用齐次变换矩阵和正向、逆向运动学相结合的方法详细论述了基于特性坐标系的适合三种典型五轴机床的3(1/2)(1/2)轴加工算法.此算法把3(1/2)(1/2)轴加工的空间编程问题转化为倾斜面平面编程问题,不仅简化编程而且可提高机床加工能力和生产效率.通过仿真实验验证了该算法的可靠性和高效性.
  • 论文
    高彦宇,王新平,尹怡欣
    2011, 32(4): 767-771.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    图像情感标识就是为图像标注情感类关键词以反映用户对该图像的情感或印象.以自然风景图像为对象,提出一种由视觉特征提取、视觉-情感关系构建、情感标识推导三部分组成的图像情感标识方案.首先从情感认知角度提取自然风景图像的颜色、纹理等视觉特征,然后采用多维尺度技术挖掘图像视觉特征和人类主观感知之间的深层联系,最后采用贝叶斯决策模型根据图像视觉特征推导出其情感描述.对部分风景图像进行自动标识的结果表明贝叶斯决策模型在处理情感标识这类不确定性推理问题上是很有效的.
  • 论文
    胡青1,2,龙冬阳1,卢伟1
    2011, 32(4): 772-776.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    为了实施图像的版权保护,提出一种利用小波系数幅值关系的水印算法.原始图像通过小波分解得到小波系数,中频子带中多个不重叠的小波系数伪随机地被分为一组.利用每组数据中两个重要系数幅值的相对关系特征和水印信息生成密钥.保存密钥,并在密钥的控制下提取水印.实验结果表明本文提出的算法不仅能有效抵抗JPEG压缩,低通滤波、高斯噪声和几何攻击,而且水印图像的PSNR可以保持在50dB以上.
  • 论文
    潘浩,程义民,陈志翔,谢春辉
    2011, 32(4): 777-781.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    给出一种基于全局运动仿射模型的视频目标移除方法.用仿射模型描述非移除区域的全局运动,通过提取相邻帧的匹配对进行模型参数估计;对于每一帧中待修补的移除区域,根据仿射模型之间的递推关系和运动一致性准则,从其它帧中寻找该区域的信息并进行修补.实验表明,方法能够较好的对运动前景、台标等目标进行移除.
  • 论文
    杨钊,杜俊,胡郁,刘庆峰,戴礼荣
    2011, 32(4): 782-786.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在语音识别实际应用中,由于噪声的多样性,会造成训练和测试的失配,导致系统性能下降.特征补偿作为鲁棒性语音识别的一种重要方法,通过对训练和测试环境之间差异的研究,在特征空间中修正语音特征,使得修正后的测试语音特征能够更加接近训练语音特征.本文介绍一种实用的基于环境模型矢量泰勒级数(VTS)近似的特征补偿算法.首先验证传统的VTS离线算法在实际车载环境下的有效性;其次由于离线算法本身运算量很大,为了使其实用化,本文对算法进行改进,使其在提高效率的同时又能够保证与离线时相当的性能.通过实验结果验证,本文提出的实用化VTS算法在识别性能上相当接近离线时最好的性能.
  • 论文
    宋丽华,王晶晶,李也白
    2011, 32(4): 787-792.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    在嵌入式平台下,高像素摄像头驱动的开发受到嵌入式处理器速度有限和系统资源有限的限制.为了更好地解决这一问题,本文基于PXA270嵌入式平台,使用Quick Capture接口技术,采用DMA描述符链的数据传送方式和双RAM池策略,并采用内存共享设计思想,降低了数据行走路径,在提高了数据传送速率的同时充分利用嵌入式系统的有限内存资源,降低了内存占用率,保证了获取高分辨率图像的要求.最终在YL-E270开发板上实现了分辨率为400万的CMOS摄像头驱动,通过实际测试,结果表明本文设计的高像素摄像头驱动程序具有良好的稳定性和性能,与低像素摄像头采集的文字图像相比,文字识别的正确率可提高17.5%,采用内存共享机制可减少21.5%内存占用率.
  • 论文
    张新安,宫彦军,李小武
    2011, 32(4): 793-796.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    根据AVS-M编码过程中运动估计的特点,在整数像素运动矢量搜索过程中,提出一种基于起点预测和早停止的自适应运动估计快速搜索算法.与MVFAST算法相比,大大减少了搜索点数,加速了搜索过程,平均速度提高了39.9%~45.7%,减少了整数像素运动估计的计算量,在保持较低的编码码率和较好的图像质量的同时,提高了编码速度.
  • 论文
    郭志勇,李广军,刘洋
    2011, 32(4): 797-800.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    流水线可重构系统设计方法是目前动态可重构系统设计的一种重要设计方法.为进一步提高流水线可重构系统的性能,讨论并提出了一种简洁高效的流水线路由进化策略:包括基于二维阵列结构的流水线路径时延大小的评估函数、可重构单元阵列使用情况的状态矩阵函数和结合评估函数和状态矩阵的最短时延路径搜索算法.通过对算法的仿真,验证了其正确性和有效性,为下一步研究流水线可重构结构路由的硬件进化方法奠定了理论基础.