Automatically analyzing a steadily beating ventricle's iterative behavior over time

摘要

The full analysis of complicated dynamic systems has yet to be automated. Fortunately, a steady-state analysis is often still quite useful. This paper describes AIS, a program written to analyze (sub) systems that at steady-state are iterating a fixed sequence of actions. Such systems are too complicated to directly describe using something like electrical circuit analogies. An example of such a system is the ventricle of the heart. AIS takes in a system description in terms of its detailed behavior during the time scale of a single sequence iteration (such as a single heart beat), and outputs a system description in terms of the system's net behavior during the time scale of many iterations. Single iteration descriptions are often easier for people to give, but average behavior descriptions are often more useful.