-
1.发明授权Automatic generation of an optimized arrangement for a model and optimized code based on the model 有权根据模型自动生成针对模型和优化代码的优化布置公开(公告)号：US09098292B1
公开(公告)日：2015-08-04
申请号：US14264474
申请日：2014-04-29
Applicant: The MathWorks, Inc.
Inventor： Yuchen Zhang , Beth Cockerham , Xiaocang Lin , Partha Biswas
IPC: G06F9/44
Abstract: A device receives a model that includes blocks and lines provided between the blocks, and identifies first candidate boundaries for the model. Each of the first candidate boundaries defines a group of blocks. The device generates an intermediate representation (IR) of the model, performs an optimization of the IR to generate an optimized IR, and identifies second candidate boundaries for the model based on the optimized IR. Each of the second candidate boundaries defines a group of blocks, and the first and second candidate boundaries define a set of candidate boundaries. The device reduces the set of candidate boundaries, to a reduced set of boundaries, based on code efficiency metrics or metrics associated with a hardware platform. The device generates code for the model based on the reduced set of boundaries, and outputs the code.
Abstract translation: 设备接收包括在块之间提供的块和线的模型，并识别模型的第一候选边界。 每个第一候选边界定义一组块。 设备产生模型的中间表示（IR），执行IR的优化以生成优化的IR，并且基于优化的IR来识别模型的第二候选边界。 每个第二候选边界定义一组块，并且第一和第二候选边界定义一组候选边界。 基于与硬件平台相关联的代码效率度量或度量，该设备将候选边界的集合减少到减少的边界集合。 该设备基于缩小的边界集生成模型的代码，并输出代码。
-
公开(公告)号：US10379821B1
公开(公告)日：2019-08-13
申请号：US15076459
申请日：2016-03-21
Applicant: The MathWorks, Inc.
Inventor： Xiaocang Lin , Robert O. Aberg
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.
-
公开(公告)号：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
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.
-
公开(公告)号：US09934004B1
公开(公告)日：2018-04-03
申请号：US14230191
申请日：2014-03-31
Applicant: THE MATHWORKS, INC.
Inventor： Aravind Pillarisetti , Peter S. Szpak , Jesung Kim , Xiaocang Lin , Pieter J. Mosterman
CPC classification number: G06F8/30 , G06F8/35 , G06F8/41 , G06F9/45516 , G06F11/362 , G06F11/3664 , G06F11/3676
Abstract: A computer readable medium including executable instructions that when executed perform a method for validating an optimization in generated code using an executable constraints document is provided. The medium can include instructions for relating an assumption to the optimization during code generation. The medium can include instructions for generating the executable constraints document during the code generation, the executable constraints document including information about the relating; and the medium can include instructions for executing the constraints document when the validating is performed, the validating including performing an operation based on a validation result produced by the validating, where the operation includes displaying the validation result to a user, storing the validation result, sending the validation result to a destination, or modifying the generated code.
-
公开(公告)号：US09612806B2
公开(公告)日：2017-04-04
申请号：US14475302
申请日：2014-09-02
Applicant: THE MATHWORKS, INC.
Inventor： Mirko Conrad , Xiaocang Lin , Jun Yan , Peter S. Szpak , Appa Rao Nirakh , Jayaprabha Shankar
CPC classification number: G06F8/35 , G06F11/3604
Abstract: In an embodiment, a model is sliced into a plurality of slices. A slice in the plurality of slices is selected. A portion of code, that corresponds to the selected slice, is identified from code generated from the model. The identified code is verified to be equivalent to the selected slice. Equivalence may include equivalent functionality, equivalent data types, equivalent performance, and or other forms of equivalence between the selected slice and the identified generated code.
-
Patent Agency Ranking
公开(公告)号：US09280324B1
公开(公告)日：2016-03-08
申请号：US14145052
申请日：2013-12-31
Applicant: The MathWorks, Inc.
Inventor： Xiaocang Lin , Aravind Pillarisetti , William J. Aldrich , Kai Tuschner
IPC: G06F9/44
CPC classification number: G06F8/34 , G06F8/10 , G06F8/35 , G06F8/355 , G06F8/73 , G06F11/3664 , G06F11/3688 , G06F11/3696 , G06F17/2241 , G06F17/2264
Abstract: Exemplary embodiments employ a mapping among entities that are related to each other. The entities may include a graphical model, generated code, a generated report, a requirements document and/or an intermediate representation. The mapping may facilitate graphical identifications between parts of one entity that maps to part of another entity. The graphical identification may occur based on a selection of a part in one of the entities.
Abstract translation: 示例性实施例采用彼此相关的实体之间的映射。 实体可以包括图形模型，生成的代码，生成的报告，需求文档和/或中间表示。 该映射可以促进映射到另一实体的一部分的一个实体的部分之间的图形标识。 图形识别可以基于对其中一个实体中的部分的选择来进行。
-
7.发明授权Automatic generation of domain-aware phase ordering for effective optimization of code for a model 有权自动生成域感知阶段排序，以有效优化模型的代码公开(公告)号：US09268537B1
公开(公告)日：2016-02-23
申请号：US14629663
申请日：2015-02-24
Applicant: The MathWorks, Inc.
Inventor： Yuchen Zhang , Partha Biswas , Xiaocang Lin
IPC: G06F9/44
Abstract: A device receives a model, in a technical computing environment, that includes blocks and lines, and determines an application domain associated with the model. The device determines code generation optimizations for the model, determines dependencies of the code generation optimizations, and determines performance characteristics for the device. The device determines capabilities of a target compiler for the code generated based on the model, and determines a profile for target hardware to be used to execute the code. The device identifies an order for the code generation optimizations based on the determined information, generates optimal code for the model based on the identified order for the code generation optimizations, and outputs and/or store the optimal code.
Abstract translation: 设备在技术计算环境中接收包含块和线的模型，并确定与模型相关联的应用领域。 设备确定模型的代码生成优化，确定代码生成优化的依赖关系，并确定设备的性能特征。 设备确定基于模型生成的代码的目标编译器的能力，并确定用于执行代码的目标硬件的配置文件。 该设备基于确定的信息识别代码生成优化的顺序，基于所识别的代码生成优化顺序为模型生成最佳代码，并输出和/或存储最优代码。
-
8.发明授权Transforming modeling environment code/model into a non-modeling environment format 有权将建模环境代码/模型转换为非建模环境格式公开(公告)号：US09098291B1
公开(公告)日：2015-08-04
申请号：US13693525
申请日：2012-12-04
Applicant: The MathWorks, Inc.
Inventor： Xiaocang Lin , Jesung Kim , Yong Huang
IPC: G06F9/44
Abstract: A device receives code in a modeling environment format, receives a model in the modeling environment format, and receives relationships information associated with one or more relationships between the code and the model. The device combines the code, the model, and the relationships information to generate an output file in a non-modeling environment format, and outputs or stores the output file.
Abstract translation: 设备以建模环境格式接收代码，以建模环境格式接收模型，并且接收与代码和模型之间的一个或多个关系相关联的关系信息。 该设备组合了代码，模型和关系信息，以非建模环境格式生成输出文件，并输出或存储输出文件。
-
9.发明授权公开(公告)号：US08918769B2
公开(公告)日：2014-12-23
申请号：US13681748
申请日：2012-11-20
Applicant: The MathWorks, Inc.
Inventor： Xiaocang Lin
Abstract: The present invention provides a method and system for optimization of an intermediate representation in a graphical modeling environment. A first intermediate representation is provided. At least one optimization technique is applied to the first intermediate representation. A second intermediate representation is generated responsive to the application of the at least one optimization technique to the first intermediate representation.
Abstract translation: 本发明提供了一种用于在图形建模环境中优化中间表示的方法和系统。 提供了第一个中间表示。 至少一种优化技术被应用于第一中间表示。 响应于将至少一个优化技术应用于第一中间表示而生成第二中间表示。
-
公开(公告)号：US10394533B2
公开(公告)日：2019-08-27
申请号：US14041979
申请日：2013-09-30
Applicant: The MathWorks, Inc.
Inventor： Xiaocang Lin , Peter Szpak
Abstract: In an embodiment, a modeling component generated in a first modeling environment can be implemented in a second modeling environment. The modeling component is executed in the first modeling environment. A first behavior of the modeling component in the first modeling environment is obtained based on the executing. The modeling component is then executed in the second modeling environment. A second behavior of the modeling component in the second modeling environment is obtained based on the executing the modeling component in the second modeling environment. The first behavior is compared to the second behavior. Based on the comparing, it is verified that the second behavior of the modeling component complies with one or more modeling requirements of the second modeling environment. The second behavior of the modeling component may be implemented in the second modeling environment.
-
-
-
-
-
-
-
-
-
Search Results
13
records
(took 0.02 seconds)
