公开(公告)号：US08930387B1

公开(公告)日：2015-01-06

申请号：US13708440

申请日：2012-12-07

Applicant: The MathWorks, Inc.

Inventor： Joseph F. Hicklin ,  Audrey L. Benevento

IPC: G06F7/00 ,  G06N99/00

CPC classification number: G06N99/005 ,  G06F17/3064

Abstract: In an illustrative embodiment, an apparatus, computer-readable medium, system, or method may be configured to suggest correct identifiers. Frequencies of occurrence of expected identifiers may be determined. One or more unrecognized identifiers may be detected. One or more first numerical scores indicating that one or more unrecognized identifiers were provided to the computing environment in place of one or more of the expected identifiers may be calculated. Second numerical scores indicating that the unrecognized identifiers were intended to include expected identifiers may also be calculated. The second numerical scores may be calculated using the first numerical scores and the frequencies of occurrence of the expected identifiers. One or more expected identifiers may be selected based on the second set of numerical scores.

Abstract translation: 在说明性实施例中，设备，计算机可读介质，系统或方法可以被配置为建议正确的标识符。 可以确定出现预期标识符的频率。 可以检测一个或多个无法识别的标识符。 可以计算一个或多个第一数值分数，其指示代替预期标识符中的一个或多个提供给计算环境的一个或多个无法识别的标识符。 也可以计算表示未识别的标识符旨在包括预期标识符的第二数值分数。 可以使用第一数值分数和预期标识符的出现频率来计算第二数值分数。 可以基于第二组数值分数来选择一个或多个预期标识符。

公开(公告)号：US20140358506A1

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

申请号：US14461826

申请日：2014-08-18

Applicant: The MathWorks, Inc.

Inventor： William J. Aldrich ,  Ebrahim Mehran Mestchian ,  Denizhan N. Alparslan

IPC: G06F17/50

Abstract: A system and method generates contextual information for a source model. An identification of one or more first model elements of interest within the source model may be received. One or more constraints on inputs of selected model elements also may be received. A scope of analysis regarding outputs of the first model elements may be specified. The contextual information may be derived automatically for the one or more first model elements. The contextual information may include one or more model elements, signals, or states that are contained with the scope of analysis while execution of the source model is limited by the one or more constraints. The derived contextual information may be provided to an output device.

Abstract translation: 系统和方法为源模型生成上下文信息。 可以接收在源模型中的感兴趣的一个或多个第一模型元素的识别。 也可以接收对所选择的模型元素的输入的一个或多个约束。 可以指定关于第一模型元件的输出的分析范围。 可以为一个或多个第一模型元素自动导出上下文信息。 上下文信息可以包括在分析范围内包含的一个或多个模型元素，信号或状态，而源模型的执行受到一个或多个约束的限制。 导出的上下文信息可以被提供给输出设备。

公开(公告)号：US08892416B2

公开(公告)日：2014-11-18

申请号：US13887796

申请日：2013-05-06

Applicant: The MathWorks, Inc.

Inventor： Joseph Daniel Kanapka ,  Nathan Edward Brewton

IPC: G06F17/50

CPC classification number: G06F17/504

Abstract: A mechanism for providing equation-level diagnostic error messages for system models undergoing circuit simulations is discussed. The components in a model of a system being simulated are converted into multiple numerical equations where each equation corresponds to a component in the system being simulated or a topology equation for the system model. Each numerical equation is numerically analyzed in order to identify illegal configurations in the system. Upon detection of an error, an error message listing the components associated with the illegal configuration is generated for the user.

Abstract translation: 讨论了一种为进行电路仿真的系统模型提供方程式诊断错误消息的机制。 被模拟系统的模型中的组件被转换成多个数学方程，其中每个方程对应于正被模拟的系统中的一个组件或系统模型的拓扑方程。 对数值方程进行数值分析，以识别系统中的非法配置。 在检测到错误时，为用户生成列出与非法配置相关联的组件的错误消息。

公开(公告)号：US20140309980A1

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

申请号：US14319611

申请日：2014-06-30

Applicant: The MathWorks, Inc.

Inventor： David MACLAY

IPC: G06F9/455

CPC classification number: G06F9/455 ,  G06F9/4887

Abstract: The automatic generation of a real-time scheduler for scheduling the execution of tasks on a real-time system is disclosed. The scheduler may allow task overruns in the execution of the tasks on the real-time system. The task overruns may occur when the execution of a task for a current sample hit is not completed before a next sample hit. When the task overruns occur, the scheduler may delay the execution of the task for the next sample hit until the execution of the task for the current sample hit is completed. The execution of the task for the next sample hit is performed after the execution of the task for the current sample hit is completed. The present invention may enable users to input information relating to the behavior in real-time execution of the graphical programs or models. The present invention may simulate the graphical programs or models using the information on the behavior of the graphical programs or models executed in the real-time execution.

