公开(公告)号：US09235407B1

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

申请号：US13835714

申请日：2013-03-15

Applicant: THE MATHWORKS, INC.

Inventor： Hong Ye ,  Chandreshkumar Vora ,  Ricardo A. Losada

IPC: G06F9/44 ,  G06F9/445

CPC classification number: G06F8/656 ,  G06F8/65 ,  G06F9/44505 ,  G06F9/44521

Abstract: A device is configured to execute a first program block associated with program code, and set a first value of a scoped setting associated with the first program block, the first value of the scoped setting controlling a manner in which a first algorithm is performed during execution of the first program block. The device is configured to detect a change in scope of the program code, the change in scope including execution of a second program block that is different from the first program block, and determine a relationship between the first program block and the second program block. The device is configured to set a second value of the scoped setting based on the relationship, the second value of the scoped setting controlling a manner in which a second algorithm, identified in the second program block, is performed during execution of the second program block.

Abstract translation: 设备被配置为执行与程序代码相关联的第一程序块，并且设置与第一程序块相关联的范围设置的第一值，所述范围设定的第一值控制在执行期间执行第一算法的方式 的第一个程序块。 该设备被配置为检测程序代码的范围的变化，包括与第一程序块不同的第二程序块的执行的范围的改变，以及确定第一程序块和第二程序块之间的关系。 所述设备被配置为基于所述关系来设置所述作用域设置的第二值，所述作用域设置的第二值控制在所述第二程序块的执行期间执行在所述第二程序块中识别的第二算法的方式 。

公开(公告)号：US09208208B2

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

申请号：US14554605

申请日：2014-11-26

Applicant: The MathWorks, Inc.

Inventor： Joseph F. Hicklin ,  Peter C. Perkins

IPC: G06F17/30 ,  G06F17/24

CPC classification number: G06F17/3056 ,  G06F17/245 ,  G06F17/246 ,  G06F17/30292

Abstract: A device receives, in a technical computing environment (TCE), a first variable with a first data type and a particular number of rows, and receives a second variable with a second data type and the particular number of rows. The second data type may be different than the first data type. The device receives a command to create a table based on the first variable and the second variable, and creates, based on the command, a heterogeneous table that includes the first variable and the second variable. The device stores the heterogeneous table, and/or provides the heterogeneous table for display.

Abstract translation: 在技​​术计算环境（TCE）中，设备接收具有第一数据类型和特定行数的第一变量，并接收具有第二数据类型和特定行数的第二变量。 第二数据类型可以不同于第一数据类型。 该设备接收基于第一个变量和第二个变量创建一个表的命令，并根据该命令创建一个包含第一个变量和第二个变量的异构表。 设备存储异构表，和/或提供用于显示的异构表。

公开(公告)号：US09201763B1

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

申请号：US13907038

申请日：2013-05-31

Applicant: The MathWorks, Inc.

Inventor： David Hruska ,  Andrew T. Campbell ,  David M. Saxe ,  David A. Foti

IPC: G06F11/00 ,  G06F11/36

CPC classification number: G06F11/3664 ,  G06F11/36 ,  G06F11/3672

Abstract: A device receives a first test class associated with a first fixture. The first test class includes first method(s) to test portion(s) of dynamically-type programming code, and the first fixture defines first environment(s) for the first method(s). The device receives a second test class associated with the first fixture and a second fixture. The second test class includes second method(s) to test the code portion(s). The first fixture defines the first environment(s) for the second method(s), and the second fixture defines second environment(s) for the second method(s). The device combines the first method(s) of the first test class and the second method(s) of the second test class to create a test group, and analyzes the test group to determine whether the test group is correctly organized based on the first fixture and the second fixture. The device provides a reorganized test group when the test group is incorrectly organized.

Abstract translation: 设备接收与第一固定装置相关联的第一测试类。 第一测试类包括测试动态类型编程代码部分的第一方法，并且第一固定装置定义第一方法的第一环境。 该装置接收与第一夹具相关联的第二测试类和第二夹具。 第二个测试类包括测试代码部分的第二种方法。 第一夹具定义了第二种方法的第一环境，第二种夹具为第二种方法定义了第二种环境。 该设备将第一个测试类的第一个方法和第二个测试类的第二个方法相结合，创建一个测试组，并分析测试组，以确定测试组是否正确组织在第一个 夹具和第二个夹具。 当测试组组织不正确时，该设备提供重新组织的测试组。

公开(公告)号：US09195439B2

公开(公告)日：2015-11-24

申请号：US14011178

申请日：2013-08-27

