http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
신영술(Youngsul Shin),이우진(Woojin Lee) 한국정보과학회 2006 한국정보과학회 학술발표논문집 Vol.33 No.2A
본 논문에서는 정보가전기기를 제어하기 위해 ZigBee를 이용한 데이터 기반의 양방향 통합 리모컨의 모델을 제시하고자 한다. 본 논문에서 제시되는 데이터 기반의 양방향 통합 리모컨의 사용자 인터페이스는 물리적으로 고정되어 있지 않고 정보가전기기로부터 얻은 인터페이스 정보를 이용하여 해당 정보가전기기에 알맞은 인터페이스를 유동적으로 사용자에게 제공한다. 따라서 제어할 수 있는 정보가전기기의 제한이 사라지며 사용자가 직감적으로 이해할 수 있는 인터페이스 제공, 다양한 정보가전기기의 제어, 상태 모니터링 등이 가능해진다.
신영술 ( Youngsul Shin ),박인수 ( In Su Park ),이정선 ( Jung Sun Lee ),이우진 ( Woo Jin Lee ),( Ho Dong Ryu ),( Cao Thi Ly ),( Jin Wook Kwon ),( Mi Heui Seok ) 한국정보처리학회 2009 한국정보처리학회 학술대회논문집 Vol.16 No.2
컴포넌트 기반 개발방법론의 이점은 공통의 인터페이스를 가지는 모델의 재사용성과 확장성이다. 시스템은 컴포넌트의 조립을 통하여 점진적으로 개발이 가능하다. 컴포넌트의 행위를 검증하기 위한 기존의 시뮬레이션은 모델을 이용한 검증만 가능했다. 하지만 모든 컴포넌트의 모델링 및 구현이 동시에 완료되지 않기 때문에 점진적인 컴포넌트 기반의 개발을 지원하기 위해서는 모델과 코드를 연계한 시뮬레이션이 필요하다. 본 논문에서는 모델과 코드를 연계한 점진적인 시뮬레이션 기법을 제안한다.
이종 시스템 연동을 위한 웹서비스 에이전트 서버 구조 설계
신영술 ( Youngsul Shin ),유민식 ( Min Sik Yu ),류호동,김성훈,이우진 ( Woo Jin Lee ) 한국정보처리학회 2007 한국정보처리학회 학술대회논문집 Vol.14 No.2
유비쿼터스 환경에서 서로 상이한 시스템들이 네트워크로 연결되어 각 시스템 간의 상호작용과 시스템 모니터링의 문제가 대두되고 있다. 구조가 상이한 시스템을 제어하기 위해서 해당 시스템의 인터페이스 정보와 인터페이스의 구현 기술이 필요하다. 본 연구에서는 제어 대상인 기기의 프로필정보를 이용하여 인터페이스 정보를 획득하고 코드 생성 자동화를 통하여 상이한 시스템 간의 효율적 상호작용 메커니즘을 제공한다. 인터페이스 정보가 포함된 프로필을 통해 제어 스텁 코드를 생성함으로써 코드 생성 자동화를 수행하여 상이한 시스템 간에 이루어지는 상호작용의 한계를 해결한다.
Integration Testing Approach using Usage Patterns of Global Variables
( Muhammad Iqbal Hossain ),( Youngsul Shin ),( Woo Jin Lee ) 한국정보처리학회 2012 한국정보처리학회 학술대회논문집 Vol.19 No.1
Global variables can be read or modified by any part of the program, making it difficult to remember or reason about every possible use. Sometime it has tight couplings between some of other variables, and couplings between variables and functions. The main focus of this paper is to use call graph and the control flow analysis to design a model from where we generate the test cases for testing global variables.
이클립스 UML과 GMF 기반 UML 다이어그램 시뮬레이션 프레임워크 설계
맹한민 ( Hanmin Maeng ),신영술 ( Youngsul Shin ),이우진 ( Woo Jin Lee ) 한국정보처리학회 2007 한국정보처리학회 학술대회논문집 Vol.14 No.2
이클립스의 UML2 와 GMF 프로젝트는 UML 다이어그램 편집기를 개발하는데 있어서 기본적인 프레임워크를 지원한다. 일반적으로 UML 을 이용하여 시스템을 설계할 때에는 여러 가지의 다이어그램을 제작하게 되는데, 이때 각 다이어그램간의 일관성을 유지시키는 것과 설계된 모델에 대한 시뮬레이션은 아주 중요한 기능요소이다. 이 논문에서는 이클립스의 UML2 와 GMF 를 기반으로 한 UML 다이어그램 시뮬레이션 프레임워크를 제안한다.
TMO기반의 코드 자동 생성기 설계를 위한 실시간 시스템 모델링의 기법
석미희(MiHeui Seok),신영술(YoungSul Shin),류호동(HoDong Ryu),이우진(Lee Woo Jin) 한국정보과학회 2010 한국정보과학회 학술발표논문집 Vol.37 No.1B
실시간 시스템에서는 계산 결과의 논리적 정확성과 결과가 산출되는 시간의 정확성을 요구한다. 이러한 요구사항을 지원하기 위해 UCI Dream Lab에서 제안한 적시 서비스 능력을 보장하는 실시간 객체인 TMO 객체를 토대로 자동 코드 생성기의 설계를 제시한다. 기존의 모델 기반 개발방법론은 시스템을 추상화하고 그 모델을 상세화 과정을 거쳐 구현에 필요한 정보를 갖게 되고, 이를 바탕으로 자동으로 코드를 생성 할 수 있게 된다. 기존의 도구들은 표준 UML을 사용하고, 표준 UML은 시간 제약 조건을 기술하는 방법을 제공하지 않기 때문에 이에 따라 개발된 실시간 시스템 코드 자동 생성기는 완전한 코드를 생성하지 못한다. 본 논문에서는 실시간 시스템 개발에 모델 기반 개발방법론을 적용하기 위해 TMO객체를 이용하여 기존 UML 모델의 구조 모델과 행위 모델에 실시간 특성을 추가해 확장하고 확장된 모델을 토대로 자동 코드 생성기의 설계를 제안한다.
이정선 ( Jung Sun Lee ),이우진 ( Woo Jin Lee ),신영술 ( Youngsul Shin ),카오티리 ( Cao Thi Ly ) 한국정보처리학회 2010 한국정보처리학회 학술대회논문집 Vol.17 No.1
컴퓨팅 자원의 확보가 용이해짐에 따라 이러한 자원을 최대한 활용하려는 시도가 늘어나고 있다. 시스템을 검사하는 정형적 기법으로써 많이 사용되고 있는 모델 체킹은 상태폭발 문제를 완화하기 위해서 여러 컴퓨팅 자원을 한꺼번에 사용하려는 연구가 이루어져 왔다. 하지만 이 기법 역시 여러 상태 모델들이 하나로 합쳐지면서 여전히 상태폭발 문제를 발생 시킨다. 본 논문에서는 이러한 문제가 나타나는 원인을 지적하고 이를 해결하기 위해 모델 체킹의 기본 요소인 새로운 병렬적 도달성 분석 기법을 제시한다.