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