• Proceedings of the Korea Contents Association Conference
• /
• 2003.05a
• /
• pp.245-250
• /
• 2003

Of all wireless technologies for personal communications, CDMA(Code Devision Multiple Access) offers the best combination of good signal quality, high security and system reliability. CDMA2000 provides Internet and internet services for variable multimedia aplications. However, good educational CDMA web contents, which focus on the easy understability and good readability, are rare dute to the difficulties and the broad range of CDMA technologies. This content is developed based upon the following two aspects. First, a basic CDMA communication theoy, which contains much color figures and animation, is introduced combing the experimental results and corresponding explanations utilizing the information obtained by the TIMS CDMA equitments. It can improve the understabiliy virtual experience of the site visitors interested in the CDMA. Secondly, the recent CDMA coverage prediction and engineering technology is introduced using the RF plan tool C24 combined for the CDMA engineers

• Journal of IKEEE
• /
• v.19 no.3
• /
• pp.431-439
• /
• 2015

This paper introduces analysis technique and test procedure for verifying the reliability of the multi-function radar software. Also the process of software development and reliability test method for reducing the development period are described. Test results show that the verified software has reduced errors and improved reliability compared to the unverified software.

• The Journal of the Korean life insurance medical association
• /
• v.26
• /
• pp.41-53
• /
• 2007

In the course of insurance claim administration, medical experts' opinions are called medical claim reviews. They are classified into two main categories: medical verification and counsel for claim staff. Medical verification compare between product coverage and the insured's physical condition. Medical counsel for claim staff is advice for claim staff when they have a question about medical knowledge to make a claim decision. A common example of medical verification is insurance coding of pituitary apoplexy. Some clinicians have insisted that the ICD coding of pituitary apoplexy is l63 of cerebral infarction, but the exclusion criteria of I code show that neoplasm is coded as C00 to D48. Thus, pituitary apoplexy must be coded as D33. An example of medical counsel for claim staff is interpretation of some medical conditions. It is divided into UCR(usual, customary, and reasonable) assessment, assessment of causality, and so on. Disability evaluation is another subject of medical counsel for claim staff. The final claim decision must be made by claim staff because only the claim staff have the authority of claim decision. Medical claims review is only an expert's opinion.

• Annual Conference of KIPS
• /
• 2016.04a
• /
• pp.311-314
• /
• 2016

본 논문에서는 가상네트워크를 활용하여 네트워크를 통해 악성행위를 하는 악성코드에 대한 동적 분석 결과 중 네트워크 발현율을 보다 향상시키고자 한다. 제우스 봇(Zeus Bot)의 특징과 네트워크 행위에 대하여 이해하고 봇(Bot)이 원하는 응답패킷(Response Packet)을 가상네트워크를 통해 제공함으로써 일반 동적 분석시 발현되지 않는 악성 행위를 발현시키고 네트워크 발현율을 보다 향상시킨다. 최종적으로 코드 커버리지(Code Coverage)를 넓혀 악성코드 유무를 판단, 예방 및 치료 대책을 마련에 기여한다.

• IE interfaces
• /
• v.19 no.1
• /
• pp.1-8
• /
• 2006

The mobile communication network has to offer good quality of services (QoS), high capacity, and more coverage at a lower cost. However, with the increase of cellular user, the shortage of capacity due to unbalanced call distribution and lack of QoS are common. This paper deals with dynamic sectorization for efficient resource management to solve load unbalancing among microcells in CDMA (Code Division Multiple Access) microcellular system. Dynamic load balancing can be effected by grouping micro-cells properly and grouping can be developed through a routing mechanism. Therefore, we use ants and their routes to choose the optimum grouping of micro-cells into sectors using Multiple Ant Colony System (MACS)in this paper.

• Proceedings of the Korean Institute of IIIuminating and Electrical Installation Engineers Conference
• /
• 2003.11a
• /
• pp.349-354
• /
• 2003

