高效的部分冗余容错编译：复制错误流关键子图

传统的容错编译通常复制所有的计算并且使用完全冗余的存储单元来保证容错.这种完全冗余在存储空间和性能上的开销都是相当大的.在错误流分析的基础上提出错误流图的关键子图的概念以及通过关键结点和关键路径生成关键子图的方法,并设计了通过复制错误流关键子图实现部分冗余的算法.在保证有效容错能力的同时,部分冗余明显减小了经过容错编译的程序在存储空间和性能上的开销.实验显示,与复制全部错误流图的完全冗余相比,在结点覆盖率降低6.25%的情况下,部分冗余算法最多能够减少寄存器的使用数量6.25%,减少功耗超过17%,减少执行时间接近26%,同时提高性能超过22%.

高性能低功耗的容错编译技术:错误流压缩算法

在许多关键应用中,计算机的高性能、低功耗和高可靠性是必须同时满足的要求.传统的软件容错技术频繁使用和比较分支指令检测错误,带来了巨大的性能和功耗的开销.提出了基于计算数据流模型的错误流模型,并设计了错误流压缩算法.在错误流压缩算法中,利用附加计算压缩了错误流的直径,显著减少了分支指令的数量,而总指令数不变.针对StreamIT提供的快速傅立叶变换测试程序,采用Wattch对错误流压缩算法进行模拟测试.实验结果表明,当循环参数n=225时,与传统的EDDI算法相比,使用错误流压缩算法可减少分支指令24%以上,IPC提高超过12%,同时,功耗减少了将近5%.给出的推算表明在该实验中,如果内层循环体的存储指令数量为8,分支指令的减少可以达到43%以上.

通过基于COTS器件的软件容错技术提高空间高可靠计算机的性能

在空间计算机的设计和制造中,高性能和高可靠是一对矛盾.使用防辐照器件制造空间计算机能够提高可靠性,但是防辐照器件不仅价格昂贵,而且在性能上远远落后于同时代的COTS器件,不能满足日益增长的空间高性能应用的需求;而使用COTS器件制造的计算机能够达到很高的性能,而且具有较高的性价比,但是在容错能力比不上防辐照器件,不能满足空间计算机在可靠性方面的要求.在COTS器件上实现软件容错,是提高空间高可靠计算机性能的方法之一,现已成为国际上的趋势.美国国家宇航局喷气推进实验室和Stanford大学的可靠性计算实验室在这些方面都进行了卓有成效的研究.然而在COTS器件上实现软件容错也带来了许多挑战.软件容错带来的性能和功耗开销、软件本身的容错能力等都是必须面对的问题.在介绍了基于COTS器件的软件容错技术的背景和发展情况后,又针对其中的主要问题提出了可能的解决方法,其中基于错误流模型的容错编译技术具有较高的实用价值.

并行帧缓存设备:基于多核CPU的Xorg并行显示优化

Xorg图形服务器软件在帧缓存设备上采用单线程绘制模式,难以发挥多核CPU的性能.针对多核CPU上的帧缓存设备,设计了带有互斥操作的任务队列,并按照屏幕划分的方法,实现了Xorg的矩形填充操作在帧缓存设备上基于私有任务队列的多线程并行化,并实现了主从线程负载均衡.x11perf测试结果表明,该算法在一台4核商用台式机上的加速比可以达到2.06.

美国数字阅读现状及数字出版趋势分析

目前,尽管美国阅读市场中数字阅读比重在大幅上升,但是纸质阅读依旧稳定地占有一席之地。在数字阅读群体的变化中,高素质读者成为中坚力量,且女性阅读群体占比上涨迅速,成为数字阅读的"黑马"。研究表明,读者对于数字阅读终端的选择具有多元性和侧重性,移动终端更易受到青睐。

高校图书馆绩效管理体系建设探究

针对当前高校图书馆绩效管理工作的现状进行分析,从高校图书馆整体工作目标出发,识别在实际的绩效管理中存在的问题与不足,参考各行业绩效管理工作优秀实践,形成针对高校图书馆绩效管理体系建设的改进思路与策略。

微书评在高校图书馆使用情况及应用前景

从微书评的含义和特征入手,分析了高校图书馆微书评应用的可行性;通过问卷调查,分析了微书评在高校图书馆的使用情况;最后阐述了微书评在高校图书馆的应用前景。

构建提升学生自主学习能力的大学图书馆管理模型

分析了当前大学生自主学习方面存在的问题,就充分发挥大学图书馆在提升大学生自主学习能力方面的作用,从制定支持政策体系、丰富学习资源、拓展特色学习支持服务、创新良好学习环境与加强图书馆员工能力五个维度,构建了全新的大学图书馆管理模型,并讨论了影响大学图书馆管理模型效力发挥的关键因素。

错误流模型:硬件故障的软件传播建模与分析

