舒婷;孙寿谦;王海宁;徐伟强 EFSM模型中可执行状态识别序列的自适应生成算法。 （中文。英文摘要） Zbl 1240.68208号 浙江大学工程科学。 44，No.11，2183-2187，2213（2010）. 摘要：在扩展有限状态机（EFSM）模型中指定的协议一致性测试系统中，引入了一种自适应生成可执行状态标识序列（ESIS）的算法，以提高状态标识序列的计算效率。基于可执行性分析树（EAT）的执行性分析方法可以确保新算法生成的ESIS的可执行性。引入过渡区分度和节点收敛度来计算EAT当前节点的权重，可以用来评估当前搜索方向的正确性。使用基于节点权重函数的EAT搜索策略，根据最新搜索节点的权重自适应选择新子生成树的根节点。这样，自动生成ESIS的问题被表述为EAT中未探测节点对最大权重节点的自适应探索。实验结果表明，与基于面包优先搜索的可执行性分析算法相比，该方法需要探索更少的状态配置。 MSC公司： 68T05型 人工智能中的学习和自适应系统 68兰特 计算机科学中的图论（包括图形绘制） 关键词：协议一致性测试;扩展有限状态机;状态标识 PDF格式BibTeX公司 XML格式引用 \textit{T.Shu}等，浙江大学工程科学学院。44，第11号，2183--21872213（2010；Zbl 1240.68208） 全文： 内政部