• Smart Structures and Systems
• /
• v.10 no.4_5
• /
• pp.427-442
• /
• 2012

An effective approach for updating finite element model is presented which can provide reliable estimates for structural updating parameters from identified operational modal data. On the basis of the dynamic perturbation method, an exact relationship between the perturbation of structural parameters such as stiffness change and the modal properties of the tested structure is developed. An iterative solution procedure is then provided to solve for the structural updating parameters that characterise the modifications of structural parameters at element level, giving optimised solutions in the least squares sense without requiring an optimisation method. A regularization algorithm based on the Tikhonov solution incorporating the generalised cross-validation method is employed to reduce the influence of measurement errors in vibration modal data and then to produce stable and reasonable solutions for the structural updating parameters. The Canton Tower benchmark problem established by the Hong Kong Polytechnic University is employed to demonstrate the effectiveness and applicability of the proposed model updating technique. The results from the benchmark problem studies show that the proposed technique can successfully adjust the reduced finite element model of the structure using only limited number of frequencies identified from the recorded ambient vibration measurements.

• Journal of Information Technology Services
• /
• v.12 no.3
• /
• pp.405-420
• /
• 2013

The purpose of this paper is to develop an evaluation model for e-government system in Korea which is one of world best practices of e-government systems. We have presented a method to perform an efficiency analysis of each e-government service which in a component of e-government system in Korea and to establish a benchmark target for each e-government service. To do this, the output-oriented DEA(Data Envelopment Analysis) CCR model was performed for the selected 12 e-government public services of Korean e-government system in this paper. As a result of DEA analysis, first the internet civil appeal support service, the employment comprehensive information service, and the company support information service were evaluated as the efficient solutions among the 12 e-government public services. Second the remaining 9 e-government public services were evaluated as the inefficient information services which should be improved in terms of their service levels. Finally the benchmark targets for the inefficient e-government services were suggested to improve those inefficient systems through DEA analysis.

• The Korean Journal of Applied Statistics
• /
• v.25 no.3
• /
• pp.389-401
• /
• 2012

This paper derives a benchmark dose(BMD) and its 95% lower confidence limit(BMDL) using a semi-parametric regression model for small lead based changes in attention-deficit hyperactivity disorder(ADHD) scores in the first wave of the Children's Health and Environment Research(CHEER) survey data, which have been regularly collected in South Korea since 2005. Ha et al. (2009) showed that the appearance of ADHD symptoms had a borderline trend of increasing with the blood lead concentration. Butdz-J${\o}$rgensen (EFSA, 2010a) derived the BMDL of lead corresponding to a benchmark region of 1 full intelligent quotient (IQ) score using the raw data in Lanphear et al. (2005, EHP). European Food Safety Authority (EFSA, 2010b) determined the BMDL of $1.2{\mu}g/dl$ as a reference point for the characterization of lead when assessing the risk of the intellectual deficit measured by IQ scores. Kim et al. (2011) indicated that an even lower BMDL could be obtained based on the ADHD score; however, the BMDLs depended heavily upon the model assumptions. We show in this paper that a semi-parametric approach resolves the model dependence of BMDLs.

• Smart Structures and Systems
• /
• v.17 no.3
• /
• pp.445-470
• /
• 2016

In this study, the Bayesian probabilistic framework is investigated for modal identification and modal identifiability based on the field measurements provided in the structural health monitoring benchmark problem of an instrumented cable-stayed bridge named Ting Kau Bridge (TKB). The comprehensive structural health monitoring system on the cable-stayed TKB has been operated for more than ten years and it is recognized as one of the best test-beds with readily available field measurements. The benchmark problem of the cable-stayed bridge is established to stimulate investigations on modal identifiability and the present paper addresses this benchmark problem from the Bayesian prospective. In contrast to deterministic approaches, an appealing feature of the Bayesian approach is that not only the optimal values of the modal parameters can be obtained but also the associated estimation uncertainty can be quantified in the form of probability distribution. The uncertainty quantification provides necessary information to evaluate the reliability of parametric identification results as well as modal identifiability. Herein, the Bayesian spectral density approach is conducted for output-only modal identification and the Bayesian model class selection approach is used to evaluate the significance of different modes in modal identification. Detailed analysis on the modal identification and modal identifiability based on the measurements of the bridge will be presented. Moreover, the advantages and potentials of Bayesian probabilistic framework on structural health monitoring will be discussed.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.5
• /
• pp.1215-1228
• /
• 1996

The purpose of benchmark program is to measure the performance of a computer system. The performance of a computer system is determined by the amount of execution time of user application programs. Thus, it is assumed that a benchmark program must have the same features with user application programs to test. In this paper, we have designed and implemented CMFstone which is consisted of Chaustone, Mchaustone and Fhsstone. After applied the CMFstone, designed and implemented in this paper, to the real situations, the results of comparison show that CMFstone is similar to geometric mean of other benchmarks results. Thus, we have concluded that CMFstone is good enough to measure the performance of a computer system.

• Journal of The Korean Association For Science Education
• /
• v.23 no.4
• /
• pp.401-418
• /
• 2003

