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

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

龙桥水电站泄洪建筑物体型优化试验研究

龙桥水电站大坝为混凝土双曲拱坝,表孔泄洪。采用1∶60的水工整体正态模型对其泄洪消能布置进行了深入的试验研究,结果表明:原设计方案采用高低坎型式效果欠佳,利用滑雪道结合高低坎布置的新型消能工使下泄水流在空中充分碰撞,明显提高消能效果,大大减轻对下游河床的冲刷,从而较好地解决了消能防冲问题。     

静止浅水环境中铅垂紊动射流的试验研究

对静止均匀浅水域中的铅垂紊动射流进行了试验研究，得到了水面的隆起高度与射流出口单位能量和相对水深的函数关系，验证了隆起高度满足高斯分布，具有自相似性，并给出了统一表达式；借助于三维测速仪，得到了射流中心平面流场，结果表明射流中线流速的衰减比自由射流为快，随着射流出口流量的增加，射流出口处涡量亦增大。     

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.     

矿用变频器输出线路人身触电安全检测技术

随着煤矿井下综采面的扩大和大容量高耗能的电气设备在井下的广泛使用,必须考虑节能和安全问题.在井下电网中接入变频器能实现对异步电动机的调速控制,达到节能效果,但也会带来谐波污染.当发生诸如人身触电等漏电故障时,继电保护装置需要测量三相对地绝缘电阻,并判断其是否达到动作整定值以决定发出跳闸信号命令.变频器的加入带来的高次谐波,对检测三相对地绝缘电阻有很大影响.介绍几种针对三相对地绝缘电阻的监测方法,并就加入变频器带来的谐波问题重点介绍基于傅里叶算法的附加直流原理测量绝缘电阻的技术.     

基于轮廓波变换的织物疵点图像消噪新方法

为了实现织物疵点图像的有效消噪,使其更有利于特征提取和疵点检测,提出了基于轮廓波变换的织物疵点图像消噪新方法。综合考虑轮廓波方向子带能量的大小与织物疵点图像轮廓细节之间的关系,对Donoho多尺度分解阈值进行修正,改进了Donoho多尺度分解阈值对图像细节"过扼杀"的缺点。实验结果表明,对织物疵点图像进行基于轮廓波变换改进阈值消噪时,该方法更好地保留了织物疵点图像的轮廓细节,峰值信噪比显著提高。采用改进的轮廓波Donoho多尺度分解阈值消噪后的图像,可以更好地应用于织物疵点图像的特征提取和疵点识别。     

一种基于单条程序执行路径的错误定位方法

当程序在测试中发生错误时,将形成一条错误的程序执行路径,程序员将会花费很多精力去检测程序代码和定位最终的程序错误．提出一种基于单条程序执行路径的错误定位方法,该方法通过对程序进行反向执行,计算出多个最弱前置条件及其相对应的疑似错误语句集,并生成错误定位树,来辅助程序员进行快速错误定位．对西门子测试数据集进行的实验表明了该方法具有良好的效果．     

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

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

大学生的膳食营养与营养教育

随着人们健康意识的提高,当代大学生的膳食营养与营养教育也日益受到关注。本文阐述了大学生的营养需求和合理营养对于促进大学生的健康与学习的作用,分析了大学生的营养状况及存在的问题,提出了大学生营养教育的措施。