中科微点-全球专利检索

  1. Login
  2. Sign Up

Search Results

29 records (took 0.016 seconds)

    SYSTEMS AND METHODS FOR GENERATING SERVICE ACCESS POINTS FOR RTE SERVICES IN CODE OR OTHER RTE SERVICE INFORMATION FOR USE WITH THE CODE
    12.
    发明申请
    SYSTEMS AND METHODS FOR GENERATING SERVICE ACCESS POINTS FOR RTE SERVICES IN CODE OR OTHER RTE SERVICE INFORMATION FOR USE WITH THE CODE 有权

    公开(公告)号：US20210382698A1

    公开(公告)日：2021-12-09

    申请号：US17332205

    申请日：2021-05-27

    Applicant: The MathWorks, Inc.

    Inventor： Biao Yu ,  Peter S. Szpak ,  Yuan Cao ,  Ebrahim Mehran Mestchian

    IPC: G06F8/35 ,  G06F8/10 ,  G06F8/20 ,  G06F8/60

    Abstract: Systems and methods may generate code, for a model, with one or more service access points generated and at locations in the code based on an analysis of model constraints and deployment specifications (e.g., RTE specifications or OS specifications). The systems and methods may analyze the model and identify a functionality that needs an RTE service. The system and methods may receive deployment specifications. The systems and methods may generate code for the model, where an analysis of model constraints and the deployment specifications determine which service access points are generated and where in the code the service access points are located. In an embodiment, the code may be executed by different RTEs. In an embodiment, the systems and methods may determine, based on the analysis of the model constraints and the deployment specification, one or more admissible implementations for an RTE service that may be implemented in different ways.

    Method and system for improving efficacy of model verification by model partitioning
    13.
    发明授权
    Method and system for improving efficacy of model verification by model partitioning 有权

    公开(公告)号：US11144684B2

    公开(公告)日：2021-10-12

    申请号：US15499351

    申请日：2017-04-27

    Applicant: The MathWorks, Inc.

    Inventor： Dixit Manoj Gangadhar ,  Prahladavaradan Sampath ,  Janaki Sivaramakrishnan ,  William J. Aldrich ,  Ebrahim Mehran Mestchian

    IPC: G06F30/20 ,  G06F30/18

    Abstract: A device may analyze, by one or more processors, a model to identify a first set of model elements that are associated with a model element. The device may apply, by the one or more processors, one or more results from an analysis of the model to a first network unit to determine a complexity of the first network unit or a coupling of the first network unit to other model elements of the model. The device may generate, by the one or more processors, a second network unit, representing a second hierarchy of computation, from the first network unit based on the complexity or the coupling. The device may provide, by the one or more processors, the second network unit as a testing unit for testing the model, the second network unit comprising two or more model elements and one or more numeric expressions.

    Systems and methods for generating code from executable models with floating point data
    14.
    发明授权
    Systems and methods for generating code from executable models with floating point data 有权

    公开(公告)号：US10140099B2

    公开(公告)日：2018-11-27

    申请号：US15398176

    申请日：2017-01-04

    Applicant: The MathWorks, Inc.

    Inventor： Kiran K. Kintali ,  Shomit Dutta ,  Anand S. Krishnamoorthi ,  Ebrahim Mehran Mestchian

    IPC: G06F9/44 ,  G06F8/35 ,  G06F8/20

    Abstract: Systems and methods generate code from an executable model. The model may operate on variables having floating point data types. The systems and methods may unpack the sign, exponent, and mantissa components of the floating point variables, and interpret them as boolean, integer, or fixed-point data types. The systems and methods may include operators that operate on the extracted sign, exponent, and mantissa components, and that produce sign, exponent, and mantissa outputs having boolean, integer or fixed-point data types. The systems and methods may pack the sign, exponent, and mantissa components of the output into an integer and reinterpret the integer as a floating point data type. Having replaced the floating point data types with boolean, integer or fixed-point data types, the generated code may be suitable for programmable logic devices and/or microcontrollers that lack Floating Point Units (FPUs).

    Systems and methods for generating message sequence diagrams from graphical programs
    16.
    发明授权
    Systems and methods for generating message sequence diagrams from graphical programs 有权
    用于从图形程序生成消息序列图的系统和方法

    公开(公告)号：US09547423B1

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

    申请号：US14513978

    申请日：2014-10-14

    Applicant: The MathWorks, Inc.

    Inventor： Alan J. Moore ,  Ebrahim Mehran Mestchian ,  Pieter J. Mosterman

    IPC: G06F9/54 ,  G06F3/0484 ,  G06F3/0481

    CPC classification number: G06F3/0484 ,  G06F3/0481 ,  G06F8/10 ,  G06F8/34 ,  G06F9/546 ,  G06F17/5009 ,  G06F2217/84

    Abstract: A system and method automatically generating one or more message view windows or panes based on an analysis of the execution behavior of a model, such as a computer-generated, executable graphical model. A model analyzer examines execution instructions including schedules generated for the model and the sending and receiving of messages by model components or elements. An auto diagram builder generates the one or more message view windows that includes graphical affordances representing at least some of the messages. The messages may be presented in the one or more message view windows in the order of the occurrence of the messages during execution of the model.

    Abstract translation: 基于对诸如计算机生成的可执行图形模型的模型的执行行为的分析，系统和方法自动生成一个或多个消息视图窗口或窗格。 模型分析器检查执行指令，包括为模型生成的计划以及模型组件或元素发送和接收消息。 自动图构建器生成一个或多个消息视图窗口，其包括表示至少一些消息的图形能力。 消息可以在模型的执行期间以消息的发生的顺序呈现在一个或多个消息视图窗口中。

    GENERATING A STATE DIAGRAM
    17.
    发明申请
    GENERATING A STATE DIAGRAM 审中-公开
    生成状态图

    公开(公告)号：US20130212054A1

    公开(公告)日：2013-08-15

    申请号：US13768541

    申请日：2013-02-15

    Applicant: The MathWorks, Inc.

    Inventor： Siddhartha Shankar ,  Srinath Avadhanula ,  Vijaya Raghavan ,  Ebrahim Mehran Mestchian ,  Yao Ren

    IPC: G06N5/02

    CPC classification number: G06N5/02 ,  G06F8/10 ,  G06F9/4498

    Abstract: A computing device may include a memory to store data that describes a state machine model that includes destination states and source states. The source states may be associated with conditions upon which the state machine model is to transition from a corresponding source state to one of the destination states. The device may also include a processor configured to generate data to describe a state diagram from the data that describes the state machine model. The state diagram may include the graphical symbols and lines. Each of the graphical symbols may represent one of the source states or one of the destination states. The lines may represent transitions and include one or more vertical lines to represent transitions to one of the destination states from more than one of the source states. The graphical symbol may represent the one of the destination states is not adjacent to the graphical symbols to represent the more than one of the source states. The processor may arrange graphical symbols in a first row, arrange lines, and arrange vertical lines in a second row that does not overlap with the first row.

    Abstract translation: 计算设备可以包括存储器，用于存储描述包括目的地状态和源状态的状态机模型的数据。 源状态可以与状态机模型从相应源状态转换到目的地状态之一的状态相关联。 该设备还可以包括被配置为从描述状态机模型的数据生成数据以描述状态图的处理器。 状态图可以包括图形符号和线。 每个图形符号可以表示源状态之一或目的地状态之一。 行可以表示转换，并且包括一个或多个垂直线，以表示从多于一个源状态到目的地状态之一的转换。 图形符号可以表示目的地状态之一不与图形符号相邻以表示多于一个源状态。 处理器可以在第一行中布置图形符号，布置线，并且在不与第一行重叠的第二行中排列垂直线。

Patent Agency Ranking