公开(公告)号：US6102968A

公开(公告)日：2000-08-15

申请号：US83069

申请日：1998-05-21

申请人： Christopher Colby ,  Patrice Ismael Godefroid ,  Lalita Jategaonkar Jagadeesan

发明人： Christopher Colby ,  Patrice Ismael Godefroid ,  Lalita Jategaonkar Jagadeesan

IPC分类号： G06F11/28 ,  G06F9/45

CPC分类号： G06F8/433

摘要： A unique process, i.e., method, is employed to automatically close an open reactive system. This is realized by employing a unique analysis technique to automatically close the open system by eliminating its interface to its environment. This allows the open system being analyzed to be comprised of either a single sequential process or a set of concurrent processes. The effect of closing the system is to make it executable and amenable to analysis. This is because the resulting closed system simulates the behavior of the original open system in its most general environment. Specifically, this is realized by employing a unique method that transforms an open system into a closed nondeterministic system such that all data values in the open system and its environment that may depend on the behavior of the environment are eliminated in the resulting closed system, and all control-flow choices in the open system and its environment that may depend on these data values are replaced by nondeterministic choices in the closed system. The reactive behavior of the open system and its environment and the resulting closed system, as well as their effect on data values that do not depend on the open system environment, are closely related. For example, every execution of the open system and its environment corresponds to an execution of the resulting closed system that exhibits the same sequence of visible operations and that preserves all data values that do not depend on the open system environment. All deadlocks and all assertion violations in a transition system of the open system and its environment that evaluate only expressions each of whose value does not depend on the open system environment are preserved in a new closed system transition system.

摘要翻译： 采用独特的方法，即方法来自动关闭开放反应系统。 这是通过采用独特的分析技术来实现的，通过消除其与环境的接口来自动关闭开放系统。 这允许被分析的开放系统由单个顺序过程或一组并发过程组成。 关闭系统的效果是使其可执行并易于分析。 这是因为最终的封闭系统模拟了原始开放系统在最普遍的环境中的行为。 具体来说，这是通过采用将开放系统转换成封闭的非确定性系统的独特方法实现的，使得在所产生的封闭系统中消除可能依赖于环境行为的开放系统及其环境中的所有数据值，以及 开放系统及其环境中可能依赖于这些数据值的所有控制流选择被封闭系统中的非确定性选择所取代。 开放系统及其环境的反应行为以及所产生的封闭系统以及它们对不依赖于开放系统环境的数据值的影响是密切相关的。 例如，开放系统及其环境的每次执行都对应于所产生的封闭系统的执行，该系统具有相同的可见操作序列，并且保留不依赖于开放系统环境的所有数据值。 开放系统及其环境的转换系统中的所有死锁和所有断言违规只能评估每个值不依赖于开放系统环境的表达式，这些表达式保留在新的封闭系统转换系统中。

公开(公告)号：US20100178030A1

公开(公告)日：2010-07-15

申请号：US12353922

申请日：2009-01-14

申请人： Christopher Colby

发明人： Christopher Colby

IPC分类号： H04N5/91

CPC分类号： H04N21/26258 ,  G06Q30/0264 ,  H04N5/765 ,  H04N5/782 ,  H04N7/165 ,  H04N9/8205 ,  H04N21/26291 ,  H04N21/458 ,  H04N21/812 ,  H04N21/814 ,  H04N21/8146

摘要： Multiple scheduling producers such as content management systems, advertisement systems, and emergency broadcast systems can independently send scheduling events to scheduling consumers such as streaming servers, guide generators, and playlogs. The scheduling consumers maintain state machines with persistent storage to process scheduling events from scheduling producers and output media channel playlists, channel guides, and/or content. Scheduling producers can contribute independently to define a channel playout while information at scheduling consumers remains synchronized.

摘要翻译： 诸如内容管理系统，广告系统和紧急广播系统之类的多个调度生成器可以独立地发送调度事件到诸如流服务器，引导生成器和播放日志之类的调度消费者。 调度消费者维护具有持久存储的状态机，以处理来自调度生产者和输出媒体频道播放列表，频道指南和/或内容的调度事件。 调度生产者可以独立地贡献以定义频道播出，同时调度消费者的信息保持同步。

公开(公告)号：US20060139356A1

公开(公告)日：2006-06-29

申请号：US11361518

申请日：2006-02-24

申请人： Christopher Colby

发明人： Christopher Colby

IPC分类号： G06T15/70

