知搜-全球专利检索

  1. 登录
  2. 注册

搜索结果

62 条记录 (耗时 0.033 秒)

    Systems and methods for co-simulation
    1.
    发明授权
    Systems and methods for co-simulation 有权

    公开(公告)号：US11966675B2

    公开(公告)日：2024-04-23

    申请号：US17529742

    申请日：2021-11-18

    申请人： The MathWorks, Inc.

    发明人： Tao Cheng ,  Pieter J. Mosterman ,  Haihua Feng ,  Fu Zhang

    IPC分类号： G06F11/07 ,  G06F30/20 ,  G06F30/30

    CPC分类号： G06F30/30 ,  G06F11/076 ,  G06F11/079 ,  G06F11/0793 ,  G06F30/20

    摘要： A model including a first co-simulation component and a second co-simulation component is analyzed. During execution of the model, the first co-simulation component outputs data to the second co-simulation component via a connection. The connection is declared as a continuous-time rate connection for input of the data into the second co-simulation component. Based on analyzing the model, the connection is identified as a discrete-continuous sample time connection based on data being communicated from the first co-simulation component to the second co-simulation component via the connection at a discrete-time rate when the model is executed in a co-simulation manner.

    Determining functional equivalence of configurations of a model
    2.
    发明授权
    Determining functional equivalence of configurations of a model 有权

    公开(公告)号：US11182132B1

    公开(公告)日：2021-11-23

    申请号：US16295662

    申请日：2019-03-07

    申请人： The MathWorks, Inc.

    发明人： Ravi Vompolu ,  Ivan Garcia ,  Gareth Thomas ,  Paul Cox ,  Ebrahim Mestchian ,  Pieter J. Mosterman

    IPC分类号： G06F11/36 ,  G06F8/35 ,  G06F8/71 ,  G06F11/34 ,  G06F8/75

    摘要： A method may comprise determining, by executing a first model having first configuration parameters, a first result associated with the first model. The method may comprise determining, by executing a second model having second configuration parameters, a second result associated with the second model. The method may comprise determining, based on the first result, the second result, and equivalency criteria, that the second model is not functionally equivalent to the first model. The equivalency criteria may indicate that the second model is functionally equivalent to the first model when a difference between the second result and the first result satisfies a threshold. The method may comprise modifying a configuration parameter, of the second configuration parameters, to cause the second model to improve toward functional equivalence with the first model.

    Systems and methods for measuring error in terms of unit in last place
    3.
    发明授权
    Systems and methods for measuring error in terms of unit in last place 有权

    公开(公告)号：US10936769B2

    公开(公告)日：2021-03-02

    申请号：US16409165

    申请日：2019-05-10

    申请人： The MathWorks, Inc.

    发明人： Kiran K. Kintali ,  Shomit Dutta ,  E. Mehran Mestchian ,  Pieter J. Mosterman

    IPC分类号： G06F9/44 ,  G06F30/20 ,  H03M7/28 ,  G06F8/35 ,  H03M7/24 ,  G06F7/499

    摘要： Systems and methods evaluate simulation models and measure floating point arithmetic errors in terms of Unit in Last Place (ULP). The simulation model may include model elements that perform numerical computations using Native Floating Point (NFP) arithmetic. The model elements may be arranged to implement a procedure. A data store may include local ULP errors predetermined for the model elements. The systems and methods may retrieve the local ULP errors for the model elements included in the model, and may apply a rules-based analysis to compute an overall ULP error of the simulation model. The systems and methods may present the overall ULP computed for the model. The systems and methods may also present intermediate ULP errors determined for portions of the simulation model. Changes may be made to the model to reduce the overall ULP error.

    Automatic generation of models from detected hardware
    4.
    发明授权
    Automatic generation of models from detected hardware 有权

    公开(公告)号：US10360052B1

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

    申请号：US14611773

    申请日：2015-02-02

    申请人： The Mathworks, Inc.

    发明人： Justyna Zander ,  Zijad Galijasevic ,  Pieter J. Mosterman ,  David Koh

    IPC分类号： G06F13/10 ,  G06F9/455

    摘要： A method may include establishing a connection with a physical device, by a device. The method may include receiving information identifying the physical device, by the device. The method may include determining physical device information based on receiving the information identifying the physical device, by the device. The physical device information may be a description of the physical device. The method may include generating a set of model elements based on the physical device information, by the device. The set of model elements may include program code associated with simulating a behavior associated with the physical device. The method may include associating the set of model elements with a device model corresponding to the physical device, by the device.

    Multimodal input processing
    7.
    发明授权
    Multimodal input processing 有权
    多模式输入处理

    公开(公告)号：US09530102B2

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

    申请号：US14623985

    申请日：2015-02-17

    申请人： The MathWorks, Inc.

    发明人： Pieter J. Mosterman ,  Srikanth Parupati ,  Ankit A. Desai ,  Ashish Uthama ,  Michael J. Quinn

    IPC分类号： G06N7/00 ,  G06N5/02

    CPC分类号： G06N7/005 ,  G06K9/00476 ,  G06K9/723 ,  G06N5/02

    摘要： Exemplary embodiments described herein provide methods, mediums, and systems for recognizing a formalism type present in an input and generating an output that is consistent with the formalism type. In order to generate an output that is consistent with the formalism type, exemplary embodiments analyze elements of the input together. Such a holistic analysis determines or uses a likelihood that the different elements coexist together in a given formalism type. Based on this holistic analysis, an appropriate formalism type that is consistent with the coexistence of the elements may be selected. After the appropriate formalism type is selected, the input may be processed to generate an output consistent with the formalism type. The output may be computer-based representations of the input defined according to a program associated with the identified formalism type, and/or the input may be translated or transformed into another representation.

    摘要翻译： 本文描述的示例性实施例提供用于识别输入中存在的形式主义类型并生成与形式主义类型一致的输出的方法，介质和系统。 为了生成与形式主义类型一致的输出，示例性实施例一起分析输入的元素。 这样的整体分析确定或使用了不同元素在给定的形式主义类型中共存的可能性。 基于这种整体分析，可以选择与元素共存一致的适当形式主义类型。 在选择适当的形式主义类型之后，可以处理输入以生成与形式主义类型一致的输出。 输出可以是根据与所识别的形式主义类型相关联的程序定义的输入的基于计算机的表示，和/或可以将输入转换或转换为另一表示。

    Templatized component
    8.
    发明授权
    Templatized component 有权
    模板化组件

    公开(公告)号：US09424005B1

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

    申请号：US13837910

    申请日：2013-03-15

    申请人： The Mathworks, Inc.

    发明人： Srinath Avadhanula ,  Vijaya Raghavan ,  Michael D. Tocci ,  John E. Ciolfi ,  E. Mehran Mestchian ,  Pieter J. Mosterman

    IPC分类号： G06F9/44

    CPC分类号： G06F8/34 ,  G06F8/10 ,  G06F8/35 ,  G06F8/36

    摘要： A system and method provides top-down programming in a graphical programming environment. A developer may utilize a component constructor to create a graphical skeleton component that represents a template for a procedure. The graphical skeleton component may include one or more hole elements that mark locations in the component at which functions may be specified. An instance of the component may be included in a graphical model, and one or more functions specified for the hole elements, thereby completing the component. The one or more functions may refer to model parameters, and bindings may be captured among the parameters. Upon execution or simulation of the model, the one or more functions specified for the component are executed, and the parameters evaluated. The functionality of the completed may depend on the one or more functions specified for the hole elements.

    摘要翻译： 系统和方法在图形编程环境中提供自上而下的编程。 开发人员可以使用组件构造函数来创建一个图形框架组件，该组件代表一个过程的模板。 图形骨架组件可以包括标记组件中可以指定功能的位置的一个或多个孔元件。 组件的实例可以包括在图形模型中，以及为孔元素指定的一个或多个功能，从而完成组件。 一个或多个功能可以指模型参数，并且可以在参数之间捕获绑定。 在模型执行或模拟时，执行为该组件指定的一个或多个功能，并对参数进行评估。 完成的功能可能取决于为孔元素指定的一个或多个功能。

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

    公开(公告)号：US09256485B1

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

    申请号：US14150282

    申请日：2014-01-08

    申请人： The MathWorks, Inc.

    发明人： Alan J. Moore ,  Ebrahim Mehran Mestchian ,  Pieter J. Mosterman

    IPC分类号： G06F9/54 ,  G06F17/50 ,  G01R31/3183

    CPC分类号： G06F9/546 ,  G01R31/318357 ,  G06F8/34 ,  G06F17/5009 ,  G06F17/5031

    摘要： 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.

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