Abstract translation: 公开了一种用于在实时系统上调度任务执行的实时调度器的自动生成。 调度程序可能允许任务在执行实时系统任务时超支。 当下一个样品命中之前，当当前样品命中的任务的执行未完成时，可能会发生任务超限。 当任务超限发生时，调度程序可以延迟下一个样本命中任务的执行，直到完成当前样本命中的任务的执行。 在完成当前样本命中的任务的执行之后执行下一个样本命中的任务。 本发明可以使用户能够输入与图形程序或模型的实时执行相关的行为信息。 本发明可以使用关于在实时执行中执行的图形程序或模型的行为的信息来模拟图形程序或模型。

公开(公告)号：US08862449B1

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

申请号：US14054420

申请日：2013-10-15

Applicant: The MathWorks, Inc.

Inventor： Stacey Gage

IPC: G06G7/48 ,  G06F17/50

CPC classification number: G06F17/5009 ,  G06F2217/16 ,  G06F2217/80

Abstract: Methods and systems for the design and execution of an aerospace or aeronautic system are provided. The aerospace or aeronautic system may incorporate planetary environment models and models of equations of motion. The planetary environment models mathematically represent planetary environment specifications, such as atmosphere and wind. Atmosphere models include standard day atmosphere models and non-standard day atmosphere models, and wind models include continuous wind turbulence models and discrete wind turbulence models. The models of equations of motion include models of three-degree-of-freedom equations of motion with variable mass and models for six-degree-of-freedom equations of motion with variable mass. As a result, the present invention can design and execute a target system more accurately than the conventional system that provides only standard day planetary environment models, continuous wind turbulence models, or fixed mass equations of motion models.

Abstract translation: 提供了设计和执行航空航天或航空系统的方法和系统。 航空航天或航空系统可以结合行星环境模型和运动方程模型。 行星环境模型在数学上代表了行星环境规格，如大气和风。 大气模型包括标准天气模型和非标准日气候模型，风力模型包括连续风湍流模型和离散风湍流模型。 运动方程的模型包括具有可变质量的三自由度运动方程式和具有可变质量的六自由度运动方程的模型。 结果，与仅提供标准日行星环境模型，连续风湍流模型或运动模型的固定质量方程的常规系统相比，本发明可以更准确地设计和执行目标系统。

公开(公告)号：US08832177B1

公开(公告)日：2014-09-09

申请号：US14014806

申请日：2013-08-30

Applicant: The MathWorks, Inc.

Inventor： Penelope Anderson ,  Cleve Moler ,  Sheung Hun Cheng ,  Patrick D Quillen

IPC: G06F15/16 ,  G06F15/80

CPC classification number: G06F9/4806 ,  G06F9/00 ,  G06F9/5066 ,  G06F15/80

Abstract: The present invention provides a method and system for the dynamic distribution of an array in a parallel computing environment. The present invention obtains a criterion for distributing an array and performs flexible portioning based on the obtained criterion. In some embodiment analysis may be performed based on the criterion. The flexible portioning is then performed based on the analysis.

Abstract translation: 本发明提供了一种用于在并行计算环境中动态分配阵列的方法和系统。 本发明基于所获得的标准，获得分配阵列的标准并进行灵活分割。 在一些实施例中，可以基于标准来执行分析。 然后基于分析执行柔性分割。

公开(公告)号：US08819493B1

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

申请号：US13692492

申请日：2012-12-03

Applicant: The Mathworks, Inc.

Inventor： Thomas Gaudette ,  Michelle T. Hirsh ,  Christian A. Portal

IPC: G06F11/00

CPC classification number: G06F11/3664 ,  G06F11/263

Abstract: Test configurations are generated based on information regarding hardware or software. A desired test configuration is selected. Test elements are automatically generated based on the desired test configuration, the test elements for testing at least one of the hardware or software. A plurality of test vectors is generated to test the hardware or software for the desired test configuration. The desired test configuration is converted to a script file. At least one of the hardware or software is automatically tested using the script file. Automatically testing the at least one of the hardware or the software includes using a first set of one or more test vectors from the plurality of test vectors to perform a plurality of test iterations of one or more of the actions of one or more generated test elements, and includes using at least a second set of one or more test vectors from the plurality of test vectors to determine the number of test iterations. A result of the testing is produced.

