• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1999년도 춘계학술대회 논문집
• /
• pp.54-59
• /
• 1999

본 논문에서는 유연생산시스템 (FMS: Flexible Manufacturing System)의 객체지향 시뮬레이션(OOS: Object Oriented Simulation)에 대한 기존의 연구들을 소개한다. 먼저 FMS와 객체지향시뮬레이션의 일반적인 개념에 대해서 이야기하고 기존의 연구들을 대상 시스템의 추상화(abstraction)과정을 중심으로 분류하여 정리하였다. 추상화 방법론과 FMS를 위한 객체지향시뮬레이션의 현황 및 과제에 대해서도 간략하게 살펴보았다.

• 지능정보연구
• /
• 제12권4호
• /
• pp.61-72
• /
• 2006

유비쿼터스 서비스가 여러 분야에서 실용화 단계에 와 있다. 특히 u-쇼핑 분야에서는 사용자의 상황에 맞게 상품 혹은 상점을 유연하게 추천해 주는 개인화된 추천이 필요하다. 그러나 현재의 협력적 질의나 상황인식적 검색은 각각 동적 상황과 모호한 검색을 처리하지 못한다는 한계가 있다. 따라서 본 연구의 목적은 이 두 가지 중요한 문제를 해결하기 위하여 개인화된 상황인식적이고 협동적인 검색방법을 상황적MKAH를 유도방법으로 제안하는 것이다. 본 연구의 가능성을 보이기 위해 CACO라고 하는 프로토타입 시스템을 구현하였으며 국내의 한 대규모 쇼핑몰 도메인에 맞게 적용하였다.

• 지질공학
• /
• 제28권4호
• /
• pp.529-540
• /
• 2018

Sand dam is a flow barrier commonly built on small or medium size sandy rivers to accumulate sand and store excess water for later use or increase the water table. The effectiveness of sand dam in increasing the water table and the amount of extractable groundwater is tested using numerical models. Two models are developed to test the hypothesis. The first model is to simulate the groundwater flow in a pseudo-natural aquifer system with the hydraulically connected river. The second model, a modified version of the first model, is constructed with a sand dam, which raises the riverbed by 2 m. In both models, the effect of groundwater abstraction is tested by varying the pumping rate. As the model results show the groundwater after the construction of the sand dam has increased significantly and the amount of extractable groundwater is also increased by many folds. Most importantly, in the second model, unlike the pseudo-natural aquifer system, the groundwater abstraction does not have a significant effect on the water table.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (3)
• /
• pp.190-192
• /
• 1998

이동에이전트를 위한 이동객체(mobile agent)와 이를 지원해주는 이동객체서버(mobile object system)를 설계하고 이러한 요소들을 제어하고 관리하는 이동객체 시스템(mobile object system)을 Java로 구현한다. 또, 시스템 내의 이동객체를 비롯한 모든 객체들간의 객체 요청(object request)을 유연하게 중계하고 이들간의 통신을 담당하는 ORB (Object Request Broker)를 TCP/IC상에서 Java 로 구현하고 이동 에이젼트 시스템을 쉽게 구측할수 있는 앱스트랙션(abstraction)과 API를 제공한다. 이 시스템은 네이밍 서비스(naning service)와 푸쉬형 이벤트 서비스(push-event service)등을 기본적으로 지원한다.

• 한국정보처리학회논문지
• /
• 제5권9호
• /
• pp.2334-2344
• /
• 1998

코드중심의 컴피넌트 추상화에 의한 클래스 단위의 응용시스템 구성은 각 요소의 독립성 및 재사용에 대한 잇점이 미흡하다. 이들 요소가 주로 구현상에 초점을 두기 때문이다. 다라서 사우이의 개발 단계에 대한 설계 문제의 추상화와 특정 영역의 일반적인 해결에 대한 정보 표현 및 구성 요소 상호 간의 관련성을 나타내는 설계패턴이 필요하다. 또한 기존 시스템을 분석하여 정확한 시스템을 이해하고 재사용 자원으로의 지식을 활용할 수 있는 소프트웨어 역공학이 필요하다. 즉, 객체지향 시스템의 설계구조를 추출하여 시스템 분석과 설계에 대한 이해를 향상시키고 표준화된 설계용어 및 컴퍼넌트 관계 구조를 통해 재사용을 용이하게 하는 설계 패턴 추출을 위한 역공학은 중요하다. 따라서 본 논문에서는 기존 객체지향 시스템 코드에서 설계 패턴 추출을 위한 역공학 적용에 관한 타당성과 설계 패턴 자동 추출을 위한 알고리즘을 Java 시스템에 적용하고 설계 패턴의 자동 추출을 위한 역공학 및 패턴 재사용을 위한 자동화 도구의 아키텍쳐를 설계 구현하다.

• 대한전자공학회논문지SD
• /
• 제43권10호
• /
• pp.68-73
• /
• 2006

