21、视频传感器网络的虚拟化与编程支持及人类活动模拟

视频传感器网络的虚拟化与编程支持及人类活动模拟

1. 视频传感器网络的性能与编程基础

在重负载且警报消息泛滥的情况下，我们经历了长达 300 毫秒的排队延迟。这为我们提供了一个重要指标，即单个 SXE 在无法继续胜任无线传感任务之前所能承受的最大工作量。一般来说，一秒内的响应检测是合理的，因为攻击者不太可能在这么短的时间内逃离现场。

为了理解无线安全服务示例，需要了解 SNBENCH 编程的关键概念和独特结构。SNAFU 语言是 Sensorium 任务执行计划（STEP）语言的高级兄弟语言，它以函数式风格呈现，可编译为以图为中心的 STEP 语言进行执行。在 SNAFU 中，函数对应 STEP 图的计算节点，而终端则代表传达传感器、执行器和常量值的节点。

SNAFU 提供符号赋值和函数定义，但禁止通过引用进行显式递归，而是提供了名为触发器的迭代结构。触发器有两个参数：谓词和响应子句。谓词会被反复评估，直到其值为真，此时响应子句会被评估并作为触发器表达式的结果返回。以下是几种不同类型的触发器：
- 基本触发器 ：
- Trigger(P,Q) ：P 为 AP 入侵检测，Q 为关闭 AP 的表达式。
- While - Trigger(P,Q) ：每次 P 为真时评估 Q，当 P 最终为假时返回 Q 的最后一个值（若 P 初始为假则返回 NIL）。
- 持久触发器 ：
- LevelTrigger ：无限期（或在指定时间或条件终止）评估谓词 P，