小型微型计算机系统

Select

论文

P2P VoD系统中一种基于节点生命的缓存优化策略

陈俊1，杜旭1，庄心洁2，江诗怡1

2010, 31(8): 1473-1477.

摘要 ( ) PDF全文 ( )

可视化

P2P VoD应用中，用户行为不同步且允许随时离开系统降低了资源相互共享的概率，导致缓存可用性及服务效率降低.该问题严重影响了用户体验的质量及系统的可扩展性.定义并分析了缓存片段的相对可用性；基于对节点生存期分布规律的考察，提出一种评估缓存片段相对可用性的实用方法；设计出一种分布式的缓存优化策略：利用各节点对局部范围内缓存片段相对可用性的评估、优化来提升整个系统的缓存可用性及服务效率.仿真结果表明，该策略有效提高了播放连续度，降低了服务器负载，提高了系统可扩展性.

Select

论文

WSN中基于完全信息动态博弈的可信路由研究

王江涛,陈志刚, 邓晓衡

2010, 31(8): 1478-1483.

摘要 ( ) PDF全文 ( )

可视化

如何将信任管理运用于无线传感器网络(WSN)的路由选择成为近年来研究的一个热点.考虑无线传感器网络的节点安全度、能量约束以及传输可靠度等三个基本因素，完成节点可信度以及最优可信路径(MTP)的度量，引入博弈机制对节点参与路由进行建模，基于可信度设计了一个payoff函数，通过相应的奖惩机制抑制WSN路由中普遍存在的恶意节点、自私节点以及激励措施问题.实验结果表明与WSN中传统的典型路由算法相比，该最优可信路径算法在网络生存时间，路径安全度，传输可靠性等因素方面综合性能显著改善.

Select

论文

有界模型检测和串空间模型相结合的安全协议验证

杨晋吉1，3，苏开乐2 ，肖茵茵3，李超明3

2010, 31(8): 1484-1488.

摘要 ( ) PDF全文 ( )

可视化

提出用BMC和串空间结合的方法对安全协议进行验证.首先是通过串空间的出测试理论先构造不安全协议的部分丛结构，通过该丛结构来约束协议运行的的规模和角色行为；然后用BMC对该丛结构进行建模，建立起对应的有限状态自动机和LTL验证规范，进行验证，有效减轻状态空间爆炸问题；利用不安全协议丛结构的特点，对BMC的下界进行优化.这种方式结合了模型检测和定理证明的优点，通过典型的安全协议的分析和实验，验证了本方法较传统的模型检测方法在验证安全协议时，验证效率提高明显.

Select

论文

基于存储的动态入侵检测机制研究

陈云亮1,2, 黄建忠1,谢长生1

2010, 31(8): 1489-1494.

摘要 ( ) PDF全文 ( )

可视化

当入侵者侵入服务器或者终端的操作系统,此时主机的操作系统将不再受信任.网络存储系统应当识别出这种入侵.基于存储的入侵检测系统SIDS(Storage-based intrusion detection systems)能在存储层观察到此类入侵行为.本文提出一种新的基于存储的人工免疫入侵检测方案.该方案克服了以往一些SIDS原型完全依赖规则的缺点，利用了人工免疫的自我免疫特性，来动态监控用户的访问行为.根据收敛速度和检测效率，拟合出本方案的最优参数.最后的仿真结果表明：与同类优秀原型相比，本方案能达到较高的检测率和较低的误警率.

Select

论文

一种WiMAX系统PMP网络自适应ROHC压缩算法

张青波1，2，何加铭2

2010, 31(8): 1495-1497.

摘要 ( ) PDF全文 ( )

可视化

为合理利用WiMAX系统PMP(Point to Multi-Point)网络的无线资源，提出一种自适应ROHC(Robust Header Compression)压缩算法.算法首先基于状态划分无线信道，然后结合解压缩端反馈的信噪比SNR，利用压缩端当前采用的调制方式计算BER，判断当前信道所处状态，最后根据鲁棒性和压缩率，调整W-LSB编码时的合适窗口大小，实现自适应压缩的目的.仿真结果表明，提出的算法在压缩性能和鲁棒性能上达到了满意的效果.

Select

论文

