首　页 ‖ 期刊介绍 ‖ 杂 志 社 ‖ 编 委 会 ‖ 投稿指南 ‖ 期刊订阅 ‖ 广告合作 ‖ 联系我们 ‖ 给编辑部留言 English
   在 线 办 公
   在 线 期 刊
 
会 员 服 务
账 户：
密 码：
 
 
 

          
   

本刊信息

· 获奖论文的奖励办法(2008年10月13日)(新)
· 本刊邮箱更改通知 (2008年09月24日)
· ADMA 2008年会议征文通知(2008年3月25日)
　　　　　　　　　　　　　　　　　　MORE 　  

 
 
文章快速检索 高级检索
     
  2009年 35卷 1期
  刊出日期 2009-1-5  
 
 
  博士论文
  软件技术与数据库
  网络与通信
  安全技术
  人工智能及识别技术
  图形图像处理
  工程应用技术与实现
  开发研究与设计技术
 
 
 
 
博士论文
  
 
1 徐 浩 阎保平
  基于Skip Graph的P2P覆盖网信任证链发现
    提出一种基于Skip图 P2P覆盖网模型的分布式信任证存储和发现机制。为保证索引和发现效率，采用 语言作为信任证描述语言，其语义属性作为Skip图中的索引关键字，构造了基于关键字前缀相似和支持范围查询的P2P覆盖网。通过试验评测和分析，该机制具有较高的查询效率和负载均衡机制。
    计算机工程  2009 35 (1): 1-3 [摘要]
4 郝黎明 陆松年 杨树堂 唐俊华
  DM-Chord:基于Chord的路由改进算法
    挖掘出Chord路由协议中每一跳路由距离之间所具有的特性，在不改变节点Finger表的基础上，提出一种基于Chord的路由改进算法，DM-Chord。仿真结果表明，与Chord路由协议相比，DM-Chord能够保持与Chord接近的平均跳数，在路由源节点和路由目的节点确定且Chord处于稳定状态的情况下，该算法能够使节点转发消息所引起的负载分布更为均匀，并提高消息路由的成功率。
    计算机工程  2009 35 (1): 4-6 [摘要]
7 舒兆港 李 迪 胡跃明 肖苏华
  基于领域建模的数控系统代码生成技术
    为提高数控软件系统开发效率，提出基于领域建模的代码自动生成开发方法。该方法在数控领域元模型的基础上建立了数控系统的建模环境，以模型数据到源代码的映射规则库为基础，开发了面向目标环境的模型解释器。根据数控产品不同的需求，能够从模型层次对系统功能进行重配置，并通过模型解释器自动生成源代码或相关配置文件。以二轴和三轴运动控制系统为开发对象进行验证，结果证明该方法能有效缩短数控系统开发周期，提高开发效率。
    计算机工程  2009 35 (1): 7-9 [摘要]
10 赵启阳 尹宝林
  分形水印检测边界的抗Oracle攻击安全性
    对于扩频水印机制，水印检测边界的分形化是对抗Oracle攻击的一种主要方法。该文研究Oracle攻击的攻击距离对水印信号估计的影响，发现具有高检测值的攻击发起点能够有效地增强水印估计的准确性。分析和实验表明，直接从目标信号处发起的Oracle攻击能够有效地削弱检测边界分形化的影响，并且成功地去除含水印作品中的水印信号。
    计算机工程  2009 35 (1): 10-12,29 [摘要]
13 李晓潮 焦李成 洪新华 卢 潇
  基于嵌入式SIMD处理器的音频解码优化
    嵌入式处理器越来越多地采用SIMD并行架构来提升其媒体处理能力，该文提出基于该架构的优化流程，采用算法和处理器架构紧密结合的优化原则，利用现有编译器来降低汇编编程工作量，对算法关键部分采用手工编程来确保优化效率。该流程被应用在基于XScale平台的MP3解码优化中，短时间内将解码效率提高60%，接近IPP库的性能。
    计算机工程  2009 35 (1): 13-16,20 [摘要]
17 谢天保 伍池宏
  基于双赢合作机制的敏捷供应链管理系统
    敏捷供应链系统依据动态联盟运行的条件所设计，具有分布、可重构、支持异构等特点。该文在分析敏捷供应链动态性和可重构性的基础上，提出基于双赢合作机制的敏捷供应链管理系统模型，研究了信息不完备(效用计算公式私有)条件下的双赢谈判模型及其实现算法，实验结果证明了该模型的对称性、公平性，谈判结果接近Parreto最优。
    计算机工程  2009 35 (1): 17-20 [摘要]
