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

81. 发明授权

US08966456B2 System and method for providing and using meta-data in a dynamically typed array-based language 有权
标题翻译：用于以动态类型的基于数组的语言提供和使用元数据的系统和方法
公开(公告)号：US08966456B2
公开(公告)日：2015-02-24
申请号：US11488428
申请日：2006-07-17
申请人： David A. Foti
发明人： David A. Foti
IPC分类号： G06F9/45 , G06F17/30 , G06F9/44
CPC分类号： G06F8/52 , G06F8/315 , G06F17/30
摘要： A class definition syntax that leverages the array and math-oriented nature of a dynamically typed array-based programming language is discussed. Some embodiments of the present invention provides a mechanism for using meta-data to define a class implemented in the dynamically typed array-based programming language. The meta-data provide an easy way to provide class definitions and allow a user to access the class definitions from objects. The meta-data also support extension of class definitions without introducing backward incompatibility.
摘要翻译：讨论了一种利用动态类型的基于数组的编程语言的数组和数学导向性质的类定义语法。本发明的一些实施例提供了一种使用元数据定义以动态类型的基于阵列的编程语言实现的类的机制。元数据提供了一种简单的方法来提供类定义，并允许用户从对象访问类定义。元数据还支持类定义的扩展，而不引入向后不兼容性。

82. 发明授权

US08935682B2 Graphical processing unit (GPU) arrays providing high computational capabilities in a computing environment 有权
标题翻译：在计算环境中提供高计算能力的图形处理单元（GPU）阵列
公开(公告)号：US08935682B2
公开(公告)日：2015-01-13
申请号：US14020372
申请日：2013-09-06
申请人： The MathWorks, Inc.
发明人： Halldor N. Stefansson , Edric Ellis , Jocelyn Luke Martin
IPC分类号： G06F9/45
CPC分类号： G06F8/41 , G06F9/5072
摘要： 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.
摘要翻译：设备启动技术计算环境（TCE），并通过TCE接收允许TCE访问远离设备的图形处理单元的程序命令，其中程序命令允许TCE将数据无缝传输到远程GPU。该设备通过TCE将程序命令转换为可由远程GPU执行的程序命令，并将转换后的程序命令提供给远程GPU进行执行。该设备还从远程GPU接收与远程GPU执行变换的程序命令相关联的一个或多个结果，并且经由TCE利用一个或多个结果。

83. 发明授权

US08935133B1 Measurement points in modeling and simulation 有权
标题翻译：建模和仿真中的测量点
公开(公告)号：US08935133B1
公开(公告)日：2015-01-13
申请号：US13430056
申请日：2012-03-26
申请人： Joel Berg , Venkata Tamminana , Jagadish Gattu
发明人： Joel Berg , Venkata Tamminana , Jagadish Gattu
IPC分类号： G06F17/50
CPC分类号： G06F17/5009
摘要： A computing device may be used to create a model that includes a block. The block may represent a function corresponding to a simulation. Measurement points may be inserted into the model. The model may be used to create a simulation, and the measurement points may be used to measure operational characteristics corresponding to the block.
摘要翻译：计算设备可以用于创建包括块的模型。该块可以表示对应于模拟的功能。测量点可以插入到模型中。该模型可用于创建模拟，并且测量点可用于测量对应于块的操作特性。

84. 发明授权

US08933963B1 Object trees for multiprocessor systems 有权
标题翻译：多处理器系统的对象树
公开(公告)号：US08933963B1
公开(公告)日：2015-01-13
申请号：US13918133
申请日：2013-06-14
申请人： The MathWorks, Inc.
发明人： Michael P. Garrity
IPC分类号： G09G5/00 , G06T1/00
CPC分类号： G06T1/00 , G06F9/5044 , G06F2209/509 , G06T15/005 , G06T17/005
摘要： 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.
摘要翻译：系统可以包括存储器，其存储指令和处理器，以基于与图形场景有关的数据，在第一数据结构中执行指令来创建描述图形场景的第一组对象。处理器可以基于第一数据结构中的第一组对象在第二数据结构中创建第二组对象，其中第一组对象中的至少一个对象与第二组对象中的至少一个对象相关联对象和用于第二组对象的对象的一个或多个属性基于与第一数据结构相关联的信息。处理器可以修改第二组对象，并将经修改的第二组对象提供给浏览器以呈现图形场景。

