Abstract: A method, electromagnetic switch, controller and program product, when energizing an electromagnetic coil to urge a selected shoe into a diverting path downstream of the electromagnetic switch, reverse current flow during at least a portion of the time that the electromagnetic coil is energized to recover energy from the electromagnetic coil.

Abstract: A method, electromagnetic switch, controller and program product, when energizing an electromagnetic coil to urge a selected shoe into a diverting path downstream of the electromagnetic switch, reverse current flow during at least a portion of the time that the electromagnetic coil is energized to recover energy from the electromagnetic coil.

Abstract: A method, electromagnetic switch, controller and program product utilize multiple electromagnetic coils that, whenever it is desirable to divert a shoe, are operated in sequence to urge the shoe into a diverting path downstream of the electromagnetic switch. The multiple electromagnetic coils may also be used in combination with a downstream permanent magnet such that energization of the electromagnetic coils appropriately positions the shoe adjacent the permanent magnet such that the permanent magnet can further urge the shoe towards the diverting path.

Abstract: A method for model-based design of safety-critical software is disclosed. The method includes receiving natural-language software requirements, developing a specification model by implementing either semantic modeling or graphical modeling, applying formal requirements analysis to the specification model, auto generating requirements based and robustness test cases from the specification model, developing a design model based on the specification model, applying test cases to the design model, auto-generating source code using the design model, verifying the source code using both test cases and static analysis technology, and compiling executable object code from the verified source code. If a result of the analysis of the software specification or design models is not satisfactory then adjusting the specification or design model to correct any inconsistency, and repeating applying the analysis and test cases.

Abstract: A system, medium, and method, including receiving a set of formalized requirements for accomplishing a mission; allocating, by the processor using architecture synthesis, constraint solving, and compositional verification techniques, a role to each of a plurality of assets comprising a team of autonomous entities, the team to execute specific tasks according to their role to accomplish the mission; and generating, by the processor using controller synthesis and verification techniques, automata for accomplishing the mission for the plurality of assets, the automata being encoded to confer an ability to dynamically react to external inputs during a run-time execution of the automata by the plurality of assets.

Abstract: A fault monitoring system for an electrical substation includes one or more arrays of acoustic sensors placed around a substation boundary and configured to measure acoustic pressure waves. A processing circuitry in the fault monitoring system localizes and identifies faults in the substation and includes a sound source localization module to identify an area of a sound source based on the acoustic pressure waves. A beamforming module of processing circuitry provides enhanced acoustic pressure waves by eliminating background noise and interfering noise from the acoustic pressure waves and a component signature classification module in the processing circuitry compares enhanced acoustic pressure waves with component signatures to classify the acoustic pressure waves into various events to detect faults in the electrical substation.

Abstract: A system, medium, and method, including receiving a set of formalized requirements for accomplishing a mission; allocating, by the processor using architecture synthesis, constraint solving, and compositional verification techniques, a role to each of a plurality of assets comprising a team of autonomous entities, the team to execute specific tasks according to their role to accomplish the mission; and generating, by the processor using controller synthesis and verification techniques, automata for accomplishing the mission for the plurality of assets, the automata being encoded to confer an ability to dynamically react to external inputs during a run-time execution of the automata by the plurality of assets.

Abstract: A method for model-based design of safety-critical software is disclosed. The method includes receiving natural-language software requirements, developing a specification model by implementing either semantic modeling or graphical modeling, applying formal requirements analysis to the specification model, auto generating requirements based and robustness test cases from the specification model, developing a design model based on the specification model, applying test cases to the design model, auto-generating source code using the design model, verifying the source code using both test cases and static analysis technology, and compiling executable object code from the verified source code. If a result of the analysis of the software specification or design models is not satisfactory then adjusting the specification or design model to correct any inconsistency, and repeating applying the analysis and test cases.

Abstract: A fault monitoring system for an electrical substation includes one or more arrays of acoustic sensors placed around a substation boundary and configured to measure acoustic pressure waves. A processing circuitry in the fault monitoring system localizes and identifies faults in the substation and includes a sound source localization module to identify an area of a sound source based on the acoustic pressure waves. A beamforming module of processing circuitry provides enhanced acoustic pressure waves by eliminating background noise and interfering noise from the acoustic pressure waves and a component signature classification module in the processing circuitry compares enhanced acoustic pressure waves with component signatures to classify the acoustic pressure waves into various events to detect faults in the electrical substation.

Abstract: The inventive RFID Environmental Monitoring System (RFID_EMS) includes an RFID-based Environmental Monitor and Energy Management Logic for reducing energy consumption in active RFID tags used for long-term active sensing of storage and transit conditions of shipping containers. The RFID-based Environmental Monitor consists of an active RFID tag containing an RF transponder, microcontroller, sensors and associated interface circuitry. The Energy Management Logic provides hardware and software which work together, and consists of executable software or microcontroller logic that monitors and regulates energy use by an RFID tag and associated sensors, and may control the state of specialized peripheral circuits on the tag. By reading the RFID_EMS tag, the invention enables the determination of the condition of precision equipment prior to use, including equipment that requires high readiness after long periods of transit and/or storage.

