• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.11 no.2
• /
• pp.1180-1200
• /
• 2017

Currently, automated payment services provide intuitive user interfaces by adapting various wireless communication devices with mobile services. For example, companies like Samsung, Google, and Apple have selected the NFC payment method to service payments of existing credit cards. An electronic payment standard has been released for NFC activation within Korea and will strengthen the safety of payment service communications. However, there are various security risks regarding the NFC-based electronic payment method. In particular, the NFC payment service using the recently released lightweight devices cannot provide the cryptographic strength that is supported by many financial transaction services. This is largely due to its computational complexity and large storage resource requirements. The chaotic map introduced in this study can generate a highly complicated code as it is sensitive to the initial conditions. As the lightweight study using the chaotic map has been actively carried out in recent years, associated authentication techniques of the lightweight environment have been released. If applied with a chaotic map, a high level of cryptographic strength can be achieved that can provide more functions than simple XOR operations or HASH functions. Further, this technique can be used by financial transaction services. This study proposes a mutual authentication technique for NFC-PCM to support an NFC payment service environment based on the chaotic map.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.7 no.8
• /
• pp.150-159
• /
• 1999

Exhaust system is composed of several parts. Among, them , design of muffler system strongly influences on engine efficiency and noise reduction. So , through comprehension of flow characteristics inside muffler is necessary . In this study , three-dimensional steady and unsteady compressible flow analysis was performed to understand the flow characteristics, pressure loss and amplitude variation of pulsating pressure. The computational grid generation was carried out using commercial preprocessor ICEM CFD/CAE. And the three-dimensional fluid motion inside the muffler was analyzed by STAR-CD, the computational fluid dynamics code. RNG k-$\varepsilon$ tubulence model was applied to consider the complexity of the geometry and fluid motion. The steady and unsteady flow field inside muffler such as velocity distribution, pulsating pressure and pressure loss was examined. In case of unsteady state analysis, velocity of inlet region was converted from measured pulsating pressure. Experimental measurement of pressure and temperature was carried out to provide the boundary and initial condition for computational study under three engine operating conditions. As a result of this study, we could identify the flow characteristics inside the muffler and obtain the pressure loss, amplitude variation of pulsating exhaust gas.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.29 no.3A
• /
• pp.337-346
• /
• 2004

Punctured convolutional codes increase transmission efficiency without increasing hardware complexity. However, Viterbi decoder supporting punctured codes requires long decoding length and large survivor memory to achieve sifficiently low bit error rate (BER), when compared to the Viterbi decoder for a rate 1/2 convolutional code. This Paper presents novel architecture adopting a pipelined trace-forward unit reducing survivor memory requirements in the Viterbi decoder. The proposed survivor path architecture reduces the memory requirements by removing the initial decoding delay needed to perform trace-back operation and by accelerating the trace-forward process to identify the survivor path in the Viterbi decoder. Experimental results show that the area of survivor path unit has been reduced by 16％ compared to that of conventional hybrid survivor path unit.

• Clinical and Experimental Reproductive Medicine
• /
• v.43 no.2
• /
• pp.59-81
• /
• 2016

It is well established that there is a heritable element of susceptibility to chronic human ailments, yet there is compelling evidence that some components of such heritability are transmitted through non-genetic factors. Due to the complexity of reproductive processes, identifying the inheritance patterns of these factors is not easy. But little doubt exists that besides the genomic backbone, a range of epigenetic cues affect our genetic programme. The inter-generational transmission of epigenetic marks is believed to operate via four principal means that dramatically differ in their information content: DNA methylation, histone modifications, microRNAs and nucleosome positioning. These epigenetic signatures influence the cellular machinery through positive and negative feedback mechanisms either alone or interactively. Understanding how these mechanisms work to activate or deactivate parts of our genetic programme not only on a day-to-day basis but also over generations is an important area of reproductive health research.

• The KIPS Transactions:PartC
• /
• v.13C no.3 s.106
• /
• pp.317-322
• /
• 2006

