• Journal of the Korea Society of Computer and Information
• /
• v.28 no.12
• /
• pp.115-127
• /
• 2023

In this paper, we propose a SBT user authentication method for decentralized environment like blockchain. Due to tranparancy of blockchain, it is difficult to secure the privacy of person information, so it is necessary to use a new authentication method. In order to solve this problem, research using SBT for user authentication is being conducted, however most studies have implemented SBT in form of removing function which is related to trasmission from NFT without applying the technical features requried for SBT. The proposed scheme of this paper is implemented SBT which secured safetey and usabillity with using locking token function of ERC-5192. Also, based of implemented SBT scheme propose a user authentication process. To verify our approach, we set a hypothetical user authentication scenario based on the proposed user authentication process and deployed a smart contract that satisfies the 19 function call scenarios that occur in that scenario.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.37 no.1
• /
• pp.41-47
• /
• 2024

This paper utilizes computational asymptotic analysis to compute the boundary layer solution for composite beams and validates the findings through a comparison with ANSYS results. The boundary layer solution, presented as a sum of the interior solution and pure boundary layer effects, necessitates a mathematically rigorous formalization for both interior and boundary layer aspects. Computational asymptotic analysis emerges as a robust technique for addressing such problems. However, the challenge lies in connecting the boundary layer and interior solutions. In this study, we systematically separate the principles of virtual work and the principles of Saint-Venant to tackle internal and boundary layer issues. The boundary layer solution is articulated by calculating the Papkovich-Fadle eigenfunctions, representing them as linear combinations of real and imaginary vectors. To address warping functions in the interior solutions, we employed a least squares method. The computed solutions exhibit excellent agreement with 2D finite element analysis results, both quantitatively and qualitatively. This validates the effectiveness and accuracy of the proposed approach in capturing the behavior of composite beams.

• The Journal of the Acoustical Society of Korea
• /
• v.28 no.6
• /
• pp.491-498
• /
• 2009

This paper presents the design method of an impedance matching network using an isolation transformer and the Chebyshev filter function for the high efficiency and the flat power driving of an underwater acoustic piezoelectric transducer. The proposed impedance matching network is designed for minimizing the reactance component of transducer and having the flat power response in the wide frequency range. We design a low pass filter with ladder-type circuit using the Chebyshev function as standard prototype filter function. In addition, we design the impedance matching network which is suitable for the equivalent circuit of transducer and the turn ratio of transformer through the bandpass frequency transformation. The proposed method is applied to the simulated dummy load of the tonpilz-type transducer operating in the middle frequency range. The simulation results are compared with the measured characteristics and the validity of the proposed method is verified.

• Science of Emotion and Sensibility
• /
• v.26 no.4
• /
• pp.29-40
• /
• 2023

Anxiety is known to upset the balance of the attentional system and prioritize the stimulus-driven system over the goal-directed system; however, self-instruction induces goal-directed behavior with the self-regulation effect. This study verified the effects of meteorological and self-instruction conditions on pilot anxiety and flight task performance for in-service pilots in a virtual reality environment. The meteorological conditions were divided into visual meteorological and very low visibility conditions, and the flight tasks were conducted by varying whether or not self-instruction was performed. The experiment results reveal that anxiety and heart rate were higher, and the performance of the flight task was lower in the very low visibility condition. However, anxiety and heart rate were lower, and the performance of the flight task was higher in the self-instruction condition. This result suggests that accidents due to difficulty in flight may increase because of anxiety, but such accidents may decrease because of flight performance improvement by self-instruction.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.6 no.2
• /
• pp.45-56
• /
• 2007

As function and scale of the transit center get larger, the efficient guidance system in the transit center is essential for transit users in order to find their efficient routes. Although there are several studies concerning optimal path for the road, but insufficient studies are executed about optimal path inside the building. Thus, this study is to develop the algorithm about optimal path for car owner from the basement parking lot to user's destination in the transfer station. Based on Dijkstra algorithm which calculate horizontal distance, several factors such as fatigue, freshness, preference, and required time in using moving devices are objectively computed through rank-sum and arithmetic-sum method. Moreover, optimal public transportation is provided for transferrer in the transfer station by Neuro-Fuzzy model which is reflected on people's tendency about public transportation mode choice. Lastly, some scenarios demonstrate the efficiency of optimal path algorithm for pedestrian in this study. As a result of verification the case through the model developed in this study is 75 % more effective in the scenario reflected on different vertical distance, and $24.5\;{\sim}\;107.7\;%$ more effective in the scenario considering different horizontal distance, respectively.

• Journal of Korea Water Resources Association
• /
• v.32 no.1
• /
• pp.71-81
• /
• 1999