Ad hoc网络的二连通骨干网构建算法

佟宁，吴迪，王秀坤

2010, 31(8): 1498-1502.

摘要 ( ) PDF全文 ( )

可视化

网络拓扑结构的连通性是保证数据通信的前提，而拓扑的二连通是网络在有节点或链路失效的情况下保持拓扑连通的基本条件.为了构建具有容错能力的Ad hoc网络的骨干网，针对Ad hoc网络拓扑动态变化、节点可能失效的特点，根据图论中相关理论，结合计算几何中三角剖分相关内容，给出了一种构建二连通骨干网的算法.仿真结果表明，在不同的网络环境下，采用本文的二连通骨干网算法得到的拓扑结构至少是二连通的，理论分析和仿真结果一致.

Select

论文

一种自组织资源发现模型和算法

刘波1，林伟伟2，齐德昱2

2010, 31(8): 1503-1508.

摘要 ( ) PDF全文 ( )

可视化

针对具有动态性和不稳定性资源的网格计算环境的资源发现问题，提出一种基于资源索引节点的自组织资源发现模型，该模型采用了基于组的分层资源组织方式，通过信息节点管理组内资源信息，所有信息节点形成树型覆盖网络，可以在信息节点树型覆盖网络实现分布式资源定位.并提出以资源索引节点索引所有信息节点中资源的关键属性，设计了基于资源索引节点的智能资源发现算法，实验结果表明，该算法在系统负载变化情况下，能保持稳定的性能，相比集中式资源发现算法、结构化P2P资源发现算法和分布式资源算法性能更优.

Select

论文

基于监察博弈的对等网激励机制的研究

霍英1，2，陈志刚1

2010, 31(8): 1509-1513.

摘要 ( ) PDF全文 ( )

可视化

在对等网络中,存在着大量的Free-Ride节点,会严重影响到系统的性能,如何激励这些节点提供服务是提高对等网性能的重要因素.本文在节点理性假设的基础上,借助博弈论为工具，提出一种采用监察策略的对等网激励机制，并计算出了采用监察博弈的混合策略纳什均衡策略，重点分析了监察成本与参与人收益之间的博弈关系.仿真实验表明，通过采用适当的监察概率，能保证在较小的网络开销下，达到激励节点主动参与贡献资源的目的.

Select

论文

Internet流量识别技术研究

赵国锋，吉朝明，徐川

2010, 31(8): 1514-1520.

摘要 ( ) PDF全文 ( )

可视化

流量识别是指根据网络流以及流中数据报文的某些信息将网络上的流分成若干既定的类别.随着网络的高速化，业务应用和协议日趋复杂，传统的基于端口的流量识别方法已经不够准确，因此各种新的识别方法成为研究热点.本文在介绍流量识别的基本概念、流量识别的评价指标的基础上，对目前正在使用或研究的流量识别方法进行了分析比较，指出了现有各种方法的优点和不足，最后给出未来流量识别技术的发展趋势和研究方向.

Select

论文

IPv6中减少ISP交叉流量的结构化P2P流媒体系统

朱从州1,2，洪佩琳2，薛开平1,2

2010, 31(8): 1521-1525.

摘要 ( ) PDF全文 ( )

可视化

P2P流媒体系统中，减少ISP(Internet Service Provider)交叉流量是一个重要的研究方向，本文提出了一种减少ISP交叉流量的P2P流媒体方案，方案综合考虑了Pull机制、DHT(Distributed Hash Table，分布式哈希表)原理和IPv6地址的聚类特性，从网络拓扑构建和包调度机制两个方面，通过增加ISP内数据共享和减少ISP间数据请求的方式，减少P2P流媒体系统中的ISP交叉流量.仿真结果显示，在大规模系统中，该方案能够有效的减少ISP交叉流量.

Select

论文

IP通信中媒体传输的应用层路由机制研究综述

张秀武1,2，雷为民1,2，张伟1,2，李鸿彬2

2010, 31(8): 1526-1531.

摘要 ( ) PDF全文 ( )

可视化

