公开(公告)号：US10657029B2

公开(公告)日：2020-05-19

申请号：US14461906

申请日：2014-08-18

Applicant: The MathWorks, Inc.

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

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

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.

公开(公告)号：US10360502B2

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

申请号：US13768541

申请日：2013-02-15

Applicant: The MathWorks, Inc.

Inventor： Siddhartha Shankar ,  Srinath Avadhanula ,  Vijaya Raghavan ,  Ebrahim Mehran Mestchian ,  Yao Ren

IPC: G06N5/02 ,  G06F8/10 ,  G06F9/448

Abstract: A computing device may include a memory to store data that describes a state machine model that includes destination states and source states. The source states may be associated with conditions upon which the state machine model is to transition from a corresponding source state to one of the destination states. The device may also include a processor configured to generate data to describe a state diagram from the data that describes the state machine model. The state diagram may include the graphical symbols and lines. Each of the graphical symbols may represent one of the source states or one of the destination states. The lines may represent transitions and include one or more vertical lines to represent transitions to one of the destination states from more than one of the source states. The graphical symbol may represent the one of the destination states is not adjacent to the graphical symbols to represent the more than one of the source states. The processor may arrange graphical symbols in a first row, arrange lines, and arrange vertical lines in a second row that does not overlap with the first row.

公开(公告)号：US20130326472A1

公开(公告)日：2013-12-05

申请号：US13910100

申请日：2013-06-04

Applicant: The MathWorks, Inc.

Inventor： Zhi HAN ,  William J. Aldrich ,  Ebrahim Mehran Mestchian

IPC: G06F9/44

CPC classification number: G06F17/504 ,  G06F8/10

Abstract: A device may obtain a model. The model, when executed, may simulate a behavior of a physical system. A user, such as, for example, an engineer, may specify a design interest for the model. The design interest may be associated with a particular behavior of a portion of the model. The device may analyze the model based on the design interest and may determine, based on analyzing the model, a group of model elements, included in the model, that are related to the design interest. The device may generate, based on the group of model elements, a model slice. When the model slice is executed, a behavior of the model slice may correspond to the particular behavior of the portion of the model. The device may analyze the particular behavior of the portion of the model based on executing the model slice.

Abstract translation: 设备可以获得模型。 该模型在执行时可能会模拟物理系统的行为。 用户，例如工程师，可以指定模型的设计兴趣。 设计兴趣可能与模型的一部分的特定行为相关联。 设备可以基于设计兴趣来分析模型，并且可以基于模型分析来确定与模型有关的一组模型元素。 设备可以基于模型元素组生成模型切片。 当执行模型切片时，模型切片的行为可以对应于模型部分的特定行为。 设备可以基于执行模型切片来分析模型部分的特定行为。

公开(公告)号：US20200379739A1

公开(公告)日：2020-12-03

申请号：US16428445

申请日：2019-05-31

Applicant: The MathWorks, Inc.

Inventor： Vivek Bhownani ,  Alexander C. Feinman ,  Fazil Peermohammed ,  David A. Foti ,  Ebrahim Mehran Mestchian ,  Yao Ren ,  Vijaya Raghavan ,  Peter S. Szpak ,  Matthew Englehart ,  Roy Mathew ,  Emmanuel Roy ,  Dekun Pei ,  Jianhao Du ,  Antoine Requet ,  Shailesh Shashikant Nirgudkar

IPC: G06F8/41 ,  G06F8/34 ,  G06F8/38

Abstract: Processing external code includes: parsing the external code to identify a first semantic entity, mapping the first semantic entity to a second semantic entity, the first semantic entity comprising a first set of one or more specified attributes and the second semantic entity comprising a second set of one or more attributes that are capable of being specified, determining that a first attribute of the second set of one or more attributes does not have a corresponding specified attribute within the first set of one or more specified attributes, determining available information for specifying the first attribute of the second set of one or more attributes, and storing the second semantic entity in association with the first attribute of the second set of one or more attributes specified based on user selection or specifying the first attribute in response to available information provided to a user interface system.

公开(公告)号：US10657208B2

公开(公告)日：2020-05-19

申请号：US13910100

申请日：2013-06-04

Applicant: The MathWorks, Inc.

Inventor： Zhi Han ,  William J. Aldrich ,  Ebrahim Mehran Mestchian

IPC: G06F8/10 ,  G06F17/50

