从协议到代码：手把手拆解一个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在不同配置下的功耗表现。