专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

61. 发明授权

US09195439B2 Multi-threaded subgraph execution control in a graphical modeling environment 有权
标题翻译：多线程子图执行控制在图形建模环境中
公开(公告)号：US09195439B2
公开(公告)日：2015-11-24
申请号：US14011178
申请日：2013-08-27
申请人： The MathWorks, Inc.
发明人： John Edward Ciolfi , Ramamurthy Mani , Qu Zhang
IPC分类号： G06F9/44
CPC分类号： G06F8/34 , G06F9/48 , G06F17/5009 , G06F2217/74
摘要： 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.
摘要翻译：示例性实施例在图形建模或图形编程环境中支持多线程子图执行控制。在一个实施例中，子图可以被识别为图形模型或图形程序或两者中的块的子集。子图启动器可以在子图中保持数据依赖性的同时明确地执行子图。可以为子图启动器和图形图形或文本地定义显式签名。可以分支执行控制，其中维护子图内的数据依赖性。可以将执行控制连接在一起，其中维护子图中的数据依赖性。示例性实施例可以允许子图在图形建模或编程环境中的不同线程上执行。

62. 发明授权

US09183120B1 Functional dependency analysis 有权
标题翻译：功能依赖性分析
公开(公告)号：US09183120B1
公开(公告)日：2015-11-10
申请号：US13910104
申请日：2013-06-04
申请人： The MathWorks, Inc.
发明人： Peter Webb
IPC分类号： G06F12/00 , G06F12/02 , G06F9/44 , G06F9/445 , G06F9/46 , G06F11/36
CPC分类号： G06F8/60 , G06F11/3668
摘要： 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.
摘要翻译：设备可以存储由技术计算环境提供的一组软件组件的依赖性信息。该组软件组件可以包括第一软件组件和第二软件组件，并且可以将第二软件组件标识为第一软件组件的依赖软件组件。设备可以获得通过技术计算环境产生的应用，并且可以确定应用调用第一软件组件。设备可以基于调用第一软件组件的应用访问依赖性信息，并且可以基于依赖性信息来确定第一软件组件调用第二软件组件。设备可以生成应用程序的可部署形式，允许应用程序在另一个计算环境中运行。

63. 发明授权

US09164733B1 Coverage analysis for variable size signals 有权
公开(公告)号：US09164733B1
公开(公告)日：2015-10-20
申请号：US13780845
申请日：2013-02-28
申请人： THE MATHWORKS, INC.
发明人： William J. Aldrich , Olga Voronina , Zsolt Kalmar
IPC分类号： G06F9/44 , G06F9/445 , G06F11/34 , G06F11/36
CPC分类号： G06F11/3668 , G06F8/10 , G06F8/40 , G06F9/44589 , G06F11/3466 , G06F11/3664 , G06F11/3676 , G06F11/3688
摘要： 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.

64. 发明授权

US09135065B1 Parallel processing of multidimensional arrays 有权
标题翻译：并行处理多维数组
公开(公告)号：US09135065B1
公开(公告)日：2015-09-15
申请号：US13599020
申请日：2012-08-30
申请人： Halldor Narfi Stefansson
发明人： Halldor Narfi Stefansson
IPC分类号： G06F9/46 , G06F9/50
CPC分类号： G06F9/50 , G06F8/453 , G06F15/8023
摘要： A device receives a command to initiate parallel processing. The command includes an indication of a function that is to be performed in connection with the parallel processing, and a reference to a multidimensional array to which the function is to be applied. The multidimensional array includes at least three dimensions. The command also includes an indication of one or more dimensions by which the multidimensional array is to be partitioned. The device partitions the multidimensional array, along the one or more dimensions, to divide the multidimensional array into multiple blocks, each of the multiple blocks representing a subset of the multidimensional array. The device controls application of the function to the multiple blocks to cause the function to be applied in parallel to at least two blocks of the multiple blocks.
摘要翻译：设备接收到启动并行处理的命令。该命令包括与并行处理相关的要执行的功能的指示，以及对要应用功能的多维阵列的引用。多维阵列至少包括三维。该命令还包括一个或多个维度的指示，通过该维度多维数组将被分割。设备沿着一个或多个维度分割多维阵列以将多维阵列划分成多个块，多个块中的每一个表示多维数组的子集。该装置控制多个块的功能的应用，使该功能并行地应用于多个块的至少两个块。

