公开(公告)号：US08805651B1

公开(公告)日：2014-08-12

申请号：US11405027

申请日：2006-04-14

申请人： Andrew C. Bartlett ,  Pieter J. Mosterman

发明人： Andrew C. Bartlett ,  Pieter J. Mosterman

IPC分类号： G06F17/50

CPC分类号： G06F17/5009 ,  G06F8/10 ,  G06F2217/74

摘要： A method and system are provided for deriving a property value of a data type in a graphical modeling environment. A graphical model in the graphical modeling environment includes at least one signal having a data type having a precision property, a minimum data value property, or a maximum data value property. These properties may be defined by a user of the graphical modeling environment. The graphical modeling environment may also include instrumentation and diagnostics for signals. Heuristics and algorithms may be provided for auto scaling and selection of data types for signals.

摘要翻译： 提供了一种用于在图形建模环境中导出数据类型的属性值的方法和系统。 图形建模环境中的图形模型包括具有数据类型的至少一个信号具有精度属性，最小数据值属性或最大数据值属性。 这些属性可以由图形建模环境的用户定义。 图形建模环境还可以包括用于信号的仪器和诊断。 可以提供启发式和算法用于自动缩放和选择信号的数据类型。

公开(公告)号：US10365897B1

公开(公告)日：2019-07-30

申请号：US13478344

申请日：2012-05-23

申请人： Mojdeh Shakeri ,  Michael D. Tocci ,  John E. Ciolfi ,  Ebrahim Mehran Mestchian ,  Pieter J. Mosterman

发明人： Mojdeh Shakeri ,  Michael D. Tocci ,  John E. Ciolfi ,  Ebrahim Mehran Mestchian ,  Pieter J. Mosterman

IPC分类号： G06F17/50 ,  G06F8/30 ,  G06F8/34

摘要： A system and method creates a plurality of different ring components for a referenced model included within a parent model. The ring components include values for one or more model-level, block-level, and signal-level attributes of the referenced model. One or more ring components are selected and assigned to the referenced model in the context of the parent model. During execution of the parent model, information from the selected ring component is accessed and used to control execution of the referenced model. During code generation for the parent model, information from the selected ring component is accessed and used to control the code generation process for the referenced model.

公开(公告)号：US09038016B2

公开(公告)日：2015-05-19

申请号：US13453417

申请日：2012-04-23

申请人： Paul F. Kinnucan, Jr. ,  Pieter J. Mosterman ,  Ebrahim Mehran Mestchian

发明人： Paul F. Kinnucan, Jr. ,  Pieter J. Mosterman ,  Ebrahim Mehran Mestchian

IPC分类号： G06F9/44

CPC分类号： G06F9/4433 ,  G06F8/10 ,  G06F8/34 ,  G06F9/4492

摘要： The present invention allows a user to graphically define a hierarchy of user-defined, executable classes of graphical objects that can be implemented in a graphical model. The present invention supports the features of inheritance, abstraction and polymorphism. Further, descendant classes of graphical objects can graphically extend the behavior and/or structure of ancestor classes of graphical objects.

摘要翻译： 本发明允许用户以图形方式定义可以在图形模型中实现的图形对象的用户定义的可执行类的层级。 本发明支持继承，抽象和多态的特征。 此外，图形对象的后代类可以图形地扩展图形对象的祖先类的行为和/或结构。

公开(公告)号：US08769491B1

公开(公告)日：2014-07-01

申请号：US11937170

申请日：2007-11-08

申请人： Joe Conti ,  Michael Patrick Bushe ,  Roy Lurie ,  Joseph F. Hicklin ,  Pieter J. Mosterman

发明人： Joe Conti ,  Michael Patrick Bushe ,  Roy Lurie ,  Joseph F. Hicklin ,  Pieter J. Mosterman

IPC分类号： G06F9/44 ,  G06F9/46 ,  G06F15/16

CPC分类号： G06F8/314

摘要： Exemplary embodiments provide annotations for dynamic dispatch of threads from scripting language code. Exemplary embodiments may provide scripting language code and execute the code causing examination of at least one annotation associated with a referenced collection of code. Exemplary embodiments may dynamically dispatch a first task to a first thread automatically from the scripting language code at runtime based on the examination of the at least one annotation associated with the referenced collection of code.