21 蒋宏潮 尹怡欣 班晓娟
  基于SOA的Struts框架应用
    为简化、规范Web应用系统的开发和部署，提高系统的可移植性、安全性，该文利用Struts框架结构的Web应用系统开发原理及特性，采用面向服务架构的开发模式SOA，将SOA思想引入Struts框架中，形成一种新的开发框架模式。通过信息管理系统的开发实例介绍基于SOA架构的Struts框架的实现过程。基于SOA架构的Struts框架新模式能实现平台间的直接互操作，有效提升Web应用系统的可移植性和安全性。
    计算机工程  2009 35 (1): 21-23,26 [摘要]
24 刘 佳 韩文报
  一种安全的公开可验证门限多秘密共享方案
    基于大整数分解以及离散对数问题的难解性，使用非交互的零知识证明协议，以Shamir共享体制为基础提出一种公开可验证的门限多秘密共享方案。分发者给每个参与者分发子秘密的有效性可以被任何人验证。在恢复秘密的时候，参与者只需要提供子秘密的一个影子来恢复秘密，由于影子难以得到子秘密，因此可以通过一组子秘密共享多个秘密。子秘密的影子的有效性也可以被其他参与者验证。该方案不但安全、高效，而且可以有效地防止分发者欺骗和参与者欺骗。
    计算机工程  2009 35 (1): 24-26 [摘要]
27 孙成立 刘 刚 郭 军
  子词驻留特征在电话语音确认中的应用
    语速和插入删除错误是导致自动电话转接系统发生错误的重要原因。该文给出一种基于子词似然比(LLR)和子词驻留特征融合的语音确认方法减少上述错误。提出基于最小分类错误准则方法求取子词特征融合参数。电话转接系统实验结果表明，采用子词驻留特征能有效提高语音确认效果，与LLR方法相比，名称关键词的等错误率下降3.35%，数字串关键词的等错误率下降4.05%。
    计算机工程  2009 35 (1): 27-29 [摘要]
30 孟晓烜 李一鸣 卜庆忠 纪海涛 许 鲁
  一种面向存储服务的缓存管理模型
    给出一种适用于网络存储设备的面向存储服务的新型缓存管理模型，它支持可配置的缓存管理策略和可配置策略的缓存分配机制。与通用操作系统中的缓存管理模块相比，该模型的主要优点是使能针对具体存储应用的性能优化，使能多个存储应用之间的数据访问 QoS控制。
    计算机工程  2009 35 (1): 30-32 [摘要]
33 刘安安 李锦涛 张勇东 唐 胜 杨兆选 吴佳鹏
  新闻视频结构化浏览与标注系统
    阐述一种新颖的新闻视频结构化浏览和标注系统。应用基于时空切片分析的新闻主播检测方法和基于颜色直方图的镜头分割方法实现新闻视频的结构化。通过自动语音识别技术和特定语义概念模型的建立实现了对主播场景的文本信息标注和对新闻故事镜头的语义概念标注。该系统有利于用户根据个人爱好进行新闻视频的浏览和编辑，有效实现新闻视频的索引和浏览。
    计算机工程  2009 35 (1): 33-35 [摘要]
36 王政 赵明 斯雪明 韩文报
  基于局部签名Hash表的证书撤销列表方案
    在大规模应用环境中，不合理的证书撤销方案会带来巨大的运算量和网络传输负担。该文分析几类主要的证书撤销列表(CRL)机制，提出PSHT-CRL方案，综合分段CRL、重定向CRL和重复颁发CRL方案的特点，采用Hash表、局部签名和链接等方法，在确保安全性的基础上，提高用户查询和证书更新时的效率，以解决其他证书撤销方案中遇到的问题。对PSHT-CRL方案的安全性和效率进行分析，与其他CRL方案作了比较。
    计算机工程  2009 35 (1): 36-39,42 [摘要]
软件技术与数据库
  
 
40 帅 飞 王晋东 王 坤 张恒巍
  智能安全防护软件策略构件的设计与实现
    针对智能安全防护软件中策略的定制和管理问题，设计并实现软件的策略构件，采用基于用户最大满意度的策略选择算法解决策略选择时的策略缺失和策略冗余冲突。采用基于构件关联检索的一致性检测算法解决定制策略中的系统交互一致性冲突。结果证明策略构件能有效解决软件策略的定制和管理中的冲突问题。
    计算机工程  2009 35 (1): 40-42 [摘要]
43 张玉连 李彦威 王 权 原福永
  搜索引擎查询日志的聚类
    随着搜索引擎技术和网络数据挖掘技术的发展，怎样从搜索引擎查询日志中找到有用的信息成为研究热点。该文在讨论Beeferman提出的算法及Chan对其改进的算法的优缺点后，提出一个基于用户网页兴趣度的改进算法。该算法能进一步减小噪声数据的影响，并通过模拟实验对3种不同的算法进行了对比。
    计算机工程  2009 35 (1): 43-45,48 [摘要]
