• KIPS Transactions on Software and Data Engineering
• /
• v.7 no.8
• /
• pp.307-324
• /
• 2018

Recently, recurrent neural networks have been attracting attention in solving prediction problem of sequential data through structure considering time dependency. However, as the time step of sequential data increases, the problem of the gradient vanishing is occurred. Long short-term memory models have been proposed to solve this problem, but there is a limit to storing a lot of data and preserving it for a long time. Therefore, research on memory-augmented neural network (MANN), which is a learning model using recurrent neural networks and memory elements, has been actively conducted. In this paper, we describe the structure and characteristics of MANN models that emerged as a hot topic in deep learning field and present the latest techniques and future research that utilize MANN.

• Korean Journal of Applied Biomechanics
• /
• v.18 no.1
• /
• pp.117-127
• /
• 2008

The purpose of this study was to investigate the relationship between research of mechanical friction and Taekwondo kick performance. For this a Taekwondo kick performance test, A.F.T.S.(Automated Footwear Testing System) and survey about fitting was used. There was a statistically significant difference between all the Taekwondo shoe types. While performing the roundhouse kick there were statistically significant differences in the peak free moment(p=.01) and peak plantar pressure between type A and B. Comfort testing revealed that there were statistically significant difference between type A and B in the five comfort variables tested but not between type B and Type C. There was statistically significant differences between each of the Taekwondo shoes but there was no relationship between the performance and the results of the survey.

• 한국HCI학회:학술대회논문집
• /
• 2008.02a
• /
• pp.534-539
• /
• 2008

This paper is about intelligent hexapod robot for the support walking of the aged person. The robot using various sensors and small camera has various abilities of forward backward walking, turing left or right, control the speed of walking, avoiding the obstacles and detecting risky situation of fire or gas. To let the aged feel soft and safe walking, we used special servo motor and developed hexapod walking mechanism and effective algorithm.

• Journal of Educational Research in Mathematics
• /
• v.23 no.2
• /
• pp.269-284
• /
• 2013

The aim of this paper is to explore and understand, using in-depth interviews, the participant's motivation for becoming a math teacher, ways of dealing with university math knowledge and private tutoring experiences. In addition a larger aim is to understand how the individual's interest in mathematics and turing are linked to his/her larger personal tendencies contrasting secondary and university math learning. In-depth interviews were conducted with 6 pre-service teachers' subjective experiences focusing on motivation and feelings on mathematical knowledge and private tutoring. The output of this research consists of 3 cases, highlighting and conceptually developing the specific aspects under study; different ways in which individuals' involvement with the math learning and tutoring that might be connected with the ways of becoming teachers. Larger aspects of pre-service teachers' subjective experiences were sketched by contrasting the inner aspects of the individuals. Several suggestions were presented at the end with the possible research directions for math education.

• KIPS Transactions on Computer and Communication Systems
• /
• v.2 no.5
• /
• pp.217-222
• /
• 2013

Return-Oriented Programming(ROP) is an advanced code-reuse attack like a return-to-libc attack. ROP attacks combine gadgets in program code area and make functions like a Turing-complete language. Some of previous defense methods against ROP attacks show high performance overhead because of dynamic execution flow analysis and can defend against only certain types of ROP attacks. In this paper, we propose Indirect Branch Target Address Verification (IBTAV). IBTAV detects ROP attacks by checking if target addresses of indirect branches are valid. IBTAV can defends against almost all ROP attacks because it verifies a target address of every indirect branch instruction. Since IBTAV does not require dynamic execution flow analysis, the performance overhead of IBTAV is relatively low. Our evaluation of IBTAV on SPEC CPU 2006 shows less than 15% performance overhead.

• Journal of Astronomy and Space Sciences
• /
• v.25 no.1
• /
• pp.1-18
• /
• 2008

We present a detailed period analysis for the F-type primary of ${\in}$ Aurigae by means of Fourier and wavelet algorithm. After collecting all available data which have been observed for around 160 years (1842 - 2006) from various international databases and published references we selected only data obtained during outside eclipse among them again. As a result of analysis using CLEANest and WWZ(weighted wavelet Z-transform) several frequencies including two clear periods ($67^d\;and\;123^d$) were found. In contrast to previous results that the periods vary irregularly it seems that the primary of ${\in}$ Aurigae is double mode or multiperiodic pulsator. The presence of the two periods and their ratio indicates that the high-mass interpretation of the variable could be valid. Also better understanding of the mechanisms driving the light variability of F-type supergiant stars requires continual series of photometric and radial velocity measurements in outside eclipse of this star.

