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

1. 发明授权

US08314793B2 Implied analytical reasoning and computation 有权
标题翻译：隐含的分析推理和计算
公开(公告)号：US08314793B2
公开(公告)日：2012-11-20
申请号：US12344215
申请日：2008-12-24
申请人： Brian C. Beckman , Henricus Johannes Maria Meijer , Vijay Mital , Darryl E. Rubin
发明人： Brian C. Beckman , Henricus Johannes Maria Meijer , Vijay Mital , Darryl E. Rubin
IPC分类号： G06T17/00
CPC分类号： G06T11/206 , G06T19/00
摘要： Solving for output variable(s) of a model that includes multiple analytically related model variables. The identity of the output model variables and the analytical relationships between the model variables are separately designated. Regardless of the identity of the output variable(s), a solver framework interprets the analytical relationships and solves for the designated output variable(s). The output model variable(s) may be designated separately than the analytical relationships themselves. By simply changing the designation of the output model variable(s), the analytical relationships are reevaluated, and the output variable(s) are solved for. The solver framework itself stays the same regardless of the identity of the output model variable(s).
摘要翻译：求解包含多个分析相关模型变量的模型的输出变量。分别指定输出模型变量的身份和模型变量之间的分析关系。无论输出变量的身份如何，求解器框架解释分析关系并解决指定的输出变量。输出模型变量可以与分析关系本身分开指定。通过简单地改变输出模型变量的指定，重新评估分析关系，并解决输出变量。无论输出模型变量的身份如何，求解器框架本身都保持不变。

2. 发明申请

US20100156900A1 IMPLIED ANALYTICAL REASONING AND COMPUTATION 有权
标题翻译：暗示分析和计算
公开(公告)号：US20100156900A1
公开(公告)日：2010-06-24
申请号：US12344215
申请日：2008-12-24
申请人： Brian C. Beckman , Henricus Johannes Maria Meijer , Vijay Mital , Darryl E. Rubin
发明人： Brian C. Beckman , Henricus Johannes Maria Meijer , Vijay Mital , Darryl E. Rubin
IPC分类号： G06T17/00
CPC分类号： G06T11/206 , G06T19/00
摘要： Solving for output variable(s) of a model that includes multiple analytically related model variables. The identity of the output model variables and the analytical relationships between the model variables are separately designated. Regardless of the identity of the output variable(s), a solver framework interprets the analytical relationships and solves for the designated output variable(s). The output model variable(s) may be designated separately than the analytical relationships themselves. By simply changing the designation of the output model variable(s), the analytical relationships are reevaluated, and the output variable(s) are solved for. The solver framework itself stays the same regardless of the identity of the output model variable(s).
摘要翻译：求解包含多个分析相关模型变量的模型的输出变量。分别指定输出模型变量的身份和模型变量之间的分析关系。无论输出变量的身份如何，求解器框架解释分析关系并解决指定的输出变量。输出模型变量可以与分析关系本身分开指定。通过简单地改变输出模型变量的指定，重新评估分析关系，并解决输出变量。无论输出模型变量的身份如何，求解器框架本身都保持不变。

3. 发明授权

US08453114B2 Implicit iteration of keyed array symbol 有权
标题翻译：键控数组符号的隐式迭代
公开(公告)号：US08453114B2
公开(公告)日：2013-05-28
申请号：US12344216
申请日：2008-12-24
申请人： Brian C. Beckman , Vijay Mital , Darryl E. Rubin
发明人： Brian C. Beckman , Vijay Mital , Darryl E. Rubin
IPC分类号： G06F9/44
CPC分类号： G06F17/30333 , G06F9/44 , G06F17/30958
摘要： The use of a data structure that is a symbolic representation of a keyed array that has an array variable and an associated key variable. There is a correlation maintained between the variable type of the array variable and the corresponding keying set that is to be bound to the associated key variable. The keyed array may remain unbound thereby being simply symbolically represented, or the keying set may be bound to the key variable more immediately. In one embodiment, once the keying set is bound to the key variable, data may be bound to the array variable itself. This may be repeated for multiple keyed arrays. The data from multiple keyed arrays may be operated upon to about another array of values, which may then be aggregated in some way.
摘要翻译：使用数据结构，它是具有数组变量和关联键变量的键控数组的符号表示。在数组变量的变量类型和要绑定到关联的键变量的对应的键集之间存在相关性。键控阵列可以保持未绑定，从而被简单地象征性地表示，或者密钥集可以更加紧密地绑定到密钥变量。在一个实施例中，一旦密钥集合被绑定到密钥变量，数据可以被绑定到数组变量本身。对于多个键控阵列可能会重复。来自多个键控阵列的数据可以被操作在大约另一数值阵列上，然后可以以某种方式聚合。

