公开(公告)号：US09081595B1

公开(公告)日：2015-07-14

申请号：US13693413

申请日：2012-12-04

Applicant: The MathWorks, Inc.

Inventor： David Delarue ,  Olga Voronina ,  Claire Treille

IPC: G06F9/445

CPC classification number: G06F11/3664 ,  G06F8/33 ,  G06F9/44589 ,  G06F11/3612 ,  G06F11/3616

Abstract: A device performs a verification analysis of source code, where the verification analysis includes a coding rules check of the source code based on coding standards, and run-time error check of the source code. The device provides, for display, results of the coding rules check of the source code, and provides, for display, results of the run-time error check of the source code. The device provides, for display, from the results of the coding rules check of the source code, at least one of a coding rule error violation associated with the source code, or a coding rule warning violation associated with the source code.

Abstract translation: 设备执行源代码的验证分析，其中验证分析包括基于编码标准的源代码的编码规则检查以及源代码的运行时错误检查。 该设备提供用于显示源代码的编码规则检查的结果，并提供用于显示源代码的运行时错误检查的结果。 该装置提供用于显示来自源代码的编码规则检查的结果，与源代码相关联的编码规则错误违规或与源代码相关联的编码规则警告违例中的至少一个。

公开(公告)号：US09075916B1

公开(公告)日：2015-07-07

申请号：US14086246

申请日：2013-11-21

Applicant: The MathWorks, Inc.

Inventor： Joseph R. Bienkowski ,  Roy E. Lurie

IPC: G06F9/44 ,  G06F11/36

CPC classification number: G06F11/14 ,  G06F11/3664

Abstract: A device may obtain first program code, and may cause the first program code to be executed. The device may determine a first execution state generated based on causing the first program code to be executed. The device may store the first execution state. The device may obtain second program code that includes a modification to the first program code, and may cause the second program code to be executed. The device may determine a second execution state generated based on causing the second program code to be executed. The device may store the second execution state. The device may receive an indication to restore the first execution state, and may restore the first execution state based on receiving the indication.

Abstract translation: 设备可以获得第一程序代码，并且可能导致执行第一程序代码。 该装置可以基于使第一程序代码被执行而确定生成的第一执行状态。 设备可以存储第一执行状态。 设备可以获得包括对第一程序代码的修改的第二程序代码，并且可以使得执行第二程序代码。 该装置可以基于使第二程序代码被执行而确定生成的第二执行状态。 设备可以存储第二执行状态。 设备可以接收恢复第一执行状态的指示，并且可以基于接收到指示来恢复第一执行状态。

公开(公告)号：US09069517B1

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

申请号：US14079013

申请日：2013-11-13

Applicant: The MathWorks, Inc.

Inventor： Peter D. Muellers ,  Audrey Benevento ,  Kristin Thomas

IPC: G06F3/00 ,  G06F15/177 ,  G06F3/14

CPC classification number: G06F3/14 ,  B29C64/386 ,  B29C67/0088 ,  G06F11/302 ,  G06F11/3055

Abstract: A graphical user interface for an interactive concurrent computing environment is discussed. The graphical interface conveys the concurrent nature of the computing environment and allows a user to monitor the status of the concurrent process being executed. The graphical interface may indicate the status of the process, the status of the various computing units of the process, or the status of groups of computing units. This allows the user to monitor the concurrent process as the process is executing including whether or not computing units of the concurrent process are idle, busy or stopped.

Abstract translation: 讨论了用于交互式并发计算环境的图形用户界面。 图形界面传达了计算环境的并发性，并允许用户监视正在执行的并发进程的状态。 图形界面可以指示过程的状态，过程的各种计算单元的状态或计算单元组的状态。 这允许用户在进程正在执行时监视并发进程，包括并发进程的计算单元是否空闲，忙或停。

公开(公告)号：US20150178418A1

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

申请号：US14640239

申请日：2015-03-06

Applicant: The MathWorks, Inc.

Inventor： Yongfeng Gu ,  Girish Venkataramani

IPC: G06F17/50

CPC classification number: G06F17/505 ,  G06F17/5022 ,  G06F17/504 ,  G06F17/5081

Abstract: A system and method tests for functional equivalence prior to automatically retiming a high-level specification. An Intermediate Representation (IR) includes one or more graphs or trees based on the high-level specification. A functional equivalence (FE) analyzer determines whether one or more components in the graph meet certain value and state conditions and thus is a candidate for retiming. A scheduler can use components that fail FE as a retiming boundary.

