• 한국HCI학회:학술대회논문집
• /
• 2009.02a
• /
• pp.971-975
• /
• 2009

최근 다양하게 출시되는 터치스크린 휴대폰 시장의 흐름에 맞춰 터치 인터랙션 유형에 관한 연구 또한 활발히 진행되고 있다. 그러나 기존의 연구들은 터치 입력 인터랙션 유형의 사용자 모델에만 초점이 맞추어져 있는 상태이다. 시스템 모델의 이해부족 현상과, 터치 인터랙션의 사용자 모델과 시스템 모델사이의 차이점에서 나타나는 충돌은 잘못된 인터랙션 문제를 발생시키며, 사용자들에게 혼란 줄 수 있다. 때문에 본 연구는 터치 입력 인터랙션 유형의 시스템 모델에 초점을 맞춰서 진행하였다. 터치 인터랙션 유형 시스템 모델의 정의에 있어서 시간 축을 기준으로 터치 인터랙션 유형을 정의하였다. 정의된 시스템 모델을 기반으로 6개의 기본 입력 인터랙션을 각각 비교하여 상관관계를 도출하였고, 이 결과의 유효성 검증을 위해 전문가 인터뷰를 실시했다. 정리된 터치 인터랙션 유형의 시스템 모델 정의 및 상관관계는 앞으로 다양한 터치 기반 인터랙션 개발 시 최적화된 터치 유형 개발에 활용 될 수 있으며, 개발에 참여하는 디자이너, 개발자, 기획자들이 시스템 기능을 이해하는데 도움을 주며 그들의 원활한 의사소통 수단으로 쓰임과 동시에 고객들과의 의사소통에 효과적으로 쓰일 것으로 기대된다.

• Annual Conference on Human and Language Technology
• /
• 2023.10a
• /
• pp.80-85
• /
• 2023

기계 번역에서 품질 검증은 정답 문장 없이 기계 번역 시스템에서 생성된 번역의 품질을 자동으로 추정하는 것을 목표로 한다. 일반적으로 이 작업은 상용화된 기계 번역 시스템에서 후처리 모듈 역할을 하여 사용자에게 잠재적인 번역 오류를 경고한다. 품질 검증의 하위 작업인 치명적인 오류 탐지는 번역의 오류 중에서도 정치, 경제, 사회적으로 문제를 일으킬 수 있을 만큼 심각한 오류를 찾는 것을 목표로 한다. 본 논문은 치명적인 오류의 유무를 분류하는 것을 넘어 문장에서 치명적인 오류가 존재하는 부분을 제시하기 위한 새로운 데이터셋과 모델을 제안한다. 이 데이터셋은 거대 언어 모델을 활용하는 구축 방식을 채택하여 오류의 구체적인 범위를 표시한다. 또한, 우리는 우리의 데이터를 효과적으로 활용할 수 있는 다중 작업 학습 모델을 제시하여 오류 범위 탐지에서 뛰어난 성능을 입증한다. 추가적으로 언어 모델을 활용하여 번역 오류를 삽입하는 데이터 증강 방법을 통해 보다 향상된 성능을 제시한다. 우리의 연구는 기계 번역의 품질을 향상시키고 치명적인 오류를 줄이는 실질적인 해결책을 제공할 것이다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1997.04a
• /
• pp.39-42
• /
• 1997

시뮬레이션이 설계 검증에 사용될 때 검증의 척도를 효율적으로 제공하기 위해 설 계오류 모델과 통계적인 샘플링 기법을 사용한 시뮬레이션 시스템이 개발되었다. 이는 시뮬 레이션 검증율을 제공하고 샘플링 기법을 이용하여 검증율을 빨리 예측할 수 있다. 실험 결 과는 이 방법이 효과적임을 증명한다. 이 시스템은 전체 설계시간을 줄이는 효과적인 설계 검증 도구로 사용될 수 있다.

• Proceedings of the Korean Society for Agricultural Machinery Conference
• /
• 2017.04a
• /
• pp.13-13
• /
• 2017

선회시스템의 수명을 정확히 예측하기 위해서는 굴삭기의 상부회전체 및 선회시스템의 모든 구성요소들의 질량관성모멘트를 고려하여 선회감속기의 수명 평가를 수행해야 한다. 선회감속기의 수명 평가방법은 주로 실험실 시험으로 수행이 되며, 시험 장비는 장비 구축 편의성과 비용 등의 이유로 증속기와 굴삭기 상부회전체의 등가 관성체 등으로 구성된다. 굴삭기 선회시스템의 정확한 등가 실험실 시험을 위해서는 시험에 사용되는 등가 관성체의 관성모멘트를 정확히 결정하는 것이 매우 중요하다. 본 연구는 굴삭기 선회시스템의 등가 실험실 시험을 위해 굴삭기 상부회전체의 관성모멘트를 결정하기 위하여 수행되었다. 굴삭기 선회 시험을 통하여 선회감속기 입력 속도 및 토크를 측정하였고, 반복계산법을 이용하여 굴삭기 상부 회전체의 등가관성모멘트를 계산하였다. 굴삭기 상부회전체의 시뮬레이션 모델을 개발하여 선회 시험 결과와 시뮬레이션 모델 비교 분석을 통해 굴삭기 시뮬레이션 모델을 검증하고, 검증된 모델을 이용하여 상부회전체의 관성모멘트가 반영된 등가 실험실 시험 시뮬레이션 모델을 개발하였다.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.27 no.10
• /
• pp.78-88
• /
• 1990

