• Annual Conference on Human and Language Technology
• /
• 2011.10a
• /
• pp.114-116
• /
• 2011

한국어 정보처리에서 널리 사용되는 세종 형태분석 말뭉치는 품사정보와 문장정보 등 다양한 한국어 정보를 포함하고 있다. 이 말뭉치는 방대한 양의 정보들로 구축되었지만 많은 오류 또한 포함되어 있다. 예를 들면 철자 오류, 띄어쓰기 오류, 그리고 품사부착 오류 등이 있다. 하지만 세종말뭉치와 같이 대용량 말뭉치의 오류를 수정하는 것은 많은 인력과 시간이 필요하며 일관성 있게 오류를 수정하는 것은 쉽지 않다. 따라서 본 논문에서는 세종 형태분석 말뭉치에 포함된 오류를 빠르고 일관성 있게 수정하기 위한 오류 수정 도구를 구현하였다. 본 논문에서 수정 대상이 되는 오류는 어절과 형태소 분석 결과의 불일치에 관한 오류만 대상으로 한다. 이를 위해 세종 형태분석 말뭉치를 데이터베이스로 재구축하였으며, 본래의 어절과 품사가 부착된 형태소의 자모를 각각 분리하여 두 자모의 차이점을 분석하여 오류 후보를 선정한다. 오류 후보에서 동일한 오류 패턴을 갖는 모든 오류 후보에 대하여 동일한 방법으로 일관성 있고 빠르게 수정할 수 있다.

• Annual Conference on Human and Language Technology
• /
• 2012.10a
• /
• pp.132-137
• /
• 2012

본 논문에서는 세종형태분석 말뭉치에 포함되어 있는 오류를 효율적으로 수정하기 위하여 오류 수정도구를 개발하였다. 세종형태분석 말뭉치에서 오류를 검출하기 위하여 형태소 생성과 자동 띄어쓰기 방법을 이용하였다. 검출된 오류를 수정하기 위하여 철자 오류 수정, 형태소 삭제 수정, 형태소 삽입 수정, 어절 재분석 방법을 사용하였다. 또한 최대한 반복적인 작업은 수행하지 않도록 설계하였다. 구현된 오류 수정 도구를 통하여 세종형태분석 말뭉치를 수정하였을 경우 텍스트 파일 형태의 말뭉치에서 오류를 수정하는 것보다 최소 9배 이상 빠른 작업이 가능하였으며, 사용자가 오류 수정 작업을 진행할수록 수정 속도가 빨라짐을 실험을 통해서 알 수 있었다.

• Journal of Advanced Marine Engineering and Technology
• /
• v.37 no.2
• /
• pp.227-235
• /
• 2013

The quality of the part-of-speech (POS) annotation in a corpus plays an important role in developing POS taggers. There, however, are several kinds of errors in Korean POS-tagged corpora like Sejong Corpus. Such errors are likely to be various like annotation errors, spelling errors, insertion and/or deletion of unexpected characters. In this paper, we propose a method for detecting annotation errors using error patterns, and also develop a tool for effectively correcting them. Overall, based on the proposed method, we have hand-corrected annotation errors in Sejong POS Tagged Corpus using the developed tool. As the result, it is faster at least 9 times when compared without using any tools. Therefore we have observed that the proposed method is effective for correcting annotation errors in POS-tagged corpus.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.155-158
• /
• 2010

시맨틱 웹 기술을 활용한 OpenAPI 의미 기반 검색 시스템에서 설명정보페이지에 의미정보를 가진 메타데이터를 첨가하기 위해 RDFa 기술을 이용한 태깅을 하였다. 하지만 태깅 시 사람이 수작업을 통해 입력하기 때문에 시간소모가 크고 오류 위험이 높다는 제약사항이 있다. 이러한 제약사항을 해결하기 위해 본 논문에서는 XML/XHTML 편집도구를 이용한 향상된 RDFa 태깅을 제안한다. 이는 속도향상과 오류 감소의 방법으로 XML/XHTML 편집도구에서 제공하는 자동완성 기능을 제안하고 있다. 그리고 자동완성 기능을 사용하기 위해 DTD를 수정하여 적용하였고 수정된 방법을 테스트한 결과 기존의 수동 태깅 기법보다 걸리는 시간이 단축됐고, 오류를 줄일 수 있음이 확인되었다. 결과를 얻을 수 있었다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.11a
• /
• pp.662-664
• /
• 2014

