Computer-generated solar halos and sun dogs | IEEE Journals & Magazine | IEEE Xplore