• Geophysics and Geophysical Exploration
• /
• v.19 no.2
• /
• pp.84-90
• /
• 2016

The validation of performance test for newly developed or old-used sensor is very important in the earthquake monitoring and seismology using earthquake data. Especially the frequency response of the sensor is mainly used to correct the earthquake data. The technique of the calculation of phase and amplitude with Hilbert transformation for earthquake data that is filtered with band limited frequency in time domain is applied to calculate the frequency response of the sensor. This technique was tested for the acceleration sensors, CMG-5T of 1g and 2g installed on the vibration table at the laboratory and we could obtain satisfactory result. Tohoku large earthquake in 2011 observed at the station SNU that has accelerometer, ES-T and seismometer, STS-2 operated by KIGAM was also used to test the field data applicability. We could successfully get the low frequency response of broad band sensor, STS-2. The technique by using band limited frequency filter and Hilbert transformation showed the superior frequency response to the frequency spectrum ratio method for noisy part in data.

• Geophysics and Geophysical Exploration
• /
• v.19 no.3
• /
• pp.131-135
• /
• 2016

Coarray is a parallel processing technique introduced in the Fortran 2008 standard. Coarray can implement parallel processing using simple syntax. In this research, we examined applicability of Coarray to seismic parallel processing by comparing performance of seismic data processing programs using Coarray and MPI. We compared calculation time using seismic wave propagation modeling and one to one communication time using domain decomposition technique. We also compared performance of parallel reverse-time migration programs using Coarray and MPI. Test results show that the computing speed of Coarray method is similar to that of MPI. On the other hand, MPI has superior communication speed to that of Coarray.

• The Journal of Information Systems
• /
• v.16 no.4
• /
• pp.131-155
• /
• 2007

The purpose of this thesis is to study on the philosophical analysis model and its methodological application of information systems research evaluation from critical realist perspective. Fist of all, I examine ontological epistemological methodological assertions of critical realism. Because the philosophy of critical realism is an opportunity for information systems study. I examine Dobson and Mutch's critical realist perspective on actors-structure model. I suggest a critical realist actors-praxis-structure model. This model provides the potential for a new approach to social investigations in its provision of an ontology for the analytical separation of structure and agency. Of most importance might be the incorporation of non-humans into the analysis of social interaction and of technology into the elaboration of structures. I also examine Tsoukas's critical realistic meta-theory of management. I suggest a critical realist IS management model. This model elucidate the nature of management and delineate the scope of applicability of various perspectives on management. The causal powers of management reside in the real domain and, taken together, their logics are contradictory, the effects of their contradictory composition are contingent upon prevailing contingencies. I analyze Carlsson's theory of design knowledge. His framework builds on that the aim of IS design science research is to develop practical knowledge for the design and realization of different classes of IS initiatives, where IS are viewed as socio-technical systems and not just IT artefacts. The framework proposes that the output of IS design science research is practical IS design knowledge in the form of field-tested and grounded technological rules. The IS design knowledge is developed through an IS design science research cycle. In conclusion, I think that IS actors-praxis-structure model, meta-theoretical IS management model, and IS design knowledge model according to critical realistic approach are very useful for IS research evaluation. Nevertheless, important problems are left not resolved.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.14 no.2
• /
• pp.116-127
• /
• 2002

Most of finite difference numerical models for the simulation of tsunami propagation developed so for are based on the shallow-water equations which are frequently solved by the leap-frog scheme. If the grid size is properly selected, this numerical scheme gives a correct dispersion effect fur constant water depth. However, if the water depth changes, the dispersion effect of tsunamis can not be accurately considered at every grid point in the whole computational domain. In this study we improved the existing two-dimensional dispersion-correction finite difference numerical scheme. The present scheme satisfies the local dispersion relationships of tsunamis propagating over a slowly varying topography while using uniform grid size and time step. To verify the applicability of the improved numerical model, a tsunami due to 1983 East Sea central earthquake is simulated for Korean harbors with the tide gage records such as Sokcho, Mukho, Pohang and Ulsan in the East Sea. Numerical results of the 1983 tsunami are compared with the measured data and the accuracy of the present numerical model is evaluated.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.39 no.2
• /
• pp.50-55
• /
• 2002

The standard approach of image resampling is to fit the original image with continuous model and resample the function at a desired rate. We used the B-spline function as the continuous model because it oscillates less than the others. The main purpose of this paper is the derivation of a nonuniform optimal resampling algorithm. To derive it, needing approximation can be computed in three steps: 1) determining the I-spline coefficients by matrix inverse process, 2) obtaining the transformed-spline coefficients by the optimal resampling algorithm derived from the orthogonal projection theorem, 3) converting of the result back into the signal domain by indirect B-spline transformation. With these methods, we can use B-spline in the non-uniform resampling, which is proved to be a good kernel in uniform resampling, and can also verify the applicability from our experiments.

• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.11
• /
• pp.479-486
• /
• 2015

