公开(公告)号：US09547580B1

公开(公告)日：2017-01-17

申请号：US14746112

申请日：2015-06-22

Applicant: The MathWorks, Inc.

Inventor： Joseph R. Bienkowski ,  Claudia G. Wey ,  Michelle D. Erickson ,  Benjamin V. Hinkle ,  Jared D. MacDonald ,  John E. Booker ,  Joseph F. Hicklin

IPC: G06F9/44 ,  G06F11/36

CPC classification number: G06F11/3616 ,  G06F11/3604 ,  G06F11/3692

Abstract: A device may receive an indication to evaluate a portion of program code. The device may cause the portion of program code to be evaluated based on receiving the indication to evaluate the portion of program code. The device may determine an intermediate result used to generate an overall result of evaluating the portion of program code based on causing the portion of program code to be evaluated. The intermediate result may be determined by evaluating a sub-portion of program code included in the portion of program code. The device may receive information that identifies a granularity level for displaying the intermediate result. The granularity level may indicate whether the intermediate result is to be provided for display. The device may selectively provide the intermediate result for display based on the granularity level.

Abstract translation: 设备可以接收用于评估程序代码的一部分的指示。 该设备可以基于接收到评估程序代码部分的指示来使程序代码的部分被评估。 该装置可以基于导致程序代码的部分被评估来确定用于生成计算程序代码部分的总体结果的中间结果。 可以通过评估程序代码部分中包括的程序代码的子部分来确定中间结果。 设备可以接收标识用于显示中间结果的粒度级别的信息。 粒度级别可以指示中间结果是否被提供用于显示。 该设备可以基于粒度级别选择性地提供用于显示的中间结果。

公开(公告)号：US09530102B2

公开(公告)日：2016-12-27

申请号：US14623985

申请日：2015-02-17

Applicant: The MathWorks, Inc.

Inventor： Pieter J. Mosterman ,  Srikanth Parupati ,  Ankit A. Desai ,  Ashish Uthama ,  Michael J. Quinn

IPC: G06N7/00 ,  G06N5/02

CPC classification number: G06N7/005 ,  G06K9/00476 ,  G06K9/723 ,  G06N5/02

Abstract: Exemplary embodiments described herein provide methods, mediums, and systems for recognizing a formalism type present in an input and generating an output that is consistent with the formalism type. In order to generate an output that is consistent with the formalism type, exemplary embodiments analyze elements of the input together. Such a holistic analysis determines or uses a likelihood that the different elements coexist together in a given formalism type. Based on this holistic analysis, an appropriate formalism type that is consistent with the coexistence of the elements may be selected. After the appropriate formalism type is selected, the input may be processed to generate an output consistent with the formalism type. The output may be computer-based representations of the input defined according to a program associated with the identified formalism type, and/or the input may be translated or transformed into another representation.

Abstract translation: 本文描述的示例性实施例提供用于识别输入中存在的形式主义类型并生成与形式主义类型一致的输出的方法，介质和系统。 为了生成与形式主义类型一致的输出，示例性实施例一起分析输入的元素。 这样的整体分析确定或使用了不同元素在给定的形式主义类型中共存的可能性。 基于这种整体分析，可以选择与元素共存一致的适当形式主义类型。 在选择适当的形式主义类型之后，可以处理输入以生成与形式主义类型一致的输出。 输出可以是根据与所识别的形式主义类型相关联的程序定义的输入的基于计算机的表示，和/或可以将输入转换或转换为另一表示。

公开(公告)号：US09519739B1

公开(公告)日：2016-12-13

申请号：US14039344

申请日：2013-09-27

Applicant: The MathWorks, Inc.

Inventor： Steven E. Kuznicki ,  Chad M. Van Fleet

IPC: G06F9/44 ,  G06F17/50 ,  G06F9/45 ,  G06F9/50

