• Annual Conference on Human and Language Technology
• /
• 2020.10a
• /
• pp.280-283
• /
• 2020

논문 초록은 논문의 내용을 요약해 제시함으로써 독자들의 연구결과물에 대한 빠른 검색과 이해를 도모한다. 초록의 구성은 대부분 전형적인 경우가 많기 때문에, 초록의 구조를 자동 분석하여 색인해두면 유사구조 초록을 검색하거나 생성하는 등의 연구효율화에 기여할 수 있다. 허세훈 외 (2019)는 초록 자동구조화를 위한 말뭉치 SPA2019 및 기계학습기반의 자동구조화 방법을 제시하였다. 본 연구는, 기존 SPA2019 의 구조화 오류를 바로잡고, SPA2019 에서 추출한 1,346 개의 초록데이터와 2,385 개의 초록데이터를 추가한 SPA2020 말뭉치를 새로이 소개한다. 또한, 다양한 선학습 기반 트랜스포머들을 활용하여 초록 자동구조화를 수행하였으며, 그 결과 BERT-0.86%, RoBERTa-0.86%, ALBERT-0.84%, XLNet-0.86%, DistilBERT-0.85% 등의 자동구조화 성능을 보임을 확인하였다.

• Annual Conference on Human and Language Technology
• /
• 2019.10a
• /
• pp.276-279
• /
• 2019

의존 구문 분석은 문장을 구성하는 성분들 간의 의존 관계를 분석하고 문장의 구조적 정보를 얻기 위한 기술이다. 의미역 결정은 문장에서 서술어에 해당하는 어절을 찾고 해당 서술어의 논항들을 찾는 자연어 처리의 한 분야이다. 두 기술은 서로 밀접한 상관관계가 존재하며 기존 연구들은 이 상관관계를 이용하기 위해 의존 구문 분석의 결과를 의미역 결정의 자질로써 사용한다. 그러나 이런 방법은 의미역 결정 모델의 오류가 의존 구문 분석에 역전파 되지 않으므로 두 기술의 상관관계를 효과적으로 사용한다고 보기 어렵다. 본 논문은 포인터 네트워크 기반의 의존 구문 분석 모델과 병렬화 순환 신경망 기반의 의미역 결정 모델을 멀티 태스크 방식으로 학습시키는 통합 모델을 제안한다. 제안 모델은 의존 구문 분석 및 의미역 결정 말뭉치인 UProbBank를 실험에 사용하여 의존 구문 분석에서 UAS 0.9327, 의미역 결정에서 PIC F1 0.9952, AIC F1 0.7312의 성능 보였다.

• Annual Conference on Human and Language Technology
• /
• 2020.10a
• /
• pp.205-210
• /
• 2020

한국어 자연어처리 분야가 발달하면서 동형이의어 분별을 한 단계 넘어선 다의어 분별의 중요성이 점점 상승하고 있다. 최근에 다의어가 태깅된 "모두의 말뭉치"가 발표되었고, 이 말뭉치는 다의어가 태깅된 최초의 공개 말뭉치로써 다의어 연구가 본격적으로 진행될 수 있음을 의미한다. 본 논문에서는 이 말뭉치를 학습하여 작동하는 다의어 분별의 초기 모델을 제시하며, 이 모델의 실험 결과는 차후 연구를 위한 비교 기준점이 될 수 있다. 이 모델은 딥러닝을 사용하지 않은 통계형으로 개발되었고, 형태소분석과 동형이의어 분별은 기존의 UTagger로 해결하고 말뭉치 자원 외에도 UWordMap을 사용하여 다의어 분별을 보조하였다. 이 모델의 정확률은 약 87%이며, 다의어 분별 전에 형태소분석 또는 동형이의어 분별 단계에서 오류가 난 것을 포함한다. 현재까지 공개된 이 말뭉치는 오직 명사만 다의어 주석이 있기 때문에 명사만 정확률 측정 대상이 되었다. 이 연구를 통하여 다의어 분별의 어려움과, 다의어 분별에는 동형이의어 분별과는 다른 방법이 필요하다는 것을 확인할 수 있었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.579-581
• /
• 1998

소프트웨어 개발에서 나타나는 많은 오류는 요구 사항에 대한 정확한 이해의 부족에서 기인된다. 따라서 분석 단계에서 요구사항을 정확하게 나타내는 활동은 전체 소프트웨어의 신뢰성에 큰 영향을 미치게 된다. 요구 검증은 요구 분석 활동에서 산출되는 정보가 요구 문서의 정보를 바르게 나타내는가를 검증하는 활동이다. 본 연구에서는 객체 지향 소프트웨어의 개발에서 요구 검증을 수행하기 위해 OFL(Object-oriented Formal Language)과 질의 추출을 적용하였다. OFL은 객체 지향 형식 상태변이사항(Formal state transition specification)으로 형식 언어가 기자고 있는 명확성을 유지하며 분석 활동의 결과를 체계적으로 제시한다. 이러한 결과와 요구 문서와의 비교를 위하여 질의 추출이 수행된다. 이는 질의를 통하여 요구 문서에서는 나타나는 정보를 체계적으로 정리하여 개발 의뢰자가 제시한 요구 사항과 개발자가 제시하는 요구 사양간에 일치성과 완전성이 존재함을 검증한다. 이러한 요구 검증은 요구 사양의 신뢰성뿐만 아니라 개발되는 소프트웨어의 신뢰성을 향상시킨다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06d
• /
• pp.442-444
• /
• 2012