Applicant: The MathWorks, Inc.

Inventor： John Edward Ciolfi ,  Ramamurthy Mani ,  Qu Zhang

IPC: G06F9/44

CPC classification number: G06F8/34 ,  G06F9/48 ,  G06F17/5009 ,  G06F2217/74

Abstract: Exemplary embodiments support multi-threaded subgraph execution control within a graphical modeling or graphical programming environment. In an embodiment, a subgraph may be identified as a subset of blocks within a graphical model, or graphical program, or both. A subgraph initiator may explicitly execute the subgraph while maintaining data dependencies within the subgraph. Explicit signatures may be defined for the subgraph initiator and the subgraph either graphically or textually. Execution control may be branched wherein the data dependencies within the subgraph are maintained. Execution control may be joined together wherein the data dependencies within the subgraph are maintained. Exemplary embodiments may allow subgraphs to execute on different threads within a graphical modeling or programming environment.

Abstract translation: 示例性实施例在图形建模或图形编程环境中支持多线程子图执行控制。 在一个实施例中，子图可以被识别为图形模型或图形程序或两者中的块的子集。 子图启动器可以在子图中保持数据依赖性的同时明确地执行子图。 可以为子图启动器和图形图形或文本地定义显式签名。 可以分支执行控制，其中维护子图内的数据依赖性。 可以将执行控制连接在一起，其中维护子图中的数据依赖性。 示例性实施例可以允许子图在图形建模或编程环境中的不同线程上执行。

公开(公告)号：US09183120B1

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

申请号：US13910104

申请日：2013-06-04

Applicant: The MathWorks, Inc.

Inventor： Peter Webb

IPC: G06F12/00 ,  G06F12/02 ,  G06F9/44 ,  G06F9/445 ,  G06F9/46 ,  G06F11/36

CPC classification number: G06F8/60 ,  G06F11/3668

Abstract: A device may store dependency information for a group of software components provided by a technical computing environment. The group of software components may include a first software component and a second software component and may identify the second software component as being a dependent software component of the first software component. The device may obtain an application generated via the technical computing environment and may determine that the application invokes the first software component. The device may access the dependency information based on the application invoking the first software component and may determine that the first software component invokes the second software component based on the dependency information. The device may generate a deployable form of the application that allows the application to run in another computing environment.

Abstract translation: 设备可以存储由技术计算环境提供的一组软件组件的依赖性信息。 该组软件组件可以包括第一软件组件和第二软件组件，并且可以将第二软件组件标识为第一软件组件的依赖软件组件。 设备可以获得通过技术计算环境产生的应用，并且可以确定应用调用第一软件组件。 设备可以基于调用第一软件组件的应用访问依赖性信息，并且可以基于依赖性信息来确定第一软件组件调用第二软件组件。 设备可以生成应用程序的可部署形式，允许应用程序在另一个计算环境中运行。

公开(公告)号：US09164733B1

公开(公告)日：2015-10-20

申请号：US13780845

申请日：2013-02-28

Applicant: THE MATHWORKS, INC.

Inventor： William J. Aldrich ,  Olga Voronina ,  Zsolt Kalmar

IPC: G06F9/44 ,  G06F9/445 ,  G06F11/34 ,  G06F11/36

CPC classification number: G06F11/3668 ,  G06F8/10 ,  G06F8/40 ,  G06F9/44589 ,  G06F11/3466 ,  G06F11/3664 ,  G06F11/3676 ,  G06F11/3688

Abstract: An embodiment can include one or more computer-readable media storing executable instructions that when executed on processing logic process variable signals. The media can store one or more instructions for receiving executable code that includes constructs with variable signals for processing the variable signals, and for performing a coverage measurement on the executable code based on information about one or more of the variable signals processed by the executable code. The media can store one or more instructions for producing a coverage result based on the coverage measurement, the coverage result identifying a degree of coverage for the executable code when the executable code processes the variable signals.

公开(公告)号：US09128783B1

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

申请号：US14564460

申请日：2014-12-09

Applicant: The MathWorks, Inc.

Inventor： Arwen M. Warlock ,  Biao Yu ,  Matthew J. Englehart ,  Peter S. Szpak ,  Murali K. Yeddanapudi ,  Yuan Cao

IPC: G06F13/00 ,  G06F9/54

CPC classification number: G06F9/542 ,  G06F2209/545