65. 发明授权

US09134967B1 Method of providing interactive usage descriptions based on source code analysis 有权
标题翻译：基于源代码分析提供交互式使用说明的方法
公开(公告)号：US09134967B1
公开(公告)日：2015-09-15
申请号：US13283099
申请日：2011-10-27
申请人： Steve Johnson
发明人： Steve Johnson
IPC分类号： G06F9/44 , G06F9/45 , G06F3/00 , G06F11/36
CPC分类号： G06F8/33 , G06F8/427 , G06F8/436 , G06F8/437 , G06F11/3664
摘要： A method of dynamically analyzing source code for generating usage hints while editing the source code is disclosed. A parse tree data structure is generated for each function called. The incoming and outgoing arguments in the parse tree are identified. A user calls the function by entering arguments as part of the function-call. The user's input arguments are associated with the corresponding argument in the parse tree. Relevant preconditions and post-conditions of the nodes surrounding the current location in the parse tree are analyzed to provide usage hints for the completion of the function call. In the case of a completed function call argument entered by the user, the type and number of arguments in the completed function call are compared to the required type and number of arguments of the function to validate the function call. Error messages are provided in the event of an invalid call.
摘要翻译：公开了在编辑源代码时动态分析源代码以产生使用提示的方法。为每个调用的函数生成解析树数据结构。识别解析树中的传入和传出参数。用户通过输入参数作为函数调用的一部分来调用该函数。用户的输入参数与解析树中的相应参数相关联。分析围绕解析树中当前位置的节点的相关前提条件和后置条件，以提供完成函数调用的使用提示。在用户输入完成的函数调用参数的情况下，将完成函数调用中的参数的类型和数量与要验证函数调用的函数的必需类型和数量进行比较。在无效呼叫的情况下提供错误消息。

66. 发明授权

US09129136B2 System and method for verifying the integrity of read-only components in deployed mixed-mode applications 有权
标题翻译：用于验证部署的混合模式应用程序中只读组件的完整性的系统和方法
公开(公告)号：US09129136B2
公开(公告)日：2015-09-08
申请号：US11880417
申请日：2007-07-19
申请人： Peter Hartwell Webb
发明人： Peter Hartwell Webb
IPC分类号： G06F9/44 , G06F21/64 , G06F21/51
CPC分类号： G06F21/64 , G06F21/51
摘要： A method of ensuring the integrity of read-only components in deployed mixed-mode applications that includes generating a digital fingerprint prior to the deployment of a mixed-mode application is discussed. The digital fingerprint is based on a read-only component in the mixed-mode application and uniquely identifies the read-only component. The method also deploys the mixed-mode application and the digital fingerprint. Additionally, the method verifies, at execution time by using the digital fingerprint, that the read-only component in the mixed-mode deployed application that served as the basis for the digital fingerprint is identical to the same read-only component originally packaged with the mixed-mode application.
摘要翻译：讨论了在部署混合模式应用程序中确保只读组件的完整性的方法，包括在部署混合模式应用程序之前生成数字指纹。数字指纹基于混合模式应用程序中的只读组件，并唯一地标识只读组件。该方法还部署了混合模式应用程序和数字指纹。此外，该方法在执行时通过使用数字指纹来验证作为数字指纹的基础的混合模式部署的应用程序中的只读组件与最初与该数字指纹打包的相同的只读组件相同混合模式应用。

67. 发明授权

US09128783B1 Scheduling and executing model components in response to un-modeled events detected during an execution of the model 有权
标题翻译：调度和执行模型组件以响应在模型执行期间检测到的未建模事件
公开(公告)号：US09128783B1
公开(公告)日：2015-09-08
申请号：US14564460
申请日：2014-12-09
申请人： The MathWorks, Inc.
发明人： Arwen M. Warlock , Biao Yu , Matthew J. Englehart , Peter S. Szpak , Murali K. Yeddanapudi , Yuan Cao
IPC分类号： G06F13/00 , G06F9/54
CPC分类号： G06F9/542 , G06F2209/545
摘要： 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.
摘要翻译：设备可以接收包括一组块的模型，并且可以接收执行模型的命令。设备可以将参数采样时间分配给该组块的块的子集。参数采样时间可以允许基于在模型执行期间检测到的参数改变事件来执行块的子集的块。该设备可能会在将参数采样时间分配给块子集之后执行模型。在完成模型的执行之前，设备可以检测与模型相关联的参数改变事件。参数更改事件可能包括在模型执行之外的事件。该装置可以基于检测参数改变事件而使块的子集中的至少一个块被执行。

