Optimization tracing
    1.
    发明授权

    公开(公告)号:US10379821B1

    公开(公告)日:2019-08-13

    申请号:US15076459

    申请日:2016-03-21

    Abstract: A modeling environment is provided allowing a user to generate, from a source representation of a model, a target representation of a model and a listing of the optimization performed during generation of the target representation which is associated with the target representation or the source representation. The model may represent a system, such as a dynamic system. The source representation of the model may be a graphical or textual representation. In some embodiments a user may specify whether to implement the optimization.

    Self-testing graphical component algorithm specification

    公开(公告)号:US10372841B2

    公开(公告)日:2019-08-06

    申请号:US13662529

    申请日:2012-10-28

    Abstract: A system and method automatically ensures consistency among a design model and one or more test models that test the design model. The system may include a broker adapted to construct an interface specification. The interface specification identifies the interface of the design model, e.g., its external inputs, external outputs, and initialization states. It may also identify the outputs, inputs, and initialization setting objects of the test models. Proposed changes to the design model's interface may be captured by the broker, and applied to the design model and to the test models atomically. Proposed changes to a given test model that implicate the design model's interface also may be captured, and applied to the given test model, the other test models, and the design model atomically. Default behaviors may be defined for applying the proposed changes to the other test models and the design model.

    System and method for improving model performance

    公开(公告)号:US10970183B1

    公开(公告)日:2021-04-06

    申请号:US14042236

    申请日:2013-09-30

    Abstract: A system and method intelligently and automatically improves the performance of a model. The system employs heuristics to select a plurality of performance rules that conform to one or more criteria specified for the performance analysis process. The performance rules include checks to be run on the model and offer advice, such as proposed changes that, if made to the model, may improve its performance. The system may evaluate the proposed changes to determine whether or not they produce an improvement in the model's performance. Proposed changes validated as improving model performance are retained, while proposed changes found not to improve performance are removed.

    Interactive heat map for graphical model performance view

    公开(公告)号:US09753615B1

    公开(公告)日:2017-09-05

    申请号:US14185457

    申请日:2014-02-20

    CPC classification number: G06F17/5009 G06F2217/74 G06F2217/80

    Abstract: A device may receive information identifying a model including information associated with elements included in the model. The device may cause the model to be executed, and may collect data associated with executing the model. The device may determine performance information based on the collected data. The performance information may be associated with the elements included in the model. The device may generate a heat map based on the performance information. The heat map may associate an element, of the elements, with a visual representation indicating performance information, associated with the element, based on a heat map scale. The heat map scale may relate the performance information, associated with the element, to performance information associated with another element. The heat map may be a graphical interface that includes a graphical representation of the element and a graphical representation of the other element. The device may provide the heat map.

    SELF-TESTING GRAPHICAL COMPONENT ALGORITHM SPECIFICATION
    5.
    发明申请
    SELF-TESTING GRAPHICAL COMPONENT ALGORITHM SPECIFICATION 审中-公开
    自检图形组件算法规范

    公开(公告)号:US20140122028A1

    公开(公告)日:2014-05-01

    申请号:US13838344

    申请日:2013-03-15

    Inventor: Robert O. Aberg

    CPC classification number: G06F17/50 G06F8/355 G06F11/368 G06F11/3684

    Abstract: A system and method automatically ensures consistency among a design model, an interface specification and one or more tests that test the design model. The system may include a broker adapted to construct the interface specification. The interface specification identifies the interface of the design model, e.g., its external inputs, external outputs, and initialization settings. It may also identify the outputs, inputs, and initialization setting objects of the tests. Proposed changes to any one of the design model's interface, the interface specification and the interfaces of the tests may be captured by the broker, and applied to the other two.

    Abstract translation: 系统和方法自动确保设计模型,接口规范和测试设计模型的一个或多个测试之间的一致性。 系统可以包括适于构建接口规范的代理。 接口规范识别设计模型的接口,例如其外部输入,外部输出和初始化设置。 它还可以识别测试的输出,输入和初始化设置对象。 建议对设计模型的界面,接口规范和测试接口进行的更改可能由代理程序捕获,并应用于其他两个。

    Graph-based partitioning of dynamic system execution

    公开(公告)号:US10740514B1

    公开(公告)日:2020-08-11

    申请号:US14189591

    申请日:2014-02-25

    Abstract: A device may receive a model that includes multiple blocks. The model may include first variables that contribute to a first calculation and second variables that contribute to a second calculation. The device may determine first dependencies associated with the first variables and may determine second dependencies associated with the second variables. The device may generate a first execution function based on determining the first dependencies. The first execution function may identify first blocks that are to be executed to perform the first calculation. The device may generate a second execution function based on determining the second dependencies. The second execution function may identify second blocks that are to be executed to perform the second calculation. The device may cause the first blocks and the second blocks to be executed in a different manner based on the first execution function and the second execution function.

    Self-testing graphical component algorithm specification

    公开(公告)号:US10360310B2

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

    申请号:US13838344

    申请日:2013-03-15

    Inventor: Robert O. Aberg

    Abstract: A system and method automatically ensures consistency among a design model, an interface specification and one or more tests that test the design model. The system may include a broker adapted to construct the interface specification. The interface specification identifies the interface of the design model, e.g., its external inputs, external outputs, and initialization settings. It may also identify the outputs, inputs, and initialization setting objects of the tests. Proposed changes to any one of the design model's interface, the interface specification and the interfaces of the tests may be captured by the broker, and applied to the other two.

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

    公开(公告)号:US08924193B2

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

    申请号:US13828312

    申请日:2013-03-14

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

Patent Agency Ranking