To generate a test set for a given circuit (including both combinational and sequential circuits), choice of an algorithm within a number of existing test generation algorithms to apply is bound to vary from circuit t...To generate a test set for a given circuit (including both combinational and sequential circuits), choice of an algorithm within a number of existing test generation algorithms to apply is bound to vary from circuit to circuit. In this paper, the genetic algorithms are used to construct the models of existing test generation algorithms in making such choice more easily. Therefore, we may forecast the testability parameters of a circuit before using the real test generation algorithm. The results also can be used to evaluate the efficiency of the existing test generation algorithms. Experimental results are given to convince the readers of the truth and the usefulness of this approach.展开更多
This study concentrates of the new generation of the agile （AEOS）. AEOS is a key study object on management problems earth observation satellite in many countries because of its many advantages over non-agile satell...This study concentrates of the new generation of the agile （AEOS）. AEOS is a key study object on management problems earth observation satellite in many countries because of its many advantages over non-agile satellites. Hence, the mission planning and scheduling of AEOS is a popular research problem. This research investigates AEOS characteristics and establishes a mission planning model based on the working principle and constraints of AEOS as per analysis. To solve the scheduling issue of AEOS, several improved algorithms are developed. Simulation results suggest that these algorithms are effective.展开更多
This paper presents an adaptive gain,finite-and fixedtime convergence super-twisting-like algorithm based on a revised barrier function,which is robust to perturbations with unknown bounds.It is shown that this algori...This paper presents an adaptive gain,finite-and fixedtime convergence super-twisting-like algorithm based on a revised barrier function,which is robust to perturbations with unknown bounds.It is shown that this algorithm can ensure a finite-and fixed-time convergence of the sliding variable to the equilibrium,no matter what the initial conditions of the system states are,and maintain it there in a predefined vicinity of the origin without violation.Also,the proposed method avoids the problem of overestimation of the control gain that exists in the current fixed-time adaptive control.Moreover,it shows that the revised barrier function can effectively reduce the computation load by obviating the need of increasing the magnitude of sampling step compared with the conventional barrier function.This feature will be beneficial when the algorithm is implemented in practice.After that,the estimation of the fixed convergence time of the proposed method is derived and the impractical requirement of the preceding fixed-time adaptive control that the adaptive gains must be large enough to engender the sliding mode at time t=0 is discarded.Finally,the outperformance of the proposed method over the existing counterpart method is demonstrated with a numerical simulation.展开更多
This paper deals with the target-fault-oriented test generation of sequential circuits using genetic algorithms. We adopted the concept of multiple phases and proposed four sub-procedures which consist of activation, ...This paper deals with the target-fault-oriented test generation of sequential circuits using genetic algorithms. We adopted the concept of multiple phases and proposed four sub-procedures which consist of activation, propagation and justification phases. The paper focuses on the design of genetic operators and construction of fitness functions which are based on the structure information of circuits. Using ISCAS89 benchmarks, the experiment results of GA were given.展开更多
A novel multi-chip module(MCM) interconnect test generation scheme based on ant algorithm(AA) with mutation operator was presented.By combing the characteristics of MCM interconnect test generation,the pheromone updat...A novel multi-chip module(MCM) interconnect test generation scheme based on ant algorithm(AA) with mutation operator was presented.By combing the characteristics of MCM interconnect test generation,the pheromone updating rule and state transition rule of AA is designed.Using mutation operator,this scheme overcomes ordinary AA’s defects of slow convergence speed,easy to get stagnate,and low ability of full search.The international standard MCM benchmark circuit provided by the MCNC group was used to verify the approach.The results of simulation experiments,which compare to the results of standard ant algorithm,genetic algorithm(GA) and other deterministic interconnecting algorithms,show that the proposed scheme can achieve high fault coverage,compact test set and short CPU time,that it is a newer optimized method deserving research.展开更多
This paper focuses on the general case （GC） airborne bistatic synthetic aperture radar （SAR） data processing, and a new analytical imaging algorithm based on the extended Loffeld＇s bistatic formula （ELBF） is pr...This paper focuses on the general case （GC） airborne bistatic synthetic aperture radar （SAR） data processing, and a new analytical imaging algorithm based on the extended Loffeld＇s bistatic formula （ELBF） is proposed. According to the bistatic SAR geometry, the track decoupling formulas that convert the bistatic geometry to the receiver-referenced geometry in a concise way are derived firstly. Then phase terms of ELBF are decomposed into two independent phase terms as the range phase term and the azimuth phase term in a new way. To get the focusing result, the bistatic deformation （BD） term is compensated in the two-dimensional （2- D） frequency domain, and the space-variances of the range phase term and the azimuth phase term are eliminated by chirp scaling （CS） and chirp z-transform （CZT）, respectively. The effectiveness of the proposed algorithm is verified by the simulation results.展开更多
The liquid cooling system(LCS)of fuel cells is challenged by significant time delays,model uncertainties,pump and fan coupling,and frequent disturbances,leading to overshoot and control oscillations that degrade tempe...The liquid cooling system(LCS)of fuel cells is challenged by significant time delays,model uncertainties,pump and fan coupling,and frequent disturbances,leading to overshoot and control oscillations that degrade temperature regulation performance.To address these challenges,we propose a composite control scheme combining fuzzy logic and a variable-gain generalized supertwisting algorithm(VG-GSTA).Firstly,a one-dimensional(1D)fuzzy logic controler(FLC)for the pump ensures stable coolant flow,while a two-dimensional(2D)FLC for the fan regulates the stack temperature near the reference value.The VG-GSTA is then introduced to eliminate steady-state errors,offering resistance to disturbances and minimizing control oscillations.The equilibrium optimizer is used to fine-tune VG-GSTA parameters.Co-simulation verifies the effectiveness of our method,demonstrating its advantages in terms of disturbance immunity,overshoot suppression,tracking accuracy and response speed.展开更多
基金This work was supported by National Natural Science Foundation of China (NSFC) under the grant !No. 69873030
文摘To generate a test set for a given circuit (including both combinational and sequential circuits), choice of an algorithm within a number of existing test generation algorithms to apply is bound to vary from circuit to circuit. In this paper, the genetic algorithms are used to construct the models of existing test generation algorithms in making such choice more easily. Therefore, we may forecast the testability parameters of a circuit before using the real test generation algorithm. The results also can be used to evaluate the efficiency of the existing test generation algorithms. Experimental results are given to convince the readers of the truth and the usefulness of this approach.
基金supported by the National Natural Science Foundation of China(7127106671171065+1 种基金71202168)the Natural Science Foundation of Heilongjiang Province(GC13D506)
文摘This study concentrates of the new generation of the agile （AEOS）. AEOS is a key study object on management problems earth observation satellite in many countries because of its many advantages over non-agile satellites. Hence, the mission planning and scheduling of AEOS is a popular research problem. This research investigates AEOS characteristics and establishes a mission planning model based on the working principle and constraints of AEOS as per analysis. To solve the scheduling issue of AEOS, several improved algorithms are developed. Simulation results suggest that these algorithms are effective.
文摘This paper presents an adaptive gain,finite-and fixedtime convergence super-twisting-like algorithm based on a revised barrier function,which is robust to perturbations with unknown bounds.It is shown that this algorithm can ensure a finite-and fixed-time convergence of the sliding variable to the equilibrium,no matter what the initial conditions of the system states are,and maintain it there in a predefined vicinity of the origin without violation.Also,the proposed method avoids the problem of overestimation of the control gain that exists in the current fixed-time adaptive control.Moreover,it shows that the revised barrier function can effectively reduce the computation load by obviating the need of increasing the magnitude of sampling step compared with the conventional barrier function.This feature will be beneficial when the algorithm is implemented in practice.After that,the estimation of the fixed convergence time of the proposed method is derived and the impractical requirement of the preceding fixed-time adaptive control that the adaptive gains must be large enough to engender the sliding mode at time t=0 is discarded.Finally,the outperformance of the proposed method over the existing counterpart method is demonstrated with a numerical simulation.
文摘This paper deals with the target-fault-oriented test generation of sequential circuits using genetic algorithms. We adopted the concept of multiple phases and proposed four sub-procedures which consist of activation, propagation and justification phases. The paper focuses on the design of genetic operators and construction of fitness functions which are based on the structure information of circuits. Using ISCAS89 benchmarks, the experiment results of GA were given.
文摘A novel multi-chip module(MCM) interconnect test generation scheme based on ant algorithm(AA) with mutation operator was presented.By combing the characteristics of MCM interconnect test generation,the pheromone updating rule and state transition rule of AA is designed.Using mutation operator,this scheme overcomes ordinary AA’s defects of slow convergence speed,easy to get stagnate,and low ability of full search.The international standard MCM benchmark circuit provided by the MCNC group was used to verify the approach.The results of simulation experiments,which compare to the results of standard ant algorithm,genetic algorithm(GA) and other deterministic interconnecting algorithms,show that the proposed scheme can achieve high fault coverage,compact test set and short CPU time,that it is a newer optimized method deserving research.
文摘This paper focuses on the general case （GC） airborne bistatic synthetic aperture radar （SAR） data processing, and a new analytical imaging algorithm based on the extended Loffeld＇s bistatic formula （ELBF） is proposed. According to the bistatic SAR geometry, the track decoupling formulas that convert the bistatic geometry to the receiver-referenced geometry in a concise way are derived firstly. Then phase terms of ELBF are decomposed into two independent phase terms as the range phase term and the azimuth phase term in a new way. To get the focusing result, the bistatic deformation （BD） term is compensated in the two-dimensional （2- D） frequency domain, and the space-variances of the range phase term and the azimuth phase term are eliminated by chirp scaling （CS） and chirp z-transform （CZT）, respectively. The effectiveness of the proposed algorithm is verified by the simulation results.
基金Supported by the Major Science and Technology Project of Jilin Province(20220301010GX)the International Scientific and Technological Cooperation(20240402071GH).
文摘The liquid cooling system(LCS)of fuel cells is challenged by significant time delays,model uncertainties,pump and fan coupling,and frequent disturbances,leading to overshoot and control oscillations that degrade temperature regulation performance.To address these challenges,we propose a composite control scheme combining fuzzy logic and a variable-gain generalized supertwisting algorithm(VG-GSTA).Firstly,a one-dimensional(1D)fuzzy logic controler(FLC)for the pump ensures stable coolant flow,while a two-dimensional(2D)FLC for the fan regulates the stack temperature near the reference value.The VG-GSTA is then introduced to eliminate steady-state errors,offering resistance to disturbances and minimizing control oscillations.The equilibrium optimizer is used to fine-tune VG-GSTA parameters.Co-simulation verifies the effectiveness of our method,demonstrating its advantages in terms of disturbance immunity,overshoot suppression,tracking accuracy and response speed.
