Academic & Tech

AI 的做法终究与人类不同

从同余到代数的小巧思

从高阶不透明性与二阶状态估计出发，探索一般 Order-2 CSO 的定义、真实路径及秘密估计族。

Discrete Event Systems 中的 Opacity：基本概念、Language-Based 与 State-Based 定义，以及 Verification 和 Enforcement 方法。