• Journal of the Earthquake Engineering Society of Korea
• /
• v.6 no.4
• /
• pp.1-6
• /
• 2002

The structural safety required in general design is to be proved with safety factors provided for structural members in elastic range. But, for the safety requirement in the earthquake resistant design, a specific ductile failure mechanism in plastic range should be verified according to the structural configuration. Therefore such verifications should be done in the preliminary design stage by comparing various design alternatives. In the main design stage only a confirmation of the ductile failure mechanism is required. In this study typical roadway bridges are selected and analysis models are presented for the preliminary and main design. For the two models, vibration periods and mode shapes are compared and the multi-mode spectrum method is applied to determine failure mechanisms. The failure mechanisms obtained with the two models are compared to check the properness of the model used for the preliminary design, which may well be used as an earthquake resistant analysis model in practice.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.11 no.6
• /
• pp.1054-1061
• /
• 2007

In this paper, the comparison between UPML and Liao's absorbing boundary condition in the FDTD(Finite-Difference Time-Domain) method was performed for the analysis of the 2D cylindrical coordinate system. Generally, it is known as the absorbing characteristics of the UPML is bro than Liao's absorbing boundary condition in the 2D rectangular coordinate. The simulation results in this paper showed that Liao's original absorbing boundary condition is better than other two absorbing boundary conditions, Liao's modified condition and UPML. We concluded that more numerical, theoretical studies, simulations and verifications for various absorbing boundary conditions will be needed to get more accurate results for the design of useful 2D cylindrical microwave circuits.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.11 no.8
• /
• pp.1500-1510
• /
• 2007

In recent, rapid and accurate processing for logistics have been required, according as logistics has grown dramatically. Especially, identifying, locating, or tracking objects in ports are important, because ports are gateways to extended markets. In this paper, we describe the design and implementation of a smart tag system for ubiquitous port logistics. Our solution consists of three parts: an active RFID to identify objects, an electronic container seal to charge with security of containers, and a RTLS system to locate objects. Because identification technology for logistics can be read by heterogenous systems, compliance with the international standard is one of the most critical issues. This paper introduces the method to maintain compliance with ISO, and conducts some verifications. In addition, we analyze the system performance such as lifetime, identification rate, and time for multiple tag identification.

• Journal of the Society of Naval Architects of Korea
• /
• v.42 no.5 s.143
• /
• pp.479-486
• /
• 2005

The final goal of shift alignment design is that the bearing reaction forces or mean pressures are within design boundaries for various service conditions of a ship. However, it is found that calculated bearing load can be substantially variable according to the locations of the effective support points of after sterntube bearing which are determined by simple calculation or assumption suggested by classification societies. A new analysis method for shaft alignment calculation is introduced in order to resolve these problems. Key concept of the new method is featured by adopting both nonlinear elastic and multi-support elements to simulate a bearing support Hertz contact theory is basically applied for nonlinear elastic stiffness calculation instead of the projected area method suggested by most of classification societies. Three loading conditions according to the bearing offset and the hydrodynamic moment and twelve models according to the locations of the effective support points of sterntube bearings are prepared to carry out quantitative verifications for an actual shafting system of 8000 TEU class container vessel. It is found that there is relatively large difference between assumed and calculated effective support points.

• Atmosphere
• /
• v.31 no.3
• /
• pp.311-326
• /
• 2021

To improve the predictability of high-impact weather phenomena around Seoul, where a larger number of people are densely populated, KMA conducted the intensive observation from 22 June to 20 September in 2020 over the Seoul area. During the intensive observation period (IOP), the dropsonde from NIMS Atmospheric Research Aircraft (NARA) and the radiosonde from KMA research vessel Gisang1 were observed in the Yellow Sea, while, in the land, the radiosonde observation data were collected from Icheon and Incheon. Therefore, in this study, the effects of radiosonde and dropsonde data during the IOP were investigated by Observing System Experiment (OSE) based on Korean Integrated Model (KIM). We conducted two experiments: CTL assimilated the operational fifteen kinds of observations, and EXP assimilated not only operational observation data but also intensive observation data. Verifications over the Korean Peninsula area of two experiments were performed against analysis and observation data. The results showed that the predictability of short-range forecast (1~2 day) was improved for geopotential height at middle level and temperature at lower level. In three precipitation cases, EXP improved the distribution of precipitation against CTL. In typhoon cases, the predictability of EXP for typhoon track was better than CTL, although both experiments simulated weaker intensity as compared with the observed data.

• Journal of Climate Change Research
• /
• v.9 no.1
• /
• pp.81-90
• /
• 2018

"The Framework Act on Low-Carbon Green Growth" specifies the requirements for the development and verification of emission factors for establishing reliable national greenhouse gas statistics. The scope of the regulations covers the development and validation of energy, industrial processes, solvents and other product use, agriculture, land use, land use change and emission and absorption coefficients of the forestry and waste sector as defined in the 1996 IPCC Guideline and GPG 2000, The minerals sector to be covered in this study belongs to industrial processes. As a representative method for quantifying and evaluating GHG emission factors, there are emission grade quality grading and DARS (Data Rating Rating System) in the 'Procedures for Preparing Emission Factor Documents (1997)' reported by US-EPA. However, the above two methods are not specific and comprehensive, and lack the details for accurate emission factor verification. Therefore, there is a need for a method for verifying and quantifying certified greenhouse gas emission factors that reflects characteristics of each industry sector in Korea and accord with IPCC G/L and GHG target management. In this study, we conducted a weighted study on quantitative and evaluation lists of emission factor using questionnaires to develop a more accurate methodology for quantifying national greenhouse gas emission factors in the mineral sector. Quantification and evaluation of emission factor are classified into essential verification and quality evaluation. The essential verifications are : administrative compatibility, method of determining emission factors, emission characteristics, sampling methods and analysis methods, representativeness of data. The quality evaluations consisted of the quality control of the data, the accuracy of the measurement and analysis, the level of uncertainty, not directly affect the emission factor, but consisted of factors that determine data quality.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.3
• /
• pp.1702-1721
• /
• 2019