如何提供高质量的服务质量保证(QoS)一直是IP通信中的一个研究热点.现有方案主要从三个方面来解决QoS问题：底层网络的QoS保证；编解码技术的优化以及应用层路由技术(又称为传输控制优化).本文重点讨论应用层路由机制.介绍应用层路由的基本概念以及现有的应用层路由技术，并进行对比分析.结合SIP协议和P2P技术，提出一种全新的应用层路由系统框架：SIP+P2P系统，并详细介绍其中的一些关键技术.指出IP通信应用层路由领域中需要进一步研究的热点问题.

Select

论文

无线传感器网络中基于节点ID验证的防御DOS攻击策略

邹长忠

2010, 31(8): 1532-1537.

摘要 ( ) PDF全文 ( )

可视化

无线传感器网络广播认证存在DOS攻击问题，攻击者可以通过伪造大量的广播包，耗费接收节点大量能量进行数字签名验证，从而使目标节点致命.针对这种情况，提出一种无线传感器网络中基于节点ID验证的防御DOS攻击策略，充分利用节点ID验证，先于复杂的数字签名验证，有效地防御DOS攻击，且避免了对同一数据包的重复数字签名验证.从仿真实验结果看出，该策略比现有的两个方案具有较强的攻击防御性和较低的时耗和能耗.

Select

论文

一种无结构P2P网络中对抗Free-rider的新方法

康江，房鼎益，陈晓江

2010, 31(8): 1537-1541.

摘要 ( ) PDF全文 ( )

可视化

无结构P2P网络中普遍存在搭便车(free riding)现象，从而严重威胁到P2P网络的性能(如公平性、容错性和扩展性)和广泛应用.本文提出一种新的分布式算法，通过对搭便车者(free-rider)的准确定位并采取的应对制约措施，来降低搭便车者对网络的危害.在本文算法中，每一个对等节点仅监控自己的邻居，判断其是否为搭便车者，进而对其采取限制或惩罚措施.和绝大多数现有的对抗搭便车者的方法不同，本文的算法既不需要一个用来维护系统全局信誉的安全基础结构，也不需要永久节点ID，每个节点只需存储来自邻居的消息(message)并维护一组邻居消息计数器，因此是高效、轻量级的.仿真结果表明本算法对抗free-riding的效能良好，对无结构P2P网络的吞吐量等有显著提高.

Select

论文

MPI代码规模缩减方法及其实现

王骞，刘晓洁，李涛

2010, 31(8): 1542-1545.

摘要 ( ) PDF全文 ( )

可视化

消息传递接口MPI广泛采用的fork-join编程模式会使程序在扩展时遭遇隐式代码规模膨胀的问题，根据迭代空间理论分析了问题产生的原因，针对MPI程序任务分派的各个阶段提出了相应解决方法，并将扩展性较好的一种实现为MPI自动执行框架.实验证明，这个框架仅会造成轻微的性能减损，却显著地减轻了隐式代码规模膨胀产生的影响.

Select

论文

一种具有小世界特征和冲突避免的DSR协议

李向丽，魏凯敏，吕何平

2010, 31(8): 1546-1548.

摘要 ( ) PDF全文 ( )

可视化

提出一种DSR的改进协议M-DSR.M-DSR协议首先把路由请求范围限制在一定区域内，然后根据实际情况逐步扩大请求范围，进一步根据节点的性能值来避免局部网络冲突.仿真实验表明，M-DSR协议能够提高路由发现速度、降低网络冗余信息、避免局部网络冲突，在路由负荷较大的情况下的表现尤其突出.

Select

论文

基于自组织聚类的Kademlia改进模型

徐强，孙乐昌，周灏淼

2010, 31(8): 1549-1553.

摘要 ( ) PDF全文 ( )

可视化

针对结构化P2P网络因忽略逻辑拓扑与物理拓扑差异而导致的路由绕路问题，首先提出一种聚类算法，将物理位置紧邻的节点自组织为若干分布式聚类；然后以聚类为单位设计了关联节点物理拓扑相邻性和逻辑拓扑相邻性的节点标识方法，并且利用该方法改进了传统Kademlia模型；最后对改进模型的性能进行了理论分析和实验测试.结果表明，改进模型通过增强每一跳路由在物理拓扑中的合理性，达到了避免路由绕路的目的，路由算法性能较传统模型提升近15%.

Select

论文