CPC分类号： G06T13/40

摘要： The determination of the final posed position is optimized by tracking the changes in animation variables associated with the sequence of deformers over two or more poses. The earliest deformer of the sequence affected by a changed animation variable is designated the cached deformer, and the input to this deformer is stored for future use. For a subsequent pose, the animation variables changed from the previous pose are identified, and the earliest deformer of the sequence affected by these changed animation variables is compared with the cached deformer. If the earliest deformer affected is the cached deformer or is to be processed after the cached deformer, the final posed position of the control point can be determined from the stored intermediate value of the control point, rather than from the initial position of the control point.

摘要翻译： 通过跟踪与两个或多个姿势的变形体序列相关联的动画变量的变化来优化最终提出位置的确定。 被变化的动画变量影响的序列的最早的变形器被指定为缓存的变形器，并且存储该变形器的输入以备将来使用。 对于随后的姿势，识别从先前姿态改变的动画变量，并将受这些改变的动画变量影响的序列的最早的变形器与缓存的变形器进行比较。 如果影响最早的变形器是缓存的变形器，或者在缓存的变形器之后进行处理，则可以根据控制点的存储的中间值而不是从控制点的初始位置来确定控制点的最终定位位置 。

公开(公告)号：US07268784B2

公开(公告)日：2007-09-11

申请号：US11361518

申请日：2006-02-24

申请人： Christopher Colby

发明人： Christopher Colby

IPC分类号： G06T15/70

CPC分类号： G06T13/40

摘要： The determination of the final posed position is optimized by tracking the changes in animation variables associated with the sequence of deformers over two or more poses. The earliest deformer of the sequence affected by a changed animation variable is designated the cached deformer, and the input to this deformer is stored for future use. For a subsequent pose, the animation variables changed from the previous pose are identified, and the earliest deformer of the sequence affected by these changed animation variables is compared with the cached deformer. If the earliest deformer affected is the cached deformer or is to be processed after the cached deformer, the final posed position of the control point can be determined from the stored intermediate value of the control point, rather than from the initial position of the control point.

摘要翻译： 通过跟踪与两个或多个姿势的变形体序列相关联的动画变量的变化来优化最终提出位置的确定。 被变化的动画变量影响的序列的最早的变形器被指定为缓存的变形器，并且存储该变形器的输入以备将来使用。 对于随后的姿势，识别从先前姿态改变的动画变量，并将受这些改变的动画变量影响的序列的最早的变形器与缓存的变形器进行比较。 如果影响最早的变形器是缓存的变形器，或者在缓存的变形器之后进行处理，则可以根据控制点的存储的中间值而不是从控制点的初始位置来确定控制点的最终定位位置 。

公开(公告)号：US09235848B1

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

申请号：US12169599

申请日：2008-07-08

申请人： David Gourley ,  Brian Totty ,  Ed Haslam ,  Paul Gauthier ,  Gary Lerhaupt ,  Mike Y. Chen ,  Christopher Colby

发明人： David Gourley ,  Brian Totty ,  Ed Haslam ,  Paul Gauthier ,  Gary Lerhaupt ,  Mike Y. Chen ,  Christopher Colby

IPC分类号： G10L17/00 ,  G06Q30/02

CPC分类号： G06Q30/0255 ,  G06Q30/0201 ,  G06Q30/0209 ,  G06Q30/0254 ,  G06Q50/01

摘要： Social media networking applications, web sites, and services creates implicit relationships between users based on their interest or participation in real-world and optionally virtual or online activities in addition to explicitly defined peer relationships. User profiles, activity entities, and expressions may be associated with metadata to assist in searching and navigation. Metadata is implicitly associated with user profiles, activity entities, expressions, or other data entities based on user behavior using metadata collector. A metadata collector is a poll, survey, list, questionnaire, census, test, game, or other type of presentation adapted to solicit user interaction. A metadata collector is associated with metadata elements. When users interact with a metadata collector, their user profiles and the data entities included in their interactions become associated with the metadata elements of the metadata collector. These metadata element associations may then be used for any purpose.

