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

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

镁掺杂磷铝分子筛可见光光催化性能的初步研究

采用水热反应的方法合成了金属镁掺杂的磷铝分子筛MgAPO-5,通过XRD、DR UV-Vis、FT-IR等手段对其结构性能进行表征,并以亚甲基蓝溶液为目标降解物,在可见光下考察了MgAPO-5的光催化性能.结果表明,MgAPO-5具有与AlPO4-5相同的分子筛结构,掺杂的镁可能存在于磷铝分子筛的骨架中,在可见光下对亚甲基蓝溶液具有优良的光催化性能,反应5 h,脱色率可达92.5%.     

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.     

基于VBA技术的Word自动判卷系统的实现

介绍一种用VBA技术实现对Word文档操作的自动判卷系统。学生答题完后计算机可自动批阅并显示分数和正确解,根据得分情况给出相应的学习建议。该系统具有较高的判卷准确性,可以成为学习者平时练习和模拟考试的辅助工具。     

低温溶液直接缩聚法制备浆粕状芳纶纤维

采用低温溶液缩聚法制备浆粕状芳纶纤维 ,且通过均匀设计来安排合成试验 ,采用数据组合法和单纯型寻优法建立了各影响因素与芳纶浆粕纤维特性粘数之间的回归模型 ,优化了合成工艺 ,为进一步研究制备浆粕状芳纶浆粕工艺奠定了基础     

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

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

稀土固体超强酸S2O82-/ZrO2-SiO2-Sm2O3的失活及再生研究

研究了稀土固体超强酸催化剂是S2O8^2-／ZrO2-SiO2-Sm2O3的失活原因与再生方法，采用热重差热分析法考察了催化剂失活原因。结果表明，催化剂失活的主要原因是：①催化剂表面硫含量损失；②催化剂表面活性位被反应液中的有机物覆盖；③催化剂表面积碳。催化剂采用7种不同再生方法进行比较。催化剂最佳再生方法是用无水乙醇洗涤2遍；110℃干燥12h。     

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

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

双水解法制备SO4^2-/SnO2·SiO2固体超强酸及其结构表征

用双水解法合成了SO24-/SnO2-SiO2固体超强酸催化剂。采用FTIR、TG-DTA和XRD技术研究了SO24-/SnO2-SiO2的结构,其测试结果表明:SO42-/SnO2-SiO2的结构与其催化活性存在很好的一致性。     

企业各软件的数据共享和整合分析浅谈

本文主要根据大多数企业存在各种软件各自独立运行,各软件之间数据不能相互共享,一些旧软件或不适用的软件与目前主流操作系统不兼容等问题,分析问题并用接口和整合方法解决,此平台利用云计算技术,解决大多数企业建设信息平台投资大的问题,同时方便企业使用和维护.