• The Journal of Korean Association of Computer Education
• /
• v.17 no.4
• /
• pp.45-57
• /
• 2014

Many studies on algorithm judging system which verifies the correctness and the time efficiency of your program have been underway recently, most of which are on an online judging system focused on programming contests. However this study is mainly about development and application of the judging system based on client-server. Especially, we designed to promote metacognition and motivation which are emphasized in CRESST model, and implemented the total system that consists of the problem, data set, validation program, and user service environments. We applied our system to elementary, middle, and high school students, and We noticed a significant difference of average score between the experimental and control group in posttest and concluded that the teaching method using our system gave the bigger positive effects on programming learning.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.14 no.6
• /
• pp.457-465
• /
• 2009

Lithium batteries are widely used in mobile electronic devices due to their higher voltage and energy density, lighter weight and longer life cycle compared to other secondary batteries. In particular, high demand for lithium batteries is expected for electric cars. In case of lithium batteries used in electric cars, driving distance must be calculated accurately and discharging should not be done below the level of making it impossible to crank. Therefore, accurate information about state of charge (SOC) becomes an essential element for reliable driving. In this paper, a new method of estimating the SOC of lithium polymer batteries by using AC impedance is proposed. In the proposed method, parameters are extracted by fitting a curve of impedance measured at each frequency on the equivalent impedance model and extracted parameters are used to estimate SOC. Experiments were conducted on lithium polymer batteries with similar capacities made by different manufacturers to prove the validity of the proposed method.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.31 no.6B
• /
• pp.544-550
• /
• 2006

Next-generation wireless/mobile networks are envisioned to have an IP-based infrastructure. One of the research challenges for next-generation all IP-based networks is the design of intelligent mobility management technologies that have a seamless mobility and minimal signaling overhead. Recently, HMIPv6 was proposed by the IETF for efficient mobility management. HMIPv6 reduces the amount of signaling and improves the performance of MIPv6 in terms of handover latency. However the MAP can be a single point of performance bottleneck when there are a lot of local movements. HMIPv6 can cause signaling overhead due to the unnecessary location update of idle mobile nodes. Therefore, in this paper, we propose the dynamic paging Mobile IPv6 that reduces the signaling cost of the unnecessary location updates using IP paging and organizes dynamically optimal MAP area according to user's mobility and traffic. We show performance results that are obtained from the average total location update cost and packet delivery cost.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.32 no.4C
• /
• pp.362-369
• /
• 2007

APSK (Amplitude Phase Shift Keying) digital modulation is characterized by the circular positioning of the transmission symbols in the constellation diagram. Due to such structural characteristics, the peak-to-average power ratio of the APSK modulation is lower than that of the QAM (Quadrature Amplitude Modulation), and the amount of performance degradation over nonlinear channels can be mitigated. The APSK modulation scheme has recently been adopted as satellite communication system standards including the DVB-S2 (Digital Video Broadcasting - Satellite, Version 2). In this paper, a BER (Bit Error Rate) upper bound approximation formula is derived using the channel model with the output power saturation characteristics, and its accuracy is demonstrated. Using the derived formula, the input power level that minimizes the BER is determined. The optimized performance based on the radii ratio of the 16APSK constellation and the channel saturation level is also presented.

• KSBB Journal
• /
• v.13 no.1
• /
• pp.96-100
• /
• 1998

Two promoters (trc and P$\rho$) were inserted in PHA operon derived from Alcaligenes eutrophus to obtain high chain molecules of polyhydroxybutyrate (PHB) in recombinant Escherichia coli. Newly designed PHA operon was used to control the gene expressions of hydroxybutyric CoA and PHA polymerization, separately. Plasmids containing new synthetic operon was transformed into E. coli DH5$\alpha$ and analyzed for PHB production. Without induction of the PHA biosynthetic operon, PHA synthase which has low activity might supply low concentration of initiator during the polymerization reaction, resulting very high molecular weight of polymer. An increase of PHB average molecular weight was observed with decreased IPTG (isopropyl $\beta$ -Dithiogalactosidase) concentration. When no IPTG was added to the culture of E. coli DH5$\alpha$ /$\rho$ SJS1 which contained two promoters in PHA operon, high chain polymer having an average molecular weight of $2.5{\times}10^7$ was achieved. Analysis of the enzyme activities of PHA biosynthetic enzymes suggests that PHA synthase, the enzyme responsible for polymerizing 3-hydroxybutyric CoA, controls the molecular weight of PHB produced in vivo.

