VaspCZ:一个提高效率的VASP计算辅助程序

VASP(Vienna Ab-initio Simulation Package)是基于密度泛函理论的通用材料计算模拟软件。随着高性能计算平台的广泛使用和高通量计算的兴起,VASP计算任务的复杂性和数据量也大幅度提升。为了提高材料理论计算的方便程度,减少大量重复的指令和结果检查的复杂性,本文提供了一个基于Python语言的VASP计算辅助程序VaspCZ,能够大幅提高研究者的科研效率。该程序包含软件部分和API部分,软件部分提供了命令行用户界面,基于基本的Linux命令即可一键完成VASP计算的相关操作,为无编程语言基础的研究人员提供了便利。应用程序接口部分服务于具有Python语言基础的研究者,提供了底层库,使得自定义计算(如高通量计算、编写高级应用等)更为简单快捷。本程序包可以显著提高VASP的计算效率,并已经通过Github开源项目公开,提供了详细的使用文档、使用示例和API接口,有望能为广大材料理论研究者提供便利。     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

A公司C产品研发项目范围管理研究

通过分析A公司在研发项目范围管理中所存在问题,提出研发项目范围管理的方法及其在C产品的应用实例,通过运用研发项目范围管理的工具和方法,改善产品开发流程,从而缩短新产品开发周期,提高响应市场的速度,并提高企业研发项目的管理能力。     

韩国LS产电震撼亮相第九届SNEC太阳能光伏展

2015年4月28～30日，第九届SNEC国际太阳能光伏展在上海新国际博览中心完美举办。展会期间，LS产电携带光伏系统解决方案震撼亮相本次光伏展。     

钢结构集成污水净化池工业应用简介

结合上海焦化有限公司的应用情况,介绍钢结构集成污水净化池在结构、形状、防腐、使用寿命、拆除等方面的特点,及与传统混凝土污水净化池的异同,其具有大幅度降低造价、减少占地、缩短工期的优点。     

公安信息系统安全审计技术现状和问题

自《关于加快推进公安信息系统应用日志安全审计工作的通知》(公传发〔2013〕516号)下发以来,公安业务系统的安全审计工作有了很大的进展,但在落地的过程中,也出现了一些现象值得去研究和讨论。文章在安全审计发展现状的基础上,论述了存在的问题,并针对关键问题给出具体的技术实现思路以及实现方案。     

图像化建筑表皮的设计手法研究

当代建筑设计的环境下,建筑师们将建筑表皮设计作为创作的重要环节和核心因素。图像化建筑表皮是在建筑表皮主体地位确立的情况下发展起来,并在各种建筑类型的设计实践中表现出来。图像化建筑表皮从设计手法上来看,可以作为结构构件、材料语言、造型、媒介、抽象文化符号、艺术手法、技术构造、拼贴和碎片等多种手法在设计中应用。通过对理论溯源和若干案例的分析和总结,探讨当今图像化建筑表皮中被广泛应用、具有强烈识别性的设计手法。