소프트웨어 자산을 효과적으로 유지보수하기 위하여 자산의 어느 부분을 수정할 때 변경에 의해 영향을 받는 부분을 예측하여 필요한 경우 함께 수정하도록 하는 방법이 필요하다. 이러한 변경 영향 분석 방법을 사용하면 개발자는 소프트웨어 자산을 수정할 때 함께 수정해야 할 부분을 수동으로 찾는 노력을 줄일 수 있고, 함께 수정이 필요한 부분을 빠뜨리지 않을 수 있어서 자산 변경 시 발생할 수 있는 오류를 방지할 수 있다. 변경 영향 분석 방법을 기업의 소프트웨어 개발에 실제적으로 적용하기 위해서는 방법을 지원하는 도구가 필수적이다. 하지만 기존 상용도구들을 현업에서 사용할 때 한계가 있어 개발자의 요구사항을 반영한 새로운 변경 영향 분석 도구의 개발이 필요하였다. 본 논문에서는 이러한 도구의 요구사항을 설명하고, 이를 반영하여 개발한 새로운 지원도구를 제안한다. 제안하는 도구는 플래시 메모리 소프트웨어 도메인에 적용되어 검증되었다.

• The Mathematical Education
• /
• v.60 no.1
• /
• pp.61-76
• /
• 2021

The purpose of this study is to analyze the errors and difficulties which pre-service secondary teachers shows during the task modification in consideration of the cognitive demand and to provide significant implications to the pre-service teacher education program related to the modification of the mathematical tasks. In the pursuit of this purpose, tasks were selected from perpendicular bisector units and 24 pre-service teachers were asked to modify the tasks to higher and lower level tasks. After the modification activities, opportunities for reflection and modification were provided. The findings from analysis are as follows. Pre-service teachers had a difficulty to distinguish between PNC tasks and PWC tasks. Also, We identified the interference phenomena that pre-service teachers depended on the apparent elements of the task. Pre-service teachers showed a tendency to overlook the learning objectives and learning hierarchy during the task modification, and to focus on some types of task modification. However, pre-service teachers were able to have meaningful learning opportunities and extend the category of tools to technology including Geogebra through self-reflection and correction activities on task modification. The above results were summed up and we presented the implications to the task modification program in the pre-service secondary teacher education.

• Proceedings of the Korean Society of Fisheries Technology Conference
• /
• 2001.05a
• /
• pp.31-32
• /
• 2001

현재 중층트롤어구의 설계는 CAD프로그램을 이용하여 그리거나, 수작업으로 직접 그리는 방법으로 이루어지고 있으며, 이렇게 설계되는 어구도 새로이 개발되는 것이 아니라, 기존에 사용하던 어구의 설계도를 조금 수정하여 어구제작에 사용하고 있다. 이렇게 개발되는 어구는 설계과정이 매우 번거로우며 많은 시간이 든다. 또한 설계된 어구의 성능이나 수중에서의 어구 형상을 알 수 없으므로 어구설계과정의 오류를 수정할 수 없다. (중략)

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

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

• Journal of Internet Computing and Services
• /
• v.10 no.4
• /
• pp.105-113
• /
• 2009

The feature models are widely used to model the commonalities and variabilities among the products in the domain engineering phase of software product line developments. The findings and corrections of the errors or consistencies in the feature models are essential to the successful software product line engineering. The aids of the automated tools are needed to perform the validation of the feature models effectively. This paper describes the approach based on JESS rule-base system to validate the feature models and proposes the feature model validation tool using this approach. The tool of this paper validates the feature models in real-time when modeling the feature models. Then it provides the information on existence of errors and the explanations on causes of those errors, which allows the feature modeler to create the error-free feature models. This attempt to validate the feature model using the rule-based system is supposed to be the first time in this research field.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.10a
• /
• pp.429-432
• /
• 2016

전통적인 태스팅은 테스트케이스를 만드는데 많은 시간과 비용이 들기 때문에 시기적절한 출시를 해야 하는 휴대전화, TV와 같은 제품을 테스팅하는데 많은 어려움을 겪고 있다. 이러한 문제를 해결하려는 노력으로 관련 학계 및 산업체에서는 동적 심볼릭 수행을 이용한 커버리지가 높은 테스트케이스 자동생성 연구가 진행 중이다. 특히, Microsoft Research에서 만든 동적 심볼릭 수행도구인 PEX는 C#언어로 작성된 웹 또는 윈도우 프로그램의 테스트케이스를 자동 생성한다. 그러나 PEX의 사용자들로부터 테스트케이스가 부족하다는 피드백올 받았고, 그 결과로 경계 값 테스트케이스를 추가하는 연구를 진행하여 경계 값 테스트케이스를 추가하지 않았을 때 보다 더 많은 오류를 찾았다. 본 논문에서는 소프트웨어 오류가 있을 경우 엄청난 재산, 인명 피해가 발생하는 임베디드 소프트웨어 분야에서 자주 사용하는 언어인 C언어를 지원하는 동적 심볼릭 수행 도구 CREST를 수정하여 경계 값 테스트 케이스를 생생하는 연구를 진행한다.