公开(公告)号：US10949173B1

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

申请号：US16173989

申请日：2018-10-29

Applicant: The MathWorks, Inc.

Inventor： Joseph Hicklin ,  Claudia Wey

IPC: G06F8/38 ,  G06F8/34

Abstract: In accordance with some embodiments, a method may include displaying, by one or more processors, a user interface (UI) element associated with UI program code, the UI element embedded in first program code. The method may include receiving, by the one or more processors, a first value setting of a UI control of the UI element, and executing, by the one or more processors, the UI program code. The executing may be triggered by the receiving of the first value setting, the executing producing a first result comprising a computational result that is graphically displayed by the UI element. The method may further include generating, by the one or more processors and following the executing, second program code comprising a code portion that, when executed, produces the computational result.

公开(公告)号：US10929160B1

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

申请号：US16218375

申请日：2018-12-12

Applicant: The MathWorks, Inc.

Inventor： Nikolay Mateev ,  Ayon Basumallik ,  Aaditya Kalsi ,  Prabhakar Kumar

IPC: G06F9/455 ,  G06F11/36 ,  G06F8/41

Abstract: Systems and methods for just-in-time compilation are disclosed. The systems and methods can be used to generate composite blocks, reducing program execution time. The systems and methods can include generating single-trace blocks during program execution. Upon satisfaction of a trigger criterion, single-trace blocks can be selected for compilation into a composite block. The trigger criterion can be a number of executions of a trigger block. Selecting the single-trace blocks can include identifying blocks reachable from the trigger block, selecting a subset of the reachable blocks, and selecting an entry point for the composite block. The composite block can be generated from the single-trace blocks and incorporated into the program control flow, such that the composite block is executed in place of the selected single-trace blocks.

公开(公告)号：US10915422B2

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

申请号：US15972662

申请日：2018-05-07

Applicant: The MathWorks, Inc.

Inventor： Olivier Bouissou

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

Abstract: Methods and systems are described for automatically setting multitasking configurations that are used to check, by a code-checking system, implementation code that is to be deployed on a dynamic system. Attributes of implemented tasks and interrupt service routines that can run concurrently on the dynamic system are determined from one or more specification data structures of a specified model and associated with independent, implemented computational threads prepared from the specified model. Configured with information relevant to the concurrent threads, the code-checking system can more accurately determine the presence or absence of defects in the implementation code. The specified model, resulting implemented code, and dynamic system can be complex and comply with a standardized software architecture, such as Automotive Open System Architecture (AUTOSAR).

公开(公告)号：US10915302B2

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

申请号：US16383132

申请日：2019-04-12

Applicant: The MathWorks, Inc.

Inventor： Xiaocang Lin ,  Wuwei Liang ,  Sherman Braganza ,  Wei Wang ,  Yong Huang ,  Michael Iannicelli

IPC: G06F9/44 ,  G06F8/35

Abstract: A system determines what aspects of input sources contribute to code generation and provides associations between the input sources and components of features of the generated code. These associations may be visualized by displaying visual cues of the associations. The input sources may be of different types, including but not limited to a model, a code generator and values for atomic configuration setting for code generation. The visual cue that is displayed may take the form of a visible connection between the input sources and the relative portion or portions of the generated programming code. Suggestions may be generated in response to edits to the generated programming code as to how the sources may be modified to provide desired changes in the generated programming code. Analysis may be performed to identify artifacts in the generated programming code and associations to the sources may be identified to specify what source contributed to portions of the generated programming code.

公开(公告)号：US10896373B1

公开(公告)日：2021-01-19

申请号：US14064681

申请日：2013-10-28

Applicant: The MathWorks, Inc.

Inventor： Dave Aaron Forstot ,  Gregory Thomas Wolff ,  Jeffrey Paul Chapple

IPC: G06N5/02

Abstract: In an embodiment, degree of comprehensibility of a graphical representation of a model is identified. The model is provided in a graphical modeling environment. The degree of comprehensibility of the graphical representation of model is identified based at least in part on one or more visual characteristics of one or more elements in the model. The one or more elements in the model include at least one of entities in the model, or relationships in the model. The degree of comprehensibility assigned to the model is communicated, for example, to a user.

公开(公告)号：US10831456B1

公开(公告)日：2020-11-10

申请号：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: G06F9/44 ,  G06F8/41 ,  G06F8/34 ,  G06F8/38 ,  G06F8/30

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.

公开(公告)号：US10817629B2

公开(公告)日：2020-10-27

申请号：US15656560

申请日：2017-07-21

Applicant: The MathWorks, Inc.

Inventor： Suat Gumussoy ,  Pieter J. Mosterman ,  Ahmet Ozdemir

IPC: G06F30/20 ,  G06F111/10

Abstract: According to some possible implementations, a method may include determining one or more inputs to a model of a system and one or more outputs from the model. The method may include identifying a continuous portion of the model to be discretized. The method may include discretizing the continuous portion of the model, using at least one of a continuous linear representation for the model or a frequency response associated with the continuous linear representation, to generate a discrete linear representation for the continuous portion of the model. The method may include outputting information associated with the discrete linear representation to permit the continuous portion of the model to be implemented on one or more processors.

公开(公告)号：US10740514B1

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

申请号：US14189591

申请日：2014-02-25

Applicant: The MathWorks, Inc.

Inventor： Fu Zhang ,  Robert O. Aberg ,  Murali K. Yeddanapudi ,  John E. Ciolfi ,  Pieter J. Mosterman ,  Zhi Han

IPC: G06F17/50 ,  G06F30/23

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.

公开(公告)号：US10725440B1

公开(公告)日：2020-07-28

申请号：US15443646

申请日：2017-02-27

Applicant: The MathWorks, Inc.

Inventor： Kerry E. Grand ,  Yang Xu ,  Ebrahim M. Mestchian

IPC: G06F30/30 ,  H02P6/34 ,  G05B13/04 ,  G06F30/20 ,  G07B17/00 ,  G06F30/17 ,  H02P21/22

Abstract: Embodiments include techniques for estimating unknown or missing values for parameters of a motor based on high-level motor information and using the estimated parametric values in generating an executable model for modeling the behavior of the motor. An aspect of the techniques involves assumptions used to establish the predetermined parametric values that are applied to the algorithm for deriving estimates of the unknown parametric values for the motor. The estimated parametric values may then be used in the executable model of the motor to enable development and simulation of a plant (e.g., a closed loop system) including a plant model having a dynamic controller model and a lumped parameter model of a modeling environment of a technical computing environment executing on a data processing system. The simulation of the plant loop can be sufficient to test the dynamic (e.g., feedback-based) controller within a closed loop system, e.g., test motion control of a motorized vehicle seat.

公开(公告)号：US10719645B1

公开(公告)日：2020-07-21

申请号：US14958726

申请日：2015-12-03

Applicant: The MathWorks, Inc.

Inventor： Fu Zhang ,  Zhi Han ,  Pieter J. Mosterman ,  William J. Aldrich ,  Ebrahim Mehran Mestchian ,  Denizhan N. Alparslan ,  Richard Hyde

IPC: G06F17/50 ,  G06F11/36 ,  G06F30/3323 ,  G06F8/10

Abstract: A computer-based model having executable semantics may be used to simulate the behavior of a system. A substructure of interest is sliced from the model and analyzed to determine a transformation of the slice while preserving some context of the model. The transformed slice may be further manipulated outside of the model, integrated back into the model in place of the original slice, or used in other ways.