-
公开(公告)号：US20200379739A1
公开(公告)日：2020-12-03
申请号：US16428445
申请日：2019-05-31
Applicant: The MathWorks, Inc.
Inventor： Vivek Bhownani , Alexander C. Feinman , Fazil Peermohammed , David A. Foti , Ebrahim Mehran Mestchian , Yao Ren , Vijaya Raghavan , Peter S. Szpak , Matthew Englehart , Roy Mathew , Emmanuel Roy , Dekun Pei , Jianhao Du , Antoine Requet , Shailesh Shashikant Nirgudkar
Abstract: Processing external code includes: parsing the external code to identify a first semantic entity, mapping the first semantic entity to a second semantic entity, the first semantic entity comprising a first set of one or more specified attributes and the second semantic entity comprising a second set of one or more attributes that are capable of being specified, determining that a first attribute of the second set of one or more attributes does not have a corresponding specified attribute within the first set of one or more specified attributes, determining available information for specifying the first attribute of the second set of one or more attributes, and storing the second semantic entity in association with the first attribute of the second set of one or more attributes specified based on user selection or specifying the first attribute in response to available information provided to a user interface system.
-
公开(公告)号：US10684936B2
公开(公告)日：2020-06-16
申请号：US16128099
申请日：2018-09-11
Applicant: The MathWorks, Inc.
Inventor： Mahesh Nanjundappa , S. M. Shahed Nejhum , Vijaya Raghavan , Krishna Balasubramanian , John P. Dirner
Abstract: Systems and methods validate the operation of a component of an executable model without inadvertently altering the behavior of the component. The model may be partitioned into a design space and a verification space. The component may be placed in the design space, while an observer for validating the component may be placed in the verification space, and linked to the component. During execution of the model, input or output values for the component may be computed and buffered. Execution of the observer may follow execution of the component. The input or output values may be read out of the buffer, and utilized during execution of validation functionality defined for the observer. Model compilation operations that may inadvertently alter the behavior of the component, such as back propagation of attributes, are blocked between the observer and the component.
-
公开(公告)号：US09600241B2
公开(公告)日：2017-03-21
申请号：US13768565
申请日：2013-02-15
Applicant: The MathWorks, Inc.
Inventor： Siddhartha Shankar , Srinath Avadhanula , Vijaya Raghavan , Ebrahim Mehran Mestchian , Yao Ren
IPC: G06F9/44
CPC classification number: G06F8/00 , G06F8/10 , G06F8/22 , G06F8/313 , G06F8/35 , G06F9/4496 , G06F9/4498
Abstract: A computer-readable memory device may include instructions to store data describing a state machine model including source states and destination states. The device may also include instructions to store, for each of the source states, a condition field identifying a condition upon which, when satisfied, the state machine model transitions from the source state to one of the destination states. The device may also include instructions to store, for each of source states, a destination field identifying the one of the destination states. Each of at least two of the source states may identify an identical destination state in the corresponding destination field. Each of at least two of the source states may identify an identical condition in the corresponding condition field.
-
公开(公告)号：US09594608B2
公开(公告)日：2017-03-14
申请号：US14335159
申请日：2014-07-18
Applicant: The MathWorks, Inc.
Inventor： Hidayet Tunc Simsek , Vijaya Raghavan , Ramamurthy Mani
IPC: G06F9/54
CPC classification number: G06F9/546 , G06F2209/548
Abstract: A system and method may generate executable models having message sending objects and message receiving objects. A message may include a fixed data payload, and the message may persist for only a determined time interval of a total execution or simulation time of model. Message queues may be established for the messages, and the queues may have attributes. The model may include a state-based portion having states and transitions. States may be configured to generate and send messages, and to receive and process messages. In addition, transitions may be guarded by particular messages. The system and method also may generate standalone code, such as source code, for the model. The standalone code may include code that establishes a message passing service to support the sending and receiving of messages.
Abstract translation: 系统和方法可以生成具有消息发送对象和消息接收对象的可执行模型。 消息可以包括固定数据有效载荷，并且消息可以仅持续在模型的总执行或模拟时间的确定的时间间隔。 可以为消息建立消息队列，并且队列可以具有属性。 模型可以包括具有状态和转换的基于状态的部分。 可以将状态配置为生成和发送消息，以及接收和处理消息。 此外，转换可以被特定消息保护。 系统和方法还可以为模型生成独立代码，如源代码。 独立代码可以包括建立消息传递服务以支持消息的发送和接收的代码。
-
公开(公告)号：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
公开(公告)号：US10360502B2
公开(公告)日：2019-07-23
申请号：US13768541
申请日：2013-02-15
Applicant: The MathWorks, Inc.
Inventor： Siddhartha Shankar , Srinath Avadhanula , Vijaya Raghavan , Ebrahim Mehran Mestchian , Yao Ren
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.
-
公开(公告)号：US10318653B1
公开(公告)日：2019-06-11
申请号：US14632722
申请日：2015-02-26
Applicant: The MathWorks, Inc.
Inventor： Yit Phang Khoo , John P. Dirner , S. M. Shahed Nejhum , Gregg P. Smith , Vijaya Raghavan , Kalyan Bemalkhedkar , Krishna Balasubramanian
IPC: G06F17/50
Abstract: Systems and methods automatically construct a harness model having a selected component from source model. The systems and methods determine an execution context of the component in the source model, and construct and configure the harness model to provide the same or an equivalent execution context in the harness model. Model elements may be added to the harness model, and the model elements may be configured to replicate the execution context. The harness model may be executed, and the operation of the component evaluated. Changes to the component are synchronized between the source model and the harness model, as are changes to the component's execution context. Assessment operations may be included in the harness model, and these assessment operations may be evaluated when the harness model is executed. A verification report that includes the results of the assessments may be generated.
-
公开(公告)号：US10157045B2
公开(公告)日：2018-12-18
申请号：US15816606
申请日：2017-11-17
Applicant: The MathWorks, Inc.
Inventor： Girish Venkataramani , Rama P. Kokku , Jayaprabha Shankar , James L. Brock , Chun-Yu Shei , Vijaya Raghavan , Yaohung Tsai
Abstract: Systems and methods may automatically generate code for deep learning networks. The systems methods may provide a code generation framework for generating target specific code. The code generation framework may include one or more predefined class hierarchies for constructing objects of the generated code. The objects of the class hierarchies may provide an interface to predefined libraries of deep learning functions optimized for use on a target platform. The systems and methods may perform one or more optimizations on the code being generated.
-
公开(公告)号：US20180157471A1
公开(公告)日：2018-06-07
申请号：US15816377
申请日：2017-11-17
Applicant: The MathWorks, Inc.
Inventor： Girish Venkataramani , Rama P. Kokku , Jayaprabha Shankar , James L. Brock , Chun-Yu Shei , Vijaya Raghavan
IPC: G06F8/41
CPC classification number: G06F8/452 , G06F8/4434 , G06F8/4441 , G06F8/445 , G06F8/456 , G06F8/458
Abstract: Systems and methods generate code from a source program where the generated code may be compiled and executed on a Graphics Processing Unit (GPU). A parallel loop analysis check may be performed on regions of the source program identified for parallelization. One or more optimizations also may be applied to the source program that convert mathematical operations into a parallel form. The source program may be partitioned into segments for execution on a host and a device. Kernels may be created for the segments to be executed on the device. The size of the kernels may be determined, and memory transfers between the host and device may be optimized.
-
公开(公告)号：US09507888B1
公开(公告)日：2016-11-29
申请号：US13834917
申请日：2013-03-15
Applicant: THE MATHWORKS, INC.
Inventor： Nishith Aggarwal , Srinath Avadhanula , Vijaya Raghavan , David B. Andrade
CPC classification number: G06F17/5009 , G06F8/34 , G06F9/4498
Abstract: A device receives information that identifies a model, of a finite state machine, that includes information that identifies a parent state and sub-states of the parent state. The device generates a data structure that designates an enumerated data type associated with the parent state, where the enumerated data type includes values corresponding to the sub-states. The device executes the model, based on the data structure, and monitors operation of the finite state machine and state transitions among some of the sub-states. The device detects, based on the state transitions, a change in an active sub-state that represents a particular sub-state, of the sub-states, that is active at a particular time during execution of the model. The device provides state transition information that identifies changes in the active sub-state over time.
Abstract translation: 设备接收标识有限状态机的模型的信息，该信息包括标识父状态和父状态的子状态的信息。 设备生成指定与父状态相关联的枚举数据类型的数据结构，其中枚举数据类型包括对应于子状态的值。 该设备基于数据结构执行模型，并监视有限状态机的操作和一些子状态之间的状态转换。 该设备基于状态转换检测表示在模型执行期间的特定时间处于活动状态的子状态的特定子状态的活动子状态的变化。 设备提供状态转换信息，用于识别有效子状态随时间的变化。
-
-
-
-
-
-
-
-
-
Search Results
21
records
(took 0.02 seconds)
