In this paper, a real-time computation method for the control problems in differential-algebraic systems is presented. The errors of the method are estimated, and the relation between the sampling stepsize and the con...In this paper, a real-time computation method for the control problems in differential-algebraic systems is presented. The errors of the method are estimated, and the relation between the sampling stepsize and the controlled errors is analyzed. The stability analysis is done for a model problem, and the stability region is ploted which gives the range of the sampling stepsizes with which the stability of control process is guaranteed.展开更多
Most of the proposed concurrency control protocols for real time database systems are based on serializability theorem. Owing to the unique characteristics of real time database applications and the importance of sa...Most of the proposed concurrency control protocols for real time database systems are based on serializability theorem. Owing to the unique characteristics of real time database applications and the importance of satisfying the timing constraints of transactions, serializability is too strong as a correctness criterion and not suitable for real time databases in most cases. On the other hand, relaxed serializability including epsilon serializability and similarity serializability can allow more real time transactions to satisfy their timing constraints, but database consistency may be sacrificed to some extent. We thus propose the use of weak serializability(WSR) that is more relaxed than conflicting serializability while database consistency is maintained. In this paper, we first formally define the new notion of correctness called weak serializability. After the necessary and sufficient conditions for weak serializability are shown, corresponding concurrency control protocol WDHP(weak serializable distributed high priority protocol) is outlined for distributed real time databases, where a new lock mode called mask lock mode is proposed for simplifying the condition of global consistency. Finally, through a series of simulation studies, it is shown that using the new concurrency control protocol the performance of distributed real time databases can be greatly improved.展开更多
This paper describes a multi-threat real-time separating system for broadband anti-radiation missile seeker. It presents a method, with a dual-port memory as comparer, to perform PF and PW hardware real-time separatio...This paper describes a multi-threat real-time separating system for broadband anti-radiation missile seeker. It presents a method, with a dual-port memory as comparer, to perform PF and PW hardware real-time separation and to determine the time-of-arrival (TOA) by use of sequential difference histogram (SDIF). The method has been applied to practice, which has achieved good results.展开更多
In this paper, a modeling algorithm developed by transferring the adaptive fuzzy inference neural network into an on-line real time algorithm, combining the algorithm with conventional system identification method and...In this paper, a modeling algorithm developed by transferring the adaptive fuzzy inference neural network into an on-line real time algorithm, combining the algorithm with conventional system identification method and applying them to separate identification of nonlinear multi-variable systems is introduced and discussed.展开更多
This paper proposes a formal model of the automatic testing system for scheduling strategies in real-time UNIX and describes the algorithm of the key part of the system. The model of the system is an important technol...This paper proposes a formal model of the automatic testing system for scheduling strategies in real-time UNIX and describes the algorithm of the key part of the system. The model of the system is an important technology of the automatization of software development. According to the model presented in the paper, many different kinds of automatic testing systems can be designed and developed easily. At the end of the paper, the prototype proves the feasibility of the model and design.展开更多
A novel reconfigurable hardware system which uses both muhi-DSP and FPGA to attain high performance and real-time image processing are presented. The system structure and working principle of mainly processing multi-B...A novel reconfigurable hardware system which uses both muhi-DSP and FPGA to attain high performance and real-time image processing are presented. The system structure and working principle of mainly processing multi-BSP board, extended multi-DSP board are analysed. The outstanding advantage is that the communication among different board components of this system is supported by high speed link ports & serial ports for increasing the system performance and computational power. Then the implementation of embedded real-time operating systems (RTOS) by us is discussed in detail. In this system, we adopt two kinds of parallel structures controlled by RTOS for parallel processing of algorithms. The experimental results show that exploitive period of the system is short, and maintenance convenient. Thus it is suitable for real-time image processing and can get satisfactory effect of image recognition.展开更多
Time‐varying matrix inversion is an important field of matrix research,and lots of research achievements have been obtained.In the process of solving time‐varying matrix inversion,disturbances inevitably exist,thus,...Time‐varying matrix inversion is an important field of matrix research,and lots of research achievements have been obtained.In the process of solving time‐varying matrix inversion,disturbances inevitably exist,thus,a model that can suppress disturbance while solving the problem is required.In this paper,an advanced continuous‐time recurrent neural network(RNN)model based on a double integral RNN design formula is pro-posed for solving continuous time‐varying matrix inversion,which has incomparable disturbance‐suppression property.For digital hardware applications,the corresponding advanced discrete‐time RNN model is proposed based on the discretisation formulas.As a result of theoretical analysis,it is demonstrated that the advanced continuous‐time RNN model and the corresponding advanced discrete‐time RNN model have global and exponential convergence performance,and they are excellent for suppressing different disturbances.Finally,inspiring experiments,including two numerical experiments and a practical experiment,are presented to demonstrate the effectiveness and superiority of the advanced discrete‐time RNN model for solving discrete time‐varying matrix inversion with disturbance‐suppression.展开更多
The problem of adapting backward error recovery to parallel real time systems is discussed in this paper. Because of error propagation among different cooperating processes, an error occurring in one process may influ...The problem of adapting backward error recovery to parallel real time systems is discussed in this paper. Because of error propagation among different cooperating processes, an error occurring in one process may influence some important outputs in other processes. Therefore, a local output has to be delayed until its validity is confirmed globally. Since backward error recovery adopts redundancy of computing time instead of processing equipment, the variation of the actual execution time of a cooperating process may be very large if it works in an unreliable environment. These problems are the primary obstacles to be removed. Previous studies focus their attentions on how to eliminate domino-effect dynamically. But backward error recovery cannot be applied directly in parallel real time systems even under the condition that no domino-effect exists. How to reduce output delays efficiently if no domino-effect remains? How to estimate this delay time? How to calculate the actual execution time of every process and how to schedule these processes under an unstable condition? These problems were omitted in literature unfortunately. The interest of this paper is to provide satisfactory solutions to these problems to make it possible to adopt backward error recovery efficiently in parallel real time systems.展开更多
Referring to a set of real time tasks with arriving time,executing time and deadline,this paperdiscusses the problem of polynomial time initial-allocating approximation algorithms in a distributedsystem and five new r...Referring to a set of real time tasks with arriving time,executing time and deadline,this paperdiscusses the problem of polynomial time initial-allocating approximation algorithms in a distributedsystem and five new results are gained which provide a theory for the designing of initial-allocating algorithmsof real time tasks.展开更多
Guaranteed scheduling is necessary for hard real time systems, because each process of them must meet their deadline, or a serious consequence will result.In this paper we discuss two guaranteed schedule algorithms:ba...Guaranteed scheduling is necessary for hard real time systems, because each process of them must meet their deadline, or a serious consequence will result.In this paper we discuss two guaranteed schedule algorithms:backtracking and branch and bound,introduce the process to find the optimal solution by both methods,propose the concept of logical node and physical node.Through some experiments for different process sets,we have made comparisons between the two algorithms in branch nodes,comparing time,topology of the search tree,memory size needed,etc.展开更多
This paper presents a novel transformer magnetic biasing control method for high-power high-performance AC power supplies. Serious consequences due to magnetic biasing and several methods to overcome magnetic biasing ...This paper presents a novel transformer magnetic biasing control method for high-power high-performance AC power supplies. Serious consequences due to magnetic biasing and several methods to overcome magnetic biasing are first discussed. The causes of the transformer magnetic biasing are then analyzed in detail. The proposed method is based on a high-pass filter inserted in the forward path and the feedforward control. Without testing magnetic biasing of transformer, this method can eliminate magnetic biasing of transformer completely in real-time waveform feedback control systems though the zero error of the Hall effect sensors varies with time and temperature. The method has already been employed in a 90KVA AC power supply. It is shown that it offers improved performance over existing ones. In this method, no sensors are used such that the zero error of the Hall effect sensors has not any influence on the system. It is simple to design and implement. Furthermore, the method is suitable for various power applications.展开更多
A sinusoidal phase-modulating (SPM) laser diode (LD) interferometer for real-time surface profile measurement is proposed and its principle is analyzed. The phase signal of the surface profile is detected from the...A sinusoidal phase-modulating (SPM) laser diode (LD) interferometer for real-time surface profile measurement is proposed and its principle is analyzed. The phase signal of the surface profile is detected from the sinusoidal phase-modulating interference signal using a real-time phase detection circuit. For 60 × 60 measurement points of the surface profile, the measuring time is 10 ms. A root mean square (RMS) measurement repeatability of 3.93 nm is realized, and the measurement resolution reaches 0.19 nm.展开更多
The present paper deals with the development of a modular, flexible and structured block to block approach for the study of regulators by implementing the different blocks on a DSP (digital signal processor). The pr...The present paper deals with the development of a modular, flexible and structured block to block approach for the study of regulators by implementing the different blocks on a DSP (digital signal processor). The proposed low-cost approach has been applied and validated by the implementation of an industrial regulator in a real time hardware-in-the-loop simulation of a mixed islanded power network including precise models of the hydraulic system. The studied network is constituted of three different types of electrical power generation systems and a consumer.展开更多
It is difficult to realize real-time measurement of exterior attitude by the traditional systems based on the area image sensor which have conflict between speed and accuracy. The subsystem for three-dimensional (3D...It is difficult to realize real-time measurement of exterior attitude by the traditional systems based on the area image sensor which have conflict between speed and accuracy. The subsystem for three-dimensional (3D) coordinate reconstruction of point target (S3DCRPT) which is composed of three one-dimensional (1D) cameras based on linear charge-coupled device (CCD) can determine the distant light spots' spatial position. The attitude angle of the measured object is determined by the spatial solution while the coordinate reconstruction is separately carried on by the S3DCRPT with some point cooperation targets (PCTs) on the measured object. A new optical system is designed to solve the interference problem with one-to-one relationship between the PCTs and the S3DCRPT optical subsystems, which improves the measurement accuracy and saves space. The mathematical model of the attitude measurement is established, and partial and global calibrations are realized for the multi-camera attitude measurement system. The test results show the feasibility of the exterior attitude measurement based on linear CCD.展开更多
A real-time two-dimensional (2D) triangulation range finder is presented, which is composed of two linear complementary metal oxidation semiconductor (CMOS) chips, two camera lenses, and four light emitting diodes...A real-time two-dimensional (2D) triangulation range finder is presented, which is composed of two linear complementary metal oxidation semiconductor (CMOS) chips, two camera lenses, and four light emitting diodes (LEDs). The high order distortion in image aberrations is the main factor responsible for the coarse errors. The theoretical prediction is in good agreement with experiments and the correction equation is used to obtain more reliable results with the unique distortion coefficient in tile whole working region.展开更多
This paper presents vehicle detection and tracking algorithms based on real-time background (RTB) and phase-correlation (PC) in the video sequence of urban highway with fixed camera. Firstly moving objects are obtaine...This paper presents vehicle detection and tracking algorithms based on real-time background (RTB) and phase-correlation (PC) in the video sequence of urban highway with fixed camera. Firstly moving objects are obtained by subtracting RTB from serial images. After classification, PC is used to determine corresponding regions of moving objects between consecutive frames. The problems of vehicles' merging and splitting, sudden stop, and restart are also considered. Experiments show that the method is practical and can realize real-time detection and tracking of vehicles on highway.展开更多
The performance of a novel all-optical sampling orthogonal frequency division multiplexing (OFDM) system is proposed and analyzed. Time delays and phase shifters are used to realize all optical forward/inverse discr...The performance of a novel all-optical sampling orthogonal frequency division multiplexing (OFDM) system is proposed and analyzed. Time delays and phase shifters are used to realize all optical forward/inverse discrete Fourier transform (DFT/IDFT). Different system configurations are tested and analyzed to op- timize the performance, including the system capacity, modulation formats, DFT/IDFT constructions, and the width of the sample pulse. The 50- and 100-Gb/s real-time all-optical sampling (AOS) OFDM systems ave investigated. All results are analyzed, and useful suggestions are offered for future high-speed展开更多
Ocean mode (or quasigeostrophic wave) analysis is one of the key data processing technique in oceanic acoustic tomography experiment. A primary study on its application foreground in Navy Oceanography is put forward w...Ocean mode (or quasigeostrophic wave) analysis is one of the key data processing technique in oceanic acoustic tomography experiment. A primary study on its application foreground in Navy Oceanography is put forward with CTD data and Carton oceanic assimilation data. It shows that the sound speed mode is not well orthogonal to each other, so that it is practically no use. However, the current mode calculated from the CTD data collected in summer as the position with weak stochastic processes and strong geostrophic balance is well orthogonal to each other, it can be used everywhere in the ocean of the similar water mass at any time as long as the basic condition serves. It can be used for decomposition and reconstruction of dynamic or quasi-dynamic factors such as seawater temperature, from which and average of salinity the sound speed profile can be composed. It also shows that the monthly James Carton assimilation data is well consistent with observation ones in subsurface layer in the region with weak current speed but not well below subsurface layer or near the Kuroshio in the western Pacific. By running a nested ocean general circulation model with adjusted vertical eddy diffusivity to do data assimilation again and applying current mode analysis to reconstruct or compose related factors, it is hopefully possible to improve the precision and space resolution of the oceanic assimilation data. So that, it is definitely possible to obtain the three dimensional high resolution distribution of ocean sound speed in real time with the satellite SST and surface wind fields only.展开更多
文摘In this paper, a real-time computation method for the control problems in differential-algebraic systems is presented. The errors of the method are estimated, and the relation between the sampling stepsize and the controlled errors is analyzed. The stability analysis is done for a model problem, and the stability region is ploted which gives the range of the sampling stepsizes with which the stability of control process is guaranteed.
文摘Most of the proposed concurrency control protocols for real time database systems are based on serializability theorem. Owing to the unique characteristics of real time database applications and the importance of satisfying the timing constraints of transactions, serializability is too strong as a correctness criterion and not suitable for real time databases in most cases. On the other hand, relaxed serializability including epsilon serializability and similarity serializability can allow more real time transactions to satisfy their timing constraints, but database consistency may be sacrificed to some extent. We thus propose the use of weak serializability(WSR) that is more relaxed than conflicting serializability while database consistency is maintained. In this paper, we first formally define the new notion of correctness called weak serializability. After the necessary and sufficient conditions for weak serializability are shown, corresponding concurrency control protocol WDHP(weak serializable distributed high priority protocol) is outlined for distributed real time databases, where a new lock mode called mask lock mode is proposed for simplifying the condition of global consistency. Finally, through a series of simulation studies, it is shown that using the new concurrency control protocol the performance of distributed real time databases can be greatly improved.
文摘This paper describes a multi-threat real-time separating system for broadband anti-radiation missile seeker. It presents a method, with a dual-port memory as comparer, to perform PF and PW hardware real-time separation and to determine the time-of-arrival (TOA) by use of sequential difference histogram (SDIF). The method has been applied to practice, which has achieved good results.
文摘In this paper, a modeling algorithm developed by transferring the adaptive fuzzy inference neural network into an on-line real time algorithm, combining the algorithm with conventional system identification method and applying them to separate identification of nonlinear multi-variable systems is introduced and discussed.
基金the Defense Advanced research Projects Agency of the Department of Defense (No.15.3.2).
文摘This paper proposes a formal model of the automatic testing system for scheduling strategies in real-time UNIX and describes the algorithm of the key part of the system. The model of the system is an important technology of the automatization of software development. According to the model presented in the paper, many different kinds of automatic testing systems can be designed and developed easily. At the end of the paper, the prototype proves the feasibility of the model and design.
基金This project was supported by the National Natural Science Foundation of China(60135020) National Key Pre-researchProject of China(413010701 -3) .
文摘A novel reconfigurable hardware system which uses both muhi-DSP and FPGA to attain high performance and real-time image processing are presented. The system structure and working principle of mainly processing multi-BSP board, extended multi-DSP board are analysed. The outstanding advantage is that the communication among different board components of this system is supported by high speed link ports & serial ports for increasing the system performance and computational power. Then the implementation of embedded real-time operating systems (RTOS) by us is discussed in detail. In this system, we adopt two kinds of parallel structures controlled by RTOS for parallel processing of algorithms. The experimental results show that exploitive period of the system is short, and maintenance convenient. Thus it is suitable for real-time image processing and can get satisfactory effect of image recognition.
文摘Time‐varying matrix inversion is an important field of matrix research,and lots of research achievements have been obtained.In the process of solving time‐varying matrix inversion,disturbances inevitably exist,thus,a model that can suppress disturbance while solving the problem is required.In this paper,an advanced continuous‐time recurrent neural network(RNN)model based on a double integral RNN design formula is pro-posed for solving continuous time‐varying matrix inversion,which has incomparable disturbance‐suppression property.For digital hardware applications,the corresponding advanced discrete‐time RNN model is proposed based on the discretisation formulas.As a result of theoretical analysis,it is demonstrated that the advanced continuous‐time RNN model and the corresponding advanced discrete‐time RNN model have global and exponential convergence performance,and they are excellent for suppressing different disturbances.Finally,inspiring experiments,including two numerical experiments and a practical experiment,are presented to demonstrate the effectiveness and superiority of the advanced discrete‐time RNN model for solving discrete time‐varying matrix inversion with disturbance‐suppression.
基金supported by National Natural Science Foundation of China(61304263,61233007)the Cross-disciplinary Collaborative Teams Program for Science,Technology and Innovation of Chinese Academy of Sciences-Network and System Technologies for Security Monitoring and Information Interaction in Smart Arid
文摘The problem of adapting backward error recovery to parallel real time systems is discussed in this paper. Because of error propagation among different cooperating processes, an error occurring in one process may influence some important outputs in other processes. Therefore, a local output has to be delayed until its validity is confirmed globally. Since backward error recovery adopts redundancy of computing time instead of processing equipment, the variation of the actual execution time of a cooperating process may be very large if it works in an unreliable environment. These problems are the primary obstacles to be removed. Previous studies focus their attentions on how to eliminate domino-effect dynamically. But backward error recovery cannot be applied directly in parallel real time systems even under the condition that no domino-effect exists. How to reduce output delays efficiently if no domino-effect remains? How to estimate this delay time? How to calculate the actual execution time of every process and how to schedule these processes under an unstable condition? These problems were omitted in literature unfortunately. The interest of this paper is to provide satisfactory solutions to these problems to make it possible to adopt backward error recovery efficiently in parallel real time systems.
文摘Referring to a set of real time tasks with arriving time,executing time and deadline,this paperdiscusses the problem of polynomial time initial-allocating approximation algorithms in a distributedsystem and five new results are gained which provide a theory for the designing of initial-allocating algorithmsof real time tasks.
文摘Guaranteed scheduling is necessary for hard real time systems, because each process of them must meet their deadline, or a serious consequence will result.In this paper we discuss two guaranteed schedule algorithms:backtracking and branch and bound,introduce the process to find the optimal solution by both methods,propose the concept of logical node and physical node.Through some experiments for different process sets,we have made comparisons between the two algorithms in branch nodes,comparing time,topology of the search tree,memory size needed,etc.
文摘This paper presents a novel transformer magnetic biasing control method for high-power high-performance AC power supplies. Serious consequences due to magnetic biasing and several methods to overcome magnetic biasing are first discussed. The causes of the transformer magnetic biasing are then analyzed in detail. The proposed method is based on a high-pass filter inserted in the forward path and the feedforward control. Without testing magnetic biasing of transformer, this method can eliminate magnetic biasing of transformer completely in real-time waveform feedback control systems though the zero error of the Hall effect sensors varies with time and temperature. The method has already been employed in a 90KVA AC power supply. It is shown that it offers improved performance over existing ones. In this method, no sensors are used such that the zero error of the Hall effect sensors has not any influence on the system. It is simple to design and implement. Furthermore, the method is suitable for various power applications.
基金This work was supported by National Natural Science Foundation of China (No. 60578051)International Cooperation Program of Shanghai Municipal Science & Technology Commission (No. 051107085).
文摘A sinusoidal phase-modulating (SPM) laser diode (LD) interferometer for real-time surface profile measurement is proposed and its principle is analyzed. The phase signal of the surface profile is detected from the sinusoidal phase-modulating interference signal using a real-time phase detection circuit. For 60 × 60 measurement points of the surface profile, the measuring time is 10 ms. A root mean square (RMS) measurement repeatability of 3.93 nm is realized, and the measurement resolution reaches 0.19 nm.
文摘The present paper deals with the development of a modular, flexible and structured block to block approach for the study of regulators by implementing the different blocks on a DSP (digital signal processor). The proposed low-cost approach has been applied and validated by the implementation of an industrial regulator in a real time hardware-in-the-loop simulation of a mixed islanded power network including precise models of the hydraulic system. The studied network is constituted of three different types of electrical power generation systems and a consumer.
基金the National Natural Science Foundation of China under Grant No.50275040.
文摘It is difficult to realize real-time measurement of exterior attitude by the traditional systems based on the area image sensor which have conflict between speed and accuracy. The subsystem for three-dimensional (3D) coordinate reconstruction of point target (S3DCRPT) which is composed of three one-dimensional (1D) cameras based on linear charge-coupled device (CCD) can determine the distant light spots' spatial position. The attitude angle of the measured object is determined by the spatial solution while the coordinate reconstruction is separately carried on by the S3DCRPT with some point cooperation targets (PCTs) on the measured object. A new optical system is designed to solve the interference problem with one-to-one relationship between the PCTs and the S3DCRPT optical subsystems, which improves the measurement accuracy and saves space. The mathematical model of the attitude measurement is established, and partial and global calibrations are realized for the multi-camera attitude measurement system. The test results show the feasibility of the exterior attitude measurement based on linear CCD.
文摘A real-time two-dimensional (2D) triangulation range finder is presented, which is composed of two linear complementary metal oxidation semiconductor (CMOS) chips, two camera lenses, and four light emitting diodes (LEDs). The high order distortion in image aberrations is the main factor responsible for the coarse errors. The theoretical prediction is in good agreement with experiments and the correction equation is used to obtain more reliable results with the unique distortion coefficient in tile whole working region.
文摘This paper presents vehicle detection and tracking algorithms based on real-time background (RTB) and phase-correlation (PC) in the video sequence of urban highway with fixed camera. Firstly moving objects are obtained by subtracting RTB from serial images. After classification, PC is used to determine corresponding regions of moving objects between consecutive frames. The problems of vehicles' merging and splitting, sudden stop, and restart are also considered. Experiments show that the method is practical and can realize real-time detection and tracking of vehicles on highway.
基金supported by the National Natural Science Foundation of China (Nos.60736002,60807026,60932004)the State Key Laboratory of Advanced Optical Communication Systems and Networks,China(No.2008SH03)
文摘The performance of a novel all-optical sampling orthogonal frequency division multiplexing (OFDM) system is proposed and analyzed. Time delays and phase shifters are used to realize all optical forward/inverse discrete Fourier transform (DFT/IDFT). Different system configurations are tested and analyzed to op- timize the performance, including the system capacity, modulation formats, DFT/IDFT constructions, and the width of the sample pulse. The 50- and 100-Gb/s real-time all-optical sampling (AOS) OFDM systems ave investigated. All results are analyzed, and useful suggestions are offered for future high-speed
文摘Ocean mode (or quasigeostrophic wave) analysis is one of the key data processing technique in oceanic acoustic tomography experiment. A primary study on its application foreground in Navy Oceanography is put forward with CTD data and Carton oceanic assimilation data. It shows that the sound speed mode is not well orthogonal to each other, so that it is practically no use. However, the current mode calculated from the CTD data collected in summer as the position with weak stochastic processes and strong geostrophic balance is well orthogonal to each other, it can be used everywhere in the ocean of the similar water mass at any time as long as the basic condition serves. It can be used for decomposition and reconstruction of dynamic or quasi-dynamic factors such as seawater temperature, from which and average of salinity the sound speed profile can be composed. It also shows that the monthly James Carton assimilation data is well consistent with observation ones in subsurface layer in the region with weak current speed but not well below subsurface layer or near the Kuroshio in the western Pacific. By running a nested ocean general circulation model with adjusted vertical eddy diffusivity to do data assimilation again and applying current mode analysis to reconstruct or compose related factors, it is hopefully possible to improve the precision and space resolution of the oceanic assimilation data. So that, it is definitely possible to obtain the three dimensional high resolution distribution of ocean sound speed in real time with the satellite SST and surface wind fields only.