Joint Beamforming and Phase Shift Design in Downlink UAV Networks with IRS-Assisted NOMA | Synapse