《表4 两类财经舆情检测规则》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于模型检测的财经舆情可信度研究》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

首先，将决策树构建的检测路径简化归并为检测规则（表4），并分析规则的合理性；再针对不同舆情类别进行数据库建模，根据检测规则合并简化相同的转移状态从而降低模型复杂度，得到两类待检测模型（图5为违规处罚类财经舆情待检测模型）。最后，将规则CTL形式化，以Kripke结构表示待检测模型，输入模型检测器NuSMV，执行模型检测，输出检测结果（表5为违规处罚类财经舆情模型检测结果），对于不可信舆情将给出反例路径。