中科微点-全球专利检索

  1. Login
  2. Sign Up

Search Results

7 records (took 0.011 seconds)

    UNIFIED STATE TRANSITION TABLE DESCRIBING A STATE MACHINE MODEL
    2.
    发明申请
    UNIFIED STATE TRANSITION TABLE DESCRIBING A STATE MACHINE MODEL 有权
    统一状态转换表描述状态机模型

    公开(公告)号：US20130290925A1

    公开(公告)日：2013-10-31

    申请号：US13768565

    申请日：2013-02-15

    Applicant: The MathWorks, Inc.

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

    IPC: G06F9/44

    CPC classification number: G06F8/00 ,  G06F8/10 ,  G06F8/22 ,  G06F8/313 ,  G06F8/35 ,  G06F9/4496 ,  G06F9/4498

    Abstract: A computer-readable memory device may include instructions to store data describing a state machine model including source states and destination states. The device may also include instructions to store, for each of the source states, a condition field identifying a condition upon which, when satisfied, the state machine model transitions from the source state to one of the destination states. The device may also include instructions to store, for each of source states, a destination field identifying the one of the destination states. Each of at least two of the source states may identify an identical destination state in the corresponding destination field. Each of at least two of the source states may identify an identical condition in the corresponding condition field.

    Abstract translation: 计算机可读存储器设备可以包括存储描述包括源状态和目的地状态的状态机模型的数据的指令。 该设备还可以包括用于为每个源状态存储一个条件字段的指令，该条件字段标识状态，当满足状态机模型从源状态转换到目的地状态之一时。 该设备还可以包括用于为每个源状态存储标识目的地状态之一的目的地字段的指令。 至少两个源状态中的每一个可以在相应的目的地字段中标识相同的目的地状态。 至少两个源状态中的每一个可以在相应的条件字段中标识相同的条件。

    Generating a state diagram
    4.
    发明授权
    Generating a state diagram 有权

    公开(公告)号：US10360502B2

    公开(公告)日：2019-07-23

    申请号：US13768541

    申请日：2013-02-15

    Applicant: The MathWorks, Inc.

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

    IPC: G06N5/02 ,  G06F8/10 ,  G06F9/448

    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.

    Debugging using presentation layer representations of objects
    5.
    发明授权
    Debugging using presentation layer representations of objects 有权
    使用对象的表示层表示进行调试

    公开(公告)号：US09582398B1

    公开(公告)日：2017-02-28

    申请号：US14570480

    申请日：2014-12-15

    Applicant: The MathWorks, Inc.

    Inventor： John Elliott ,  Frederick Mattsson Smith ,  Yao Ren

    IPC: G06F9/44 ,  G06F11/36

    CPC classification number: G06F11/3624 ,  G06F11/362 ,  G06F11/3664

    Abstract: Exemplary embodiments enable debugging executable code using a debugger in a computational device that provides a programming environment including a presentation layer. For example, an exemplary method includes providing a first marshalling function that receives a portion of information manipulated by the executable code and produces a presentation layer representation of the portion of the information. The presentation layer representation is compatible with a debugger that debugs the executable code. An exemplary method also includes debugging the executable code to produce a presentation layer representation of the portion of the information with the first marshalling function so as to display the presentation layer representation of the portion of the information to a user via a display device. The debugging also includes modifying the presentation layer representation of the portion of the information to produce modified information for use by the executable code, a device, or a user.

    Abstract translation: 示例性实施例使得能够在提供包括表示层的编程环境的计算设备中使用调试器来调试可执行代码。 例如，示例性方法包括提供第一编组功能，其接收由可执行代码操纵的信息的一部分并且产生该部分信息的表示层表示。 表示层表示与调试可执行代码的调试器兼容。 示例性方法还包括调试可执行代码以产生具有第一编组功能的部分信息的表示层表示，以便经由显示设备向用户显示该部分信息的表示层表示。 该调试还包括修改该部分信息的表示层表示以产生由可执行代码，设备或用户使用的修改信息。

    GENERATING A STATE DIAGRAM
    7.
    发明申请
    GENERATING A STATE DIAGRAM 审中-公开
    生成状态图

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

Patent Agency Ranking