Fractional order battery modelling methodologies for electric vehicle applications: Recent advances and perspectives

Science China Technological Sciences - Accurate modelling of lithium ion batteries is crucial for battery management in electric vehicles. Recent studies have revealed the fractional order nature...     

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

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

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

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

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

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

基于nRF9E5的无线光标控制系统

利用无线收发技术进行短距离信息传输是传送信息的一种重要方法.本文首先比较具体地介绍了基于无线收发模块进行光标控制系统的基本原理,接着介绍了无线发射、接收模快及最新51兼容射频SoCnRF9E5的片内微控制器的功能及参数,阐述了系统的软件设计.最后说明了用nRF9E5进行无线光机鼠标设计的优势.     

A novel compact low-power direct conversion receiver for mobile UHF RFID reader

A novel direct conversion receiver with low cost and low power is implemented in a 0.18 μm 1P6M standard CMOS process for a Mobile UHF RFID reader.A highly linear active mixer with low flicker noise and low noise active load is proposed.An efficient and low cost on-chip DC offset voltage canceling scheme is adopted with a high-input-impedance four-input OPAMP to buffer the output of the DC offset canceller(DCOC) block.The receiver has a measured input 1 dB compression point of 2 dBm and a sensitivity of 72 dBm in the presence of the large leakage signal from the transmitter.Only occupying a silicon area of 2.5 mm 2 and consuming 21 mA from a 1.8 V supply,the receiver makes the mobile UHF RFID reader to communicate with a transponder in a distance of 1 m conveniently.     

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.     

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

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