To handle the effects of single event upsets(SEU),which are common to computers in space radiation environment,a new fault-tolerant system with dual-module redundancy is proposed using dynamic reconfigurable techniq...To handle the effects of single event upsets(SEU),which are common to computers in space radiation environment,a new fault-tolerant system with dual-module redundancy is proposed using dynamic reconfigurable technique of field programmable gate array(FPGA). This system contains detection and backup alternative functions,that is,the self-detection and self-healing functions can be completed,and consequently a system design with low hardware redundancy and high resource utilization can be achieved successfully. So it can not only detect fault but also repair the fault effectively after failure. Hence,this method is especially practical to the dynamically reconfigurable computers based on FPGAs. Design methodology has been verified by Virtex-4 FPGA on Xilinx Ml403 development platform.展开更多
This paper develops a sequential convex programming(SCP)-based method to solve the minimum-fuel variable-specific-impulse low-thrust transfer problem considering shutdown constraint,with emphasize on improving the com...This paper develops a sequential convex programming(SCP)-based method to solve the minimum-fuel variable-specific-impulse low-thrust transfer problem considering shutdown constraint,with emphasize on improving the computational efficiency.The variable parameter engine is more applicable for many low-thrust scenarios,therefore,both a continuously variable model and a ladder variable model are adopted.First,the original problem is convexified by processing the constraint feasible domain,which is composed of the nonlinear dynamic equations and second-order equality constraint,into convex sets.Then,the approximation is generated to close the optimal solution of the low-thrust problem by iteratively solving the convexified subproblem.Moreover,the switching self-detection and adaptive node refinement methods are presented,which can improve the accuracy of the solution and accelerate the convergence during the approximation process and is especially necessary and effective in the scenarios with shutdown constraint.In numerical simulations,the comparison with the homotopic approach shows that the proposed method only needs 4%computational time as that of the homotopic approach,and two variable-specificimpulse examples further demonstrate the effectiveness and efficiency of the proposed method.展开更多
基金supported by the National Natural Science Foundation of China under Grant No. 60971036the National High Technology Research and Development Program of China under Grant No. 2008AA01Z104+1 种基金the Fundamental Research Funds for the Central Universities under Grant No. ZYGX2009Z004the New Century Excellent Talents in University under Grant No. NCET-08-0087
文摘To handle the effects of single event upsets(SEU),which are common to computers in space radiation environment,a new fault-tolerant system with dual-module redundancy is proposed using dynamic reconfigurable technique of field programmable gate array(FPGA). This system contains detection and backup alternative functions,that is,the self-detection and self-healing functions can be completed,and consequently a system design with low hardware redundancy and high resource utilization can be achieved successfully. So it can not only detect fault but also repair the fault effectively after failure. Hence,this method is especially practical to the dynamically reconfigurable computers based on FPGAs. Design methodology has been verified by Virtex-4 FPGA on Xilinx Ml403 development platform.
基金supported by the National Key R&D Program of China(Grant No.2020YFC2201200)the National Natural Science Foundation of China(Grant No.U20B2001)。
文摘This paper develops a sequential convex programming(SCP)-based method to solve the minimum-fuel variable-specific-impulse low-thrust transfer problem considering shutdown constraint,with emphasize on improving the computational efficiency.The variable parameter engine is more applicable for many low-thrust scenarios,therefore,both a continuously variable model and a ladder variable model are adopted.First,the original problem is convexified by processing the constraint feasible domain,which is composed of the nonlinear dynamic equations and second-order equality constraint,into convex sets.Then,the approximation is generated to close the optimal solution of the low-thrust problem by iteratively solving the convexified subproblem.Moreover,the switching self-detection and adaptive node refinement methods are presented,which can improve the accuracy of the solution and accelerate the convergence during the approximation process and is especially necessary and effective in the scenarios with shutdown constraint.In numerical simulations,the comparison with the homotopic approach shows that the proposed method only needs 4%computational time as that of the homotopic approach,and two variable-specificimpulse examples further demonstrate the effectiveness and efficiency of the proposed method.