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

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

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

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

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

摘要：2021年“新现场”高清放映系列与松竹株式会社合作,在北京日本文化中心的支持下,松竹大歌舞伎高清影像系列落地中国,共引进四部松竹歌舞伎的代表作,分别为《京鹿子娘二人道成寺》《阿弖流為》《连狮子》和《女杀油地狱》。2021年10月24日下午,歌舞伎NEXT《阿弖流為〈アテルイ〉》在北京天桥艺术中心小剧场正式放映,这也是该作品在国内的首映,全剧两幕共计185分钟,可谓是一部“大体量”的歌舞伎舞台剧作品。

摘要：叶温的变化影响着茶叶内含物的热化学转化,决定着茶叶色泽、香气和滋味的形成。本研究利用K型热电偶监测龙井茶炒制过程中叶温及含水量的变化,结果表明,1)茶叶炒制过程中叶温随时间的变化曲线可分为3个阶段:第一阶段,茶叶下锅炒制3 min,温度从40℃快速上升至58℃;第二阶段,时长6 min,温度持续缓慢上升至70℃;第三阶段,时长2 min,温度快速上升至80℃。2)叶片含水量与叶温变化相反,变化曲线呈反向S型,可分为平台期(50℃以内,含水量下降缓慢)、快速失水期(50～70℃,含水量急剧下降)和缓慢失水期(70℃以上,含水量降速随温度的上升而变缓) 3个阶段。3)快速失水期为茶叶塑形关键点,缓慢失水期可以作为干燥适度的关键控制点。