46 张 帆 窦勇 邬贵明
  基于C6000的滑动窗口图像处理算法存储优化
    片外存储器和片内存储器的数据传输是数字信号处理系统性能提升的瓶颈。针对图像处理中的滑动窗口类问题，该文提出一种有效的存储调度优化方法，分为3步：预取数据到快速局部存储器，减少冗余读入及数据传输和处理重叠。在TMS320DM642 DSP上应用了该方法，实验结果表明，与优化前相比加速比为30~70。
    计算机工程  2009 35 (1): 46-48 [摘要]
49 董 慧 方金云 赵红超 程振林
  基于Citrix的异地软件共享系统的设计与实现
    针对国家科技基础条件平台中大型仪器、设备等共享的需求，提出基于思杰(Citrix)的异地软件共享解决方案，其中包括系统原理、设计与实现的描述。经过用户试用，证明该方案可行，有助于提高大型软件的利用率，减少大型软件的购买费用，符合科技基础条件平台资源共享与整合的建设原则。
    计算机工程  2009 35 (1): 49-51,54 [摘要]
52 孙冬璞 郝忠孝
  移动对象历史轨迹的连续最近邻查询算法
    提出一种直接在原始时空坐标系下对一维移动对象的历史轨迹进行连续最近邻查询的算法，给出相关的定义与定理，通过分析轨迹之间的交点及轨迹线段单调性等特征，利用以前所求得的最近邻结果信息进行连续最近邻的查询判断。实验结果与分析表明，该算法具有较好的性能。
    计算机工程  2009 35 (1): 52-54 [摘要]
55 许勇 王智学 李宗勇
  领域本体的一致性检查
    针对领域本体中概念集的一致性检查问题，给出领域本体的形式化定义，阐述领域本体中的公理集，分析概念集的一致性检查方法，将OWL的本体表达方式转化为基于UML的表达方式，对UML进行适当的扩展，提供一种基于图形化的本体一致性检查机制。该方法基于图形化的形式，简洁直观、容易操作，克服了原有检查方法形式化程度高及复杂难操作的缺点。
    计算机工程  2009 35 (1): 55-57,64 [摘要]
58 刘 玲 桑 楠 苏 芮 黄小红
  支持需求追踪的版本控制机制
    版本控制是增强软件可维护性的重要方法，但目前常用的版本控制机制缺乏对需求的可追踪性支持。该文提出一种支持需求追踪的版本控制机制，能够有效追踪功能需求、功能设计、代码间的版本关联关系，确保开发人员可以正确获取所需程度的需求追踪信息，有利于软件产品的一致性维护。基于该机制，设计并实现了一个支持需求追踪的版本控制工具VCFQ，并对该工具实现中的一些关键技术进行了论述。
    计算机工程  2009 35 (1): 58-60,64 [摘要]
61 林伟伟 齐德昱 董 敏
  基于资源融合的FuseGrid研究
    指出现有网格基础理论研究中的不足和网格应用技术存在的问题，提出基于资源融合的树型网格，它支持面向主题的资源共享/融合、高性能计算以及自相似的网格应用构造模式。能利用已有分布式网络环境中大量的网格资源快速地开发出适应用户不断变化需求的新型网格应用。通过介绍网格资源融合的基本思想和基于资源融合的树型网格体系结构，给出树型网格的系统实现结构、关键类和接口的规范。
    计算机工程  2009 35 (1): 61-64 [摘要]
65 罗 霄 侯 红
  基于开源的软件缺陷管理工具的改进策略
    通过分析现有的软件缺陷管理工具的主要特点和局限性，结合企业内部从事软件测试组织的实际需求，针对软件缺陷管理流程的缺点，提出一个基于开源的软件缺陷管理工具的改进方案。给出改进后的软件缺陷的分析及度量方法，并以实际数据为例分析相关人员的工作效率和项目进展情况，为项目管理者的决策提供帮助。
    计算机工程  2009 35 (1): 65-67,70 [摘要]
68 马 敏 刘琳岚 付 铮 陈 轩
  基于分组-分类的工作流活动多实例调度
    引入活动多实例使得工作流的处理更加灵活，但引发了同步调度和数据共享冲突等问题。该文给出工作流活动多实例的灵活定义和分类，提出基于“分组-分类”的工作流活动多实例调度机制，将活动多实例分组启动、在同组中分类同步，以解决工作流执行中活动多实例的同步调度问题。该机制无须扩展标准工作流模型，具备一定的工作流语言表达能力。
    计算机工程  2009 35 (1): 68-70 [摘要]
