比较36.213的Table 7.3-Y和36.213的Table 10.1.3.1-1可以看出,DCI format 0/4发送时所在的下行子帧(对应36.213的Table 7.3-Y)一定对应36.213的Table 10.1.3.1-1中的HARQ反馈窗口里的最后一个下行子帧(或比该下行子帧还要靠后)。因此,发送DCI format 0/4时,就已经知道了HARQ反馈窗口里有多少个子帧发送了PDSCH和指示SPS释放的PDCCH。此时使用的是PUSCH反馈ACK/NACK。
但当UE在PUCCH上回复ACK/NACK时,说明UE并没有接收到DCI format 0/4,也就不知道V_UL_DAI。V_DL_DAI表示UE在HARQ反馈窗口内最后一个接收到下行DCI(DCI format 1/1A/1B/1D/2/2A/2B/2C)的子帧中的DAI值,它反映的是HARQ反馈窗口内发送了多少个PDCCH(注意:与V_UL_DAI不同,这里不包含SPS调度中没有PDCCH的PDSCH)。所以,这里只能使用eNodeB发送的下行DCI数跟UE接收到的下行PDCCH数(U_DAI 表示的含义)进行比较。个人觉得,这种情况下,无法检测出eNodeB在HARQ反馈窗口内的最后发送的下行DCI没有被UE检测到的场景。