专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US08805664B1 System and method for simulating branching behavior 有权
标题翻译：用于模拟分支行为的系统和方法
公开(公告)号：US08805664B1
公开(公告)日：2014-08-12
申请号：US12896407
申请日：2010-10-01
申请人： Zhi Han , Murali Yeddanapudi , Pieter J. Mosterman , Xiaocang Lin , Rajesh Pavan Sunkari
发明人： Zhi Han , Murali Yeddanapudi , Pieter J. Mosterman , Xiaocang Lin , Rajesh Pavan Sunkari
IPC分类号： G06F17/50
CPC分类号： G06F17/5009 , G06F2217/16 , G06F2217/74
摘要： 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.
摘要翻译：在一个实施例中，公开了一种在模拟中建立状态之间的有向关系的方法。定向关系可以允许根据两个或多个发散行为从初始状态进行模拟。如果两个或多个行为导致等效的状态，则模拟可能会合并。该方法还可以允许未被存储的模拟状态从已被存储的一个或多个状态内插。在一个实施例中，系统可以接收到恢复到先前状态的请求，并且系统可以识别最接近所请求状态的保存状态。系统可以从识别状态模拟到达请求状态。在一个实施例中，模拟可以是以离散和连续增量进步的混合模拟。

2. 发明授权

US08448130B1 Auto-generated code validation 有权
标题翻译：自动生成代码验证
公开(公告)号：US08448130B1
公开(公告)日：2013-05-21
申请号：US11894391
申请日：2007-08-20
申请人： Aravind Pillarisetti , Peter Szpak , Jesung Kim , Xiaocang Lin , Pieter J. Mosterman
发明人： Aravind Pillarisetti , Peter Szpak , Jesung Kim , Xiaocang Lin , Pieter J. Mosterman
IPC分类号： G06F9/44
CPC分类号： G06F8/447
摘要： 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.
摘要翻译：提供了一种用于生成包括用于验证生成的代码的信息的可执行文档的技术。该技术可以包括将假设映射到生成的代码的一部分，该部分包含与实现该假设相关的功能代码，该映射允许至少该部分相对于该假设被验证。该技术可以包括生成可执行文档，其中可执行文档包括映射，并且其中生成的文档验证所生成的代码的至少一部分，其中验证所生成的代码的至少一部分验证生成的代码。

3. 发明授权

US08370156B1 Editing suggestions in different formalisms 有权
标题翻译：编辑不同形式的建议
公开(公告)号：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.
摘要翻译：示例性实施例使得能够生成和传播用于以不同形式实现的系统表示的编辑建议。示例性实施例使得能够以不同的形式来表示底层系统的一个或多个部分。示例性实施例基于对特定表示的分析，实现特定表示的形式主义，底层系统的至少一个其他表示以及其中至少一个其他表示形式，自动生成用于编辑特定表示的建议被实施示例性实施例还产生相应的建议，用于基于至少一个其他表示的分析和其实现的形式主义来编辑底层系统的至少一个其他表示。

4. 发明授权

US08689194B1 Optimization identification 有权
标题翻译：优化识别
公开(公告)号：US08689194B1
公开(公告)日：2014-04-01
申请号：US11894388
申请日：2007-08-20
申请人： Aravind Pillarisetti , Peter Szpak , Jesung Kim , Xiaocang Lin , Pieter J. Mosterman
发明人： Aravind Pillarisetti , Peter Szpak , Jesung Kim , Xiaocang Lin , Pieter J. Mosterman
IPC分类号： G06F9/45
CPC分类号： G06F8/30 , G06F8/35 , G06F8/41 , G06F9/45516 , G06F11/362 , G06F11/3664 , G06F11/3676
摘要： 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.
摘要翻译：一种包括可执行指令的计算机可读介质，其被执行时执行执行用于使用可执行约束文档来验证生成的代码中的优化的方法。介质可以包括用于在码生成期间将假设与优化相关联的指令。介质可以包括用于在代码生成期间生成可执行约束文档的指令，可执行约束文档包括关于相关的信息; 并且所述介质可以包括当执行所述验证时执行所述约束文档的指令，所述验证包括基于由所述验证产生的验证结果执行操作，其中所述操作包括向所述用户显示所述验证结果，存储所述验证结果，将验证结果发送到目的地，或修改生成的代码。

5. 发明授权

