从协议到代码：手把手拆解一个NR C-DRX Inactivity Timer的仿真模型（附Python示例）

在5G新空口（NR）系统中，连接态下的非连续接收（C-DRX）机制是平衡终端功耗与网络响应速度的关键设计。其中，Inactivity Timer作为核心组件之一，直接决定了用户设备（UE）从活跃状态转入休眠状态的时机。本文将带您深入理解这一机制，并通过Python代码实现一个完整的仿真模型。

1. C-DRX Inactivity Timer的核心机制解析

Inactivity Timer本质上是一个倒计时器，其触发逻辑与物理下行控制信道（PDCCH）的解码行为紧密相关。当UE成功解码到一个新传（而非重传）的PDCCH调度信息时，定时器会被启动或重启。这意味着网络仍有数据需要传输，UE需要保持射频通道开启以接收后续调度。

关键行为特征：

• 启动条件：仅在PDCCH初始传输调度时触发，重传场景不会影响定时器
• 时间基准：从PDCCH最后一个符号结束时刻开始计算
• 独立运行：与其他DRX定时器（如onDurationTimer）无耦合关系
• 终止条件：收到DRX Command MAC CE或定时器自然超时

class InactivityTimer: def __init__(self, duration): self.remaining = 0 self.duration = duration # 定时器周期（单位：符号数） self.is_running = False

2. 状态机设计与定时器管理

完整的C-DRX行为可以建模为一个有限状态机（FSM），包含三个主要状态：Active、Short DRX Cycle和Long DRX Cycle。Inactivity Timer的超时事件是触发状态转换的重要条件之一。

2.1 状态转换逻辑

class UEState(Enum): ACTIVE = 1 SHORT_DRX = 2 LONG_DRX = 3 class DRXStateMachine: def __init__(self, has_short_cycle=True): self.state = UEState.ACTIVE self.has_short_cycle = has_short_cycle self.inactivity_timer = InactivityTimer(10) # 示例值 self.short_cycle_timer = Timer(5) # 示例值

3. 事件处理与定时器联动

在实际系统中，UE需要实时响应多种事件并协调多个定时器的运行。以下是核心事件的处理逻辑实现：

3.1 PDCCH解码成功处理

def handle_pdcch(self, is_retransmission): if not is_retransmission: self.inactivity_timer.restart() if self.state != UEState.ACTIVE: self.transition_to(UEState.ACTIVE)

3.2 MAC CE命令处理

def handle_mac_ce(self, ce_type): if ce_type == 'DRX_COMMAND': self.inactivity_timer.stop() if self.has_short_cycle: self.short_cycle_timer.start() self.state = UEState.SHORT_DRX else: self.state = UEState.LONG_DRX elif ce_type == 'LONG_DRX_COMMAND': self.short_cycle_timer.stop() self.state = UEState.LONG_DRX

4. 完整仿真模型实现

下面给出一个可运行的Python仿真框架，包含主要状态转换和定时器管理逻辑：

import enum from enum import Enum import time class Timer: def __init__(self, duration): self.duration = duration self.remaining = 0 self.is_running = False def start(self): self.remaining = self.duration self.is_running = True def stop(self): self.is_running = False def tick(self): if self.is_running and self.remaining > 0: self.remaining -= 1 return self.remaining == 0 return False class DRXSimulator: def __init__(self): self.inactivity_timer = Timer(10) self.short_cycle_timer = Timer(5) self.state = UEState.ACTIVE self.time_elapsed = 0 def simulate_event(self, event): if event == 'PDCCH_NEW': self._handle_new_pdcch() elif event == 'DRX_CMD': self._handle_drx_command() elif event == 'LONG_DRX_CMD': self._handle_long_drx_command() def advance_time(self): self.time_elapsed += 1 if self.inactivity_timer.tick(): self._handle_inactivity_timeout() if self.short_cycle_timer.tick(): self._handle_short_cycle_timeout() def _handle_new_pdcch(self): self.inactivity_timer.start() if self.state != UEState.ACTIVE: print(f"[{self.time_elapsed}] Transition to ACTIVE") self.state = UEState.ACTIVE def _handle_inactivity_timeout(self): if self.has_short_cycle: print(f"[{self.time_elapsed}] Transition to SHORT_DRX") self.short_cycle_timer.start() self.state = UEState.SHORT_DRX else: print(f"[{self.time_elapsed}] Transition to LONG_DRX") self.state = UEState.LONG_DRX

5. 仿真结果分析与验证

通过上述模型，我们可以模拟不同网络条件下的UE行为。以下是一个典型场景的验证流程：

1. 初始状态：UE处于Active状态，无定时器运行
2. 事件触发：收到新传PDCCH，启动InactivityTimer
3. 超时转换：若无后续调度，超时后进入Short DRX（若配置）
4. 周期演进：ShortCycleTimer超时后转入Long DRX
5. 命令干预：测试MAC CE命令对状态的中断效果

# 示例测试用例 sim = DRXSimulator() events = [ (1, 'PDCCH_NEW'), (15, 'DRX_CMD'), (25, 'PDCCH_NEW'), (40, None) # 自然超时 ] for ts, event in events: while sim.time_elapsed < ts: sim.advance_time() if event: sim.simulate_event(event)

在实际项目中，这种模型可以帮助协议栈开发人员预验证状态转换逻辑的正确性，也为算法工程师优化定时器参数提供了可量化的测试环境。通过调整定时器时长和事件序列，可以直观观察到UE在不同配置下的功耗表现。