张勇平, 张静远, 尹文进



有限状态机在鱼雷搜索策略程序设计中的应用

张勇平, 张静远, 尹文进

(海军工程大学 兵器工程系, 湖北 武汉, 430033)

为了提高鱼雷搜索策略程序设计效率和程序可读性, 方便修改逻辑和调试程序, 提出了基于有限状态机的鱼雷搜索策略程序设计方案; 通过分析鱼雷在搜索、跟踪和识别目标等不同自导阶段的自导逻辑关系, 提出了自导状态、事件、活动的确定原则并建立了相应的模型; 结合有限状态机理论, 建立了自导逻辑的事件状态变迁关系图, 提出了基于有限状态机的程序实现方案。通过仿真, 对所建模型和设计方案进行了仿真验证。仿真结果表明, 状态机程序运行稳定, 调试和跟踪方便, 尤其为增加状态、更改逻辑和调试程序提供了便利。

鱼雷; 自导逻辑; 有限状态机; 搜索策略; 程序设计

0 引言

随着现代鱼雷智能化的不断提高, 其复杂的自导逻辑和搜索策略对自导程序的设计提出了更高的要求。采用传统的程序设计方法需要设置众多的标志位和多层嵌套的条件判断语句, 并且标志位的更改和判断经常在不同嵌套层的判断语句中。这种程序设计思想不仅使代码冗长、程序可读性和可移植性降低, 而且调试困难, 不便于后期更改逻辑。状态机(state machine, SM)不仅可以使程序中多事件之间的逻辑关系变得简洁明了, 同时它强大的错误处理能力、用户选择测试、条件执行等功能使多事件间的逻辑关系处理变得更为简单。……