#boolean
2021-1-4 12:38
我们展示了如何在平面上构造互锁的简单多边形集合，这些平面在移除某些组合后会散开。如果没有子集可以任意地与其余部分分开，则内部不相交的简单平面多边形将互锁，将每个多边形移动为刚性 移除这些多边形的子集S可能会使它们互锁或使这些多边形自由，从而允许它们分离。明确释放的移除集满足单调性：如果S⊆S'并移除S释放了多边形，那......
2020-8-29 16:19
在分析网络安全事件时，检测算法根据布尔表达式评估属性，以确定事件是否属于类。本文介绍如何将布尔表达式转换为有限状态机，以实现更简单、高性能的计算。
开源项目CyberProbe就是这种实现的特色。在Python中实现了规则到有限状态机(FSM)的转换和FSM形式规则的应用。CyberProbe支持使用数百万条规则，这......