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

인지모델(Cognitive Model)에 의한 사용성 평가는 실제 실험에 의한 방법에 비해 시간, 노력, 비용을 절감할 수 있다. 여러 인지모델 중 ACT-R(Adaptive Control of Thought Rational)은 인간의 모든 인지과정을 상세하게 묘사할 수 있어 다른 모델보다 정확히 인간의 과제 수행을 정량적으로 예측할 수 있다. 그러나 ACT-R 모델을 수립하기 위해서는 인간의 지각, 주의, 기억 인출 등의 처리 과정과 행동 선택 및 수행에 필요한 과제 수행 규칙을 매우 상세하게 분석 및 기술해야 하기 때문에, GUI(Graphic User Interface) 환경에서 운용되는 메뉴 인터페이스와 같이 다양한 시각적 정보의 처리가 요구되는 과제에 대한 모델을 수립하는데는 많은 시간과 노력이 요구된다. 이에 본 연구에서는 GUI 환경에서 전문가 수준의 과제 수행을 예측할 수 있는 간략화한 ACT-R 모델 수립 방안을 제안하고, 이를 이용하여 상용 통계 분석 소프트웨어의 과제 수행도를 예측하였다. 그 결과 실제 실험을 통한 측정 결과와 간략화한 ACT-R 모델의 예측 결과가 잘 일치하였으며 본 연구에서 제시한 간략화한 ACTR 모델이 메뉴 인터페이스의 사용성 평가에 효율적으로 적용될 수 있음을 확인하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10c
• /
• pp.143-145
• /
• 1999

정시 서비스를 제공하는 실시간 시스템을 설계할 때 일반성을 지니도록 하기 위하여 실시간 객체인 TMO(Time-triggered Message-triggered Object) 모델이 연구되었으며 이러한 객체를 수행하기 위한 객체 모델 수행 플렛폼이 다양한 환경에서 개발되었다. 본 논문에서는 최근 들어 많은 주목을 받고 있는 리눅스 환경에서 설계 및 구현된 미들웨어 형태의 실시간 객체 모델 수행 플렛폼 LTMOS(Linux TMO System)에 대해 기술한다. 응용 프로그램 개발자가 실시간 시스템을 TMO 모델로 디자인하면 LTMOS는 TMO의 메쏘드를 리눅스의 쓰레드로 매핑하여 리눅스 커널의 실시간 스케쥴링을 받도록 한다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1995.04a
• /
• pp.376-381
• /
• 1995

규모가 큰 시스템의 연구개발 사업을 성공적으로 수행하기 위해서는 라이프 싸이클 모델에 의한 인력, 요소 기술 및 시간 자원의 효과적인 세분화와 유기적인 결합을 통해 전체 연구개발 사업에 대한 올바른 계획을 수립하고 이를 종합적으로 관리하여야 한다. 여기서 라이프 싸이클 모델(life-cycle model: 순기모델)이란 연구개발 계획 시점부터 완료 시점까지의 기간을 활동 내용에 따라 여러 단계로 정의한 모델로, 개발하고자 하는 시스템의 품질 향상 및 연구개발 사업의 성공적인 수행을 위해 필수 불가결한 요소이다. 특히 중형급(midrange)이상의 컴퓨터 시스템과 같이 구성 요소들이 순차적으로 연구개발 사업 자체의 성공적인 수행 여부 뿐만 아니라 향후 산출되는 개발 결과물의 품질에도 중요한 영향을 미친다. 그러나 우리나라는 연구개발 측면에서 큰 규모의 프로젝트를 수행한 경험이 많지 않아 이에 대한 기술 축척이 미진하며, 주로 선진 외국의 공학 기술을 그대로 사용하기 때문에 우리나라의 기술이나 연구 환경에 적합하지 않은 경우가 많아 이에 따른 시행 착오를 많이 겪어왔다. 본고에서는 1987년부터 현재까지 수행되고 있는 주전산기 연구개발 사업(주전산기 I, II, III, IV) 수행을 통해 얻은 경험을 중심으로 구성 요소들이 계층적 구조를 갖는 컴퓨터 시스템을 연구 개발하는데 필요한 하나의 라이프 싸이클 모델을 제시하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10e
• /
• pp.49-51
• /
• 2002

액티브 네트워크 상의 각각의 노드는 패킷을 통해 전달된 프로그램을 수행시키는 수행환경을 가진다. 본 논문은 액티브 네트워크 노드에서 수행되는 프로그램을 작성하기 위한 자바기반의 프로그래밍 모델을 제안한다. 또한 이동코드의 적재 및 실행과정을 제어할 스크립트 언어를 설계하고, 제안된 모델을 적용할 수 있는 자바기반 수행환경의 구조를 기술한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04b
• /
• pp.90-92
• /
• 2000

