Computer aided kinematics and dynamics of mechanical systems. Vol. 1: basic methods
Computer aided kinematics and dynamics of mechanical systems. Vol. 1: basic methods
Fundamentals of Deductive Program Synthesis
IEEE Transactions on Software Engineering
Automatic synthesis of numerical codes for solving partial differential equations
Selected papers from the 1996 or 1997 IMACS-ACA conference on Non-standard applications of computer algebra
META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems
Automated Software Engineering
Automated Software Engineering
Synthesis of Mathematical-Modeling Software
IEEE Software
Planware ¾ Domain-Specific Synthesis of High-Performance Schedulers
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Proceedings of the 17th IEEE international conference on Automated software engineering
AutoBayes: a system for generating data analysis programs from statistical models
Journal of Functional Programming
Specification and synthesis of hybrid automata for physics-based animation
Automated Software Engineering
Software reuse for scientific computing through program generation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Case Studies in Model Manipulation for Scientific Computing
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Hi-index | 0.00 |
Physics-based animation programs are important in a variety of contexts, including science, engineering, education and entertainment among others. Manual construction of such programs is expensive, time-consuming and prone to error. We have developed a system for automatically synthesizing physics-based animation programs for a significant class of problems: constrained systems of rigid bodies, subject to driving and dissipative forces, under the control of an interactive user. Our system includes a graphical interface for specifying a physical scenario, including objects, geometry and coordinate systems, along with a symbolic interface for specifying dynamical variables, forces and constraints operating in the scenario. The entities defined in the graphical interface serve as the underlying vocabulary for specifications entered in the symbolic interface. Our system partitions the constraints and dynamical variables into classes and assigns each class to be implemented in a different component of a general simulation program scheme. It generates a numerical C++ simulation program that drives a real-time animation of the specified scenario. Our system is implemented as a collection of rewrite rules in the Mathematica programming language. Our approach provides some of the benefits of formal deductive program synthesis, while keeping the computational costs of program synthesis more in line with conventional program generator technology. We have successfully tested our system on numerous examples.