2013, 24(1):1-11. DOI: 10.3724/SP.J.1001.2013.04213
摘要:信息传播算法在求解随机kSAT问题时有惊人的效果,难解区域变窄.对于这种现象,至今缺少系统的理论解释.警示传播(warning propagation,简称WP)算法是一种基础的信息传播算法,为有效分析WP算法在随机kCNF公式上的收敛性,给出了随机kCNF公式因子图上圈存在的相变点.在随机kCNF公式产生模型G(n,k,p)中,取k=3,p=d/n2,因子图中圈存在的相变点为p=1/8n2.当d<1/8时,因子图中开始出现圈,且每个连通分支至多有一个圈,因子图中含圈的连通分支的数目以及圈的长度均与n无关.因此,因子图是由森林和一些含有唯一圈的连通分支构成.证明了WP算法在这些实例集上高概率收敛,并且给出了算法的迭代步数为O(logn+s),其中,s为连通分支的大小.
2013, 24(1):12-24. DOI: 10.3724/SP.J.1001.2013.04211
摘要:研究了由一个制造商和一个分销商组成的供应链上分销商协商调度问题.此供应链中,制造商比分销商有更强的影响力,先于分销商进行调度.制造商与分销商之间不共享作业处理时间.为了改善分销商调度,建立了基于补偿的分销商协商模型,设计了保留信息私有性的协商调度策略,提出并分析了协商调度下制造商调度算法以及基于生态种群竞争的分销商协同演化调度算法.仿真实验结果表明,分销商协商调度模型与算法能够有效改善分销商调度性能,在不增加制造商调度成本的条件下,可最大程度地削减分销商调度成本超过25%.此外,提出的竞争协同演化算法能够获得比遗传算法、粒子群算法和蚁群算法更好的调度解.
2013, 24(1):25-36. DOI: 10.3724/SP.J.1001.2013.04258
摘要:部分可观察马尔可夫决策过程(partially observable Markov decision processes,简称POMDPs)是动态不确定环境下序贯决策的理想模型,但是现有离线算法陷入信念状态“维数灾”和“历史灾”问题,而现有在线算法无法同时满足低误差与高实时性的要求,造成理想的POMDPs模型无法在实际工程中得到应用.对此,提出一种基于点的POMDPs在线值迭代算法(point-based online value iteration,简称PBOVI).该算法在给定的可达信念状态点上进行更新操作,避免对整个信念状态空间单纯体进行求解,加速问题求解;采用分支界限裁剪方法对信念状态与或树进行在线裁剪;提出信念状态结点重用思想,重用上一时刻已求解出的信念状态点,避免重复计算.实验结果表明,该算法具有较低误差率、较快收敛性,满足系统实时性的要求.
2013, 24(1):37-49. DOI: 10.3724/SP.J.1001.2013.04334
摘要:随着软件应用范围的不断扩大,尤其是数据库软件和Web软件的广泛应用,字符串变量在软件程序中扮演的角色日益重要.与此同时,针对字符串变量的程序分析技术——字符串分析,也取得了长足的发展,并在软件工程中的很多领域中得到了成功的应用.字符串分析的基本应用模式是首先使用字符串值分析获得字符串变量的所有可能取值,然后使用字符串约束求解判断这些变量的取值是否满足一定约束,从而对程序进行正确性验证.为了使得字符串分析能够应用在安全分析和软件维护应用中,研究人员对字符串分析进行了扩展,进一步分析字符串变量的数据来源.综述了字符串分析技术的研究进展,提出了字符串分析的问题构型,介绍了这一领域现在的主要研究内容:字符串值分析、字符串约束求解、字符串数据来源分析以及字符串分析在软件工程中的应用.
2013, 24(1):50-66. DOI: 10.3724/SP.J.1001.2013.04276
摘要:作为云平台提升应用性能的一种重要手段,分布式缓存技术近年来受到了工业界和学术界的广泛关注.从云计算与分布式缓存技术的结合入手,分析介绍了分布式缓存的特性、典型应用场景、发展阶段、相关标准规范以及推动缓存技术发展的若干关键要素.为系统地了解分布式缓存技术的现状和不足,建立了一个云环境下分布式缓存技术的分析框架——DctAF.该框架从分析云计算的特点和缓存技术的边界出发,涵盖6个分析维度.基于DctAF框架,对当前缓存技术进行总结和分析,并对典型系统进行比较.在此基础上,深入阐述了云环境下分布式缓存系统面临的挑战;围绕上述挑战,分析和比较了已有的研究工作.
2013, 24(1):67-76. DOI: 10.3724/SP.J.1001.2013.04296
摘要:网络计算中间件是随着互联网的发展而于20世纪90年代兴起的一类基础软件.网络计算中间件为各种网络应用系统的开发、部署、运行和管理提供了有力支持.随着信息网络技术和软件服务工程的快速发展,网络计算中间件又被赋予了新的内涵.首先从网络计算环境出发,就基础中间件、应用集成中间件和领域应用框架的基本概念和主要技术作较全面的诠释;然后聚焦于云计算和物联网等网络计算的热点研究方向,从中间件的角度指出当前值得关注的某些挑战性研究课题和需要深入探索的若干关键技术.
2013, 24(1):77-90. DOI: 10.3724/SP.J.1001.2013.04339
摘要:任务并行编程模型是近年来多核平台上广泛研究和使用的并行编程模型,旨在简化并行编程和提高多核利用率.首先,介绍了任务并行编程模型的基本编程接口和支持机制;然后,从3个角度,即并行性表达、数据管理和任务调度介绍任务并行编程模型的研究问题、困难和最新研究成果;最后展望了任务并行未来的研究方向.
2013, 24(1):91-108. DOI: 10.3724/SP.J.1001.2013.04292
摘要:近年来,移动推荐系统已成为推荐系统研究领域最为活跃的课题之一.如何利用移动上下文、移动社会化网络等信息进一步提高移动推荐系统的推荐精确度和用户满意度,成为移动推荐系统的主要任务.对最近几年移动推荐系统研究进展进行综述,对其关键技术、效用评价以及应用实践等进行前沿概括、比较和分析.最后,对移动推荐系统有待深入的研究难点和发展趋势进行分析和展望.
2013, 24(1):109-120. DOI: 10.3724/SP.J.1001.2013.04230
摘要:ROC曲线是模型选择的一种重要方法,但ROC曲线的不确定性影响了模型选择的准确性.基于分辨粒度,从反映得分的不确定性的角度提出gROC和gAUC的概念,从理论上讨论了gROC的若干性质.在给出其算法之后,利用双正态模型检验了gROC的合理性.在此基础上,提出了两个模型选择度量——λAUC和ρAUC,并在UCI数据集上验证了该模型选择度量的高效性.实验结果表明,gROC能够有效反映ROC曲线的不确定性,基于λAUC和ρAUC的模型选择方法优于基于AUC或sAUC的模型选择方法,在某些情况下,gROC具有更强的对分类器性能的比较能力.
2013, 24(1):121-138. DOI: 10.3724/SP.J.1001.2013.04346
摘要:BGP是互联网的核心路由协议,互联网的域间选路通过BGP路由信息交换来完成.BGP协议设计存在重大的安全漏洞,容易导致前缀劫持、路由泄漏以及针对互联网的拒绝服务攻击.分析BGP路由传播及路由策略等主要特性,揭示BGP协议的设计缺陷;探讨BGP面临的主要安全威胁,并对路由泄漏进行建模分析和界定特征;概括现有的BGP安全防御机制并指出其不足,进而对各种增强BGP安全的技术和方案进行合理分类和详尽研究,比较其利弊、剖析其优劣;最后,对BGP安全的未来研究趋势进行展望.
2013, 24(1):139-152. DOI: 10.3724/SP.J.1001.2013.04332
摘要:在移动对等网络的研究工作中,覆盖网络的构造是一个十分关键的核心问题.覆盖网络体系结构决定了移动对等网络的健壮性、安全性和性能.首先提出移动对等覆盖网络的概念,给出了其定义、构建覆盖网的重要意义和覆盖网的分类.然后阐述了3类不同的覆盖网,即分布式非结构化网络、分布式结构化网络和半分布式(混合式)网络,其中特别论述了这些覆盖网在移动自组网、车辆自组网以及无线Mesh网络等方面的应用,并进行了分析和比较.最后,对整个移动对等覆盖网络研究工作进行了总结,并对下一步研究方向进行了展望.
2013, 24(1):153-163. DOI: 10.3724/SP.J.1001.2013.04218
摘要:为了减少容延网络的资源开销,研究者提出了单副本转发路由算法.研究发现,这些转发算法导致节点流量负载极度不均衡,使得那些连接度较大的节点产生了拥塞.针对该问题,提出了一种基于接收阈值的拥塞控制机制,可以有效降低节点拥塞.该机制使每个DTN(delay tolerant network)节点根据自身的拥塞状况动态调整自己的拥塞控制机制,而且该机制独立于节点所运行的转发路由算法,不影响路由算法对中继节点的选择,具有很好的普适性.为了验证所提出机制的有效性,将该拥塞控制机制与现有的SimBet路由算法加以结合,提出了具有拥塞控制功能的SimBetCC算法.实验结果表明,SimBetCC算法在取得很好的拥塞控制的前提下,其递交率和递交时延等性能方面均优于具有拥塞控制功能的FairRoute路由算法.
2013, 24(1):164-174. DOI: 10.3724/SP.J.1001.2013.04220
摘要:多跳无线网络中路径的端到端容量,是指业务在该路径上的端到端吞吐量所能达到的最大值.获取该信息有非常重要的意义,同时也是很有挑战性的工作.目前,已有的工作在计算端到端容量时,要么假设路径上各跳链路间获得了完美的同步,无线资源在竞争链路间平均分配,这种方法忽略了多跳路径中由隐藏节点引起的碰撞,获得的结果与实际测试结果有较大的差异;要么通过复杂的非线性方程组的求解来计算端到端容量,在较大规模的无线网络中,这种方法的实用性又受到限制.首先,完成对基于IEEE 802.11的多跳无线路径中由隐藏节点引起碰撞概率的准确数学表达;然后,利用最优化问题来分析多跳路径中各跳链路间的竞争问题,进而建立了准确、简便的端到端容量计算方法.而且,该方法还考虑了无线网络中多速率传输的情况.仿真结果表明,该方法显著提高了端到端容量计算结果的准确度,并且复杂度低、易于实现,具有很好的应用前景.