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...
Approximate Bayesian Computation (ABC) is a popular sampling method in applications involving intractable likelihood functions. Instead of evaluating the likelihood function, ABC approximates the posterior distributio...
supported by China 973 Frogram 2011CB302402;the Knowledge Innovation Program of the Chinese Academy of Sciences(KJCX2-YW-S02);the National Natural Science Foundation of China(10771205);the West Light Foundation of the Chinese Academy of Sciences
In some fields such as Mathematics Mechanization, automated reasoning and Trustworthy Computing, etc., exact results are needed. Symbolic computations are used to obtain the exact results. Symbolic computations are of...
supported by the National Natural Science Foundation of China (Grant Nos. 60571048, 60971088);the Research Innovation Program for College Postgraduate in Jiangsu Province (Grant No. CX09B 157Z);the Excellent Doctoral Dissertation Cultivation Program of HoHai University (Grant No. 2010B19214)
The computation of the sensitivity of a Madaline's output to its parameter perturbation is systematically discussed. Firstly, according to the discrete feature of Adalines, a method based on discrete stochastic techn...
This work was partially supported by China 973 Project (Grant No.NKBRPC-2004CB318003);the Knowledge Innovation Program of the Chinese Academy of Sciences (Grant No.KJCX2-YW-S02).
Numerical approximate computations can solve large and complex problems fast.They have the advantage of high efficiency.However they only give approximate results,whereas we need exact results in some fields.There is ...
The on line computational burden related to model predictive control (MPC) of large scale constrained systems hampers its real time applications and limits it to slow dynamic process with moderate number of inputs....
From the formulas of the conjugate gradient, a similarity between a symmetric positive definite (SPD) matrix A and a tridiagonal matrix B is obtained. The elements of the matrix B are determined by the parameters of t...