• Journal of KIISE:Computer Systems and Theory
• /
• v.35 no.4
• /
• pp.178-185
• /
• 2008

This research presents an translation technique of encoding rewrite rules with patterns into the lambda calculus. We show, following the theory of Böhm separability, rewrite rules with distinctive patterns, called separable systems, can be translated into the lambda calculus. Moreover, according to the property of Böhm equivalence classes, we can also encode rewrite systems with default rules, which allows to interpret some of 'undefined' terms of TRSs as an identified lambda term.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2011.07a
• /
• pp.272-274
• /
• 2011

최근 들어 케이블 방송망을 기반으로 한 디지털 방송, VoIP(Voice over Internet Protocol), VOD(Video on Demand), 영상전화, 이동전화, 무선 랜 로밍 등의 다양한 멀티미디어 서비스의 출현과 향후 도입될 새로운 융합형 멀티미디어 서비스의 수용을 위해 케이블 망의 고도화에 대한 요구가 제기되었다. 특히 유럽을 중심으로 이러한 요구를 만족시키기 위해 DVB(Digital Video Broadcasting)-C2 규격의 개발이 진행되었다. DVB-C2 규격에서는 기존의 게이블 전송 규격인 DVB-C에 대해 30% 이상의 전송 효율을 높이고자 새로운 변조 방식과 채널 오류정정 부호 방식을 도입하였다. 이에 본 논문은 본 논문에서는 DVB-C2 규격에서 도입된 채널 오류정정 부호인 BCH(Bose, Chaudhuri, and Hocquenghem) 부호와 LDPC(Low Density Parity Check) 부호의 연접 방식에 대한 성능을 검증하고자 한다. 이를 위해 개발된 시뮬레이터의 소개와 이를 통한 시험결과를 제시한다.

• Proceedings of the KOSOMBE Conference
• /
• v.1997 no.05
• /
• pp.127-130
• /
• 1997

Phase-contrast(PC) methods have been used for quantitative measurements of velocity and volume flow rate. In addition, phase contrast cine magnetic resonance imaging (MRI) combines the flow dependent contrast of PC MRI with the ability of cardiac cine imaging to produce images throughout the cardiac cycle. In this method, the through-plane velocity has been encoded generally. However, the accuracy of the flow data can be reduced by the effect of flow direction, finite slice thickness, resolution, pulsatile flow pattern, and so on. In this study we calculated the error caused by misalignment of tomographic plane and flow directon. To reduce this error and encode the velocity for more complex flow, we suggested 3 directional velocity encoding method.

• Journal of Integrative Natural Science
• /
• v.4 no.3
• /
• pp.192-196
• /
• 2011

New method to encode multiple photonic features of Bragg type reflector on silicon wafer has been investigated. Multiple bit encodes of distributed Bragg reflector features have been prepared by electrochemical etching of crystalline silicon by using various square wave current densities. Optical characterization of multi-encoding of distributed Bragg reflectors on porous silicon was achieved by Ocean optics 2000 spectrometer for the search of possible applications of multiple bit encoding of distributed Bragg reflectors such as multiplexed assays and chemical sensors. The morphology and cross-sectional structure of multi-encoded distributed Bragg reflectors was investigated by field emission scanning electron micrograph.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.27 no.5
• /
• pp.784-792
• /
• 1990

In this paper, attempts have been made to compare the subjective performance of sub-band coding (SBC) techniques incorporating four representative modulation transfer functions (MTF's) of th human visual system(HVS): Sakrison, Nill, Ngan, and Rao. In SBC, the frequency band of input signal is split into 16 equal sub-bands. In addition, 28 sub-band splitting schemd which splits more sub-bands in low spatial frequency is considered to compare the 4 MTF's effectively. In encoding of each sub-band, the weight of each sub-band obtained from the MTF of HVS is applied to bit allocation process which minimize the weighted mean square error (WMSE). The differential pulse code modulation(DPCM) coder is used to encode the lowest sub-band and the pulse code modulation(PCM) coder is used for the rest of sub-bands. It is found that the images incorporating the MTF of Rao yields the best results in subjective criteria, followed by Ngan, Nill, Sakrison, and the images not employing the HVS.

• Advances in environmental research
• /
• v.3 no.1
• /
• pp.87-106
• /
• 2014

The concern for the global environment ensues researchers from various disciplines to work in collaboration to tackle with the issues of sustainability and environmental conservation for well-being of the people. In this study, we have selected and focused on few basic environment-effecting factors such as temperature, humidity, carbon dioxide and oxygen concentration level and referred them as meteorological data. In this paper, we present the development of our own customized hardware setup, environmental monitoring device (EMD) to obtain the data. Utilizing the relationship among these basic parameters, represented in the form of formulas and equations, we tried to encode them using Matlab programming. Data visualization is achieved by plotting the graphs of basic parameters obtained from EMD as well for the derivatives using Matlab programs.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.1 no.1
• /
• pp.123-129
• /
• 1997

This study is implementation of transmitter signal processing of MF/HF DSC Controller, obliligation system of GMDSS, focused on the technique of processing to encode the distress and general signal of the DSC message. We analyzed recommendation which prescribed frequencies, operational procedures and technical sequence of the DSC and suggested the basic circuit to be materialize the function of a distress alert and general calf of the DSC equipment using Microprocessor, constructed the algorithm of processing a message, programmed it using C language.

• Proceedings of the KIEE Conference
• /
• 1992.07a
• /
• pp.473-475
• /
• 1992

This paper compares performance of neural and fuzzy truck backer-upper control systems. Conventional controllers require a mathematical model of how outputs depend on inputs. Neural and fuzzy control systems offer a key advantage over conventional control systems. They are model-free controllers. Neural networks learn a control process by examples (training samples). Fuzzy systems directly encode designer's experience as IF-THEN rules. For robustness test, we gradually removed training samples for the neural controller, and fuzzy rules for the fuzzy system. The errors increased laster in the neural controller than in the fuzzy system.

• IEIE Transactions on Smart Processing and Computing
• /
• v.5 no.2
• /
• pp.77-84
• /
• 2016

In the field of natural language processing, Universal Networking Language (UNL) has been used by various researchers as an inter-lingual approach to automatic machine translation. The UNL system consists of two main components, namely, EnConverter for converting text from a source language to UNL, and DeConverter for converting from UNL to a target language. Currently, many projects are researching how to apply UNL to different languages. In this paper, we introduce the tools that are UNL's applications and discuss how to reuse them to encode a Vietnamese sentence into UNL expressions and decode UNL expressions into a Vietnamese sentence. The testing was done with about 1,000 Vietnamese sentences (a dictionary that includes 4573 entries and 3161 rules). In addition, we compare the proportion of sentences translated based on a direct method (Google Translator) and another one based on UNL.

• BMB Reports
• /
• v.45 no.12
• /
• pp.693-699
• /
• 2012

Together with protein tyrosine kinases (PTKs), protein tyrosine phosphatases (PTPs) serve as hallmarks in cellular signal transduction by controlling the reversible phosphorylation of their substrates. The human genome is estimated to encode more than 100 PTPs, which can be divided into eleven sub-groups according to their structural and functional characteristics. All the crystal structures of catalytic domains of sub-groups have been elucidated, enabling us to understand their precise catalytic mechanism and to compare their structures across all sub-groups. In this review, I describe the structure and mechanism of catalytic domains of PTPs in the structural context.