• Structural Engineering and Mechanics
• /
• v.30 no.5
• /
• pp.619-645
• /
• 2008

This study presents the efficiency of simulating structural systems using a method that combines a simplified component model (SCM) and rigorous component model (RCM). To achieve a realistic simulation of structural systems, a numerical model must be adequately capturing the detailed behaviors of real systems at various scales. However, capturing all details represented within an entire structural system by very fine meshes is practically impossible due to technological limitations on computational engineering. Therefore, this research develops an approach to simulate large-scale structural systems that combines a simplified global model with multiple detailed component models adjusted to various scales. Each correlated multi-scale simulation model is linked to others using a multi-level hierarchical modeling simulation method. Simulations are performed using nonlinear finite element analysis. The proposed method is applied in an analysis of a simple reinforced concrete structure and the Reuipu Elementary School (an existing structure), with analysis results then compared to actual onsite observations. The proposed method obtained results very close to onsite observations, indicating the efficiency of the proposed model in simulating structural system behavior.

• Proceedings of the Earthquake Engineering Society of Korea Conference
• /
• 1999.10a
• /
• pp.388-395
• /
• 1999

There occurred a moderate size earthquake of M=5 at Whagae-Myun Hadong-Gun Kyongsangnam-Do of Korea, It caused severe damage to the buildings and other structures is Sang-Gye-Sa a famous and beautiful Buddhist Temple, The 5-story stone pagoda was standing in front of Keumdang. The top component tipped over and fell to the ground during the earthquake. In order to have accurate and quantitative estimate of the intensity of earthquake a full-scale replica is made through rigorous verification process, The completed model was mounted on the shaking table and subjected to th seismic tests. It was observed that the top component overturned at 0.16 G of EPGA when the NS component of the 1940 el Centro earthquake records was used as the input motion. A brief history of this project is presented and important test results are report6ed and their implication is discussed.

• 제어로봇시스템학회:학술대회논문집
• /
• 1997.10a
• /
• pp.1766-1769
• /
• 1997

Fast and accurate distillation design requires a model that significantly reduces the problem size withour loss of accruacy is especially suitable for rela-time applicatoins. the reduced order model is obtained by use of Principal Component Anlysis(PCA). Then the extended Kalman filter and the Recursie Predictiuon Error(RPE) mehtod are appliced to identify the model parameters and the feed compostion form the measuremenets of the coumn. as a consequence it is found that the model reduction thechique can account for the dynamics of the rigorous distillation model and not only the model parameters, bu also the feed compostion can be identified efficiently. this technique is applied to industrial operation data verify the performance of reduced order model.

• The Journal of Korean Association of Computer Education
• /
• v.7 no.6
• /
• pp.129-139
• /
• 2004

In developing highly reliable systems such as C4I systems formal methods provide both developers and clients with assurance that they are in the right development processes. This paper investigates into techniques for formal specifications and tests for software components where rigorous verification is required. In particular, the paper suggests decomposition techniques for state-model based specifications using the weakest precondition, and suggests test methods for the specification by generating black box test-cases.

• Journal of Industrial Technology
• /
• v.26 no.B
• /
• pp.135-144
• /
• 2006

The significance of hydro-power plant is increasing in its public roles such as flood control and water supply as well as electric power production. Even if high level of reliability in facility operation is required, no specific reliability research has been made. This specifically stems from the lack of technology and research investments. The eventual goal of this study is to secure a methodology for reliability analysis of hydro-power plant so that an appropriate decision for operation and investment can be made. Specific effort was put to develop a reliability model for water supply system within hydro-power plant. For this study, we briefly examined the overview of the hydro-power plant including the electric power generation facility system. We then discussed the facility reliability analysis methodology for hydro-power plant. Based on rigorous examination of the water supply system and components roles, we drew major failure modes for each component and examined their effects.

• Journal of Power Electronics
• /
• v.16 no.6
• /
• pp.2016-2023
• /
• 2016

This paper presents a simple input-constrained current controller for a DC/DC boost converter with stability analysis that considers the nonlinearity of the converter model. The proposed controller is designed to satisfy the inherent input constraints of the converter under a physically reasonable assumption, which is the first contribution of this paper. The second contribution is providing a rigorous proof of the proposed control law, which keeps the closed-loop system along with the internal dynamics stable. The performance of the proposed controller is demonstrated through an experiment employing a 20-kW DC/DC boost converter.

• Journal of the Earthquake Engineering Society of Korea
• /
• v.5 no.4
• /
• pp.51-66
• /
• 2001