Abstract translation: 基于有关硬件或软件的信息生成测试配置。 选择所需的测试配置。 测试元素将根据所需的测试配置自动生成，用于测试至少一个硬件或软件的测试元件。 产生多个测试向量以测试用于所需测试配置的硬件或软件。 所需的测试配置将转换为脚本文件。 使用脚本文件自动测试至少一个硬件或软件。 自动测试硬件或软件中的至少一个包括使用来自多个测试向量的第一组一个或多个测试向量来执行一个或多个生成的测试元素的一个或多个动作的多个测试迭代 并且包括使用来自所述多个测试向量的至少第二组一个或多个测试向量来确定测试迭代次数。 产生测试结果。

公开(公告)号：US20140214373A1

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

申请号：US13754367

申请日：2013-01-30

Applicant: THE MATHWORKS, INC.

Inventor： Matthew Jardin ,  Baljeet Singh

IPC: G06F17/50

CPC classification number: G06Q10/047 ,  G05B17/02 ,  G06F17/13 ,  G06T11/206

Abstract: A method, performed by a computer device, may include generating a first executable graphical model representing a dynamic system and generating a second executable graphical model representing costs and constraints associated with the dynamic system. The method may further include generating an interface model based on the first and second executable graphical models; obtaining one or more solution parameters for solving a trajectory optimization problem defined by the dynamic system and the cost and constraints; expanding the generated interface model based on the obtained one or more solution parameters to generate a direct transcription representation of the trajectory optimization problem; evaluating the expanded interface model to obtain a solution to the trajectory optimization problem; and providing, in an interface, the solution as a solution to the trajectory optimization problem, wherein the solution has a reduced cost compared to a cost associated with an initial guess solution.

Abstract translation: 由计算机设备执行的方法可以包括生成表示动态系统的第一可执行图形模型并生成表示与动态系统相关联的成本和约束的第二可执行图形模型。 该方法还可以包括基于第一和第二可执行图形模型生成界面模型; 获得一个或多个解决方案参数，以解决由动态系统定义的轨迹优化问题和成本和约束; 基于获得的一个或多个解参数来扩展生成的接口模型，以生成轨迹优化问题的直接转录表示; 评估扩展接口模型以获得轨迹优化问题的解决方案; 并且在接口中提供解决方案作为轨迹优化问题的解决方案，其中与初始猜测解决方案相关联的成本相比，解决方案具有降低的成本。

公开(公告)号：US20140200871A1

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

申请号：US14084226

申请日：2013-11-19

Applicant: The MathWorks, Inc.

Inventor： Andrew C. GRACE ,  Michael H. MCLERNON ,  Murali K. YEDDANAPUDI ,  Ramamurthy MANI ,  Pieter J. MOSTERMAN ,  Michael I. CLUNE ,  Meera S. ATREYAM

IPC: G06F17/50

CPC classification number: G06F8/34

Abstract: A system and method graphically display ports in a discrete event system (DES) environment. A graphical representation of a model having at least one DES component is provided in the DES environment. A first port of the DES component and a second port of the DES component are indicated by symbols. The first port is indicated by a first symbol representing a port type of the DES environment and the second port is indicated by a second symbol representing a port type of a non-DES environment.

Abstract translation: 系统和方法以图形方式显示离散事件系统（DES）环境中的端口。 在DES环境中提供具有至少一个DES组件的模型的图形表示。 DES组件的第一个端口和DES组件的第二个端口由符号表示。 第一端口由表示DES环境的端口类型的第一符号指示，并且第二端口由表示非DES环境的端口类型的第二符号指示。

公开(公告)号：US08745586B1

公开(公告)日：2014-06-03

申请号：US13682026

申请日：2012-11-20

Applicant: The MathWorks, Inc.

Inventor： David M. Boissy

IPC: G06F9/44

CPC classification number: G06F11/368 ,  G06F8/71

Abstract: A system facilitates verification of computer code. The system receives multiple versions of the computer code. A code verification engine checks the received code against one or more metrics, such as coding standard violations. A code differencing compares the received versions of computer code, and identifies the differences between them. An interactive presentation unit presents one or more analysis reports regarding coding violations located in the received versions. An analysis report includes a plurality of entries hierarchically organized in conformance with the entities of the received code. The analysis report indicates the number of coding violations identified for the entities of the received code in a side-by-side, comparative arrangement. A user can thus compare the number of coding violations present in the received versions.

Abstract translation: 系统便于验证计算机代码。 系统接收多个版本的计算机代码。 代码验证引擎根据一个或多个度量来检查接收到的代码，例如编码标准违规。 代码差异比较接收到的计算机代码版本，并识别它们之间的差异。 交互式演示单元提供关于位于接收到的版本中的编码违例的一个或多个分析报告。 分析报告包括按照所接收的代码的实体分层组织的多个条目。 分析报告指出了并排的比较安排中为接收的代码的实体确定的编码违例的数量。 因此，用户可以比较接收到的版本中存在的编码违例的数量。