This paper presents an efficient user-cooperation protocol associated with cyclic coding for WSNs (Wireless Sensor Networks) using LEACH(Low-Energy Adaptive Clustering Hierarchy). Since the proposed user-cooperation requires no CSI(Channel State Information) at both transmitter and receiver, and encoding and decoding of cyclic codes are simple, the processing complexity of sensor nodes is significantly reduced. Simulation results reveal such a combination can save the network energy up to 10dB over single-hop transmission at BER of $10^{-4}$.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.25 no.7A
• /
• pp.1017-1027
• /
• 2000

In this paper, we propose a new coding method based on the distance between vertex segments for vertex positions in the vertex-based shape coding. The pixel lines are divided into the segments of a fixed length, and the segments that have vertex pixels are called vertex segments. We analyze the probability distribution of the relative distance between vertex segments and prove that it depends only on the ratio between the number of vertices and the number of segments. Considering the coding efficiency and implementation complexity, we choose a particular ratio to make a code table. For each input image, the segment size is chosen according tothe ratio, and the relative segment distances are entropy coded. It is shown that the proposed method is efficient for the images with many vertices.

• The KIPS Transactions:PartD
• /
• v.16D no.6
• /
• pp.871-880
• /
• 2009

Along with the complexity and size growth of embedded software, it is critical to meet the nonfunctional requirements such as power consumption as well as functional requirements such as correctness. This paper, apart from the existing studies of source code-based power analysis, proposes an approach of model-based power analysis using UML 2.0. Specially, we focus on the development of energy library to analyze the power consumption of embedded software. Our energy library supports model-based power analysis, and also supports the easy adaption for the change of embedded application.

• Structural Engineering and Mechanics
• /
• v.53 no.2
• /
• pp.355-372
• /
• 2015

This paper identifies the effects of infill wall existence and arrangement in the seismic response of steel frame structures. The methodology followed was based on the utilisation of overall seismic response indicators that distil the complexity of structural response in a single value hence enabling their straightforward comparative and statistical post process. The overall structure damage index after Park/Ang ($OSDI_{PA}$) and the maximum inter-story drift ratio (MISDR) have been selected as widely utilized structural seismic response parameters in contemporary state of art. In this respect a set of 225 Greek antiseismic code (EAK) spectrum compatible artificial accelerograms have been created and a series of non-linear dynamic analyses have been executed. Data were obtained through nonlinear dynamic analyses carried on an indicative steel frame structure with 5 different infill wall topologies. Results indicated the significant overall contribution of infill walls with a reduction that ranged 35-47% of the maximum and 74-81% of the average recorded $OSDI_{PA}$ values followed by an overall reduction of 64-67% and 58-61% for the respective maximum and average recorded MISDR values demonstrating the relative benefits of infill walls presence overall as well as localised with similar reductions observed in 1st level damage indicators.

• Journal of Advanced Marine Engineering and Technology
• /
• v.32 no.4
• /
• pp.585-595
• /
• 2008

Process design of multi-stage forging for a bolt with nonaxisymmetric washer cam has been studied by using finite element method. For shape complexity of the bolt, it is impossible to manufacture in a single stage forging. To design multi-stage forging for the bolt the forging load and fiber flow of each step have been analyzed by using commercial finite element code DEFORM-3D. Simulated results have been compared with experimental ones. Multi-stage forging process has been designed with four stages. The workpiece should be eccentric shape until third forging stage. And then bolt head and washer of eccentrical shape is created in last stage. As a results, It was predicted that shape of product would be good and effective strain would be uniformly distributed in the product. Also, it was predicted whether defects would exist or not by reviewing the fiber flow.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.27 no.9
• /
• pp.1555-1561
• /
• 2003

Finite element analysis using modern constitutive equation is one of the most general tools to simulate the deformation behavior and to predict the life of the structure. Constitutive equation becomes complicated so as to predict the material behavior more accurately than the classical models. Because of the complexity of constitutive model, numerical treatment becomes so difficult that the calculation should be verified carefully. One-element tests, simple tension or simple shear, are usually used to verify the accuracy of finite element analysis using complicated constitutive model. Since this test is mainly focused on the time integration scheme, it is also necessary to verify the equilibrium iteration using material stiffness matrix and to compare FE results with solution of structures. In this investigation, viscoplastic solution of thick walled cylinder was derived considering axial constraints and was compared with the finite element analysis. All the numerical solutions showed a good coincidence with FE results. This numerical solution can be used as a verification tool for newly developed FE code with complicated constitutive model.