公开(公告)号：US10831456B1

公开(公告)日：2020-11-10

申请号：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

IPC: G06F9/44 ,  G06F8/41 ,  G06F8/34 ,  G06F8/38 ,  G06F8/30

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.

公开(公告)号：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

IPC: G06F8/41 ,  G06F8/34 ,  G06F8/38

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.

公开(公告)号：US09710750B1

公开(公告)日：2017-07-18

申请号：US14278268

申请日：2014-05-15

Applicant: The MathWorks, Inc.

Inventor： Matthew Englehart ,  Pieter J. Mosterman

IPC: G06N5/00 ,  G06N5/02 ,  G06F17/00

CPC classification number: G06N5/022 ,  G06F8/41 ,  G06F17/50

Abstract: In an embodiment, a technique for analyzing a model, either statically or dynamically, to check the model for one or more specified patterns with respect to accessing a data store associated with the model. The patterns may include, for example, writing to a data store prior to reading the data store, reading the data store prior to writing the data store, writing to the data store multiple times prior to reading the data store, reading the data store multiple times before writing the data store, etc. The model may be an executable graphical model that is generated in a graphical modeling environment. A result may be generated based on the analyzing. The result may be output.

公开(公告)号：US08762311B1

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

申请号：US13632509

申请日：2012-10-01

Applicant: The MathWorks, Inc.

Inventor： Matthew Englehart ,  Peiter J. Mosterman

IPC: G06F17/00

CPC classification number: G06N5/022 ,  G06F8/41 ,  G06F17/50

Abstract: In an embodiment, a technique for analyzing a model, either statically or dynamically, to check the model for one or more specified patterns with respect to accessing a data store associated with the model. The patterns may include, for example, writing to a data store prior to reading the data store, reading the data store prior to writing the data store, writing to the data store multiple times prior to reading the data store, reading the data store multiple times before writing the data store, etc. The model may be an executable graphical model that is generated in a graphical modeling environment. A result may be generated based on the analyzing. The result may be output.

Abstract translation: 在一个实施例中，一种用于分析模型（静态地或动态地）来检查关于访问与模型相关联的数据存储器的一个或多个指定模式的模型的技术。 模式可以包括例如在读取数据存储之前写入数据存储器，在写入数据存储之前读取数据存储器，在读取数据存储器之前多次写入数据存储器，读取数据存储器多个 在编写数据存储之前的时间等。该模型可以是在图形建模环境中生成的可执行图形模型。 可以基于分析生成结果。 可能会输出结果。