• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11c
• /
• pp.1973-1976
• /
• 2002

본 논문에서는 유 무선 네트워크 환경에서의 자료 일치성 유지를 위한 동기화 프로토콜(SyncML1.1)을 검증한다. 프로토콜 검증에 관한 기존 연구에서는 약한 일관성을 갖는 동기화 프로토콜은 다루어지지 않았으며 정리 증명 혹은 모델 채킹에 대한 선택적 접근으로인해 증명 영역이 제한적이었다. 본 연구에서는 프로토콜의 의미를 정의하고 행위 및 시스템 구조, 메시지 패싱에 대한 개별적 모델을 단계적으로 설계하는 한편, 동기화 프로토콜에서의 안전성 및 상호 배제, 궁극성 속성은 시퀀트 계산법에서의 역방향 전략으로 증명되며, 모델 채킹 기술을 하나의 증명 규칙으로 사용했다. 본 연구는 두가지 부분에서 특징과 의미을 갖는다. 첫째, 정리증명과 모델 채킹이 혼합된 검증 방법을 사용했다. 둘째, 객체 제약 언어 및 정형 명세 언어의 사용을 통해 모델의 생성을 보다 단계적이고 정형적으로 유도했으며 이를 통해 검증의 신뢰성 및 품질을 높였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.04a
• /
• pp.475-478
• /
• 2016

많은 embedded 소프트웨어는 전통적 절차적 언어인 C로 작성되며 embedded 시스템에 특화된 역할을 수행한다. 한편 기존 절차적 언어인 C는 현대의 객체지향적 개발 패러다임과 비교하면 코드의 확장성, 유지 보수성, 재사용성에 있어서 많은 어려움이 있으며 아직도 많이 사용하고 있지만 이 C의 유지 보수성과 확장성, 유연성을 확보하여 보다 생산적이고 유지 보수가 쉬운 패러다임으로서 함수 pooling이라는 개념과 이를 이용한 framework를 구현한다.

• English Language & Literature Teaching
• /
• v.10 no.1
• /
• pp.127-152
• /
• 2004

The purpose of this study is to elaborate design strategies for a Web-based self-directed cooperative distance language learning community. Research was done regarding the theoretical foundations for self-directed cooperative language learning and Web-based learning communities. The components of a Web-based community for self-directed cooperative language learning system are also investigated. As a result of this study, design strategies for Web-based communities are suggested. There are performance and supporting environments(synchronous/asynchronous) for self- directed cooperative language learning. There are also cultural experiences and communication factors in the performance field. Furthermore, matching communicators, finding and offering information, language learning content and other supporting agents are important in the supporting environment.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.04a
• /
• pp.179-183
• /
• 1999

최근 기업활동의 일부로서 물류의 중요성이 급속히 부각되고 있고, 물류의 전략 개발과 모델링 방면에서 많은 연구가 진행되었다. 본 논문에서는 이산 사건 시스템을 기술하는 언어인 DEVS 형식론을 이용하여 물류 시스템의 성능을 측정하는 시뮬레이터를 구현한다. 본 논문의 대상 시스템은 다수의 차량을 이용하여 다수의 창고에서 다종의 물건들을 다수의 판매처로 운송하는 시스템이다. 각각의 창고에서는 판매처에서 요구한 물건들을 적재하여 판매처에서는 원하는 물건들을 하차하고 정해진 시간 내에 배달되는지를 검증한다. 모델링된 시스템을 시뮬레이션화하기 위해 DEVSim++를 이용한다. DEVSim++는 DEVS 형식론을 C++ 언어로 표현한 것이다. 여러 가상의 데이터로 시뮬레이션한 결과 적절히 동작하는 것을 알 수 있었다. 향후 모델을 확장해서 전국적인 규모에서 시뮬레이션할 수 있는 무류 시뮬레이터를 구현하면 물류 관련 업무에서 필수적으로 쓰일 도구가 될 것이다.

• Annual Conference on Human and Language Technology
• /
• 2013.10a
• /
• pp.116-119
• /
• 2013

요즘 많은 사람들은 트위터를 통해 짧은 문장의 트윗을 작성하여 자신의 의견이나 생각을 표현한다. 사람들이 작성한 트윗은 사용자의 연령, 성별, 지역에 따라 다른 특성이 담겨있다. 이러한 정보를 이용하여, 기업에서는 연령대, 성별, 지역에 따라 각기 다른 마케팅 전략을 세울 수 있을 것이다. 본 논문에서는 트위터 사용자들의 트윗을 분석하여 연령대, 성별, 지역을 예측하려 한다. 네이버 오픈사전의 자질, 한국전자통신연구원(ETRI)의 개체명 사전을 이용한 자질 및 한국어 형태소 분석, 음절 단위의 bigram을 클래스별 의미 있는 자질로 선택하고 LDA를 이용하여 예측된 확률분포를 활용하여 분류한 결과, 연령 72%, 성별 75%, 지역 43%의 납득할만한 예측 정확도 결과를 얻게 되었다.

• Annual Conference on Human and Language Technology
• /
• 2006.10e
• /
• pp.177-182
• /
• 2006

