• Journal of Sensor Science and Technology
• /
• v.12 no.2
• /
• pp.88-94
• /
• 2003

Electromyogram (EMG) is the bioelectric signal induced by motor nerves. Analyzing EMG with the movement produced by muscle contraction, we can provide input commands to a computer as a man-machine interface as well as can evaluate the patient's motional abnormality. In this paper, we developed an integrated miniaturized device which acquires and transmits the surface EMG of an interested muscle. Developed system measures $60{\times}40{\times}25mm$, weighs 100g. Using an amplifier circuitry on the electrodes and the radio frequency transmission, the developed system dispenses with the use of cables among the electrodes, amplifier, and the post processing system (personal computer). The wiring used in conventional systems can be obstacle for natural motion and source of motion artifacts. In results, the developed system improves not only the signal-to-noise ration in dynamic EMG measurement, but also the user convenience. We propose a new human-computer interface as well as a dynamic EMG measurement system as a possible application of the developed system.

• Journal of the Korea Society of Computer and Information
• /
• v.11 no.1 s.39
• /
• pp.107-117
• /
• 2006

Java language creates class files through Java compiler. Class files include informations involved with achievement of program. We can do analysis and optimization for efficient codes by analyzing class files. This paper analyzes bytecodes using informations of Java class files. We translate stack-based Java bytecodes into 3-address codes. Then we translate into static single assignment form using the 3-address codes. Static single assignment form provides a compact representation of a variable's definition-use information. Static single assignment form is often used as an intermediate representation during code optimization. Static sing1e assignment form renames each occurrence of a variable such that each variable is defined only once.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.13 no.4
• /
• pp.142-151
• /
• 1999

Linear Pulse Motors (LPM) are used a field where SImOth linear motion is required, and it's position accuracy higher than that of a lead According to the advanUlge such as simplicity of rrechanical frarre, high reliability, precise open-loop operation, low inertia etc. LPM is awlied largely where it have made motor of this kind more and rmre attractive in many application areas such as factory automation and high speed positioning. This paper is researched to analyze for force characteristics of hybrid LPM with high accuracy and repeatability. Both the thrust and normal force are very sensitive to the airgap and tooth pitches of the forcer and platen. Here, the thrust shows a high content while the normal force is much higher than the thrust. For magnetic circuits of hybrid LPM is the complicated structure, the finite element rrethod (FEM) is employed with suitable rrethod for calculating the force. Therefore, both the virtual work principle and maxwell stress tensor have been used.n used.

• Journal of KIISE:Software and Applications
• /
• v.31 no.7
• /
• pp.849-858
• /
• 2004

Most of supervised teaming algorithms could be applied after that continuous variables are transformed to categorical ones at the preprocessing stage in order to avoid the difficulty of processing continuous variables. This preprocessing stage is called global discretization, uses the class distribution list called bins. But, when data are large and the range of the variable to be discretized is very large, many sorting and merging should be performed to produce a single bin because most of global discretization methods need a single bin. Also, if new data are added, they have to perform discretization from scratch to construct categories influenced by the data because the existing methods perform discretization in batch mode. This paper proposes a method that extracts sample points and performs discretization from these sample points in order to solve these problems. Because the approach in this paper does not require merging for producing a single bin, it is efficient when large data are needed to be discretized. In this study, an experiment using real and synthetic datasets was made to compare the proposed method with an existing one.

• Journal of the Institute of Convergence Signal Processing
• /
• v.18 no.2
• /
• pp.31-36
• /
• 2017

This study aims to develop an BCI speller utilizing eye-closed and double-blinking EEG based on asynchronous mechanism. The proposed system comprised a signal processing module and a graphical user interface (virtual keyboard-VK) with 26 English characters plus a special symbol. A detected "eye-closed" event induces the "select" command, whereas a "double-blinking" (DB) event functions the "undo" command. A three-class support vector machine (SVM) classifier involving EEG signal analysis of three groups of events ("eye-open"-idle state, "eye-closed", and "double -blinking") is proposed. The results showed that the proposed BCI could achieve an overall accuracy of 92.6% and a spelling rate of 5 letters/min on average. Overall, this study showed an improvement of accuracy and the spelling rate resulting from in the feasibility and reliability of implementing a real-world BCI speller.

