-
公开(公告)号：US20130164726A1
公开(公告)日：2013-06-27
申请号：US13336822
申请日：2011-12-23
IPC分类号： G09B7/00
摘要： Systems, devices, and methods associated with interactive educational tools are described herein. One device includes instructions executable by a processor to cause a plurality of mobile devices to each represent a respective subsystem associated with an objective, cause an interaction between at least two of the plurality of mobile devices to represent a relationship between the respective subsystems represented by the at least two mobile devices, and aggregate a number of interactions between the at least two of the plurality of mobile devices to form a coordinated response associated with achieving a particular objective.
-
公开(公告)号：US09111458B2
公开(公告)日：2015-08-18
申请号：US13336822
申请日：2011-12-23
IPC分类号： G09B5/12
摘要： Systems, devices, and methods associated with interactive educational tools are described herein. One device includes instructions executable by a processor to cause a plurality of mobile devices to each represent a respective subsystem associated with an objective, cause an interaction between at least two of the plurality of mobile devices to represent a relationship between the respective subsystems represented by the at least two mobile devices, and aggregate a number of interactions between the at least two of the plurality of mobile devices to form a coordinated response associated with achieving a particular objective.
摘要翻译： 本文描述了与交互式教育工具相关联的系统，设备和方法。 一个设备包括可由处理器执行以使多个移动设备各自表示与目标相关联的相应子系统的指令，引起多个移动设备中的至少两个之间的交互以表示由 至少两个移动设备，并且聚合多个移动设备中的至少两个之间的多个交互以形成与实现特定目的相关联的协调响应。
-
公开(公告)号：US08589174B2
公开(公告)日：2013-11-19
申请号：US10737076
申请日：2003-12-16
申请人： Kyle S. Nelson , Brian J. Bischoff
发明人： Kyle S. Nelson , Brian J. Bischoff
IPC分类号： G06Q50/22
CPC分类号： G06F19/3418 , G06F19/00 , G06Q50/22 , G08B21/0211 , G08B21/028 , G08B21/0283 , G08B21/0423 , G08B21/0469 , G08B25/005 , G08B25/006 , G08B25/016
摘要： Embodiments of the present invention relate to methods, devices, and systems to monitor activity. One method to monitor activity includes monitoring a sensor activated by an individual. The method also includes recording activation of the sensor, determining a behavior routine of the individual based on recorded activations of the sensor, and analyzing the recorded sensor activations to determine a behavior routine. The method also includes identifying a change in the behavior routine based on the analysis of the recorded sensor activations.
摘要翻译： 本发明的实施例涉及用于监视活动的方法，装置和系统。 监控活动的一种方法包括监视由个体激活的传感器。 该方法还包括记录传感器的激活，基于记录的传感器的激活来确定个体的行为程序，以及分析记录的传感器激活以确定行为例程。 该方法还包括基于记录的传感器激活的分析来识别行为例程的变化。
-
公开(公告)号：US08195599B2
公开(公告)日：2012-06-05
申请号：US12389945
申请日：2009-02-20
CPC分类号： G05B17/02
摘要： The present disclosure includes methods, devices, and systems for inferring system-level properties. One or more embodiments include generating a constraint model based on a system model having a number of components at different levels of abstraction and on a number of verified component properties. The constraint model can include a number of mission constraints modeling one or more mission requirements, a number of system constraints modeling one or more system-level properties, mid a number of component constraints modeling one or more component properties. One or more embodiments can include analyzing the constraint model with a constraint solver to determine whether one or more particular system-level properties can be inferred from the constraint model.
摘要翻译： 本公开包括用于推断系统级属性的方法，设备和系统。 一个或多个实施例包括基于具有不同抽象级别的多个组件以及已验证组件属性的数量的系统模型生成约束模型。 约束模型可以包括建模一个或多个任务需求的许多任务约束，对一个或多个系统级属性建模的多个系统约束，对一个或多个组件属性建模的多个组件约束中。 一个或多个实施例可以包括使用约束求解器来分析约束模型，以确定是否可以从约束模型推断一个或多个特定的系统级属性。
-
公开(公告)号：US20100076737A1
公开(公告)日：2010-03-25
申请号：US12389945
申请日：2009-02-20
IPC分类号： G06G7/48
CPC分类号： G05B17/02
摘要： The present disclosure includes methods, devices, and systems for inferring system-level properties. One or more embodiments include generating a constraint model based on a system model having a number of components at different levels of abstraction and on a number of verified component properties. The constraint model can include a number of mission constraints modeling one or more mission requirements, a number of system constraints modeling one or more system-level properties, mid a number of component constraints modeling one Or more component properties. One or more embodiments can include analyzing the constraint model with a constraint solver to determine whether one or more particular system-level properties can be inferred from the constraint model.
摘要翻译： 本公开包括用于推断系统级属性的方法，设备和系统。 一个或多个实施例包括基于具有不同抽象级别的多个组件以及已验证组件属性的数量的系统模型来生成约束模型。 约束模型可以包括对一个或多个任务要求建模的若干任务约束，对一个或多个系统级属性建模的多个系统约束，对一个或多个组件属性建模的多个组件约束中。 一个或多个实施例可以包括使用约束求解器来分析约束模型，以确定是否可以从约束模型推断一个或多个特定的系统级属性。
-
-
-
-
搜索结果
5 条记录 (耗时 0.018 秒)
