- 博客(15)
- 收藏
- 关注
原创 编译原理:LR 算法族详解教程+案例演示
详细介绍了LR算法族,包括LR(0), SLR(1), LR(1), LALR(1) 的原理、流程和示例
2026-04-25 11:54:34
342
原创 C++ final 关键字完全指南
final是 C++11 引入的一个虚函数控制符修饰类:禁止其他类继承该类。修饰虚函数:禁止派生类重写(override)该虚函数。final的出现让 C++ 的继承体系更加可控,既能在设计层面表达明确意图,又能让编译器进行额外的优化与错误检查。本文将从基础用法、典型场景、实战案例到注意事项,全方位讲解final关键字。用法语法示例作用final 类禁止其他类继承 X。final 虚函数禁止派生类重写 f。组合使用表示 f 重写了基类虚函数,且自身是最终的。何时使用final?
2026-04-23 15:21:03
397
原创 C++ 多态编程与纯虚函数详解
概念关键字/语法作用虚函数virtual支持动态多态,派生类可重写纯虚函数= 0定义接口,使类成为抽象类,强制派生类实现抽象类包含纯虚函数的类不能实例化,用作基类虚析构函数virtual ~类名()确保通过基类指针删除派生类对象时正确释放资源override显式声明重写,让编译器检查final禁止重写或禁止继承多态的核心优势代码通用性强:基类指针可以操作任意派生类对象。扩展性好:新增派生类无需修改使用基类指针的代码。接口与实现分离:纯虚函数定义标准,派生类提供具体实现。
2026-04-23 14:29:53
275
原创 Bridging Direct and Indirect Data-Driven Control Formulations via Regularizations and Relaxations总结
该论文通过多目标优化与凸松弛直接方法中的正则化项实质上在执行隐式的系统辨识。这一框架不仅解释了直接方法在非线性系统中的有效性,还为设计兼具性能与鲁棒性的数据驱动控制器提供了理论工具。
2026-02-02 17:19:19
582
原创 凸优化核心基本概念
目标函数和所有约束条件均为线性函数的优化问题,是凸优化中最简单、应用最广泛的类型(如资源分配、生产计划等)。目标函数为二次函数,约束条件仍为线性函数的优化问题(适用于含二次成本的场景,如最小二乘、控制问题)。设函数fRn→RfRn→R,其定义域domf⊆Rndomf⊆Rn为凸集(关键前提)。若对任意x1x2∈domfx1x2∈domf和任意t∈01t∈01ftx11−tx2≤tfx11。
2026-01-15 04:58:06
1005
原创 凸优化中的 Slater 条件、KKT 条件、Log-barrier 函数、对偶问题与中心路径
对于障碍问题,固定μ0\mu > 0μ0,记其最优解为xμx(\mu)xμ,则所有μ0\mu>0μ0对应的xμx(\mu)xμCxμ∣μ0Cxμ∣μ0称为中心路径。对偶问题是凸优化的理论基础,Slater 条件是强对偶性的关键保障,KKT 条件是最优解的核心判别准则;Log-barrier 函数和中心路径则是内点法的核心工具,通过“惩罚约束→构造无约束问题→跟踪中心路径”的思路,实现凸优化问题的数值求解。
2026-01-15 04:26:37
621
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人
RSS订阅