摘要：随着E级高性能计算机系统组装密度成倍增加,结点规模不断扩大,监控分系统在可扩展性、可靠性、可服务性和高效运维上面临巨大挑战。针对这些挑战,从架构、网络、功能和运维4个方面介绍了监控分系统的设计思路,并通过原型系统验证了部分设计的可行性与优势,对未来E级系统的构建具有较大的支撑作用。

摘要：构造不变式是程序验证的重要组成部分,而开源工具Interproc能对简单的程序设计语言构造线性不变式。基于Interproc和C程序编译工具CIL,针对简化的C程序设计并实现了自动构造数值型程序变量线性不变式的工具CILinear,并与Interproc进行了比较。实验表明CILinear能有效地构造线性不变式,并且比Interproc支持的语法更多。通过实例讨论了CILinear在程序验证中的实际应用。

摘要：缓冲区溢出是C程序中很多安全问题的根源。该文给出一种基于SAT的C语言缓冲区溢出检测方法。该方法利用源代码变换技术,在程序源码中加入缓冲区属性刻画语句,使用断言刻画缓冲区溢出属性,然后借助SAT工具对断言进行检查。采用该方法设计实现了一个原型工具,它以程序源代码作为输入,能够自动检测程序中包含的缓冲区溢出漏洞。使用该工具对1 164个公开的基准程序进行检测,结果表明:工具准确地定位出程序中的缓冲区溢出漏洞,误报0个,漏报率约2.08%。

摘要：进行了33个木材与玄武岩纤维布(BFRP)粘结试件的单剪试验,主要考察粘贴层数对BFRP与木材粘结性能的影响,测量了不同粘贴层数下BFRP与木材界面的应变分布规律。比较了在不同粘贴层数下BFRP与木材之间的极限荷载和粘结应力分布情况,结果表明,随着BFRP粘贴层数的增加,有效粘结长度呈增加趋势,在木材含水率为10%条件下,1,2,3层玄武岩纤维布与木材(福杉)的有效粘结长度分别在100,120,150mm左右;粘贴层数对木材与玄武岩纤维布的极限粘结荷载也有一定影响,随BFRP粘贴层数的增加,极限粘结荷载逐渐增加。

摘要：社会主义核心价值观要从小学就开始抓起,这样才能渗透到学生的大脑中,从而使学生从认知到认同,最后内化为自己的价值观念。老师们要把握好时代音符、时代脉搏,通过丰富多样的教学活动,采用生动有趣的教育方式,培养学生崇高的爱国情操、明辨是非的能力、诚信友善的品质等。

摘要：优秀的民族文化是提高民族自信心、增强民族凝聚力、培育民族精神和民族情感的源泉。少数民族文化是祖国文化的瑰宝,抢救、整理、传承和发扬优秀传统文化显得日益紧迫,刻不容缓。一、裕固族传统文化在青少年中传承现状裕固族因其悠久的历史,形成了自己独具特色的传统文化体系,与北方游牧民族文化的兼容并蓄,赋予了它更加绚丽多彩的内容和形式,借助河西走廊独特的人文环境和祁连山优越的自然环境.