• The KIPS Transactions:PartA
• /
• v.15A no.2
• /
• pp.87-94
• /
• 2008

Message races should be detected for debugging effectively message-passing programs because they can cause non-deterministic executions of a program. Previous tools for detecting message races report that message races occur in every receive operation which is expected to receive any messages. However message races might not occur in the receive operation if each of messages is transmitted through a different logical communication channel so that their incorrect detection makes it a difficult task for programmers to debug programs. In this paper we suggest a tool, MPIRace-Check, which can exactly detect message races by checking the concurrency between send/receive operations, and by inspecting the logical communication channels of the messages. To detect message races, this tool uses the vector timestamp to check if send and receive operations are concurrent during an execution of a program and it also uses the message envelop to inspect if the logical communication channels of transmitted messages are the same. In our experiment, we show that our tool can exactly detect message races with efficiency using MPI_RTED and a benchmark program. By detecting message races exactly, therefore, our tool enables programmers to develop reliable parallel programs reducing the burden of debugging.

• Journal of the Korean Institute of Electrical and Electronic Material Engineers
• /
• v.16 no.4
• /
• pp.292-297
• /
• 2003

We fabricated a single crystal silicon thin film transistor for active matrix organic light emitting displays(AMOLEDs) using silicon on insulator wafer (SOI wafer). Poly crystal silicon thin film transistor(poly-Si TFT) Is actively researched and developed nowsdays for a pixel switching devices of AMOLEDs. However, poly-Si TFT has some disadvantages such as high off-state leakage currents and low field-effect mobility due to a trap of grain boundary in active channel. While single crystal silicon TFT has many advantages such as high field effect mobility, low off-state leakage currents, low power consumption because of the low threshold voltage and simultaneous integration of driving ICs on a substrate. In our experiment, we compared the property of poly-Si TFT with that of SOI TFT. Poly-Si TFT exhibited a field effect mobility of 34 $\textrm{cm}^2$/Vs, an off-state leakage current of about l${\times}$10$\^$-9/ A at the gate voltage of 10 V, a subthreshold slope of 0.5 V/dec and on/off ratio of 10$\^$-4/, a threshold voltage of 7.8 V. Otherwise, single crystal silicon TFT on SOI wafer exhibited a field effect mobility of 750 $\textrm{cm}^2$/Vs, an off-state leakage current of about 1${\times}$10$\^$-10/ A at the gate voltage of 10 V, a subthreshold slope of 0.59 V/dec and on/off ratio of 10$\^$7/, a threshold voltage of 6.75 V. So, we observed that the properties of single crystal silicon TFT using SOI wafer are better than those of Poly Si TFT. For the pixel driver in AMOLEDs, the best suitable pixel driver is single crystal silicon TFT using SOI wafer.

• The Journal of the Acoustical Society of Korea
• /
• v.31 no.1
• /
• pp.1-10
• /
• 2012

The linear and decision-feedback equalization can mitigate time-varying intersymbol interference (ISI) caused by time-varying multipath propagation for underwater acoustic channels. The perfect elimination of interference components, however, is difficult using the linear equalization and the decision feedback equalizer has an error propagation problem. To overcome these shortcomings, this paper proposes an equalizer mode selection method using training sequences. The proposed method selects an equalization mode corresponding to the signal-to-noise ratio (SNR). If the SNR is low, the proposed system operates the linear equalizer for preventing the error propagation and if the SNR is high, the decision feedback equalizer for eliminating the residual ISI. Therefore, the proposed method can improve the error performance compared to the conventional equalizers. The computer simulation shows the proposed method improves the bit error performance using practical underwater channels responses acquired from the sea experiment.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.48 no.4
• /
• pp.102-107
• /
• 2011

In this paper, a microfluidic array biochip for simultaneously detecting multiple antigen-antibody bindings was designed and implemented. The biochip has the single channel in which microreaction chambers are serially connected, and the antibody-coated microbeads are packed in each microreaction chamber. In addition, the weir structure was fabricated in the microchannel using the gray-scale photolithography in order to trap the microbeads in the microreaction chamber. Three kinds of antibodies were chosen, and the antibodies were immobilized onto the microbeads by the streptavidin-biotin conjugation. In the experiment, as the fluorescence-labeled antigens were injected into the microchannel, the antigen-antibody bindings were completed in 10 minutes. When the solution with multiple antigens was injected into the microchannel, it was observed that the fluorescence intensity increased in only the corresponding microreaction chambers with few non-specific binding. The microfluidic array biochip implemented in this study provides, even with the consumption of tiny amount of sample and fast reaction time to simultaneously detect multiple immunoreactions.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.15 no.4
• /
• pp.159-166
• /
• 2020

The IBC (Intra-Body Communication) benefits from a wireless communication system for exchanging various kinds of digital information through wearable electronic devices and sensors. The IBC using the human body as the transmission channel allows wireless communication without the transmitting radio frequency waves to the air. This paper discusses the results of experiments on electrostatic coupling IBC based on FSK (Frequency Shift Keying) and 1 bit error correction. We implemented FSK communication and 1 bit error correction algorithm using the MCU boards and aluminum tape electrodes. The transmitter modulates digital data using 50% duty square wave as carrier signal and transmits data through human body. The receiver performs ADC (Analog to Digital Conversion) on carrier signal from human body. In order to figure out the frequency of carrier signal from ADC results, we applied zero-crossing algorithm which is used to detect the edge characteristic in computer vision. Experiment results shows that digital data modulated as square wave can be successfully transmitted through human body by applying the proposed architecture of a 1ch GPIO as a transmitter and 1ch ADC for as a receiver. Also, this paper proposes 1 bit error correction technique for reliable IBC. This technique performs error correction by utilizing the feature that carrier signal has 50% duty ratio. When 1 bit error correction technique is applied, the byte error rate at receiver side is improved around 3.5% compared to that not applied.