Model checking method is able to check all possible cases automatically and is applicable to specifications or design before actual implementation so that some critical systems have adopted this method actively. However, the current practice of software verification is largely dependant on basic methods such as manual testing because of lack of understanding about this rigorous method and high verification cost. In this paper we conducted an experimental research for the automated verification using the SPIN model checker on an online-game server to study the applicability of the technique in this domain. The results show that we could verify major features of the online-game server party system with 5~7 GB memory and within 10 minutes execution time, and also found a hidden system error that passed existing testing process. This result shows the possibility of rigorous and effective verification with reasonable cost in comparison to manual testing.

• Journal of KIISE:Software and Applications
• /
• v.32 no.9
• /
• pp.835-846
• /
• 2005

A Product Line (PL) is a set of products (applications) that share common assets in a domain. Product Line Engineering (PLE) is a set of principles, techniques, mechanisms, and processes that enables the instantiation of produce lines. Core assets, the common assets, are created and instantiated to make products in PLE. Model Driven Architecture (MDA) is a new software development paradigm that emphasizes its feasibility with automatically developing product. Therefore, we can get advantages of both of the two paradigms, PLE and MDA, if core assets are represented as PIM in MDA with predefined automatic mechanism. PLE framework in the PIM level has to be interpreted by MDA tools. However, we do not have a standard UML profile for representing core assets. The research about representing PLE framework is not enough to make automatically core assets and products. We represent core asset in PIM level in terms of structural view and semantic view. We also suggest a method for representing architecture, component, workflow, algorithm, and decision model. The method of representing framework with PLE and MDA is used to improve productivity, applicability, maintainability and qualify of product.

• Journal of the Regional Association of Architectural Institute of Korea
• /
• v.20 no.6
• /
• pp.47-54
• /
• 2018

The purpose of this study is to verify the long - range measurement performance for practical field application of VDMS. The reliability of the VDMS was verified by comparison with the existing monitoring sensor, GPS, Accelerometer and LDS. It showed the ability to accurately measure the dynamic displacement by tracking a motion of free vibration of target. And using the PSD function of measured data, the results in the frequency domain were also analyzed. We judged that VDMS is able to identify the higher system mode and has sufficient reliability. Based on the reliability verification, we conducted tests for long-distance applicability for actual application of VDMS. The distance from the stationary target model structure was increased by 50m interval, and the maximum distance was set to 400m. From the distance of 150m, the image obtained by the commercial camcorder has an error in the analysis, so the measured displacement comparison was performed between the LDS and the refractor telescope measurement results. In the measurement results of the displacement area of VDMS, the data validity was deteriorated due to the data shift by the external force and the quality degradation of the enlarged image. However, even under the condition that the effectiveness of the displacement measurement data of VDMS is low, the first mode characteristic included in the free vibration of the object is clearly measured. If the influence from the external environment is controlled and stable data is collected, It is judged that reliability of long-distance VDMS can be secured.

• Journal of the Society of Naval Architects of Korea
• /
• v.59 no.3
• /
• pp.141-148
• /
• 2022

A hybrid turbulence model has developed by combining a sub-grid scale model using dynamic k equation in LES with k-𝜔 SST model of RANS equation. To ascertain potential applicability of the hybrid turbulence model, fully developed turbulent channel flows at Re_𝜏=180 have been simulated of which computational domain has a top wall with coarse cells and a bottom wall with fine cells. The streamwise mean velocity and turbulent intensity profiles showed a good agreement with DNS data when using the hybrid model rather than using a single model in k-𝜔 SST or dynamic k equation models. Computational simulations of turbulent flows around KVLCC2 with a pre-swirl duct have been mainly performed using the hybrid turbulence model. Compared to the results obtained from RANS simulation with k-𝜔 SST model as well as LES with dynamic k equation SGS model, turbulent wakes of the duct in the present simulation using the hybrid turbulence model were very similar to that of LES. Also, the resistances acting on hull, rudder and duct in hybrid turbulence model were similar to those in RANS simulation whereas the viscous forces acting on the hull in LES had a significant error due to coarse cells inappropriate to the sub-grid scale model.

• Journal of Acupuncture Research
• /
• v.39 no.4
• /
• pp.249-257
• /
• 2022

This study aimed to evaluate clinical practice guidelines (CPGs) for ankle sprains using the Appraisal of Guidelines for Research and Evaluation II tool, using electronic databases (GIN, PubMed, EMBASE, NCKM, CNKI, CiNii, WanFang database, RISS, and SCOPUS), to suggest strategies for improvement in the future. The search was performed on April 23, 2021 and 10 CPGs were selected for evaluation. Three CPGs were recommended without modification (Class A scores), five were recommended with modification (Class B), and two were not recommended (Class C scores). The CPG domain that received the lowest score was "applicability." The traditional medicine CPGs scored higher [Class A (n = 1) and Class B (n = 1)] than the conventional Western medicine CPGs [Class A (n = 2), Class B (n = 4), and Class C (n = 2)] and were considered to be more methodical. In the future, more research into traditional medicine is required.