• Journal of Elementary Mathematics Education in Korea
• /
• v.16 no.1
• /
• pp.145-166
• /
• 2012

The objective of this study is to analyze the cases related to the lingual and non-lingual metaphors used in the math class at elementary school and consider the values of metaphors as a teaching method for the subject of mathematics. Throughout this study, teachers' gestures are analyzed as lingual and non-lingual metaphors shown between teachers and students in the class for the topic of the inverse proportion in quartic equations for direct and inverse proportions in Chapter 7 for the first semester of the 6th grade at elementary school in terms of the amended curriculum for the year of 2007. According to the results of the analysis, it can be concluded that there are mechanical and hypothetical movement metaphors in the mathematical metaphors observed in this study. Also, in terms of gestures, iconic, metaphoric and deixis gestures are found. Such metaphors seem to be evenly distributed throughout the math class and expressed in various forms. Based on the results of the analysis, the educational meaning given by the utilization of metaphors is considered for the math class.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.31 no.7
• /
• pp.41-52
• /
• 2003

In this paper, three-dimensional thermo-mechanical properties of carbon-phenolic 8-hamess satin weave composites were predicted considering geometric parameters of microstructures. The effective properties were calculated by a series of numerical experiments based on unit cell analysis. The microstructural details were modeled through macro-elements, and the periodic boundary conditions were derived for corresponding un it cell types. The Monte Carlo method was employed to consider the random phase shift between the layers, and the results were investigated on the effect of the geometric parameters of shift, number of layers and waviness ratios. Experimental tests were also performed and the results were compared.

• Journal of Intelligence and Information Systems
• /
• v.18 no.2
• /
• pp.1-17
• /
• 2012

The Smartphone, one of essential mobile devices widely used recently, can be very effectively applied to capture knowledge on the spot by jointly applying the pervasive functionality of cloud computing. The process of knowledge capturing can be also effectively automated if the topic of knowledge is automatically identified. Therefore, this paper suggests an interdisciplinary approach to automatically acquire knowledge on the spot by combining technologies of text mining-based topic identification and cloud computing-based Smartphone. The Smartphone is used not only as the recorder to record knowledge possessor's dialogue which plays the role of the knowledge source, but also as the sensor to collect knowledge possessor's context data which characterize specific situations surrounding him or her. The support vector machine, one of well-known outperforming text mining algorithms, is applied to extract the topic of knowledge. By relating the topic and context data, a business rule can be formulated, and by aggregating the rule, the topic, context data, and the dictated dialogue, a set of knowledge is automatically acquired.

• Journal of KIISE:Computing Practices and Letters
• /
• v.8 no.3
• /
• pp.356-365
• /
• 2002

Test systems verify and classify the various kinds of semiconductor products. So test systems need programs that can test the various special functions of hardware modules and products. Programs can be modified, compiled and executed by engineers. Consequently, the systems needs programming languages that can be easily programmed by engineers and their compilers that can compile and execute teat programs. In this paper we discuss the environment of programming languages and their compilers for the existing domestic teat systems. We design a programming language and implement its compiler that can be conveniently used by the experienced engineers in the industry field. Experimental results show that a newly designed test system with our programming language and compiler can teat products faster than the existing test system.

• Journal of Internet Computing and Services
• /
• v.17 no.6
• /
• pp.103-111
• /
• 2016

Offloading tasks from mobile devices to available cloud servers were improved since the introduction of the cloudlet. With the implementation of dynamic offloading algorithms, mobile devices can choose the appropriate server for the set of tasks. However, current task distribution approaches do not consider the number of VM, which can be a critical factor in the decision making. This paper proposes a dynamic task distribution on clustered data centers. A proportional VM migration approach is also proposed, where it migrates virtual machines to the cloud servers proportionally according to their allocated CPU, in order to prevent overloading of resources in servers. Moreover, we included the resource capacity of each data center in terms of the maximum CPU in order to improve the migration approach in cloud servers. Simulation results show that the proposed mechanism for task distribution greatly improves the overall performance of the system.