具有O(n)消息复杂度的协调检查点设置算法

协调检查点设置及回卷恢复技术作为一种有效的容错手段,已广泛地运用在集群等并行/分布计算机系统中.为了进一步降低协调检查点设置的时间和空间开销,提出了一种基于消息计数的协调检查点设置算法.该算法无须对底层消息通道的FIFO特性进行假设,并使同步阶段引入的控制消息复杂度由通常的O(n²)降低到O(n),有效地提高了系统的效率和扩展性.     

基于云存储的块级连续数据保护系统

提出了基于云存储的块级连续数据保护系统MYCDP。MYCDP利用灵活且性价比高的云资源存储业务数据,并采用全局数据去重技术压缩数据量,以取得更低的备份成本。使用针对性设计的版本索引结构和本地缓存机制优化低带宽、高延迟云环境下的数据恢复速度。给出了系统详细结构设计与具体流程描述,通过原型系统与其他方案系统的对比测试,验证了MYCDP能够取得比同样基于云存储的传统delta编码方案更低的备份成本和更快的恢复速度,且在多数实际恢复场景中具有与传统基于本地存储资源的方案相同甚至更好的数据恢复性能。     

随机测试程序生成器研究

随机测试是微处理器设计过程的重要环节,按照一定原则生成的随机指令序列,能够构造出指令组合的各种情况,达到比较好的测试强度和较高的覆盖率。介绍了一种基于模拟器的动态随机测试程序生成器的实现机制,此生成器用多个状态机来抽象整个被测处理器的可能行为,具有简单和高效的特点。给出了测试的统计数据。随机测试生成器对清华大学具有自主知识产权的微处理器的测试过程中取得了良好的测试效果。     

基于P2P的结构化数据存储索引算法设计

通过把数据标识和数据索引分别进行组划分后映射到节点组上,然后把树节点的索引重新分布和同步构造PB—link树。应用lazy update和active update两种节点合并、分裂策略,对连续有序数据进行索引,结果比DB—link树具有显著优势,更适应于P2P结构化数据存储环境。     

粉末Ba0.95M0.05FBr：Eu^2＋（M=Sr,Ca）的光激励发光研究

BaFBr:Eu^2 、Ba0.95Sr0.05FBr:Eu^2 以及Ba0.95Ca0.05FBr:Eu^2 粉末样品中在未经X射线或紫外光辐照之前,用长波长（＞400nm）光激励样品。都可观测到对应于Eu^2 4f^65d→4f^7跃迁的390nm发光,发光与样品制备过程中形成的F心有关。在样品的激励光谱中可以观测到两组峰,中心峰值于535nm的峰相应于F（F^- )心电子的激励,而峰值位于708nm的峰可能源于F(Br^-）心或F(Br^-）心聚合体电子的激励。当少量（5％）半径较小的碱士金属离子Ca^2 （半径为0．0099nm）或Sr^2 （半径为0．113nm）替代Ba^2 （半径为0．135nm）进入晶格时,随着离子半径的减小,位于535nm和708nm的激励峰强度随这减小,而且分别在580nm和650nm或575nm和645nm处出现肩峰,在波长为50－400nm的吸收光谱中减小,而且分别在580nm和650nm或575nm和645nm处出现肩峰,在波长为50－400nm的吸收光谱中发现,由于小半径碱士金属离子的替代,79nm和83nm吸收峰红移,且出现新的吸收峰。证实了Sr^2 或Ca^2 部分替代Ba^2而产生新生的替代Ba^2 而产生新的色心：F（F^-,Sr^2 )、F(Br^-,Sr^2 ）心或F(F^－,Ca^2 )、F(Br^-,Ca^2 )心,也应于激励光谱中出现的肩峰。     

一种P2P环境下的B+树索引管理算法

Peer-to-Peer（P2P）广域存储系统的分布式数据查询是其重要组成部分．其中对连续有序数据的查询还没有有效的算法．提出了一种在P2P环境下为连续有序数据建立分布式索引的算法——PB-link树．PB-link树具有可靠性高、吞吐率高、网络开销低、负载均衡的性质,比传统的分布式索引算法更能适应P2P环境．理论推导和实验数据证明,PB-link树算法的数据通信开销是传统分布式索引的20％,查询效率是其7倍．在承受整个系统中50％节点失效的情况下,仍可以保证85％查询的正确性,具有很强的可靠性．     

大体积混凝土裂缝控制技术在国家体育场的应用

介绍了国家体育场大体积的裂缝控制技术.对混凝土结构裂缝控制的设计措施、材料措施和施工措施进行了综述.通过设计、科研单位的温度应力测算及优化方案,从构造设计、结构计算、材料组成、物理力学性能以及施工工艺等方面组织策划,并通过精心设计和严格执行施工方案等技术措施.     

处理器分支预测攻击研究综述

分支预测器是现代处理器的重要微架构组件,它可有效缓解流水线的控制流冒险问题,提升处理器性能.然而,尽管分支预测器的设计越发先进,设计细节也不被处理器厂商公开,但基于分支预测器的分支预测机制存在的安全问题仍不断被研究人员曝光.利用分支预测机制,攻击者能构建侧信道或隐藏通道,从而绕过软硬件的安全边界检查.在著名的Spectre攻击中,分支预测器还被用来构建瞬态执行窗口,这打破了被错误预测并执行的指令对软件程序员完全透明的错误安全假设.Spectre攻击曝光后,分支预测的安全问题越来越受到重视,相关的攻击变种与防御措施成为学术界和工业界共同关注的课题.本文从分支预测器的设计角度出发,从已公开和被研究人员逆向工程出的分支预测器设计中总结了分支预测器的工作机制,然后按分支预测器填充方式、分支预测器索引方式和分支预测利用过程等特征对现有的分支预测攻击进行归纳和整理,并总结了这些攻击的攻击模型,包括攻击场景与攻击链.随后,本文结合Intel、AMD和ARM等主流商用处理器的典型微体系结构,从攻击模型深入分析了各分支预测攻击的关联性、创新点和可行性,并提出一种评价分支预测类瞬态执行攻击可行性的理论方法...     

机场南线工程清水混凝土综合控制技术

介绍了机场南线墩柱清水混凝土的技术方案,通过对原材的优选、配比的优化和模板等施工技术,特别着重于中心环节的模板工程的对比优选,达到了预期效果。     

基于瘦客户的混合计算设计与实现

随着瘦客户系统的广泛应用,瘦客户计算系统中一些固有的缺点越来越明显:单一依赖服务器计算,瘦客户端剩余过多的计算能力,对网络带宽要求较高等.在这篇文章中,我们提出了基于瘦客户计算的服务器/本地混合计算模式—即通过适当利用瘦客户端本地计算资源的能力来进行应用处理,在一定程度上避免或改进了这些不足.通过对媒体播放应用在传统瘦客户计算模式和混合计算模式的比较测试,证明了新模式在取得性能改善的同时,可以有效地缓解服务器计算和网络带宽压力,提高幅度达75%以上.