In current design practice, spatiotemporally varying wind loads on buildings are modeled as equivalent static wind loads. This loading description serves as pivotal information for estimating response under the combined action of wind and other loads. This paper presents a framework for evaluating the equivalent static wind load for any given peak response of buildings with uncoupled responses ...

The finite clement method is used more efficiently by applying a remeshing technique. The criteria for remeshing is based on an a posleriori error estimator. Both global and local error indicators are investigated. It is found that although the local error values arc larger than the global error, it can locate where the maximum errors are in the finite clement mesh. Its main advantage over glob...

This paper presents a novel architecture for a fault-tolerant high-performance system using a checkpoint/restart approach with dual modular redundancy (DMR). The proposed architecture can perform low-latency copy with instantaneously copiable SRAM. Furthermore, we can use an instantaneous comparison scheme that has more fault coverage than comparison with a cyclic redundancy check (CRC). Evalua...

A major challenge of query language design is the combination of expressivity with effective static analyses such as query containment. In the setting of XML, documents are seen as finite trees, whose structure may additionally be constrained by type constraints such as those described by an XML schema. We consider the problem of query containment in the presence of type constraints for a class...

Digital communication systems are an important part of modern society, and they rely on computers and networks to achieve critical tasks. Critical tasks require systems with a high level of reliability that can provide continuous correct operations. This paper presents a new algorithm for data encoding and decoding using a two-dimensional code that can be implemented in digital communication sy...

A new category of static analysis tool is beginning to appear in the marketplace that goes beyond checking of relatively local characteristics of software modules to assess the logical consistency of an entire software system. Our belief is that these tools have the potential to dramatically enhance the effectiveness and timeliness of validation and verification of software for critical systems...

To detect errors in numeric data, this paper proposes numeric functional dependencies (NFDs), a class of dependencies that allow us to specify arithmetic relationships among numeric attributes. We show that NFDs subsume conditional functional dependencies (CFDs); hence, we can catch data inconsistencies, numeric or not, in a uniform logic framework by using NFDs as data quality rules. Better st...

We present experimental methods and results for photo-response non-uniformity correction (PRNUC) in range a 3D flash LiDAR camera from non-optimal static-scene calibration data. Range walk is also corrected. This method breaks up the camera’s focal plane array (FPA) into 16 × windowed regions of interest that are incrementally captured stitched together post-processing across entire FPA. The il...

Di↵usion MRI (dMRI) analysis requires combining data from many images and this generally requires corrections for image distortion and for subject motion during what may be a prolonged acquisition. Particularly in non-brain applications, changes in pose such as respiration can cause image distortion to be time varying, impeding static field map-based correction. In addition, motion and distorti...