The purpose of this study was to examine philosophical views on science of two influential curriculum documents, AAAS' s Benchmarks for Scientific Literacy (Benchmark) and NRC's National Science Education Standards (Standard), and to get educational implications about a desired philosophical view on science at a school science level. In order to determine the philosophical views on science explicitly suggested in the documents, Soh's Philosophical Perspectives Probe (PPP) was used as a framework for analysis. Forty preservice teachers reviewed the documents, extracting paragraphs with which statements of the PPP' s questions would agree. The results of the study were as follows: First, the Benchmark's philosophical view on science corresponds to the borderline between inductivism and eclecticism, or eclecticism close to falsificationism. The philosophical positions by the PPP' s themes are very different. Second, the Standard's philosophical position on science corresponds to inductivism close to eclecticism. Its philosophical position by the themes of the PPP is very different like the Benchmark. These results indicate that philosophical positions of the documents are more complex than popular conceptions would have it. That is to say, the results suggest that the science curriculum documents hold not only a contemporary philosophical view on science but also a traditional view on science, and that the philosophical positions on science are different from each other by documents and even by the PPP's themes in the same document. The results suggest that the philosophical views on science in school science contexts need to be adjusted and presented to K-12 students according to topics related to philosophy of science.

• ETRI Journal
• /
• v.39 no.1
• /
• pp.124-134
• /
• 2017

Data races are one of the most difficult types of bugs in concurrent multithreaded systems. It requires significant time and cost to accurately detect bugs in complex large-scale programs. Although many race detection techniques have been proposed by various researchers, none of them are effective in all aspects. In this paper, we compare the performance of five recent dynamic race detection techniques: FastTrack, Acculock, Multilock-HB, SimpleLock+, and causally precedes (CP) detection. We experimentally demonstrate the strengths and weaknesses of these dynamic race detection techniques in terms of their detection capability, running time, and runtime overhead using 20 benchmark programs with different characteristics. The comparison results show that the detection capability of CP detection does not differ from that of FastTrack, and that SimpleLock+ generates the lowest overhead among the hybrid detection techniques (Acculock, SimpleLock+, and Multilock-HB) for all benchmark programs. SimpleLock+ is 1.2 times slower than FastTrack on average, but misses one true data race reported from Mutilock-HB on the large-scale benchmark programs.

• Smart Structures and Systems
• /
• v.20 no.2
• /
• pp.115-126
• /
• 2017

The modal identification of large civil structures such as bridges under the ambient vibrational conditions has been widely investigated during the past decade. Many operational modal analysis methods have been proposed and successfully used for identifying the dynamic characteristics of the constructed bridges in service. However, there is very limited research available on reliable criteria for the robustness of these identified modal parameters of the bridge structures. In this study, two time-domain operational modal analysis methods, the data-driven stochastic subspace identification (SSI-DATA) method and the covariance-driven stochastic subspace identification (SSI-COV) method, are employed to identify the modal parameters from field recorded ambient acceleration data. On the basis of the SSI-DATA method, the modal contribution indexes of all identified modes to the measured acceleration data are computed by using the Kalman filter, and their applicability to evaluate the robustness of identified modes is also investigated. Here, the benchmark problem, developed by Hong Kong Polytechnic University with field acceleration measurements under different excitation conditions of a cable-stayed bridge, is adopted to show the effectiveness of the proposed method. The results from the benchmark study show that the robustness of identified modes can be judged by using their modal contributions to the measured vibration data. A critical value of modal contribution index of 2% for a reliable identifiability of modal parameters is roughly suggested for the benchmark problem.

• Nuclear Engineering and Technology
• /
• v.27 no.6
• /
• pp.870-876
• /
• 1995

In this paper, a new three-dimensional nodal diffusion code which is based on the AFEN methodology is described and tested. The method expands the homogeneous flux within a node in ter-ms of eighteen analytic basis functions satisfying the diffusion equation at any point of the node. And the nodal coupling equations are derived such that nodal balance, current continuity and leakage balance within an infinitesimally small box around the edge are satisfied. To verify its accuracy, the code was applied to the well-known static LMW benchmark problem and a small core benchmark problem that has the same material properties as the three-dimensional IAEA benchmark problem and compared with two other codes (QUANDRY, VENTURE). The results show that the code provides good accuracy both in the power distribution and in the effective multiplication factor.

• Journal of Korean Society of Water and Wastewater
• /
• v.29 no.6
• /
• pp.667-683
• /
• 2015

Since aged water treatment facilities could threaten the sustainable water supply, asset management system has been adopted for their systematic management. Level of Service(LoS) is one of critical components of asset management and could be quantified through benchmark index(BMI). Water supplier could estimate consumer's satisfaction and their performance through BMI to improve the LoS. We developed BMI for water treatment facilities from customer's satisfaction survey. BMI, represented with the Total Service Score(TSS), was assessed with water quality, water pressure, taste and odor, water rate, and service quality with weighing factors. BMI could, further, be used to assist the analysis of the life cycle cost to increase the unit of LoS.