Based on the evaluation of advantages and disadvantages of high-precision digital time interval measuring algorithms, and combined with the principle of the typical time-difference ultrasonic flow measurement, the req...Based on the evaluation of advantages and disadvantages of high-precision digital time interval measuring algorithms, and combined with the principle of the typical time-difference ultrasonic flow measurement, the requirements for the measurement of echo time of flight put forward by the ultrasonic flow measurement are analyzed. A new high-precision time interval measurement algorithm is presented, which combines the pulse counting method with the phase delay interpolation. The pulse counting method is used to ensure a large dynamic measuring range, and a double-edge triggering counter is designed to improve the accuracy and reduce the counting quantization error. The phase delay interpolation is used to reduce the quantization error of pulse counting for further improving the time measurement resolution. Test data show that the systexn for the measurement of the ultrasonic echo time of flight based on this algorithm and implemented on an Field Programmable Gate Army（FleA） needs a relatively short time for measurement, and has a measurement error of less than 105 ps.展开更多
Two general approaches are adopted in solving dynamic optimization problems in chemical processes, namely, the analytical and numerical methods. The numerical method, which is based on heuristic algorithms, has been w...Two general approaches are adopted in solving dynamic optimization problems in chemical processes, namely, the analytical and numerical methods. The numerical method, which is based on heuristic algorithms, has been widely used. An approach that combines differential evolution （DE） algorithm and control vector parameteri- zation （CVP） is proposed in this paper. In the proposed CVP, control variables are approximated with polynomials based on state variables and time in the entire time interval. Region reduction strategy is used in DE to reduce the width of the search region, which improves the computing efficiency. The results of the case studies demonstrate the feasibility and efficiency of the oroposed methods.展开更多
The modern TSs （total stations） have reached a very high level in the provided reading and reliability （accuracy and precision） of their measurements. The evolution of the digital technology has helped in this dir...The modern TSs （total stations） have reached a very high level in the provided reading and reliability （accuracy and precision） of their measurements. The evolution of the digital technology has helped in this direction. Thus, the TSs can support all requirements for the stake out and monitoring of modern survey engineering and constructions projects. Their complicated manufacturing process and the sensitivity of their components require gauging, adjusting and calibration at certain time intervals. This appears to be the only way in order to assure the precision of measurements provided by the manufacturer and the reliability of the works they are used for. The goal of this paper is to propose a method for the estimation of the gauging time interval for modern YSs. which could be used by any user. More specifically, the indispensable need for the TSs gauging is elevated and documented. All the parameters that influence their operation are registered. A model expressed by a scale of grades is defined, leading thus to an equation for the calculation of the time interval for the next needed gauging and calibration.展开更多
The present paper discusses a design method for the head position in a Hard Disk Drive （HDD） control system. In the HDD control system, the sampling interval of the head position is constrained because of the hardwa...The present paper discusses a design method for the head position in a Hard Disk Drive （HDD） control system. In the HDD control system, the sampling interval of the head position is constrained because of the hardware specifications, but the hold interval of the control input is not constrained. In the present study, a multirate control system is designed, in which the sampling and the hold intervals are not equal. A multirate control law, which stabilizes a closed-loop system, is extended using newly introduced parameters such that the sample response of the plant output is maintained. Furthermore, intersample ripples in the steady state are eliminated using the new design parameters, which can be selected independently of the sample response. As a result, the intersample response can be improved independently of the sample response. The proposed method is applied to a benchmark problem of an HDD system, and its effectiveness is demonstrated.展开更多
The interval graph completion problem of a graph G includes two class problems： the profile problem and the pathwidth problem, denoted as P（G） and PW（G） respectively, where the profile problem is to find an inter...The interval graph completion problem of a graph G includes two class problems： the profile problem and the pathwidth problem, denoted as P（G） and PW（G） respectively, where the profile problem is to find an interval supergraph with the smallest possible number of edges; the pathwidth problem is to find an interval supergraph with the smallest possible cliquesize. These two class problems have important applications to numerical algebra, VLSI- layout and algorithm graph theory respectively; And they are known to be NP-complete for general graphs. Some classes of special graphs have been investigated in the literatures. In this paper the exact solutions of the profile and the pathwidth of the complete multipartite graph Kn1,n2,...nr （r≥ 2） are determined.展开更多
Let {Tn } be a renewal process in R＋ representing the successive arrival times of some natural events. We studied this process by using a record process approach under the assumption that the interarrival times T,, =...Let {Tn } be a renewal process in R＋ representing the successive arrival times of some natural events. We studied this process by using a record process approach under the assumption that the interarrival times T,, = Tn, - Ta-1, n = 1, 2...are exponentially i.i.d （independent and identically distributed）. The goal is to test that the first observed events are sporadic events. For testing the hypothesis ＂sporadic＂ we used the non-parametric test based on the probability distribution of the statistic of the number of records N, among{Xx }k-1= where Xk = （ΔTk）-1. We showed that it is independent of the cumulative distribution of the observations and that it is exactly calculated for each n. We illustrated this statistic on a simulated trajectory and we compared it with descriptive smoothing methods. We studied an application to a data set as storms in France and US.展开更多
A new cross-channel interference suppression method is proposed to decrease the cross-channel interference in beat signals based on the short time Fourier transform （STY3＂） and the inverse short time Fourier transf...A new cross-channel interference suppression method is proposed to decrease the cross-channel interference in beat signals based on the short time Fourier transform （STY3＂） and the inverse short time Fourier transform （ISTFT） when the dual-orthogonal polarimetric frequency-modulated continu- ous wave （FMCW） radar adopts the opposite-slope linear frequency modulation signal pair in the simultaneous measurement mode. The STFT is applied only on the signals in the cross-interference intervals in the four polarimetric channels to decrease the computation complexity. A mask matrix for suppressing the interference is constructed using the constant false alarm ratio （CFAR） detection on the spectrograms by the STFY. The simulative results show that the cross-channel interference is effi- ciently suppressed by the proposed method. The comparison between the proposed method and the rejection method verifies the improved performance of the proposed method.展开更多
Projection temporal logic(PTL) is an extension of interval temporal logic(ITL) with a new projection operator prj and infinite intervals which has been well investigated in the past ten years.In this paper,we review t...Projection temporal logic(PTL) is an extension of interval temporal logic(ITL) with a new projection operator prj and infinite intervals which has been well investigated in the past ten years.In this paper,we review the work on PTL in four aspects:(1) decidability,complexity and expressiveness of propositional PTL(PPTL);(2) modeling,simulation and verification language(MSVL);(3) formal verification approaches with MSVL and PPTL;and(4) supporting toolkit MSV.展开更多
We are concerned with the problem of characterizing the distribution of the maximum number of individuals alive during a fixed time interval in host-parasitoid models, which is shown to have a matrix exponential form....We are concerned with the problem of characterizing the distribution of the maximum number of individuals alive during a fixed time interval in host-parasitoid models, which is shown to have a matrix exponential form. We present simple conditions on the rates of change of population sizes for the matrix exponential solution to be explicit or algo- rithmically tractable. A particularly appealing feature of our solution based on splitting methods is that it allows us to obtain global error control.展开更多
基金supported by the National 863 Program(No.2008AA042207)
文摘Based on the evaluation of advantages and disadvantages of high-precision digital time interval measuring algorithms, and combined with the principle of the typical time-difference ultrasonic flow measurement, the requirements for the measurement of echo time of flight put forward by the ultrasonic flow measurement are analyzed. A new high-precision time interval measurement algorithm is presented, which combines the pulse counting method with the phase delay interpolation. The pulse counting method is used to ensure a large dynamic measuring range, and a double-edge triggering counter is designed to improve the accuracy and reduce the counting quantization error. The phase delay interpolation is used to reduce the quantization error of pulse counting for further improving the time measurement resolution. Test data show that the systexn for the measurement of the ultrasonic echo time of flight based on this algorithm and implemented on an Field Programmable Gate Army（FleA） needs a relatively short time for measurement, and has a measurement error of less than 105 ps.
基金Supported by the Major State Basic Research Development Program of China(2012CB720500)the National Natural Science Foundation of China(Key Program:U1162202)+2 种基金the National Science Fund for Outstanding Young Scholars(61222303)the National Natural Science Foundation of China(61174118,21206037)Shanghai Leading Academic Discipline Project(B504)
文摘Two general approaches are adopted in solving dynamic optimization problems in chemical processes, namely, the analytical and numerical methods. The numerical method, which is based on heuristic algorithms, has been widely used. An approach that combines differential evolution （DE） algorithm and control vector parameteri- zation （CVP） is proposed in this paper. In the proposed CVP, control variables are approximated with polynomials based on state variables and time in the entire time interval. Region reduction strategy is used in DE to reduce the width of the search region, which improves the computing efficiency. The results of the case studies demonstrate the feasibility and efficiency of the oroposed methods.
文摘The modern TSs （total stations） have reached a very high level in the provided reading and reliability （accuracy and precision） of their measurements. The evolution of the digital technology has helped in this direction. Thus, the TSs can support all requirements for the stake out and monitoring of modern survey engineering and constructions projects. Their complicated manufacturing process and the sensitivity of their components require gauging, adjusting and calibration at certain time intervals. This appears to be the only way in order to assure the precision of measurements provided by the manufacturer and the reliability of the works they are used for. The goal of this paper is to propose a method for the estimation of the gauging time interval for modern YSs. which could be used by any user. More specifically, the indispensable need for the TSs gauging is elevated and documented. All the parameters that influence their operation are registered. A model expressed by a scale of grades is defined, leading thus to an equation for the calculation of the time interval for the next needed gauging and calibration.
文摘The present paper discusses a design method for the head position in a Hard Disk Drive （HDD） control system. In the HDD control system, the sampling interval of the head position is constrained because of the hardware specifications, but the hold interval of the control input is not constrained. In the present study, a multirate control system is designed, in which the sampling and the hold intervals are not equal. A multirate control law, which stabilizes a closed-loop system, is extended using newly introduced parameters such that the sample response of the plant output is maintained. Furthermore, intersample ripples in the steady state are eliminated using the new design parameters, which can be selected independently of the sample response. As a result, the intersample response can be improved independently of the sample response. The proposed method is applied to a benchmark problem of an HDD system, and its effectiveness is demonstrated.
基金Supported by the Natural Science Foundation of Henan Province（082300460190） Sponsored by Program for Science and Technology Innovation Talents in Universities of Henan Province.
文摘The interval graph completion problem of a graph G includes two class problems： the profile problem and the pathwidth problem, denoted as P（G） and PW（G） respectively, where the profile problem is to find an interval supergraph with the smallest possible number of edges; the pathwidth problem is to find an interval supergraph with the smallest possible cliquesize. These two class problems have important applications to numerical algebra, VLSI- layout and algorithm graph theory respectively; And they are known to be NP-complete for general graphs. Some classes of special graphs have been investigated in the literatures. In this paper the exact solutions of the profile and the pathwidth of the complete multipartite graph Kn1,n2,...nr （r≥ 2） are determined.
文摘Let {Tn } be a renewal process in R＋ representing the successive arrival times of some natural events. We studied this process by using a record process approach under the assumption that the interarrival times T,, = Tn, - Ta-1, n = 1, 2...are exponentially i.i.d （independent and identically distributed）. The goal is to test that the first observed events are sporadic events. For testing the hypothesis ＂sporadic＂ we used the non-parametric test based on the probability distribution of the statistic of the number of records N, among{Xx }k-1= where Xk = （ΔTk）-1. We showed that it is independent of the cumulative distribution of the observations and that it is exactly calculated for each n. We illustrated this statistic on a simulated trajectory and we compared it with descriptive smoothing methods. We studied an application to a data set as storms in France and US.
基金Supported by the National Natural Science Foundation of China for Youth(No.41301397)
文摘A new cross-channel interference suppression method is proposed to decrease the cross-channel interference in beat signals based on the short time Fourier transform （STY3＂） and the inverse short time Fourier transform （ISTFT） when the dual-orthogonal polarimetric frequency-modulated continu- ous wave （FMCW） radar adopts the opposite-slope linear frequency modulation signal pair in the simultaneous measurement mode. The STFT is applied only on the signals in the cross-interference intervals in the four polarimetric channels to decrease the computation complexity. A mask matrix for suppressing the interference is constructed using the constant false alarm ratio （CFAR） detection on the spectrograms by the STFY. The simulative results show that the cross-channel interference is effi- ciently suppressed by the proposed method. The comparison between the proposed method and the rejection method verifies the improved performance of the proposed method.
基金supported by the National Natural Science Foundation of China(Grant Nos.61133001,61272117,61202038,61322202,61420106004 and 91418201)
文摘Projection temporal logic(PTL) is an extension of interval temporal logic(ITL) with a new projection operator prj and infinite intervals which has been well investigated in the past ten years.In this paper,we review the work on PTL in four aspects:(1) decidability,complexity and expressiveness of propositional PTL(PPTL);(2) modeling,simulation and verification language(MSVL);(3) formal verification approaches with MSVL and PPTL;and(4) supporting toolkit MSV.
文摘We are concerned with the problem of characterizing the distribution of the maximum number of individuals alive during a fixed time interval in host-parasitoid models, which is shown to have a matrix exponential form. We present simple conditions on the rates of change of population sizes for the matrix exponential solution to be explicit or algo- rithmically tractable. A particularly appealing feature of our solution based on splitting methods is that it allows us to obtain global error control.
