摘要：信息数据在当今社会中的重要性日益提高.远程镜像系统通过配置冗余的硬件和相应的高可靠软件,能够保证信息系统的数据安全.但是,已有的远程镜像系统都部分存在着依赖于专用设备或底层驱动、性能差等不足.该文提出一种应用于存储区域网络环境的、基于存储虚拟化的异步远程镜像系统.首先,设计了异步镜像逻辑卷,作为虚拟化的数据容器,该卷能够自动追踪并异步传输数据更新,节省网络带宽,同时不依赖于任何的底层设备和驱动.其次,提出了一种不间断服务的异步镜像协议,支持服务在镜像主节点和从节点间的无缝迁移,支持灾难发生和灾后恢复时主从节点的自动切换和不间断服务,同时,协议完全在镜像节点内执行,不影响客户主机的性能.最后,针对镜像卷的读写特点,设计了基于锁的镜像卷访问控制机制,既保证数据一致性,又能在此前提下尽可能提高读写并发性.FTPtrace(文件传输服务跟踪记录)的重放实验证明,在人为引入主节点失效的情况下,服务能够无缝迁移;在主节点灾后数据恢复进行的同时,能够保证服务不间断;最后,FTPTrace的重放流程在"主节点失效-服务迁移-灾后恢复"场景下仅比无故障时多花费14%的时间.

摘要：影响力最大化旨在从网络中识别k个节点,使得通过这k个节点产生的影响传播范围最大.该问题在病毒营销领域具有重要的应用背景,它已经引起了学术界和工业界的广泛研究.该文作者观察到已有的研究工作大多数只是针对单一网络,即在给定的一个网络上识别k个节点使得其在该网络上产生最大的影响范围;然而,随着社交网络的普及,丰富多样的社交平台不断涌现,以满足不同的社交需求,这使得社交人群不被局限在一个网络内,而是分布在不同的社交网络上.这种变化的一个直接影响是使得基于病毒式营销的应用,例如单一网络上的产品推广愈加不能满足推广的广度需求,很可能是单一网络上的用户量不能达到推广的目标人群数量,又或者广告商期望在多个网络平台上找到k个用户以最大化影响传播范围.为此,在文中,作者研究多社交网络上的影响力最大化问题.该文首先仔细地研究了影响力最大化问题在单一网络和多社交网络上的不同,并提出了实体的自传播特性以在多个网络之间建立联系.之后,作者提出了多社交网络上的影响计算模型来建模节点间的影响力,然后扩展了基于树的算法模型以适应多社交网络上的影响力最大化问题.基于所提出的影响计算模型和扩展的基于树的算法模型,作者提出了多种策略的优化算法.例如通过深层次挖掘自模特性来避免冗余计算,通过使用影响增益上界近似准确的增益来加速种子选取过程等,最后通过真实数据集上的实验表明文中所提方法在性能和影响范围上都优于已有的算法.

摘要：总结了当今关于在SAN中的互斥机制的研究 ,认为将互斥信息完全分布到共享设备和各个互斥节点上是其未来的发展方向 现存的一个分布式锁机制使用双链表组织SAN中的各节点 ,因此具有节点间传递消息效率低的缺点 为此提出了一种网状结构 ,并给出了它的相关算法和容错设计以及性能分析 通过模拟实验证实了使用网状结构来组织节点可以大大提高消息传递的效率

摘要：互联网将成为21世纪信息社会最重要的基础设计之一.在回顾互联网发展历史的基础上,总结了它成功的经验和失败的教训.从应用需求的角度出发,预测和归纳了新一代互联网应该具备的基本特性,即可控性、可信性和可扩展性,并进行了详细的分析与阐述.最后,介绍了几点有关新一代互联网研究方法的思考.

摘要：实验分析了电源/地线(P/G)网络的随机行走算法,与传统的预优共轭梯度法比较发现,当随机行走求解较少节点时性能较好,但在大规模P/G网络瞬态分析中相对较慢.通过修改随机行走过程进行伴随网络的瞬态分析,提出一种快速计算灵敏度的算法.实验结果表明,该算法计算时间较短,与精确结果误差较小.

摘要：大数据时代下,数据库系统主要面临3个方面的挑战:首先,基于专家经验的传统优化技术(如代价估计、连接顺序选择、参数调优)已经不能满足异构数据、海量应用和大规模用户对性能的需求,可以设计基于学习的数据库优化技术,使数据库更智能;其次,AI时代,很多数据库应用需要使用人工智能算法,如数据库中的图像搜索,可以将人工智能算法嵌入到数据库,利用数据库技术加速人工智能算法,并在数据库中提供基于人工智能的服务;再者,传统数据库侧重于使用通用硬件(如CPU),不能充分发挥新硬件(如ARM、AI芯片)的优势.此外,除了关系模型,数据库需要支持张量模型来加速人工智能操作.为了解决这些挑战,提出了原生支持人工智能(AI)的数据库系统,将各种人工智能技术集成到数据库中,以提供自监控、自配置、自优化、自诊断、自愈、自安全和自组装功能;另一方面,通过使用声明性语言,让数据库提供人工智能功能,以降低人工智能的使用门槛.介绍了实现人工智能原生数据库的5个阶段,并给出了设计人工智能原生数据库的挑战.以自主数据库调优、基于深度强化学习的查询优化、基于机器学习的基数估计和自主索引/视图推荐为例,展示了人工智能原生数据库的优势.

摘要：实现大规模可扩展的多媒体点播系统一直存在许多困难 .本文通过对多媒体点播系统中服务模型的分析 ,设计了可扩展的分布式多媒体点播系统 .在媒体服务器的结构设计方面 ,采用了中央调度的多层服务器结构 。

摘要：采用线性规划作为基本工具开发一个RTL可满足性求解器,并将其应用于解决RTL性质检验问题·深入研究了使用线性规划约束对RTL电路元器件的建模方法,得到了一种对RTL电路建模的通用方法·通过将RTL性质转化为虚拟RTL电路,找到了一种验证RTL性质的方法·通过实验,并与采用zchaff布尔可满足性求解器的模型检验工具NuSMV进行比较,证明了基于RTL可满足性求解器的性质验证方法在内存和时间消耗上具有相当大的优势·

摘要：层次式直接边界元方法可一次性计算出整个互连寄生电容矩阵,具有较高的计算效率针对模拟集成电路的特点,对层次式三维电容提取的三维块切割方式、非均匀边界元划分和程序组织等方面进行了改进,显著地提高了算法的效率数值实验表明,改进的层次式互连电容提取在保证高精度的同时,速度提高了数倍。

摘要：随着系统芯片技术在嵌入式系统中的应用 ,软硬件划分从传统的二划分问题转化为多划分问题 文中对此提出了一个由通信通道连接的处理单元网络的抽象模型来描述多处理模块结构 ,并利用模拟退火算法与启发式的调度算法分别完成多路软硬件划分与系统性能和代价的估算 初步的实验结果表明 ,该算法能有效地选择合适的体系结构 。