摘要翻译： 示例性实施例提供了用于从脚本语言代码动态调度线程的注释。 示例性实施例可以提供脚本语言代码并且执行代码，以引起检查与引用的代码集合相关联的至少一个注释。 基于对与引用的代码集合相关联的至少一个注释的检查，示例性实施例可以在运行时从脚本语言代码自动地将第一任务自动地分派到第一线程。

公开(公告)号：US08688491B1

公开(公告)日：2014-04-01

申请号：US13179989

申请日：2011-07-11

申请人： Rohit Shenoy ,  Pieter J. Mosterman ,  Bella G. Teverovsky ,  John Fluet ,  Craig Dowley

发明人： Rohit Shenoy ,  Pieter J. Mosterman ,  Bella G. Teverovsky ,  John Fluet ,  Craig Dowley

IPC分类号： G01R31/28 ,  G06Q10/00

CPC分类号： G06Q30/02 ,  G06Q30/0201 ,  G06Q30/0202

摘要： Business management methods for on-demand trial based marketing and sales are introduced. Using on-demand trial technology, usage metrics can be automatically generated by tracking the usage of specific products and corresponding duration. Usage metrics and other data are automatically processed to qualify and channel leads to pertinent categories in sales and marketing. The present invention facilitates a more directed effort to investigate leads and makes the information of customers available for follow-up that has higher prospective sales potential. The present invention may also be used to dispatch pre-release reports automatically to a vendor.

摘要翻译： 介绍了按需试用营销和销售业务管理方法。 使用按需试用技术，可以通过跟踪特定产品的使用情况和相应的持续时间来自动生成使用指标。 自动处理使用指标和其他数据，以便在销售和营销方面符合条件并引导相关的类别。 本发明有助于更有针对性的努力来调查潜在客户，并使客户的信息可用于具有较高潜在销售潜力的后续行动。 本发明还可以用于将预发布报告自动地发送给供应商。

公开(公告)号：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.

摘要翻译： 提供了一种用于生成包括用于验证生成的代码的信息的可执行文档的技术。 该技术可以包括将假设映射到生成的代码的一部分，该部分包含与实现该假设相关的功能代码，该映射允许至少该部分相对于该假设被验证。 该技术可以包括生成可执行文档，其中可执行文档包括映射，并且其中生成的文档验证所生成的代码的至少一部分，其中验证所生成的代码的至少一部分验证生成的代码。

公开(公告)号：US20130116989A1

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

申请号：US13652186

申请日：2012-10-15

申请人： Fu Zhang ,  Zhi Han ,  Murali K. Yeddanapudi ,  Pieter J. Mosterman

发明人： Fu Zhang ,  Zhi Han ,  Murali K. Yeddanapudi ,  Pieter J. Mosterman

IPC分类号： G06F17/10

CPC分类号： G06F8/10 ,  G06F17/5009

摘要： A method, performed by a computer device, may include interacting with one or more plots associated with a simulation of an executable graphical model, receiving a selection of one or more target output points associated with the one or more plots; receiving a selection identifying one or more parameters, associated with the one or more plots, of one or more system parameters, associated with the executable graphical model; and generating an inverse parameter Jacobian matrix. The inverse parameter Jacobian matrix may correspond to an inverse of a parameter Jacobian matrix that relates one or more partial derivatives of the one or more system parameters to one or more system equations. The method may further include determining one or more tuning values for the selected one or more parameters based on the generated inverse parameter Jacobian matrix and based on the selected one or more target output points.

摘要翻译： 由计算机设备执行的方法可以包括与与可执行图形模型的模拟相关联的一个或多个绘图交互，接收与所述一个或多个绘图相关联的一个或多个目标输出点的选择; 接收与可执行图形模型相关联的识别与所述一个或多个绘图相关联的一个或多个系统参数的一个或多个参数的选择; 并生成逆参数雅可比矩阵。 逆参数雅可比矩阵可以对应于将一个或多个系统参数的一个或多个偏导数与一个或多个系统方程相关联的参数雅可比矩阵的逆。 该方法还可以包括基于所生成的逆参数雅可比矩阵并且基于所选择的一个或多个目标输出点来确定所选择的一个或多个参数的一个或多个调谐值。