85. 发明授权

US08930387B1 Techniques for suggesting correct identifiers 有权
标题翻译：提示正确标识符的技术
公开(公告)号：US08930387B1
公开(公告)日：2015-01-06
申请号：US13708440
申请日：2012-12-07
申请人： The MathWorks, Inc.
发明人： Joseph F. Hicklin , Audrey L. Benevento
IPC分类号： G06F7/00 , G06N99/00
CPC分类号： G06N99/005 , G06F17/3064
摘要： In an illustrative embodiment, an apparatus, computer-readable medium, system, or method may be configured to suggest correct identifiers. Frequencies of occurrence of expected identifiers may be determined. One or more unrecognized identifiers may be detected. One or more first numerical scores indicating that one or more unrecognized identifiers were provided to the computing environment in place of one or more of the expected identifiers may be calculated. Second numerical scores indicating that the unrecognized identifiers were intended to include expected identifiers may also be calculated. The second numerical scores may be calculated using the first numerical scores and the frequencies of occurrence of the expected identifiers. One or more expected identifiers may be selected based on the second set of numerical scores.
摘要翻译：在说明性实施例中，设备，计算机可读介质，系统或方法可以被配置为建议正确的标识符。可以确定出现预期标识符的频率。可以检测一个或多个无法识别的标识符。可以计算一个或多个第一数值分数，其指示代替预期标识符中的一个或多个提供给计算环境的一个或多个无法识别的标识符。也可以计算表示未识别的标识符旨在包括预期标识符的第二数值分数。可以使用第一数值分数和预期标识符的出现频率来计算第二数值分数。可以基于第二组数值分数来选择一个或多个预期标识符。

86. 发明授权

US08924929B2 Methods and system for executing a program in multiple execution environments 有权
标题翻译：在多个执行环境中执行程序的方法和系统
公开(公告)号：US08924929B2
公开(公告)日：2014-12-30
申请号：US12550135
申请日：2009-08-28
申请人： Cleve Moler
发明人： Cleve Moler
IPC分类号： G06F9/44 , G06F9/45 , G06F9/50
CPC分类号： G06F9/5072 , G06F8/45 , G06F9/5027
摘要： A system and methods are disclosed for executing a technical computing program in parallel in multiple execution environments. A program is invoked for execution in a first execution environment and from the invocation the program is executed in the first execution environment and one or more additional execution environments to provide for parallel execution of the program. New constructs in a technical computing programming language are disclosed for parallel programming of a technical computing program for execution in multiple execution environments. It is also further disclosed a system and method for changing the mode of operation of an execution environment from a sequential mode to a parallel mode of operation and vice-versa.
摘要翻译：公开了用于在多个执行环境中并行执行技术计算程序的系统和方法。在第一执行环境中调用程序以执行程序，并且从第一执行环境中执行程序的调用和一个或多个附加执行环境来提供程序的并行执行。公开了技术计算编程语言中的新构造，用于在多个执行环境中执行的技术计算程序的并行编程。还公开了一种用于将执行环境的操作模式从顺序模式改变为并行操作模式的系统和方法，反之亦然。

87. 发明授权

US08892416B2 System and method of generating equation-level diagnostic error messages for use in circuit simulation 有权
标题翻译：产生用于电路仿真的方程式诊断错误消息的系统和方法
公开(公告)号：US08892416B2
公开(公告)日：2014-11-18
申请号：US13887796
申请日：2013-05-06
申请人： The MathWorks, Inc.
发明人： Joseph Daniel Kanapka , Nathan Edward Brewton
IPC分类号： G06F17/50
CPC分类号： G06F17/504
摘要： A mechanism for providing equation-level diagnostic error messages for system models undergoing circuit simulations is discussed. The components in a model of a system being simulated are converted into multiple numerical equations where each equation corresponds to a component in the system being simulated or a topology equation for the system model. Each numerical equation is numerically analyzed in order to identify illegal configurations in the system. Upon detection of an error, an error message listing the components associated with the illegal configuration is generated for the user.
摘要翻译：讨论了一种为进行电路仿真的系统模型提供方程式诊断错误消息的机制。被模拟系统的模型中的组件被转换成多个数学方程，其中每个方程对应于正被模拟的系统中的一个组件或系统模型的拓扑方程。对数值方程进行数值分析，以识别系统中的非法配置。在检测到错误时，为用户生成列出与非法配置相关联的组件的错误消息。