• Journal of Digital Contents Society
• /
• v.16 no.5
• /
• pp.775-781
• /
• 2015

EBS started 2HD MMS experimental broadcasting for the first time in Korea on Feb. 11, 2015. It uses the picture compression technique based on MPEG-2 CODEC, and applies the result of the experiment about variable bit rates and changes according to the scanning types, 1080i and 720p. But when changing channels, the delay in displaying picture occurs because of the operation of the variable GOP on MMS broadcasting, which optimizes image quality by application variable bit rates. In this study, verified the relationship between the decoding time of I frames and the GOP set in the encoding step by experimenting and analyzing ON-AIR TS. By using the verification data and adjusts the Encoder GOP parameters, improved the different video display time delays according to the scanning mode 1080i and 720p.

• Journal of Korea Water Resources Association
• /
• v.43 no.4
• /
• pp.399-408
• /
• 2010

The sensitivity of Nash model parameters is analyzed about characteristic velocities considering geomorphological dispersion in the present study. And changing shape of IUH compared and analyzed as variation of characteristic velocities through numerical experiment. Application watersheds are selected 4 subwatersheds which are located at main stream of Bocheong basin. The mean and variance of hillslope and stream path length are estimated in each watershed with GIS. And Nash model parameters are estimated with moments of path lengths and characteristic velocities. The changing trend about IUH which is derived Nash model parameters are compared as variation of characteristic velocities. The Major results of this study are summarized as follows. The Nash model parameters sensitively present changes about hillslope characteristic velocity. And the effect of the peak discharge and shape of recession in IUH dominate with hillslope's characteristic velocity, the effect of the peak time and shape of ascension in IUH dominate with channel's characteristic velocity.

• Journal of the Korean Society for Precision Engineering
• /
• v.29 no.2
• /
• pp.214-221
• /
• 2012

Recently, the biochip which is a prime representation of NT, IT, BT, as an example of convergence technology, has been frequently mentioned. With the recent rapid advance in biotechnology, these compact devices, such as lab-on-a-chip or u-TAS, have been developed, and more research is needed. These compact devices typically use the micro-channel in order to shed or detach and mix a variety of materials. Specially, in micro-fluidic systems, a mixer is necessary to produce a mixture because only laminar flow occurs at a low-Reynolds number. To solve this problem, HVM a micromixer that induces a horizontal and vertical multi-mixing flow motion, is proposed. The mixing performance was analyzed and verified by optimizing the shape through the CFD analysis and evaluating the structural analysis and the soundness with material properties that are obtained through the basic experiment.

• Journal of the Korean GEO-environmental Society
• /
• v.11 no.2
• /
• pp.43-52
• /
• 2010

Shield method is the tunnel boring method that propels a steel cylinder in the ground and excavates tunnels at once. After Marc Isambard Brunel started using the method for the Thames Riverbed Tunnel excavation in London, many kinds of TBM (Tunnel Boring Machine) developed and applied for the construction of road, railway, electricity channel, pipeline, etc. In comparison with NATM concept that allows to observe ground condition and copes with difficulty. The machine selected before starting construction is not able to be changed during construction in shield TBM. Therefore the machine should be designed based on the ground survey result and experiment, so that the tunnel might be excavated effectively by controlling penetration speed, excavation depth and cutter head speed according to the ground condition change. This research was conducted to estimate penetration depth, excavate speed, wear of disc cutter on Boondang Railway of the Han Riverbed Tunnel ground condition by TBM performance prediction models such as NTNU, $Q_{TBM}$, Total Hardness, KICT-SNU and compare the estimated value with the field data. The estimation method is also used to analyze the reason of poor excavation efficiency at south bound tunnel.

• Journal of Environmental Science International
• /
• v.1 no.1
• /
• pp.1.2-9
• /
• 1992

We investigated the depth profiles of heavy metals in the surface sediments at Haedong reservoir in Pusan. Sampling was done at the intervals of 50 m of drift along the water channel into the reservoir. All samples were analyzed with an ICP-AES. We determined the content of Zn, Pb, Cd, Mn, Cu, Cr, and Fe. The overall mean content of these heavy metals were observed to $(2.9{\pm}1.2){\times}10^{-3}$, $(1.3{\pm}0.7){\times}10^{-3}$, $(1.9{\pm}2.1){\times}10^{-4}$ $(2.3{\pm}1.1){\times}10^{-2}$ $(1.6{\pm}1.0){\times}10{-3}$, and $(4.5{\pm}2.6){\times}10^{-4}$ ppm/ppm Fe, recpectively excluding iron data. Mean contents of Cu show an increasing trend toward the surface of sediments, while those of U show a decreasing trend, and those of Pb and Cr are relatively stable. Comparing with the contents of heavy metals in soils at two sites of Kumjeong mountain, enrichment factors of heavy metals in the surface sediments were determined. Among heavy metals we investigated, copper showed the largest value of enrichment factor. Considering the maximum content of heavy metals in the surface sediment, the values of enrichment factors of Cu, Cd and Cr were significant which were n, 8.1 and 4.0, respectively. In leaching experiment, it appeared that Pb, Cd, Cr, and Fe in sediments were hardly leached out into water. We also examined the effect of pH on the content of heavy metals.