There occurred a moderate size earthquake of Magnitude 5 in Whagae-Myun, Hadong-GUn, Kyongsangnam-Do on July 4, 1936. It caused severe damage to the buildings and other structures in Sang-Gye-Sa, a Buddhist Temple. The top component of a five-story stone pagoda was tipped over and fell down to the ground during the earthquake. In order to have accurate and quantitative estimate of the peak acceleration level of that earthquake, a full-scale model was constructed through rigorous verification process. The complete model was mounted on a shaking table and subjected to the dynamic tests. Two kinds of tests were performed: exploratory test and fragility test. The exploratory test was done with low acceleration level. In the fragility test, the behavior of the model was carefully monitored while increasing the acceleration level. The construction details of the model are provided and test procedures are reported. Finally important test results are presented and their implications are discussed.

• Geophysics and Geophysical Exploration
• /
• v.14 no.3
• /
• pp.220-226
• /
• 2011

In the elastic wave equations, both horizontal and vertical displacements are defined. Since we can measure both the horizontal and vertical displacements in field acquisition, these displacements compose a displacement vector. In this study, we propose a frequency-domain elastic waveform inversion technique taking advantage of the magnitudes of displacement vectors to define objective function. When we apply this displacement-vector objective function to the frequency-domain waveform inversion, the inversion process naturally incorporates the back-propagation algorithm. Through the inversion examples with the Marmousi model and the SEG/EAGE salt model, we could note that the RMS error of the solution obtained by our algorithm decreased more stably than that of the conventional method. Particularly, the density of the Marmousi model and the low-velocity sub-salt zone of the SEG/EAGE salt model were successfully recovered. Since the gradient direction obtained from the proposed objective function is numerically unstable, we need additional study to stabilize the gradient direction. In order to perform the waveform inversion using the displacementvector objective function, it is necessary to acquire multi-component data. Hence, more rigorous study should be continued for the multi-component land acquisition or OBC (Ocean Bottom Cable) multi-component survey.

• Environmental and Resource Economics Review
• /
• v.20 no.3
• /
• pp.419-457
• /
• 2011

This study aims at understanding the characteristics of global economic models, which are widely used for climate change policy analysis. A literature review study was conducted in order to derive general features of top-down models such as CGE and bottom-up/hybrid models such as GTEM. Furthermore, a structural analysis was carried out by applying parameter and structural components from other models to a particular model to observe the potential differences in outcomes. Literature review shows that bottom-up or hybrid models generally have higher level of reduction potentials than top-down models in the long run. This contradicts the conclusion presented by IPCC, and raises the need for more rigorous investigation through structural analysis. Structural analysis of EPPA model indicates that the structural component of the energy sector in a particular model is the most influential factor in predicting baseline emissions and reduction potentials. This includes the structure among energy, capital, and labor inputs, and the substitution elasticities within the energy bundle. Technology bundle can establish the conclusions from literature review, and change in Armington elasticities do not significantly affect the outcome in aggregate.

• Asian-Australasian Journal of Animal Sciences
• /
• v.24 no.3
• /
• pp.303-321
• /
• 2011

The availability and efficient use of the feed resources in Asia are the primary drivers of performance to maximise productivity from animals. Feed security is fundamental to the management, extent of use, conservation and intensification for productivity enhancement. The awesome reality is that current supplies of animal proteins are inadequate to meet human requirements in the face of rapidly depleting resources: arable land, water, fossil fuels, nitrogenous and other fertilisers, and decreased supplies of cereal grains. The contribution of the ruminant sector lags well behind that of non-ruminant pigs and poultry. It is compelling therefore to shift priority for the development of ruminants (buffaloes, cattle, goats and sheep) in key agro-ecological zones (AEZs), making intensive use of the available biomass from the forage resources, crop residues, agro-industrial by-products (AIBP) and other non-conventional feed resources (NCFR). Definitions are given of successful and failed projects on feed resource use. These were used to analyse 12 case studies, which indicated the value of strong participatory efforts with farmers, empowerment, and the benefits from animals of productivity-enhancing technologies and integrated natural resource management (NRM). However, wider replication and scaling up were inadequate in project formulation, including systems methodologies that promoted technology adoption. There was overwhelming emphasis on component technology applications that were duplicated across countries, often wasteful, the results and relevance of which were not clear. Technology delivery via the traditional model of research-extension linkage was also inadequate, and needs to be expanded to participatory research-extension-farmer linkages to accelerate diffusion of technologies, wider adoption and impacts. Other major limitations concerned with feed resource use are failure to view this issue from a farming systems perspective, strong disciplinary bias, and poor links to real farm situations. It is suggested that improved efficiency in feed resource use and increased productivity from animals in the future needs to be cognisant of nine strategies. These include priorities for feed resource use; promoting intensive use of crop residues; intensification of integrated ruminant-oil palm systems and use of oil palm by-products; priority for urgent, wider technology application, adoption and scaling up; rigorous application of systems methodologies; development of adaptation and mitigation options for the effects of climate change on feed resources; strengthening research-extension-farmer linkages; development of year round feeding systems; and striving for sustainability of integrated farming systems. These strategies together form the challenges for the future.