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

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

JETS,PLUMES AND BUOYANT JETS IN STATIC ENVIRONMENT

Turbulence represents an essential aspect in atmospheric and oceanic circulations.In particu-lar,it is a preponderant factor in the dispersion of pollutants of artificial or natural origin.Thevertical turbulent jets,plumes and buoyant jets discharging into static environment is one of themost important and basic flow patterns related with the environment pollution.These flows havenumerous important applications,for example,thrust augmentors,waste disposal plumes fromstacks and combustion systems,and significant problems of turbulent diffusion.     

NUMERICAL SIMULATIONS OF WHOLE FIELD BEHAVIOR FOR ROUND BUOYANT JET

ＮＵＭＥＲＩＣＡＬＳＩＭＵＬＡＴＩＯＮＳＯＦＷＨＯＬＥＦＩＥＬＤＢＥＨＡＶＩＯＲＦＯＲＲＯＵＮＤＢＵＯＹＡＮＴＪＥＴＬｉＷｅｉ，ＨｕａｉＷｅｎ－ｘｉｎ（ＷｕｈａｎＵｎｉｖｅｒｓｉｔｙｏｆＨｙｄｒａｕｌｉｃａｎｄＥｌｅｃｔｒｉｃＥｎｇｉｎｅｅｒｉｎｇ，...     

Zr-2/Cr反应扩散研究

研究了Zr-2/Cr扩散偶在1023－1123K范围内的反应扩散，用扫描电镜观察反应宽度，用能谱仪（EDS）测定了反应层Zr,Fe和Cr沿扩散方向的浓度分布，研究了反应层的生长动力学，结果表明，反应层生长基本符合抛物经规律，生长过程受扩散控制，用Boltzman-Matano-Heumann模型计算了Cr在反应层Zr（Fe,Cr）2中的互扩散系数D，得到了互扩散系数D与温度的Arrhenius方程，由计算的扩散数据与Cr在Zr中形成稀固溶体时Cr的扩散数据比较可知，Cr在金属间化合物Zr（Fe,Cr）2中的扩散比在稀因溶体中的扩散快5个数量级。     

黑河右岸溢洪洞左导墙优化试验

黑河水利枢纽右岸溢洪洞为缩短引渠左导墙的长度,减少施工开挖量,降低施工难度,减少工程投资,进行优化试验.通过对7种不同的方案对比分析,选择了合适的体型,满足了工程要求.     

Complexity of synthesis of composite service with correctness guarantee

How to compose existing web services automatically and to guarantee the correctness of the design (e.g. temporal constraints specified by temporal logic LTL, CTL or CTL*) is an important and challenging problem in web services. Most existing approaches use the process in conventional software development of design, verification, analysis and correction to guarantee the correctness of composite services, which makes the composition process both complex and time-consuming. In this paper, we focus on the synthesis problem of composite service; that is, for a given set of services and correctness constraint specified by CTL or CTL* formula, a composite service is automatically constructed which guarantees that the correctness is ensured. We prove that the synthesis problem for CTL and CTL* are complete for EXPTIME and 2EXPTIME, respectively. Moreover, for the case of synthesis failure, we discuss the problem of how to disable outputs of environment (i.e. users or services) reasonably to make synthesis successful, which are also proved complete for EXPTIME and 2EXPTIME for CTL and CTL*, respectively.     

水韧处理工艺对合金高锰钢组织和性能的影响

研究了水韧处理工艺对Cr、V、Mo合金高锰钢金相组织和力学性能的影响.试验结果表明,水韧处理工艺对合金高锰钢金相组织和力学性能有显著影响,适宜的水韧处理工艺(加热至1100℃,保温4h)可以改善高锰钢金相组织和力学性能,使σb=780MPa、δ5 30%、αK=150J/cm2、HBS=258,使用寿命达到1800h以上.     

基于烟囱效应的地下建筑通风系统研究

针对目前地下建筑如隧道、地下车库等通风排气系统采用的机械换气方式,耗能大、噪音大、效果不佳等缺点,提出基于烟囱效应利用太阳能的通风系统,并对其通风效果和换气能力进行了理论分析和数值仿真.计算和仿真结果表明,此种方式能够较好地达到地下通风换气效果.     

结合锥模型算法的修正多步拟牛顿法

提出一种解决维数较大的无约束优化问题的混合算法.该算法采用了一个开关用于切换修正多步拟牛顿算法和锥模型算法.结果表明,该算法既保留了拟牛顿算法的快速有效性,又将适用范围扩大到了二次模型逼近效果较差的函数,且对于大多数维数较大的函数都是切实可行的.