Recent advances in low-end processor and network technology have made it possible to build a "supercomputer" out of commodity components. We develop simple models of the NAS Parallel Benchmarks version 2 (NPB 2) to explore the cost/performance trade-offs involved in building a balanced parallel computer supporting a scientific workload. We develop closed form expressions detailing the number an...

Benchmarking provides an effective way to evaluate different tools. Unfortunately, so far there is no good benchmark suite to systematically evaluate software bug detection tools. As a result, it is difficult to quantitatively compare the strengths and limitations of existing or newly proposed bug detection tools. In this paper, we share our experience of building a bug benchmark suite called B...

this paper addresses the design of an observer-based fault diagnosis scheme, which is applied to some of the sensors and actuators of a wind turbine benchmark model. the methodology is based on a modified sliding mode observer (smo) that allows accurate reconstruction of multiple sensor or actuator faults occurring simultaneously. the faults are reconstructed using the equivalent output error i...

The ef®ciencies of methods employed in solution of building simulation models are considered and compared by means of benchmark testing. Direct comparisons between the Simulation Problem Analysis and Research Kernel (SPARK) and the HVACSIM‡ programs are presented, as are results for SPARK versus conventional and sparse matrix methods. An indirect comparison between SPARK and the IDA program is ...

This paper focuses on the benchmark problem application regarding the vibration control of tall buildings under cross wind excitation. The building under consideration is the 76-story, 306-m tall reinforced concrete office tower proposed for the city of Melbourne, Australia. The adopted control scheme consists of an active tuned mass damper ATMD where the control action is achieved by a fuzzy l...

The efficiencies of methods employed in solution of building simulation models are considered and compared by means of benchmark testing. Direct comparisons between the Simulation Problem Analysis and Research Kernel (SPARK) and the HVACSIM+ programs are presented, as are results for SPARK versus conventional and sparse matrix methods. An indirect comparison between SPARK and the IDA program is...

The correct estimation of building energy consumptions is assuming an always increasing importance, and a detailed reproduction of building structures, with all the single components involved, is necessary to achieve this aim. In addition, the current ecological development tries to limit the use of natural raw materials as building components, in favor of alternative (waste) materials, which e...

Airborne laser scanning has proven to be a strong basis for the automatic generation of 3D building models. A drawback, however, is often in the point spacing of typical datasets. As a consequence, the precision of roof plane and ridge line parameters is usually significantly better than the precision of gutter lines. To cope with problem the paper presents a novel approach for geometric refine...