• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(A)
• /
• pp.422-424
• /
• 2012

ML 언어에서 제공하는 모듈 시스템은 강력한 모듈화 프로그래밍과 데이터 추상화를 지원함에도 불구하고 재귀모듈을 지원하지 못한다는 점이 단점으로 지적되어 왔다. 재귀모듈을 이용하면 상호의존적이지만 개념적으로는 서로 분리된 소프트웨어 컴포넌트들을 각각 다른 모듈에 작성할 수 있기 때문에 코드의 재사용성을 더욱 증진시킬 수 있다. 이러한 중요성 때문에 재귀모듈은 지난 10년 동안 프로그래밍 언어 분야에서 깊이 있게 연구되어 왔다. 그러나 기존 연구는 복시문제와 순환타입문제를 완벽하게 해결하지 못하여 한정된 재귀모듈 프로그래밍 패턴만을 지원하는 한계점이 있다. 본 논문에서는 복시문제와 순환타입 문제를 해결하고 다양한 재귀모듈 패턴을 지원하는 타입시스템을 제안한다.

• 한국HCI학회:학술대회논문집
• /
• 한국HCI학회 2006년도 학술대회 1부
• /
• pp.257-265
• /
• 2006

다양한 정보기기들의 복합화 형태로 진화하는 차세대 텔레매틱스 시스템에서는 운전자의 안정성 확보와 workload 감소가 중요한 이슈로 대두되어 Interface의 단순화, GUI Interaction의 극복 등의 대한 문제해결이 중요시 되고 있다. 이를 위해 본 연구에서는 사용자의 mental model를 고려한 운전자의 자유로운 navigation을 지원할 eyes-free 기술인 haptic interface를 지원하는 모델 개발을 목표로 기존 haptic interface를 지원하는 기기들의 문제점을 도출하고 차세대 텔레매틱스 시스템의 분석을 통해 기능적 요구사항을 정의하였다. 이를 기반으로 사용자에게 haptic interface를 통한 interaction을 제공함으로써 차세대 텔레매틱스 시스템을 지원하는 conceptual model을 개발하였다. 또한 haptic device design시에 고려되는 평가지표들을 선별하여 평가지표의 계층적 구조도를 작성한 후 AHP평가 모델을 개발하여 haptic device design 시의 중요 고려사항을 도출하고 중요도를 산정하여 초기 design 단계에서의 prototype에 대한 객관적이고 정량적인 평가를 제공하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 추계학술발표논문집 (하)
• /
• pp.1391-1394
• /
• 2001

인터넷의 보급이 급속히 확대됨과 동시에 전자상거래가 급속도로 증가하고 있다. 지금까지는 컴퓨터를 통한 전자상거래가 대부분을 차지하였으나 무선이동 통신의 보급이 급속도로 빨라지면서 무선통신을 통한 전자상거래인 m-Commerce가 부각되어지고 있다. m-Commerce를 원활히 하기 위해서는 필요한 대역폭과 단말기의 프로세싱 파워와 자원이 확보하여야 한다. 그러나 무선이동 통신에서는 일반유선 통신과는 다르게 많은 제한 사항들이 있다. 이동 통신에서 고려해야 할 사항들 중 가장 크게 고려해야 할 사항들은 계속해서 이동을 하는 handoff와 그리고 무선이동 단말기의 부족한 자원을 들 수 있다. 본 논문에서는 m-Commerce을 위해 필요한 이동 통신의 부족한 자원중 하나인 대역폭을 예약함으로써 이동통신에서도 더욱더 놀은 QoS를 지원하여 원활한 m-Commerce을 하고자 한다. QoS를 지원하기 위한 기존의 대역폭 예약 시스템에서 여러 가지 인자를 사용하였으나 본 논문에서는 기존의 대역폭 예약 시스템에서 제안하지 않은 시간인자와 가장 최근의 사용자 패턴인자를 적용하여 더욱더 좋은 QoS를 지원하여 대역폭을 낭비하지 않고 최대한 활용하고자 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (1)
• /
• pp.253-255
• /
• 2003

