公开(公告)号：US20130212054A1

公开(公告)日：2013-08-15

申请号：US13768541

申请日：2013-02-15

Applicant: The MathWorks, Inc.

Inventor： Siddhartha Shankar ,  Srinath Avadhanula ,  Vijaya Raghavan ,  Ebrahim Mehran Mestchian ,  Yao Ren

IPC: G06N5/02

CPC classification number: G06N5/02 ,  G06F8/10 ,  G06F9/4498

Abstract: A computing device may include a memory to store data that describes a state machine model that includes destination states and source states. The source states may be associated with conditions upon which the state machine model is to transition from a corresponding source state to one of the destination states. The device may also include a processor configured to generate data to describe a state diagram from the data that describes the state machine model. The state diagram may include the graphical symbols and lines. Each of the graphical symbols may represent one of the source states or one of the destination states. The lines may represent transitions and include one or more vertical lines to represent transitions to one of the destination states from more than one of the source states. The graphical symbol may represent the one of the destination states is not adjacent to the graphical symbols to represent the more than one of the source states. The processor may arrange graphical symbols in a first row, arrange lines, and arrange vertical lines in a second row that does not overlap with the first row.

Abstract translation: 计算设备可以包括存储器，用于存储描述包括目的地状态和源状态的状态机模型的数据。 源状态可以与状态机模型从相应源状态转换到目的地状态之一的状态相关联。 该设备还可以包括被配置为从描述状态机模型的数据生成数据以描述状态图的处理器。 状态图可以包括图形符号和线。 每个图形符号可以表示源状态之一或目的地状态之一。 行可以表示转换，并且包括一个或多个垂直线，以表示从多于一个源状态到目的地状态之一的转换。 图形符号可以表示目的地状态之一不与图形符号相邻以表示多于一个源状态。 处理器可以在第一行中布置图形符号，布置线，并且在不与第一行重叠的第二行中排列垂直线。