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

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

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多尺度分解阈值消噪后的图像,可以更好地应用于织物疵点图像的特征提取和疵点识别。     

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

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

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

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

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

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

移动平台三维花卉植物触摸反馈可视化模拟

移动平台上高交互感的三维花卉植物可视化已成为植物研究、园艺设计等领域的重要需求,但现有植物运动形变方法还不能根据触摸力度对整株花卉植物或单一叶片的受力进行不同的形变过程模拟。为此,提出一种改进的三维花卉植物触摸反馈可视化模拟方法。根据植物整株交互需求或单一叶片受力情况,研究不同方式的触摸反馈模拟方法。在模拟触摸反馈时,整株受力应用动力学原理,抽象为杆件模型并计算形变结果。单一叶片受力时,根据触摸屏获取数据,并结合叶脉骨架旋转模型算法,模拟不同力度触摸造成的叶片形变,过程中无需手动输入参数。仿真结果表明,该方法应用于移动平台后,帧速率稳定,具有较高的真实感。     

一种自适应的网格计算资源组织与发现机制

资源发现是网格计算中一个重要的研究问题.计算资源作为支撑网格应用的基础资源,其组织与发现机制尤为重要,但现有的技术和方法在效率、可伸缩性、自适应的动态演化以及对查询方式的支持方面仍有较大的局限性.基于网格应用对计算资源需求特征的深入分析,通过引入计算资源的主属性概念,按照平衡二叉排序树对计算资源进行分类组织,提出基于资源分类树(resource category tree,简称RCT)的资源组织与发现机制.首先,讨论了基于RCT对计算资源的组织机制,包括RCT的基本概念和原理、支持资源动态加入和退出以及资源状态动态变化的自组织机制、负载感知的自适应演化机制和基于备份节点的容错机制;然后,在基于RCT的资源组织结构下,设计了支持4种查询方式的搜索算法,并对算法的复杂度进行了分析;最后,通过多组仿真实验对RCT的性能进行了评估.     

Balance recovery control for biped robot based on reaction null space method

A biped walking robot should be able to keep balance even in the presence of disturbing forces.This paper presents a step strategy concept of biped walking robot that is stabilized by using reaction null space method.The called "step strategy" can be modeled by means of the reaction null space method that introduced earlier to tackle dynamic interaction problems of free-floating robots,or moving base robots in general.6-DOF biped robot model simulations are used to confirm the validity.     

强磁场对硅锰铸钢于A_1点附近等温珠光体相变的影响

通过开展12 T强磁下硅锰铸钢(50Si_2Mn_3)于A_1点温度附近不同等温时间的热处理试验,并对比强磁场与无磁场条件下等温珠光体相变试验结果,研究了磁场对珠光体转变量及组织形貌的影响。研究表明,对于50Si_2Mn_3在A1点以下较高温度范围内,强磁场可缩短珠光体相变的孕育期,促进硅锰铸钢珠光体转变,使其转变量明显增加;强磁场能够提高珠光体转变临界点,使50Si_2Mn_3在A1点以上等温过程中能够发生珠光体相变。