计算机科学

栾悉道,谢毓湘,谭义红,陈治平,赵碧海,胡赛

计算机科学. 2010, 37 (11): 1-6.

摘要 ( 129 )

PDF(688KB) ( 503 )

相关文章 | 多维度评价

多媒体语义研究是多媒体数据处理与多媒体信息服务领域的核心和关键问题。多媒体数据的语义问题源于多媒体的数据获取方式，在多媒体数据的应用阶段，这一问题成为制约多谋体数据使用和创作的重要瓶颈。语义模型研究是多媒体语义研究的重点，是多媒体数据处理过程的总结和抽象，其实质就是研究多媒体数据整个生命周期的语义问题。介绍了近几年多媒体语义模型在内容描述、语义表示、数据检索三个方面的研究进展情况。

未来网络科学与工程若干问题综述

李兵,李其锋

计算机科学. 2010, 37 (11): 7-11.

摘要 ( 108 )

PDF(593KB) ( 507 )

相关文章 | 多维度评价

从网络计算理论、网络科学和网络设计、网络设计与工程、网络设计与社会价值等方面阐述了构建未来网络面临的若干问题，其中任何一个问题的解决都将极大地推动计算机网络的发展。

容延容断网络研究及进展

郭航,王兴伟,黄敏,蒋定德

计算机科学. 2010, 37 (11): 12-18.

摘要 ( 132 )

PDF(685KB) ( 553 )

相关文章 | 多维度评价

容延容断网络(Delay/Disruption Tolerant Networks, DTN)是基于星际网络而提出的一种异于传统网络的抽象网络模型。从网络协议、路由算法、组播和安全机制4个方面综述DTN的研究概况及进展，分析各种协议、算法、机制的性能及特点并进行比较，指出DTN研究面对的挑战和进一步发展方向。

社区问答系统研究综述

张中峰,李秋丹

计算机科学. 2010, 37 (11): 19-23.

摘要 ( 283 )

PDF(551KB) ( 9954 )

相关文章 | 多维度评价

作为一种新兴的知识共享模式，社区问答系统(CQA)具有交互性、开放性的特点，能够更好地满足为用户提供个性化的信息服务的需求。对社区问答系统的研究及应用现状进行综述，系统阐述了用户行为模式、内容质量检测、问题检索等CQA中主要问题的研究以及CQA在其他媒体中的应用。最后展望了CQA中下一步值得研究的问题。本讨论有助于进一步丰富和拓展CQA的研究。

分布环境下的Gossip算法综述

刘德辉,尹刚,王怀民,邹鹏

计算机科学. 2010, 37 (11): 24-28.

摘要 ( 192 )

PDF(444KB) ( 1270 )

相关文章 | 多维度评价

Gossip算法简单、高效，同时具有很好的可扩展性和鲁棒性，很好地适应了无中心、大规模、高度动态的分布式网络环境。近些年在分布计算领域中涌现出了大量Gossip相关的研究成果。介绍了Gossip算法发展的历史;总结提出了Gossip算法的衡量标准和影响因素;对Gossip算法在分布环境下的应用进行了综述;最后指出Gossip算法研究存在的挑战。

访问控制模型研究进展

韩道军,高洁,瞿浩良,李磊

计算机科学. 2010, 37 (11): 29-33.

摘要 ( 95 )

PDF(524KB) ( 1832 )

相关文章 | 多维度评价

访问控制在众多领域中起着重要的作用，是信息系统中进行资源安全控制和管理不可缺少的一个部分。介绍了不同访问控制模型的特点及实现方式，并对每种访问控制模型的优缺点进行了分析和比较。同时，介绍了一种语义丰富的标准访问控制策略描述语言(XACML)及访问控制模型中需要进一步研究的一些内容。

一种不依赖于协商策略的信任协商协议

李开,李瑞轩,鲁剑锋,卢正鼎

计算机科学. 2010, 37 (11): 34-37.

摘要 ( 127 )

PDF(323KB) ( 437 )

相关文章 | 多维度评价

自动信任协商为开放环境中希望进行资源共享或业务协作的陌生双方提供了一种灵活的信任建立方法。然而现有自动信任协商系统之间不具备可互相操作性，首要原因是缺少一个统一的信任协商协议。提出了一种不依赖于协商策略的信任协商协议，将协议消息划分为资源请求、信息披露和终止协商3种类型并定义了消息的格式，阐明了协商过程的3种状态及状态之间的转化关系，同时给出了协议实现算法。分析表明，该协议支持包括多种格式信任证在内的数字断言和不同策略语言描述的访问控制策略的披露，允许在一次协商过程中使用多种协商策略进行协商，以满足不同应用场景的协商需求，因而具有明显的通用性。

Skitter与Ark探测架构下AS级Internet拓扑分析

张君,赵海,康敏

计算机科学. 2010, 37 (11): 38-40.

摘要 ( 163 )

PDF(239KB) ( 465 )

相关文章 | 多维度评价

选取CAIDA授权的AS级2003年1月—2007年12月的Skitter数据及2008年1月—12月的Ark数据进行层层深入的对比分析，以说明Internet拓扑探测架构的改变对拓扑探测结果的影响。首先统计了Skitter及Ark架构下AS级Internet拓扑的多种宏观特征，分析了Skitter与Ark在各特征值上的异同，进而分析了网络的幂率特征与网络连通性以及拓扑核数的演化，指出幂率性质以及高聚类性质在Internet拓扑中是真实存在的，不随探测方式的改变而消失。

网格网的智能化调度研究

张焕炯,钟义信

计算机科学. 2010, 37 (11): 41-43.

摘要 ( 119 )

PDF(287KB) ( 454 )

相关文章 | 多维度评价

网格计算的资源管理和任务调度是解决网格资源描述、组织管理和任务分配等关键问题的技术，它既是保证网格网作为先进的计算基础的重要前提，也是体现网格网特色的重要要素。针对网格网任务调度进行研究，并给出了一种智能化的调度方案，预期该方案能快捷、有效和智能地进行网格网任务调度，极大地提高网格网任务调度的效率。

基于复杂网络理论的无线传感器网络特征度量分析

张成才,齐小刚

计算机科学. 2010, 37 (11): 44-46.

摘要 ( 117 )

PDF(333KB) ( 427 )

相关文章 | 多维度评价

通过研究复杂网络的理论，介绍了复杂网络的几种主要特征度量，并以此分析了无线传感器网络的特性。列举了无线传感器网络的节点度分布、集聚系数、平均路径长度、网络联通性等特性。研究了节点数、通讯半径、连通率间的关系，由仿真的数据得出，增加节点不能完全保证网络的联通，只能增加联通的概率，而增加通讯半径则可以迅速地使网络联通。因此，在条件允许的情况下，选择通讯半径大的传感器比增加撒布节点更能保证网络的联通。最后给出了适合于无线传感器网络的介数的评价方法。

一种基于网络顶点割的拓扑优化算法

王宏,赵锋,彭伟

计算机科学. 2010, 37 (11): 47-49.