CPC classification number: G06F17/5022 ,  G06F8/34 ,  G06F8/433 ,  G06F9/4484 ,  G06F9/4843 ,  G06F9/5066 ,  G06F9/522 ,  G06F2209/483

Abstract: A method, tangible computer-readable medium and apparatus for concurrently executing subsystems in a graphical model is provided. An embodiment can transform a conventional graphical model supporting single threaded execution into a model supporting multi-threaded execution through the replacement of a single block. The transformed model may support concurrent execution of a plurality of subsystems using a plurality of threads when the graphical model executes. An embodiment provides a user interface that allows a user to intuitively configure a model for current execution of the subsystems.

公开(公告)号：US20160357895A1

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

申请号：US15171613

申请日：2016-06-02

Applicant: The MathWorks, Inc.

Inventor： Richard Hyde ,  Ebrahim M. Mestchian

IPC: G06F17/50 ,  G06N7/00

Abstract: Methods and devices for providing and using a technical computing environment (TCE) for receiving a TCE model that, when executed, simulates behavior of a dynamic physical system, and that represents one or more physical components and their respective reliability information in a block diagram model. Applications of the model include automated system-level datasheet and bill of materials generation, component reliability information discovery, fault and stress assertions, and identification of emergent faults.

Abstract translation: 用于提供和使用技术计算环境（TCE）的方法和设备，用于接收在执行时模拟动态物理系统的行为并且表示一个或多个物理组件及其各自的可靠性信息的模块图模型中的TCE模型 。 该模型的应用包括自动化系统级数据表和材料清单生成，组件可靠性信息发现，故障和压力断言以及紧急故障的识别。

公开(公告)号：US20160357534A1

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

申请号：US15170439

申请日：2016-06-01

Applicant: The MathWorks, Inc.

Inventor： Anand KRISHNAMOORTHI ,  Kiran K. Kintali ,  Ebrahim Mehran Mestchian ,  Srinivas Muddana

IPC: G06F9/45

CPC classification number: G06F8/51 ,  G06F8/437

Abstract: A device may receive input code that includes one or more input objects. The input code may be used in connection with generation of output code. The output code, when generated, may include one or more output objects, corresponding to and different than the one or more input objects. The device may receive or determine conversion information identifying a conversion operation to perform to generate the one or more output objects based on the one or more input objects. The conversion information may be received separately from the input code. The device may generate, based on the conversion information and the input code, an intermediate representation. The intermediate representation may include one or more annotations corresponding to the one or more input objects and defining the conversion operation. The device may compile, based on the intermediate representation, the output code. The device may execute or provide the output code.

Abstract translation: 设备可以接收包括一个或多个输入对象的输入代码。 输入代码可以与生成输出代码一起使用。 输出代码在生成时可以包括与一个或多个输入对象相对应且不同于一个或多个输入对象的一个​​或多个输出对象。 所述设备可以接收或确定标识转换操作的转换信息，以执行以基于所述一个或多个输入对象生成所述一个或多个输出对象。 转换信息可以与输入代码分离地接收。 设备可以基于转换信息和输入代码生成中间表示。 中间表示可以包括对应于一个或多个输入对象的一个​​或多个注释并且定义转换操作。 该设备可以基于中间表示来编译输出代码。 该设备可以执行或提供输出代码。

公开(公告)号：US20160350454A1

公开(公告)日：2016-12-01

申请号：US14722487

申请日：2015-05-27

Applicant: The MathWorks Inc.

Inventor： Alongkrit CHUTINAN ,  Ramamurthy Mani ,  Srinath Avadhanula ,  Fu Zhang ,  Jing Xu ,  Qu Zhang ,  John E. Ciolfi

IPC: G06F17/50 ,  G06F9/44

CPC classification number: G06F17/5009

