专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US11966675B2 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.

2. 发明授权

US11182132B1 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.

3. 发明授权

US10936769B2 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.

4. 发明授权

US10360052B1 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.

5. 发明授权

US10116500B1 Exchanging information among system middleware and models 有权
公开(公告)号：US10116500B1
公开(公告)日：2018-10-30
申请号：US14635719
申请日：2015-03-02
申请人： The MathWorks, Inc.
发明人： Xianchao Long , Justyna Zander , David Koh , Gautam K. Vallabha , Pieter J. Mosterman
IPC分类号： H04L12/24
摘要： A device generates a block for a model associated with a system, and the system is associated with middleware. The block subscribes to information generated by the middleware based on communication between the middleware and the system. The device receives subscriber configuration information for configuring the block, and creates, based on the subscriber configuration information, a signal that converts the information generated by the middleware into a format compatible with the model.

6. 发明授权

US10055203B2 Implicit event broadcast in a state chart of a technical computing environment 有权
公开(公告)号：US10055203B2
公开(公告)日：2018-08-21
申请号：US14286017
申请日：2014-05-23
申请人： The MathWorks, Inc.
发明人： Srinath Avadhanula , Pieter J. Mosterman , Ebrahim Mestchian
IPC分类号： G06F9/44 , G06F9/45 , G06F8/35 , G06F8/51 , G06F8/10 , G06F8/34 , G06F9/448
CPC分类号： G06F8/35 , G06F8/10 , G06F8/34 , G06F8/51 , G06F9/4484 , G06F9/4498
摘要： A method of receiving a state chart that includes two or more state blocks, and an implicit event command in a graphical portion of the state chart. One of the state blocks includes textual code understood by a textual engine of a technical computing environment (TCE). The implicit event command is not understood by a graphical engine of the TCE. The method further transforms the implicit event command into a form that is understood by the graphical engine, and initiates execution of the state chart. During execution of the state chart, the transformed implicit event command is parsed by a computing device to identify an event associated with a first state block, and a command. When the event occurs during execution of the state chart, the command initiates execution of another state block, the second state block being initiated without an explicit event command being provided therein.

7. 发明授权

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

8. 发明授权

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

9. 发明授权

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

10. 发明授权

US11762943B1 Systems and methods for interactive display of symbolic equations extracted from graphical models 有权
公开(公告)号：US11762943B1
公开(公告)日：2023-09-19
申请号：US15716112
申请日：2017-09-26
申请人： The MathWorks, Inc.
发明人： Fu Zhang , Murali K. Yeddanapudi , Pieter J. Mosterman , John E. Ciolfi , Ebrahim Mehran Mestchian
IPC分类号： G06F17/11 , G06F3/04842 , G06F16/248 , G06F16/332
CPC分类号： G06F17/11 , G06F3/04842 , G06F16/248 , G06F16/3328
摘要： A method and system automatically generates a display of symbolic equations from a graphical model (or vice versa) which is readable, parametric, and interactive.

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式