一种结合流媒体技术的无线视频监控网格

沈时军，李三立

2010, 31(8): 1554-1557.

摘要 ( ) PDF全文 ( )

可视化

现代社会对无线视频监控的需求日益增长，提出一种新型的无线视频监控网格设计方案.与传统监控网络相比，该方案采用网格技术与流媒体技术，在监控资源动态共享、监控问题协同解决、监控画面实时点播等方面有显著优势.本文提出该方案的总体设计与中间件设计，给出一个典型的监控预警应用实例.仿真实验表明，该方案在可疑事件捕获率、存储开销、报警延迟等方面明显优于传统方案.

Select

论文

基于灰度插值的MNAM图像表示方法

胡卫军1，万琳2，陆永亮1

2010, 31(8): 1558-1561.

摘要 ( ) PDF全文 ( )

可视化

针对多子模式非对称逆布局模式表示模型，引入灰度插值的方法，对原有的点、直线、矩形和三角形四种模式重新进行了定义，一个三角形插值块可以通过三个顶点的位置和灰度值按照线性插值的方法生成块内任意一点的灰度值.理论分析和实验结果表明在引入插值方法以后，与MNAM方法相比，算法的复杂度会增加，图像的压缩比可能略有降低，但是图像的重建质量则会得到明显的提高.

Select

论文

一种虚拟场景的自动漫游方法

吴玲达，赵健，杨冰，宋汉辰

2010, 31(8): 1562-1566.

摘要 ( ) PDF全文 ( )

可视化

提出一种新的虚拟场景自动漫游方法.首先，在模糊理论的基础上建立了一个视点质量评价模型；然后，使用模糊综合评判方法求出视点集对应的虚视点，进而以虚视点的视点质量作为目标函数，并采用蚁群优化算法进行求解，得到一个场景观察的最优视点集；最后，对最优视点集中的视点进行排序，并以样条曲线连接，从而构造出一条虚拟场景的自动漫游路径.实验表明，使用该方法能够自动获得一条有效的漫游路径，沿此路径漫游，观察者能够全面而快速地实现对场景的认知和理解.

Select

论文

三角形和矩形NAM表示的快速面积计算算法

方少红1，郑运平2，陈传波1

2010, 31(8): 1567-1571.

摘要 ( ) PDF全文 ( )

可视化

提出一种基于三角形和矩形NAM表示的快速面积计算算法，给出算法的形式化描述，并分析其复杂度.以图像处理领域里惯用的标准Lena、F16和Peppers等二值图像作为典型测试对象，理论分析和实验结果表明：与经典的基于紧凑四元树表示的面积计算算法相比，基于三角形和矩形NAM表示的面积计算算法具有更少的子模式数(节点数)，从而计算速度更快.

Select

论文

监督型局部保持的典型相关分析

陈晓红1,2，陈松灿2

2010, 31(8): 1572-1577.

摘要 ( ) PDF全文 ( )

可视化

利用数据集的局部结构信息和判别结构信息，构建相似度矩阵和类信息矩阵，提出监督型局部保持的典型相关分析(Supervised Locality Preserving Canonical Correlation Analysis, SLPCCA)，该方法不但突破了典型相关分析(Canonical Correlation Analysis, CCA)处理数据时的线性约束，提高了处理非线性问题的能力，而且克服了局部保持的典型相关分析(Locality Preserving Canonical Correlation Analysis, LPCCA)忽视类信息的问题，提取的特征更有利于分类.在多特征手写体数据库(MFD)和美国国家邮政局手写字库(USPS)上的实验结果验证了该算法的有效性.

Select

论文

大规模战场地形的实时可视化算法的研究

吕梦雅，王丽君，唐勇，王娟

2010, 31(8): 1578-1581.

摘要 ( ) PDF全文 ( )

可视化

三维地形可视化是虚拟战场环境中重要的组成部分，在具体应用环境中由于地形特征信息的影响，渲染时逼真度较差，构造多分辨率四叉树结构组织数据；为使四叉树多分辨率地形可视化方法适应于更多的应用环境，引入地形特征重构节点评价函数，保证了应用环境中地形特征信息失真最小；提出一种基于视点的匹配方法来消除裂缝，实现了大数据量网格模型绘制过程中平滑无缝过渡；实验表明在大规模地形绘制中，提高了地形漫游的效率与可视化效果.