US09244510B1 Bug report checks in a modeling system 有权
标题翻译：建模系统中的错误报告检查
公开(公告)号：US09244510B1
公开(公告)日：2016-01-26
申请号：US13242936
申请日：2011-09-23
申请人： Mirko Conrad , Peter Szpak , Thomas Joseph Erkkinen , Xiaocang Lin , David William Hoadley
发明人： Mirko Conrad , Peter Szpak , Thomas Joseph Erkkinen , Xiaocang Lin , David William Hoadley
IPC分类号： G06F9/44 , G06F1/30 , G06F11/07
CPC分类号： G06F11/30 , G06F11/0706 , G06F11/0766 , G06F11/0781
摘要： A method may include storing bug reports in a memory, where a particular one of the bug reports describes a software bug and includes information about a modeling application. The method may further include receiving, from another computer device, a request for bug reports relevant to a model generated using the modeling application, where the request includes information about the model; identifying one or more relevant bug reports, in the stored bug reports, by comparing the information about the modeling application, included in the stored bug reports, with the information about the model, included in the received request; and providing information about the one or more relevant bug reports to the other computer device.
摘要翻译：方法可以包括将错误报告存储在存储器中，其中特定的一个错误报告描述了软件错误并且包括关于建模应用的信息。该方法还可以包括从另一计算机设备接收与使用建模应用生成的模型相关的错误报告的请求，其中请求包括关于模型的信息; 通过将包含在存储的错误报告中的建模应用程序的信息与收到的请求中包含的模型信息进行比较，在存储的错误报告中识别一个或多个相关的错误报告; 并向其他计算机设备提供关于一个或多个相关错误报告的信息。

6. 发明授权

US08667463B2 Traceability in a modeling environment 有权
标题翻译：建模环境中的可跟踪性
公开(公告)号：US08667463B2
公开(公告)日：2014-03-04
申请号：US13335556
申请日：2011-12-22
申请人： Xiaocang Lin , Aravind Pillarisetti , William J Aldrich , Kai Tuschner
发明人： Xiaocang Lin , Aravind Pillarisetti , William J Aldrich , Kai Tuschner
IPC分类号： G06F9/44
CPC分类号： G06F8/34 , G06F8/10 , G06F8/35 , G06F8/355 , G06F8/73 , G06F11/3664 , G06F11/3688 , G06F11/3696 , G06F17/2241 , G06F17/2264
摘要： 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.
摘要翻译：示例性实施例采用彼此相关的实体之间的映射。实体可以包括图形模型，生成的代码，生成的报告，需求文档和/或中间表示。该映射可以促进映射到另一实体的一部分的一个实体的部分之间的图形标识。图形识别可以基于对其中一个实体中的部分的选择来进行。

7. 发明申请

US20080098349A1 Traceability in a modeling environment 有权
标题翻译：建模环境中的可跟踪性
公开(公告)号：US20080098349A1
公开(公告)日：2008-04-24
申请号：US11605747
申请日：2006-11-29
申请人： Xiaocang Lin , Aravind Pillarisetti , William Aldrich , Kai Tuschner
发明人： Xiaocang Lin , Aravind Pillarisetti , William Aldrich , Kai Tuschner
IPC分类号： G06F9/44
CPC分类号： G06F8/34 , G06F8/10 , G06F8/35 , G06F8/355 , G06F8/73 , G06F11/3664 , G06F11/3688 , G06F11/3696 , G06F17/2241 , G06F17/2264
摘要： 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.
摘要翻译：示例性实施例采用彼此相关的实体之间的映射。实体可以包括图形模型，生成的代码，生成的报告，需求文档和/或中间表示。该映射可以促进映射到另一实体的一部分的一个实体的部分之间的图形标识。图形识别可以基于对其中一个实体中的部分的选择来进行。

8. 发明申请

US20070169039A1 Application of optimization techniques to intermediate representations for code generation 有权
标题翻译：将优化技术应用于代码生成的中间表示
公开(公告)号：US20070169039A1
公开(公告)日：2007-07-19
申请号：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.
摘要翻译：本发明提供了一种用于在图形建模环境中优化中间表示的方法和系统。提供了第一个中间表示。至少一种优化技术被应用于第一中间表示。响应于将至少一个优化技术应用于第一中间表示而生成第二中间表示。

9. 发明授权

US08713528B1 Verification of computer-executable code generated from a model 有权
标题翻译：从模型生成的计算机可执行代码的验证
公开(公告)号：US08713528B1
公开(公告)日：2014-04-29
申请号：US12559233
申请日：2009-09-14
申请人： Mirko Conrad , Joel David Thornton , Peter Szpak , Xiaocang Lin
发明人： Mirko Conrad , Joel David Thornton , Peter Szpak , Xiaocang Lin
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F11/3608 , G06F8/35 , G06F11/3604
摘要： 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.
摘要翻译：代码验证工具验证从模型生成的代码是否表示模型的所有功能，并且不包含任何非预期的功能。代码验证工具可以接收用于检查模型的模型或中间表示（IR）以及生成的代码或生成的代码的中间表示。代码验证工具可以创建模型和/或生成的代码的进一步的中间表示，以便比较两者中呈现的功能。

10. 发明授权

US08627272B1 Traceability in a modeling environment 有权
公开(公告)号：US08627272B1
公开(公告)日：2014-01-07
申请号：US11880620
申请日：2007-07-23
申请人： Xiaocang Lin , Aravind Pillarisetti , William J. Aldrich , Kai Tuschner
发明人： Xiaocang Lin , Aravind Pillarisetti , William J. Aldrich , Kai Tuschner
IPC分类号： G06F9/44
CPC分类号： G06F8/34 , G06F8/10 , G06F8/35 , G06F8/355 , G06F8/73 , G06F11/3664 , G06F11/3688 , G06F11/3696 , G06F17/2241 , G06F17/2264
摘要： 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.

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式