PLC 中查找最大最小值的算法优化

在电气自动化控制中，数据采集模块（如模拟量输入）会实时生成大量历史数据。系统往往需要从这些数据中快速提取峰值（最大值）或谷值（最小值），用于报警判断或过程统计。传统的排序算法会占用大量 PLC 扫描周期，导致通讯延迟或控制滞后。本文直接讲解如何通过单次遍历算法替代排序，并给出详细的实施步骤、代码实现及边界处理方案，确保在不增加硬件成本的前提下提升系统响应速度。

核心原理与资源分析

PLC 的 CPU 在一个扫描周期内需要完成输入采样、程序执行和输出刷新。如果数据处理耗时过长，扫描周期将延长，直接影响闭环控制的稳定性。查找极值的本质是在一个数组中找到特定元素。

算法复杂度对比

盲目使用排序算法是常见的误区。以下表格展示了不同策略对扫描周期的影响：

对于仅需最大值或最小值的场景，单次遍历是最优解。数学上可以证明，要在长度为 $N$ 的数据序列中寻找极值，至少需要检查 $N-1$ 次关系。因此，时间复杂度无法低于 $O(N)$。

标准遍历流程步骤

请按照以下步骤在 PLC 编程软件中构建逻辑。假设数据存储在连续的区域 Array[0] 到 Array[N-1]。

1. 定义 存储当前极值的寄存器。
   创建一个浮点型变量 Current_Max 和一个整型变量 Index。建议同时记录位置 Pos_Index，以便后续追溯信号源。

2. 设置 初始基准值。
   在程序启动阶段或复位时，强制赋值 Current_Max 为数组的第一个元素 Array[0]。切勿将其初始化为 0 或负无穷大，除非业务明确允许，否则真实数据可能比初始值更小或更大，导致逻辑错误。

3. 建立 循环计数机制。
   使用 For 循环结构或状态机配合计数器 Counter。设置计数器上限为 N-1（因为第 0 个元素已作为基准）。

4. 执行 比较指令。
   读取计数器指向的下一个元素 Val = Array[Counter + 1]。
   比较条件：如果 Val > Current_Max，则进入更新分支。
   数学表达为：若 $Val_{i} > Max_{current}$，则 $Max_{current} = Val_{i}$。

5. 写入 更新结果。
   在比较成立时，覆盖 旧值。同时将当前的计数器值存入 Best_Pos，标记该极值出现的位置。

6. 递增 计数器。
   使计数器加 1 (Counter := Counter + 1)，准备处理下一组数据。

7. 判断 循环结束。
   当 Counter 大于等于 N-1 时，终止 当前查找过程。

SCL 结构化文本实现示例

以下是针对 Siemens 或其他支持结构化文本（SCL/ST）的 PLC 的具体代码片段。这段代码展示了如何在一次调用中完成查找，避免了梯形图中过多的触点连接。

FUNCTION FindMinMax : INT
VAR_INPUT
    DataArray : ARRAY[0..99] OF LREAL; // 定义输入数组，最大支持 100 个点
    ArraySize : INT := 100;            // 实际有效数据个数
END_VAR
VAR_OUTPUT
    FoundMax : LREAL;                  // 输出的最大值
    FoundMin : LREAL;                  // 输出的最小值
    MaxPos   : INT;                    // 最大值位置索引
    MinPos   : INT;                    // 最小值位置索引
END_VAR
VAR
    i : INT;
    tempMax : LREAL;
    tempMin : LREAL;
END_VAR

// 1. 安全性检查，防止数组越界
IF ArraySize <= 0 OR ArraySize > 100 THEN
    FindMinMax := -1; // 返回错误码
    RETURN;
END_IF;

// 2. 初始化基准值
tempMax := DataArray[0];
tempMin := DataArray[0];
MaxPos := 0;
MinPos := 0;

// 3. 单次遍历循环
FOR i := 1 TO ArraySize - 1 DO
    // 查找最大值
    IF DataArray[i] > tempMax THEN
        tempMax := DataArray[i];
        MaxPos := i;
    END_IF;

    // 查找最小值
    IF DataArray[i] < tempMin THEN
        tempMin := DataArray[i];
        MinPos := i;
    END_IF;
END_FOR;

// 4. 输出结果
FoundMax := tempMax;
FoundMin := tempMin;
FindMinMax := 0; // 返回成功码

注意：上述代码中使用了两个独立的 IF 判断来同时获取最大值和最小值。这比分别调用两次函数效率高，且只遍历一遍内存。务必保证 DataArray 的数据类型一致，混合整数与浮点数比较会导致隐式转换错误。