Select

论文

基于正交设计的多星测控调度协同进化代表个体选择

陈峰，武小悦

2010, 31(8): 1582-1586.

摘要 ( ) PDF全文 ( )

可视化

针对多星测控资源调度问题，设计了和问题特征结合的合作型协同进化调度算法，给出了算法的编码、操作算子和流程，鉴于调度算法采用传统的代表个体最优选择和随机选择将导致求解效果不稳定，提出一种子种群代表个体选择方法及对应的个体适应度计算方法.综合考虑代表个体的协同性和计算开销，借鉴正交设计的思想，依据贪婪性强弱从每个子种群选择三个代表个体，并利用正交表进行个体适应度计算.最后通过一个实例，验证了该方法的有效性.

Select

论文

一种新的ASON保护容量优化算法

许昌，常会友，徐俊，衣杨

2010, 31(8): 1587-1589.

摘要 ( ) PDF全文 ( )

可视化

针对ASON网络保护容量问题，建立了相应的数学模型，并提出一种基于分布估计的保护容量优化算法.与传统保护容量算法相比，该算法在可行解搜索空间及计算量上大大降低，为算法在工程上的实现提供了可行性.仿真实验结果表明，提出的新算法搜索效率高、求解速度快且能够获得高质量的全局近似最优解，具有较强的实用性.

Select

论文

真实感云的快速建模

徐江斌1，赵健1，杨超1，吴玲达1,2

2010, 31(8): 1590-1594.

摘要 ( ) PDF全文 ( )

可视化

快速云建模便于真实的三维室外场景规划，提出概率场参数控制的元胞自动机方法近似模拟云生成的物理过程，生成云密度体数据，引入符合粒子运动规律的不规则布朗运动随机模型创建概率场，生成的云具有真实云的外形特征.所有建模过程在可编程图形硬件卡上实现，模拟速度满足交互式系统要求.引入考虑了太阳光和背景光的单次散射光照模型，利用光线投射直接体绘制渲染出三维真实感强的云图像.应用到三维虚拟地理环境中增强了场景真实感，建模绘制速度满足交互要求.

Select

论文

广义三次Bézier曲线及其应用

韩西安1，2，黄希利3，马逸尘1

2010, 31(8): 1595-1597.

摘要 ( ) PDF全文 ( )

可视化

给出一组含有3个参数的四次多项式基函数，它是三次Bernstein基函数的扩展；基于该组基定义了带形状参数的多项式曲线，称之为广义三次Bézier(GCB)曲线.GCB曲线不仅具有三次Bézier曲线的特征，而且在控制多边形保持不变的条件下，具有形状可调性和对控制多边形更好的逼近性.讨论了两条GCB曲线C2拼接的条件，并构造了C2形状可调的GCB样条曲线.图形实例表明：构造的GCB曲线为曲线曲面设计提供了有效的新方法.

Select

论文

道路网络环境下的近似反k最近邻查询算法

齐峰，金顺福，刘国华，刘娟

2010, 31(8): 1598-1603.

摘要 ( ) PDF全文 ( )

可视化

针对欧式空间中基于R树索引结构的反最近邻查询技术不适用于道路网环境，利用任意度量空间中的M树索引结构代替R树索引结构，进行道路网络中的反最近邻查询处理.然而，由于网络距离的计算代价高的问题，使得基于M树索引的反k最近邻查询效率很低.因此，采用道路网络嵌入技术，映射道路网络到高维向量空间，简单的L∞距离准确近似计算网络距离.在此基础上，提出道路网中近似反k最近邻查询的ARkNN算法，并对本文L∞距离近似网络距离的质量、k-中心聚类算法选取参考点的有效性和ARkNN算法的查询效率进行了实验验证.

Select

论文

一种新的双重融合的半监督特征选择算法

陈红1,2，郭躬德1,2

2010, 31(8): 1604-1608.

摘要 ( ) PDF全文 ( )

可视化