摘要 ( 188 )

PDF(238KB) ( 648 )

相关文章 | 多维度评价

优化网络设计是网络管理的目标之一。介绍一种基于关键链路分析和图的顶点割来优化网络拓扑结构设计的BTop算法，它结合流量工程和图形学理论对已有的网络拓扑进行优化设计。对算法的特性进行了分析，使用Abilene流量和拓扑数据验证了算法的有效性。

无线传感器网络候选者成簇路由协议

杨兵,李国徽,许华杰,杜建强

计算机科学. 2010, 37 (11): 50-54.

摘要 ( 103 )

PDF(475KB) ( 409 )

相关文章 | 多维度评价

LEACH协议是一种重要的层次型路由协议，它通过周期性轮换网络中的簇头节点来均衡所有节点能耗。但是LEACH协议的随机策略会导致在路由过程中产生不合理的层次结构，影响网络的性能。CCRP协议采用一种基于候选者的成簇机制和基于预测策略的多帧传输机制，能够解决LEACH中层次结构不合理的问题，并降低节点失效带来的负面影响。实验证明CCRP与LEACH相比具有更好的节能性和容错性。

一种基于TPM增强的ARAN安全路由协议

王博,黄传河,杨文忠,王桐

计算机科学. 2010, 37 (11): 55-58.

摘要 ( 131 )

PDF(429KB) ( 466 )

相关文章 | 多维度评价

安全路由协议设计是Ad hoc网络安全研究的重要组成部分。当前研究主要集中在采用经典密码学中的方法来保证路由安全。结合可信计算中的TPM和典型的安全路由协议ARAN，提出了一种新的安全路由协议TEARAN，该协议不再采用集中式的公钥证书分发中心PKI，而是采用TPM中的DAA(Directed Anonymous Attestation)方式来进行节点的身份认证，以及软安全中可信阂值来监测部居节点的行为，从而进行公钥可信分发，同时确保了无恶意节点加入网络，另外，也采用公钥签名、会话密钥加密来保证端到端通信的保密性、完整性和不可否认性。理论证明了提出的TEARAN协议能够实现网络的匿名安全，防范当前常见的攻击方式，达到了很好的安全保证效果。

宣告式网络程序设计语言比较研究

齐欣,曲文武

计算机科学. 2010, 37 (11): 59-63.

摘要 ( 119 )

PDF(454KB) ( 420 )

相关文章 | 多维度评价

网络技术的发展和异构计算设备种类的增多给网络协议的设计开发带来诸多挑战。网络协议设计者面临的最基本问题是如何脱离繁琐的协议实现细节，而将主要精力放在协议的功能设计上。近年来，为了解决这个问题，宣告式网络程序设计语言，被提出。宣告式网络程序设计语言吸取数据库管理系统成功的经验，将网络划分为逻辑层和物理层。网络协议设计者只需利用其提供的高层编程抽象设计网络协议的功能，而不用关心繁杂的物理层实现。通过分析和比较不同宣告式网络程序设计语言，对其发展进行了总结，并指出了进行进一步的研究工作需要注意的问题。

基于DSimC和EWDS的网络安全态势要素提取方法

赖积保,王慧强,郑逢斌,冯光升

计算机科学. 2010, 37 (11): 64-69.

摘要 ( 180 )

PDF(607KB) ( 470 )

相关文章 | 多维度评价

为了融合多源异构的网络安全信息，提取反映网络整体安全状况的要素信息，提出了一种基于相异度计算和指数加权vs证据理论的网络安全态势要素提取方法，该方法包括多源报警聚类和融合两个阶段。针对多源报警的不同阶段，首先研究一种基于DSimC的多源报警聚类方法，即通过计算报警之间的不同类型特征相异度来判断报警之间的相似程度;其次研究一种基于EWDS的多源报警融合方法，即通过融合不同数据源所提供的证据综合识别入侵攻击行为。实验结果表明，所提出的方法在TPR,FPR和DIR指标方面均取得了不错的效果，克服了单个安全设备误报率和漏报率高的问题，为进一步的网络安全态势评估和预测提供了有力的数据保障。

基于w-NNAF的快速Edwards曲线标量乘法

贺毅朝,寇应展,曲文龙

计算机科学. 2010, 37 (11): 70-74.

摘要 ( 130 )

PDF(378KB) ( 482 )

相关文章 | 多维度评价

在分析利用Edwards曲线上三倍点公式计算3nP(n=1,2,...)的基础上，根据各3"P的坐标具有统一表示形式的特性，提出了一种通过减少求逆运算而快速计算3"P (n=2, 3}..)的新算法I}ripling_Algorithm，并将此算法与标量k的二NNAF表示方法相结合，给出了一种计算标量乘法kP的高效算法ImprovedSM-3-NNAF。通过对ImprovedSM-3-NNAF的计算复杂性与安全性分析表明，利用该算法计算kP不仅是安全的，而且至少可节约20. 78%的计算量，大大改进了Edwards曲线上标量乘法的计算效率。

一种基于多维云模型的多属性综合评价方法

郭戎潇,夏靖波,董淑福,龙门

计算机科学. 2010, 37 (11): 75-77.

摘要 ( 104 )

PDF(250KB) ( 610 )

相关文章 | 多维度评价

基于多维云能够表述复杂模糊概念的特性，提出一种基于正态多维云模型的多属性综合评价方法。将“属性概化”的概念引入系统评价中，利用一维云模型对单个属性进行多级描述;在此基础上，针对各级评语建立其对应的多维评判云和描述系统整体属性的多维属性云，并通过比较两类云模型的相似程度得出评价结果。实验结果表明，该方法能够在单一价值分类的基础上实现多重价值分类和排序，同时能够较为直观地反映出各属性值对综合评价结果的影响。

无线有组织网群组移动模型

刘行兵,郑雪峰,韩晓光,于义科

计算机科学. 2010, 37 (11): 78-80.

摘要 ( 128 )

PDF(366KB) ( 417 )

相关文章 | 多维度评价

群组移动模型是无线网络研究中的基础问题之一。移动模型对无线网络协议的设计、算法的性能评价等问题的研究具有重要意义。回顾了现有群组移动模型的特点和应用范围，它们都不能有效模拟无线有组织网群组行为特性。在分析无线有组织网群组特点的基础之上，提出了以中心节点为参考点的无线有组织网群组移动模型，模型仿真更加接近真实无线有组织网络。通过设置不同参数对网络仿真与网络实际情况进行分析比较，证实了新的群组移动模型的可用性。

无线多媒体传感器网络实时MAC协议

黄志杰,李峰,高强

计算机科学. 2010, 37 (11): 81-85.

摘要 ( 225 )

PDF(537KB) ( 364 )

相关文章 | 多维度评价

实时性是无线多媒体传感器网络的重要考虑因素之一，而MAC协议能否高效地使用无线信道对保障无线多媒体传感器网络的实时性起着决定性作用。针对无线多媒体传感器网络的业务数据特点，提出了一种基于时隙预留的多信道实时MAC协议。该协议在响应流媒体查询之前，事先建立一条从源节点到汇聚节点的时隙预留流路径，从而最小化数据包在每一次转发时的信道接入时延。仿真结果表明，该协议明显减小了流媒体数据的端到端时延与时延抖动，并且具有较好的能量有效性。