Abstract: A method may include causing a first model to be executed. The causing the first model to be executed may be performed by a device. The method may further include causing a second model to be executed to simulate a functionality of the first model. The causing the second model to be executed may be performed by the device. The method may further include interacting with a model element, of the second model, associated with implicitly accessing information regarding a state of the first model. The state may be a representation of the first model at a particular simulation time-step. The interacting with the model may be performed by the device. The method may further include accessing, by the model element, information associated with the state of the first model. The accessing the information may be performed by the device.

Abstract translation: 一种方法可以包括使第一模型被执行。 导致第一模型被执行可以由设备执行。 该方法还可以包括使第二模型被执行以模拟第一模型的功能。 导致第二模型被执行可以由设备执行。 该方法还可以包括与第二模型的模型元素交互，该模型元素与隐含地访问关于第一模型的状态的信息相关联。 该状态可以是在特定模拟时间步骤中第一模型的表示。 与模型的交互可以由设备执行。 该方法还可以包括由模型元素访问与第一模型的状态相关联的信息。 访问信息可以由设备执行。

公开(公告)号：US09507634B1

公开(公告)日：2016-11-29

申请号：US14266162

申请日：2014-04-30

Applicant: THE MATHWORKS, INC.

Inventor： Matthew A. Shawver ,  Jocelyn Luke Martin ,  Roy E. Lurie ,  Loren P. Dean ,  Cleve B. Moler ,  Eugene F. Mcgoldrick

IPC: G06F9/46 ,  G06F9/48

CPC classification number: G06F9/4881 ,  G06F9/5072

Abstract: A method and system is disclosed for providing a distributed technical computing environment for distributing technical computing tasks from a technical computing client to technical computing workers for execution of the tasks on one or more computers systems. Tasks can be defined on a technical computing client, and the tasks organized into jobs. The technical computing client can directly distribute tasks to one or more technical computing workers. Furthermore, the technical computing client can submit tasks, or jobs comprising tasks, to an automatic task distribution mechanism that distributes the tasks automatically to one or more technical computing workers providing technical computing services. The technical computing worker performs technical computing of tasks and the results of the execution of tasks may be provided to the technical computing client.

Abstract translation: 公开了一种用于提供分布式技术计算环境的方法和系统，用于将技术计算任务从技术计算客户端分发给技术计算人员，以在一个或多个计算机系统上执行任务。 可以在技术计算客户端上定义任务，并将任务组织成工作。 技术计算客户端可以直接将任务分配给一个或多个技术计算人员。 此外，技术计算客户机可以将任务或包括任务的任务提交给自动任务分配机制，该自动任务分配机制将自动分配任务到提供技术计算服务的一个或多个技术计算人员。 技术计算工作者执行任务的技术计算，并且可以向技术计算客户端提供任务的执行结果。

公开(公告)号：US09454513B2

公开(公告)日：2016-09-27

申请号：US14143163

申请日：2013-12-30

Applicant: THE MATHWORKS, INC.

Inventor： James G. Owen ,  Claudia G. Wey ,  Richard A. Spada

IPC: G09G5/00 ,  G06F17/21 ,  G06F17/24 ,  G06F17/22 ,  G06F9/44

CPC classification number: G06F17/211 ,  G06F9/451 ,  G06F17/2264 ,  G06F17/246

Abstract: One or more computer-readable storage media for storing computer-executable instructions executable by processing logic is provided. The media storing one or more instructions that when executed by the processing logic causes the processing logic to receive data in a first format for conversion to a second format different than the first format, wherein the data includes information having a first type and information having a second type and display the data in the first format via a graphical interface. One or more translation rules are received relating to processing the information having the first type or the information having the second type. The one or more translation rules are pre-applied to the data in the first format. Effects of the pre-applied rules on the displayed data are displayed via the graphical interface. The data in the first format is converted to the data in the second format based on the one or more translation rules.