针对特征选择算法的鲁棒性和稳定性问题以及现实应用领域中大量的廉价未标签数据的利用问题，提出一种基于双重融合策略的半监督特征选择算法.该方法综合利用弱分类器融合技术和未标签数据包含的数据集的簇的结构信息来扩充标签数据集，然后在得到的标签数据集上采用不同的特征选择算法，对不同的特征结果进行简单的融合操作，得到最终的特征子集.在一些公共数据集和有毒性预测数据集上的实验结果表明该方法在改善学习精度上有很好的应用前景.

Select

论文

一种呈现清晰纹理的快速误差扩散算法

章芳，庞明勇

2010, 31(8): 1609-1612.

摘要 ( ) PDF全文 ( )

可视化

清晰地呈现图像的细节纹理结构是现代数字半色调技术研究的重要方面. 提出一种简单有效、且能保持原图像纹理结构的半色调误差扩散算法. 该算法以Ostromoukhov算法为基础, 根据图像灰度空间的局部分布特征, 通过计算误差扩散像素点的局部视觉纹理反馈信息, 对原固定阈值进行调节. 实验结果表明, 改进后的算法生成的半色调图像再现的纹理结构清晰自然, 且具有蓝噪声特性, 在PSNR、UIQI和SSIM三项指标评测方面均有较好表现.

Select

论文

应用面向特征编程方法FOP实现软件产品线增量开发

吴元凯，彭鑫，赵文耘

2010, 31(8): 1613-1618.

摘要 ( ) PDF全文 ( )

可视化

面向对象编程OOP(Object Oriented Programming)技术在实现软件产品线时存在不足，一个重要原因是OOP对产品线可变性的支持有限.在OOP的基础上，相关研究者提出面向特征编程FOP(Feature Oriented Programming)，研究特征的模块性，以及支持特征模块性的编程模型.本文对FOP的相关技术和模型进行了研究，提出基于FOP进行软件产品线的增量开发，可以实现产品线更高层次的模块化和特征的灵活配置，同时避免了维护困难.在此基础上对一个网上缴费产品线实例进行研究，实现和验证了相关方法和结论.最后基于实验对FOP的优缺点进行了讨论.

Select

论文

服务网格中基于属性自动合并的访问控制模型

喻玲1，陈蜀宇2

2010, 31(8): 1619-1624.

摘要 ( ) PDF全文 ( )

可视化

基于属性的访问控制模型具有授权灵活、控制粒度细的特点，针对服务网格的特点，提出基于属性自动合并的访问控制模型.沿服务有向图的服务组合路径，自动进行属性集合的合并计算，从而实现访问控制约束属性在网格虚拟组织内自动生成.授权不需要人工干预和具有用户的先验知识，可使用户在执行需要跨越多个自治域组合服务所需的约束属性集合一次性指派给用户，用户访问时一次性完成多个自治域的访问授权.具有极大的灵活性、动态性和可扩展性.

Select

论文

一种针对交互式软件的测试用例生成技术

曹文静，徐胜红，杨秀霞

2010, 31(8): 1625-1628.

摘要 ( ) PDF全文 ( )

可视化

对于交互式软件而言，功能的实现是通过复杂的人机交互完成的，目前的功能测试用例生成方法常常只考虑软件的界面信息，而不考虑软件的具体需求和逻辑实现流程，这就导致产生的测试用例随意性较大，测试过程难以有序进行，为此，本文将软件功能的逻辑实现流程和界面信息结合在一起考虑，提出一种基于数据流图的测试用例生成方法，以业务处理中数据的流向来描述业务流程，生成测试用例.该方法能够生成有效的测试用例，更全面地测试交互式软件功能，并便于定位错误.

Select

论文

分布式约束优化

蔡思捷，曹健

2010, 31(8): 1629-1636.

摘要 ( ) PDF全文 ( )

可视化

多Agent系统由于拥有智能性、自主性以及协同性等一系列的特性受到人们广泛的关注.分布式约束优化是协调多个Agent解决分布问题的有效技术,目前是多Agent 领域的研究热点.本文将首先介绍分布式约束优化问题的基本概念和框架结构，总结现有的解决该问题的主要算法.并通过效率、性能、隐私等各方面对这些算法进行全面的比较与分析，然后介绍分布式约束优化问题的一些典型应用，最后还将对分布式约束优化问题及其算法未来的研究发展方向进行论述.

