公开(公告)号：US20060029198A1

公开(公告)日：2006-02-09

申请号：US11148537

申请日：2005-06-09

申请人： Michael Dorneich ,  Stephen Whitlow ,  Patricia Ververs ,  James Carciofini ,  Janet Creaser

发明人： Michael Dorneich ,  Stephen Whitlow ,  Patricia Ververs ,  James Carciofini ,  Janet Creaser

IPC分类号： H04M1/64

CPC分类号： A61B5/0002 ,  A61B5/0006 ,  A61B5/02055 ,  A61B5/021 ,  A61B5/048 ,  A61B5/0496 ,  A61B5/0531 ,  A61B5/0809 ,  A61B5/0816 ,  A61B5/1112 ,  A61B5/7264 ,  A61B2503/20 ,  H04L67/02 ,  H04L67/025 ,  H04L67/12 ,  H04L67/306 ,  H04L67/32 ,  H04L67/322 ,  H04L67/325 ,  H04L67/327

摘要： A communications system is provided that includes a communications scheduler adapted to receive messages from a plurality of message sources and sensors. The messages comprise human and generated messages. The sensors comprise situational, neurophysiological and physiological sensors. The cognitive state profile processing unit receives sensor data and produces a current cognitive state profile for the user. The communications scheduler includes a context manager that receives outputs from the plurality of sensors, monitors a current user's tasks, and retains information about the user's environment, a message characterization unit that characterizes the messages using the attributes of the message, outputs from the sensors, and the user's specific baseline profile data and a presentation unit that receives the characterized messages, the cognitive state profile, and context information and queues the characterized messages into a prioritized message list and presents the message list to the user via the display unit.

摘要翻译： 提供了一种通信系统，其包括适于从多个消息源和传感器接收消息的通信调度器。 消息包括人和生成的消息。 传感器包括情境，神经生理和生理传感器。 认知状态简档处理单元接收传感器数据并产生用户的当前认知状态简档。 通信调度器包括上下文管理器，其接收来自多个传感器的输出，监视当前用户的任务，并保留有关用户环境的信息;消息表征单元，其使用消息的属性来表征消息， 以及用户的特定基线简档数据和接收特征化消息，认知状态简档和上下文信息的呈现单元，并将表征的消息排队到优先消息列表中，并经由显示单元将消息列表呈现给用户。

公开(公告)号：US20070169048A1

公开(公告)日：2007-07-19

申请号：US11533175

申请日：2006-09-19

申请人： James Carciofini ,  Daniel Johnson ,  Erik Lindquist

发明人： James Carciofini ,  Daniel Johnson ,  Erik Lindquist

IPC分类号： G06F9/45

CPC分类号： G06F8/433

摘要： A method of determining ranges for algorithmic variables for a processor that uses fixed point arithmetic is provided. The method comprises expressing overflow requirements of processor instructions as inequalities. The method also expresses precision requirements and expressiveness requirements as inequalities and merit functions. A global constraint and optimizer tool is used to find ranges for algorithmic variables based on the inequalities and the merit functions. The use of constraint equation solving and optimization finds optimal algorithmic ranges that provide overflow-free arithmetic as well as optimal expressiveness and precision.

摘要翻译： 提供了一种确定使用定点算术的处理器的算法变量范围的方法。 该方法包括将处理器指令的溢出要求表示为不等式。 该方法也将精确要求和表现力要求表示为不等式和优点函数。 全局约束和优化器工具用于基于不等式和优点函数来查找算法变量的范围。 使用约束方程求解和优化找到最优的算法范围，提供无溢出算术以及最优表达和精度。