辛未羊的网络日志

十年

距离网站第一篇文章已经整整十年了，十周年是一个伟大的里程碑。当年一起写日志的网友很多已经没有继续坚持，而我的网站一直保持着更新，我为此感到非常自豪。

概念引入

稳定性是控制理论的核心概念。最近通过阅读Applied Nonlinear Control和Nonlinear Systems两本书系统学习Lyapunov稳定性理论，想粗读这部分内容可参考这个材料。本文介绍比较少见的输入到状态稳定性（input-to-state stability）。

自治系统

许多动态系统的物理规律可以用常微分方程描述。对于一般的（非线性时变）系统，微分方程为如下形式：

今天是立春，是我认为最应该作为一年之始的日子。前几天天气特别暖和，甚至可以穿着单衣跑步。跑步时在操场边的草地上欣喜地看到了今年的第一抹新绿，春天悄悄地来了。

2022年暑假，北海铁三角一起去贵州和湖南玩了一圈，当时因为懒没有写游记。前几天去柳州我都扯出了篇文章，于是觉得去年暑假的旅行也应该记录下来。

今年寒假本想自驾去海南，可惜铁三角之一的那位小伙比香港记者跑得还快，一放假就回家了，没有凑足人数。但我很想出去散心，于是1月6日上午临时决定一个人去柳州转转，收拾好东西后，中午就出发了。

我要在大数组中匹配特定的连续数字序列，数组元素是16位整型数据，绝大部分序列的长度为2或3。很显然，这和字符串匹配算法很类似，只是元素类型不同。

安全性定义

选择明文攻击（Chosen-Plaintext Attack）指敌手能够选择不同的明文作为输入提供给加密算法，得到相应的密文，以此确定其他密文对应的明文，从而破解方案。

证明过程

归约证明（proof by reduction）是现代密码学中证明方案安全性的重要方法，甚至是一些教材中使用的唯一方法。它的思路是，假设某个问题难以解决，然后证明基于该问题的构造方法在该假设下是安全的。

起因

因为要处理天城文，最近学习了该文字的基础知识，了解了计算机如何存储和显示字符。查阅资料时用到了英语，处理文本用到了Python语言，我又切身体会到了语言（包括自然语言和编程语言）的重要性。