用C语言或其他语言将这些式子列出来
SR ARQ模式：每个数据包都包含一个序列号(SN)。在SR ARQ协议下采用NACK标志哪些数据包应该重新发送，当NACK包到达发送方时，发送方只重发NACK标志的需要重新发送的数据包。发送方连续不断的发送数据包而不必为每个数据包都等待NACK。接收方每当接收到K个新数据包后就发送一个NACK包给发送方，重发的数据包不能算在激发NACK的K个数据中。每个NACK包含接收端希望收到的数据包的序列号列表和接收端已经收到的数据包的最大序列号。为了减少不必要的重发，接收方为每个数据包都设定了一个最大的NACK发送次数，，不同于其他的协议这个最大的发送数不是由源节点控制的。（NACK的发送次数，增加，线性网络下分析）
超时要么由发送方控制，要么由接收方控制。当接收方超时他就重发上一次的NACK，当发送方超时他就返回到上一次接收到的NACK的发送状态。
在这个协议中用到了经典SR ARQ中的滑动窗口技术，但本文滑动窗口的大小W与最小发送次数无关，因为只有失败的数据包才重发。设，。则有，
为源节点针对某个数据包应该发送的次数的期望值。
为sink节点接收到的数据的期望值，以下是根据此协议得到的节点承担的数据量定理。
定理3.11(只有0号节点产生数据的情况)设,分别表示节点接收和发送的数据量(以包的数目为计量)，，分别表示节点接收和发送的NACK数据量。表示节点0最小的发送次数，是节点0成功发送一感知数据到sink节点需要发送的次数的期望值，是sink节点接收到的数据量期望值(不包括重复的数据包，也就是每个数据包只接收一次)，要求数据包从源节点到sink节点的可信度为，则