A workflow process (or business process) management system helps to define, execute, monitor and manage workflow models deployed on a workflow-supported enterprise, and the system is compartmentalized into a modeling subsystem and an enacting subsystem, in general. The modeling subsystem's functionality is to discover and analyze workflow models via a theoretical modeling methodology like ICN, to graphically define them via a graphical representation notation like BPMN, and to systematically deploy those graphically defined models onto the enacting subsystem by transforming into their textual models represented by a standardized workflow process definition language like XPDL. Before deploying those defined workflow models, it is very important to inspect its syntactical correctness as well as its structural properness to minimize the loss of effectiveness and the depreciation of efficiency in managing the corresponding workflow models. In this paper, we are particularly interested in verifying very large-scale and massively parallel workflow models, and so we need a sophisticated analyzer to automatically analyze those specialized and complex styles of workflow models. One of the sophisticated analyzers devised in this paper is able to analyze not only the structural complexity but also the data-sequence complexity, especially. The structural complexity is based upon combinational usages of those control-structure constructs such as subprocesses, exclusive-OR, parallel-AND and iterative-LOOP primitives with preserving matched pairing and proper nesting properties, whereas the data-sequence complexity is based upon combinational usages of those relevant data repositories such as data definition sequences and data use sequences. Through the devised and implemented analyzer in this paper, we are able eventually to achieve the systematic verifications of the syntactical correctness as well as the effective validation of the structural properness on those complicate and large-scale styles of workflow models. As an experimental study, we apply the implemented analyzer to an exemplary large-scale and massively parallel workflow process model, the Large Bank Transaction Workflow Process Model, and show the structural complexity analysis results via a series of operational screens captured from the implemented analyzer.

• Journal of The Korea Institute of Healthcare Architecture
• /
• v.29 no.1
• /
• pp.43-51
• /
• 2023

Purpose: To accommodate the increasing number of patients during the COVID-19 pandemic, numerous portable HEPA filter units (PHUs) were installed in the general wards of existing medical facilities(EMFs) to convert them into emergency conversion facilities (ECFs). The purpose of this study was to build a dataset in preparation for emerging infectious diseases in the post-COVID-19 era by analyzing the construction and operation of ECFs. Methods: Field investigations were conducted during ECF operation periods based on the analysis of heating, ventilation, and air conditioning (HAVC) system design documents for six ECFs across Korea. Interviews were conducted with facility managers during the field investigations. Results: When constructing an ECF within an EMF, the installation status and characteristics of the existing system should be considered. Field investigations and verifications of the operation of HAVC systems must be conducted beforehand for smooth ECF operations. If heating and cooling are required with indoor air circulation type equipment in an ECF zone, the implementation of a heating and cooling method that can satisfy the comfort requirements of the occupants while minimizing cross-contamination is essential. When using PHUs that do not meet the performance standards required by medical equipment, the noise level resulting from such equipment operation must be evaluated and improved. Implications: For EMFs, various guidelines that can be referred to for the construction and operation of ECFs must be developed to prepare for emerging infectious diseases in the future.

• Atmosphere
• /
• v.33 no.4
• /
• pp.331-341
• /
• 2023

A numerical forecasting models usually predict future states by performing time integration considering fixed static time-steps. A time-step that is too long can cause model instability and failure of forecast simulation, and a time-step that is too short can cause unnecessary time integration calculations. Thus, in numerical models, the time-step size can be determined by the CFL (Courant-Friedrichs-Lewy)-condition, and this condition acts as a necessary condition for finding a numerical solution. A static time-step is defined as using the same fixed time-step for time integration. On the other hand, applying a different time-step for each integration while guaranteeing the stability of the solution in time advancement is called an adaptive time-step. The adaptive time-step algorithm is a method of presenting the maximum usable time-step suitable for each integration based on the CFL-condition for the adaptive time-step. In this paper, the adaptive time-step algorithm is applied for the Korean Integrated Model (KIM) to determine suitable parameters used for the adaptive time-step algorithm through the monthly verifications of 10-day simulations (during January and July 2017) at about 12 km resolution. By comparing the numerical results obtained by applying the 25 second static time-step to KIM in Supercomputer 5 (Nurion), it shows similar results in terms of forecast quality, presents the maximum available time-step for each integration, and improves the calculation efficiency by reducing the number of total time integrations by 19%.

• Journal of the Korean Geotechnical Society
• /
• v.24 no.7
• /
• pp.51-60
• /
• 2008

In this paper, the behaviour of shell foundation was studied. In the theoretical program, the general shallow foundation theories and failure mechanism developed by Terzaghi, Mayerhof and others were reviewed and compared. In the numerical study, the 2 and 3 dimensional FEM simulations were carried out using an uncoupled-analysis approach. The results obtained from the model test show that the bearing capacity of shell foundation was about 25% to 30% larger than that of general foundation. Due to the cases of shell angle, the maximum bearing capacity of shell foundation shows when the shell angle of foundation was $60^{\circ}$. In addition, even if the shell foundation has various advantages compared with the general foundations as described above, the practical verifications in full scale size will be necessary to use in the field and will be helpful in the technical development of other special foundations.