公开(公告)号：US20210303271A1

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

申请号：US16828720

申请日：2020-03-24

Applicant: The MathWorks, Inc.

Inventor： Joseph F. Hicklin ,  Claudia G. Wey ,  John W. Glass

IPC: G06F8/33

Abstract: Systems and methods for services for assisting programming are disclosed. The systems and methods can be used to, during edit time, for program code or data of interest, identify one or more services available to the program code or the data of interest, generating a context for the one or more services, execute code for the one or more services within the context to generate a result for each of the one or more services, analyze the result for each of the one or more services to select a subset of results based on criteria associated with the program code, the data of interest, or the one or more services, and offer, to a user, services corresponding to the subset of results or the subset of results as suggestions to facilitate further development of the program code or use of the data of interest.

公开(公告)号：US11055092B1

公开(公告)日：2021-07-06

申请号：US16794576

申请日：2020-02-19

Applicant: The Mathworks, Inc.

Inventor： Ayon Basumallik ,  Meng-Ju Wu

IPC: G06F8/75 ,  G06F8/30 ,  G06F9/38 ,  G06F8/71 ,  G06F8/51

Abstract: The exemplary embodiments may provide an approach to finding and identifying the correlation between the invoking code and the invoked code by correlating the timestamps of contextual information of code in the invoking code and invoked code. As a result, developers have information during investigating the programs and can use the information to identify a region of interest to narrow down a performance problem in the invoking code efficiently. As a result, development productivity can be improved.

公开(公告)号：US10936769B2

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

申请号：US16409165

申请日：2019-05-10

Applicant: The MathWorks, Inc.

Inventor： Kiran K. Kintali ,  Shomit Dutta ,  E. Mehran Mestchian ,  Pieter J. Mosterman

IPC: G06F9/44 ,  G06F30/20 ,  H03M7/28 ,  G06F8/35 ,  H03M7/24 ,  G06F7/499

Abstract: 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.

公开(公告)号：US10902012B1

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

申请号：US15801277

申请日：2017-11-01

Applicant: The MathWorks, Inc.

Inventor： Jason D. Breslau

IPC: G06F16/25 ,  G06F16/28 ,  G06F3/0484 ,  G06F9/451 ,  G06F16/84 ,  G06F16/22

Abstract: Methods and systems for using common property datatypes are described. In some embodiments, a system may receive an assignment statement a data structure comprising a first object of a first datatype, the first datatype one of multiple datatypes supporting a common property, the multiple datatypes representing the common property using differing native values, and a common property object of a common property datatype, the common property object representing the common property supported by the multiple datatype. The system can execute or interpret the subscripted assignment statement, converting the common property object into a second object of the first datatype, the second object having a first native value representing the common property for the first datatype. The system can assign the second object to a location of the first object in the data structure. The common property can be at least one of a maximum, minimum, missing, and default.

公开(公告)号：US10705800B2

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

申请号：US15861021

申请日：2018-01-03

Applicant: The MathWorks, Inc.

Inventor： Jean Yves Brunel

IPC: G06F8/10 ,  G06F11/36 ,  G06F8/35 ,  G06F11/28 ,  G06F8/74 ,  G06F8/41

Abstract: A code-proving system is adapted to analyze implementation code for compliance with a at least a specified model. The implementation code can be code that is used to provide control or semi-automated control of a complex electromechanical system, such as an automobile. The specified model may be written to comply with a meta-model such as the software architecture specification known as Automotive Open System Architecture (AUTOSAR).

公开(公告)号：US20200151088A1

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

申请号：US16270082

申请日：2019-02-07

Applicant: The MathWorks, Inc.

Inventor： Yongfeng Gu ,  Girish Venkataramani ,  Wang Chen ,  Bharathi Yogaraj ,  Yuteng Zhou ,  Vibha Patil ,  Anusha Vasantala ,  Purshottam Vishwakarma

IPC: G06F11/36 ,  G06F8/41 ,  G06N3/063 ,  G06N7/00 ,  G06F15/78 ,  G06F5/06

Abstract: Systems and methods may configure a programmable logic device to efficiently run a deep learning (DL) network. Architecture code and algorithmic code may be generated. The architecture code may define convolutional and fully connected processor cores structured to run the layers of a Deep Neural Network (DNN). The processor cores may be interconnected by a First In First Out (FIFO) memory. The architecture code may also define stride-efficient memories for implementing convolution. The algorithmic code may include configuration instructions for running the DNN's layers at the processor cores. The algorithmic code may also include a schedule for executing the configuration instructions on the processor cores, for moving network parameters to the processor cores, and for transferring outputs between the layers.

公开(公告)号：US10423390B1

公开(公告)日：2019-09-24

申请号：US15173085

申请日：2016-06-03

Applicant: The MathWorks, Inc.

Inventor： Ramamurthy Mani ,  Devdatt Lad ,  Meera S. Atreyam

IPC: G06F8/30

Abstract: A system and method may automatically generate computer programming code for an executable model having messaging semantics. The executable model may define messages that have fixed payloads, and that persist for only a determined time interval of a total execution or simulation time of the model. The model may establish message queues for storing messages. The standalone code may include code that establishes message services including the creation of message queues. The generated code may be compiled and deployed on a target device for execution.

公开(公告)号：US10417355B1

公开(公告)日：2019-09-17

申请号：US14657635

申请日：2015-03-13

Applicant: The MathWorks, Inc.

Inventor： Jay R. Torgerson ,  Dennis J. Wilkinson

IPC: G06F17/50 ,  G06G7/62 ,  G06F3/0484 ,  G06F3/0482

Abstract: A system and method predicts one or more next steps during the construction or editing of a graphical model having executable semantics. The one or more next steps being valid actions according to the executable semantics and/or syntax of the graphical model. The system and method presents ghost versions of the one or more next steps on a display of the graphical model. In response to user selection of a given ghost version, the system and method changes the selected ghost version into a completed action at the graphical model. The system and system may also update an in-memory representation of the graphical model with the completed action. The in-memory representation supporting execution of the graphical model.

公开(公告)号：US10379821B1

公开(公告)日：2019-08-13

申请号：US15076459

申请日：2016-03-21

Applicant: The MathWorks, Inc.

Inventor： Xiaocang Lin ,  Robert O. Aberg

IPC: G06F8/35 ,  G06F8/41

Abstract: A modeling environment is provided allowing a user to generate, from a source representation of a model, a target representation of a model and a listing of the optimization performed during generation of the target representation which is associated with the target representation or the source representation. The model may represent a system, such as a dynamic system. The source representation of the model may be a graphical or textual representation. In some embodiments a user may specify whether to implement the optimization.

公开(公告)号：US10372841B2

公开(公告)日：2019-08-06

申请号：US13662529

申请日：2012-10-28

Applicant: The MathWorks, Inc.

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

IPC: G06F17/50

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.