Airport facility is infrastructure that become external creditworthiness and linear measure of country competitive power. Among them, receive and supply of electric power facility of airport is very important in peculiarity, trustability, safety side of airport. In this parer, sorted domestic airline as 4 classes by code to accomplish standardization for receive and supply of electric power facility of airport. And established justice and coverage about receive and supply of electric power facility using without any standard present and analyze problem for receive and supply of electric power facility of existing airport and presents standard. Finally, present standard single-line diagram by airport grade and system grade standard of receive and supply of electric power facility of airport.

• Journal of the Korea Convergence Society
• /
• v.11 no.6
• /
• pp.43-49
• /
• 2020

In spite of the notable advancements of millimeter wave communication technologies, the 60 GHz Wi-Fi is still not widespread yet, mainly due to the high limitation of coverage. Conventionally, it has been hardly possible to support a high data rate with fast beam adaptation while keeping atmospheric beamforming coverage. To solve these challenges in the 60 GHz communication system, holistic system designs are considered. we implemented an enhanced design LDPC decoder enabling 6.72 Gbps coded-throughput with minimal implementation loss, and our proposed phase-tracking algorithm guarantees 3.2 dB performance gain at 1 % PER in the case of 16 QAM modulation and LDPC code-rate 3/4.

• The KIPS Transactions:PartA
• /
• v.16A no.4
• /
• pp.245-254
• /
• 2009

With the increasing adoption of embedded processors, the need of developing compilers for the embedded processors with timely manner is also growing. Retargeting has been adopted as a viable approach to constructing new compilers by modifying the back-end of an existing compiler. This paper proposes a test suite generation system for testing retargetable C compilers. The proposed system generates the test suite using the grammar coverage concept. Generally, the size of the test suite satisfying the grammar coverage of the source language is very large. Hence, the proposed system also provides the facility to reduce the size of the test suite. According to the experimental result, the reduced test suite can detect 75% of the compiler faults detected by the original test suite though the size of the reduced test suite is only 10% of that of the original test suite in average. This result indicates that the reduction technique proposed in this paper can be effectively used in the prior phase of the development procedure of the embedded compilers.

• Journal of Broadcast Engineering
• /
• v.15 no.1
• /
• pp.122-132
• /
• 2010

AT-DMB system has been developed to increase data rate up to double of conventional T-DMB in the same bandwidth while maintaining backward compatibility. The AT-DMB system adopted hierarchical modulation which adds BPSK or QPSK signal as enhancement layer to existing DQPSK signal. The enhancement layer signal should be small enough to maintain backward compatibility and to minimize the coverage loss of conventional T-DMB service coverage. But this causes the enhancement layer signal of AT-DMB susceptible to fading effect in transmission channel. A turbo code which has improved error correction capability than convolutional code, is applied to the enhancement layer signal of the AT-DMB system for compensating channel distortion. However there is a need for other solutions for better reception of AT-DMB signal in receiver side without increasing transmitting power. In this paper, we propose adaptive array antenna system with Eigen-space beamforming algorithm which benefits beamforming gain along with diversity gain. We analyzed the reception performances of AT-DMB system in indoor and mobile environments when this new smart antenna system and algorithm is introduced. The computer simulation results are presented along with analysis comments.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.34 no.5
• /
• pp.973-980
• /
• 2024

Fuzzing is an automated testing technique that generates a lot of testcases and monitors for exceptions to test a program. Recently, fuzzing research using machine learning has been actively proposed to solve various problems in the fuzzing process, but a comprehensive evaluation of fuzzing research using machine learning is lacking. In this paper, we analyze recent research that applies machine learning to scheduling techniques for fuzzing, categorizing them into reinforcement learning-based and supervised learning-based fuzzers. We evaluated the coverage performance of the analyzed machine learning-based fuzzers against real-world programs with four different file formats and bug detection performance against the LAVA-M dataset. The results showed that AFL-HIER, which applied seed clustering and seed scheduling with reinforcement learning outperformed in coverage and bug detection. In the case of supervised learning, it showed high coverage on tcpdumps with high code complexity, and its superior bug detection performance when applied to hybrid fuzzing. This research shows that performance of machine learning-based fuzzer is better when both machine learning and additional fuzzing techniques are used to optimize the fuzzing process. Future research is needed on practical and robust machine learning-based fuzzing techniques that can be effectively applied to programs that handle various input formats.