Select

论文

验证带有线程的动态创建和退出的多线程程序

王海波1，2，郭宇1，2，陈意云1，2

2010, 31(8): 1637-1642.

摘要 ( ) PDF全文 ( )

可视化

近来在程序验证领域，Feng和Shao提出一个类Hoare逻辑的验证框架以验证包含中断的底层程序.在该工作基础上进行扩展，提出一个验证包含线程的动态创建和退出机制程序的框架.框架包含抽象机器模型、指令规范、逻辑推理系统、框架可靠性定理其证明.框架采用Hoare风格的推导方式，使用高阶逻辑描述指令的推理规则和安全策略，为证明带有线程的动态创建和退出的多线程程序的部分正确性提供了一种实用的方法.

Select

论文

Chameleon算法的改进

蒋盛益, 庞观松，张黎莎

2010, 31(8): 1643-1646.

摘要 ( ) PDF全文 ( )

可视化

结合Chameleon算法可以发现高质量的任意形状、大小和密度的自然簇及一趟聚类算法快速高效的特点，研究可以处理混合属性的高效聚类算法.首先简单改进Chameleon算法，使之可以处理含分类属性的数据；进而提出一种两阶段聚类算法.第一阶段使用一趟聚类算法对数据集进行初始划分，第二阶段利用改进的Chameleon算法归并初始划分而得到最终聚类.在真实数据集和人造数据集上的实验结果表明，提出的两阶段聚类算法是有效可行的.

Select

论文

通过计算影响权值实现敏感序列模式隐藏

华蓓1,钟诚1,黄肇明2,杨柳1

2010, 31(8): 1647-1651.

摘要 ( ) PDF全文 ( )

可视化

基于隐私保护的数据挖掘是近年来数据挖掘领域的研究热点之一.提出一个基于数据清洗的敏感序列模式隐藏算法，它通过计算事务组影响权值，选取对非敏感序列模式影响最小的事务组进行清洗，从而在确保隐藏敏感序列模式的同时，尽量减少对非敏感模式集的影响.对不同稠密度和不同规模数据集的实验结果表明，该算法既实现了对敏感模式的保护又具有较低的误隐藏率，并且当数据集大小变化时，序列数据库相异度没有明显改变.

Select

论文

基于D-S理论的区间值模糊多QoS测量与网格任务调度算法

黄德才, 马晨明

2010, 31(8): 1652-1658.

摘要 ( ) PDF全文 ( )

可视化

非凡的服务质量是网格的基本特征,基于QoS的网格任务调度问题已成为国内外研究的热点.由于网格环境的复杂性和用户主观判断的模糊性，传统基于QoS的网格调度算法不能处理具有多个模糊QoS需求的调度问题.用区间值模糊来描述用户的主观QoS需求信息，提出基于D-S理论的区间值模糊多QoS测量方法，对区间值模糊数表达的用户多QoS需求进行融合与处理，再将这些区间值模糊数QoS融合值作为任务的优先级加入到任务调度算法中，提出一种基于D-S理论的网格任务多匹配调度算法.研究结果和仿真实验表明，该算法不仅可以处理区间值模糊不确定性信息，在满足用户多QoS需求的情况下还可大大减小任务调度的时间跨度.

Select

论文

半监督层次纠错输出编码算法

辛轶1，2, 郭躬德1，2 , 陈黎飞1，2

2010, 31(8): 1659-1664.

摘要 ( ) PDF全文 ( )

可视化

纠错输出编码是一种处理多类分类问题的有效方法，但它只能用于有监督的数据，而对大量未标签样本却无法利用.提出一种新颖的基于半监督技术的层次编码算法，对传统的纠错输出编码算法(ECOC)进行改造，拓展了编码的概念.在编码阶段，根据簇特征进行同类组合后再进行层次编码，从而在充分利用了无标签样本的同时，根据数据类分布的特点进行编码以提高算法精度.最后在化工产品有毒性预测数据集上的实验结果表明了本方法的可行性和有效性.

Select

论文

多过程数控系统运动控制器的设计与性能测试

吴文江1，郭大兴1,2

2010, 31(8): 1665-1667.

摘要 ( ) PDF全文 ( )