Abstract: A device may receive a model including a group of blocks, and may receive a command to execute the model. The device may assign a parameter sample time to a subset of blocks of the group of blocks. The parameter sample time may permit a block, of the subset of blocks, to be executed based on a parameter change event detected during the execution of the model. The device may cause the model to be executed after assigning the parameter sample time to the subset of blocks. The device may detect a parameter change event, associated with the model, prior to the execution of the model being completed. The parameter change event may include an event that is external to the execution of the model. The device may cause at least one block, of the subset of blocks, to be executed based on the detecting the parameter change event.

Abstract translation: 设备可以接收包括一组块的模型，并且可以接收执行模型的命令。 设备可以将参数采样时间分配给该组块的块的子集。 参数采样时间可以允许基于在模型执行期间检测到的参数改变事件来执行块的子集的块。 该设备可能会在将参数采样时间分配给块子集之后执行模型。 在完成模型的执行之前，设备可以检测与模型相关联的参数改变事件。 参数更改事件可能包括在模型执行之外的事件。 该装置可以基于检测参数改变事件而使块的子集中的至少一个块被执行。

公开(公告)号：US20150234638A1

公开(公告)日：2015-08-20

申请号：US14702230

申请日：2015-05-01

Applicant: The MathWorks, Inc.

Inventor： Peter S. SZPAK

IPC: G06F9/44

CPC classification number: G06F8/34

Abstract: Graphical programming or modeling environments in which a coding standard can be applied to graphical programs or models are disclosed. The present invention provides mechanisms for applying the coding standard to graphical programs/models in the graphical programming/modeling environments. The mechanisms may detect violations of the coding standard in the graphical model and report such violations to the users. The mechanisms may automatically correct the graphical model to remove the violations from the graphical model. The mechanisms may also automatically avoid the violations in the simulation and/or code generation of the graphical model.

Abstract translation: 公开了可以将编码标准应用于图形程序或模型的图形编程或建模环境。 本发明提供了将编码标准应用于图形编程/建模环境中的图形程序/模型的机制。 这些机制可以检测图形模型中的编码标准的违规，并向用户报告这种违规。 这些机制可能会自动更正图形模型，以从图形模型中删除违规。 这些机制还可以自动避免图形模型的模拟和/或代码生成中的违规。

公开(公告)号：US09104743B1

公开(公告)日：2015-08-11

申请号：US13768854

申请日：2013-02-15

Applicant: The MathWorks, Inc.

Inventor： Malcolm A. Wood ,  Gavin W. Walker

IPC: G06F17/30

CPC classification number: G06F17/30595 ,  G06F17/2211

Abstract: A system and method determines the differences between versions of an object, such as a file. The object versions are compared using a differencing tool to identify the differences between the versions. A scoring algorithm may be selected for the object based on one or more attributes of the object. The scoring algorithm is used to compute a difference score for the object. The difference score may be a function of the differences between the object versions and the characteristics or qualities of those differences. The difference score provides an indication of the relative importance of the changes made to the object. The difference scores from multiple objects may be presented in an interactive report, and sorted to identify those objects that underwent the most significant or noteworthy changes.

Abstract translation: 系统和方法确定对象（例如文件）的版本之间的差异。 使用差分工具比较对象版本，以识别版本之间的差异。 可以基于对象的一个​​或多个属性为对象选择评分算法。 评分算法用于计算对象的差分。 差异分数可以是对象版本与这些差异的特征或质量之间的差异的函数。 差异分数提供了对对象所做更改的相对重要性的指示。 来自多个对象的差异分数可以在交互式报告中呈现，并且被排序以识别那些经历了最重要或值得注意的变化的对象。

公开(公告)号：US09104428B1

公开(公告)日：2015-08-11

申请号：US14092128

申请日：2013-11-27

Applicant: The MathWorks, Inc.

Inventor： Michael Karr

IPC: G06F9/45

CPC classification number: G06F8/437 ,  G06F8/31 ,  G06F9/4484

Abstract: In an embodiment of the invention, one or more tangible non-transitory computer-readable storage media may store the following instructions. Defining representation type spaces R1 and R2 and correctness type spaces C1 and C2 over the representation type spaces R1 and R2, respectively. Defining a representation type space R and a correctness type space C over the representation type space R, such that a semilattice associated with the correctness type space C is a function semilattice over respective semilattices associated with the correctness type spaces C1 and C2.

Abstract translation: 在本发明的一个实施例中，一个或多个有形的非暂时计算机可读存储介质可以存储以下指令。 在表示类型空间R1和R2上分别定义表示类型空间R1和R2以及正确类型空间C1和C2。 在表示类型空间R上定义表示类型空间R和正确性类型空间C，使得与正确性类型空间C相关联的半格值是与正确类型空间C1和C2相关联的各个半格点的函数半格。