CODE GENERATION FOR CONTROL DESIGN
    1.
    发明申请
    CODE GENERATION FOR CONTROL DESIGN 有权
    控制设计代码生成

    公开(公告)号:US20130198713A1

    公开(公告)日:2013-08-01

    申请号:US13803026

    申请日:2013-03-14

    IPC分类号: G06F9/44

    摘要: A method, performed by a computer device, includes obtaining an in-memory representation of computer code from a block step method of an executable model in a modeling application, wherein the computer code in-memory representation includes one or more variables. The method also includes identifying, from the one or more variables, a subset of persistent variables and determining if any of the one or more variables in the subset of persistent variables are state variables. When none of the subset of persistent variables are state variables, a block output method is generated based on the computer code in-memory representation and the one or more variables. When the subset of persistent variables includes a state variable, both the block output method and a block update method are generated based on the computer code in-memory representation and the one or more variables.

    摘要翻译: 由计算机设备执行的方法包括从建模应用中的可执行模型的块步骤方法获得计算机代码的存储器内表示,其中所述计算机代码存储器内的表示包括一个或多个变量。 该方法还包括从一个或多个变量识别持久变量的子集,并确定持久性变量子集中的一个或多个变量中的任何一个是状态变量。 当持久性变量的子集都不是状态变量时,基于计算机代码内存表示和一个或多个变量生成块输出方法。 当持久变量的子集包括状态变量时,块输出方法和块更新方法都是基于计算机代码内存表示和一个或多个变量生成的。

    PARAMETER TUNING
    2.
    发明申请
    PARAMETER TUNING 审中-公开
    参数调谐

    公开(公告)号:US20130116989A1

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

    申请号:US13652186

    申请日:2012-10-15

    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.

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

    AUTOMATIC SOLVER SELECTION
    3.
    发明申请
    AUTOMATIC SOLVER SELECTION 审中-公开
    自动选择

    公开(公告)号:US20130116988A1

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

    申请号:US13652180

    申请日:2012-10-15

    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.

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

    BIDOMAIN SIMULATOR
    4.
    发明申请
    BIDOMAIN SIMULATOR 有权
    双向模拟器

    公开(公告)号:US20130116987A1

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

    申请号:US13652174

    申请日:2012-10-15

    IPC分类号: G06F17/10

    CPC分类号: G06F8/10 G06F8/40 G06F17/5009

    摘要: A method, performed by a computer device, may include selecting one or more input and output points in an executable graphical model in a modeling application and simulating the executable graphical model over a plurality of time points. The method may further include generating a time domain response plot for the executable graphical model based on the simulating; obtaining matrices of partial derivatives based no the selected one or more input and output points at particular time points of the plurality of time points; generating a frequency domain response plot for the executable graphical model based on the obtained matrices of partial derivatives; and generating a bidomain simulator user interface, the bidomain simulator user interface including the generated time domain response plot and the generated frequency domain response plot.

    摘要翻译: 由计算机设备执行的方法可以包括在建模应用中选择可执行图形模型中的一个或多个输入和输出点,并在多个时间点上模拟可执行图形模型。 该方法还可以包括:基于模拟生成可执行图形模型的时域响应图; 在所述多个时间点的特定时间点不基于所选择的一个或多个输入和输出点获得偏导数的矩阵; 基于获得的偏导数矩阵生成可执行图形模型的频域响应图; 并且生成出价模拟器用户界面,所述投标模拟器用户界面包括生成的时域响应图和所生成的频域响应图。

    System and method for simulating branching behavior
    5.
    发明授权
    System and method for simulating branching behavior 有权
    用于模拟分支行为的系统和方法

    公开(公告)号:US08805664B1

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

    申请号:US12896407

    申请日:2010-10-01

    IPC分类号: G06F17/50

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

    摘要翻译: 在一个实施例中,公开了一种在模拟中建立状态之间的有向关系的方法。 定向关系可以允许根据两个或多个发散行为从初始状态进行模拟。 如果两个或多个行为导致等效的状态,则模拟可能会合并。 该方法还可以允许未被存储的模拟状态从已被存储的一个或多个状态内插。 在一个实施例中,系统可以接收到恢复到先前状态的请求,并且系统可以识别最接近所请求状态的保存状态。 系统可以从识别状态模拟到达请求状态。 在一个实施例中,模拟可以是以离散和连续增量进步的混合模拟。

    Annotations for dynamic dispatch of threads from scripting language code
    8.
    发明授权
    Annotations for dynamic dispatch of threads from scripting language code 有权
    从脚本语言代码动态调度线程的注释

    公开(公告)号:US08769491B1

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

    申请号:US11937170

    申请日:2007-11-08

    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.

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

    Testing and error reporting for on-demand software based marketing and sales
    9.
    发明授权
    Testing and error reporting for on-demand software based marketing and sales 有权
    基于按需软件的营销和销售测试和错误报告

    公开(公告)号:US08688491B1

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

    申请号:US13179989

    申请日:2011-07-11

    IPC分类号: G01R31/28 G06Q10/00

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

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

    Auto-generated code validation
    10.
    发明授权
    Auto-generated code validation 有权
    自动生成代码验证

    公开(公告)号:US08448130B1

    公开(公告)日:2013-05-21

    申请号:US11894391

    申请日:2007-08-20

    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.

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