4. 发明授权

US08352397B2 Dependency graph in data-driven model 有权
标题翻译：数据驱动模型中的依赖图
公开(公告)号：US08352397B2
公开(公告)日：2013-01-08
申请号：US12557297
申请日：2009-09-10
申请人： Darryl E. Rubin , Vijay Mital , Brian C. Beckman , G. Shon Katzenberger
发明人： Darryl E. Rubin , Vijay Mital , Brian C. Beckman , G. Shon Katzenberger
IPC分类号： G06F17/00
CPC分类号： G06N99/005
摘要： The inference of a dependency graph that represents a graph of solves that leads from input model parameter(s) to output model parameters using analytics. In one embodiment, the dependency graph is part of visually driven analytics in which the output model parameter(s) are used to formulate data-drive scenes. As the identity of the input and/or output model parameter(s) change, or as the analytics themselves change, the dependency graph may also change. This might trigger a resolve of the analytics. In one embodiment, the intermediate parameters involved in the dependency graph may be viewed and evaluated by the user.
摘要翻译：依赖图的推论，其表示从输入模型参数引导到使用分析输出模型参数的解的图。在一个实施例中，依赖图是视觉驱动分析的一部分，其中使用输出模型参数来制定数据驱动场景。随着输入和/或输出模型参数的身份变化，或随着分析本身的变化，依赖图也可能发生变化。这可能会引发分析的解决。在一个实施例中，可以由用户查看和评估参与依赖图的中间参数。

5. 发明授权

US08190406B2 Hybrid solver for data-driven analytics 有权
标题翻译：用于数据驱动分析的混合求解器
公开(公告)号：US08190406B2
公开(公告)日：2012-05-29
申请号：US12324469
申请日：2008-11-26
申请人： Brian C. Beckman , David G. Green , Vijay Mital , Darryl E. Rubin , Olivier Colle
发明人： Brian C. Beckman , David G. Green , Vijay Mital , Darryl E. Rubin , Olivier Colle
IPC分类号： G06F7/60 , G06F3/00 , G06F7/00 , G06F17/00 , G06T11/20
CPC分类号： G06F17/50
摘要： A complex solver that is able to solve a diverse variety of model analytics. Upon identifying the various input variable(s) and output variable(s) of the model variables, if a straight forward solve is not to be performed, it is determined whether the model analytics is to be inverted such that a forward solve can be performed. For instance, it might not be known generally, or at least to the solver, how to invert a particular equation of other model analytics. If the model analytics is to be inverted, the model analytics is inverted, and the forward solve is performed. On the other hand, if the inversion of the model analytics is not to be performed, then a numerical analysis solve is performed.
摘要翻译：一个能够解决各种模型分析的复杂解算器。在识别模型变量的各种输入变量和输出变量时，如果不执行直接求解，则确定模型分析是否被反转，使得可以执行正向求解。例如，对于其他模型分析的特定方程，一般可能不知道，或至少是解决者。如果模型分析要反转，则模型分析被反转，并且执行前向求解。另一方面，如果不执行模型分析的反演，则进行数值分析求解。

6. 发明授权