The objective of this study is to develop a model which can design an optimal pipe network system of least cost while satisfying all the design constraints including hydraulic constraints using a genetic algorithm technique. Hydraulic constraints interfaced with the simulation program(KYPIPE) checked feasible solution region. Genetic algorithm(GA) technique is a relatively new optimization technique. The GA is known as a very powerful search and optimization technique especially when solving nonlinear programming problems. The model developed in this study selects optimal pipe diameters in the form of commercial discrete sizes using the pipe diameters and the pumping powers as decision variables. The model not only determines the optimal diameters and pumping powers of pipe network system but also satisfies the discharge and pressure requirements at demanding nodes. The model has been applied to an imaginary and an existing pipe network systems. One system is adopted from journal papers which has been used as an example network by many other researchers. Comparison of the results shows compatibility of the model developed in this study. The model is also applied to a system in Goyang city in order to check the model applicability to finding of optimal pumping powers. It has been found that the developed model can be successfully applied to optimal design of pipe network systems in a relatively simple manner.

• 한국지구물리탐사학회:학술대회논문집
• /
• 2005.09a
• /
• pp.93-116
• /
• 2005

SPT-Uphole tomography method was introducedand verified in this paper. In SPT-Uphole method, SPT (Standard Penetration Test) which is common in site investigation, was used as a source and several surface geophones in line were used as receivers. Shear wave velocity (Vs) distribution map which has triangular shape around the boring point can be obtained by tomography inversion. The factors for obtaining reliable result of SPT-Uphole tomography are exact travel time information and accurate inversion method. To establish of the SPT-Uphole tomography procedure, the most reliable method for obtaining exact travel time information and verification of tomography inversion method were studied by using theoretical travel time information and finite element method (FEM) analysis. finally, SPT-Uphole tomography method was performed at the weathered soil site in Kimje. By comparing with several boring data including SPT-N value, feasibility of this method was verified in the field.

• Journal of KIISE:Software and Applications
• /
• v.36 no.10
• /
• pp.800-815
• /
• 2009

Recently, Web services based service-oriented architecture is widely used to integrate effectively various applications distributed on the networks. In the service-oriented architecture BPEL as a standard modeling language for the business processes provides the way to integrate various services provided by applications. Over the past few years, some types of studies have been made on testing compatibility of services and on discriminating and tracing of the business processes in the services composition. Now a lot of studies about the services composition with BPEL are going on. However there were few efforts to solve the problems caused by the services composition. Especially, there is no effort to evaluate whether a composite service is reliable and whether it is robust against to exceptional situations. In this paper, we suggest a test framework and a testing method for robustness of the composite service written in WS-BPEL. For this, firstly we extract some information from the BPEL process and the participant services. Next, with the extracted information we construct the virtual testing environment that generates various faults and exceptional cases which may be raised within the real services. Finally the testing work for robustness of a composite service is performed on the test framework.

• Journal of the Korea Computer Graphics Society
• /
• v.24 no.2
• /
• pp.21-28
• /
• 2018

We present interactive methods for visualizing the cloud height data and the backscatter data collected from ceilometers in the three-dimensional virtual space. Because ceilometer data is high-dimensional, large-size data associated with both spatial and temporal information, it is highly improbable to exhibit the whole aspects of ceilometer data simply with static, two-dimensional images. Based on the three-dimensional rendering technology, our visualization methods allow the user to observe both the global variations and the local features of the three-dimensional representations of ceilometer data from various angles by interactively manipulating the timing and the view as desired. The cloud height data, coupled with the terrain data, is visualized as a realistic cloud animation in which many clouds are formed and dissipated over the terrain. The backscatter data is visualized as a three-dimensional terrain which effectively represents how the amount of backscatter changes according to the time and the altitude. Our system facilitates the multivariate analysis of ceilometer data by enabling the user to select the date to be examined, the level-of-detail of the terrain, and the additional data such as the planetary boundary layer height. We demonstrate the usefulness of our methods through various experiments with real ceilometer data collected from 93 sites scattered over the country.

• Information Systems Review
• /
• v.9 no.2
• /
• pp.15-39
• /
• 2007

Mobile games have emerged as the most innovative entertainment technology, adding new revenue streams, taking advantage of the potential of wireless applications and service offerings. Mobile games, like any other types of computer game, offer a unique value for users in providing an exciting digital experience in virtual worlds. In this paper, we attempt to investigate the demographic factors which play critical roles in determining the level of playing times; classify mobile gamers based on their motives for playing games; and empirically test differences in their demographic factors and mobile game usage. Statistical results show that significant differences in playing times exist, depending upon their age, gender, mobile device, mobile phone usage, mobile game experiences, and preferred games genres. Applying Factor analysis, we have identified Escape, Social interaction, Challenge and Competition, Fantasy, Diversion and Relaxation, Ease of Accessibility as key motivators for playing mobile games. Additional cluster analysis shows that the categorization of gamers, according to their usage habits and the key motivators for playing, can be made as follows: Multi-gamers, Communication-focused gamers and Mobile active-gamers. Further correlation of these grouping with socio-economic data shows the significant differences in gaming habits and patterns of mobile phone use.