摘要翻译： 社交媒体网络应用程序，网站和服务，除了明确定义的对等关系之外，还基于他们对现实世界以及可选的虚拟或在线活动的兴趣或参与，创建了用户之间的隐含关系。 用户配置文件，活动实体和表达式可以与元数据相关联，以帮助搜索和导航。 基于使用元数据收集器的用户行为，元数据隐含地与用户简档，活动实体，表达式或其他数据实体相关联。 元数据收集器是调查，调查，列表，问卷调查，人口普查，测试，游戏或适用于征求用户交互的其他类型的演示。 元数据收集器与元数据元素相关联。 当用户与元数据收集器进行交互时，其用户简档和其交互中包含的数据实体将与元数据收集器的元数据元素相关联。 然后可以将这些元数据元素关联用于任何目的。

公开(公告)号：US08806138B1

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

申请号：US13436685

申请日：2012-03-30

申请人： Christopher Colby

发明人： Christopher Colby

IPC分类号： G06F12/08

CPC分类号： G06F12/0808 ,  G06F9/4484 ,  G06F12/0815 ,  G06F12/0817 ,  G06F12/0824 ,  G06F12/0837

摘要： Data values are cached by dynamically determining the dependencies of computation nodes on input parameters and on other results of computation nodes. Cache data structures are maintained for computation nodes. When a node accesses a parameter, the parameter and its current value are added to the node's cache data structure. The cache data structure stores the result value of the computation node. When one computation node calls another node, the parameters and parameter values accessed by the second computation node may be added to the first and second computation nodes' cache data structures. When a computation node is called with parameter values, the cache data structure of the computation node is searched for a cached result value corresponding to at least a portion of the parameter values. If a cached result value is not found, the computation node is executed to determine and optionally cache the result value.

摘要翻译： 通过动态确定计算节点对输入参数和其他计算结果结果的依赖性来缓存数据值。 为计算节点维护缓存数据结构。 当一个节点访问一个参数时，该参数及其当前值被添加到节点的缓存数据结构中。 高速缓存数据结构存储计算节点的结果值。 当一个计算节点调用另一个节点时，由第二计算节点访问的参数和参数值可以被添加到第一和第二计算节点的高速缓存数据结构中。 当使用参数值调用计算节点时，搜索计算节点的高速缓存数据结构，以获得与至少一部分参数值对应的缓存结果值。 如果未找到缓存的结果值，则执行计算节点以确定并可选地缓存结果值。

公开(公告)号：US07034836B2

公开(公告)日：2006-04-25

申请号：US10843147

申请日：2004-05-10

申请人： Christopher Colby

发明人： Christopher Colby

IPC分类号： G06T15/70

CPC分类号： G06T13/40

摘要： The determination of the final posed position is optimized by tracking the changes in animation variables associated with the sequence of deformers over two or more poses. The earliest deformer of the sequence affected by a changed animation variable is designated the cached deformer, and the input to this deformer is stored for future use. For a subsequent pose, the animation variables changed from the previous pose are identified, and the earliest deformer of the sequence affected by these changed animation variables is compared with the cached deformer. If the earliest deformer affected is the cached deformer or is to be processed after the cached deformer, the final posed position of the control point can be determined from the stored intermediate value of the control point, rather than from the initial position of the control point.

公开(公告)号：US08856821B2

公开(公告)日：2014-10-07

申请号：US12353922

申请日：2009-01-14

申请人： Christopher Colby

发明人： Christopher Colby

IPC分类号： H04N21/81 ,  H04N21/8547 ,  H04N21/262 ,  H04N5/782 ,  H04N7/16 ,  H04N9/82 ,  H04N5/765

CPC分类号： H04N21/26258 ,  G06Q30/0264 ,  H04N5/765 ,  H04N5/782 ,  H04N7/165 ,  H04N9/8205 ,  H04N21/26291 ,  H04N21/458 ,  H04N21/812 ,  H04N21/814 ,  H04N21/8146

摘要： Multiple scheduling producers such as content management systems, advertisement systems, and emergency broadcast systems can independently send scheduling events to scheduling consumers such as streaming servers, guide generators, and playlogs. The scheduling consumers maintain state machines with persistent storage to process scheduling events from scheduling producers and output media channel playlists, channel guides, and/or content. Scheduling producers can contribute independently to define a channel playout while information at scheduling consumers remains synchronized.

摘要翻译： 诸如内容管理系统，广告系统和紧急广播系统之类的多个调度生成器可以独立地发送调度事件到诸如流服务器，引导生成器和播放日志之类的调度消费者。 调度消费者维护具有持久存储的状态机，以处理来自调度生产者和输出媒体频道播放列表，频道指南和/或内容的调度事件。 调度生产者可以独立地贡献以定义频道播出，同时调度消费者的信息保持同步。