supported in part by the National Key Basic Research and Development Program of China(No.2017YFE0132100);the Tsinghua-Toyota Research Fund(No.20203910016);the BNRist Program(No.BNR2020TD01009)。
Electrical power network analysis and computation play an important role in the planning and operation of the power grid,and they are modeled mathematically as differential equations and network algebraic equations.Th...
supported by National Basic Research Program of China(973 Program)(Grant No.2005CB321901);Open Fund of the State Key Laboratory of Software Development Environment(Grant No.SKLSDE-2010KF-06);Beijing University of Aeronautics and Astronautics
Belief revision is both a philosophical and logical problem. From Popper's logic of scientific discovery, we know that revision is ubiquitous in physics and other sciences. The AGM postulates and Rcalculus are approa...
supported by China 973 Project under Grant No.2011CB302402;the National Natural Science Foundation of China under Grant Nos.61402537,11671377,91118001;China Postdoctoral Science Foundation funded project under Grant No.2012M521692
Computing the determinant of a matrix with the univariate and multivariate polynomial entries arises frequently in the scientific computing and engineering fields. This paper proposes an effective algorithm to compute...
supported by National Basic Research Program of China(973 Program)under Grant 2013CB228205;National Natural Science Foundation of China under Grant 51541707.
In this paper,a model of a large-scale optimal power flow(OPF)under voltage grading and network partition and its algorithm is presented.Based on the principles of open loop operations,the node injecting current metho...
supported by National Basic Research Program of China(Grant No.2013CB834100);National Natural Science Foundation of China(Grant No.111211101)
In this survey paper, the synchronization will be initially studied for infinite dimensional dynamical systems of partial differential equations instead of finite dimensional systems of ordinary differential equations...
Supported by National Basic Research Program of China(973 Program,Grant No.2011CB706802);National Natural Science Foundation of China(Grant No.51205420);Program for New Century Excellent Talents in University of China(Grant No.NCET-13-0593);Hunan Provincial Natural Science Foundation of China(Grant No.14JJ3011)
Many high-quality forging productions require the large-sized hydraulic press machine(HPM) to have a desirable dynamic response. Since the forging process is complex under the low velocity, its response is difficult...
supported by the National Basic Research Program of China(No.2014CB744804)
In this paper a new flow field prediction method which is independent of the governing equations, is developed to predict stationary flow fields of variable physical domain. Predicted flow fields come from linear supe...
supported by the National Natural Science Foundation of China(Nos.11072141 and11272199);the National Basic Research Program of China(No.2012CB725404);the Shanghai Program for Innovative Research Team in Universities;the Research Grants Council of the Hong KongSpecial Administrative Region,China(No.HKU7184/10E);the National Research Foundationof Korea(MEST)(No.NRF-2010-0029446)
This paper uses the Taylor expansion to seek an approximate Korteweg- de Vries equation (KdV) solution to a higher-order traffic flow model with sufficiently large diffusion. It demonstrates the validity of the appr...
Supported by the National Natural Science Foundation of China under Grant No. 60873038;the National Key Technology Research and Development Program of the Ministry of Science and Technology of China under Grant Nos. 2009BAH42B02 and 2012BAH08B02
CEGAR (Counterexample-guided abstraction refinement)-based slicing is one of the most important techniques in reducing the state space in model checking. However, CEGAR-based slicing repeatedly explores the state sp...
Supported by the National Natural Science Foundation of China under Grant Nos.10735030,10475055,10675065,and 90503006;National Basic Research Program of China (973 Program 2007CB814800)
The perturbed Kaup-Kupershmidt equation is investigated in terms of the approximate symmetry perturbationmethod and the approximate direct method.The similarity reduction solutions of different orders are obtainedfor ...