오늘날 많은 가전제품들은 다양화. 쌍방성, 효율성, 개방성등 정보화 시대의 주요 특징들과 접목되어 생산되고 있으며, 이중 모바일 제품군(Low End)은 각광받는 주류 제품이라 할 수 있다. 그러나 대부분의 모바일 제품들은 그 특성상 파일 시스템을 지원하지 못하고 있기에, 본 논문에서 모바일 제품의 운영체제로서 파일 시스템이 지원되지 않는 실시간 운영체제(RTOS- Real Time Operation System)를 선택하여 가상머쉰(VM-Virtual Machine)을 설계 및 구현하였다. 위의 지원을 위해 자바 클래스 파일을 C 언어 형태로 변환하여 VM 과 직접적으로 링크하는 방법인 프리링킹(Prelinking), 프리로딩(Preloading) 혹은 로마이징(ROMizing)이라고 알려져 있는 기법을 도입하였다.

• 격월간물류
• /
• 통권21호
• /
• pp.24-27
• /
• 2007

산업자원부 기술표준원은 물류설비의 표준화를 통하여 유닛로드 시스템의 조기 구축과 물류비 절감을 위하여 지난 2004년 7월부터 물류표준설비 인증제도를 도입하였다. 약 3년이 지난 지금 현재 106개 업체, 200여개의 설비 등이 물류표준화 설비인증을 부여받았다. 각 기업들이 물류에 대한 관심이 많아지면서, 자연스럽게 설비인증에 대한 관심도도 높아진 것이라 할 수 있다. 그 결과 우리나라 물류설비의 표준화에 대한 확산 보급을 지속적으로 추진해 나가는 동시에 물류경영시스템 인증도 병행하여 물류흐름의 효율성을 제고시키고 이를 통한 물류비 절감으로 기업의 경쟁력 강화를 도모하고자 노력하고 있다. 물류표준화 분야에서 꼭 필요한 "물류표준설비의 표준화 인증"과 "물류경영 시스템 인증"제도를 산업자원부 기술표준원 표준기술지원부 신기술인증지원팀이 담당하고 있다. 이 물류표준화를 위해 노력하는 기표원의 표준기술지원부를 이끌고 있는 인물이 바로 최형기 국장이다. 최 국장은 92년 기술표준원에 공업연구관으로 시작하여 지금은 물류표준화 분야의 최고의 권위자로서 국가물류비 절감을 통한 산업경쟁력 향상에 기여하고자 맡은 바 임무를 충실히 해 오고 있다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2002년도 춘계공동학술대회
• /
• pp.258-265
• /
• 2002

분산 환경에서의 소프트웨어 개발관리를 효과적으로 지원하기 위해 필요한 기능 요건으로는 원격지 개발팀윈들 간의 협동작업 지원기능, 개발 과정에서 산출되는 각종 정보객체들의 저장 및 공유 지원기능, 개발에 필요한 각종 프로세스 관리기능 및 프로젝트 관리기능 등을 들 수 있는데, 본 연구에서는 이를 위해 정보객체 관리를 중심으로 하는 공동작업장 시스템을 설계하고, 이를 구현하였다. 즉, 설계 문서, 소스 코드 등과 같은 개발 과정에서 산출되는 각종 정보객체들의 구조 및 관계를 통합관리하는 틀로서 BOC(Bill Of Class)를 제안하며 BOC를 이용한 정보객체 관리 기능의 구조와 기능을 제시한다. 그리고, 제시한 정보객체 관리 구조를 기반으로 분산환경에서의 효과적인 소프트웨어 개발을 지원하는 공동작업장 시스템을 설계 및 구현하고 이의 유용성을 보인다.

• 한국IT서비스학회:학술대회논문집
• /
• 한국IT서비스학회 2007년도 추계학술대회
• /
• pp.351-356
• /
• 2007

현재의 사실상 국제 이러닝 표준으로 자리 잡은 SCORM 2004 기술규격은 '단일 사용자 콘텐츠 학습' 환경의 '웹 기반 자기 주도적 학습'에 근거하고 있다. 즉, 학습자 그룹을 포함한 협력적인 학습과정 설계가 가능하도록 하는 규격 부분이 부재한 상태이다. 이에 SCORM 규격을 기반으로 하여 협력학습 콘텐츠를 개발하는 연구가 활발히 진행되어 왔으나, 협력학습 콘텐츠를 탑재하는 플랫폼 즉, 협력학습을 지원하기 위한 학습관리 시스템의 표준화에 대한 연구는 거의 이루어지지 않은 실정이다. 따라서, 본 논문에서는 이러닝 협력학습의 표준화를 주도하고 있는 국제 이러닝 표준기구인 ISO/IEC JTC1 SC36의 연구 자료를 토대로 협력학습을 지원 가능한 방안을 제안하여 SCORM 2004 규격의 실행환경에 협력학습과 관련된 데이터모델을 추가하여 협력학습지원 시스템을 설계하고 구현하고자 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.625-627
• /
• 2001

