Patents by Inventor Xiaocang Lin
Xiaocang Lin has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).
-
Patent number: 8805664Abstract: In an embodiment, a method of establishing directed relationships between states in a simulation is disclosed. The directed relationships may allow the simulation to proceed from an initial state according to two or more divergent behaviors. The simulation may merge if two or more behaviors result in states that are equivalent. The method may further allow a state of the simulation which has not been stored to be interpolated from one or more states that have been stored. In one embodiment, a system may receive a request to revert to a previous state, and the system may identify a saved state that is closest to the requested state. The system may simulate from the identified state to arrive at the requested state. In one embodiment, the simulation may be a hybrid simulation which is advanced in both discrete and continuous increments.Type: GrantFiled: October 1, 2010Date of Patent: August 12, 2014Assignee: The MathWorks, Inc.Inventors: Zhi Han, Murali Yeddanapudi, Pieter J. Mosterman, Xiaocang Lin, Rajesh Pavan Sunkari
-
Patent number: 8713528Abstract: A code verification tool verifies that code generated from a model represents all of the functionality of the model and does not contain any unintended functionality. The code verification tool may receive for examination a model or an intermediate representation (IR) of the model and the generated code or an intermediate representation of the generated code. The code verification tool may create further intermediate representations of the model and/or the generated code in order to compare the functionality presented in both.Type: GrantFiled: September 14, 2009Date of Patent: April 29, 2014Assignee: The MathWorks, Inc.Inventors: Mirko Conrad, Joel David Thornton, Peter Szpak, Xiaocang Lin
-
Patent number: 8700378Abstract: A graphical model is received and includes a plurality of entities and connectivity information between the entities. The entities include properties, behavioral descriptions, and optionally behavioral constraints. A symbolic expression is received. The symbolic expression represents a property of a first entity in the graphical model. A second entity is identified. The second entity includes the property represented by the symbolic expression. The second entity is identified based on at least one of the connectivity information, a behavioral description, or a behavioral constraint. The symbolic expression is propagated to the second entity. The second entity is expressed in terms of the propagated symbolic expression. An updated graphical model is generated.Type: GrantFiled: December 12, 2007Date of Patent: April 15, 2014Assignee: The MathWorks, Inc.Inventor: Xiaocang Lin
-
Patent number: 8701081Abstract: A computer-implemented method for generating code based on a graphical model may include: translating the graphical model into a graphical model code, the graphical model code including a first graphical model code function; performing a lookup of the first graphical model code function in a hardware specific library, the hardware specific library comprising a plurality of relationships between graphical model code functions and hardware specific functions, where the first graphical model code function is one of the graphical model code functions; obtaining a matched hardware specific function based on the lookup, wherein the matched hardware specific function is one of the hardware specific functions from the hardware specific library; and modifying the graphical model code based on the matched hardware specific function.Type: GrantFiled: August 29, 2011Date of Patent: April 15, 2014Assignee: The MathWorks, Inc.Inventors: James E. Carrick, Peter Szpak, Robert O. Aberg, Andrew C. Bartlett, Xiaocang Lin, Hongbo Yang
-
Patent number: 8689194Abstract: 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.Type: GrantFiled: August 20, 2007Date of Patent: April 1, 2014Assignee: The MathWorks, Inc.Inventors: Aravind Pillarisetti, Peter Szpak, Jesung Kim, Xiaocang Lin, Pieter J. Mosterman
-
Patent number: 8667470Abstract: 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.Type: GrantFiled: December 22, 2011Date of Patent: March 4, 2014Assignee: The Mathworks, Inc.Inventors: Xiaocang Lin, Aravind Pillarisetti, William J. Aldrich, Kai Tuschner
-
Patent number: 8667463Abstract: 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.Type: GrantFiled: December 22, 2011Date of Patent: March 4, 2014Assignee: The Mathworks, Inc.Inventors: Xiaocang Lin, Aravind Pillarisetti, William J Aldrich, Kai Tuschner
-
Patent number: 8627272Abstract: 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.Type: GrantFiled: July 23, 2007Date of Patent: January 7, 2014Assignee: The Mathworks, Inc.Inventors: Xiaocang Lin, Aravind Pillarisetti, William J. Aldrich, Kai Tuschner
-
Patent number: 8627276Abstract: 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.Type: GrantFiled: December 22, 2011Date of Patent: January 7, 2014Assignee: The Mathworks, Inc.Inventors: Xiaocang Lin, Aravind Pillarisetti, William J Aldrich, Kai Tuschner
-
Publication number: 20130263082Abstract: 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.Type: ApplicationFiled: November 20, 2012Publication date: October 3, 2013Inventor: Xiaocang LIN
-
Patent number: 8448130Abstract: A technique for generating an executable document that includes information for validating generated code is provided. The technique can include mapping an assumption to a portion of generated code, the portion containing functional code that is related to implementing the assumption, the mapping allowing at least the portion to be validated with respect to the assumption. The technique can include generating the executable document, where the executable document includes the mapping, and where the generated document validates the at least the portion of the generated code, where validating the at least the portion of the generated code validates the generated code.Type: GrantFiled: August 20, 2007Date of Patent: May 21, 2013Assignee: The MathWorks, Inc.Inventors: Aravind Pillarisetti, Peter Szpak, Jesung Kim, Xiaocang Lin, Pieter J. Mosterman
-
Patent number: 8370156Abstract: 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.Type: GrantFiled: January 20, 2010Date of Patent: February 5, 2013Assignee: The MathWorks, Inc.Inventors: Jay Ryan Torgerson, Xiaocang Lin, Pieter J. Mosterman
-
Patent number: 8316359Abstract: 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.Type: GrantFiled: June 2, 2011Date of Patent: November 20, 2012Assignee: The MathWorks, Inc.Inventor: Xiaocang Lin
-
Publication number: 20120254827Abstract: 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.Type: ApplicationFiled: September 30, 2011Publication date: October 4, 2012Applicant: THE MATHWORKS, INC.Inventors: Mirko CONRAD, Xiaocang LIN, Jun YAN, Peter SZPAK, Appa Rao NIRAKH, Jaya SHANKAR
-
Publication number: 20120254830Abstract: 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.Type: ApplicationFiled: September 30, 2011Publication date: October 4, 2012Applicant: THE MATHWORKS, INC.Inventors: Mirko CONRAD, Xiaocang LIN, Jun YAN, Peter SZPAK, Matthew Wnglehart, Appa Rao NIRAKH, Jaya SHANKAR
-
Patent number: 8260598Abstract: A method and apparatus to generate code to represent a graphical model formed of multiple graphical modeling components and at least one variable-sized signal is presented. Each variable-sized signal is represented using a size-vector in the generated code. The generated code is optimized by representing multiple variable-sized signals with the same size-vector such that at least two variable-sized signals share a size-vector in the generated code. The size of the variable-sized signal is capable of changing during the execution of the graphical model. The method and apparatus also identifies the owners of the variable-sized signals.Type: GrantFiled: January 11, 2007Date of Patent: September 4, 2012Assignee: The MathWorks, Inc.Inventors: Hongbo Yang, Xiaocang Lin, Haihua Feng
-
Publication number: 20120124552Abstract: 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.Type: ApplicationFiled: December 22, 2011Publication date: May 17, 2012Applicant: THE MATHWORKS, INC.Inventors: Xiaocang LIN, Aravind Pillarisetti, William J. Aldrich, Kai Tuschner
-
Publication number: 20120096439Abstract: 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.Type: ApplicationFiled: December 22, 2011Publication date: April 19, 2012Applicant: THE MATHWORKS, INC.Inventors: Xiaocang LIN, Aravind Pillarisetti, William J. Aldrich, Kai Tuschner
-
Publication number: 20120096430Abstract: 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.Type: ApplicationFiled: December 22, 2011Publication date: April 19, 2012Applicant: THE MATHWORKS, INC.Inventors: Xiaocang LIN, Aravind Pillarisetti, William J. Aldrich, Kai Tuschner
-
Patent number: 8104017Abstract: 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.Type: GrantFiled: November 29, 2006Date of Patent: January 24, 2012Assignee: The MathWorks, Inc.Inventors: Xiaocang Lin, Aravind Pillarisetti, William J. Aldrich, Kai Tuschner