US08866818B2 Composing shapes and data series in geometries 有权
标题翻译：组合几何形状和数据系列
公开(公告)号：US08866818B2
公开(公告)日：2014-10-21
申请号：US12488300
申请日：2009-06-19
申请人： Darryl E. Rubin , Vijay Mital , David G. Green , Brian C. Beckman
发明人： Darryl E. Rubin , Vijay Mital , David G. Green , Brian C. Beckman
IPC分类号： G06T11/20 , G06T19/00
CPC分类号： G06T11/20 , G06F17/50 , G06T3/40 , G06T11/206 , G06T19/00 , G06T19/20 , G06T2219/012 , G06T2219/2012 , G06T2219/2021
摘要： A renderable geometry the may be populated with shapes and data series. The geometry defines a set of dimensions to be applied to the shapes. The geometry further defines and enforces a construction of the shapes around the set of dimensions, and applies the data series to the plurality of shapes against at least one of the set of dimensions. The formulate of the geometry may be recursively performed. For instance, the geometry may be provided as a shape in a set of shapes provided to yet another geometry with another data series. The data series might be reversibly applied to one of the dimensions, allowing for complex geometries to be created with data represented in very flexibly ways.
摘要翻译：可渲染的几何体可以填充形状和数据系列。几何定义了要应用于形状的一组尺寸。所述几何形状进一步限定并强制围绕所述维度集合的形状的构造，并且针对所述一组维度中的至少一个将所述数据序列应用于所述多个形状。几何的公式可以递归地执行。例如，几何形状可以被提供为以另一数据系列提供给另一几何形状的一组形状中的形状。数据系列可能可逆地应用于其中一个维度，允许以非常灵活的方式表示数据来创建复杂的几何。

7. 发明授权

US08117145B2 Analytical model solver framework 有权
标题翻译：分析模型求解器框架
公开(公告)号：US08117145B2
公开(公告)日：2012-02-14
申请号：US12163949
申请日：2008-06-27
申请人： Darryl E. Rubin , Vijay Mital , Brian C. Beckman
发明人： Darryl E. Rubin , Vijay Mital , Brian C. Beckman
IPC分类号： G06F17/00 , G06N5/02
CPC分类号： G06F17/50
摘要： A solver framework for use with an analytical model. The analytical model includes multiple model parameters and includes definitions for analytical relationships between the model parameters. The solver framework coordinates the processing of multiple specialized solvers. In particular, the solver framework identifies which model parameters are input model variables and which are output model variables. The solver framework then analyzes dependencies to determine a solve order to solve for the output model variables. The solver framework then charged the specialized solvers with performing portions of the solve operation such that the specialized solvers solve for the output model variables in an order which considers the dependencies. In one embodiment, additional or replacement solvers may register with the solver framework to thereby make the specialized solver available for solving for output model variables in the future.
摘要翻译：用于分析模型的求解器框架。分析模型包括多个模型参数，并包括模型参数之间分析关系的定义。求解器框架协调多个专门求解器的处理。特别地，求解器框架识别哪些模型参数是输入模型变量，哪些是输出模型变量。求解器框架然后分析依赖关系以确定求解输出模型变量的求解顺序。解算器框架然后对执行解决操作的部分的特殊求解器进行计费，使得专门的解算器以考虑依赖性的顺序解决输出模型变量。在一个实施例中，附加或替换求解器可以向求解器框架注册，从而使得专用求解器可用于在将来解决输出模型变量。

8. 发明申请

US20100325564A1 CHARTS IN VIRTUAL ENVIRONMENTS 审中-公开
标题翻译：虚拟环境中的魅力
公开(公告)号：US20100325564A1
公开(公告)日：2010-12-23
申请号：US12488314
申请日：2009-06-19
申请人： Vijay Mital , Darryl E. Rubin , Brian C. Beckman , David G. Green
发明人： Vijay Mital , Darryl E. Rubin , Brian C. Beckman , David G. Green
IPC分类号： G06F3/048
CPC分类号： G06F3/04815 , G06T11/206
摘要： The application of chart data to a virtual space. The chart data is accessed and a virtual space is formulated. The virtual space is a computerized representation of a plurality of spatially interrelated visual items. The chart data is merged with the virtual space. As an example, the chart data might represent spatially significant information. For instance, one data item in the chart data might represent information about a first point or region in the virtual space, another data item in the chart data might represent information about a second point or region in the virtual space, and so forth. Merging of the chart data might involve changing property(s) of corresponding regions of space depending on value(s) of the associated chart data.
摘要翻译：将图表数据应用于虚拟空间。访问图表数据并制定虚拟空间。虚拟空间是多个空间上相互关联的视觉项目的计算机化表示。图表数据与虚拟空间合并。例如，图表数据可能表示空间有意义的信息。例如，图表数据中的一个数据项可以表示关于虚拟空间中的第一点或区域的信息，图表数据中的另一数据项可以表示关于虚拟空间中的第二点或区域的信息，等等。图表数据的合并可能涉及根据相关图表数据的值来更改相应的空间区域的属性。