P2P网络中基于节点负载度的均衡控制算法研究

陈立龙,刘玉华,许凯华,魏玉英

计算机科学. 2010, 37 (11): 86-88.

摘要 ( 143 )

PDF(356KB) ( 471 )

相关文章 | 多维度评价

在非结构化P2P网络中，为了抑制“搭便车“行为，需要寻找网络中的集散节点。在参考传统集散节点连接数的基础上，还考虑了不同节点的负载能力差异，引入了负载度概念，将负载度高的节点称为重载节点。在此基础上提出了一种节点负载均衡控制算法，将重载节点的负载向一些轻载节点转移。仿真实验表明，本算法能有效地控制网络中各节点的负载，使之尽可能合理均衡分布，以此抑制“搭便车”行为，从而维护和提高网络性能。

区分服务在多层Web应用中的实现

胡延苏,戴冠中,高昂,潘文平

计算机科学. 2010, 37 (11): 89-91.

摘要 ( 122 )

PDF(327KB) ( 357 )

相关文章 | 多维度评价

通过对三层服务器的构架分析，突破了常用的传递函数方法，建立了基于区分服务的MIMO系统状态空间模型，并在此基础上应用控制理论中的极点配置和状态反馈方法设计控制器，对不同优先级在不同Web层次上进行资源分配，实现其比例延迟保证。实验证明，原系统可近似为一组低阶线性方程，且在所设计的控制器作用下可达到良好的区分效果。

基于云计算Live Mesh的流媒体应用研究

曹彬,程久军,闫春钢

计算机科学. 2010, 37 (11): 92-96.

摘要 ( 114 )

PDF(449KB) ( 396 )

相关文章 | 多维度评价

流媒体技术和云计算的迅速发展，以及越来越多的流媒体应用平台的涌现，极大地促进了网络用户间媒体信息的传播和共享，但业务上同时存在很多问题，例如，媒体播放在设备间快速切换和流媒体断点续播等问题。研究了一种基于云计算平台Live Mesh的流媒体应用系统。该系统采用URI定位和XMI、实现了媒体资源的集中管理，并采用局域网UDP广播与多线程处理机制实现了媒体播放状态在局域网内不同终端之间的即时切换;采用Live Mesh的消息管理机制，实现了流媒体的断点续播功能。实验结果表明，在不同终端之间可以实现相同媒体资源的共享和媒体播放一键即时切换，同时可以智能地实现断点续播。

对Chen等人电子选举方案的密码学分析和修正

窦本年,张宏,许春根,韩牟

计算机科学. 2010, 37 (11): 97-98.

摘要 ( 112 )

PDF(252KB) ( 467 )

相关文章 | 多维度评价

摘要2004年，Chen等人提出一个安全的匿名网络选举方案。指出Chen等人给出的方案是不安全的;另外，给出一个满足电子选举安全要求的修正方案。

一种高效节能的无线传感器网络Top-K查询算法

程捷,刘文予,张胜凯,蒋洪波

计算机科学. 2010, 37 (11): 99-102.

摘要 ( 111 )

PDF(341KB) ( 389 )

相关文章 | 多维度评价

数据查询应用是无线传感器网络的基本应用之一，而查询最大(或最小的)的K个值即Top-K查询则是查询应用中的重要内容。高效节能是无线传感器网络应用中的关键问题。提出一种高效节能的Top-K查询算法ETQA(Energy-efficient Top-K Query Approach)，该方法通过数据滤波的数据融合方法预防冗余数据的上传，达到节省节点通信量的目的。系统采用数据流模型在每个时刻更新"hop-K数据，以满足互联网上大量用户查询的需要。为了保证能量有效性，基站将适时调整节点的滤波器，阻止不必要的数据上传。同时，如果滤波器设置过高(或过低)，将探寻必要的数据以保证Top-K值的正确性。实际采样数据的仿真实验结果表明，该方法较NAI VE, FILA和TAG算法能够大幅度节省无线传感器网络的整体能耗。

一种新的基于伪提取矢量的欠定盲分离方法

白琳,陈豪

计算机科学. 2010, 37 (11): 103-106.

摘要 ( 106 )

PDF(327KB) ( 346 )

相关文章 | 多维度评价

针对独立信号源的欠定盲分离，通过一定的理论分析，提出了一种基于伪提取矢量的欠定盲源分离方法。该方法通过判断采样点处取值占优的源信号，然后在观测信号采样点处选取对应的伪提取矢量，以恢复取值占优的源信号采样点的值，来实现欠定盲源分离。将该算法与经典的基于线性规划的欠定盲源分离方法进行了仿真，结果表明该方法由于在信号的各采样点处无需优化，因此大大提高了信号分离的速度，信号的分离速度要比基于线性规划的方法快数十倍。

安全的航空物品管理RFID系统

邓森磊,马玉军,石金娥,周利华

计算机科学. 2010, 37 (11): 107-110.

摘要 ( 95 )

PDF(339KB) ( 360 )

相关文章 | 多维度评价

无线射频识别，航空物品管理，认证协议，安全

一种基于等级法的联网审计绩效评价方法

陈伟

计算机科学. 2010, 37 (11): 111-116.

摘要 ( 96 )

PDF(491KB) ( 404 )

相关文章 | 多维度评价

持续审计是目前审计领域研究的一个前沿问题，我国研究与实施的联网审计也是持续审计的一种实现方式。结合目前我国开展联网审计的现状、特点及需要，研究适合联网审计的绩效评价方法:首先，基于对联网审计的实施成本、效益、审计风险控制等因素的分析，建立了适合联网审计特点的绩效评价指标体系，然后采用等级法确定评价指标权重，在此基础上建立了联网审计的绩效评价模型，最后通过实例分析了本方法的应用。这些工作为研究联网审计绩效评价打下了基础。

基于可逆函数复杂性的正反控制门可逆网络综合

倪丽惠,管致锦,聂志浪

计算机科学. 2010, 37 (11): 117-121.

摘要 ( 118 )

PDF(381KB) ( 377 )

相关文章 | 多维度评价

