基于状态机研究安全渡河问题  

A Study on the Problem of Crossing a River Safely Based on State Machine

作　　者：龚美霞[1] 丁宁[1] 

机构地区：[1]南京信息职业技术学院电子信息学院,南京210046

出　　处：《信息化研究》2012年第6期18-20,25,共4页INFORMATIZATION RESEARCH

摘　　要：文章基于状态机来研究两个经典的安全渡河问题。首先,对问题进行细致的分析,归纳出渡河的物质条件和安全要求;接着,根据问题的内涵,精心设计状态的描述参数;然后,基于状态参数,将问题的条件和要求,转换为状态约束表达式、变迁约束表达式,分别用来确定状态图中可能的状态点、可能的变迁边;最后,绘制状态图,将原问题建模为图论问题——求连通图中两顶点之间的最短路径。This paper demonstrates the steps and methods of analyzing, modeling and resolving two problems of crossing a river safely based on state machine. The parameters describe the states directly, and make the guard conditions simple and clear. In the process of modeling, we study the vertexes and the edges by two steps, and distinguish the conditions for states and the ones for transmissions.All these make it convenient tomodel the similar problems by computers.

关 键 词：安全渡河问题 状态机 最短路径 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]