摘要 |
A computer determines whether a proposed mathematical model and computational requests made upon the model are well posed. The computer includes a program that determines whether the model is consistent and suggests at least one alternative consistent model if the proposed model is inconsistent. The program also determines whether a computational request is allowable and suggests at least one alternative allowable computational request if an initial computational request is unallowable.
|