Abstract translation: 在自动重新定义高级规范之前，系统和方法测试功能等效性。 中间表示（IR）包括基于高级规范的一个或多个图或树。 功能等价（FE）分析器确定图中的一个或多个组件是否符合某些值和状态条件，因此是重新定时的候选者。 调度程序可以使用将FE失败的组件作为重定时边界。

公开(公告)号：US09053235B1

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

申请号：US14059872

申请日：2013-10-22

Applicant: The MathWorks, Inc.

Inventor： Joseph R. Bienkowski ,  Claudia G. Wey ,  Michelle D. Erickson ,  Benjamin V. Hinkle ,  Jared D. MacDonald ,  John E. Booker ,  Amit Mahajan ,  Rohit J. Girme

IPC: G06F9/44 ,  G06F11/36

CPC classification number: G06F11/3664 ,  G06F3/0484 ,  G06F11/3604 ,  G06F11/3668

Abstract: A device may receive an indication to evaluate a first portion of program code and a second portion of program code provided in a first section of a user interface. The device may evaluate the first portion of program code and the second portion of program code. The device may generate a first result corresponding to the first portion of program code and may generate a second result corresponding to the second portion of program code based on evaluating the first portion of program code and the second portion of program code. The device may provide the first result and the second result in a second section of the user interface. The second section may be separate from the first section. The device may provide a correspondence indicator that indicates a correspondence between the first result and the first portion of program code.

Abstract translation: 设备可以接收用于评估程序代码的第一部分的指示和在用户界面的第一部分中提供的程序代码的第二部分。 该设备可以评估程序代码的第一部分和程序代码的第二部分。 该装置可以生成对应于程序代码的第一部分的第一结果，并且可以基于评估程序代码的第一部分和程序代码的第二部分来生成与程序代码的第二部分相对应的第二结果。 设备可以将第一结果和第二结果提供给用户界面的第二部分。 第二部分可以与第一部分分开。 设备可以提供指示第一结果和程序代码的第一部分之间的对应关系的对应指示符。

公开(公告)号：US09047314B1

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

申请号：US13628768

申请日：2012-09-27

Applicant: The MathWorks, Inc.

Inventor： Kelly G. Luetkemeyer ,  Robert P. Comer

IPC: G06F17/30

CPC classification number: G06F17/30241 ,  G06F8/33 ,  G06F17/50

Abstract: A device may store a data structure including information identifying a geometric relationship between first and second coordinate values of a first data type. The data structure may also include a first array of a first length that includes the first coordinate value located at a position identifiable by a reference value. The data structure may also include a second array of a second length that includes the second coordinate value located at a position identifiable by the reference value. The data structure may also include a third array of a third length that includes an attribute value of a second data type, located at a position identifiable by the reference value. The device may receive an indication that one of the lengths is to be modified, and may modify the data structure so that the first length, the second length, and the third length are equivalent.

Abstract translation: 设备可以存储包括识别第一数据类型的第一和第二坐标值之间的几何关系的信息的数据结构。 数据结构还可以包括第一长度的第一阵列，其包括位于可由参考值识别的位置处的第一坐标值。 数据结构还可以包括第二长度的第二阵列，其包括位于可由参考值识别的位置处的第二坐标值。 数据结构还可以包括第三长度的第三阵列，其包括第二数据类型的属性值，位于可由参考值识别的位置。 设备可以接收到要修改其中一个长度的指示，并且可以修改数据结构，使得第一长度，第二长度和第三长度是等效的。

公开(公告)号：US20150113029A1

公开(公告)日：2015-04-23

申请号：US14056480

申请日：2013-10-17

Applicant: The MathWorks, Inc.

Inventor： Robert O. ABERG ,  Aleksandar Bozin

IPC: G06F17/17

CPC classification number: G06F17/17 ,  G06F7/72 ,  G06F17/10 ,  G06F17/5009

Abstract: A device may determine historical state values to be used to calculate a current state value of a wrapped state associated with a model element. The wrapped state may be associated with a range of state values. The device may calculate the current state value of the wrapped state based on the historical state values, and may determine that the current state value is outside of the range of state values. The device may generate a modified current state value based on determining that the current state value is outside of the range of state values. The modified current state value may be within the range of state values. The device may modify a historical state value based on determining that the current state value is outside of the range of state values. The device may provide or store the modified current state value and the modified historical state value.