대화 시스템에 관한 기존 연구는 대화 현상에 대한 원리를 이해하는데 초점을 맞춘 연구와 매우 제한적인 상황에서 동작하는 실용적인 시스템 구축에 관한 연구로 이루어져 왔다. 전자의 연구를 위해서 계획기반모델(plan-based model)이 제안되었는데, 이는 복잡한 대화 구조를 모델링(modeling)할 수 있으며, 다양한 현상에서의 사용자 목적 추론이 가능하다. 하지만 계획기반모델은 초기 설계가 어려우며 실용적인 대화 시스템 구축에 있어서 시스템 응답을 생성하기 위한 상호작용 모델로의 확장이 매우 어렵다는 단점이 있다. 본 연구는 이러한 계획 기반 모델의 단점을 보완하고 실용적인 대화시스템을 구축하기 위하여 시스템 응답을 위한 확인 대화 전략과 담화스택(discourse stack)을 계획기반 대화 모델링에 적용하여 효율적인 응답을 생성할 수 있는 기법을 제안한다.

• TTA Journal
• /
• s.88
• /
• pp.105-120
• /
• 2003

본 논문은 워크플로우 기술의 표준화 및 기술 동향을 소개하는 세 번의 연재* 중 그 세 번째인 마지막 내용으로 지난 호에서 소개한 비즈니스 프로세스 관리(Business Process Management: BPM) 기술과 이의 기반기술인 워크플로우 관리기술과 연관된 국내외 표준화 기구와 그들의 활동 내용에 관하여 기술한다. 특히, 비즈니스 프로세스 관리 기술의 국제표준화 기구인 BPMI(Business Process Management Initiative)와 워크플로우 관리 기술의 국제표준화 기구인 WfMC(Workflow Management Coalition)는 최근에 웹서비스나 B2B 기술 등의 비즈니스 프로세스 관련 단일화된 표준안을 개발하고자 여러 번에 걸친 합동회의를 개최해오고 있어 이 합동회의에서 진행되고 있는 표준안 개발 활동 내용을 소개한다. 특히, 워크플로우 모델링 표준 언어인 XPDL(XML Process Definition Language)과 비즈니스 프로세스 모델링 언어인 BPMN(Business Process Modeling Notation) 그리고 대표적인 워크플로우 모델로서 연구분야에서 많이 이용되고 있는 ICN(Information Control Net)을 확장한 Kyonggi-ICN의 상호 매핑관계를 요약정리한다. 끝으로, 현재 국내의 워크플로우 기술관련 표준화기구인 한국정보통신기술협회 산하 표준화위원회인 워크플로우기술연구반의 표준화 활동과 이번에 새로이 정보통신부 표준화전략포럼중의 하나로 창립된 워크플로우 및 비즈니스 응용기술포럼(약칭 WABA 포럼: Workflow and Business Applications Technology Forum)을 소개한다.

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

소프트웨어 제품 라인 개발 패러다임은 관련 제품들 사이의 공통점과 차이점을 이용해 보다 전략적인 재사용을 가능하게 함으로써 소프트웨어 개발 생산성을 높여 주는 개발 방법론이다. 공통점과 차이점을 분석하고 모델링하기 위해 가장 중요한 모델이 특성 모델이다. 특성 모델은 규모가 커짐에 따라 오류를 포함할 가능성이 커지며 이를 검증하기 위한 자동화된 도구가 필요하다. 본 논문에서는 온톨로지를 자바 언어로 구현 가능하게 해주는 Protege API, OWL기반의 시맨틱 웹 규칙 언어인 SWRL, 규칙 추론 엔진인 Pellet Reasoner 등의 기술을 이용한 특성 모델 검증 도구를 제안한다.

• Annual Conference on Human and Language Technology
• /
• 2019.10a
• /
• pp.440-442
• /
• 2019

본 논문은 딥 러닝 기반의 독해 기술이 풀지 못하는 문제를 분류해내는 기술에 관한 것이다. 해당 연구에서는 독해 데이터 및 시스템 결과 분석을 통해 시스템이 풀지 못하는 문제들의 특징을 도출해내고, 이에 알맞은 전략들을 시도해 보았다. 분석 결과에 따른 시도들은 각 목적에 부합하는 결과를 나타냈으며, 특히 독해 기술의 특징에 기반한 방법론이 효과적이었다. 본 논문에서 제안하는 방법은 본문과 질의 간 유사도 행렬을 활용하는 것으로, 기존의 독해 기술이 본문과 질의의 유사도를 활용하여 정답을 내는 것에 영감을 얻었다.

• Annual Conference on Human and Language Technology
• /
• 2019.10a
• /
• pp.241-245
• /
• 2019

문서 요약, 키프레이즈 추출과 패러프레이징은 인간이, 혹은 기계가 문서를 보다 원활히 이해하는 데에 도움을 주는 방법론들이다. 우리는 본 연구에서 질문/요구 등의 지시성 발화를 대상으로, 핵심 내용을 추출하는 간단한 방법론을 통해 한국어 병렬 코퍼스를 구축한다. 또한, 우리는 인적 자원을 활용한 효율적인 데이터 증강 전략을 통해 부족하거나 필수적인 유형의 발화의 양을 보강하고, 약 5만 쌍 크기의 코퍼스를 제작하여 이를 공개한다.