Abstract: A device may obtain a model. The model, when executed, may simulate a behavior of a physical system. A user, such as, for example, an engineer, may specify a design interest for the model. The design interest may be associated with a particular behavior of a portion of the model. The device may analyze the model based on the design interest and may determine, based on analyzing the model, a group of model elements, included in the model, that are related to the design interest. The device may generate, based on the group of model elements, a model slice. When the model slice is executed, a behavior of the model slice may correspond to the particular behavior of the portion of the model. The device may analyze the particular behavior of the portion of the model based on executing the model slice.

公开(公告)号：US10089089B2

公开(公告)日：2018-10-02

申请号：US15170439

申请日：2016-06-01

Applicant: The MathWorks, Inc.

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

IPC: G06F9/45 ,  G06F8/51 ,  G06F8/41

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.

公开(公告)号：US20170351791A1

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

申请号：US15499351

申请日：2017-04-27

Applicant: The MathWorks, Inc.

Inventor： Dixit MANOJ GANGADHAR ,  Prahladavaradan Sampath ,  Janaki Sivaramakrishnan ,  William J. Aldrich ,  Ebrahim Mehran Mestchian

IPC: G06F17/50

CPC classification number: G06F17/5009 ,  G06F17/509

Abstract: A device may analyze, by one or more processors, a model to identify a first set of model elements that are associated with a model element. The device may apply, by the one or more processors, one or more results from an analysis of the model to a first network unit to determine a complexity of the first network unit or a coupling of the first network unit to other model elements of the model. The device may generate, by the one or more processors, a second network unit, representing a second hierarchy of computation, from the first network unit based on the complexity or the coupling. The device may provide, by the one or more processors, the second network unit as a testing unit for testing the model, the second network unit comprising two or more model elements and one or more numeric expressions.

公开(公告)号：US20170351493A1

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

申请号：US15398176

申请日：2017-01-04

Applicant: The MathWorks, Inc.

Inventor： Kiran K. Kintali ,  Shomit Dutta ,  Anand S. Krishnamoorthi ,  Ebrahim Mehran Mestchian

IPC: G06F9/44

CPC classification number: G06F8/35 ,  G06F7/483 ,  G06F8/20 ,  G06F17/5027 ,  G06F17/5054 ,  G06F2207/3824 ,  H03M7/24 ,  H03M7/28

Abstract: Systems and methods generate code from an executable model. The model may operate on variables having floating point data types. The systems and methods may unpack the sign, exponent, and mantissa components of the floating point variables, and interpret them as boolean, integer, or fixed-point data types. The systems and methods may include operators that operate on the extracted sign, exponent, and mantissa components, and that produce sign, exponent, and mantissa outputs having boolean, integer or fixed-point data types. The systems and methods may pack the sign, exponent, and mantissa components of the output into an integer and reinterpret the integer as a floating point data type. Having replaced the floating point data types with boolean, integer or fixed-point data types, the generated code may be suitable for programmable logic devices and/or microcontrollers that lack Floating Point Units (FPUs).

公开(公告)号：US08965742B1

公开(公告)日：2015-02-24

申请号：US13960501

申请日：2013-08-06

Applicant: The MathWorks, Inc.

Inventor： Vijay Raghavan ,  Ebrahim Mehran Mestchian

IPC: G06G7/48 ,  G06F17/50

CPC classification number: G06F17/50 ,  G06F8/34 ,  G06T11/206

Abstract: The illustrative embodiments of this invention are directed to a method, a medium and a system for realizing resettable hierarchically scoped variables in a graphical modeling environment on a computing device. The method includes creating at least one resettable variable in a model within the graphical modeling environment, wherein the resettable variable is hierarchically scoped. The resettable variable is reset to a preset value before or during a subsequent invocation of a part of the model that contains the resettable variable. The graphical modeling environment may be a state diagramming environment or the graphical modeling environment may be a time-based graphical modeling environment.

Abstract translation: 本发明的说明性实施例涉及用于在计算设备上的图形建模环境中实现可重置层级范围变量的方法，介质和系统。 该方法包括在图形建模环境内的模型中创建至少一个可复位变量，其中可重置变量是分级范围的。 在包含可重置变量的模型的一部分的后续调用之前或期间，可复位变量重置为预设值。 图形建模环境可以是状态图表环境，或者图形建模环境可以是基于时间的图形建模环境。