Abstract translation: 提供了一种或多种用于存储可由处理逻辑执行的计算机可执行指令的计算机可读存储介质。 存储一个或多个指令的媒体，当由处理逻辑执行时，处理逻辑使得处理逻辑以第一格式接收数据以转换为不同于第一格式的第二格式，其中数据包括具有第一类型的信息和具有 第二种类型，并通过图形界面显示第一种格式的数据。 接收涉及处理具有第一类型的信息或具有第二类型的信息的一个或多个翻译规则。 一个或多个翻译规则被预先应用于第一格式的数据。 通过图形界面显示预先应用规则对显示数据的影响。 基于一个或多个翻译规则将第一格式的数据转换为第二格式的数据。

公开(公告)号：US09436441B1

公开(公告)日：2016-09-06

申请号：US14098016

申请日：2013-12-05

Applicant: The MathWorks, Inc.

Inventor： Girish Venkataramani

IPC: G06F9/44

CPC classification number: G06F8/34 ,  G06F8/443

Abstract: A system and method optimizes hardware description generated from a graphical program or model having oversampling constraints automatically. The system may include a streaming optimizer, a resource sharing optimizer, a delay balancing engine, and a global scheduler. The streaming optimizer may transform vector data paths to scalar or smaller-sized vector data paths. The resource sharing optimizer may replace multiple, functionally equivalent blocks with a single shared block. The delay balancing may insert one or more elements to correct for data path misalignment. The global scheduler may place portions of the program or model into conditional execution sections and create control logic that controls the model sample times or steps that the portions are enabled. A validation model, a report, or hardware description code that utilizes fewer hardware resources may be generated from a modified version of the model that is created.

Abstract translation: 系统和方法优化从具有自动过采样约束的图形程序或模型生成的硬件描述。 系统可以包括流优化器，资源共享优化器，延迟平衡引擎和全局调度器。 流优化器可以将矢量数据路径变换为标量或较小尺寸的矢量数据路径。 资源共享优化器可以用单个共享块来替换多个功能上等效的块。 延迟平衡可以插入一个或多个元件以校正数据路径未对准。 全局调度器可以将程序或模型的一部分放置到条件执行部分中，并创建控制逻辑，以控制模型采样次数或部分启用的步骤。 可以从创建的模型的修改版本生成使用较少硬件资源的验证模型，报告或硬件描述代码。

公开(公告)号：US09424005B1

公开(公告)日：2016-08-23

申请号：US13837910

申请日：2013-03-15

Applicant: The Mathworks, Inc.

Inventor： Srinath Avadhanula ,  Vijaya Raghavan ,  Michael D. Tocci ,  John E. Ciolfi ,  E. Mehran Mestchian ,  Pieter J. Mosterman

IPC: G06F9/44

CPC classification number: G06F8/34 ,  G06F8/10 ,  G06F8/35 ,  G06F8/36

Abstract: A system and method provides top-down programming in a graphical programming environment. A developer may utilize a component constructor to create a graphical skeleton component that represents a template for a procedure. The graphical skeleton component may include one or more hole elements that mark locations in the component at which functions may be specified. An instance of the component may be included in a graphical model, and one or more functions specified for the hole elements, thereby completing the component. The one or more functions may refer to model parameters, and bindings may be captured among the parameters. Upon execution or simulation of the model, the one or more functions specified for the component are executed, and the parameters evaluated. The functionality of the completed may depend on the one or more functions specified for the hole elements.

Abstract translation: 系统和方法在图形编程环境中提供自上而下的编程。 开发人员可以使用组件构造函数来创建一个图形框架组件，该组件代表一个过程的模板。 图形骨架组件可以包括标记组件中可以指定功能的位置的一个或多个孔元件。 组件的实例可以包括在图形模型中，以及为孔元素指定的一个或多个功能，从而完成组件。 一个或多个功能可以指模型参数，并且可以在参数之间捕获绑定。 在模型执行或模拟时，执行为该组件指定的一个或多个功能，并对参数进行评估。 完成的功能可能取决于为孔元素指定的一个或多个功能。