68. 发明授权

US09122387B1 User configured optimizer 有权
标题翻译：用户配置优化器
公开(公告)号：US09122387B1
公开(公告)日：2015-09-01
申请号：US13290694
申请日：2011-11-07
申请人： Mary Ann Branch Freeman , Marcelo Marazzi , Marjorie Berman , Rakesh Kumar , Tara Scott , Amy Kidd , Thomas Paul Lane
发明人： Mary Ann Branch Freeman , Marcelo Marazzi , Marjorie Berman , Rakesh Kumar , Tara Scott , Amy Kidd , Thomas Paul Lane
IPC分类号： G06F3/0484 , G06N99/00
CPC分类号： G06F3/04847 , G06F3/0481 , G06F9/451 , G06F17/10 , G06F17/11 , G06N99/005 , G06Q10/04
摘要： An adaptable graphical user interface is provided. The interface may include a setup region to display a group of available solvers to a user and to display parameters for at least one of the group of solvers to the user. The interface may include an options region to display a first group of active options to a user without requiring a user input for the first group of active options, where the first group of active options is determined based on a selected one of the group of solvers. The options region may further display a second group of active options to the user when another one of the solvers is selected by the user, where the second group of active options differs from the first group of active options.
摘要翻译：提供了一种适应性强的图形用户界面。接口可以包括设置区域，以向用户显示一组可用的解算器，并且向用户显示解决器组中的至少一个的参数。接口可以包括选项区域，以向用户显示第一组活动选项，而不需要用户输入第一组活动选项，其中基于所选择的一组解决方案中的所选择的一组活动选项来确定第一组活动选项。当用户选择另一个解算器时，选项区域可以进一步向用户显示第二组活动选项，其中第二组活动选项与第一组活动选项不同。

69. 发明授权

US09104743B1 System and method for file differencing with importance ranking 有权
标题翻译：具有重要性排名的文件差异的系统和方法
公开(公告)号：US09104743B1
公开(公告)日：2015-08-11
申请号：US13768854
申请日：2013-02-15
申请人： The MathWorks, Inc.
发明人： Malcolm A. Wood , Gavin W. Walker
IPC分类号： G06F17/30
CPC分类号： G06F17/30595 , G06F17/2211
摘要： 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.
摘要翻译：系统和方法确定对象（例如文件）的版本之间的差异。使用差分工具比较对象版本，以识别版本之间的差异。可以基于对象的一个或多个属性为对象选择评分算法。评分算法用于计算对象的差分。差异分数可以是对象版本与这些差异的特征或质量之间的差异的函数。差异分数提供了对对象所做更改的相对重要性的指示。来自多个对象的差异分数可以在交互式报告中呈现，并且被排序以识别那些经历了最重要或值得注意的变化的对象。

70. 发明授权

US09104428B1 Wide-spectrum type system incorporating representation types, correctness types, coercions, and function overload resolution 有权
标题翻译：包含表示类型，正确性类型，强制和功能重载分辨率的宽谱类型系统
公开(公告)号：US09104428B1
公开(公告)日：2015-08-11
申请号：US14092128
申请日：2013-11-27
申请人： The MathWorks, Inc.
发明人： Michael Karr
IPC分类号： G06F9/45
CPC分类号： G06F8/437 , G06F8/31 , G06F9/4484
摘要： 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.
摘要翻译：在本发明的一个实施例中，一个或多个有形的非暂时计算机可读存储介质可以存储以下指令。在表示类型空间R1和R2上分别定义表示类型空间R1和R2以及正确类型空间C1和C2。在表示类型空间R上定义表示类型空间R和正确性类型空间C，使得与正确性类型空间C相关联的半格值是与正确类型空间C1和C2相关联的各个半格点的函数半格。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式