• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10a
• /
• pp.645-648
• /
• 2000

병렬 오류인 메시지경합을 가진 메시지전달 프로그램은 비결정적인 수행결과를 보이므로, 이를 탐지하고 수정하는 것이 어렵다. 기존의 메시지경합 탐지 도구들은 메시지경합에 관련된 간접적인 정보를 제공하는 수준이며, 메시지경합의 원인을 자동으로 탐지하지 못한다. 그리고 탐지과정 중에 부가적인 메시지전달 작업이 발생하며, 대상 프로그램을 수정해야 하는 부담이 있다. 본 논문에서 제안된 탐지 도구는 리눅스 클러스터 시스템을 위한 병렬 프로그램의 메시지경합을 자동으로 탐지하여 직접적인 경합 정보를 제공한다. 그리고 탐지 엔진 부분을 리눅스 커널에 설치함으로써 경합 탐지를 위한 부가적인 메시지전달의 필요성을 제거하고, 대상 프로그램의 수정없이 경합을 탐지할 수 있는 투명성을 제공한다.

• Fire Science and Engineering
• /
• v.22 no.4
• /
• pp.42-49
• /
• 2008

This research is to provide a scheme for an automatic fire alarm system with higher reliability through solving problems of malfunctioning (false or missing fire alarm) and power interruption (result from frequently unwanted activation, etc) of an automatic fire alarm system. A digital control system with microprocessor-based is proposed to reduce the possibility of malfunctioning through a combinational use of heat, smoke and CO sensors. Higher reliability could be achieved by these multiple sensors based fire detection system and fire distinction algorithm. In this research, we implemented actual fire detection system and conducted fire test to verify improvement on reliability.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.664-666
• /
• 2002

침입 탐지 시스템 연구에서 정상 행위와 비정상 행위를 구별하기 위한 방법으로 시스템 콜 시퀀스를 이용하는 방법들이 많이 소개되었다. 그 중에서도 정상적인 시스템 콜 시퀀스를 프로파일링 하는데 있어서 오토마타를 이용하는 방법들이 제안되었다. 그러나 정상적인 시스템 콜 시퀀스의 오토마타를 생성하는데 있어서 수동적으로 생성하는 방법이 대부분이었고, 자동적으로 생성하는 방법도 제안되었다. 본 논문에서는 시스템 콜 시퀀스에 대한 오토마타를 자동으로 생성하는 방법을 제안한다.

• The KIPS Transactions:PartB
• /
• v.16B no.2
• /
• pp.173-180
• /
• 2009

The purpose of developing an automated scoring system for English composition is to score English writing tests and to give diagnostic feedback to the test-takers without human's efforts. The system developed through our research detects grammatical errors of a single sentence on morphological, syntactic and semantic stages, respectively, and those errors are calculated into the final score. The error detecting stages are independent from one another, which causes duplicating the identical errors with different labels at different stages. These duplicated errors become a hindering factor to calculating an accurate score. This paper presents a solution to detecting the duplicated errors and improving an accuracy in calculating the final score by eliminating one of the errors.

• Proceedings of the Acoustical Society of Korea Conference
• /
• spring
• /
• pp.181-184
• /
• 2000

수중신호의 스펙트로그램상에 형성되는 신호 주파수선은 토널의 신호 세기와 바다 자체의 전달 특성 등으로 인하여 미약하게 탐지되거나 불규칙하게 끊어져서 불연속하게 되며 또한 임펄스성의 주변잡음 성분과 혼재하여 어느 토널이 연속적으로 탐지되는지가 모호하게 되는 경우가 많고 정밀하게 신호 성분만을 탐지, 추출하기가 어렵다. 따라서 본 논문에서는 신호 세기가 미약한 경우나 높은 주변잡음이 복합되어 있는 경우에도 정밀하게 신호 성분만을 탐 지, 추출할 수 있는 협대역 다중 주파수선의 자동 탐지 및 추출을 위한 기법을 제안한다. 제안된 알고리즘에 실제 수중표적 신호를 적용하여 제안된 알고리즘이 매우 유용함을 보인다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11c
• /
• pp.1913-1916
• /
• 2003

