简介：本资源是《OPNET Modeler仿真建模大解密》第九章的完整配套代码包，面向正在学习OPNET网络仿真、尤其是TDMA通信系统建模的初学者与进阶读者。内容围绕TDMA帧结构、时隙分配与同步机制展开，涵盖频率跳变、错误检测与校正、CSMA/IP接入控制等模块，并包含仿真动画演示与Matlab数据分析接口，可帮助读者在OPNET中直接导入项目、运行并解读仿真结果。压缩包共120个文件，约591KB，以m、c、cpp、h等源码文件为主，辅以ot、seq、exp、lib等模型与实验配置，以及prj、dll、txt等工程和说明文件，目录结构完整。目前已有351人学习。通过研读这些代码与案例，读者可掌握TDMA网络建模、参数配置与结果可视化的完整流程，积累无线通信仿真的排错与优化经验。
1. OPNET Modeler 第九章 TDMA 仿真：从代码到可复现的工程路径
如果你正在翻 OPNET Modeler 的教材，翻到第九章发现满屏都是进程模型和状态机代码，却不知道怎么把它们跑起来、怎么验证结果对不对，那这篇就是写给你的。OPNET Modeler 的 TDMA（时分多址）仿真建模，核心难点不在协议本身，而在于把 MAC 层的时隙分配逻辑翻译成 Proto-C 的进程状态机，再挂到节点模型和网络模型上跑通。第九章通常讲的是 TDMA 的完整实现，包括时隙同步、帧结构定义、队列调度和统计量采集。很多人拿到代码后直接编译报错，或者跑出来吞吐量曲线是平的，问题往往出在进程模型的触发条件、包格式定义和中断处理上。这篇笔记按“先理解帧结构怎么映射到进程状态 → 再动手配节点和进程 → 最后排查典型翻车点”的顺序展开，适合已经装好 OPNET Modeler、能打开工程但卡在第九章代码调试阶段的从业者。如果你还没装环境，先把 OPNET Modeler 18.0 以上版本装好，确认能跑通自带的例子再往下看。
2. TDMA 帧结构在 OPNET 里怎么映射成进程状态机
2.1 帧、时隙、突发：三个必须先在代码里对齐的概念
TDMA 的物理层逻辑很简单：时间被切成周期性的帧，每帧再切成若干时隙，每个节点在自己的时隙里发数据。但在 OPNET 的进程模型里，这三个概念要分别对应到不同的代码结构。帧周期对应进程的强制状态自循环时间，时隙边界对应中断触发的状态迁移，突发数据对应包流的生成和排队。
第九章的代码通常定义一个tdma_frame结构体，里面包含frame_duration、slot_count、slot_duration和guard_time。这些参数不是随便填的，它们直接决定进程模型里op_intrpt_schedule_self()的调用间隔。我一般会先把帧参数算清楚再写代码，否则后面调时隙同步会非常痛苦。
/* tdma_frame.h - 帧结构定义 */ typedef struct { double frame_duration; /* 帧周期，单位秒 */ int slot_count; /* 每帧时隙数 */ double slot_duration; /* 单时隙时长 = frame_duration / slot_count */ double guard_time; /* 保护间隔，防止时隙重叠 */ int my_slot_index; /* 本节点占用的时隙号，从0开始 */ } TdmaFrame; /* 初始化函数：根据节点ID分配时隙 */ void tdma_frame_init(TdmaFrame *f, int node_id, int total_nodes) { f->frame_duration = 0.01; /* 10ms 帧周期，典型值 */ f->slot_count = total_nodes; /* 每节点一个时隙 */ f->slot_duration = f->frame_duration / f->slot_count; f->guard_time = 0.0001; /* 100us 保护间隔 */ f->my_slot_index = node_id % f->slot_count; }这段代码的逻辑是：帧周期固定，时隙数等于节点数，每个节点按 ID 取模分配时隙。guard_time单独留出来，在进程模型里判断时隙边界时要减去它。参数方面，frame_duration设 10ms 是常见做法，对应 100 帧/秒的调度频率；如果业务包很大，可以调到 20ms 或 50ms，但时隙数多的时候帧太长会导致接入延迟变大。guard_time一般取时隙时长的 1% 到 5%，太小了会因为仿真步长精度导致时隙重叠，太大了浪费带宽。
2.2 进程模型的状态划分：IDLE、WAIT_SLOT、TX、RX 四个状态够不够
第九章的进程模型通常画得比较复杂，但核心状态就四个：IDLE（空闲监听）、WAIT_SLOT（等待自己的时隙）、TX（发送）、RX（接收）。状态之间的迁移由中断驱动，中断类型包括自中断（时隙定时）、流中断（包到达）和统计中断。
在 OPNET 的进程编辑器里，你需要定义状态变量和临时变量。状态变量用SV声明，临时变量用TV。我见过很多人的代码跑不通，就是因为把my_slot_index放错了地方——它应该是状态变量，因为每个节点在仿真过程中时隙号不变；而current_slot应该是临时变量，每个帧周期重新计算。
/* 进程模型状态变量声明 */ State Variables: TdmaFrame frame; /* 帧配置，初始化后不变 */ int pkt_queue_size; /* 当前队列长度 */ double next_slot_time; /* 下一个时隙的绝对时间 */ Temp Variables: int current_slot; /* 当前时隙号，每帧更新 */ Packet* pkt_ptr; /* 当前处理的包指针 */ double tx_start_time; /* 发送开始时间 */状态迁移逻辑是这样的：IDLE 状态下收到自中断，判断当前时隙是否等于my_slot_index，如果是就迁到 TX，否则迁到 WAIT_SLOT 并调度下一个时隙中断。WAIT_SLOT 收到自中断后重新判断，直到轮到自己。TX 状态下发送队列里的包，发完后回到 IDLE。RX 状态由流中断触发，收到包后判断目的地址，如果是自己就接收并更新统计量。
这里有个容易忽略的点：next_slot_time的计算必须用绝对时间，不能累加相对时间，否则仿真跑久了会累积误差。我一般用op_sim_time()加上slot_duration来算下一个时隙的触发时刻。
2.3 包格式与中断处理：怎么让时隙同步不漂移
TDMA 的时隙同步靠的是自中断的精确调度。OPNET 的仿真内核是离散事件驱动的，自中断的触发时间决定了时隙边界。如果中断处理函数里做了耗时操作，比如遍历长队列，就会导致时隙漂移。
第九章的代码里通常有一个tdma_slot_handler()函数，它负责处理时隙中断。这个函数里要做三件事：更新current_slot、判断是否轮到自己、调度下一个中断。代码结构如下：
/* 时隙中断处理函数 */ static void tdma_slot_handler(void) { /* 更新当前时隙号 */ current_slot = (current_slot + 1) % frame.slot_count; /* 判断是否轮到自己发送 */ if (current_slot == frame.my_slot_index) { /* 迁到 TX 状态，发送队列里的包 */ if (pkt_queue_size > 0) { op_intrpt_schedule_self(op_sim_time(), TX_CODE); } } /* 调度下一个时隙中断 */ next_slot_time = op_sim_time() + frame.slot_duration; op_intrpt_schedule_self(next_slot_time, SLOT_CODE); }这段代码的关键在于op_intrpt_schedule_self()的调用时机。它必须在状态迁移之前调度，否则如果 TX 状态里又调度了自中断，会覆盖掉时隙中断。参数方面，SLOT_CODE和TX_CODE是中断码，需要在进程模型的接口里定义，一般用宏定义成不同的整数值。op_sim_time()返回当前仿真时间，单位是秒。
注意：
op_intrpt_schedule_self()的第二个参数是中断码，不是状态码。状态迁移用op_intrpt_force()或者直接在 FSM 里画迁移线。很多人把这两个搞混，导致中断触发后状态没变。
3. 从零配一个能跑的 TDMA 节点：节点模型、进程模型和网络模型
3.1 节点模型里必须挂的模块和连接关系
OPNET 的节点模型是三层结构：进程模型跑逻辑，节点模型连模块，网络模型摆节点。TDMA 节点的节点模型至少要有这几个模块：source（业务源）、sink（业务宿）、mac（TDMA 进程）、tx（发射机）、rx（接收机）和antenna（天线）。模块之间的连接用包流和统计线。
连接关系是这样的：source的包流输出连到mac的输入，mac的输出连到tx的输入，rx的输出连到mac的另一个输入，mac的统计输出连到sink。tx和rx之间通过无线链路连接，在节点模型里用radio_link表示。
我一般会在节点模型里加一个slot_timer模块，专门负责产生时隙中断。这个模块其实就是一个简单的进程模型，每隔slot_duration发一个自中断给mac。这样做的好处是时隙定时和 MAC 逻辑解耦，调试的时候可以单独看时隙中断有没有正常触发。
节点模型的参数配置里，mac模块要绑定到第九章的进程模型。绑定方法是在节点模型的属性里找到process model字段，选择对应的进程模型名称。如果进程模型编译报错，节点模型会加载失败，这时候要看 OPNET 的编译日志，通常错误在tdma_frame.h的包含路径上。
3.2 进程模型的 FSM 画法和强制状态设置
进程模型的 FSM 编辑器里，状态用圆圈表示，迁移用箭头表示。强制状态（forced state）是绿色的，非强制状态是红色的。TDMA 进程模型里，IDLE 和 WAIT_SLOT 应该是非强制状态，TX 和 RX 是强制状态。
强制状态的特点是进入后立即执行代码，执行完自动迁出。非强制状态会等待中断。这个区别很重要：TX 状态里发送包的操作要放在进入动作（enter executives）里，发完后自动迁回 IDLE。如果放在退出动作里，包还没发完就迁走了，会导致包丢失。
FSM 的迁移条件用 C 语言表达式写。比如从 IDLE 到 TX 的迁移条件是current_slot == frame.my_slot_index && pkt_queue_size > 0。从 IDLE 到 WAIT_SLOT 的条件是current_slot != frame.my_slot_index。迁移线上可以带中断码，表示只有特定中断才能触发这条迁移。
/* 进入 TX 状态的执行代码 */ /* 发送队列头部的包 */ pkt_ptr = op_subq_pk_access(&queue, OPC_QPOS_HEAD); if (pkt_ptr != OPC_NIL) { /* 设置包的发送时间戳 */ op_pk_stamp(pkt_ptr); /* 发送到 tx 模块 */ op_pk_send(pkt_ptr, TX_OUT_STRM); /* 更新队列长度 */ pkt_queue_size--; /* 更新统计量 */ op_stat_write(tx_stat_handle, 1.0); }这段代码里，op_subq_pk_access()从队列头部取包，op_pk_send()把包发到指定的包流。TX_OUT_STRM是包流索引，在进程模型的接口里定义。op_stat_write()写统计量，第一个参数是统计句柄，第二个参数是值。统计句柄在进程模型初始化时用op_stat_reg()注册。
提示：队列用
op_subq_*系列函数管理，不要用普通的链表。OPNET 的队列支持优先级和子队列，TDMA 里如果有多类业务，可以用子队列区分。
3.3 网络模型里节点数量、时隙分配和业务配置
网络模型里摆节点，每个节点用同一个节点模型。节点数量决定了时隙数，因为slot_count = total_nodes。如果节点数超过时隙数，需要复用，但第九章的代码通常假设一对一分配。
业务配置在source模块里做。常见的业务模型是泊松到达，包大小固定或指数分布。TDMA 的吞吐量对业务到达率很敏感，到达率太高会导致队列溢出，太低则时隙利用率不足。我一般先用固定包大小（比如 1024 字节）和固定到达间隔跑通，再换成随机分布。
网络模型的仿真配置里，duration设 10 秒到 100 秒，seed设一个固定值方便复现。统计量采集要打开mac模块的吞吐量、时延和队列长度。OPNET 的结果查看器里可以画时间平均曲线，如果吞吐量曲线在 0 附近波动，说明时隙分配有问题。
/* 网络模型初始化代码：设置节点位置和业务参数 */ /* 这段代码通常写在网络模型的 init 函数里 */ int i; for (i = 0; i < NUM_NODES; i++) { /* 设置节点位置，圆形分布 */ double angle = 2 * 3.1415926 * i / NUM_NODES; op_ima_obj_attr_set(node_obj[i], "x position", 100 * cos(angle)); op_ima_obj_attr_set(node_obj[i], "y position", 100 * sin(angle)); /* 设置业务到达率 */ op_ima_obj_attr_set(node_obj[i], "source interarrival", 0.1); }这段代码用op_ima_obj_attr_set()设置对象属性。node_obj[i]是节点对象 ID，在创建节点时获取。x position和y position是节点模型的属性名，不同版本可能略有差异。业务到达率设 0.1 秒一个包，对应 10 包/秒，如果时隙时长是 1ms，每个时隙能发一个包，那么 10 个节点总容量是 10000 包/秒，远大于业务量，不会拥塞。
4. 跑通之后怎么验证：统计量、曲线和三个必调参数
4.1 吞吐量、时延和时隙利用率：看哪几个统计量
仿真跑完后，在 OPNET 的结果查看器里看三个统计量：MAC Throughput、MAC Delay和Slot Utilization。吞吐量是单位时间成功发送的比特数，时延是包从到达队列到发送完成的时间，时隙利用率是有效发送时间占总时隙时间的比例。
吞吐量曲线应该是阶梯状上升然后稳定，如果一直上升不收敛，说明队列在累积，业务到达率超过了 TDMA 的容量。时延曲线在稳定状态下应该是平的，如果抖动很大，说明时隙同步有问题。时隙利用率在 0.7 到 0.9 之间比较健康，太低浪费带宽，太高说明接近饱和。
我一般会同时看全局统计量和单个节点的统计量。全局吞吐量是所有节点之和，单节点吞吐量应该大致相等，因为每个节点分到的时隙数一样。如果某个节点的吞吐量明显偏低，检查它的my_slot_index是不是和其他节点冲突了。
4.2 帧周期、时隙数和保护间隔：三个参数的调整边界
帧周期frame_duration的调整边界是：不能小于最大包传输时间，否则一个时隙发不完一个包。假设包长 1024 字节，信道速率 1Mbps，传输时间是 8.192ms，那么帧周期至少 8.192ms 乘以时隙数。如果时隙数是 10，帧周期至少 81.92ms。实际设的时候留 20% 余量。
时隙数slot_count的调整边界是：不能超过帧周期除以最小保护间隔。保护间隔最小可以取 10us，如果帧周期 10ms，最多 1000 个时隙。但时隙数太多会导致每个时隙太短，包发不完。一般时隙数等于节点数，节点数不超过 50 个。
保护间隔guard_time的调整边界是：不能小于仿真步长的两倍。OPNET 的仿真步长默认是 1us，保护间隔至少 2us。实际设 100us 到 1ms 比较安全。保护间隔太大浪费带宽，太小会导致时隙重叠，表现为丢包率上升。
/* 参数调整示例：根据包长和信道速率计算最小帧周期 */ double pkt_bits = 1024 * 8; /* 包长，比特 */ double channel_rate = 1e6; /* 信道速率，bps */ double tx_time = pkt_bits / channel_rate; /* 传输时间，秒 */ double min_frame = tx_time * slot_count + guard_time * slot_count; /* 如果 min_frame 大于当前 frame_duration，需要调大 */ if (min_frame > frame.frame_duration) { frame.frame_duration = min_frame * 1.2; /* 留 20% 余量 */ frame.slot_duration = frame.frame_duration / frame.slot_count; }这段代码在初始化时调用，自动计算最小帧周期。tx_time是单个包的传输时间，min_frame是所有时隙传输时间加保护间隔之和。如果计算出的最小帧周期大于当前设置，就自动调大并重新计算时隙时长。参数1.2是余量系数，可以根据实际误码率调整。
4.3 用结果查看器做曲线对比：怎么判断仿真结果可信
结果查看器里可以叠加多条曲线，比如不同帧周期下的吞吐量对比。判断仿真结果可信的方法有三个：一是曲线收敛，跑的时间足够长；二是统计量之间自洽，比如吞吐量乘以时延约等于队列长度；三是和理论值对比，TDMA 的理论最大吞吐量是信道速率乘以时隙利用率。
我一般会跑三组参数：一组保守（帧周期大、保护间隔大），一组激进（帧周期小、保护间隔小），一组中间值。对比三组的吞吐量和丢包率，如果激进组的丢包率明显上升，说明参数设到了边界。保守组的吞吐量如果和中间组差不多，说明中间组已经够用了。
注意：OPNET 的仿真结果是离散事件驱动的，每次跑的随机种子不同结果会有波动。做对比实验时固定种子，或者跑多次取平均。结果查看器里的
confidence interval功能可以自动算置信区间。
5. 避坑与排查：第九章代码跑不通的五个典型原因
5.1 编译报错找不到头文件：包含路径和宏定义
现象：编译进程模型时报错cannot open source file "tdma_frame.h"。原因：头文件没有放到 OPNET 的包含路径里，或者进程模型的compilation flags里没有加-I选项。解决：把tdma_frame.h放到工程目录的include文件夹下，在进程模型的属性里找到C compilation flags，加上-I../include。如果还不行，检查 OPNET 的环境变量OPNET_INCLUDE有没有包含工程路径。
5.2 仿真跑起来但吞吐量为零：时隙中断没触发
现象：仿真能跑完，但吞吐量统计一直是 0。原因：时隙中断没有正确调度，或者my_slot_index和current_slot永远不相等。解决：在tdma_slot_handler()里加op_prg_odb_print_major()打印current_slot和my_slot_index，看中断有没有触发。如果中断没触发，检查op_intrpt_schedule_self()的调用位置，确保它在进程模型初始化时就被调用了一次。
5.3 时隙重叠导致丢包：保护间隔和仿真步长不匹配
现象：丢包率很高，但吞吐量曲线看起来正常。原因：保护间隔小于仿真步长，两个节点的时隙在仿真时间上重叠了。解决：把guard_time调到至少 10 倍仿真步长。OPNET 的仿真步长在仿真配置里设，默认 1us，保护间隔至少 10us。如果还丢包，检查tx和rx模块的channel rate是否一致，速率不匹配会导致包传输时间计算错误。
5.4 队列溢出但没报错：队列长度和统计量没打开
现象：仿真跑完后发现丢包率很高，但日志里没有队列溢出警告。原因：队列长度设得太小，或者统计量没打开。解决：在进程模型里把队列长度设大一点，比如 1000 个包。在mac模块的统计量配置里打开queue length和queue overflow。如果队列溢出统计是 0 但丢包率还是高，检查sink模块有没有正确接收包，可能是包流连接错了。
5.5 结果曲线不收敛：仿真时间太短或种子没固定
现象：吞吐量曲线一直在上升，没有稳定平台。原因：仿真时间太短，队列还没达到稳态；或者随机种子每次不同，结果波动大。解决：把仿真时间延长到至少 100 秒，固定随机种子。在仿真配置的random seed里设一个固定值，比如 42。如果曲线还是不收敛，检查业务到达率是不是超过了 TDMA 容量，调低到达率再跑。
6. 进阶技巧：用 OPNET 的调试器和自定义统计量定位偶发丢包
偶发丢包是最难查的问题，因为仿真跑一次可能不复现。我一般用 OPNET 的调试器（Debugger）加自定义统计量来定位。调试器可以在进程模型的状态迁移上打断点，当current_slot == my_slot_index时暂停，看队列里有没有包、包的目的地址对不对。
自定义统计量的做法是在进程模型里注册一个op_stat_reg()，然后在丢包的地方写op_stat_write()。比如在tdma_slot_handler()里判断如果pkt_queue_size > 0但current_slot != my_slot_index，就写一个slot_miss统计量。跑完后看slot_miss的时间分布，如果集中在某几个时刻，说明那几个时刻有时隙冲突。
/* 自定义统计量：记录时隙错过的次数 */ static Stathandle slot_miss_handle; /* 初始化时注册 */ slot_miss_handle = op_stat_reg("TDMA Slot Miss", OPC_STAT_INDEX_NONE, OPC_STAT_LOCAL); /* 在时隙处理函数里写统计量 */ if (pkt_queue_size > 0 && current_slot != frame.my_slot_index) { op_stat_write(slot_miss_handle, 1.0); }这段代码注册了一个本地统计量TDMA Slot Miss，每次队列有包但时隙不匹配时写 1。跑完后在结果查看器里看这个统计量的时间序列，如果某个时间段密集出现，说明那段时间时隙分配有问题。参数OPC_STAT_LOCAL表示统计量只在当前节点有效，如果要全局统计用OPC_STAT_GLOBAL。
另一个技巧是用 OPNET 的op_prg_odb_print_major()在关键路径打日志，但不要打太多，否则仿真会变慢。我一般只在状态迁移和包发送的地方打，日志格式是时间 + 节点ID + 事件类型。跑完后用脚本分析日志，找出丢包前后的上下文。
提示：OPNET 的调试器支持条件断点，在断点属性里写
current_slot == my_slot_index && pkt_queue_size > 0，这样只在真正要发送的时候暂停，不会频繁中断。
我自己的习惯是：每次改完参数先跑 10 秒的短仿真看趋势，趋势对了再跑 100 秒的完整仿真。短仿真用调试器，长仿真用统计量。这样既能快速定位问题，又不会因为调试器拖慢长仿真。还有一点，第九章的代码通常只实现了基本 TDMA，没有做时隙动态分配。如果业务量变化大，固定时隙分配会导致低负载时浪费带宽。进阶做法是加一个控制信道，节点在控制时隙里发预约请求，主节点动态分配数据时隙。这个改动比较大，建议先把固定分配跑通再动。
希望帮到你。
本文还有配套的精品资源，点击获取
