今天闲来无事，想着有什么地方值得去打卡，因为最近看的韩国相关历史剧（MBC共和国系列）比较多，就想到了这个临时政府旧址。 很不起眼的一个小牌子 旧址位于黄浦区一大会址附近，周边很繁华。去之前已经听说自中韩建交之后，基本每任总统都会来此参观。来之后才意识到这里同样吸引了很多韩国游客。除了几辆中巴上下来的韩国老头老太旅游团，还有不少以一家三口为单位前来参观的（另外也有不...

一​个多星期之前在朋友推荐下，花了两个晚上看完这部视觉小说。看完感到久久难以释怀，便抽空写下这篇随笔。 “ZATO”这个词本身就带有强烈的历史与压迫感。在苏联时期，ZATO（Закрытое административно-территориальное образование）指的是“封闭行政区”——常常围绕某项军事、科研或高度机密项目而设立。这些地方对外严格保密、进出受控，但区内物质生...

研究背景 控制不变集是约束控制系统中用于刻画“在适当控制作用下可长期保持安全”的关键概念。对于受状态与输入约束的系统，若某状态集合具有这样的性质：从集合内任一点出发，总能找到满足约束的控制输入使系统状态在下一时刻仍留在该集合中，则称其为控制不变集。它从集合层面刻画了在约束条件下可持续维持可行性的状态范围，是分析系统安全域、可达域和可维持域（viability kernel）的基础工具；在模...