To evaluate the performance of a multiprocessor system, a discrete event model of memory interference in the system employing multiple-bus interconnection networks is proposed. An analytic model of the system is presented and then simulator models are implemented for cross-verifying the analytic results and simulation results. The simulator model takes as input the number of processors, the number of memory modules, the number of buses and the local memory miss ratio. The model produces as output the memory bandwidth, the processor, memory module and bus utilization and the bus contention ratio. Using the model in the design of the system, it is possible to evaluate the system performance by analyzing the interaction of the input parameters.

• Annual Conference of KIPS
• /
• 2004.11a
• /
• pp.267-270
• /
• 2004

실시간 운영체제는 임베디드 환경에서 매우 중요한 소프트웨어 컴포넌트이다. 임베디드 실시간 운영체제는 고안전성 시스템이나 유비쿼터스 시스템 내에서 강하고(Robust), 신뢰성(Reliable)있고, 안전한(Safety) 특성을 지녀야 한다. 근래에는 이러한 실시간 시스템을 UML 과 같은 모델 기반의 방법으로 설계하고 코드 생성을 통해 구현까지 이끄는 모델 유도 공학(Model Driven Engineering: MDE)[1]을 통해서 개발하고 있다. 이러한 MDE 의 모델은 대부분 UML 기반의 언어를 사용하여 아키텍처를 구성하고 설계하여 코드를 생성하여 구현 코드를 생성해 낸다. 본 논문에서는 이러한 MDE 의 비정형적 언어를 대신하여, 정형명세 언어를 사용하여 실시간 시스템의 모델을 설계하고 이를 검증하여 실시간 운영체제를 개발하는 방법론을 기술한다. 이렇게 함으로써 보다 엄격한 언어를 통해 시스템의 설계의 모호함이나 모순을 없애고, 수학적 기반의 검증을 통해 보다 안전하고 신뢰성 있는 시스템을 구현하자 한다.

• Annual Conference of KIPS
• /
• 2023.11a
• /
• pp.880-881
• /
• 2023

본 연구는 차량 동역학이 적용된 자율주행 시뮬레이터에서 구현된 차량의 거동이 실제 차량과 유사한지 검증하는 것이다. 이를 위해 실제 차량모델에 외력을 가할 수 있는 기구를 개발하여 데이터를 획득하고 분석하고자 한다. 시뮬레이터에서 구현된 차량과 유사한 서스펜션 구조를 가진 차량 모델을 만들고 센서를 달아 차량의 운동 모델을 모사했으며, 캠과 감속기어를 활용해 외력을 모사하기 위한 기구를 제작하였다.

• Annual Conference of KIPS
• /
• 2016.04a
• /
• pp.493-496
• /
• 2016

차량 전장용 소프트웨어의 안정성을 플랫폼 단계에서 테스트 및 검증을 수행하면 많은 비용이 소요된다. 본 연구에서는 플랫폼 단계에서 차량용 내장형 소프트웨어를 테스트하기 이전에 Spin 모델 검증기를 활용하여 전장용 소프트웨어의 기본단위인 타스크들의 행위를 모의 실험함으로써 시스템의 설계오류를 검증할 수 있는 도구를 개발하였다. 본 연구에서는 운영체제와 환경설정 및 제어 프로그램이 수행할 타스크들을 모델로 구축하고, 모델 검증 도구 Spin을 이용하여 타스크의 상태변화를 확인할 수 있었으며, NuSMV를 이용한 방식과 비교하여 다양한 장점들을 확인하였다.

• Proceedings of the KIEE Conference
• /
• 2001.07a
• /
• pp.75-80
• /
• 2001

EMTDC가 FACTS 기기와 같이 전력전자소자가 포함된 계통을 신뢰성 있게 해석 할 수 있고 또한 다양한 제어기능과 각종 스위칭 소자 모델을 제공 하기때문에 실계통에서 운용되고 있는 서대구 SVC 제어시스템을 EMTDC로 개발하였다. 모델 개발을 위하여 서대구 SVC의 제작사인 ABB에서 제공한 서대구 SVC의 기능, 구성 및 특성을 분석하였으며 개발된 EMTDC SVC 제어시스템 모델의 신뢰성을 검증하기 위하여 제작사에서 제공한 TNA 테스트 결과와 비교하여 모델의 정확성을 검증하였다.

• The Magazine of the IEIE
• /
• v.23 no.11
• /
• pp.23-33
• /
• 1996

본 논문은 원판과 전용 CAD 틀로 구성되는 FPGA시스템을 개발하는데 있어서 서로 다른 요소 기술들의 관계와 이들 요소 기술들과 시스템성능의 관계를 모델하여 시스템 사양을 만족하기 위하여 가장 효율적인 방법을 찾게하는 방법에 관한 것이다. 본 논문에서는 실제로 개발된 시스템을 예로 하여 FPGA시스템 개발에서 고려해야 할 점들을 고찰하였다. 새로운 FPGA 시스템의 개발 순서는 먼저 개발할 FPGA의 응용 분야를 결정하고, 그 응용 분야에 필요한 시스템 사양에 맞게 개발한 요소 기술들과 그 기술들의 범위를 정한다. 개발 흐름도를 이용하여 이 요소 기술들의 연관 관계를 수직적으로는 시스템 성능에 미치는 영향을 모델링하고 수평적으로는 요소 기술간의 서로 미치는 영향을 모델링 하여 시스템 사양을 만족하기 위한 최적의 해를 구한다. 이때 최종적인 FPGA 시스템을 평가하고 검증할 수 있는 방법을 결정한다. 요소 기술들이 개발 됨에 따라 좀 더 구체적이고 정확한 모델에 의해 전체 시스템의 성능은 평가되고 검증될 수 있다. 이러한 방법과 환경은 FPGA 시스템을 빠르고 효율적으로 개발할 수 있게 한다.