Computational automation for global objectives

摘要

A method has been established for dealing with computational automation for global objective that pursues the final purpose of computation rather than the computations alone. The global objective programming allows users to use simple symbolic-numeric input to access the flexible usage of solvers for multiple purposes. It enables various levels of computer automation in procedural objective tasks and computational objective tasks to be executed separately or combinatively under very simple common rules of symbolic-numeric statements input at run time. This kind of automation is vital in tapping the enormous power, credibility, and reliability of computers for computation. Needless manual effort that doesn't contribute to the better understanding of analyses, tends to contribute to inefficiency at best, and provide the excuse of "to err is human" at worst. The user-involved-flexible- computational-automation offers users the opportunities to understand the key issues for solutions being sought, the power to question the computer's results, and the leeway to see the computer's own proofs. In this way, the goal to make designers regain their analytical tools and engineers to restore their engineering confidence in the computer age can be placed within comfortable reach.