본 논문에서는 SoC(System On a Chip)의 효율적인 설계와 빠른 검증을 위해서 Active-HDL과 Matlab의 Simulink를 연동하여 HDL, SystemC 및 알고리즘 레벨의 추상화를 동시에 통합하여 시뮬레이션 할 수 있는 방법론을 제시하고, 이를 이용한 다채널 스피커의 직렬연결 기법을 설계 및 구현하였다. 구현은 ARM 프로세서와 Xilinx Virtex4 FPGA를 기반으로 하고 AMBA 버스를 사용하여 연동하는 SoC Master 보드 상에서 이루어졌다. 이러한 방법은 하드웨어 부분의 RTL 코드를 IP화하여 소프트웨어 부분과 동시에 검증 할 수 있는 장점을 가지고 있으며 직렬 연결 스피커 시스템과 같이 많은 신호처리를 하는 부분에서 쉽고 빠르게 설계를 진행할 수 있음을 보였다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권6호
• /
• pp.727-731
• /
• 2010

최근 모바일 기기의 다양한 센서들을 통하여 데이타를 수집하여 개인의 삶을 기록하는 연구들이 진행 중이다. 효율적인 모바일 라이프로그의 저장과 탐색을 위해 연관 검색이 가능한 모바일 라이프로그 시맨틱 네트워크가 제안되었다. 기존의 시맨틱 네트워크 상의 검색은 텍스트 기반으로 관계를 바탕으로 하는 사용자의 능동적인 연관 검색에 한계가 있었다. 본 논문에서는 모바일 라이프로그의 연관 검색을 위해 검색 과정과 결과를 시각화된 네트워크로 데이타간의 관계를 보여주는 선택 연관 검색과 키워드 연관 검색을 제안한다. 복잡한 시맨틱 네트워크에 대해서 사용자의 이해도를 높이기 위해 의미 추상화를 적용하였다. 실제 모바일 라이프로그 시맨틱 네트워크 데이타를 바탕으로 질의를 해결하는 과정을 기존 연구에서 보였던 텍스트 기반 연관 검색 방법과 비교하고 사용성 평가를 시행함으로 유용성을 입증하였다.

• 한국콘텐츠학회논문지
• /
• 제6권11호
• /
• pp.202-216
• /
• 2006

프로세스 대수는 다음과 같은 이유 때문에 실시간 항해 및 배송 시스템에 적용하기에는 부적당하다: 1) 특정한 지정학적 공간 내에서의 프로세스들의 분산성에 대한 표기가 부족하고, 2) 그 공간 내에서의 프로세스들의 이동성이 분산성으로부터 확연히 구분하여 표기되지 않는다. 이 대수들이 이런 시스템에 적합하기 위해서는 이런 분산성에 적용되는 공간정보의 표기와 이 공간 내에서의 이동성에 대한 표기를 구분해야할 필요성이 있다. 본 논문에서는 이러한 목적, 즉 공간정보와 이동정보를 구분하기 위하여 새로운 정형기법, 즉 CARDMI (Calculus of Abstract Real-Time Distribution, Mobility and Interaction)를 제안한다. CARDMI에서는 이동체 간의 동일성을 검증하기 위하여 공간 및 상호작용에 관한 연역규칙과 공간추상화에 기반한 동일성을 정의한다. 특히 이 동일성은 공간적 추상화를 반영한 계층적 동일성을 가능하게 하며 이를 통해 다수의 추상화 단계에서의 동일성을 검증하게 한다. CARDMI는 물리적인 배송 시스템뿐만 아니라 콘텐츠를 실시간으로 배달하는 사이버 시스템에도 적용할 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (A)
• /
• pp.181-183
• /
• 2004

Mission-Critical한 실시간 반응형 내장 시스템들의 설계과정에 있어 high-level abstraction과 formal(software 기반) modeling은 없어서는 안될 중요한 부분이다. 실시간 반응형 내장 system의 OS는 정형 명세 기법을 이용하여 시스템의 주요 component들을 설계하고 OS의 Formal model들을 모든 가능한 input들 아래 OS의 behavior를 엄격하게 검증함으로써 error가 없는 완벽한 OS를 개발할 수 있다. 본 논문에서는 uC/OS-11의 OS Scheduling 부분을 반응형 시스템 언어인 Esterel의 SyncCharts로 명세, 명세한 시스템의 요구조건을 정형기법을 이용친서 검증해보고자 한다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2006년도 하계종합학술대회
• /
• pp.965-966
• /
• 2006

As billion transistors system-on-chip (SoC) design becomes a reality, the productivity gap between rapidly increasing design complexity and designer productivity lagging behind is becoming a more serious problem to be solved. To reduce the gap, we present a system that generates executable transaction level models automatically. It speed up the SoC design space exploration process at various abstraction levels.