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...     

基于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.     

A novel low-noise high-linearity CMOS transmitter for mobile UHF RFID reader

A novel CMOS transmitter with low TX noise and high linearity is implemented in a 0.18μm 1P6M standard CMOS process for Mobile UHF RFID reader.Adopting double-sideband amplitude-shift-keying(DSBASK)as the only modulation is supported,this transmitter has very low power consumption.A novel analog baseband circuit is proposed to reduce the transmitter noise.With a G′′m–cancellation technology,a highly linear up-conversion active mixer and a power amplifier driver are designed.The transmitter has a measured output1 dB compression point of 13.4 dBm.Occupying a silicon area of about 1 mm2and consuming 144 mW from a1.8 V voltage supply,the transmitter makes the Mobile UHF RFID reader communicate with a transponder in a distance of 1 m conveniently.     

AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee

How to compose existing web services automatically and to guarantee the correctness of the design(e.g. freeness of deadlock and unspecified reception,and temporal constraints) is an important and challenging problem in web services. Most existing approaches require a detailed specification of the desired behaviors of a composite service beforehand and then perform certain formal verification to guarantee the correctness of the design,which makes the composition process both complex and time-consuming. In th...     

PLC在加热炉步距的补偿应展

本文描述了步进梁式加热炉步进梁的工艺原理及控制原理，在实际应用中用PLC程序解决步距偏移问题。     

鄂尔多斯盆地西南缘奥陶系碳酸盐岩储层主控因素分析

鄂尔多斯盆地西南缘奥陶系碳酸盐岩在地质演化过程中形成了以次生成因的孔、滑、缝为主要储集空间类型的储层。该套储层是在沉积环境、成岩作用和构造作用的相互作用下形成的,其中沉积环境是基础,影响着储层的基本形态,有利于储层形成和发育的沉积环境为碳酸盐岩斜坡、潮坪和台内浅滩;成岩作用决定了储层的最终分布形态、范围和储集空间特征,对储层物性优劣起主导作用;有利于储集空间发育和扩大的成岩作用主要有白云石化作用、溶解作用和压溶作用。构造作用主要是构造抬升可形成沉积间断面和不整合面,促进了与岩溶作用有关的岩溶型储层和各种类型的节理、裂缝边溶孔的发育。