• Journal of the Korean Data and Information Science Society
• /
• v.26 no.3
• /
• pp.631-638
• /
• 2015

In this paper, we configured the panel data of four years using the information of Higher Education In Korea (2010~2013) and studied the influence of tuition and scholarships on the stop-out rate of national university and private university separately through a panel analysis. Three models are implemented considering various variables suck as faculty-student ratios, employment rate, per pupil expenditure, average tuition, and per pupil scholarship. This study showed that the lower net tuition and the higher per pupil off-campus scholarship lowered the stop-out rate at national universities and the lower tuition and the higher per pupil scholarship lowered the stop-out rate at private universities.

• Journal of the Korea Convergence Society
• /
• v.8 no.5
• /
• pp.1-11
• /
• 2017

With a given spring-mass-damper system, $H_{\infty}$ and ${\mu}$-synthesis control methods are used to build system controllers which minimize vibrations at two major natural frequencies in two cases; without uncertainty; with 20% uncertainty. In order to check the stability and performance of two controllers, those are examined using GM and PM values. The signal strength of output responses is compared using the concept of central numerical differentiation and then results are quantified using the RMS method. Lastly, 40 random samples of $H_{\infty}$ and ${\mu}$-synthesis controllers are obtained for three different $W_{per\;f1}$ weighting functions and drawn in the time domain in order to compare the stability. Overall, ${\mu}$-synthesis controller manages the vibrations much better than $H_{\infty}$ controller according to the robust stability and performance values obtained by simulating random samples of 40 plant models.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.46 no.7
• /
• pp.6-12
• /
• 2009

In this paper, we propose the opportunistic channel state information feedback scheme for eigen based scheduling in multiuser MIMO systems. According to 3GPP SMC channel model, the system capacity of MU-MIMO systems is severly degraded, since the antennas are highly correlated in urban macro cell. Although the eigen based scheduling scheme mitigates the adverse effect of the antenna correlation, it achieves only small amount of the multiuser diversity gain. Since the opportunistic channel state information scheme can achieve sufficient multiuser diversity gain, the system capacity of MU-MIMO systems can be improved. The system capacity improvement is verified by the computer simulation results.

• Journal of IKEEE
• /
• v.1 no.1 s.1
• /
• pp.101-110
• /
• 1997

SVLIW processor architectures can resolve resource collisions and data dependencies between the instructions while scheduling VLIW instructions at run-time. As a result, long NOP word instructions can be removed from the object code produced for the processor. Thus, the occurrence of cache misses on the SVLIW processor would be lesser than that on the same cache size VLIW processor. Less frequent cache misses on the SVLIW processor would incur less frequent memory access, and thus, the total execution cycles to complete an application would be shortened compared with cases on the VLIW processor. Such a feature eventually compromises effects of longer instruction pipeline stages than those of the VLIW processor. In this paper, we formulate and compare two execution cycle models of the two architectures. A simulation results show that the longer memory access cycles when cache miss occurs, the total execution cycles of SVLIW processor would be shorter than those of VLIW processor.

• Journal of IKEEE
• /
• v.2 no.2 s.3
• /
• pp.185-193
• /
• 1998

Fractal-based monochrome image coding method can be easily applied for color image compression by splitting the color image into different primary spectral channels such as RGB, YIQ or $YC_bC_r$, and encoding each channel independently According to this method, it needs to repeat the fractal coding for each channel, so it have the problem of encoding time. In this paper, a fractal-based coder for color still image is proposed which features the enhancement of compression rate and the reduction of coding time. As the result of the experiment where the proposed algorithm is applied far color images, the compression rate is enhanced by 28 : 1 above with average PSNR value $28{\sim}29[dB]$, do not lossless encoding process using JPEG. And the encoding time is reduced by maximum 11.5 %.