提出了基于可逆函数复杂性的正反控制(PNC, Positive/Negative ControD门可逆网络综合方法。该方法根据可逆函数的输出排列，逐次交换输出向量，在交换过程中减少函数的复杂性，直至复杂性为零。每一次向量的交换对应一个独立的PNC门。利用该方法综合部分可逆函数，并将实验结果与国际上代表性文献采用的实验用例进行比较。结果表明，构造的可逆网络在可逆门数上有一定程度的改善。

一种基于UPPAAL的Web服务组合模型检测方法

何亚丽,戎玫,张广泉

计算机科学. 2010, 37 (11): 122-125.

摘要 ( 118 )

PDF(339KB) ( 385 )

相关文章 | 多维度评价

Web服务组合的正确性验证对提高软件开发效率、实现服务增值具有重要意义。为从高层抽象层次研究Web服务组合的正确性及其形式化验证方法，考虑到Web服务组合中的实时特征，在采用软件体系结构描述语言XYG/ADL对Web服务组合进行描述的基础上，将其实时描述部分XYZ/RE转换至时间自动机模型，组合后系统应满足的性质用分支时序逻辑CTL公式表示，最后应用模型检测工具UPPAAL实现了Web服务组合正确性的自动化验证。

基于Object-Z的ReflectiveArchitecture形式化研究

罗巨波,应时

计算机科学. 2010, 37 (11): 126-130.

摘要 ( 97 )

PDF(372KB) ( 388 )

相关文章 | 多维度评价

将元信息、元建模、反射和软件体系结构结合起来，提出了一种基于反射机制的软件体系结构重用方法，该方法是一种更通用、更便捷的重用方法；该方法定义并构造了一种在设计阶段支持软件体系结构重用的反射机制RMRSA。描绘了基于反射机制RMRSA的反射式软件体系结构ReflectiveArchitecture的元级体系结构模型。运用形式规格说明语言Object-Z对元级体系结构模型进行了完整的描述;选取链接模式Link，给出了它的初始化定理及其证明过程，以此为范例证明了被形式化的反射式软件体系结构的正确性。

多维标度法选择回归测试子集

王晓华,张涛,尚景亮,王金波

计算机科学. 2010, 37 (11): 131-134.

摘要 ( 115 )

PDF(420KB) ( 417 )

相关文章 | 多维度评价

在软件改动较大且资源限制严格时，回归测试目前的方法难以满足实际需要。因此，提出利用多维标度法选择回归测试子集的方法。该方法使用测试执行剖面表示测试集，通过计算剖面数据，将测试集合按照测试效果可视化分类，综合考虑了软件变更及测试用例的典型性，适用于大规模软件更改较多时获取有代表性的测试子集。实验表明，多维标度法能够全面反映原测试集对变更的测试程度，从而使得回归子集的获取及测试实施更有针对性，能够满足限制严格的回归测试要求。

基于C-MMAS算法的组合服务动态选择研究

刘志中,王志坚,周晓峰,娄渊胜

计算机科学. 2010, 37 (11): 135-140.

摘要 ( 100 )

PDF(493KB) ( 367 )

相关文章 | 多维度评价

将大规模的具有多种组合路径的QoS最优组合服务选择转换成带约束的最优路径选择问题，并提出了一种基于文化的最大一最小蚁群优化算法(C-MMAS)来完成最优路径选择。C-MMAS计算模型由基于MMAS的群体空间、基于优秀解的信仰空间及其之间的通信协议组成。群体空间在完成基于MMAS的演化后进行基于“变异”的进化操作，并将每次演化和进化后的优秀解作为知识贡献给信仰空间，信抑空间按照一定的优化规则更新空间里的知识，当信仰空间里的知识经过若干代的积累沉淀后再对群体的演化进行指导。此计算模型在知识和群体层面使用双重进化机制支持问题的求解和知识的提取，充分利用了种群的进化机制和知识的指导作用，在很大程度上提高了种群的多样性及收敛速度，达到了防止早熟、降低计算代价的目的。理论分析和实验结果说明了该算法的可行性和有效性。

面向复用的流程相似判定方法

胡俊,孙瑞志,向勇

计算机科学. 2010, 37 (11): 141-144.

摘要 ( 103 )

PDF(437KB) ( 431 )

相关文章 | 多维度评价

业务流程的复用即利用已有的业务流程或者业务知识等建立新的流程模型，是工作流技术研究的一个热点。业务流程的复用能够降低流程定义的复杂度，提高流程定义的质量和效率。为实现流程复用，提出了相似流程的判定依据和一种面向复用的流程相似判定方法，详细阐述了面向复用的流程相似判定方法的原理和步骤。利用该方法能够判定流程是否相似并根据相似的流程自动归纳生成工作流模板，实现流程定义的复用。

基于随机Petri网的服务组合可协调性研究

张静乐,杨扬,高昂,王元卓,赵晓永

计算机科学. 2010, 37 (11): 145-147.

摘要 ( 98 )

PDF(331KB) ( 388 )

相关文章 | 多维度评价

提出了一种基于随机Petri的服务组合间可协调性研究方法。首先，给出了服务以及服务系统的定义；然后，在服务以及服务组合可协调性定义的基础上给出了可协调行分析算法;最后，以一个电子物流系统为例，在随机Petri网建模的基础下给出了服务组合间的可协调性研究方法。

OpenMP多线程负载均衡调度策略研究与实现

任小西,唐玲,李仁发

计算机科学. 2010, 37 (11): 148-151.

摘要 ( 141 )

PDF(454KB) ( 671 )

相关文章 | 多维度评价

循环并行化是OpenMP并行化程序中最重要的部分，线程数、循环体大小、调度策略等是并行化过程需要考虑的主要因素。为了在调度开销与负载均衡之间获得更好的权衡，在OMPi编译器中实现了梯式trapezoid调度策略，以提高OpenMP多线程程序的运行性能。实验结果表明，梯式调度策略应用在递减以及某些极不规则的循环结构中，在适当的线程数下，与指数调度相比，该调度策略能表现出更好的性能。

数据立方体选择的改进遗传算法

董红斌,陈佳

计算机科学. 2010, 37 (11): 152-155.

摘要 ( 121 )

PDF(370KB) ( 440 )

相关文章 | 多维度评价

数据立方体选择问题是一个NP完全问题。研究了利用遗传算法来解决立方体选择问题，提出了一个结合局部搜索机制的遗传算法。这一算法的核心思想在于，首先运用一个基于单位空间最大收益值的预处理算法来生成初始解，然后该初始解经结合了局部搜索机制的遗传算法进行提高。实验结果表明，该算法在寻优性能上优于启发式算法和经典遗传算法。

一种基于LDA的在线主题演化挖掘模型

崔凯,周斌,贾焰,梁政

计算机科学. 2010, 37 (11): 156-159.

摘要 ( 145 )

PDF(465KB) ( 732 )

相关文章 | 多维度评价

基于文本内容的隐含语义分析建立在线主题演化计算模型，通过追踪不同时间片内主题的变化趋势进行主题演化分析。将Latent Dirichlet Allocation(LDA)模型扩展到在线文本流，建立并实现了在线LDA模型；利用前一时间片的后验概率影响当前时间片的先验概率来维持主题间的连续性;根据改进的增量Gibbs算法进行推理，获取主题一词和文档一主题的概率分布，利用KullbackLeibler(KL)相对嫡来衡量主题之间的相似度，从而发现主题演化中的“主题遗传”和“主题变异”。实验结果表明，该模型能从互联网语料中找出主题的演化趋势，具有良好的效果。

基于小波概要的区间差分skyline研究

程文聪,邹鹏,贾焰

计算机科学. 2010, 37 (11): 160-165.

摘要 ( 111 )

PDF(587KB) ( 412 )

相关文章 | 多维度评价

在很多应用中需要分析大量的时序数据，而相对于其它数据具有支配优势的时序数据片段往往会引起特别的关注。基于量值度量，现有的区间skyline查询可以返回给定时间区间内所有没有被其他数据支配的时序数据，这种查询有时不能满足应用的需求，且可能存在“淹没”现象。为此提出了区间差分skyline的概念，针对数据增长率属性进行分析，以解决现有区间量值skyline的不足。目前很多时序数据呈现为数据流的形式，由于资源的限制往往只会维护一个反映数据概况的概要结构，在此背景下提出了基于常用的小波概要支持不同粒度区间差分sk沙nc查询的基本算法，继而在保证准确性的基础上提出了改进后的快速算法。在真实股票价格数据集上的实验验证了所提方法的有效性。

基于描述逻辑的CWM元数据冲突的检测和消解

赵晓非,黄志球

计算机科学. 2010, 37 (11): 166-171.

摘要 ( 97 )

PDF(513KB) ( 346 )

相关文章 | 多维度评价

元数据内容的冲突能够对数据仓库系统的稳定性和可靠性造成极大影响。在基于公共仓库元模型(CWM)建立元数据的过程中，参与建立元数据的团体的不同经验以及描述数据的不同视角不可避免地会带来元数据的这些冲突。然而，CWM的图形化特点导致了它缺乏精确的语义，所以如何自动检测和消解这些冲突，至今没有得到很好的解决。首先提出了一种支持概念之上的同一性约束的描述逻辑，用来对CWM元模型和元数据进行描述，然后阐述了利用该描述逻辑形式化CWM元模型和元数据的方法，接着研究了利用描述逻辑的查询推理能力检测元数据冲突的方法，最后研究了通过在知识库中定义冲突消解规则，消解元数据冲突的方法。利用推理引擎RACER所进行的实验结果表明提出的方法是可行的。

基于XML路径和类型的决策问题的研究

沈洁,印桂生,王向辉

计算机科学. 2010, 37 (11): 172-174.

摘要 ( 109 )

PDF(307KB) ( 418 )

相关文章 | 多维度评价

提出了一种算法来分析用正则树表示的XML数据中对XPath的决策问题，并用该方法检查XPath静态类型的数据。此外根据对有限顺序树的带逆操作的逻辑的判定性定理，证明了算法时间复杂度为简单的一个表达式的指数级大小。提出了一套实用的、有效的数学模型来解决XPath表达式中的可满足性问题。并通过对一些决策问题，例如带或者不带类型约束的XPath的空、包含、重叠和覆盖问题的实验对算法进行了证实，实验证明该系统能够有效用于对操作XPath表达式和XML类型注释的程序语言的静态分析器中。

时态数据完整性约束研究与实现

刘海,汤庸,郭欢,叶小平

计算机科学. 2010, 37 (11): 175-179.

摘要 ( 109 )

PDF(418KB) ( 343 )

相关文章 | 多维度评价

时态数据库的完整性是为了保证时态数据库中存储的时态数据的正确性。为了防止时态数据库中出现不符合时态模型语义的数据，需要研究时态数据库的时态完整性相关理论，为时态更新操作的正确执行提供理论支持。在时态关系数据模型的基础上，通过将传统的数据完整性约束机制扩展到时态数据库领域，给出了时态完整性约束的完整定义和在不同的情况下违反时态完整性约束的具体处理机制，为时态数据处理构件——TempDB实现时态数据完整性约束提供了理论基础和实现依据，这对时态数据库理论的进一步完善和相关的实现技术具有重要的参考价值。

基于最短路径的道路网络k近邻查询处理

廖巍,吴晓平,胡卫,钟志农

计算机科学. 2010, 37 (11): 180-183.

摘要 ( 102 )

PDF(383KB) ( 472 )

相关文章 | 多维度评价

针对基于空间道路网络的k近部查询处理，提出了分布式移动对象更新策略以有效减少服务器计算代价，利用基于内存的空间道路网络部接矩阵、最短路径矩阵结构和移动对象哈希表索引分别对道路网络无向图与移动对象进行存储管理。提出了基于最短路径度量的网络扩展搜索(SPNE)算法，以通过裁剪网络搜索空间来减少k近部查询搜索代价。实验表明，SPNE算法的性能优于传统的NE和MKNN等k近邻查询处理算法。

基于Zipf分布与属性相关性的选择性估计

姜芳艽

计算机科学. 2010, 37 (11): 184-189.

摘要 ( 136 )

PDF(498KB) ( 538 )

相关文章 | 多维度评价

在Deep Web数据集成中，集成查询接口和很多W cb数据库查询接口用合取谓词表达查询，但是也有相当一部分Web数据库的查询接口用互斥谓词表达查询，这意味着查询转换时每次只能选择一个谓词。因此，准确、高效地佑计每个互斥查询的选择性是优化查询转换的关键。提出了基于Zipf分布与属性相关性的选择性佑计方法。通过属性之间的相关性从Web数据库上获取该属性近似随机的属性级样本，在此基础上计算属性值的Zipf分布方程，进而推断该无限值属性的任意值的选择性。实验表明，该方法可以准确、高效地估计各互斥查询的选择性。

一种适用于电子病历系统的使用控制模型

王莹,陈伟鹤,鞠时光

计算机科学. 2010, 37 (11): 190-193.

摘要 ( 93 )

PDF(351KB) ( 376 )

相关文章 | 多维度评价

通过分析采用传统访问控制的电子病历系统存在的不足，提出了一种使用新一代访问控制模型——使用控制模型(UCON, usage control)思想的电子病历系统，并给出了具体的访问控制策略及其形式化描述。

变焦佳点集遗传算法

彭勇,林浒,卜霄菲

计算机科学. 2010, 37 (11): 194-198.

摘要 ( 110 )

PDF(394KB) ( 673 )

相关文章 | 多维度评价

通过使用数论佳点集理论与方法构造出佳点交又算子，佳点集遗传算法(GGA)具有更快的收敛速度和精度，且避免了常见的早期收敛现象，但是二进制编码的佳点集遗传算法在位串长度确定的情况下无法克服二进制与实数之间的映射误差。针对二进制编码遗传算法存在从最高位到最低位依次收敛的多米诺现象，提出含有变焦因子的佳点集遗传算法来变相增加位串编码长度以期缩小该映射误差，提高搜索效率和求解精度。通过不同维数下的Benchmark测试函数的仿真结果表明，改进的算法具有全局收敛、求解精度和搜索效率高的优点。

基于自然语言的模糊多属性云决策方法研究

吴爱燕,于重重,曾广平,涂序彦

计算机科学. 2010, 37 (11): 199-202.

摘要 ( 91 )

PDF(296KB) ( 386 )

相关文章 | 多维度评价

借鉴云模型的研究思想，提出了基于自然语言的模糊多属性云决策方法，主要工作如下：首先，针对多属性群决策的属性评估集和等级评估集设计了等级描述云和等级评价云;然后，在此基础上设计了云归一化算法，实现了一个属性多个专家值的融合;最后，设计了云集结算法，该算法将多个属性值集结为一个方案值，进而比较获得最佳方案。云模型能够反映模糊性和随机性的关联，因此，该方法能够更加有效地权衡语言评价信息。最后，通过应用案例证明了该方法的简单性和可行性。

一种基于数值积分的过程神经元网络训练算法

许少华,王颖,王皓,何新贵

计算机科学. 2010, 37 (11): 203-205.

摘要 ( 92 )

PDF(229KB) ( 419 )

相关文章 | 多维度评价

针对过程神经元网络的训练问题，提出了一种基于数值积分的学习算法。直接采用数值积分进行网络中动态样本与连接权函数的时域加权聚合运算，采用梯度下降法实现连接权函数特征参数及网络性质参数的调整。设计了基于梯形积分、辛普森积分、柯特斯积分等3种过程神经元网络数值积分训练方法，以太阳黑子数据预测为例进行仿真实验，结果表明，基于数值积分的过程神经元网络训练算法是有效的，其中辛普森积分算法的性能最优。

一种基于虚拟路径的本体匹配算法

黄涛,崔弘扬,刘清堂,杨宗凯

计算机科学. 2010, 37 (11): 206-211.

摘要 ( 126 )

PDF(536KB) ( 368 )

相关文章 | 多维度评价

本体匹配是实体之间关系的体现，不仅单个概念之间的关系影响本体的匹配关系，概念相邻元素及其语义联系对本体的匹配关系的影响也不容忽视。提出了基于虚拟路径的本体匹配新方法，通过为两个本体元素分别建立由具有语义联系的相部元素及其联系所构成的虚拟路径，将两个目标元素的虚拟路径中各独立要素分别对应地进行概念语义相似性比较;综合虚拟路径内各独立要素的概念语义相似性，获取两个目标元素虚拟路径的图形语义相似性；根据虚拟路径的图形语义相似性推导两个目标元素之间的映射关系。实验表明，该方法能够有效提高本体匹配的质量和性能。

一种基于实时噪声估计的改进谱减法

程塨,郭雷,贺胜,赵天云

计算机科学. 2010, 37 (11): 212-213.

摘要 ( 88 )

PDF(243KB) ( 368 )

相关文章 | 多维度评价

针对非平稳噪声环境和低信噪比下的语音增强，提出了一种基于实时噪声估计的改进谱减法。该方法首先利用临界带特征矢量距离进行端点检测，然后利用低频区和高频区带噪语音特性定义一个时变的调节系数，该系数结合端点检测可以实时地对噪声的估计值进行更新，从而达到快速跟踪外界环境变化的目的。仿真结果表明，该方法在抑制背景噪声、提高信噪比、减少语音失真等方面优于传统的语音增强方法。

直觉梯形模糊数MADM问题的灰色关联分析法

张市芳,刘三阳,翟任何

计算机科学. 2010, 37 (11): 214-216.

摘要 ( 101 )

PDF(229KB) ( 432 )

相关文章 | 多维度评价

针对属性权重信息完全已知且属性值以直觉梯形模糊数形式给出的多属性决策问题，提出了一种灰色关联分析方法。首先给出了直觉梯形模糊数的定义、距离和性质，然后依据传统的灰色关联分析法的基本思想建立了直觉梯形模糊数多属性决策问题的决策步骤。最后给出了一个实例分析，其结果表明了该方法的实用性和有效性。

面向结构稳定性的分裂-合并聚类算法

雷小锋,何涛,李奎儒,谢昆青,丁世飞

计算机科学. 2010, 37 (11): 217-222.

摘要 ( 89 )

PDF(536KB) ( 471 )

相关文章 | 多维度评价

聚类是在假设数据具有某种群聚结构的前提下根据观察到的无标记样本发现数据的最优划分。现有的聚类算法通常简单地导出假设结构和给定先验下最优或较优的聚类结果，体现为算法对样本分布拟合度的迭代最优化，即算法有效性。实际上，聚类的有效性取决于结构有效性、算法有效性和先验有效性3个方面的因素。基于这种考虑，提出了一种变体混合模型的聚类结构假设，以及判定聚类结构的稳定性的度量和方法，在算法有效的前提下通过单簇的分裂与合并来改进聚类结构的稳定性，并得到最终聚类结果，设计并实现了SMClus聚类算法，通过对模拟数据和真实数据的聚类实验，例证了方法的有效性。

C/E网系统中交叠式序列的计数

吴振寰,高莹,吴哲辉

计算机科学. 2010, 37 (11): 223-226.

摘要 ( 197 )

PDF(352KB) ( 382 )

相关文章 | 多维度评价

在CCS中，Milner把系统中的两个事件处于并发定义为“它们可以按任意顺序发生”。这个关于并发的定义被称之为“交叠式并发”。然而在网论中，Petri把并发定义为“非序”，并指出并发是冲突的精确对偶。Petri关于并发的定义被公认为“真并发”。为了研究这两种并发概念的联系和差异，以C/E系统为模型，分别从这两种不同定义的视角出发，讨论了并发的表现和实质，并对网系统中存在的不同并发组合情况给出了求交叠式序列(根据交叠式并发概念而得出)个数的一组计算公式。

时间区间时序逻辑的判定性与表达能力

朱维军,周清雷

计算机科学. 2010, 37 (11): 227-229.

摘要 ( 95 )

PDF(221KB) ( 506 )

相关文章 | 多维度评价

模型检测技术在实时系统验证中被广泛使用。离散时间区间时序逻辑满足性是可判定的，因而也是可模型检测的。连续时间域时间区间时序逻辑是否可模型检测，则并不清楚。约束时间域到非负实数，证明了其可满足性是不可判定的，但存在该逻辑的可判定子集，并发现了这样的子集。由于模型检测问题可归约为时序逻辑满足性判定问题，因此结果表明，时间区间时序逻辑不可模型检测，但其可判定子集可模型检测。

粗糙集构成的拓扑空间

乔全喜,秦克云,洪智勇

计算机科学. 2010, 37 (11): 230-231.

摘要 ( 81 )

PDF(151KB) ( 409 )

相关文章 | 多维度评价

在Pawlak近似空间意义下研究粗糙集构成的拓扑空间。讨论了当论域不受限于有限集时粗糙集可以构成一个拓扑空间，并从拓扑空间的分离性上证明了其粗糙拓扑空间是一个正规的拓扑空间。

集值信息系统的粗糙熵

马建敏,张文修

计算机科学. 2010, 37 (11): 232-233.

摘要 ( 105 )

PDF(223KB) ( 446 )

相关文章 | 多维度评价

熵理论是信息系统中不确定性研究的有效工具之一。首先给出了集值信息系统的拟序关系，在此基础上引入了粗糙熵，讨论了粗糙熵的最大、最小值，并证明了粗糙熵的单调性。

一种基于聚类集成技术的混合型数据聚类算法

罗会兰,危辉

计算机科学. 2010, 37 (11): 234-238.

摘要 ( 94 )

PDF(527KB) ( 439 )

相关文章 | 多维度评价

提出了一种基于集成技术和谱聚类技术的混合数据聚类算法CBEST。它利用聚类集成技术产生混合数据间的相似性，这种相似性度量没有对数据特征值分布模型做任何的假设。基于此相似性度量得到的待聚类数据的相似性矩阵，应用谱聚类算法得到混合数据聚类结果。大量真实和人工数据上的实验结果验证了CBEST的有效性和它对噪声的鲁棒性。与其它混合数据聚类算法的比较研究也证明了CBEST的优越性能。CBEST还能有效融合先验知识，通过参数的调节来设置不同属性在聚类中的权重。

一种改进的线性判别分析算法MLDA

刘忠宝,王士同

计算机科学. 2010, 37 (11): 239-242.

摘要 ( 121 )

PDF(318KB) ( 402 )

相关文章 | 多维度评价

线性判别分析(LDA)是模式识别方法之一，已广泛应用于模式识别、数据分析等诸多领域。线性判别分析法寻找的是有效分类的方向。而当样本维数远大于样本个数(即小样本问题)时，LDA便束手无策。为有效解决线性判别分析法的小样本问题，提出了一种改进的LDA算法——MLDA。该算法将类内离散度矩阵进行标量化处理，有效地避免了对类内离散度矩阵求逆。通过实验证明MLDA在一定程度上解决了经典LDA的小样本问题。

基于遗传小波神经网络的语音识别分类器设计

韩志艳,王健,伦淑娴

计算机科学. 2010, 37 (11): 243-246.

摘要 ( 73 )

PDF(337KB) ( 391 )

相关文章 | 多维度评价

分类在语音识别中是很重要的，由于小波神经网络的学习效果对网络隐层节点数、初始权值(包括阈值)、伸缩和平移因子以及学习率和动量因子的依赖性较大，致使其全局搜索能力弱，易陷入局部极小，收敛速度减慢，甚至不收敛。而遗传算法具有的高度并行、随机、自适应搜索性能，使它在处理用传统搜索方法解决不了的复杂和非线性问题时具有明显的优势。因此，考虑把遗传算法和神经网络相结合，采用遗传算法选取初值进行训练，用小波神经网络完成给定精度的学习。仿真实验结果表明，该模型有效地提高了语音的识别率，并缩短了识别时间，实现了效率与时间的双赢，为算法的实用性莫定了基础。

一种基于Zernike矩形状检索的新算法

郭丹,闫德勤,吴晓婷,刘胜蓝

计算机科学. 2010, 37 (11): 247-251.

摘要 ( 112 )

PDF(544KB) ( 459 )

相关文章 | 多维度评价

高维Zernike矩作为图像检索的形状特征描述子，具有描述图像区域细节信息的能力，能够全面有效地表征图像的内容。但是高维的矩存在着“维数灾难”的问题，不仅使算法的复杂度增大，而且会增加不必要的信息，造成主要信息混淆，影响对图像的描述。提出了流行学习的方法来处理冗余的数据信息。在通过拉普拉斯图保持局部样本数据不变的情况下，引入了全局算法来保证样本的整体性。考虑到信息之间的相关性而影响投影的准确率，对其进行Schur特征值分解，得到正交基向量，从而使数据重构相对容易，并且Zernike矩的旋转不变性仍能保持下来，使检索得到的图像更加符合人眼视觉效果。该方法在检索性能上优于传统的局部保持投影方法，检索效果有明显的提高。

基于量化布尔公式的条件规划编码方式

高冰冰,张长海,吕帅

计算机科学. 2010, 37 (11): 252-256.

摘要 ( 76 )

PDF(518KB) ( 689 )

相关文章 | 多维度评价

介绍条件规划问题及其相关的求解系统，着重分析以逻辑为基拙的编码方式。针对基于量化布尔公式的转换方法进行详细分析，给出3种不同形式的量化布尔公式编码。最后，对这3种编码进行比较，分析基于命题逻辑公式与量化布尔公式这两种不同转换方式的优劣，讨论基于量化布尔公式的规划方法未来的研究方向和发展趋势。

部分四值逻辑中完满对称函数集的分类及最小覆盖成员的判定

刘任任,王婷,谭昊勋

计算机科学. 2010, 37 (11): 257-260.

摘要 ( 87 )

PDF(236KB) ( 341 )

相关文章 | 多维度评价

根据部分K值逻辑的完备性理论和相似关系概念，对完满对称函数集进行了相似关系分类，并确定了其中的准完备集之最小覆盖成员。

一种改进的小波系数差异量化水印算法

胡青,龙冬阳,卢伟

计算机科学. 2010, 37 (11): 261-264.

摘要 ( 82 )

PDF(380KB) ( 393 )

相关文章 | 多维度评价

针对Lin等提出的“基于小波系数差异化量化，(SDQ)的水印方法存在的问题，提出了一种改进的小波系数差异量化水印算法。算法在密钥的控制下，伪随机地选择中频子带中的两块共8个系数组成一组，嵌入1bit水印信息，显著提高了SDQ算法的安全性。算法改进了SDQ的差异量化方式，在保持图像原有的重要系数大小关系的基础上，通过对最大系数进行小幅度的量化来加强差异，进而提高鲁棒性，并通过差异信息和水印信息生成密钥来提取水印。实验结果表明，该算法能有效抵杭各种攻击，并且图像峰值信噪比可以保持在55dB左右。

基于人脸运动信息和改进保局投影的疲劳识别

张伟,夏利民,罗大庸

计算机科学. 2010, 37 (11): 265-267.

摘要 ( 70 )

PDF(225KB) ( 365 )

相关文章 | 多维度评价

提出了一种基于人脸运动信息和改进保局投影的疲劳识别方法。利用光流技术计算人脸皮层的运动速度，并以此作为疲劳特征;为了有效地进行疲劳特征降维，提出了改进的保局投影方法，该方法很好地保留了数据的局部流形结构和全局结构;采用加权k近部的方法进行疲劳识别。实验结果表明该方法具有很好的识别效果。

基于简约集支持向量机的高光谱影像分类

余旭初,杨国鹏,冯伍法,周欣

计算机科学. 2010, 37 (11): 268-270.

摘要 ( 74 )

PDF(261KB) ( 426 )

相关文章 | 多维度评价

针对高光谱影像支持向量机分类的预侧过程中需要花费大量计算时间的问题，提出了一种利用简约集算法提高高光谱影像分类预测效率的方法。采用径向基核函数，使用一对一构造多类支持向量机分类器，通过交叉验证网格搜索法对参数进行模型参数选择，并利用简约集算法来减少分类预测过程计算量。通过高光谱影像分类试验表明，保持支持向量机的泛化能力并不需要使用所有计算得到的支持向量，简约集算法能够在保持分类预测精度的同时，大大提高高光谱影像分类预测的速度。

综合加权骨架段特征的形状图像检索

束鑫,潘磊,吴小俊

计算机科学. 2010, 37 (11): 271-274.

摘要 ( 72 )

PDF(330KB) ( 370 )

相关文章 | 多维度评价

提出了一种基于综合骨架段特征的形状图像检索方法。首先提取图像中目标的骨架，然后根据骨架上的特征点(端点、分叉点)把整个骨架分割成若干骨架段，用矩特征来描述各段骨架。最后通过MSHP(Most Similar Highest Priority)原理对两幅图像中的骨架段对进行相似性度量，从而得到整幅图像之间的距离。实验表明，该方法较传统的基于整个骨架特征的匹配方法能得到更好的检索结果。

Contourlet域目标不变特征提取

梅雪,夏良正

计算机科学. 2010, 37 (11): 275-277.

摘要 ( 100 )

PDF(244KB) ( 384 )

相关文章 | 多维度评价

在基于形状的目标识别中，提取出鉴别力强并具有不变性的特征是至关重要的问题。多尺度几何分析具有多方向选择性和各向异性的特点，能够更有效地表示目标图像的局部特征，但这些变换本身不具备不变性，极大地限制了它在模式识别中的应用。利用图像广义矩的概念，提出了一种在Contourlet域具有平移、缩放及旋转不变性特征的描述子，该特征能精细地刻画目标区域的局部特性，并在位置、角度及尺寸变换情况下具有不变性，仿真实验验证了其不变性，并讨论了一般情况下，Contourlct变换分解尺度对不同类目标间分离度的影响，为提取最具鉴别性的特征提供了有益的参考。

基于Euclid算法的广义猫映射构造方法及在图像置乱中的应用

李用江,李昌利,葛建华,孙志林

计算机科学. 2010, 37 (11): 278-281.

摘要 ( 89 )

PDF(340KB) ( 341 )

相关文章 | 多维度评价

基于欧几里得算法求乘法逆元的思想，提出了两种构造广义猫映射的简单方法。一种基于Fibonacci序列，一种基于Dirichlet序列；还给出了结合这两个序列的构造方法。仿真实验表明广义猫映射的变换周期是可变的并且相对于猫映射更大，从而有较好的置乱效果，这也使得它的安全性优于猫映射和Fibonacci等置乱变换。在图像信息隐蔽存储与传输中，这类图像变换具有重大的应用价值，为图像置乱提供了更坚实的理论基础。

基于多特征融合的花卉图像检索

柯逍,陈小芬,李绍滋

计算机科学. 2010, 37 (11): 282-286.

摘要 ( 88 )

PDF(466KB) ( 486 )

相关文章 | 多维度评价

以植物花卉图像为研究对象，对植物花卉图像在区域分割、特征提取、基于内容的雷同图像过滤以及基于SVM的植物花卉图像检索等方面进行了系统、深入和较为全面的研究。首先为保证检索效果，提出了基于Canny边缘的雷同图片过滤算法对花卉图像库中的雷同图片进行过滤。然后提出基于2RGB混合颜色模型的自适应阂值分割算法来对花卉图像进行分割。对特征提取采用多特征融合的方法，其中针对形状特征提出了基于HSV颜色模型的加权不变矩，并提出了结合形状特征与纹理特征的边缘LBP算子。通过在花卉图像库进行的实验表明，提出的若干方法都是有效的。

基于二维主成分分析的交通标志牌识别

唐琎,刘波,蔡自兴,谢斌

计算机科学. 2010, 37 (11): 287-288.

摘要 ( 98 )

PDF(267KB) ( 403 )

相关文章 | 多维度评价

提出了将二维主成分分析方法应用于交通标志牌识别的特征提取，并在已建立的两个标志牌的数据库上利用最近部分类器与欧氏距离度量进行了相应的实验。一个数据库是将标志牌图像二值化后经过一系列的仿真变换得到的，另外一个数据库是选取不同位置场景经过实地拍摄得到的标志牌图像。本方法对两个图像库的识别都得到了良好的效果。

一种基于统计分析的存储系统性能调优方法

陆承涛,冯丹,王芳,葛雄资

计算机科学. 2010, 37 (11): 289-293.

摘要 ( 87 )

PDF(557KB) ( 481 )

相关文章 | 多维度评价

计算机系统参数的合理配置能有效提升应用程序的性能。以NFS网络存储系统为例，提出了一种基于统计分析的存储系统性能调优方法，该方法分为关键系统参数识别和关键参数性能优化两个子阶段。阶段一采用方差分析(ANOVA)来建模系统参数的性能灵敏度，识别出对应用性能有显著影响的关键系统参数;然后在此基础上，阶段二采用响应面分析(RSM)来考察各关键参数对性能响应的影响，并综合前两个子阶段给出了性能调优算法，通过该算法找出系统的最优配置，从而最终达到性能调优的目的。最后，用实验评价了文中方法在Web, E-mail, Fileserver,Linux实用程序以及微基准测试等多种重要应用场景下的性能调优结果，实验结果证实了该调优方法的有效性和实用性。

MT2RAID:一种高可靠大规模磁盘阵列结构

王志坤,冯丹

计算机科学. 2010, 37 (11): 295-299.

摘要 ( 115 )

PDF(408KB) ( 380 )

相关文章 | 多维度评价

传统的磁盘阵列一般采用集中式控制结构，其连接的底层磁盘数受系统总线的制约，容易出现性能瓶颈，且不能容两个以上磁盘出错。从模块化系统的组织方法出发，提出一种采用标准模块化存储单元组成的通过胖树结构互连的大规模磁盘阵列结构MT2RAID，分别就其各种数据分布的性能和可靠性进行了分析和讨论。原型系统测试结果表明，相比集中式磁盘阵列结构，MT2RAID也具有较高的性能。

面向ARM平台的音视频编码优化研究

姜春林,贾维嘉,张历卓,谷科

计算机科学. 2010, 37 (11): 300-301.

摘要 ( 80 )

PDF(201KB) ( 390 )

相关文章 | 多维度评价

ARM是性价比很高的嵌入式内核，非常适合作音视频编码系统的CPU。ARM硬件上支持复杂的DSP操作，通常可以在一个时钟周期内完成，极大地提高了音频编码程序的运行速度。在视频编码的数据处理指令中，使用捅形移位器进行移位预处理可以增加代码密度，从而减少取指令次数;而充分利用ARM的16个通用寄存器进行数据操作，也可以减少内存存取操作。实验证明，ARM可以有效提高音视频编码的运行性能。

N体问题的FPGA求解和设计方法

傅丽丽,曾国荪

计算机科学. 2010, 37 (11): 302-306.

摘要 ( 87 )

PDF(400KB) ( 558 )

相关文章 | 多维度评价

N体问题是一个经典动力学问题，在多个领域得到广泛的应用。但随着规模的增大，对求解计算性能的要求成为其研究的主要障碍。当前，FPGA可重构技术由于具有硬件可编程结构和高度并行处理能力而成为高性能计算关注的热点。现以FPGA加速求解N体问题为例，阐述一种新型的求解计算密集型任务的方法。