In the typhoon adaptive observation based on conditional nonlinear optimal perturbation (CNOP), the ‘on-off’ switch caused by moist physical parameterization in prediction models prevents the conventional adjoint me...In the typhoon adaptive observation based on conditional nonlinear optimal perturbation (CNOP), the ‘on-off’ switch caused by moist physical parameterization in prediction models prevents the conventional adjoint method from providing correct gradient during the optimization process. To address this problem, the capture of CNOP, when the "on-off" switches are included in models, is treated as non-smooth optimization in this study, and the genetic algorithm (GA) is introduced. After detailed algorithm procedures are formulated using an idealized model with parameterization "on-off" switches in the forcing term, the impacts of "on-off" switches on the capture of CNOP are analyzed, and three numerical experiments are conducted to check the effectiveness of GA in capturing CNOP and to analyze the impacts of different initial populations on the optimization result. The result shows that GA is competent for the capture of CNOP in the context of the idealized model with parameterization ‘on-off’ switches in this study. Finally, the advantages and disadvantages of GA in capturing CNOP are analyzed in detail.展开更多
The backtracking search optimization algorithm(BSA) is one of the most recently proposed population-based evolutionary algorithms for global optimization. Due to its memory ability and simple structure, BSA has powe...The backtracking search optimization algorithm(BSA) is one of the most recently proposed population-based evolutionary algorithms for global optimization. Due to its memory ability and simple structure, BSA has powerful capability to find global optimal solutions. However, the algorithm is still insufficient in balancing the exploration and the exploitation. Therefore, an improved adaptive backtracking search optimization algorithm combined with modified Hooke-Jeeves pattern search is proposed for numerical global optimization. It has two main parts: the BSA is used for the exploration phase and the modified pattern search method completes the exploitation phase. In particular, a simple but effective strategy of adapting one of BSA's important control parameters is introduced. The proposed algorithm is compared with standard BSA, three state-of-the-art evolutionary algorithms and three superior algorithms in IEEE Congress on Evolutionary Computation 2014(IEEE CEC2014) over six widely-used benchmarks and 22 real-parameter single objective numerical optimization benchmarks in IEEE CEC2014. The results of experiment and statistical analysis demonstrate the effectiveness and efficiency of the proposed algorithm.展开更多
We present the generalized forms of Parrondo's paradox existing in fractional-order nonlinear systems. The gener- alization is implemented by applying a parameter switching (PS) algorithm to the corresponding initi...We present the generalized forms of Parrondo's paradox existing in fractional-order nonlinear systems. The gener- alization is implemented by applying a parameter switching (PS) algorithm to the corresponding initial value problems associated with the fractional-order nonlinear systems. The PS algorithm switches a system parameter within a specific set of N 〉 2 values when solving the system with some numerical integration method. It is proven that any attractor of the concerned system can be approximated numerically. By replacing the words "winning" and "loosing" in the classical Parrondo's paradox with "order" and "chaos", respectively, the PS algorithm leads to the generalized Parrondo's paradox: chaos1 + chaos2 +..- + chaosN = order and order1 + order2 +.-. + orderN = chaos. Finally, the concept is well demon- strated with the results based on the fractional-order Chen system.展开更多
In this paper,a fast neural network model for the forecasting of effective points by DEA model is proposed,which is based on the SPDS training algorithm.The SPDS training algorithm overcomes the drawbacks of slow conv...In this paper,a fast neural network model for the forecasting of effective points by DEA model is proposed,which is based on the SPDS training algorithm.The SPDS training algorithm overcomes the drawbacks of slow convergent speed and partially minimum result for BP algorithm.Its training speed is much faster and its forecasting precision is much better than those of BP algorithm.By numeric examples,it is showed that adopting the neural network model in the forecasting of effective points by DEA model is valid.展开更多
For impulse radio ultra-wideband (IR-UWB) ranging systems,effects of the settings of transmitter-related parameters, which include the pulse shape, the bandwidth and the pulse repetition interval (PRI), on ranging acc...For impulse radio ultra-wideband (IR-UWB) ranging systems,effects of the settings of transmitter-related parameters, which include the pulse shape, the bandwidth and the pulse repetition interval (PRI), on ranging accuracy were studied through theoretical analysis and simulations. Both the match-filtering based coherent TOA estimation algorithm and the energy-detection based non-coherent algorithm were used during simulations. Results show that the pulse shape has the least effect on the ranging accuracy. Increasing the pulse bandwidth can improve the ranging performance, but the performance is hardly improved any more when the bandwidth is increased beyond a certain level. PRI should be set long enough to guarantee the accurate ranging, because when PRI is shorter than the maximum excess delay of the channel, the ranging accuracy will be deteriorated by inter-pulse interference.展开更多
Lithium-ion batteries have been rapidly developed as clean energy sources in many industrial fields,such as new energy vehicles and energy storage.The core issues hindering their further promotion and application are ...Lithium-ion batteries have been rapidly developed as clean energy sources in many industrial fields,such as new energy vehicles and energy storage.The core issues hindering their further promotion and application are reliability and safety.A digital twin model that maps onto the physical entity of the battery with high simulation accuracy helps to monitor internal states and improve battery safety.This work focuses on developing a digital twin model via a mechanism-data-driven parameter updating algorithm to increase the simulation accuracy of the internal and external characteristics of the full-time domain battery under complex working conditions.An electrochemical model is first developed with the consideration of how electrode particle size impacts battery characteristics.By adding the descriptions of temperature distribution and particle-level stress,a multi-particle size electrochemical-thermal-mechanical coupling model is established.Then,considering the different electrical and thermal effect among individual cells,a model for the battery pack is constructed.A digital twin model construction method is finally developed and verified with battery operating data.展开更多
Aeromagnetic interference could not be compensated effectively if the precision of parameters which are solved by the aircraft magnetic field model is low. In order to improve the compensation effect under this condit...Aeromagnetic interference could not be compensated effectively if the precision of parameters which are solved by the aircraft magnetic field model is low. In order to improve the compensation effect under this condition, a method based on small signal model and least mean square(LMS) algorithm is proposed. According to the method, the initial values of adaptive filter's weight vector are calculated with the solved model parameters through small signal model at first,then the small amount of direction cosine and its derivative are set as the input of the filter, and the small amount of the interference is set as the filter's expected vector. After that, the aircraft magnetic interference is compensated by LMS algorithm. Finally, the method is verified by simulation and experiment. The result shows that the compensation effect can be improved obviously by the LMS algorithm when original solved parameters have low precision. The method can further improve the compensation effect even if the solved parameters have high precision.展开更多
We analyze a common feature of p-Kemeny AGGregation(p-KAGG) and p-One-Sided Crossing Minimization(p-OSCM) to provide new insights and findings of interest to both the graph drawing community and the social choice ...We analyze a common feature of p-Kemeny AGGregation(p-KAGG) and p-One-Sided Crossing Minimization(p-OSCM) to provide new insights and findings of interest to both the graph drawing community and the social choice community. We obtain parameterized subexponential-time algorithms for p-KAGG—a problem in social choice theory—and for p-OSCM—a problem in graph drawing. These algorithms run in time O*(2O(√k log k)),where k is the parameter, and significantly improve the previous best algorithms with running times O.1.403k/and O.1.4656k/, respectively. We also study natural "above-guarantee" versions of these problems and show them to be fixed parameter tractable. In fact, we show that the above-guarantee versions of these problems are equivalent to a weighted variant of p-directed feedback arc set. Our results for the above-guarantee version of p-KAGG reveal an interesting contrast. We show that when the number of "votes" in the input to p-KAGG is odd the above guarantee version can still be solved in time O*(2O(√k log k)), while if it is even then the problem cannot have a subexponential time algorithm unless the exponential time hypothesis fails(equivalently, unless FPT D M[1]).展开更多
Computational Social Choice is an interdisciplinary research area involving Economics, Political Science,and Social Science on the one side, and Mathematics and Computer Science(including Artificial Intelligence and ...Computational Social Choice is an interdisciplinary research area involving Economics, Political Science,and Social Science on the one side, and Mathematics and Computer Science(including Artificial Intelligence and Multiagent Systems) on the other side. Typical computational problems studied in this field include the vulnerability of voting procedures against attacks, or preference aggregation in multi-agent systems. Parameterized Algorithmics is a subfield of Theoretical Computer Science seeking to exploit meaningful problem-specific parameters in order to identify tractable special cases of in general computationally hard problems. In this paper, we propose nine of our favorite research challenges concerning the parameterized complexity of problems appearing in this context. This work is dedicated to Jianer Chen, one of the strongest problem solvers in the history of parameterized algorithmics,on the occasion of his 60 th birthday.展开更多
Real-time and accurate fault detection is essential to enhance the aircraft navigation system’s reliability and safety. The existent detection methods based on analytical model draws back at simultaneously detecting ...Real-time and accurate fault detection is essential to enhance the aircraft navigation system’s reliability and safety. The existent detection methods based on analytical model draws back at simultaneously detecting gradual and sudden faults. On account of this reason, we propose an online detection solution based on non-analytical model. In this article, the navigation system fault detection model is established based on belief rule base (BRB), where the system measuring residual and its changing rate are used as the inputs of BRB model and the fault detection function as the output. To overcome the drawbacks of current parameter optimization algorithms for BRB and achieve online update, a parameter recursive estimation algorithm is presented for online BRB detection model based on expectation maximization (EM) algorithm. Furthermore, the proposed method is verified by navigation experiment. Experimental results show that the proposed method is able to effectively realize online parameter evaluation in navigation system fault detection model. The output of the detection model can track the fault state very well, and the faults can be diagnosed in real time and accurately. In addition, the detection ability, especially in the probability of false detection, is superior to offline optimization method, and thus the system reliability has great improvement.展开更多
Parameterized computation is a new method dealing with NP-hard problems, which has attracted a lot of attentions in theoretical computer science. As a practical preprocessing method for NP-hard problems, kernelizaiton...Parameterized computation is a new method dealing with NP-hard problems, which has attracted a lot of attentions in theoretical computer science. As a practical preprocessing method for NP-hard problems, kernelizaiton in parameterized computation has recently become an active research area. In this paper, we discuss several kernelizaiton techniques, such as crown decomposition, planar graph vertex partition, randomized methods, and kernel lower bounds, which have been used widely in the kernelization of many hard problems.展开更多
The main purpose of this paper is to exposit two very different, but very general, motivational schemes in the art of parameterization and a concrete example connecting them. We introduce a dynamic version of the DOMI...The main purpose of this paper is to exposit two very different, but very general, motivational schemes in the art of parameterization and a concrete example connecting them. We introduce a dynamic version of the DOMINATING SET problem and prove that it is fixed-parameter tractable(FPT). The problem is motivated by settings where problem instances evolve. It also arises in the quest to improve a natural greedy heuristic for the DOMINATING SET problem.展开更多
基金Application investigation of conditional nonlinear optimal perturbation in typhoon adaptive observation (40830955)
文摘In the typhoon adaptive observation based on conditional nonlinear optimal perturbation (CNOP), the ‘on-off’ switch caused by moist physical parameterization in prediction models prevents the conventional adjoint method from providing correct gradient during the optimization process. To address this problem, the capture of CNOP, when the "on-off" switches are included in models, is treated as non-smooth optimization in this study, and the genetic algorithm (GA) is introduced. After detailed algorithm procedures are formulated using an idealized model with parameterization "on-off" switches in the forcing term, the impacts of "on-off" switches on the capture of CNOP are analyzed, and three numerical experiments are conducted to check the effectiveness of GA in capturing CNOP and to analyze the impacts of different initial populations on the optimization result. The result shows that GA is competent for the capture of CNOP in the context of the idealized model with parameterization ‘on-off’ switches in this study. Finally, the advantages and disadvantages of GA in capturing CNOP are analyzed in detail.
基金supported by the National Natural Science Foundation of China(61271250)
文摘The backtracking search optimization algorithm(BSA) is one of the most recently proposed population-based evolutionary algorithms for global optimization. Due to its memory ability and simple structure, BSA has powerful capability to find global optimal solutions. However, the algorithm is still insufficient in balancing the exploration and the exploitation. Therefore, an improved adaptive backtracking search optimization algorithm combined with modified Hooke-Jeeves pattern search is proposed for numerical global optimization. It has two main parts: the BSA is used for the exploration phase and the modified pattern search method completes the exploitation phase. In particular, a simple but effective strategy of adapting one of BSA's important control parameters is introduced. The proposed algorithm is compared with standard BSA, three state-of-the-art evolutionary algorithms and three superior algorithms in IEEE Congress on Evolutionary Computation 2014(IEEE CEC2014) over six widely-used benchmarks and 22 real-parameter single objective numerical optimization benchmarks in IEEE CEC2014. The results of experiment and statistical analysis demonstrate the effectiveness and efficiency of the proposed algorithm.
文摘We present the generalized forms of Parrondo's paradox existing in fractional-order nonlinear systems. The gener- alization is implemented by applying a parameter switching (PS) algorithm to the corresponding initial value problems associated with the fractional-order nonlinear systems. The PS algorithm switches a system parameter within a specific set of N 〉 2 values when solving the system with some numerical integration method. It is proven that any attractor of the concerned system can be approximated numerically. By replacing the words "winning" and "loosing" in the classical Parrondo's paradox with "order" and "chaos", respectively, the PS algorithm leads to the generalized Parrondo's paradox: chaos1 + chaos2 +..- + chaosN = order and order1 + order2 +.-. + orderN = chaos. Finally, the concept is well demon- strated with the results based on the fractional-order Chen system.
基金Sponsored by the Natural Scientific Research Foundation of Heilongjiang Province(Grant No.40000045-6-07259)the Natural Scientific Research Inno-vation Foundation of Harbin Institute of Technology(Grant No.HIT.NSRIF.2008.59)+1 种基金the Scientific and Technology Critical Project of Harbin,Hei-longjiang Province(2004)the National Soft Science Key Foundation(Grant No.2008GXS5D113)
文摘In this paper,a fast neural network model for the forecasting of effective points by DEA model is proposed,which is based on the SPDS training algorithm.The SPDS training algorithm overcomes the drawbacks of slow convergent speed and partially minimum result for BP algorithm.Its training speed is much faster and its forecasting precision is much better than those of BP algorithm.By numeric examples,it is showed that adopting the neural network model in the forecasting of effective points by DEA model is valid.
基金Sponsored by the National Natural Science Foundation of China (Grant No.60432040)the Natural Science Foundation of Guangdong Privince(Grant No.9451805707003235)
文摘For impulse radio ultra-wideband (IR-UWB) ranging systems,effects of the settings of transmitter-related parameters, which include the pulse shape, the bandwidth and the pulse repetition interval (PRI), on ranging accuracy were studied through theoretical analysis and simulations. Both the match-filtering based coherent TOA estimation algorithm and the energy-detection based non-coherent algorithm were used during simulations. Results show that the pulse shape has the least effect on the ranging accuracy. Increasing the pulse bandwidth can improve the ranging performance, but the performance is hardly improved any more when the bandwidth is increased beyond a certain level. PRI should be set long enough to guarantee the accurate ranging, because when PRI is shorter than the maximum excess delay of the channel, the ranging accuracy will be deteriorated by inter-pulse interference.
基金support by Shandong Province National Natural Science Foundation of China(No.ZR2023QE036).
文摘Lithium-ion batteries have been rapidly developed as clean energy sources in many industrial fields,such as new energy vehicles and energy storage.The core issues hindering their further promotion and application are reliability and safety.A digital twin model that maps onto the physical entity of the battery with high simulation accuracy helps to monitor internal states and improve battery safety.This work focuses on developing a digital twin model via a mechanism-data-driven parameter updating algorithm to increase the simulation accuracy of the internal and external characteristics of the full-time domain battery under complex working conditions.An electrochemical model is first developed with the consideration of how electrode particle size impacts battery characteristics.By adding the descriptions of temperature distribution and particle-level stress,a multi-particle size electrochemical-thermal-mechanical coupling model is established.Then,considering the different electrical and thermal effect among individual cells,a model for the battery pack is constructed.A digital twin model construction method is finally developed and verified with battery operating data.
基金co-supported by the National Basic Research Program of China (No. 623125020103)
文摘Aeromagnetic interference could not be compensated effectively if the precision of parameters which are solved by the aircraft magnetic field model is low. In order to improve the compensation effect under this condition, a method based on small signal model and least mean square(LMS) algorithm is proposed. According to the method, the initial values of adaptive filter's weight vector are calculated with the solved model parameters through small signal model at first,then the small amount of direction cosine and its derivative are set as the input of the filter, and the small amount of the interference is set as the filter's expected vector. After that, the aircraft magnetic interference is compensated by LMS algorithm. Finally, the method is verified by simulation and experiment. The result shows that the compensation effect can be improved obviously by the LMS algorithm when original solved parameters have low precision. The method can further improve the compensation effect even if the solved parameters have high precision.
基金supported by a GermanNorwegian PPP grantsupported by the Indo-German Max Planck Center for Computer Science (IMPECS)
文摘We analyze a common feature of p-Kemeny AGGregation(p-KAGG) and p-One-Sided Crossing Minimization(p-OSCM) to provide new insights and findings of interest to both the graph drawing community and the social choice community. We obtain parameterized subexponential-time algorithms for p-KAGG—a problem in social choice theory—and for p-OSCM—a problem in graph drawing. These algorithms run in time O*(2O(√k log k)),where k is the parameter, and significantly improve the previous best algorithms with running times O.1.403k/and O.1.4656k/, respectively. We also study natural "above-guarantee" versions of these problems and show them to be fixed parameter tractable. In fact, we show that the above-guarantee versions of these problems are equivalent to a weighted variant of p-directed feedback arc set. Our results for the above-guarantee version of p-KAGG reveal an interesting contrast. We show that when the number of "votes" in the input to p-KAGG is odd the above guarantee version can still be solved in time O*(2O(√k log k)), while if it is even then the problem cannot have a subexponential time algorithm unless the exponential time hypothesis fails(equivalently, unless FPT D M[1]).
基金supported by the Deutsche Forschungsgemeinschaft, project PAWS (NI 369/10)supported by the Studienstiftung des Deutschen Volkes+2 种基金supported by DFG "Cluster of Excellence Multimodal Computing and Interaction"supported by DIAMANT (a mathematics cluster of the Netherlands Organization for Scientific Research NWO)the Alexander von Humboldt Foundation, Bonn, Germany
文摘Computational Social Choice is an interdisciplinary research area involving Economics, Political Science,and Social Science on the one side, and Mathematics and Computer Science(including Artificial Intelligence and Multiagent Systems) on the other side. Typical computational problems studied in this field include the vulnerability of voting procedures against attacks, or preference aggregation in multi-agent systems. Parameterized Algorithmics is a subfield of Theoretical Computer Science seeking to exploit meaningful problem-specific parameters in order to identify tractable special cases of in general computationally hard problems. In this paper, we propose nine of our favorite research challenges concerning the parameterized complexity of problems appearing in this context. This work is dedicated to Jianer Chen, one of the strongest problem solvers in the history of parameterized algorithmics,on the occasion of his 60 th birthday.
基金the National High-tech Research and Development Program of China(No.2011AA7053016)National Natural Science Foundation of China(No.61174030)
文摘Real-time and accurate fault detection is essential to enhance the aircraft navigation system’s reliability and safety. The existent detection methods based on analytical model draws back at simultaneously detecting gradual and sudden faults. On account of this reason, we propose an online detection solution based on non-analytical model. In this article, the navigation system fault detection model is established based on belief rule base (BRB), where the system measuring residual and its changing rate are used as the inputs of BRB model and the fault detection function as the output. To overcome the drawbacks of current parameter optimization algorithms for BRB and achieve online update, a parameter recursive estimation algorithm is presented for online BRB detection model based on expectation maximization (EM) algorithm. Furthermore, the proposed method is verified by navigation experiment. Experimental results show that the proposed method is able to effectively realize online parameter evaluation in navigation system fault detection model. The output of the detection model can track the fault state very well, and the faults can be diagnosed in real time and accurately. In addition, the detection ability, especially in the probability of false detection, is superior to offline optimization method, and thus the system reliability has great improvement.
基金supported by the National Natural Science Foundation of China (Nos. 61173051, 61103033, and 61232001)
文摘Parameterized computation is a new method dealing with NP-hard problems, which has attracted a lot of attentions in theoretical computer science. As a practical preprocessing method for NP-hard problems, kernelizaiton in parameterized computation has recently become an active research area. In this paper, we discuss several kernelizaiton techniques, such as crown decomposition, planar graph vertex partition, randomized methods, and kernel lower bounds, which have been used widely in the kernelization of many hard problems.
文摘The main purpose of this paper is to exposit two very different, but very general, motivational schemes in the art of parameterization and a concrete example connecting them. We introduce a dynamic version of the DOMINATING SET problem and prove that it is fixed-parameter tractable(FPT). The problem is motivated by settings where problem instances evolve. It also arises in the quest to improve a natural greedy heuristic for the DOMINATING SET problem.