Abstract translation: 设备可以确定用于计算与模型元素相关联的包裹状态的当前状态值的历史状态值。 包装状态可能与一系列状态值相关联。 设备可以基于历史状态值计算包装状态的当前状态值，并且可以确定当前状态值在状态值的范围之外。 该装置可以基于确定当前状态值在状态值的范围之外而生成修改的当前状态值。 修改后的电流状态值可以在状态值的范围内。 设备可以基于确定当前状态值在状态值的范围之外来修改历史状态值。 设备可以提供或存储修改的当前状态值和修改的历史状态值。

公开(公告)号：US20150095877A1

公开(公告)日：2015-04-02

申请号：US14041979

申请日：2013-09-30

Applicant: The MathWorks, Inc.

Inventor： Xiaocang LIN ,  Peter SZPAK

IPC: G06F9/44

CPC classification number: G06F8/36 ,  G06F8/35 ,  G06F11/368

Abstract: In an embodiment, a modeling component generated in a first modeling environment can be implemented in a second modeling environment. The modeling component is executed in the first modeling environment. A first behavior of the modeling component in the first modeling environment is obtained based on the executing. The modeling component is then executed in the second modeling environment. A second behavior of the modeling component in the second modeling environment is obtained based on the executing the modeling component in the second modeling environment. The first behavior is compared to the second behavior. Based on the comparing, it is verified that the second behavior of the modeling component complies with one or more modeling requirements of the second modeling environment. The second behavior of the modeling component may be implemented in the second modeling environment.

Abstract translation: 在一个实施例中，在第一建模环境中生成的建模组件可以在第二建模环境中实现。 建模组件在第一个建模环境中执行。 基于执行，获得第一建模环境中的建模组件的第一行为。 然后在第二建模环境中执行建模组件。 基于在第二建模环境中执行建模组件，获得第二建模环境中的建模组件的第二行为。 第一个行为与第二个行为进行比较。 基于比较，验证了建模组件的第二行为符合第二建模环境的一个或多个建模要求。 建模组件的第二个行为可以在第二建模环境中实现。

公开(公告)号：US08935682B2

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

申请号：US14020372

申请日：2013-09-06

Applicant: The MathWorks, Inc.

Inventor： Halldor N. Stefansson ,  Edric Ellis ,  Jocelyn Luke Martin

IPC: G06F9/45

CPC classification number: G06F8/41 ,  G06F9/5072

Abstract: A device initiates a technical computing environment (TCE), and receives, via the TCE, a program command that permits the TCE to access a graphical processing unit that is remote to the device, where the program command permits the TCE to seamlessly transfer data to the remote GPU. The device transforms, via the TCE, the program command into a program command that is executable by the remote GPU, and provides the transformed program command to the remote GPU for execution. The device also receives, from the remote GPU, one or more results associated with execution of the transformed program command by the remote GPU, and utilizes the one or more results via the TCE.

Abstract translation: 设备启动技术计算环境（TCE），并通过TCE接收允许TCE访问远离设备的图形处理单元的程序命令，其中程序命令允许TCE将数据无缝传输到 远程GPU。 该设备通过TCE将程序命令转换为可由远程GPU执行的程序命令，并将转换后的程序命令提供给远程GPU进行执行。 该设备还从远程GPU接收与远程GPU执行变换的程序命令相关联的一个或多个结果，并且经由TCE利用一个或多个结果。

公开(公告)号：US08933963B1

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

申请号：US13918133

申请日：2013-06-14

Applicant: The MathWorks, Inc.

Inventor： Michael P. Garrity

IPC: G09G5/00 ,  G06T1/00

CPC classification number: G06T1/00 ,  G06F9/5044 ,  G06F2209/509 ,  G06T15/005 ,  G06T17/005

Abstract: A system may include a memory that stores instructions and a processor to execute the instructions to create a first set of objects, describing a graphical scene, in a first data structure based on data relating to the graphical scene. The processor may create a second set of objects in a second data structure based on the first set of objects in the first data structure, where at least one object of the first set of objects is associated with at least one object of the second set of objects and one or more properties for an object of the second set of objects is based on information associated with the first data structure. The processor may modify the second set of objects and provide the modified second set of objects to a browser for rendering the graphical scene.

Abstract translation: 系统可以包括存储器，其存储指令和处理器，以基于与图形场景有关的数据，在第一数据结构中执行指令来创建描述图形场景的第一组对象。 处理器可以基于第一数据结构中的第一组对象在第二数据结构中创建第二组对象，其中第一组对象中的至少一个对象与第二组对象中的至少一个对象相关联 对象和用于第二组对象的对象的一个​​或多个属性基于与第一数据结构相关联的信息。 处理器可以修改第二组对象，并将经修改的第二组对象提供给浏览器以呈现图形场景。