Formulation and validation of simulated data for the atmospheric infrared sounder (AIRS) | Synapse