Honeywell International Inc.

James C Carciofini

Stephen D Whitlow

Michael C Dorneich

Patricia May Ververs

Santosh Mathan

Daniel P Johnson

Erik Lindquist

Janet Creaser

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.

Method for determining ranges for algorithmic variables for a processor that uses fixed point arithmetic

A system and method of efficiently and effectively triaging an image that may include one or more target entities. The image is divided into a plurality of individual image chips, and each image chip is successively displayed to a user for a presentation time period. Data are collected from the user at least while each image chip is being displayed. For each image chip, a probability that the image chip at least includes a target entity is assigned, based at least in part on the collected data. The image is then displayed with the assigned probabilities overlaid thereon.

Neurophysiologically driven high speed image triage system and method

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.

Communications system based on real-time neurophysiological characterization

Growing community of inventors

Centerville, MN, United States of America

James C Carciofini