可视化

在重点研究单过程数控系统运动控制器的基础上，提出一种基于RT-Linux的多过程数控系统运动控制器设计方法.采用基于组件的设计思想给出了多过程运动控制器的设计框架，并采用了轮转调度策略实现了多个过程的调度.通过实验对多过程数控系统运动控制器的性能进行了测试，实验结果表明采用轮转调度策略会出现严重的抖动现象.为了解决这个问题，本文提出将伺服周期分片的调度策略，实验结果表明该调度策略很好的解决了抖动现象并能满足多过程数控系统运动控制器的要求.

Select

论文

可重构计算中的负载可分应用性能分析与预测

王颖1，陈伟男2，周学功1，彭澄廉2

2010, 31(8): 1668-1674.

摘要 ( ) PDF全文 ( )

可视化

以参数化的硬件线程执行模型对负载可分应用的性能进行了分析与预测.重点讨论包含多个可重构处理单元(RPU)在内计算平台的负载可分调度问题，分析了配置因素对调度结果以及应用处理时间的影响.结果表明，若配置与通信操作不完全重叠，存在最大可用RPU数和最优RPU数，进而可得出优化的调度方案及应用处理时间，指导应用的设计实现.

Select

论文

一种自适应的闪存存储管理方法

岳丽华，向小岩，金培权，刘沾沾

2010, 31(8): 1675-1680.

摘要 ( ) PDF全文 ( )

可视化

针对数据库的数据访问特点和已有的闪存存储管理方法的不足，提出一种新的自适应的闪存存储管理方法AFS.AFS方法将逻辑页区分为日志和非日志两种模式，并采用不同的更新方法；同时能够根据负载的变化自适应地调整逻辑页的模式.实验结果表明，AFS方法能够在提高闪存数据更新性能的同时较好地兼顾数据读取性能.

Select

论文

负载均衡策略研究综述

王荣生1，杨际祥1,2，王凡2

2010, 31(8): 1681-1686.

摘要 ( ) PDF全文 ( )

可视化

负载均衡是最大化处理器利用率和提高并行计算效率的一个关键问题,而其发展相对滞后的软件成为影响并行计算应用发展的重要因素.本文给出负载均衡问题的一般性阐述,从算法理论和并行计算应用问题角度出发综述了现有负载均衡策略及其软件的研究成果.结合当前新兴并行体系结构和应用的发展趋势,分析并指出了下一步研究的问题和方向.

Select

论文

一种针对闪存的高效缓冲区置换算法

刘沾沾，岳丽华，金培权，向小岩

2010, 31(8): 1687-1691.

摘要 ( ) PDF全文 ( )

可视化

随着闪存容量的不断增长和闪存应用的日益广泛，针对闪存的缓冲区管理已成为一个迫切需要解决的问题.针对闪存的写代价显著高于读代价的特性，提出一种针对闪存的页面置换算法LEAC.LEAC根据页面的读写负载和闪存的读写代价差异对换出页面引起的预期闪存访问开销进行评估，优先换出预期访问开销最低的页.实验表明，LEAC可以显著降低闪存访问开销.

Select

论文

利用数据预取机制降低块执行模型的访存延迟

从明1，安虹1,2，张军1，任永青1

2010, 31(8): 1692-1696.

摘要 ( ) PDF全文 ( )

可视化

块执行模型通过将串行程序划分成一系列可并行执行的指令块来挖掘应用中潜在的指令级并行性.访存延迟是阻碍块执行模型提高指令级并行性的主要因素之一，而数据预取技术在传统执行模型中可有效降低访存延迟，对块执行模型也同样具有较强的适应性.本文分析了在块执行模型中引入数据预取机制的可行性，并从cache命中率、访存指令的延迟等方面验证了数据预取在块执行模型中的作用，仿真结果表明数据预取可有效降低块执行模型中的访存延迟.

选择文件类型/文献管理软件名称

选择包含的内容

过刊目录

作者投稿

专家审稿

编辑办公

主编办公

编委审稿

下载中心

模态框（Modal）标题

选择文件类型/文献管理软件名称

选择包含的内容

过刊目录

作者投稿

专家审稿

编辑办公

主编办公

编委审稿

下载中心