The research of "higher-order derivative constraints" theory

Qualitative simulation, now, has been a powerful tool to solve incomplete knowledge problems. During qualitative simulation, Chattering variable is one of the important causes that QSIM creates intractable branch, and identifying chattering variables and eliminating the chattering with available method is a key technology of improving operation rate and predicting accuracy of QSIM. We studied carefully the "Higher-Order Derivative Constraints" theory of Kuipers, and found that there are some problems in the theory. So we advanced a series of improved methods to identify chattering variables and to eliminate chatter of variables. Meanwhile we tried to use effectual system knowledge and qualitative information implicating in QDE to eliminate the chatter of variables.