温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本发明提供了一种WSN逻辑型感知需求的验证方法，包括如下步骤：步骤S10、将WSN的传感器调度策略描述为感知格局变迁系统；步骤S20、将逻辑型感知需求描述为感知时态逻辑公式；步骤S30、将感知格局变迁系统转化为UPPAAL的系统建模语言，将...
该专利属于福建工程学院所有，仅供学习研究参考，未经过福建工程学院授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。