88. 发明授权

US08881097B2 System and method for creating and using graphical object instances in a statechart environment 有权
标题翻译：在状态图环境中创建和使用图形对象实例的系统和方法
公开(公告)号：US08881097B2
公开(公告)日：2014-11-04
申请号：US13493386
申请日：2012-06-11
申请人： Vijay Raghavan , Beth Cockerham
发明人： Vijay Raghavan , Beth Cockerham
IPC分类号： G06F9/44
CPC分类号： G06F8/34 , G06F9/4488
摘要： A method of providing multi-instantiable state templates to a statechart environment is discussed. The method includes the step of providing a graphical definition of an independent state machine object belonging to a statechart. The method further includes the step of instantiating a first instance and a second instance of the independent state machine object in the statechart. The method additionally includes the steps of starting execution of the first instance of the independent state machine object and then stopping execution of the first instance of the state machine object. Additionally, the method includes the step of starting the execution of the second instance of the independent state machine object in the state diagram.
摘要翻译：讨论了向状态图环境提供多实例化状态模板的方法。该方法包括提供属于状态图的独立状态机对象的图形定义的步骤。该方法还包括在状态图中实例化独立状态机对象的第一实例和第二实例的步骤。该方法还包括开始执行独立状态机对象的第一实例，然后停止执行状态机对象的第一实例的步骤。此外，该方法包括在状态图中开始执行独立状态机对象的第二实例的步骤。

89. 发明授权

US08869103B2 Using intermediate representations to verify computer-executable code generated from a model 有权
标题翻译：使用中间表示法来验证从模型生成的计算机可执行代码
公开(公告)号：US08869103B2
公开(公告)日：2014-10-21
申请号：US13250577
申请日：2011-09-30
申请人： Mirko Conrad , Xiaocang Lin , Jun Yan , Peter Szpak , Appa Rao Nirakh , Jaya Shankar
发明人： Mirko Conrad , Xiaocang Lin , Jun Yan , Peter Szpak , Appa Rao Nirakh , Jaya Shankar
IPC分类号： G06F9/44
CPC分类号： G06F11/3604 , G06F8/35
摘要： In an embodiment, a model is sliced into a plurality of slices. A slice in the plurality of slices is selected. A portion of code, that corresponds to the selected slice, is identified from code generated from the model. The identified code is verified to be equivalent to the selected slice. Equivalence may include equivalent functionality, equivalent data types, equivalent performance, and/or other forms of equivalence between the selected slice and the identified generated code.
摘要翻译：在一个实施例中，将模型切成多个切片。选择多个切片中的切片。根据从模型生成的代码来识别对应于所选切片的一部分代码。所识别的代码被验证为等同于所选择的切片。等效性可以包括等效的功能，等效的数据类型，等效的性能，和/或所选切片和所识别的生成的代码之间的等价的其他形式。

90. 发明授权

US08868401B1 Verification harness for automatically generating a text-based representation of a graphical model 有权
公开(公告)号：US08868401B1
公开(公告)日：2014-10-21
申请号：US12722168
申请日：2010-03-11
申请人： David Koh , Brian K. Ogilvie , Zhongxin Li , Shi Chao Zhang , Jihad E. Ibrahim
发明人： David Koh , Brian K. Ogilvie , Zhongxin Li , Shi Chao Zhang , Jihad E. Ibrahim
IPC分类号： G06F9/45
摘要： A system and method automatically generates an object-oriented, textual program from a graphical model, and verifies the performance of the textual program as compared to the graphical model. The graphical model may have a plurality of interconnected blocks, and each block may have a plurality of parameters. One or more of the blocks are mapped to a system object, and the block's parameters are mapped to properties of the system object. An object-oriented, executable textual string is generated automatically for the block. The generated string includes at least one command to: instantiate a system object having functionality that matches the block; set one or more properties of the system object based on the block's parameters; and run the instantiated object.

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式