9. 发明申请

US20100325196A1 DATA-DRIVEN VISUALIZATION OF PSEUDO-INFINITE SCENES 有权
标题翻译：数据驱动视觉化的无限无限场景
公开(公告)号：US20100325196A1
公开(公告)日：2010-12-23
申请号：US12488292
申请日：2009-06-19
申请人： Brian C. Beckman , Vijay Mital , Darryl E. Rubin , G. Shon Katzenberger
发明人： Brian C. Beckman , Vijay Mital , Darryl E. Rubin , G. Shon Katzenberger
IPC分类号： G06F15/16
CPC分类号： G06F17/30516
摘要： The use of a data stream object to enumerate elements of a data stream to thereby drive rendering of a data-driven model. The data driven model includes multiple view components that may use their own construction logic to render visual items based on data provided to their input parameter(s). The data stream may be quite large, in which case, only a portion of the data stream is enumerated by the data stream object. The enumerated elements of the data stream may be used to populate the input parameters of the view components, and or may be provided to analytics, from which input parameters of the view components may be derived. Thus, a data stream, regardless of its size, may be dealt with in the consistent manner to thereby drive the data-driven model.
摘要翻译：使用数据流对象来枚举数据流的元素，从而驱动数据驱动模型的渲染。数据驱动模型包括多个视图组件，其可以使用它们自己的构造逻辑基于提供给其输入参数的数据来呈现可视项目。数据流可能相当大，在这种情况下，仅数据流的一部分被数据流对象枚举。数据流的枚举元素可以用于填充视图组件的输入参数，并且可以被提供给分析，从中可以导出视图组件的输入参数。因此，无论其大小如何，数据流都可以以一致的方式处理，从而驱动数据驱动的模型。

10. 发明申请

US20100158245A1 IMPLICIT ITERATION OF KEYED ARRAY SYMBOL 有权
标题翻译：关键字阵列的隐含迭代
公开(公告)号：US20100158245A1
公开(公告)日：2010-06-24
申请号：US12344216
申请日：2008-12-24
申请人： Brian C. Beckman , Vijay Mital , Darryl E. Rubin
发明人： Brian C. Beckman , Vijay Mital , Darryl E. Rubin
IPC分类号： H04L9/08
CPC分类号： G06F17/30333 , G06F9/44 , G06F17/30958
摘要： The use of a data structure that is a symbolic representation of a keyed array that has an array variable and an associated key variable. There is a correlation maintained between the variable type of the array variable and the corresponding keying set that is to be bound to the associated key variable. The keyed array may remain unbound thereby being simply symbolically represented, or the keying set may be bound to the key variable more immediately. In one embodiment, once the keying set is bound to the key variable, data may be bound to the array variable itself. This may be repeated for multiple keyed arrays. The data from multiple keyed arrays may be operated upon to about another array of values, which may then be aggregated in some way.
摘要翻译：使用数据结构，它是具有数组变量和关联键变量的键控数组的符号表示。在数组变量的变量类型和要绑定到关联的键变量的对应的键集之间存在相关性。键控阵列可以保持未绑定，从而被简单地象征性地表示，或者密钥集可以更加紧密地绑定到密钥变量。在一个实施例中，一旦密钥集合被绑定到密钥变量，数据可以被绑定到数组变量本身。对于多个键控阵列可能会重复。来自多个键控阵列的数据可以被操作在大约另一数值阵列上，然后可以以某种方式聚合。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式