비용모델과 측정(Cost Model and Estimation)은 모든 DBMS에서 성능 측정을 하기 위한 기본적인 도구이다. 지금까지의 질의 수행에 대한 비용모델을 제시하는 연구가 많이 있었지만 대부분이 연구가 특정 부분에 대한 비용-CPU비용, 색인 방법에 대한 I/O횟수, I/O비용 등만을 고려함으로써 질의를 수행하는데 필요한 전체적인 비용을 산출하는데 부족한 점이 있었다. 그리고 병렬 공간 DBMS에 대한 비용모델을 산출하는 연구가 아직까지 이루어지지 않았다. 이 논문에서는 병렬 공간 DBMS에서 질의를 처리하는데 드는 전체적인 비용을 산출하고 있다. 기존의 연구에서 제시하고 있는 비용모델을 적용하고, 병렬 컴퓨터와 공간 데이터가 결합되었을 때의 고려사항을 추가하여 병렬 공간 DBMS에 적합한 전체적인 비용모델을 산출함으로써 병렬 공간 DBMS에서의 효율적인 질의수행에 대한 다른 연구를 수행할 때 비용모델에 대한 초석을 제공한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04b
• /
• pp.51-53
• /
• 2000

비용모델과 측정(Cost Model and Estimation)은 모든 DBMS에서 성능 측정을 하기 위한 기본적인 도구이다. 지금까지의 질의 수행에 대한 비용모델을 제시하는 연구가 많이 있었지만 대부분의 연구가 특정 부분에 대한 비용-CPU비용, 색인 방법에 대한 I/O횟수, I/O비용 등만을 고려함으로써 질의를 수행하는데 필요한 전체적인 비용을 산출하는데 부족한 점이 있었다. 그리고 병렬 공간 DBMS에 대한 비용모델을 산출하는 연구가 아직까지 이루어지지 않았다. 이 논문에서는 병렬 공간 DBMS에서 질의를 처리하는데 드는 전체적인 비용을 산출하고 있다. 기존의 연구에서 제시하고 있는 비용모델을 적용하고, 병렬 컴퓨터와 공간 데이터가 결합되었을 때의 고려사항을 추가하여 병렬 공간 DBMS에 적합한 전체적인 비용모델을 산출함으로써 병렬 공간 DBMS에서의 효율적인 질의수행에 대한 다른 연구를 수행할 때 비용모델에 대한 초석을 제공한다.

• Proceedings of the KSRS Conference
• /
• 2009.03a
• /
• pp.301-304
• /
• 2009

3차원 가시화는 3차원 공간정보를 효율적으로 제공하기 위하여 중요하다. 그러나 기존의 3차원 가시화 소프트웨어는 복잡한 다면체 모델들을 삼각면으로 분할하여 저장하여 불필요한 기하정보들을 포함한다. 따라서 본 연구는 불필요한 기하정보가 제거된 건물 모델을 생성하기 위하여 동일한 삼각면들을 병합하여 다각면으로 정의하는 기하학적 단순화를 수행한다. 이를 위하여, 3차원 모델에 포함된 기하학적 오류와 위상학적 오류들이 제거된 삼각면의 속성을 정의한다. 그리고 이웃면 정보를 생성하여 동일면을 병합하고 병합된 면의 경계점들을 정리함으로써 단순화를 수행한다. 제안된 방법의 수행 결과, 삼각면으로 정의된 복잡한 다면체 모델은 다각면으로 정의된 보다 단순한 다면체 모델로 단순화될 수 있었고 동일한 기하학적 정보를 포함하고 있으나 데이터의 크기가 매우 작아 신속하게 가시화를 수행할 수 있었다. 따라서 제안한 방법론은 3차원 건물모델의 가시화 시간을 크게 줄일 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.436-438
• /
• 2004

MDA 기반 개발을 지원하는 도구를 사용하여 모델 변환을 수행하거나 또는 수동으로 모델을 변환하는 경우 두 모델간에 변환의 일관성 검증은 반드시 필요하다. 본 논문에서는 현재 개발 지원 도구에서 자동으로 수행되고 있는 MDA 핵심 개념인 모델 변환 가운데 한 가지인 PIM에서 PSM으로의 변환이 일관성을 유지하면서 정확하게 수행되었는가를 검증할 수 있는 기준으로 구성 요소간의 추적성과 데이터 타입변환의 정확성을 도출하였다. 이에 따라 모델간의 일관성을 검증하기 위한 규칙을 추적성과 정확성으로 구분하여 제시한다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2012.10a
• /
• pp.687-688
• /
• 2012

In simulation model, when it's occurred model succession, the parent model is connected to child model. The model succession also is divided into integrity and fragment by the succession characteristic.

• Proceedings of the Korean Environmental Sciences Society Conference
• /
• 2004.11a
• /
• pp.218-222
• /
• 2004

Envi-met 모델 수행과정과 주요결과를 요약하면 다음과 같다. 첫째, 본 모델의 바람장 패턴을 검증하기 위하여 도심내의 특정지역을 선택하였으며, 바람의 변화가 예상되는 5개 지점을 선정하여 관측하였다. 둘째, 건물에 의한 바람의 영향이 없는 장소를 1개소 선정하여 대표관측지점에서의 관측값을 모델수행의 초기값으로 선정하였다. 넷째, 관측된 데이터와 모델 수행결과 값을 비교하여 바람장의 변화 패턴을 분석하여, 본 모델의 적합성을 고찰하였다.