Abstract: A high sensitivity structural health monitoring network includes a plurality of sensor nodes disposed apart from each other and communicating through one or more sensor channels. The nodes include smart sensor circuit boards with an interface to a wireless smart sensor board platform, a multi-axis accelerometer having a measurement range and resolution set to provide sensitivity to measure ambient structural vibrations an analog to digital converter for converting signals that includes a plurality of individual channels being individually programmable for signal conditioning for providing data to the interface. A network framework provides network services including a time synchronization service with network-wide global timestamps for sensor data and a unified sensing service that supports collection of data for all sensor channels from all nodes together with a single set of associated time stamps.

Abstract: A high sensitivity structural health monitoring network includes a plurality of sensor nodes disposed apart from each other and communicating through one or more sensor channels. The nodes include smart sensor circuit boards with an interface to a wireless smart sensor board platform, a multi-axis accelerometer having a measurement range and resolution set to provide sensitivity to measure ambient structural vibrations an analog to digital converter for converting signals that includes a plurality of individual channels being individually programmable for signal conditioning for providing data to the interface. A network framework provides network services including a time synchronization service with network-wide global timestamps for sensor data and a unified sensing service that supports collection of data for all sensor channels from all nodes together with a single set of associated time stamps.

Abstract: A high sensitivity structural health monitoring network includes a plurality of sensor nodes disposed apart from each other and communicating through one or more sensor channels. The nodes include smart sensor circuit boards with an interface to a wireless smart sensor board platform, a multi-axis accelerometer having a measurement range and resolution set to provide sensitivity to measure ambient structural vibrations an analog to digital converter for converting signals that includes a plurality of individual channels being individually programmable for signal conditioning for providing data to the interface. A network framework provides network services including a time synchronization service with network-wide global timestamps for sensor data and a unified sensing service that supports collection of data for all sensor channels from all nodes together with a single set of associated time stamps.

Abstract: A high sensitivity structural health monitoring network includes a plurality of sensor nodes disposed apart from each other and communicating through one or more sensor channels. The nodes include smart sensor circuit boards with an interface to a wireless smart sensor board platform, a multi-axis accelerometer having a measurement range and resolution set to provide sensitivity to measure ambient structural vibrations an analog to digital converter for converting signals that includes a plurality of individual channels being individually programmable for signal conditioning for providing data to the interface. A network framework provides network services including a time synchronization service with network-wide global timestamps for sensor data and a unified sensing service that supports collection of data for all sensor channels from all nodes together with a single set of associated time stamps.

Abstract: A smart sensor circuit board comprises an interface to a wireless smart sensor board platform, a multi-axis accelerometer having a measurement range and resolution set to provide sensitivity to measure ambient structural vibrations resulting from non-catastrophic routine environmental factors, an analog to digital converter (ADC) for converting signals from the multi-axis accelerometer having a plurality of individual channels including oversampling, filtering, and decimation, and each channel being individually programmable for gain, anti-aliasing, cut-off frequency, sampling, and frequency providing data to the interface, and a low noise and high sensitivity amplifier having the plurality of individual channels to receive signals from the multi-axis accelerometer.

Abstract: A smart sensor circuit board comprises an interface to a wireless smart sensor board platform, a multi-axis accelerometer having a sensitivity that can measure ambient structural vibrations resulting from non-catastrophic routine environmental factors, an analog to digital converter (ADC) for converting signals from the multi-axis accelerometer having a plurality of individual channels including oversampling, filtering, and decimation, and each channel being individually programmable for gain, anti-aliasing, cut-off frequency, sampling, and frequency providing data to the interface, and a low noise and high sensitivity amplifier having the plurality of individual channels to receive signals from the multi-axis accelerometer.

Abstract: In accordance with one or more aspects, one or more programs having multiple actors is executed following a first execution path. A race condition among different ones of the multiple actors in the first execution path is identified, and an order in which two events involved in the race condition are executed is flipped so as to create a second execution path. The multiple actors are then executed following the second execution path, and any errors identified in the first execution path or the second execution path are reported.

Abstract: The present software testing technique successfully tests software programs that have dynamic data structures and that use pointer operations. The technique iteratively executes the software program using concrete execution and symbolic execution, simultaneously. The concrete execution is driven by inputs generated based on a logical input map, which is updated during symbolic execution. The logical input map represents the inputs using finite memory graphs and scalar symbolic variables.

Abstract: A distributed computing system including a plurality of computers, wherein the execution of programs by the computers to perform real-time tasks are synchronized with each other. Each of the computers includes a local clock which is synchronized with the local clocks of the other computers and a start time determining apparatus for determining execution time of a program to be executed by the computer. The program to be executed by the computer is executed in synchronism with programs in the other computers under timing constraints. The execution time is determined by the start time determining apparatus by negotiating with the start time determining apparatus of the other computers.