边界情况与异常处理

单纯的核心逻辑不够健壮，工业现场环境复杂，必须考虑以下特殊情况并提前预防。

1. 处理无效数据
   传感器故障常导致读数跳变至极端值（如 -99999 或 NaN）。在比较前，必须过滤异常范围。

   设定有效的工程量程范围，例如电压信号对应 $0 \sim 10V$。
   修改比较逻辑：仅当 In_Range(Val) 为真时才参与比较。

   伪代码如下：

   IF (Val >= Min_Valid) AND (Val <= Max_Valid) THEN
       // 参与最大值最小值比较
   ELSE
       // 跳过该数据，保持原有极值不变
   END_IF

2. 浮点数精度问题
   在使用浮点数（LREAL/DINT）进行比较时，避免直接使用 = 判断相等。虽然极值查找通常只用 > 和 <，但在重置统计窗口时需小心。
   推荐使用公差比较法：
   $$ |A - B| < \epsilon $$
   其中 $\epsilon$ 为极小的阈值（如 0.0001）。如果不需要判断完全相等，此条可忽略，但需注意浮点数运算误差累积。

3. 周期性清零
   极值通常需要分时段统计（如每分钟的最大电流）。需建立 定时中断触发器。
   每当定时时间到达（如每 60 秒），重置 Current_Max 为新的基准，而不是保留历史累计的最大值，否则数据失去时效性意义。

内存映射与寻址优化

当数据源位于不同的 PLC 区域时，访问方式会影响速度。

1. 局部 DB 优于全局 DB
   优先分配 静态内存块（Static Memory）给函数内部变量。减少访问全局数据块（Global DB）的间接寻址开销。

2. 数组连续存储
   确保 数组在内存中是连续分配的。如果数据通过通讯分散读取，先在本地缓冲区进行整理，再统一计算，避免每次计算都发起外部读写请求。

下表总结了不同数据类型对存储空间的占用，合理规划有助于减小缓存压力：

禁止 使用 String 类型参与数值比较运算。如果原始数据是字符串格式的数字，必须先用 CONV 系列指令转换为数值型，再进行比较，否则 ASCII 码比较逻辑会导致数值大小错乱（例如 "10" 小于 "2"）。

调试与性能验证方法

逻辑编写完成后，必须验证其是否真正优化了性能，而非仅仅在功能上正确。

1. 监控扫描时间
   启用 PLC 诊断缓冲区中的扫描周期计时器。
   在运行查找算法的前后分别插入时间戳寄存器 T_Start 和 T_End。
   计算差值：$T_{diff} = T_{End} - T_{Start}$。
   观察该差值是否稳定在微秒级范围内。如果波动超过 1ms，说明存在阻塞操作。

2. 断言检查
   添加 额外的校验逻辑。
   例如：验证 $FoundMax \ge FoundMin$。
   如果发现最大值小于最小值，立即触发 报警标志位，提示逻辑错误或传感器断电。

3. 满载测试
   将 ArraySize 设置为设计上限（如 1000 点）。
   连续运行 程序超过 1 小时，观察是否有内存泄漏或溢出风险。
   重点检查计数器是否意外回绕。

4. 可视化趋势
   在 HMI 上位机软件中，将 FoundMax、FoundMin 和 Now_Value 叠加显示。
   确认 新数值出现时，极值曲线能即时跟随更新，无延迟现象。如果 HMI 刷新明显滞后于实际物理变化，说明计算周期过长，需进一步优化代码或降低采样频率。

高级技巧：滑动窗口极值

在某些高端应用（如振动监测）中，只需要最近 $K$ 个数据的极值，而不是所有历史数据。此时可以使用环形缓冲区技术。

1. 定义 固定大小的环形队列（Ring Buffer）。
   维护一个写入指针 Write_Ptr 和一个读取起始指针 Read_Start。

2. 移动 旧数据。
   新数据到来时，覆盖最旧的数据，指针自动回绕（取模运算）。
   公式：$Next\_Ptr = (Current\_Ptr + 1) \% Window\_Size$。

3. 按需计算。
   仅在接收到有效触发信号时，才遍历当前窗口内的 $K$ 个数据进行比较。
   若无新数据到来，不执行任何计算，极大节省 CPU 资源。

此方法将动态数组变为静态数组，消除了频繁的内存申请与释放操作，适用于高频实时控制回路。

通过遵循上述步骤，你可以构建出一个既快速又稳定的极值查找程序。关键在于摒弃复杂的排序思维，坚持单次线性扫描，并严密处理数据的有效性与边界条件。