中科微点-全球专利检索

  1. Login
  2. Sign Up

Search Results

29 records (took 0.016 seconds)

    DATA TYPE REASSIGNMENT
    1.
    发明申请
    DATA TYPE REASSIGNMENT 审中-公开
    数据类型重新配置

    公开(公告)号：US20160357534A1

    公开(公告)日：2016-12-08

    申请号：US15170439

    申请日：2016-06-01

    Applicant: The MathWorks, Inc.

    Inventor： Anand KRISHNAMOORTHI ,  Kiran K. Kintali ,  Ebrahim Mehran Mestchian ,  Srinivas Muddana

    IPC: G06F9/45

    CPC classification number: G06F8/51 ,  G06F8/437

    Abstract: A device may receive input code that includes one or more input objects. The input code may be used in connection with generation of output code. The output code, when generated, may include one or more output objects, corresponding to and different than the one or more input objects. The device may receive or determine conversion information identifying a conversion operation to perform to generate the one or more output objects based on the one or more input objects. The conversion information may be received separately from the input code. The device may generate, based on the conversion information and the input code, an intermediate representation. The intermediate representation may include one or more annotations corresponding to the one or more input objects and defining the conversion operation. The device may compile, based on the intermediate representation, the output code. The device may execute or provide the output code.

    Abstract translation: 设备可以接收包括一个或多个输入对象的输入代码。 输入代码可以与生成输出代码一起使用。 输出代码在生成时可以包括与一个或多个输入对象相对应且不同于一个或多个输入对象的一个​​或多个输出对象。 所述设备可以接收或确定标识转换操作的转换信息，以执行以基于所述一个或多个输入对象生成所述一个或多个输出对象。 转换信息可以与输入代码分离地接收。 设备可以基于转换信息和输入代码生成中间表示。 中间表示可以包括对应于一个或多个输入对象的一个​​或多个注释并且定义转换操作。 该设备可以基于中间表示来编译输出代码。 该设备可以执行或提供输出代码。

    System and method for generating message sequence diagrams from graphical programs
    2.
    发明授权
    System and method for generating message sequence diagrams from graphical programs 有权
    用于从图形程序生成消息序列图的系统和方法

    公开(公告)号：US09256485B1

    公开(公告)日：2016-02-09

    申请号：US14150282

    申请日：2014-01-08

    Applicant: The MathWorks, Inc.

    Inventor： Alan J. Moore ,  Ebrahim Mehran Mestchian ,  Pieter J. Mosterman

    IPC: G06F9/54 ,  G06F17/50 ,  G01R31/3183

    CPC classification number: G06F9/546 ,  G01R31/318357 ,  G06F8/34 ,  G06F17/5009 ,  G06F17/5031

    Abstract: A system and method automatically generating one or more message sequence diagrams based on an analysis of the execution behavior of a model, such as a computer-generated, executable graphical model. A model analyzer examines execution instructions generated for the model. A filtering unit identifies execution instructions that concern designated elements of the model. An auto diagram builder generates one or more message sequence diagrams. The diagrams may include display features that represent activities involving the designated model elements. The diagrams may show the relative execution time order of the activities.

    Abstract translation: 基于对诸如计算机生成的可执行图形模型的模型的执行行为的分析，系统和方法自动生成一个或多个消息序列图。 模型分析器检查为模型生成的执行指令。 过滤单元识别涉及模型的指定元素的执行指令。 自动图构建器生成一个或多个消息序列图。 这些图可以包括表示涉及指定的模型元素的活动的显示特征。 图表可能显示活动的相对执行时间顺序。

    DERIVING CONTEXTUAL INFORMATION FOR AN EXECUTION CONSTRAINED MODEL
    3.
    发明申请
    DERIVING CONTEXTUAL INFORMATION FOR AN EXECUTION CONSTRAINED MODEL 审中-公开
    为执行约束模型提供相关信息

    公开(公告)号：US20140358506A1

    公开(公告)日：2014-12-04

    申请号：US14461826

    申请日：2014-08-18

    Applicant: The MathWorks, Inc.

    Inventor： William J. Aldrich ,  Ebrahim Mehran Mestchian ,  Denizhan N. Alparslan

    IPC: G06F17/50

    Abstract: A system and method generates contextual information for a source model. An identification of one or more first model elements of interest within the source model may be received. One or more constraints on inputs of selected model elements also may be received. A scope of analysis regarding outputs of the first model elements may be specified. The contextual information may be derived automatically for the one or more first model elements. The contextual information may include one or more model elements, signals, or states that are contained with the scope of analysis while execution of the source model is limited by the one or more constraints. The derived contextual information may be provided to an output device.

    Abstract translation: 系统和方法为源模型生成上下文信息。 可以接收在源模型中的感兴趣的一个或多个第一模型元素的识别。 也可以接收对所选择的模型元素的输入的一个或多个约束。 可以指定关于第一模型元件的输出的分析范围。 可以为一个或多个第一模型元素自动导出上下文信息。 上下文信息可以包括在分析范围内包含的一个或多个模型元素，信号或状态，而源模型的执行受到一个或多个约束的限制。 导出的上下文信息可以被提供给输出设备。

    UNIFIED STATE TRANSITION TABLE DESCRIBING A STATE MACHINE MODEL
    4.
    发明申请
    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: 计算机可读存储器设备可以包括存储描述包括源状态和目的地状态的状态机模型的数据的指令。 该设备还可以包括用于为每个源状态存储一个条件字段的指令，该条件字段标识状态，当满足状态机模型从源状态转换到目的地状态之一时。 该设备还可以包括用于为每个源状态存储标识目的地状态之一的目的地字段的指令。 至少两个源状态中的每一个可以在相应的目的地字段中标识相同的目的地状态。 至少两个源状态中的每一个可以在相应的条件字段中标识相同的条件。

    Deriving contextual information for an execution constrained model
    8.
    发明授权
    Deriving contextual information for an execution constrained model 有权

    公开(公告)号：US10691578B2

    公开(公告)日：2020-06-23

    申请号：US14461826

    申请日：2014-08-18

    Applicant: The MathWorks, Inc.

    Inventor： William J. Aldrich ,  Ebrahim Mehran Mestchian ,  Denizhan N. Alparslan

    IPC: G06F8/10 ,  G06F11/36 ,  G06F8/34

    Abstract: A system and method generates contextual information for a source model. An identification of one or more first model elements of interest within the source model may be received. One or more constraints on inputs of selected model elements also may be received. A scope of analysis regarding outputs of the first model elements may be specified. The contextual information may be derived automatically for the one or more first model elements. The contextual information may include one or more model elements, signals, or states that are contained with the scope of analysis while execution of the source model is limited by the one or more constraints. The derived contextual information may be provided to an output device.

    Generating variants from file differences
    9.
    发明授权
    Generating variants from file differences 有权
    从文件差异生成变体

    公开(公告)号：US08924193B2

    公开(公告)日：2014-12-30

    申请号：US13828312

    申请日：2013-03-14

    Applicant: The MathWorks, Inc.

    Inventor： Timothy Hosey ,  Robert O. Aberg ,  Ebrahim Mehran Mestchian

    IPC: G06F17/50

    CPC classification number: G06F17/5009 ,  G06F8/71

    Abstract: A device receives model information associated with a modeling application. The device determines first and second conflicting information in the model information. The first and second conflicting information describe different characteristics of a model described by the model information. The device formats the first and second conflicting information in a manner that designates the first conflicting information as a first variant of the model and the second conflicting information as a second variant of the model. The model, when executed with the first variant, behaves in a different manner than when executed with the second variant. The device provides the formatted first and second conflicting information to the modeling application, provides information that identifies the first and second variant, receives a user selection of information that identifies the first variant or second variant, and executes the model based on the user selection.

    Abstract translation: 设备接收与建模应用相关联的模型信息。 设备确定模型信息中的第一和第二冲突信息。 第一和第二冲突信息描述了由模型信息描述的模型的不同特征。 该设备以指定第一冲突信息作为模型的第一变体并且第二冲突信息作为模型的第二变体的方式来格式化第一和第二冲突信息。 当与第一个变体一起执行时，该模型的行为与使用第二个变体执行的方式不同。 设备向建模应用提供格式化的第一和第二冲突信息，提供标识第一和第二变体的信息，接收用户选择标识第一变体或第二变体的信息，并且基于用户选择来执行模型。

    PARTITIONING BLOCK DIAGRAMS INTO EXECUTABLE CONTEXTUAL MODELS
    10.
    发明申请
    PARTITIONING BLOCK DIAGRAMS INTO EXECUTABLE CONTEXTUAL MODELS 审中-公开
    将框图分解成可执行的背景模型

    公开(公告)号：US20140358507A1

    公开(公告)日：2014-12-04

    申请号：US14461906

    申请日：2014-08-18

    Applicant: The MathWorks, Inc.

    Inventor： William J. Aldrich ,  Ebrahim Mehran Mestchian ,  Denizhan N. Alparslan

    IPC: G06F17/50

    CPC classification number: G06F11/3664 ,  G06F8/10 ,  G06F8/34 ,  G06F11/3608

    Abstract: A system and method generates a contextual model for a source model. The system and method receives a designation of a component of interest in the source model. The system and method analyzes the source model and identifies those model elements within the source model that have an interaction behavior with the component of interest. The system and method includes the component of interest and the model elements having the interaction behavior with the component of interest in the contextual model. The system and method connects the model elements to the component of interest in the context model in a similar manner as in the source model. The context model may be run or evaluated.

    Abstract translation: 系统和方法为源模型生成上下文模型。 系统和方法在源模型中接收感兴趣的组件的指定。 系统和方法分析源模型，并识别源模型中与感兴趣组件具有交互行为的模型元素。 系统和方法包括感兴趣的组件，并且模型元素具有与上下文模型中感兴趣的组件的交互行为。 系统和方法以类似于源模型的方式将模型元素连接到上下文模型中感兴趣的组件。 可以运行或评估上下文模型。

Patent Agency Ranking