摘要
本发明属于网络监控技术领域,公开了一种基于PPTL3的微信群在线监控方法及系统,首先使用网络爬虫获取微信群的文本,然后使用PPTL3来描述特定的性质并生成对应的监控器,之后使用文本分类技术和关键词过滤获取性质相关的文本,进而判定性质对应的原子命题的真假,最后将原子命题组合成状态子公式输入到监控器中,如果到达TRUE节点,表明性质成立;如果到达FALSE节点,表明性质不成立;如果到达其他节点,说明当前获取到的信息无法判定性质是否成立,需要继续运行。本发明不需要对微信系统进行建模,从而避免传统模型检测方法的状态空间爆炸的问题,并且通过结合多种技术,完成了对微信群的在线监控。
- 单位