AN INTELLIGENT MATHEMATICAL MODELLING SYSTEM--MATHMODEL

THE PROPOSED SYSTEM RESPONDS TO THE NEED OF MATHEMATICAL MODELERS OF LARGE SYSTEMS, IN ENGINEERING AND SCIENCES, FOR RELIEF IN THIS ARDUOUS AND IMMENSELY COMPLEX TASK. IN PARTICULAR, RELIEF IS NEEDED ON A GENERAL PURPOSE BASIS IN THREE AREAS: REDUCING THE AMOUNT OF WORK, REDUCING THE REQUISITE USER KNOWLEDGE--ESPECIALLY OF COMPUTERS AND NUMERICAL METHODS, AND ENHANCING THE EFFICIENCY OF THE VERY LENGTHLY COMPUTATIONS. EXISTING SYSTEMS ARE ORIENTED TO RESPECTIVE NARROW AREAS AND ARE INEFFICIENT. THEY ALSO LACK THE INTELLIGENCE THAT CAN EFFECTIVELY AID A USER. THE PROPOSED SYSTEM INTEGRATES FOUR AREAS OF TECHNOLOGY: (I) SPECIFICATION LANGUAGE AND AUTOMATED GENERATION OF PROGRAMS, (II) VERIFICATION OF MATHEMATICAL CORRECTNESS: (III) SYMBOLIC MANIPULATION AND (IV) NUMERICAL ANALYSIS. THE SPECIFICATION LANGUAGE IS THAT OF REGULAR AND BOLLEN ALEGEBRA--WHICH LENDS THE SYSTEM ITS GENERAL PURPOSE CAPABILITIES. IT GENERATES HIGHLY OPTIMAL PROGRAMS AND GUIDES THE USER IN IMPROVING EFFICIENCY OF ALGORITHMS. THE VERIFICATION PART GUIDES THE USER IN COMPOSING A COMPLETE AND CONSISTENT MODEL. EQUATIONS AND OPTIMIZATIONS ARE THEN MANIPULATED INTO A FORM ACCEPTABLE BY APPROPRIATE NUMERIC METHODS ARE USED. FINALLY--A FAST PROTOTYPING PART FEEDS BACK THE COMPUTED RESULTS TO THE USER. THE SYSTEM HAS BEEN DEVELOPED AS PART OF A PHD DISSERTATION RESEARCH. THE PHASE I OBJECTIVES ARE TO TRANSFORM IT INTO A RELIABLE AND ROBUST SYSTEM AND DEMONSTRATE ITS ADVANTAGES IN REAL LIFE LARGE APPLICATIONS. THIS WILL PROVIDE A BASIS FOR READYING THE SYSTEM FOR LARGE SCALE USE IN PHASE II.