公开(公告)号：US09565067B1

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

申请号：US14185520

申请日：2014-02-20

Applicant: The MathWorks, Inc.

Inventor： Robert O. Aberg

IPC: G06F15/173 ,  H04L12/24

CPC classification number: G06F8/34 ,  G06F8/35

Abstract: A device may receive information identifying a model that, when executed, may cause an operation to be performed. The device may identify a unit associated with the operation. The device may determine that the unit is at least one of: an abstract unit, a unit associated with a dimensionless quantity, a sub-unit, a partial unit, a dynamic unit, or an enumerated unit. The device may determine information that identifies a unit property associated with the unit. The unit property may identify an attribute that is to be used to determine a unit rule associated with the unit. The device may determine a unit rule based on the unit property and information associated with the operation. The unit rule may indicate a manner in which the device is to determine a result associated with the operation. The device may provide the result, associated with the operation, based on the unit rule.

Abstract translation: 设备可以接收标识模型的信息，该模型在执行时可能导致执行操作。 设备可以识别与操作相关联的单元。 设备可以确定该单元是以下中的至少一个：抽象单元，与无量纲数量相关联的单元，子单元，部分单元，动态单元或枚举单元。 设备可以确定标识与该单元相关联的单元属性的信息。 单位属性可以标识用于确定与该单元相关联的单位规则的属性。 设备可以基于单元属性和与操作相关联的信息来确定单元规则。 单位规则可以指示设备确定与操作相关联的结果的方式。 设备可以基于单位规则提供与操作相关联的结果。

公开(公告)号：US09558301B1

公开(公告)日：2017-01-31

申请号：US13965921

申请日：2013-08-13

Applicant: The MathWorks, Inc.

Inventor： Omar Armando Adrian Orqueda ,  Christian Patrick Grippo ,  Robert O. Aberg

IPC: G06F17/00 ,  G06N5/00 ,  G06F17/50

CPC classification number: G06F17/50 ,  G06F11/3604

Abstract: A device, method and tangible computer-readable medium are provided for detecting output discrepancies between representations of a block in two system models. For example, a first representation of a block may represent a default configuration and may execute in a first model. A second representation of the block may represent a user-modified configuration for the block and may execute in a second model. The user may execute the first and second models and may compare results using an exemplary embodiment. The embodiment may allow the user to define criteria and weightings for the criteria and to use the criteria for generating objective functions and constraints. The objective functions and constraints may be used to evaluate the performance of the two models. The embodiment may further perform trace back operations with respect to a model to determine a location in the model that produces an output discrepancy.

Abstract translation: 提供了用于检测两个系统模型中块的表示之间的输出差异的装置，方法和有形的计算机可读介质。 例如，块的第一表示可以表示默认配置并且可以在第一模型中执行。 块的第二表示可以表示块的用户修改的配置，并且可以在第二模型中执行。 用户可以执行第一和第二模型并且可以使用示例性实施例来比较结果。 该实施例可以允许用户为标准定义标准和权重，并且使用用于产生目标函数和约束的标准。 目标函数和约束可用于评估两种模型的性能。 该实施例可以进一步执行关于模型的追溯操作以确定模型中产生输出差异的位置。

公开(公告)号：US08887126B1

公开(公告)日：2014-11-11

申请号：US13705917

申请日：2012-12-05

Applicant: The MathWorks, Inc.

Inventor： Ricardo Monteiro ,  Mojdeh Shakeri ,  Robert O. Aberg ,  Michael David Tocci ,  Pieter J. Mosterman

IPC: G06F9/44 ,  G06F9/45

CPC classification number: G06F8/71 ,  G06F8/10

Abstract: Methods and systems for controlling versions of models in modeling environments are disclosed. The versions of models and component interfaces are stored in a repository and checked in and out of the repository. The version designation of a model is changed when the model is checked in the repository. A selected version of the model is checked out of the repository and loaded directly in a memory so that users may load the selected version of the model without error. The loaded model is displayed with information on the version of the model. The version information may include the version number and author of the version. The version information may also include information on whether the model is locked with a version or in a read only mode.

Abstract translation: 公开了在建模环境中控制模型版本的方法和系统。 模型和组件接口的版本存储在存储库中，并进入和退出存储库。 当在存储库中检查模型时，模型的版本指定将更改。 模型的选定版本从存储库中检出并直接加载到内存中，以便用户可以无错误地加载模型的选定版本。 加载的模型将显示有关模型版本的信息。 版本信息可能包括版本号和版本的作者。 版本信息还可以包括关于模型是否以版本或只读模式被锁定的信息。

公开(公告)号：US20140122026A1

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

申请号：US13662529

申请日：2012-10-28

Applicant: The Mathworks, Inc.

Inventor： Robert O. Aberg ,  Peter S. Szpak ,  Andrew C. Grace

IPC: G06F17/50

CPC classification number: G06F17/5009

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.

Abstract translation: 系统和方法自动确保设计模型与测试设计模型的一个或多个测试模型之间的一致性。 系统可以包括适于构造接口规范的代理。 接口规范识别设计模型的接口，例如其外部输入，外部输出和初始化状态。 它还可以识别测试模型的输出，输入和初始化设置对象。 建议对设计模型界面的更改可能由经纪人捕获，并以原子方式应用于设计模型和测试模型。 可能会捕获到暗示设计模型界面的给定测试模型的建议更改，并以原子方式应用于给定测试模型，其他测试模型和设计模型。 可以定义默认行为，以将建议的更改应用于其他测试模型和设计模型。