《表4 干式抛尾试验结果：基于模型检验的需求不一致研究》

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

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

《基于模型检验的需求不一致研究》

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

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

对以上自然语言使用2.1节中的相似度算法进行分析，得到描述上行和下行需求描述的相似度约为0.95，说明两个需求描述存在重叠的地方，所以定位到这两个需求描述的位置，以此位置开始进行建模分析，避免遇到大规模的需求描述无法快速找到潜在不一致需求的情况。发现具有相似性需求描述后，根据2.2节中的分解规范提取自动机模型，其分解过程见表4。