Abstract: The present invention provides a means by which the reliability of communication between any RFID reader and tag in an RFID system is improved by using an “interleaved parity” algorithm. The improved reliability is obtained by computing, on one RFID device, an interleaved parity code for a message, sending the message with the code from the RFID device, receiving the message on the other RFID device which computes another interleaved parity code for the received message. The two parity codes are compared and if the codes are the same, the message can be parsed and interpreted. If the codes indicate that one bit of the message is incorrect, the incorrect bit is corrected and the message is parsed and interpreted. Otherwise, a request for a new message is sent to the RFID device, and, if appropriate, an indication of two erroneous bits is also sent.

Abstract: A method for managing alarm events in a physiological monitoring system is described. The method includes validating the accuracy of alarm events by checking if the alarm events are noise events. The method further includes identifying a pattern in alarm sequence or an alarm rate of at least one alarm type associated with the alarm events. The alarm rate is the frequency of the occurrence of alarm events for the particular alarm type. Based on the identified pattern in the alarm sequence and the alarm rate and patient data, an alarm level associated with the alarm type is adjusted. The hospital staff is notified depending on the criticality of the adjusted alarm level. Further, the alarm signals are suppressed when either a patient intervention or a pause signal is detected by the physiological monitoring system.

Abstract: The present invention provides a computer implemented method for maintaining a knowledge base. The method taking as input, text examples that are tagged with a structural markup language; and maps knowledge nodes in the knowledge base with the tagged examples to determine: (1) the knowledge nodes that best match the tagged examples, and (2) the knowledge nodes that are best connected to the tagged examples. The results are displayed to the user, who verifies that the tagged examples match the selected knowledge nodes. Based on the user response, indices of the knowledge nodes are updated. The method may further include determining discrepancies between the existing knowledge base and the tagged examples, and further displaying the discrepancies to the user. The user can update the missing information in the knowledge base to remove the discrepancies in the existing knowledge base.

Abstract: The present invention provides a means by which the reliability of communication between any RFID reader and tag in an RFID system is improved by using an “interleaved parity” algorithm. The improved reliability is obtained by computing, on one RFID device, an interleaved parity code for a message, sending the message with the code from the RFID device, receiving the message on the other RFID device which computes another interleaved parity code for the received message. The two parity codes are compared and if the codes are the same, the message can be parsed and interpreted. If the codes indicate that one bit of the message is incorrect, the incorrect bit is corrected and the message is parsed and interpreted. Otherwise, a request for a new message is sent to the RFID device, and, if appropriate, an indication of two erroneous bits is also sent.

Abstract: A system and method for reducing a workload of a user monitoring respective physiological conditions of a plurality of patients at a centralized physiological monitoring station. The system includes a plurality of patient measurement systems generating respective alarms indicative of a patient's physiological condition and a centralized physiological monitoring station receiving the alarms from the patient measurement systems. A processor in communication with the centralized physiological monitoring station is configured to monitor patterns in the alarms for each of the patients, to establish individualized historical alarm information for each of the patients responsive to monitored patterns in the alarms, to determine an urgency of the respective alarms according to the individualized historical alarm information, and to provide notifications to a user monitoring the respective physiological conditions at the centralized physiological monitoring station.

Abstract: A method of integrating case based reasoning data and FMECA data for product life cycle support. The method comprises creating an access path to case based data using a FMECA classification. The creating includes receiving a case based record including heading data. The heading data includes data elements and the data elements are correlated with data fields in a FMECA database. The FMECA database is searched for an entry that includes one or more of the data elements. The creating further includes determining if the entry should include a reference to the case based record. A new pointer to the case based record is inserted if the determining results in finding that the entry should include a reference to the case based record. The method for integrating case based reasoning data and FMECA data further comprises receiving a request from a user to access the case based data. The case based data is accessed via the FMECA database using the access path in response to the request.

Abstract: A method for performing failure mode and effects analysis throughout the product life cycle. The method comprises receiving incident data from a requestor. The incident data includes a requestor product and a requestor fault mode. A shared failure mode and effects analysis database is accessed and searched for an existing entry that includes the incident data. The contents of the existing entry are transmitted to the requestor in response to locating an existing entry.

Abstract: A method for performing failure mode and effects analysis throughout the product life cycle. The method comprises receiving incident data from a requestor. The incident data includes a requestor product and a requester fault mode. A shared failure mode and effects analysis database is accessed and searched for an existing entry that includes the incident data. The contents of the existing entry are transmitted to the requestor in response to locating an existing entry.

Abstract: A system, method and computer program product is provided for tagging various portions of documents and measuring their usefulness for a particular purpose. The method takes a document that is to be tagged as input, and facilitates a user to tag various portions of the document, which the user considers as important. These tags are user-defined. Subsequently, the usefulness of the document for a particular purpose is determined by calculating quality of the document. The quality of a document is a combination of completeness and various other factors such as priority and severity as reported by a customer. Quality is used to sort results of a search query, which is made by the user, on the documents.

Abstract: The present invention provides a method for maintaining a knowledge base. The method taking as input, text examples that are tagged with a structural markup language; and maps knowledge nodes in the knowledge base with the tagged examples to determine: (1) the knowledge nodes that best match the tagged examples, and (2) the knowledge nodes that are best connected to the tagged examples. The results are displayed to the user, who verifies that the tagged examples match the selected knowledge nodes. Based on the user response, indices of the knowledge nodes are updated. The method may further include determining discrepancies between the existing knowledge base and the tagged examples, and further displaying the discrepancies to the user. The user can update the missing information in the knowledge base to remove the discrepancies in the existing knowledge base.