Previous methods for generating random modal formulae (for the multi-modal logic K (m)) result either in awed test sets or for-mulae that are too hard for current modal decision procedures and, also, unnatural. We present here a new system and generation methodology which results in unnawed test sets and more-natural formulae that are better suited for current decision procedures. Most empirica...

Parametric analysis, modeling, and equalization (inverse modeling) of reverberant and resonating systems find many applications in audio and acoustics. These include room and concert hall acoustics, resonators in musical instruments, and resonant behavior in audio reproduction systems. Estimating the reverberation time or the modal decay rate are important measurement problems in room and conce...