公开(公告)号：US08370156B1

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

申请号：US12690560

申请日：2010-01-20

申请人： Jay Ryan Torgerson ,  Xiaocang Lin ,  Pieter J. Mosterman

发明人： Jay Ryan Torgerson ,  Xiaocang Lin ,  Pieter J. Mosterman

IPC分类号： G10L21/00

CPC分类号： G06F17/504 ,  G06F8/34

摘要： Exemplary embodiments enable generating and propagating editing suggestions for system representations implemented in different formalisms. Exemplary embodiments enable representation of one or more portions of an underlying system in different formalisms. Exemplary embodiments automatically generate suggestions for editing a particular representation based on an analysis of the particular representation, the formalism in which the particular representation is implemented, at least one other representation of the underlying system, and the formalism in which the at least one other representation is implemented. Exemplary embodiments also generate corresponding suggestions for editing at least one other representation of the underlying system based on an analysis of the at least one other representation and the formalism in which it is implemented.

摘要翻译： 示例性实施例使得能够生成和传播用于以不同形式实现的系统表示的编辑建议。 示例性实施例使得能够以不同的形式来表示底层系统的一个或多个部分。 示例性实施例基于对特定表示的分析，实现特定表示的形式主义，底层系统的至少一个其他表示以及其中至少一个其他表示形式，自动生成用于编辑特定表示的建议 被实施 示例性实施例还产生相应的建议，用于基于至少一个其他表示的分析和其实现的形式主义来编辑底层系统的至少一个其他表示。

公开(公告)号：US09361119B1

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

申请号：US12615702

申请日：2009-11-10

申请人： Xiaocang Lin

发明人： Xiaocang Lin

IPC分类号： G06F9/44 ,  G06F9/445

CPC分类号： G06F9/4401 ,  G06F8/423 ,  G06F8/75 ,  G06F9/44505

摘要： The present application is generally directed to mediums, methods, and systems for identifying and manipulating active code components. In exemplary embodiments, a user control interface is provided for displaying a source design which includes instructions in a preprocessor language and instructions in a source language. A resolvable preprocessor condition may be identified along with an instruction in the source language that is associated with the resolvable condition. The resolvable condition and the associated condition may be displayed, and the associated condition may be graphically indicated as controllable by the resolvable condition. A user may supply an input that provides a value for the resolvable condition. In some embodiments, instructions in the source language are displayed and, upon selection of one or more source language instructions by a user, a preprocessor condition that is associated with the selected source language instructions may be displayed.

摘要翻译： 本申请通常涉及用于识别和操纵活动代码组件的介质，方法和系统。 在示例性实施例中，提供用户控制界面用于显示源设计，其包括预处理器语言的指令和源语言的指令。 可解析的预处理器条件可以与源语言中与可解析条件相关联的指令一起被识别。 可以显示可解决条件和相关联的条件，并且相关联的条件可以被图形化地指示为由可解析条件控制。 用户可以提供提供可解析条件的值的输入。 在一些实施例中，显示源语言中的指令，并且在用户选择一个或多个源语言指令时，可以显示与所选择的源语言指令相关联的预处理器条件。

公开(公告)号：US08869103B2

公开(公告)日：2014-10-21

申请号：US13250577

申请日：2011-09-30

申请人： Mirko Conrad ,  Xiaocang Lin ,  Jun Yan ,  Peter Szpak ,  Appa Rao Nirakh ,  Jaya Shankar

发明人： Mirko Conrad ,  Xiaocang Lin ,  Jun Yan ,  Peter Szpak ,  Appa Rao Nirakh ,  Jaya Shankar

IPC分类号： G06F9/44

CPC分类号： G06F11/3604 ,  G06F8/35

摘要： 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.

摘要翻译： 在一个实施例中，将模型切成多个切片。 选择多个切片中的切片。 根据从模型生成的代码来识别对应于所选切片的一部分代码。 所识别的代码被验证为等同于所选择的切片。 等效性可以包括等效的功能，等效的数据类型，等效的性能，和/或所选切片和所识别的生成的代码之间的等价的其他形式。

公开(公告)号：US08316359B2

公开(公告)日：2012-11-20

申请号：US13151813

申请日：2011-06-02

申请人： Xiaocang Lin

发明人： Xiaocang Lin

IPC分类号： G06F9/45

CPC分类号： G06F8/34 ,  G06F8/35 ,  G06F8/443

摘要： 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.

摘要翻译： 本发明提供了一种用于在图形建模环境中优化中间表示的方法和系统。 提供了第一个中间表示。 至少一种优化技术被应用于第一中间表示。 响应于将至少一个优化技术应用于第一中间表示而生成第二中间表示。

公开(公告)号：US07966610B2

公开(公告)日：2011-06-21

申请号：US11283343

申请日：2005-11-17

申请人： Xiaocang Lin

发明人： Xiaocang Lin

IPC分类号： G06F9/45

CPC分类号： G06F8/34 ,  G06F8/35 ,  G06F8/443

摘要： 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.

摘要翻译： 本发明提供了一种用于在图形建模环境中优化中间表示的方法和系统。 提供了第一个中间表示。 至少一种优化技术被应用于第一中间表示。 响应于将至少一个优化技术应用于第一中间表示而生成第二中间表示。