HTML5는 웹 표준규격으로서 월드 와이드 웹에서 구현되는 기존의 HTML의 문법적 오류를 바로잡고, 점차 작업환경이 웹 기반의 환경으로 넘어오는 시대에 맞추어 더 화려한 그래픽 표현을 별도의 플러그인 없이 간편하게 웹 브라우저에서 구현 가능할 수 있도록 하는 언어이다. 본 논문에서는 이를 이용한 플랫폼으로 웹 상에서 전문적인 헬스 트레이너와 양방향 커뮤니케이션이 가능한 사용자 맞춤형 헬스서비스 관리시스템을 제안하고 구현하여 시간, 장소에 관계없이 개인에 맞는 헬스 관리를 가능하게 한다.

• Journal of rehabilitation welfare engineering & assistive technology
• /
• v.11 no.3
• /
• pp.215-221
• /
• 2017

Audiological rehabilitation by itself can provide satisfactory services through acquisition of background information on hearing loss, audiological evaluation, analysis of electroacoustic characteristics of hearing aids, and determining acoustic gain. However, hearing can be exacerbated, and sound pressure level of hearing aids can be lowered. Moreover, breakdown of hearing aids can happen. Therefore, the early detection of hearing loss and regular follow-up observations are very important. The aim of this study concern the direction of effective audiological rehabilitation by checking the clinical cases where hearing aids fitting failures were found.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.88-90
• /
• 2001

원자력 발전소 내장형 시스템은 안정성과 신뢰성이 절대적으로 요구되는 Safety-critical 시스템이다. 이러한 시스템의 설계는 모호성이 없는 정형명세 언어로 설계함으로 설계자와 구현자 사이의 모호성 없는 의사전달을 달성할 수 있다. 이러한 특히 원자력 발전소 내장형 시스템의 설계에 있어서 설계자는 그가 설계한 설계를 시험(Validation)하고 검증(Verification)하는 기법을 필요로 하게 된다. 특히 시스템이 복잡해질수록 설계도 내의 오류를 발견하지 못할 가능성이 커진다. 본 논문에서는 시스템이 가질 수 있는 모든 상태를 만들어내어 검사하는 형태의 검증 기법인 정형기법을 통하여 Safety-critical 한 내장형 시스템의 설계를 검증함으로 보다 완벽한 시스템을 설계하는 기법을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.463-465
• /
• 2001

본 논문에서는 패턴 기반의 시각적 속성 명세 연구를 통해 모든 명세 논리를 포괄하는 요구성 명세의 단일 프레임워크와 자동화 지원 도구를 제시한다. 또한 유도 질문을 통한 속성 명세와 속성의 구조 및 상호관계 표현 방법을 보인다. 본 연구에서는 패턴 기반의 시각적 속성 명세 언어(PVSL)를 정의했다. 요구 속성은 속성도를 통해 표현되며 패턴 다이어그램과 속성 and-or 트리로 의미 및 구조를 해석한다. PVSL 과 속성도는 검증자의 기존 지식을 최대한 활용할 수 있도록 계층형 유한 상태 기계의 표기법을 활용한다. 그리고 Nu-SMV 에서 실제 사용된 CTL 예제를 속성도로 명세하고 이를 해석하는데 적용했다. 그 결과 배경 지식을 최소화할 수 있었으며 빠른 명세와 해석이 가능했다. 또한 명세의 오류를 방지할 수 있었으며 속성의 구조와 상호관계를 쉽게 파악할 수 있었다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2019.10a
• /
• pp.694-696
• /
• 2019

현재 4차 산업 혁명과 가상화폐에 대한 전 세계적인 관심으로 블록체인 시스템이 급부상하고 있다. 현재 구현중심인 국내외 블록체인 시장에서 무수히 많은 블록체인 기반 플랫폼들이 등장과 함께 오류가 발생하고 있다. 하지만 블록체인 시스템의 신뢰성, 확장성, 안정성 등에 대한 검증은 누구도 하고 있지 않다. 이런 문제 해결을 위해 Go language로 구성된 블록체인 코드를 분석할 수 있는 정적분석기를 통한 품질 가시화 방법을 제안한다. 이를 통하여 Blockchain Code의 내부 복잡도를 식별하고자한다. 즉, 코드 내부를 가시화하고 개발자가 보다 쉽게 코드를 유지보수 할 수 있으며 블록체인 시스템의 소프트웨어 공학적인 고품질화가 가능하다.

• Clinical and Experimental Pediatrics
• /
• v.53 no.4
• /
• pp.579-584
• /
• 2010

Purpose : The number of the repatriated Korean students who had overseas study at early ages is increasing. They received foreign education, they can speak international languages, but they have many difficulties in articulation and intonation of the Korean language. This study aims to measure closure and aspiration duration, length of consonants, length of subsequent vowels, and ratio of consonants against subsequent vowels in vowel-consonant-vowel (VCV) syllables. Methods : This study compares the acoustic and phonetic characteristics of repatriated and native students, the ratio of articulation error of Korean plosives, the closure and aspiration duration, and the ratio of the aspiration duration against the closure duration. Results : The ratio of articulation error of Korean plosives between repatriated and native students is 19% and 2%, respectively. The closure duration was significantly longer in repatriated students than in native students. The aspiration duration was significantly longer in repatriated students than in native students. No difference was found in the ratio of aspiration duration against closure duration between the native and repatriated students. Conclusion : This study can be a good reference for estimating the phonetic difficulties of Korean elementary students who had overseas study at early ages.