The intense research of lithium-ion batteries has been motivated by their successful applications in mobile devices and electronic vehicles.The emerging of intelligent control in kinds of devices brings new requiremen...The intense research of lithium-ion batteries has been motivated by their successful applications in mobile devices and electronic vehicles.The emerging of intelligent control in kinds of devices brings new requirements for battery systems.The high-energy lithium batteries are expected to respond or react under different environmental conditions.In this work,a tri-salt composite electrolyte is designed with a temperature switch function for intelligently temperature-controlled lithium batteries.Specifically,the halide Li_(3)YBr_(6)together with LiTFSI and LiNO_(3)works as active fillers in a low-melting-point polymer matrix(polyethyleneglycol dimethyl ether(PEGDME)and polyethylene oxide(PEO)),which is further filled into the pre-lithiated alumina fiber skeleton.Above 60°C,the composite electrolyte exists in the liquid state and fully contacts with the working electrodes on the liquid–solid interface,effectively minimizing the interfacial resistance and leading to high discharge capacity in the cell.The electrolyte is changed into a solid state below 30°C so that the ionic conductivity is significantly reduced and the interface resistance is increased dramatically on the solid–solid interface.Therefore,by simply adjusting the temperature,the cell can be turned“ON”or“OFF”intentionally.This novel function of the composite electrolyte has enlightening significance in developing intelligently temperature-controlled lithium batteries.展开更多
The robust admissibility analysis of a class of uncertain discrete-time switched linear singular（SLS） systems for arbitrary switching laws is addressed. The parameter uncertainty is assumed to be norm-bounded. First...The robust admissibility analysis of a class of uncertain discrete-time switched linear singular（SLS） systems for arbitrary switching laws is addressed. The parameter uncertainty is assumed to be norm-bounded. First, by using the switched Lyapunov function approach, some new sufficient conditions ensuring the nominal discrete-time SLS system to be regular, casual and asymptotically stable for arbitrary switching laws are derived in terms of linear matrix inequalities. Then, the robust admissibility condition for the uncertain discrete-time SLS systems is presented. The obtained results can be viewed as an extension of previous works on the switched Lyapunov function approach from the regular switched linear systems to the switched linear singular cases. Numerical examples show the reduced conservatism and effectiveness of the proposed conditions.展开更多
In the data encryption standard （DES） algorithm, there exist several bit-switching functions, including permutations, expansion, and permuted choices. They are generally presented in the form of matrixes and realize...In the data encryption standard （DES） algorithm, there exist several bit-switching functions, including permutations, expansion, and permuted choices. They are generally presented in the form of matrixes and realized by using table look-up technique in the implementation of the cryptosystem. This paper presents explicit formulas for the initial permutation IP, its inverse IP-1 , the expansion function E, and the permuted choice PC_1. It also gives the program realizations of these functions in C＋＋ applying these formulas. With the advantage of the omission of the storage space for these matrixes and the tedious inputs of tables in the implementations of DES, our experimental results shows that the explicit formulas are useful in some situations, such as wireless sensor networks where the memory capacity is limited, especially when the size of file for encrypting is not too large, preferably smaller than 256KB.展开更多
The paper presents modeling approach of a Single Ended Primary Inductance Converter (SEPIC) system. The complete model derivation of the SEPIC converter system has been presented in different modes of operation. Stead...The paper presents modeling approach of a Single Ended Primary Inductance Converter (SEPIC) system. The complete model derivation of the SEPIC converter system has been presented in different modes of operation. Steady state and small signal analysis was carried out on the converter dynamic equations using the method of Harmonic balance Technique. The steady state variables and their respective ripple quantities obtained were plotted against duty ratio D. The results obtained for a supply input voltage of 60 volts to the converter at a duty ratio of D = 0.8 , compares well with simulation results.展开更多
In this paper, a hybrid predictive controller is proposed for a class of uncertain switched nonlinear systems based on high-order differential state observers and Lyapunov functions. The main idea is to design an outp...In this paper, a hybrid predictive controller is proposed for a class of uncertain switched nonlinear systems based on high-order differential state observers and Lyapunov functions. The main idea is to design an output feedback bounded controller and a predictive controller for each subsystem using high-order differential state observers and Lyapunov functions, to derive a suitable switched law to stabilize the closed-loop subsystem, and to provide an explicitly characterized set of initial conditions. For the whole switched system, based on the high-order differentiator, a suitable switched law is designed to ensure the whole closed-loop’s stability. The simulation results for a chemical process show the validity of the controller proposed in this paper.展开更多
The paper deals with impulse switching function which are used as exciting functions of one- and multidimensional state-space models of power electronic converters. Obviously, these functions are harmonic but using po...The paper deals with impulse switching function which are used as exciting functions of one- and multidimensional state-space models of power electronic converters. Obviously, these functions are harmonic but using power converters they can be strongly non-harmonic, sometimes piecewise constants with zero spaces between them. Then, one deals with power series of time pulses. The impulse switching functions which are orthogonal ones can be derived from these series. The new impulse switching functions are created using Z-transform, inverse Z-transform and numerical series/sequences. The impulse switching functions created this way can be used for both steady- and transient state investigation of converters.展开更多
There are many papers related to stability, some on suppression or on stabilization are one type of them. Functional differential systems are common and important in practice. They are special situations of neutral di...There are many papers related to stability, some on suppression or on stabilization are one type of them. Functional differential systems are common and important in practice. They are special situations of neutral differential systems and generalization of ordinary differential systems. We discussed conditions on suppression on functional system with Markovian switching in our previous work: “Suppression of Functional System with Markovian Switching”. Based on it, by slightly modifying and adding some conditions, we get this paper. In this paper, we will study a functional system whose coefficient satisfies the local Lipschitz condition and the one-sided polynomial growth condition under Markovian switching. By introducing two appropriate intensity Brownian noise, we find the potential explosion system stabilized.展开更多
射频前端芯片的多功能一体化设计对晶体管模型的功能及其复用能力提出了更高的要求。然而,传统模型无法实现多功能复用,导致模型参数提取步骤多、建模效率低。对此,本文提出了一种基于准物理区划分(Quasi-physical zone division, QPZD...射频前端芯片的多功能一体化设计对晶体管模型的功能及其复用能力提出了更高的要求。然而,传统模型无法实现多功能复用,导致模型参数提取步骤多、建模效率低。对此,本文提出了一种基于准物理区划分(Quasi-physical zone division, QPZD)理论的多功能的器件物理基建模方法,模型具备非线性、噪声和开关特性的表征能力。首先,本文阐述了QPZD的建模原理,分别介绍了基于QPZD的非线性、微波噪声和开关三类单功能模型理论,并基于统一的核心模型方程提出了上述模型的一体化融合方法及其多功能模型架构。其次,介绍了包括自热效应、环境温度效应和陷阱效应在内的色散效应的建模方法。最后,从晶体管在片测试验证和射频前端多功能芯片设计验证两个角度对建立的模型进行了验证。仿真实测对比结果表明,模型的非线性、噪声和开关特性的综合仿真精度大于80.33%。本文的建模方法对多功能射频前端关键芯片的全面和精准设计具有重要的指导意义。展开更多
基金Financial support from the National Natural Science Foundation of China(22279065 and 21935006)is gratefully acknowledged.
文摘The intense research of lithium-ion batteries has been motivated by their successful applications in mobile devices and electronic vehicles.The emerging of intelligent control in kinds of devices brings new requirements for battery systems.The high-energy lithium batteries are expected to respond or react under different environmental conditions.In this work,a tri-salt composite electrolyte is designed with a temperature switch function for intelligently temperature-controlled lithium batteries.Specifically,the halide Li_(3)YBr_(6)together with LiTFSI and LiNO_(3)works as active fillers in a low-melting-point polymer matrix(polyethyleneglycol dimethyl ether(PEGDME)and polyethylene oxide(PEO)),which is further filled into the pre-lithiated alumina fiber skeleton.Above 60°C,the composite electrolyte exists in the liquid state and fully contacts with the working electrodes on the liquid–solid interface,effectively minimizing the interfacial resistance and leading to high discharge capacity in the cell.The electrolyte is changed into a solid state below 30°C so that the ionic conductivity is significantly reduced and the interface resistance is increased dramatically on the solid–solid interface.Therefore,by simply adjusting the temperature,the cell can be turned“ON”or“OFF”intentionally.This novel function of the composite electrolyte has enlightening significance in developing intelligently temperature-controlled lithium batteries.
基金The National Natural Science Foundation of China(No.60835001)the Key Project of Ministry of Education of China (No.108060)
文摘The robust admissibility analysis of a class of uncertain discrete-time switched linear singular（SLS） systems for arbitrary switching laws is addressed. The parameter uncertainty is assumed to be norm-bounded. First, by using the switched Lyapunov function approach, some new sufficient conditions ensuring the nominal discrete-time SLS system to be regular, casual and asymptotically stable for arbitrary switching laws are derived in terms of linear matrix inequalities. Then, the robust admissibility condition for the uncertain discrete-time SLS systems is presented. The obtained results can be viewed as an extension of previous works on the switched Lyapunov function approach from the regular switched linear systems to the switched linear singular cases. Numerical examples show the reduced conservatism and effectiveness of the proposed conditions.
基金Supported by the National Natural Science Foundation of China (61272045)Natural Science Foundation of Outstanding Youth Team Project of Zhejiang Province (R1090138)Project of the State Key Laboratory of Information Security (Institute of Information Engineering, Chinese Academy of Sciences, Beijing)
文摘In the data encryption standard （DES） algorithm, there exist several bit-switching functions, including permutations, expansion, and permuted choices. They are generally presented in the form of matrixes and realized by using table look-up technique in the implementation of the cryptosystem. This paper presents explicit formulas for the initial permutation IP, its inverse IP-1 , the expansion function E, and the permuted choice PC_1. It also gives the program realizations of these functions in C＋＋ applying these formulas. With the advantage of the omission of the storage space for these matrixes and the tedious inputs of tables in the implementations of DES, our experimental results shows that the explicit formulas are useful in some situations, such as wireless sensor networks where the memory capacity is limited, especially when the size of file for encrypting is not too large, preferably smaller than 256KB.
文摘The paper presents modeling approach of a Single Ended Primary Inductance Converter (SEPIC) system. The complete model derivation of the SEPIC converter system has been presented in different modes of operation. Steady state and small signal analysis was carried out on the converter dynamic equations using the method of Harmonic balance Technique. The steady state variables and their respective ripple quantities obtained were plotted against duty ratio D. The results obtained for a supply input voltage of 60 volts to the converter at a duty ratio of D = 0.8 , compares well with simulation results.
文摘In this paper, a hybrid predictive controller is proposed for a class of uncertain switched nonlinear systems based on high-order differential state observers and Lyapunov functions. The main idea is to design an output feedback bounded controller and a predictive controller for each subsystem using high-order differential state observers and Lyapunov functions, to derive a suitable switched law to stabilize the closed-loop subsystem, and to provide an explicitly characterized set of initial conditions. For the whole switched system, based on the high-order differentiator, a suitable switched law is designed to ensure the whole closed-loop’s stability. The simulation results for a chemical process show the validity of the controller proposed in this paper.
文摘The paper deals with impulse switching function which are used as exciting functions of one- and multidimensional state-space models of power electronic converters. Obviously, these functions are harmonic but using power converters they can be strongly non-harmonic, sometimes piecewise constants with zero spaces between them. Then, one deals with power series of time pulses. The impulse switching functions which are orthogonal ones can be derived from these series. The new impulse switching functions are created using Z-transform, inverse Z-transform and numerical series/sequences. The impulse switching functions created this way can be used for both steady- and transient state investigation of converters.
文摘There are many papers related to stability, some on suppression or on stabilization are one type of them. Functional differential systems are common and important in practice. They are special situations of neutral differential systems and generalization of ordinary differential systems. We discussed conditions on suppression on functional system with Markovian switching in our previous work: “Suppression of Functional System with Markovian Switching”. Based on it, by slightly modifying and adding some conditions, we get this paper. In this paper, we will study a functional system whose coefficient satisfies the local Lipschitz condition and the one-sided polynomial growth condition under Markovian switching. By introducing two appropriate intensity Brownian noise, we find the potential explosion system stabilized.
文摘射频前端芯片的多功能一体化设计对晶体管模型的功能及其复用能力提出了更高的要求。然而,传统模型无法实现多功能复用,导致模型参数提取步骤多、建模效率低。对此,本文提出了一种基于准物理区划分(Quasi-physical zone division, QPZD)理论的多功能的器件物理基建模方法,模型具备非线性、噪声和开关特性的表征能力。首先,本文阐述了QPZD的建模原理,分别介绍了基于QPZD的非线性、微波噪声和开关三类单功能模型理论,并基于统一的核心模型方程提出了上述模型的一体化融合方法及其多功能模型架构。其次,介绍了包括自热效应、环境温度效应和陷阱效应在内的色散效应的建模方法。最后,从晶体管在片测试验证和射频前端多功能芯片设计验证两个角度对建立的模型进行了验证。仿真实测对比结果表明,模型的非线性、噪声和开关特性的综合仿真精度大于80.33%。本文的建模方法对多功能射频前端关键芯片的全面和精准设计具有重要的指导意义。