컴포넌트의 기반 개발은 저비용과 단기간에 개발되는 잠재적인 장점을 가지고 있으며, 대부분의 컴포넌트기반의 연구들은 설계와 통합 프로세스에 초점을 두고 있다. 또한, 방법론과 도구들은 컴포넌트 구축과 개발 프로세스를 지원하지만, 비동기적으로 상호작용하는 사용자를 위한 통합된 정보의 제공과 관리에 대한 연구는 미약하다. 따라서, 본 논문에서는 컴포넌트 생산자, 서비스업자, 소비자를 위해 요구되고 지원되어야할 컴포넌트 정보를 고려한 상호운용시스템에서의 정보 통합을 제안한다. in-house 형태의 컴포넌트 구축과 컴포넌트로 애플리케이션을 조립하는 개발자를 지원 가능하고, 컴포넌트 시장에서 구매하기 위한 가이드라인을 제시한다. 이러한 정보는 상호운용정보 시스템 상에서 식별된 컴포넌트 사용자를 중심으로 통합되며, 결함과 추가적으로 요구되는 노력들을 감소시키는 고수준의 컴포넌트를 획득 가능하게 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
• /
• pp.472-474
• /
• 1999

기존 객체지향 기술의 객체는 상태(data) 정보와 행위(behavior) 정보를 캡슐화하여 실세계의 객체를 표현하지만, 메시지가 전달되어야만 반응하는 수동 객체(passive object)이다. 본 논문에서 소개하는 분산 능동 객체 시스템(Distributed Active Object System: DAOS) 방식은 CORBA 기반의 분산 환경에서, 객체의 상태 정보와 행위 정보 뿐 아니라 객체 자신의 제어(control) 부분까지 캡슐화한 능동 객체(active object)를 지원하여 실객체를 더욱 자연스럽게 표현할 수 있다. 여기서, 자신의 제어란 자신의 상태뿐 아니라 인터페이스 변수(interface variable)로 연결된 타 객체의 상태까지 모니터링하고 그 상태 변화에 따라 스스로 행위를 수행하는 것을 말한다. 따라서 DAOS 방식은 프로그램의 메인에서 메시지 전달을 통한 각 분산 객체들의 제어를 기술하지 않고, DAOSMain 클래스에서 인터페이스 변수들을 사용하여 객체들을 구성적으로 조립하여 시스템을 구축한다. 즉, DAOS 방식은 객체 조립성을 지원하여 분산 소프트웨어의 생산성을 향상시키고, 제어까지 캡슐화된 능동 객체를 지원하여 분산 소프트웨어의 생산성을 향상시키고, 제어까지 캡슐화된 능동 객체를 지원하여 컴포넌트의 재사용성을 개선한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (1)
• /
• pp.430-432
• /
• 2002

리눅스는 POSIX.1b 표준의 일부 지원으로 연성 실시간 시스템을 지원한다. 현재 경성 실시간 시스템을 지원하기 위해 리눅스를 확장한 여러 운영체제가 개발된 바 있지만, 다양한 프로그래밍 인터페이스 및 스케줄러의 지원이 부족하다. 현재까지 실시간 리눅스를 위한 스케쥴러는 RMS와 EDF 두 가지의 스케쥴러가 별도로 구현되어 있다. 이 두 가지 스케쥴러 중에서 사용자가 각각의 스케쥴링 알고리즘의 특성을 고려하지 않고 두 가지 방법을 선택하여 사용하고 있다. 본 논문에서는 이러한 단점들을 해결하기 위한 안정적인 스케쥴링 가능성 검사를 통하여 RMS와 EDF 스케쥴링 방법의 특성에 맞게 스케쥴러 중에서 하나를 선택하여 사용함으로서 종료시한을 보장하고 또한 스케쥴이 불가능한 경우 테스크 스케쥴로 인해 발생되는 시스템 정지 현상을 제거하고 태스크 집합의 효율적인 관리를 위한 스케쥴링 가능성 검사 알고리즘과 스케쥴러 선택 알고리즘을 제시하여 스케쥴링 알고리즘의 성능평가 결과를 제시한다.