无论是可靠性工程还是软件可靠性中的可靠性模型,都难以描述硬件故障在程序中的传播问题.首先建立了计算数据流模型,并以无穷存储机器的指令集为例,说明可以为任意程序建立计算数据流图.在计算数据流模型的基础上,进一步建立了错误流模型.把计算过程中的错误分成物理错误和传播错误两种,通过分析这两种错误的本质和传播规律,给出了6条有关错误传播的规则和2条独立定律.根据这些规则和定律,能够计算出在程序运行过程中,任意时刻在任意位置上出现错误的概率.最后以一个简单的无穷存储机器程序为例,简要地展示了错误流模型描述硬件故障在程序中传播的能力.

操作系统访问控制机制研究

访问控制作为操作系统最重要的安全机制之一,广泛应用于Windows,Linux等主流操作系统,并在Android,Harmony等新兴智能终端操作系统安全中发挥重要作用.现有访问控制研究多聚焦于区块链、分布式等具体技术或属性、角色等访问控制方法,对作为安全基石的操作系统访问控制缺乏系统全面的总结.在介绍访问控制基本概念与策略分类的基础上,对当前主流操作系统的访问控制机制进行了系统总结,并探讨了访问控制机制的未来发展趋势.

制氮新技术在塔里木低压深井作业中的应用

介绍了制氮车的工作原理及其在塔里木油田低压深井排液作业中的应用情况和使用效果。由此得出了该制氮装置具有机动性好 ,排液效率高 ,施工连续的特点 ,在塔里木油田具有广阔的应用前景 。

基于“中国大学MOOC”体验的MOOC教育伦理分析及其对边远地区教育发展的意义研究

基于笔者对中国大学MOOC学习的亲身体验,比较了MOOC学习与传统学习的区别,从伦理学和人权视角探讨了MOOC理念是人道主义精神和人文关怀的体现,在此基础上,从多个角度深入探讨了MOOC教育模式对边远地区教育的深远意义,并提出了MOOC未来发展可能的瓶颈问题及其解决途径。

“互联网+”视角下图书馆创新服务平台的实践——以西安电子科技大学图书馆为例

阐述了"互联网+"与图书馆的内涵以及图书馆服务平台的发展历程,并以西安电子科技大学图书馆与第三方公司合力开发的书蜗服务平台为例,从平台设计、开发语言、功能设计3个方面进行了介绍,并与微信公众平台、图书馆网站对比分析了其应用效果,发现书蜗服务平台功能最为全面,运行情况良好,且多个服务功能的使用率在较短时间内已超过另外两个平台。

空间探测中基于COTS部件的软件容错技术

随着航天活动的发展,空间探测任务对于高性能计算的需求越来越明显,高性能的空间超级计算机成为决定下一代空间探测计划成败的关键之一。专用的防辐射计算部件不仅价格昂贵,而且在性能上远远落后于同时代的商用部件(COTS)。使用软件容错技术在COTS部件上搭建空间超级计算机,在达到和专用防辐射部件同样的容错效果的前提下,能够大幅度降低成本,提高性能和性能/功耗比。美国国家宇航局和斯坦福大学的实验已经验证,使用COTS部件有助于实现低成本高效能的下一代空间科学探测计划。

论高校图书馆泛在服务模式的建立

介绍了图书馆泛在服务模式的技术支持,阐述了图书馆泛在服务模式的推动力,探讨了图书馆泛在服务模式的实现。

P2P环境下数字图书馆系统基于语义的节点查询扩展研究

针对传统数字图书馆中基于关键字的P2P查询扩展存在对用户检索词语义信息解释不足的缺陷,本文提出一种P2P环境下基于语义的节点查询扩展方法,通过把关键字关联表和本体相结合,实现了一种个性化查询扩展方法,同时利用这种扩展方法实现P2P中基于兴趣网络的搜索,能够较大幅度提升检索效率。

高校教育信息资源管理研究进展综述

在简要阐述国内信息资源管理研究现状的基础上,介绍了教育信息资源管理的概念、研究现状及发展趋势,并对高校教育信息资源管理进行了内容分析,全面梳理了高校教育信息资源管理的主要内容及研究方向,对高校教育信息资源管理未来的发展趋势及策略提出了研究展望。

结合学籍学历管理平台做好学籍异动工作的意义及方法

学籍管理工作是高校教学管理工作中的一项常规工作,学籍异动作为学籍管理工作的重要组成部分,是在校生学籍的动态体现,记载了在校生在校期间学籍的变化过程。因此学籍异动工作必须及时,准确,规范。本文分析了学籍异动工作的意义,就如何结合学籍学历管理平台做好此项工作提出了几点建议。

地震科技文献管理工作初探

论述了图书馆的社会价值及专业图书馆的管理方式，提出文献服务更新观念，观向社会为防震减灾服务。

探究微博与图书情报服务空间的新拓展

随着网络技术的不断发展,开发出了很多新的沟通、分享平台。目前比较流行的是微博、微信等。因为微博的起步早于微信,因此在当前,图书馆的情报服务更多侧重于微博。本文从微博的作用与特点出发,分析图书馆微博在运用中存在的问题,指在找到微博与图书情报服务空间的新拓展关键。