公开(公告)号：US20130116988A1

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

申请号：US13652180

申请日：2012-10-15

申请人： Fu Zhang ,  Zhi Han ,  Murali K. Yeddanapudi ,  Pieter J. Mosterman

发明人： Fu Zhang ,  Zhi Han ,  Murali K. Yeddanapudi ,  Pieter J. Mosterman

IPC分类号： G06F17/10

摘要： A method, performed by a computer device, may include receiving a request to automatically select a solver for a simulation of an executable graphical model, determining a Jacobian matrix for the executable graphical model, calculating a stiffness of the executable graphical model based on the determined Jacobian matrix, and determining whether the calculated stiffness is greater than a stiffness threshold. The method may further include automatically selecting an implicit solver as the solver for the simulation, in response to determining that the calculated stiffness is greater than the stiffness threshold, automatically selecting an explicit solver as the solver for the simulation, in response to determining that the calculated stiffness is not greater than the stiffness threshold, and performing the simulation using the selected solver.

摘要翻译： 由计算机设备执行的方法可以包括接收自动选择用于模拟可执行图形模型的求解器的请求，为可执行图形模型确定雅可比矩阵，基于确定的可计算图形模型计算可执行图形模型的刚度 雅可比矩阵，并确定计算的刚度是否大于刚度阈值。 响应于确定所计算的刚度大于刚度阈值，自动选择隐式求解器作为模拟的求解器，响应于确定所述计算出的刚度大于刚度阈值，自动选择显式求解器作为模拟的求解器 计算刚度不大于刚度阈值，并使用所选择的求解器进行模拟。

公开(公告)号：US08359304B1

公开(公告)日：2013-01-22

申请号：US13185243

申请日：2011-07-18

申请人： Pieter J. Mosterman ,  Farid Antoine Abi-Zeid ,  Hidayet Tunc Simsek ,  Claudia Gaudagnini Wey ,  Mojdeh Shakeri ,  Jay Ryan Torgerson

发明人： Pieter J. Mosterman ,  Farid Antoine Abi-Zeid ,  Hidayet Tunc Simsek ,  Claudia Gaudagnini Wey ,  Mojdeh Shakeri ,  Jay Ryan Torgerson

IPC分类号： G06F7/00 ,  G06F17/30

CPC分类号： G06F17/30867 ,  G06F17/30522 ,  G06F17/30864

摘要： A system may receive a model, extract information from the model, form a group of tags using the extracted information, and associate the group of tags with the model. The system may further receive a search query including one or more sequences of characters and determine whether to provide the model in a list of models created for the search query, based on the one or more sequences of characters and the group of tags.

公开(公告)号：US08280832B1

公开(公告)日：2012-10-02

申请号：US12404118

申请日：2009-03-13

申请人： Matthew Englehart ,  Pieter J. Mosterman

发明人： Matthew Englehart ,  Pieter J. Mosterman

IPC分类号： G06F17/00

CPC分类号： G06N5/022 ,  G06F8/41 ,  G06F17/50

摘要： A technique for analyzing a model, either statically or dynamically, checks the model for one or more specified patterns with respect to accessing a data store associated with the model. The patterns may include, for example, writing to the data store prior to reading the data store, reading the data store prior to writing to the data store, writing to the data store multiple times prior to reading the data store, reading the data store multiple times before writing to the data store, etc. The model may be an executable graphical model that is generated in a graphical modeling environment. A result may be generated based on analyzing the model and the result may be output.

摘要翻译： 一种用于分析模型（静态或动态）的技术来检查模型对于访问与模型相关联的数据存储的一个或多个指定模式。 模式可以包括例如在读取数据存储之前写入数据存储器，在写入数据存储之前读取数据存储器，在读取数据存储器之前多次写入数据存储器，读取数据存储器 在写入数据存储之前多次等等。该模型可以是在图形建模环境中生成的可执行图形模型。 可以基于分析模型生成结果，并且可以输出结果。