• 主题
高级搜索  >
历史搜索 清空历史
首页>中文会议>其他>2009中国计算机大会
2009中国计算机大会

2009中国计算机大会

  • 召开年：2009
  • 召开地：天津
  • 出版时间： 2009-10-23

主办单位：;中国计算机学会;;

会议文集：2009中国计算机大会论文集

会议论文

热门论文

全部论文

全选（0）
  • 摘要：自动信任协商足通过数字证书的交互披露在陌生实体间建立信任的过程,现有的自动信任协商框架要求主体出示完整属性证书来证明自己满足对方资源披露策略中的身份断言约束条件,导致了属性证书中身份信息过度披露问题.该文中作者提出一种通过交换DL-TNL语义身份断言来建立信任关系的吝啬语义信任协商框架,避免了完整属性证书的直接出示,减少信任建立过程中身份信息被披露的程度,并提出一种正确、完备且有效的吝啬语义信任协商策略.在该策略下,交易双方的协商引擎可以快速有效地从由身份断言权威签发的包含多个DL-TNL语义身份断言的身份断占证书中,自动计算出批露最少信息且符合对方策略的身份断言集进行出示,以最大限度地减少信任建立过程中被披露的身份信息,并保证理论上存在成功可能性时,使用该策略必然可以有效地帮助主体最终获得网络资源的访问权限.有关该策略完备性和正确性的证明以及策略实施中所使用的符合性检测算法的实现和分析均在文中给出.
  • 摘要：传感器网络由大量的节点组成,节点大多使用电池供电.如果某块区域内传感器节点由于能量耗尽、物理损毁而导致空洞的产生,对于空洞区域,传感器网络将无法进行监测.当传感器网络出现空洞时,需要移动传感器节点填补覆盖空洞,实现网络自愈合.现有的空洞填补算法都依赖于精确地理位置信息,且迭代次数较多,收敛时间较长.文中提出了传感器网络中空洞填补的两个准则,即(1)填补节点的引入至少消除一段空洞边缘弧;(2)填补节点的引入不能造成空洞的分裂.文章证明了填补准则的正确性,并基于填补准则提出了在没有地理位置信息条件下传感器网络的自愈合算法CHH.算法通过节点移动辅助定位的方法,实现了相邻节点间距离和方位的计算以及空洞边缘节点间距离的计算.空洞边缘节点根据填补准则,判断是否引入填补节点.算法CHH将空洞填补工作分布到空洞边缘节点上分别执行,并最终实现分布式的空洞填补.仿真实验结果表明,相比现有算法,CHH不仅消除了地理位置信息的假设,并且提升了空洞填补性能和算法收敛速度.
  • 摘要：为了探索样条曲线曲面的正交表达及其频谱性质,提出了一类新的k次正交样条函数--Franklin函数的推广,简称为k次GF系统.Haar函数及Franklin正交函数恰好分别是GF系统当k=0及k=1时的特殊情形.基于GF系统,给出了用以计算样条曲线曲面频谱的信息转换算法,该算法具有直观、简便、快速的特点.构建的数据处理平台可用于样条曲线曲面的分析与综合;实验表明有限项GF系统能够实现一类几何造型的精确重构,而有限项傅立叶正交甬数则不能精确重构该原图.
  • 摘要：提出了一种三维模型尺寸调整的新方法.新方法通过对每条边的缩放来驱动模型尺寸的调整,然后以缩放前后三角形法向的叉乘为目标函数项进行优化,几何意义上,该法向叉乘项表示极小化每个三角形的法向变化;换Willmore能量意义上,该项可以近似地极小化缩放带来的能量变化.对需要精确保持某些特征区域的模型,采用带约束的尺寸凋整方法,通过引入拉格朗日乘数来求解满足约束条件的优化问题,从而能够精确保持模型的重要特征,目前已有的三维模型尺寸调整方法还不能做到这一点.最后,实例表明文中方法在调整模型尺寸的同时,既能很好地保持模型的敏感特征,也能精确保持某些重要的模型特征.
  • 摘要：提出了一种实时的图像素描风格化算法.根据素描以及人眼视觉的特点,利用人眼对颜色差异的敏感程度来勾勒图像的轮廓,并依据图像光感强度产生的重要性图来控制渲染素描风格画的阴影纹理,使得生成的素描风格画具有良好的艺术效果.与已有方法相比,该文算法不需要人工交互,生成的素描视觉效果更好,在速度上能达到实时.
  • 摘要：针对视觉手势界面存在的问题,提出了一套行之有效的解决方案.首先,为了解决视觉手势交互中的MidasTouch问题,以人类注意的信息加工模型为理论依据提出了一个可扩展的视觉手势交互模型,该模型将手势交互过程分为选择性处理、分配性处理和集中处理3个不同阶段;然后,基于该模型提出了一个视觉手势识别框架,并结合认知心理学从手势检测、跟踪和识别3个方面对该框架的各个组成模块的关键技术进行了阐述,其中手势检测模块和识别管理模块能够辅助系统在复杂的背景中滤除掉不相关信息而选择性地搜索人手并根据上下文信息对手势识别任务重定向,从而避免了系统时刻都处于激活状态并对所有的手势动作都进行识别分析,有效解决了Midas Touch问题.文中介绍了使用该方法实现的IEToolkit手势界面工具平台,并基于一个视觉手势交互系统进行了实验测试与评估,结果验证了文中方法的可用性.
  • 摘要：复杂场景中柔性物体间的碰撞检测依然难以满足交互设计的要求.为了提高处理速度,文中给出了一种充分利用现代CPU的并行处理能力的碰撞检测算法.算法基于两方面的并行处理:即基于SIMD指令的指令级并行处理和基于多线程的任务级并行处理.算法给出了一种针对SIMD指令特别优化的k-DOP模型--SIMD-DOP,从理论上分析了该包围盒的高效性,并与常规的16-DOP和24-DOP进行了运行效率对比.通过使用SIMD-DOP同时在多核间进行负载均衡,算法获得了优化的并行加速.文中算法已经在一台16核工作站上针对一组复杂测试场景进行了验证.
  • 摘要：XQuery作为Native XML数据库中的查询语言，伴随着XML的不断应用，也将在各个领域中得到广泛的应用。为了更好的支持XQuery，目前很多的研究人员投入大量精力对其解析进行研究。同时，与同样是数据库查询语言SQL相比较，XQuery有其更加灵活的特性，因此对于XQuery进行的语法树模型建立更加困难。本文在考虑到XQuery中FLWOR表达式的for子句和let子句数目不确定，以及XQuery各个表达式可以灵活嵌套的前提下，提出了一种语法树模型。并且针对该语法树模型，本文进行了XQuery主要查询表达式的执行算法设计。
  • 摘要：作为一种通用的数据结构，图被广泛用来建模和表示多种复杂的结构化数据.近年来，对累积的大量图数据(即图数据库)的管理受到了研究者的广泛关注.超图集合查询是图数据库中一种具有很强现实意义的查询类型.具体地说，给定一个查询图q，超图集合查询要返回图数据库D中所有包含q的图g.提出一种新颖而有效的超图集合查询处理方法.首先，给出一种快速生成特征(feature)的方法和一种有效的树形索引结构FPTree.在FPTree的构造中，提出方法挖掘得出D中特定的频繁子图(即特征)，并合并多个频繁子图所共享的诱导子图其次，给出支持标号图的改进的ullmann算法来进行子图同构检测，一种新颖的方法可以加速子图同构检测过程.于是，基于已有的过滤和验证两步骤的查询处理框架，提出方法在过滤阶段，基于索引FPTree快速的去除一部分非结果集.由于从多个频繁子图所共享的诱导子图到查询图只进行一次子图同构检测，因此过滤时间大大减少.在验证阶段，采用改进的ullmann算法能够比现有方法更加高效的对标号图进行子图同构检测，并最终得出查询结果.最后，大量实验证实了提出方法的有效性和高效性.
  • 摘要：针对Web服务集合所具有的动态性特征，提出了一种自适应的自动服务组合方法，以动态响应服务的加入和退出，实时更新查询结果。文中设计了服务状态标志及事件驱动的状态变迁机制，并利用基于状态传播的双向查询实现自适应查询。实验结果表明：该方法可以有效地响应变化，处理效率与可扩展性明显优于重复查询方法。
  • 摘要：本文分析UML状态图和顺序图的并行结构特征，利用Petri网的并行结构单元来描述状态图的并行域和顺序图的并行片段。论文引入Petri网语言及其等价性理论来验证状态图和顺序图的一般行为一致性，并针对具有并发成分的UML模型，基于Petri网进程和出现网理论，提出面向UML模型并行结构特征的行为一致性分析技术。论文所研究的一致性研究方法可进一步推广到UML模型的其他视图之间的一致性验证。
  • 摘要：模型检验输出的反例提供了一种自动产生测试用例的有效途径，提出了用模型检验进行构件数据流测试的方法.用构件状态机描述构件的外部行为，用带有变量定义和使用标记的Kripke结构描述构件状态迁移中的数据流信息.给出了从构件状态机到KriDke结构的转换方法并建立了全定义覆盖和全使用覆盖准则的陷阱性质构造公式.陷阱性质将使模型检验器NuSMV输出反例，从而产生构件的数据流测试序列.
  • 摘要：Wiki已经成为时下越来越受欢迎的内容与知识管理工具，而基于Wiki设计的需求获取与管理丁具可以将涉众由单纯的问题提出者转变成问题的解决者，本文首先介绍一种基于Wiki的需求成熟度指标评价体系，然后给出此体系下的成熟度计算方法和具体算法，最后通过已设计的需求获取与管理工具SKLSEWiki来验证成熟度算法的有效性。
  • 摘要：一种基于问题知识库的软件静态分析方法，重点描述问题知识库的形成.表示、构建及应用。该方法对隐藏代码问题发现、分析，通过构造AST检查器和路径检查器，形成包括R(Rule)、D(Defect)、M(Metric)的规则集，应用于静态分析、提高静态分析准确度。
  • 摘要：在很多现实世界的应用中名字和实体间存在冲突，也就是说，不同的人或事物可能拥有同一个名字，同一个人或事物也可能用不同的名字指代.识别名字指代的实体是数据清洗和实体查询中的重要问题。当前的方法仅能够处理某种单一情况下的冲突，并不能解决现实应用中实体识别的问题。针对这些问题，本文提出了一种普遍适用的基于关系的实体识别框架EIF，这个框架扩展并应用领域知识和聚类技术求解实体识删问题。本文还将该框架应用于求解丈献中的作者实体识别问题，提出了作者识别算法。并通过实验对该框架的有效性进行了验证。
  • 摘要：由于网格数据库运行环境的动态性，传统的基于静态优化的查询处理技术效率不高。给出了网格数据库连接查询流水线处理的代价模型。提出了一个基于流水线、自适应的连接查询处理算法AJAR。AJAR算法利用随机抽样技术实时地估计各候选查询计划的代价，当发现存在更优的查询计划时，则对当前流水线的处理顺序进行动态调整，以适应网格环境的变化。在不同的数据集和网格环境参数下，对算法的性能进行了模拟实验。实验表明，多数情况下，AJAR算法较传统的查询处理技术更优。
  • 摘要：软件适应性体现为软件适应变化的能力.经验表明：软件产品结构与软件质量属性之间存在着一定的联系.面向对象的结构度量已较为成熟，本文旨在研究哪些面向时象结构度量指标是影响软件适应性质量的关键因素.利用领域知识结合经验数据.基于贝叶斯网建立了面向对象结构指标与软件适应性之间的关联模型.通过对适应性模型的分析表明：类的加权方法数、方法的内聚缺乏度、方法隐藏因子和多态因子四个指标对软件适应性的影响较大.模型分析的结论为软件适应性设计、软件适应性评估提供理论和实践的基础.
  • 摘要：汽车电子软件(Automotive Software)是一类控制汽车机械和动力部件、实现各种汽车安全和舒适功能的高可靠实时嵌入式软件，其需求分析和设计方法是目前软件工程面临的重要挑战之一。主要研究汽车电子软件的需求表示方法，将原始需求划分为多个层次和多个视角，采用多种图形语言对系统的各个侧面进行表示，并揭示各个部分模型之间的关系，力图以可视化的方式形成问题空间的全景“蓝图”和局部可缩放视图。该方法的使用，有利于降低表示需求的复杂度，便于从需求模型到设计模型的平滑过渡。
  • 摘要：Web服务技术的发展和流行使得互联网上Web服务逐渐增多，并出现一些功能相同或类似的服务，要选择合适的服务，需考虑服务的QoS属性及用户对属性的偏好.用户通常习惯用定性概念表示对属性的偏好，但是定性概念对应的定量值是不确定的，因此，基于用户偏好得到的主观权重也是不确定的.本文提出使用基于云模型的不确定权重表示Qos属性主观权重，并给出使用归一化法或最小二乘法求解不确定主观权重的算法.对于Web服务的多个属性，选用多属性决策中的边际替代法及科布一道格拉斯偏好效用函数进行综合，并说明该方法更符合用户选择Web服务的行为特点.最后通过查询纽约天气的实例对方法进行验证，并时QoS属性的权重敏感性进行分析，实验表明，不确定主观权重用于权重敏感性分析是合理的.
  • 摘要：数据流的变化往往表明产生数据流的时象特性可能发生了某种改变，具有需要进一步关注的领域含义，因此目前许多监控应用中需要对数据流的变化进行检测.同时，在很多应用中数据流的数据特征呈现出伪周期性，即数据特征在一定程度上会按照固定的时间间隔反复出现，但各个时间间隔内的数据出现规律又不会完全相同.在数据流上的现有变化检测算法并不适用于对出现密集程度较高的伪周期数据流周期间的变化进行检测本文对伪周期数据流变化检测问题进行了研究，提出一种快速而高效的对出现密集程度较高的伪周期数据流周期间变化进行检测的方法.实验表明所提方法能有效的检测出伪周期数据流的变化.
  • 摘要：数据集成技术自二十世纪八十年代开始研究，旨在为访问多个数据源提供统一的访问接口和高效的查询处理能力。近年来，仍然有大量工作在数据集成查询处理领域展开，这些工作的主要研究目标是应对复杂的数据管理任务和查询处理环境.本文回顾和总结近年来数据集成查询处理技术中具有代表性的研究成果，对其进行分类和比较，分析它们的主要贡献和不足.此外，本文还探讨数据集成领域的未来研究方向。
  • 摘要：信息集成过程中出现的重复记录的存在为数据处理和分析带来了困难。重复记录检测已经成为当前数据库研究中的热点问题之一。基于二分图最优匹配的重复记录检测算法具有考虑到模式异构，支持多种数据类型等特点，适用于信息集成中的重复记录检测。然而，这种方法的不足之处在于其需要较大的时间开销，且由于其分类要求严苛，使得算法召回率受到影响.本文针对基于二分图最优匹配的方法存在的两个问题，基于编辑距离满足三角不等式以及记录相似度和属性相似度满足线性关系这两个性质，提出了一种基于记录相似度估计的高效重复记录检测算法，弥补了原始算法的两个缺点。理论分析和实验结果都表明了本文提出方法的正确性和有效性。
  • 摘要：在Deep web环境中，如何解决查询失败并保证查询执行结果的数据质量已经成为一个重要的研究问题。本文针对这一问题，提出了基于查询松弛的查询计划生成与数据集成方法.本文中首先提出了基于对象属性重要度的查询松弛算法，通过属性分组树产生查询松弛计划以解决失败查询造成的数据质量问题.其次，本丈构建了查询结果数据集成模型对查询松弛产生的数据进行集成。数据集成中主要引入了基于查询松弛二次查询的属性补全策略和Top-k排序思想，这能够有效地在过滤冗余数据同时提高集成结果中对象属性的完整性。最后，通过实验数据表明本文提出的方法对于保证多数据源查询结果的记录数量与数据质量具有较好效果。
  • 摘要：现实数据库中的不完整数据、不一致数据、重复数据等非清洁数据为数据库的有效使用带来了影响，在包含非清洁数据的数据库中，如何进行高效的OLAP分析为数据库研究带来了新的挑战，CLBE操作是OLAP分析中的重要操作。本文面向非清洁数据，提出了基于有重叠聚类的CUBE操作，给出了非清洁数据上CUBE的有效和高效的存储和计算方法.本丈提出了应用非清洁数据上的CUBE有效计算聚集查询的算法.并提出了在非清洁数据上进行其他主要的OLAP操作的处理方法。本文通过实验验证了本文提出方法的效率。
  • 摘要：Web服务的语义建模是指对Web服务的属性、功能和结构等进行语义描述使用户能够对服务自动地定位、选择、使用和组合。本文以动作理论和描述逻辑为基础对服务的逻辑层信息(控制流和数据流)进行语义建模，用带前提和结果的原子动作描述简单服务.用复杂动作描述组合服务的控制流，用服务间的依赖关系描述数据流，并提出一个基本的Web服务自动组合框架.在该框架中，Web服务自动组合被划分为逻辑层和实现层两部分，于是服务的自动组合问题在逻辑上归结为一个动作规划问题，在实现上归结为一个根据动作选择具体服务的服务选择问题。最后给出一种新的自动组合规划算法，该算法充分考虑了语义推理和智能规划的结合，在对问题的描述能力和运行效率上做了较好的平衡。
  • 摘要：离散化是Rough集理论研究的一个重要内容，目前基于Rough集的离散化算法很难兼顾高识别率和高效率。文中分析了候选断点在单属性上的重要性值分布规律，提出了“先动态聚类再选择候选断点”的两步处理思路和一种基于Rough集的快速离散化算法.该算法首先能够根据数据自身特点进行快速动态聚类，有效降低了候选断点的数目，快速地实现了决策表的离散化.实验结果表明，文中算法保持了与已有算法可比的正确识别率，且运行效率更高.
  • 摘要：本文提出了一种基于线粒体SNP位点分析的疾病人群分类方法。采用基于关键字树的多序列比对算法将线柱体DNA对齐，通过卡方统计量和信息含量差值筛选获取与疾病关联的显著性线粒体SNP位点集合作为分类特征，使用k*算法生成有效分类器对未知人群序列进行有效疾病分类。与目前基于基因组序列的分类方法相比，本文算法能够减少比对及关联分析中的信息丢失，提高了疾病人群序列的分类准确率，节省了个性化医疗成本。在帕金森症病人数据集上的实验证明了本方法的有效性。
  • 摘要：针对现有相关性度量方法只能直接计算两个连续特征或两个离散特征之问的相关度的问题，本文提出了一种度量连续特征与离散特征之间的相关性方法，在此基础上，进一步提出一种基于混合特征相关度的特征选择方法，并给出了一种闽值选择的指导性策略。提出的特征选择方法关于数据集大小具有线性时间复杂度，可以用于大规模数据集中的特征选择。在真实数据集、UCI机器学习数据集上的实验结果表明，本文提出的相关度计算方法及特征选择方法是有效、可行的。
  • 摘要：藏文的信息化处理具有重要的理论意义和实用价值.本丈主要对藏文联机手写识别的流程和算法进行了讨论.对比了汉字联系手写识别的方法，本文提供了有效的改进方案和实验数据，包括预处理、特征提取、聚类以及分类等部分.实验结果表明，文中的方法有效可行，适用于藏文的联机手写识别，并为进一步研究奠定基础.
  • 摘要：本文提出一种自适应的在线跟踪算法，通过协同训练和粒子滤波算法的相互补充实现鲁棒和高效的目标跟踪。在粒子滤波的框架中。本文采用半监督的协同训练算法构建两个目标分类器并进行在线更新和相互增强，从而提高粒子滤波器的目标判别能力和对因光照、姿态变化、摄像机抖动和部分遮挡造成表观特征变化的适应能力。同时，结合重要采样的粒子滤波算法利用物体运动的时空约束务件和目标潜在的分布信息进行目标采样，不仅提高了采样的效率和准确性，缩小了分类器的搜索范围，并且能为协同训练提供更加准确可靠的训练样本。在标准测试库上的实验结果验证了算法的有效性和鲁棒性.与基于滑动窗口的全局搜索技术相比，本文算法在不降低跟踪性能的基础上将处理速度提高了25～45倍。
  • 摘要：特征选择通常被视为数据挖掘的第一步，特别是对于高维稀疏数据，通过特征选择可以去除大量的冗余和不相关特征信息的干扰，有效降低问题特征空间的维数，从而提高对目标函数的预测性能，降低分析成本，而且经过选择的特征更易于被人理解，有利于揭示底层数据中蕴藏的有用信息.本文的主要贡献是对特征选择方法的发展历史和现状进行了跨学科的广泛调研，在此基础上总结提出了通用的方法定义和算法流程框架，并对特征选择方法研究和实践中需要注意的若干关键问题进行了综述.此外，本文对时下受到广泛关注的规范化特征选择方法，特别是以套索方法为代表的一类基于惩罚约束的自动特征选择方法进行了重点分析，该方法因其优良的特性和在常规方法难以胜任的高维特征空间取得的初步成功而备受关注，成为当前研究的焦点，为高维特征空间的特征选择提供了一个有希望的解决方案.
  • 摘要：基于分解的多目标进化算法MOEA/D是最近提出的一种高效率的计算框架，它将一个多目标优化问题分解成一系列单目标优化问题.根据相邻的子问题信息同时优化各个子问题，最终得到一个Pareto最优解集.本文在分析其局限性的基础之上，提出了一种改进的基于分解的多目标进化算法IMOEA/D，通过设定一个阁值，引入非支配解保存机制和邻域搜索，改善了MOEA/D的分布性。仿真结果表明了IMOEA/D的高效性和有效性.
  • 摘要：软件缺陷管理系统能够对软件项目开发周期中产生的所有缺陷进行具体记录，包括缺陷状态跟踪及其修改过程等。在这些缺陷报告之间是存在相关性的。当前研究主要采用计算机缺陷报告中的文本信息的相似度来自动分析这种相关性。基于这种方法对自动分析相关缺陷报告造成的局限性，本文提取出缺陷报告中的另一项信息：半结构化信息(包括补丁，异常堆栈和代码片段)，并将半结构化信息相似度与文本信息相似度计算相结合，从缺陷外部和内部共同衡量缺陷报告间的相关性。实验结果表明，使用该方法自动分析缺陷报告间相关性的查准率和查全率均可迟到90％左右.在未来工作中，对于没有标注源文件名而造成无法计算代码片段间的相似度这一局限，将采用适当方法解决：时于异常堆栈间的相似度计算，将通过实验来完善权值设定。
  • 摘要：本文提出了一种基于四维医学图像计算左心室应力应变的新方法.首先针对SPECT图像建立左心室心动周期内7个相位的内外壁NURBS表面模型：其次，将NURBS模型的参数空间坐标规范化，对前后时刻模型的位移进行拟合得到连续的位移场；接着，通过规范化坐标来转化中介计算模型上任意点的位移；最后通过位移变化计算相应的应变和应力。该方法将空间位置与位移场一一对应起来，提高了位移计算的准确性，并克服了传统有限元搜索方法中单元间位移不连续的缺点.实验表明该方法能够有效地对应力应变进行计算分析.
  • 摘要：引入U-正交变换到图像无损编码应用中，研究U-正交矩阵的基本三角可逆矩阵(TERM)的分解与单行基本可逆矩阵(SERM)的分解.一个N阶U-正交矩阵能分解为8个TERBM与置换矩阵的积，且这种分解由N，-1个自由变量确定，通过搜索自由变量的区间可以找到TERM的局部近似最优分解形式.用行交换的方法搜索U-正交矩阵的SERM分解，在这种情况下，8×8的矩阵最多只有40320神可能的SERM分解，用穷举法就能搜索到SERM的近似最优分解.最后用U-正交矩阵的分解结果对图像进行无损编码，实验表明sERM分解要比TERM分解更有效，其变换系数的熵、无损编码的码率与浮点正交变换系数的熵、近似无损编码的码率基本相同，三次U-正交变换的编码效果与离散余弦变换的结果几乎相同，二次U-正交变换的编码效率略低于三次U-正交变换。
  • 摘要：本文提出一种基于SIFT+KLT混合特征的无标识跟踪方法.算法在保持SIFT描述子描述能力强及具有仿射、尺度不变性优点的同时，解决了SIFT算法的非实时问题.通过对SIFT算法和KLT光流跟踪分别获得的特征数据进行在线融合，使算法的实时性达到20帧/秒.基于该算法，我们设计实现了3D交互展示系统.实验结果表明该方法基本达到了实时的效果，并且具有高效性.高速率和高稳定性的优点.
  • 摘要：性能评价是一个虚拟现实手术模拟器走向实际应用需要研究的问题.本文以牙周科手术模拟器为研究对象，对性能评价问题进行了实验研究。研制了基于力反馈的牙周操作模拟系统，可模拟典型牙周病诊断和治疗，例如牙周袋探诊、牙石探查和去除等操作。基于GHOST SDK力觉开发包进行二次开发，实现了手术器械与牙齿，牙龈/牙石等多种组织的实时交互，给操作者提供了较逼真的力觉感受。为了综合评价该系统的性能，设计了定性与定量相结合的评价指标体系。通过对比医学院医生和学生的实验，结合结构效度(Construct validity)的评价思想对系统的可用性进行定量的评价。通过评价实验明确了牙周操作手术模拟器中力觉反馈技术进一步研究的关键技术问题.
  • 摘要：语音驱动唇部同步动画主要研究说话人在发出语音时的唇部动画。唇部动画是人脸动画系统的重要组成部分，在人机交互领域有着广泛的应用。本文提出了一种基于协同过滤算法的实时语音驱动唇部同步动画算法.该算法是一种基于样本的数据驱动方法，能够产生逼真的人脸唇部语音同步动画.语音参数采用语音识别中常用的梅尔倒谱系数(MFCC)，动画参数使用MPEG-4中定义的人脸动画参数(FAP)。用该算法实现的系统可以同时用于男女声语音驱动唇部动画，也可以驱动与MPEG-4兼容的任何人脸头像模型进行动画。系统能满足实时性的要求，在主观评测中得到很高的评分。
  • 摘要：在H.264/AVC中，视频信号首先通过预测编码(包括帧内预测和帧间预测)得到的残差信号，需要进行整数变换和量化之后才能进行编码.在很多时候，特别是低码率条件下，会有很高概率得到全零量化系数块。本文通过研究4×4整数变换自身特性，对整数变换和量化过程进行反演，并采用分而治之的改进策略，得到了一个更为宽松的判定全零系数块的充分条件.实验结果显示，相比现有算法，本方法可以在不降低视频编码质量的前提下，有效提升全零块检出率，减少所需计算量。
  • 摘要：文本倾向性分析是近几年来自然语言处理领域日益受到关注的一个研究方向.本文在处理要素级别评价对象的抽取及其评价倾向性判剐时，提出了一种基于CRF模型的属性词和评价词一体化识别的方法。在利用CRF模型标注评价对象和评价词的过程中、除传统的词、词性，语义词典等常用特征之外，特别引入了句法特征.在倾向性判别过程中，采用了评价词就近匹配和基于句法树的匹配两种方法，并对两种方法进行了比较.通过在COAE2008任务3测试语料上的实验，验证了提出方法的有效性，同时证明了句法特征的引入对属性词的识别具有一定的改善作用.
  • 摘要：由于Deep Web中包舍有大量结构良好的数据资源，因此如何集成Deep Web中的数据资源成为当前研究热点.其中，准确地发现并识别特定领域的Deep、Web数据源是高效获取Deep Web中数据信息的一个关键问题.通过分析Deep Web数据源特点，本文提出了一种面向领域的Deep Web数据源发现与识别方法.在发现阶段，通过对由爬虫获得的表单使用机器学习算法，结合启发式规则对表单进行二元分类，发现数据源的查询接口：而在识别阶段，采用基于Wordnet语义相似度的方法计算查询接口与领域的相关性，从而识别出与领域相关的Deep Web数据源。最后，通过在真实数据集上实验测试，结果表明，本文提出的方法对于识别特定领域的Deep Web 数据源具有较高的正确性和准确性.
  • 摘要：答案排序是自动问答系统答案抽取部分的重要关键技术，答案排序结果的好坏直接影响到整个问答系统的性能，是自动问答系统研究中必须解决的重要问题。本文将监督学习的方法引入答案排序任务中，综合常见的答案排序相关度度量，提出了基于监督学习的多重相关度答案排序方法.本文实验对比了单一相关度排序和基于监督学习的多重相关度答案排序方法的性能，结果表明本文方法能够在答案排序问题上取得更好的效果。另外，本文还对比了二类分类、回归、排序学习三种基于监督学习的答案排序方案.实验证明排序学习在答案排序任务中性能优于其它两种方法。
  • 摘要：本文提出了一种基于支持向量机(SVM)的中文名词短语的指代消解方法，并给出具体实现系统，在ACE2005中文语料上对所有的名词短语进行消解.测试得到的F值为63.3％.本文系统分析了SVM中不同核函数对分类结果的影响以及每一个特征对指代消解的贡献，并详细考察实验结果的错误分布。经实验发现，同位语、别名和字符串匹配这三个特征的贡献最大.指代遗漏是本系统出现最多的错误，主要原因是目前的特征不足，不能有效解决相应指代.
  • 摘要：关联关系搜索是语义搜索中的一种，可发现实体间复杂的关联关系。随着网络上语义资源的迅速增长，实体之间关联关系的个数可能会超过实体本身，因此，在多领域融合的语义搜索中，关联关系排序将是急需解决的问题之一.传统的排序方法主要针对Web资源进行排序，并没有涉及到形式化的语义信息，因此不能用于关联关系排序。针对最常见的路径关联关系，定义了三种影响关联关系排序的重要因素，分别是领域相关度、语义关联长度和关联关系频度，并给出了这些影响因子的权重计算方法，在此基础上提出了一种关联关系结果排序方法。实验结果表明，该方法可优先返回用户真正感兴趣的关联关系，有效地挖掘出实体间有价值的关联关系。
  • 摘要：非一致Cache体系结构(Non-Uniform Cache Architecture,NUCA)几乎已经成为未来片上大容量Cache的设计趋势.非一致Cache中,数据提升技术通过将经常访问的数据放置在距离处理器较近的Cache bank中减少处理器对该数据访问的等待时间,对NUCA的性能有着重要影响.然而,目前已有的数据提升技术使用固定的提升策略,投有考虑所要提升到目标bank的实际状态,容易将目标bank中更有用的数据"挤"得远离处理器,从而产生Cache污染问题,严重制约了提升技术的性能发挥.针对这一问题,文中提出智能多跳提升技术.智能多跳提升技术能够感知候选目标bank的状态,为被提升的数据动态地选择合适的目标bank,从而提高了提升效率,减少了Cache污染.同时,智能多跳提升技术的设计巧妙地利用了处理器访问的反向路径,只是简单地扩充了处理器访问报文的格式,并没有增加对Cache bank的额外访问.最后使用全系统模拟器对来自NAS Parallel Benchmark和Livermore Benchmark的15个基准测试程序进行了详细测试,智能多跳提升技术单位提升操作节省的时钟周期数是已有提升技术的1.50倍,最多达到2.61倍;系统的IPC性能平均提高了6.24%,最高达到19.03%.
  • 摘要：访存带宽是限制众核处理器件能提升的关键,将片上最后一级Cache设计为所有处理器核共享是必要的.在共享Cache中隔离放置冲突的数据,是提高共享Cache性能的关键.文中提出了缓存块链接的硬件方法,用于隔离共享Cache中不同线程之间的数据.文中基于时钟精准的片上众核结构模拟器,使用Splash2程序组和生物信息学中的仟务,对所提机制进行了评估.实验结果表明,与传统共享Cache相比,使用缓存块链接机制时,使得共享Cache的冲突性缺失率降低约20%,而使得IPC平均提高了约10%.
  • 摘要：信息数据在当今社会中的重要性日益提高.远程镜像系统通过配置冗余的硬件和相应的高可靠软件,能够保证信息系统的数据安全.但足,已有的远程镜像系统都部分存在着依赖于专用设备或底层驱动、性能差等不足.该文提出一种应用于存储区域网络环境的、基于存储虚拟化的异步远程镜像系统.首先,设计了异步镜像逻辑卷,作为虚拟化的数据容器,该卷能够自动追踪并异步传输数据更新,节省网络带宽,同时不依赖于任何的底层设备和驱动.其次,提出了一种不间断服务的异步镜像协议,支持服务在镜像主节点和从节点间的无缝迁移,支持灾难发生和灾后恢复时主从节点的自动切换和不间断服务,同时,协议完全在镜像节点内执行,不影响客户主机的性能.最后,针对镜像卷的读写特点,设计了基于锁的镜像卷访问控制机制,既保证数据一致性,又能在此前提下尽可能提高读写并发性.FTP trace(文件传输服务跟踪记录)的重放实验证明,在人为引入主节点失效的情况下,服务能够无缝迁移;在主节点灾后数据恢复进行的同时,能够保证服务不间断;最后,FTP Trace的重放流程在"主节点失效-服务迁移-灾后恢复"场景下仅比无故障时多花费14%的时间.
  • 摘要：基于COW(Copy-on-Write)读写模式的虚拟块设备有利于实现大规模虚拟机环境下虚拟机的快速部署.文中为虚拟机管理器中的COW虚拟块设备设计了一种优化方法,能够提高COW磁盘的访问性能以及生成多个小尺寸的COW磁盘映像文件,以降低通过网络部署虚拟机的开销.基于优化的COW虚拟块设备,文中提出了虚拟机环境下的虚拟机按需部署机制及关键技术问题的解决方案.基于Linux平台和QEMU虚拟机,实现了基于优化COW虚拟块设备的虚拟机按需部署原型系统.实验表明,优化的COW虚拟块设备、基于COW磁盘有效工作集的优化部署以及COW磁盘回收等方法能够有效地支持虚拟机环境下低开销的、按需的虚拟机部署.
  • 摘要：文件共享服务是对等网络中的一个重要应用,数据传输速率逐渐取代响应延迟成为影响用户体验的首要因素.文中研究了对等网络中的副本管理算法,这对于提高对等网络应用的町靠性,降低带宽消耗具有重要的意义.为了在广域网络存储系统中加速文件共享并降低网络带宽消耗,文中提出了PLAR(Popularity and Locality-based Adaptive Replication)算法.PLAR采用了基于位置信息和流行度的复本管理算法,该算法还同时引入了混合式的服务器选择策略以及远程增强策略.PLAR算法在文中的Granary对等广域网存储系统中得到了实现.实验表明,通过PLAR算法下载速率平均能提高60%以上,有效提高了共享速度并减少带宽消耗.
  • 摘要：随着人们对网络服务的依赖性日益增强,网络服务系统的服务质量和可用性变得至关重要.然而,服务系统的日益复杂化及第三方软件和异构中间件系统的大量部署,为各种软件缺陷提供更多隐蔽空间.这对保证服务质量和系统可用性提出挑战.文中提出一个自适应的选择性再生框架,以保证系统的服务质量.选择性再生框架,把基于请求处理路径的性能故障分析诊断技术和软件再生技术相结合,通过及时诊断和再生系统中性能故障的部件,改善请求的响应时间,保证系统服务质量.文中提出了一个新的基于请求路径的性能故障的诊断方法.同时,文中实现了一个层次化的选择性的再生策略.基于RUBiS系统的实验结果表明文中方法可以有效保证多层服务系统的服务质量.
  • 摘要：在无线局域网(WLAN)中,负载不均衡会降低网络吞吐量、增加分组传输时延.由于无需修改客户端的优点,研究者们将码分多址(CDMA)网络中的"小区呼吸"概念引入WLAN以实现负载均衡."小区呼吸"方法通过改变接入点(AP)的信标功率,从而改变AP的覆盖范围,进而控制AP的用户数.现有的同类方案在使用"小区呼吸"方法时,大多没有考虑两个比较重要的问题:AP的负载均衡与用户数据功率损失的矛盾以及AP的业务可用性(包括AP业务欺骗和业务漏洞).文中将这两个问题作为使用"小区呼吸"进行负载均衡的约束,首先对多约束负载均衡问题进行形式化定义,然后提出分析模型来求解关键参数,如相邻AP的负载差、平均数据功率损失代价以及AP全覆盖的条件.最后,采用遗传算法(GA)求解多约束负载均衡问题,并测试在不同用户密度下,所提方案和同类方案的AP负载、吞吐量以及平均分组传输成功率.实验表明,所提方案实现了优化.
  • 摘要：移动目标跟踪是传感器网络的一个重要应用.网络中传感器节点协作发现日标并将对目标的感知信息反馈给用户.为了有效地减少网络能耗和提高跟踪质量,文中提出一种基于两阶段睡眠调度的目标跟踪协议.该协议将整个跟踪过程划分成两个阶段,根据各阶段对节点密度要求的不同,分别采用不同的睡眠调度机制.文中进一步对所提出协议进行优化,在保证跟踪质量的同时最小化系统能耗.最后用36个传感器结点验证了所提出协议的有效性.
  • 摘要：目前已有的IRC僵尸网络检测算法存在两个问题:需要先验知识以获取匹配模式,无法满足实时处理需求.为解决这两个问题,文中提出了基于昵称和命令序列这两个终端行为特征的IRC僵尸网络检测算法.文中提出三种属性分别从内容、组成和结构三方面互补的刻画两个昵称的相似性,给出两个昵称相似性的量化因子,根据这量化因子生成弹性TRW算法以进行IRC僵尸网络实时检测.文中还在分析僵尸终端登录服务器的行为的基础上,提出了基于命令序列相似性的检测算法.算法评估实验证明两个算法行之有效.最后将这两个算法用于大规模网络环境中实时检测IRC僵尸网络,在两周内检测到162个僵尸频道.
  • 摘要：在智能交通运输系统和人员物品跟踪等基于位置服务的领域中,对于移动对象位置上的索引建立和查询处理已经成为比较热门的研究内容.文中主要研究利用一种新颖的RFID系统的框架结构,依靠位置相对固定的标签来定位携带移动式的阅读器监控对象,从而支持高效的移动范围查询.该结构能够缩小监控对象可能的位置区域,但还是存在位置的不确定性,所以文中提出了此场景下的移动对象位置查询的一种概率模型,给出了有效的定位方法,并在此基础之上讨论了基于虚拟网格划分的m<'2>ROvgP-MRQ优化算法和CU-grid索引结构.实验结果验证了此模型和方法的性能及有效性.
  • 摘要：近年来,在多种领域中产生的大量数据都可以自然地建模为图结构,比如蛋白质交互网络、社会网络等.测量手段的不准确性以及数据本身的性质导致不确定性在很多图数据中普遍存在.文中研究不确定图数据库中的高效查询处理方法.首先给出一种数据模型来表示图的不确定性.鉴于对用户提交的查询图通常会产生大量匹配结果,高效得到概率最大的k个匹配常常更具有现实意义.因此文中形式化提出概率top-k子图匹配查询的问题.为了解决提出的查询问题,以附带概率信息的邻居子图为基础,设计了一种有效的索引结构.另外,提出一种高效的基于索引的查询处理方法.该查询处理方法的核心是一个基于搜索树的匹配算法,其中运用了一种概率剪枝技术来提高性能.实验结果表明,所提出方法具有良好的效率和可扩展性.
  • 摘要：高频快照技术应用于备份时,能够为物理错误和人为错误提供数据保护,构建可靠数据存储环境.针对长期、高频block-level快照检索效率低下问题,在对目前常见的block-level快照技术建模、分析基础上,提出结合数据分布特征和检索模式的分层次二维索引结构--HCSIM.实验、分析结果表明:HCSIM索引技术应用于长期、高频快照管理时,比时空索引结构Overlapping B+Tree索引技术显著提高索引的存储效率和检索效率;通过定性的分析,HCSIM是目前存在的block-level快照索引模式中存储效率和检索效率相对平衡的索引技术.
  • 摘要：如果考虑逻辑间模型的翻译并且一个逻辑的模型类被翻译为另一个逻辑的模型类的真子类,那么可靠的(the soundness)和完备的(the completeness)翻译可以将不可满足的公式翻译为可满足的公式.针对上述问题,该文提出了语义忠实(the faithfulness)和语义满(the fullness)两条逻辑性质来确保可满足的公式翻译为可满足的公式,不可满足公式翻译为不可满足公式.该文例证了二阶逻辑在标准语义下到一阶逻辑的翻译是语义忠实的但不是语义满的,在Henkin语义下是语义忠实的和语义满的.
  • 摘要：Web搜索系统往往通过与用户的交互来精化查询以提高搜索性能.除文字之外,网页中还存在着大量其它模态的信息,如图像、音频和视频等.以往对于查询精化的研究很少涉及对多模态信息的利用.文中提出了一种基于半监督学习的多模态Web查询精化方法M2S2QR,将Web查询精化转化为一个机器学习问题加以解决.首先,基于用户判断后的网页信息,分别为不同模态训练相应的学习器,然后利用未经用户判断的网页信息来提高学习器性能,最后将不同模态学习器结合起来使用.实验验证了文中方法的有效性.
  • 摘要：程序切片是一种程序分析和逆向工程所采用的基本技术。程序依赖图是程序切片中最基础的表示形式，通过程序依赖图可进行控制流、数据流分析，从而获得程序切片.本文采用F(p)表达式作为源代码的中间表示形式，给出了构造控制流图、数据依赖图、控制依赖图的三种算法、进而生成程序依赖图。在深入分析结构化跳转语句带来的隐含控制依赖关系的跟随域问题基础上，提出了采用虚节点栈构造控制依赖图的算法，解决带多层结构化跳转语句程序的控制依赖关系分析问题。
  • 摘要：该文采用多重分形分析方法，对系统资源参数时间序列的波动规律进行研究，提出一种定性和定量相结合的分析方法，预测资源消耗和软件衰退的趋势.首先借鉴分形理论对影响软件性能的系统资源参数的分形结构进行分析，发现参数的波动具有分形特性：且其多重分形谱特征能定性地分析在系统运行过程中随时间变化的情况。其次，提出了一种多维的H(o)lder指数计算算法，应用到资源耗费数据，并采用自回归移动平均模型(ARMA)对H(o)lder指数预测。最后进行了实证分析，实验结果表明该方法具备较好的定性分析和定量预测能力。
  • 摘要：现代商用操作系统代码量大且很复杂，这就使得基于主机的安全工具不能在恶意软件的威胁之下提供足够的安全保障。当前软件保护的要点在于如何有效保护软件，同时又可以从不可信的操作系统中隐藏保护器。本文将描述一个可用于软件保护的轻量级高可配置透明框架HBSP(Hypcrvisor Based Software Protector)。它基于硬件虚拟化技术和内存隐藏策略，HBSP完全生存于操作系统管理空问之外。一系列性能分析及实验表明，HBSP可以在未修改的Windows XP上保护应用程序，对已有应用程序的总体性能开销仅为0.25％.
  • 摘要：对传统主题图进行扩展，实现了基于扩展主题图的多源异构知识融合.结合全信息理论与扩展主题图结构特点及语义信息，提出了面向多源知识融合的扩展主题图相似性算法ETMSC，该方法综合了语法相似性、语义相似性和语用相似性，不仅考虑了扩展主题图元素间组成结构上的相似性，还充分考虑了其涵义以及所处语境的相似性.实验结果表明，ETMSC算法比目前的单纯基于语法或语义的相似性算法，F值平均提高了9.2％～11.1％.
  • 摘要：软件架构的建模和描述是软件系统开发过程中的重要内容。软件架构的描述在软件生命同期中起到了非常重要的作用。对于没有可靠的设计文档的遗留系统，很难对其进行维护和升级。从源代码中得到基于构件的架构描述，可以有效的帮助软件设计和开发人员理解和优化软件系统。本文提出了一种通过迭代的方式，从面向对象的程序源代码中提取基于构件的软件架构的方法SSFA。在构件描述中，根据软件编码风格设定了基于接口和基于类组合的两种构件定义策略，拓宽了方法的适用范围。从结构度量和语义度量两个方面讨论了代码的度量方法。其中语义度量方面引入了利用潜在语义索引技术的整体语义相似度的度量，提高了提取结果的合理性。
  • 摘要：针对UML在企业应用软件PIM建模领域的不足，提出了一种基于扩展UML企业应用软件PIM层模型：ICE-PIM。首先，针对企业应用软件特点的分析，提出了一个以业务对象为中心的软件开发方法，给出了基于业务对象的ICE-PIM模型的结构；然后，采用IJML扩展机制来定义ICB-PIM元模型，对元模型中元类的语法和约束进行了详细说明：最后，通过一个应用实例来说明ICE-PIM的建模方法，通过该方法可以有效地提高企业应用软件的建模效率。

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有 出版物经营许可证

  • 客服微信

  • 服务号