• Korean Journal of Applied Biomechanics
• /
• v.16 no.3
• /
• pp.43-51
• /
• 2006

The purpose of this study was to analyze kinematic variables during turing back kick motion of Taekwondo. The subjects of this study were the 4 skilled and 4 unskilled of male university player in respectively. The experiment of this study was used two 16mm high speed cameras and its speed 125 frames/s. Analysis of this data was three dimensional cinematography using KWON3D program package. The results were as following; 1. In the elapsed time, there was no significance difference statically between a skilled and unskilled group. But skilled group was more fast during the motion of I phase. And unskilled group was more fast during the motion of II phase so called force production section, which had an influence on Diechagi's velocity. 2. In the center of gravity of human body, the changing of it was $1.10{\pm}0.04m$, $1.12{\pm}0.03m$ of LFM(left foot movement) and $1.36{\pm}0.08m$, $1.39{\pm}0.09m$ of RKF(right knee flection), and $1.44{\pm}0.08m$, $1.42{\pm}0.09m$ of RFI(right foot impact). There was no significance difference statically between the two groups. 3. The velocity of heel on impact was 1.13m/s in the skilled group and 1.23m/s in the unskilled group, when each angle of knee was $110.4{\pm}10.9deg/s$, $114.8{\pm}28.4deg/s$. The maximum velocity of each performance was reached before the RKF, and the velocity and angle at impact along by two groups did not show any significant difference statically. 4. In the angular velocity of just RKF of lower leg, there was significance difference statically between the two groups(p<.05).

• Korean Journal of Logic
• /
• v.8 no.2
• /
• pp.3-32
• /
• 2005

Hilbert's rational ambition to establish consistency in Number theory and mathematics in general was frustrated by the fact that the statement itself claiming consistency is undecidable within its formal system by $G\ddot{o}del's$ second theorem. Hilbert's optimism that a mathematician should not say "Ignorabimus" ("We don't know") in any mathematical problem also collapses, due to the presence of a undecidable statement that is neither provable nor refutable. The failure of his program receives more shock, because his system excludes any ambiguity and is based on only mechanical operations concerning signs and strings of signs. Above all, $G\ddot{o}del's$ theorem demonstrates the limits of formalization. Now, the notion of provability in the dimension of syntax comes to have priority over that of semantic truth in mathematics. In spite of his failure, the notion of algorithm(mechanical processe) made a direct contribution to the emergence of programming languages. Consequently, we believe that his program is failure, but a great one.

• Convergence Security Journal
• /
• v.11 no.6
• /
• pp.9-15
• /
• 2011

It is difficult to identify attack requests from normal ones when those attacks are based on CSRF which enables an attacker transmit fabricated requests of a trusted user to the website. For the protection against the CSRF, there have been a lot of research efforts including secret token, custom header, proxy, policy model, CAPTCHA, and user reauthentication. There remains, however, incapacitating means and CAPTCHA and user reauthentication incur user inconvenience. In this paper, we propose a method to detect CSRF attacks by analyzing the structure of websites and the usage patterns. Potential victim candidates are selected and website usage patterns according to the structure and usage logs are analyzed. CSRF attacks can be detected by identifying normal usage patterns. Also, the proposed method does not damage users' convenience not like CAPTCHA by requiring user intervention only in case of detecting abnormal requests.

• Journal of the Korean Institute of Telematics and Electronics D
• /
• v.36D no.12
• /
• pp.43-52
• /
• 1999

We propose a new method for tuning of center wavelength in photorefractive filter using $LiNbO_3$ crystal doped with 0.015Wt.% Fe. through the filter bandwidth property analysis using the geometrical method, a new wavelength selectivity theory was presented. In this scheme, the tuning of the center wavelength can be achieved by the real time incident angle control of the received heam, which was gotten by the spatial light modulator. So, tuning time depend on the response time of the SLM and results in the high speed turing. Because the use of thermally fixed grating in our filter, it has uniform diffraction property to the all filtering wavelength. Designed tunable filter has 4nm bandwidth and composed of the three channel with 10nm space. From the optical experiment, we get the 4.5nm, 4.25nm, 4nm bandwidth and 1530.5nm, 1540.5nm, 1549.5nm center wavelength respectively.