오용행위와 비정상행위 그리고 알려지지 않은 공격을 탐지하기 위해 필요한 규칙들을 추출하는 방법이 계속 연구되고 있다. 기존의 네트워크 공격에 대한 침입탐지시스템의 탐지 패턴은 전문가의 수작업에 의해 생성되어 왔고, 수정이 필요할 경우 수작업을 필요로 했다. 그러나 네트워크 공격은 매시간 다양화되고 변형되기 때문에 적절한 대응이 필요하다. 본 논문에서는 이같은 문제를 결정트리를 사용하여 네트워크 패킷 내에서 공격형태를 패턴화하여 자동으로 탐지 패턴을 추출하는 방법을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2022.11a
• /
• pp.498-500
• /
• 2022

공공 안전을 위한 영상 감시 시스템이 증가함에 따라 CCTV 관제사가 관제해야 할 영상의 수가 증가하고 있다. 점점 증가하는 관제 영상 수로 인해 CCTV 관제사는 수많은 영상 사이에서 발생하는 살인, 강도, 폭력 등 위급한 이상 상황을 놓치는 문제가 발생할 수 있다. 이러한 문제를 해결하기 위해 최근에는 영상에서 발생하는 이상 상황을 자동으로 탐지하고 CCTV 관제사에게 알려 관제 효율을 향상시키는 연구가 진행되고 있다. 본 논문은 영상에서 발생하는 이상 상황을 자동으로 탐지하기 위해 예측 기반 이상 탐지 방법에 다중 프레임 예측 에러를 활용해서 영상 이상 탐지 정확도를 향상시키는 방법을 제안한다. 결과적으로 제안한 방법을 사용함으로써 프레임 레벨 AUC가 Ped2 데이터 셋에서 92.70%에서 94.56%, Avenue 데이터셋에서 87.37%에서 89.17%로 상승하였다.

• Journal of Korean Society for Geospatial Information Science
• /
• v.11 no.2 s.25
• /
• pp.61-66
• /
• 2003

The change detection using the satellite imagery and airphotos has been carried out in the application of terrain mapping, environment, forestry, facility detection, etc. The low-spatial resolution data such as Landsat, NOAA satellite images is generally used for automatic change detection, while on the other hand the high-spatial resolution data is used for change detection by image interpretation. The research to integrate automatic method with manual change detection through the high-spatial resolution satellite image is performed. but the problem such as shadow, building 'lean' due to perspective geometry and precision geocorrection was found. In this paper we performed change detection using the IKONOS satellite images, and present the concerning problem.

• KIISE Transactions on Computing Practices
• /
• v.22 no.1
• /
• pp.8-19
• /
• 2016

Potholes are caused by the presence of water in the underlying soil structure, which weakens the road pavement by expansion and contraction of water at freezing and thawing temperatures. Recently, automatic pothole detection systems have been studied, such as vibration-based methods and laser scanning methods. However, the vibration-based methods have low detection accuracy and limited detection area. Moreover, the costs for laser scanning-based methods are significantly high. Thus, in this paper, we propose a new pothole detection system using a commercial black-box camera. Normally, the computing power of a commercial black-box camera is limited. Thus, the pothole detection algorithm should be designed to work with the embedded computing environment of a black-box camera. The designed pothole detection algorithm has been tested by implementing in a black-box camera. The experimental results are analyzed with specific evaluation metrics, such as sensitivity and precision. Our studies confirm that the proposed pothole detection system can be utilized to gather pothole information in real-time.

• Journal of KIISE
• /
• v.44 no.2
• /
• pp.171-178
• /
• 2017

In this study, we propose an automated unit test generation technique for detecting vulnerabilities of Android kernel modules. The technique automatically generates unit test drivers/stubs and unit test inputs for each function of Android kernel modules by utilizing dynamic symbolic execution. To reduce false alarms caused by function pointers and missing pre-conditions of automated unit test generation technique, we develop false alarm reduction techniques that match function pointers by utilizing static analysis and generate pre-conditions by utilizing def-use analysis. We showed that the proposed technique could detect all existing vulnerabilities in the three modules of Android kernel 3.4. Also, the false alarm reduction techniques removed 44.9% of false alarms on average.