71 柯贤达 王英林
  面向知识管理系统的本体进化管理框架
    如何建立知识管理系统的研究是目前的一个研究热点，其中系统的可重构(可配置)性以及适应环境变化的进化能力是研究中的难点。通过基于企业本体来建立知识管理系统的方法，可以实现系统的可重构性。但是随时间变化，企业领域知识的结构、内容也在不停变化，因而本体进化、知识进化方法及一致性模型的研究成为必须要解决的问题。该文分析了本体进化及版本管理的一些关键问题，讨论了相应策略和算法，给出一个本体进化管理框架并引入到知识管理系统的开发中，并介绍了实际的应用情况和今后的研究方向。
    计算机工程  2009 35 (1): 71-73 [摘要]
74 赵智超 赵 政
  对等数据管理系统中模式映射的备份机制
    针对对等数据管理系统中节点因自治性而动态离开和返回网络造成模式映射路径频繁断裂的问题，提出一种基于模式映射备份机制的离开节点绕过方法，向下游节点提供以树状结构组织的上游映射信息。当映射路径中有节点离开时，其下游节点的查询以此映射信息和备份的上游映射，绕过离开节点。仿真和分析的结果表明，映射备份机制的引入提高了查询的可达性，从而可以从更多的局部数据库中获得返回结果。
    计算机工程  2009 35 (1): 74-75,78 [摘要]
76 徐德智 陈爱明
  本体复合映射的发现技术
    为了提高本体映射的精度，往往需要考虑1:1, 1:n, n:m等多种不同情况。以往的算法主要考虑1:1映射，忽略了同样重要的复合映射问题，损失了映射的精度。针对该问题，提出一个基于多种关系的复合映射发现算法。实验证明，该算法在对复合映射的发现问题上非常有效，提高了映射结果的精度。
    计算机工程  2009 35 (1): 76-78 [摘要]
79 张 伟 刘 峰
  价格着色Petri网的最小成本可达问题
    针对实际业务流程建模中成本预算分析的需要，在着色网的基础上扩展价格信息，提出价格着色网。讨论价格着色网的变迁步规则，根据提出的经济标识，给出最小成本构造算法，以一个业务流程实例演示该模型的应用，证明其能够较好地解决业务流程建模中的成本预算分析问题。
    计算机工程  2009 35 (1): 79-81 [摘要]
82 张子鹏 刘海涛 管海兵
  采用信任管理的分布式文件系统TrustFs
    在传统的分布式文件系统中用户无法判断文件的可信任性，针对此问题提出采用信任管理的分布式文件系统TrustFs，使用数字签名对文件的发布者进行认证，通过信任管理技术评估发布者的可信任度，从而达到帮助用户识别不安全文件的目的。TrustFs使用可堆叠文件系统的技术实现，可以移植到所有的Unix系统，并具有良好的扩展性。
    计算机工程  2009 35 (1): 82-83,86 [摘要]
84 张忠平 李 岩 杨 静
  基于矩阵的频繁项集挖掘算法
    如何高效地挖掘频繁项集是关联规则挖掘的主要问题。该文根据集合论和矩阵理论，提出一种基于矩阵的频繁项集挖掘算法。该算法只需扫描数据库一次，就能把所有事务转化为矩阵的行，把所有项和项集转化为矩阵的列，在对矩阵操作时能一次性产生所有频繁项集，且当支持度阈值改变时无需重新扫描数据库。实验结果表明，该算法的挖掘效率高于Apriori算法。
    计算机工程  2009 35 (1): 84-86 [摘要]
87 王 铮 张 毅
  改进的基于目录的Cache一致性协议
    介绍几种典型目录一致性协议并分析它们的优缺点。在综合全映射目录和有限目录优点的基础上，通过在存储器层上增加一个存储器高速缓存(Cache)层的方式，提出并讨论一种改进后的Cache一致性协议。该协议相对有限目录存储开销增加不多的情况下，提高了系统性能和可扩展性。
    计算机工程  2009 35 (1): 87-89 [摘要]
90 孙洪浩 王树义 林晓斌 王晓飞
  过程间指针分析算法的改进
    指针分析对于使用C语言编制程序的数据流分析有着重要的意义。该文介绍指针问题的复杂度、指针分析算法的分类以及指针分析算法的现状，并采用Atkinson提出的基于函数类型过滤得到较为精确的函数调用图的思想，改进刘强提出的上下文敏感的过程间指针分析算法，在对使用函数指针进行函数调用时，使用函数原型过滤限制在函数调用处的函数指针的指向集，提高指针分析的精确度。
    计算机工程  2009 35 (1): 90-92,104 [摘要]
93 鲍福良 徐 洁 方志刚
  改进的Java类文件保护方法