• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2012년도 춘계학술대회 논문집
• /
• pp.399-400
• /
• 2012

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (3)
• /
• pp.844-846
• /
• 2001

홈기반의 분산 공유메모리 모델은 지금 현재 가장 적은 외부 통신비용을 가진 프로토콜 모델이다. 본 논문에서는 기존의 Recoverpoint와 Recoverpoint Server를 이용한 결함허용모델 (Checkpoint Model)을 보다 향상시키기 위하여 향상된 결함복구후 재실행 알고리즘을 제안한다. 이 알고리즘은 피기백(Piggyback)방식과 복수개의 Checkpoint를 사용하며 기존의 Vector Time Stamp 기법시스템보다 더 낳은 확장성과 실행속도를 제공한다.

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

본 논문은 환경의 변화에 적응하여 지속적으로 서비스들의 협업을 지원하기 위한 통합 시스템으로 커뮤니티 관리 시스템을 제안한다. 이를 위해 커뮤니티라는 메타포를 사용하여 추상화된 레벨로 협업 모델을 정의하고 이를 런타임에 해석하여 물리적 환경의 실질적인 서비스들간의 실행 모델로 전환한다. 본 논문에서 제안한 시스템은 서비스들의 협업과 사용자의 인터랙션을 관리하는 커뮤니티 매니저(CM)와 서비스들의 협업모델을 실행 환경으로 매핑시키는 커뮤니티 프레임워크(CF) 그리고 CM 과 CF 에게 통합된 컨텍스트를 제공해 주는 시츄에이션 매니저(SM)로 구성되어 있다. 이 시스템에서 추상화된 협업 모델은 런타임에 물리적 공간으로 매핑되므로, 동적으로 실행 환경과 사용자의 특성을 인식하고 그에 맞는 협업 목표와 협업 대상을 변경시켜 실행 환경에 맞게 재구성 되는 것이 가능하다. 따라서 제안된 시스템을 통해 특정 환경에 고유하게 구축되던 시스템의 개발 비용에 대한 부담을 절감시키는 효과를 가져올 것으로 기대된다.

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

이기종간의 실행 환경에 적합하도록 설계된 자바 바이트코드는 각 플랫폼에서 인터프리터 방식으로 수행되므로 효율성에서 단점을 가지고 있다. 따라서 바이트코드의 효율적인 실행을 위해 목적 코드로의 변환 과정이 요구된다. 목적 코드로 변환 과정에서 자바의 실행 환경 또한 목적 기계의 실행 환경으로 이전이 이루어져야 한다. 본 논문에서는 자바 실행 환경을 SPARC 실행 환경으로 이전하는 방법을 제시한다. 먼저, 자바 가상 기계의 구성 요소를 분석한 후 이에 대응하는 SPARC 실행 환경에 필요한 각각의 구성 요소들을 제시하고, SPARC 실행 환경에 맞는 모델을 구축한다. 마지막으로, 자바에서 제공하는 표준 클래스 라이브러리에 대해서는 SPARC 라이브러리 형태로 변환하여 제공하게 된다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2002년도 학술발표회 논문집(I)
• /
• pp.317-322
• /
• 2002

본 연구는 유역 수질의 효과적인 관리와 수질 모델의 효율적인 활용을 위하여 GIS를 기반으로 수질 모델과 지형 및 문자 데이터베이스를 통합한 모델링 시스템(Water Quality Management System)을 개발하고 전라북도 내 동진강에 대해 적용하였다. WQMS는 DOS 기반의 수질모델이 가지는 복잡성과 결과해석의 불편을 최소화하기 위하여 윈도우 기반의 하천모델을 운용하기 위한 시스템을 구축하고, 나아가 GIS 기반의 사용자에게 보다 편리한 모델링 환경을 제공하도록 설계되었다. 개발된 시스템의 구현 단계는 전처리와 모델링 실행, 후처리의 세단계로 구분될 수 있다. 전처리단계는 DB에 의해 모델실행을 지원하며 후처리 단계에서는 GIS를 이용하여 모델실행 결과를 그래프와 속성 자료로 확인할 수 있도록 하였다. 또한 실측자료를 활용하여 WQMS의 적용성을 평가한 결과 신뢰성이 높게 평가되었다. WQMS는 기존 DOS 기반의 모델링의 복잡성을 제거하고 정도 높은 수질분석을 수행하므로서 효율적인 유역 수질관리에 필요한 기본자료를 제공할 것으로 기대된다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1992년도 제2회 정기총회 및 추계학술 발표회 발표논문 초록
• /
• pp.4-4
• /
• 1992

본 프로젝트는 수주 오더에 대한 납기 예측과 가공사 Delivery 체계의 전반적 향상을 목적으로 하며, 이에 따른 목표로는 로트 편성의 자동화, 월간, 주간 및 일간 단위의 생산 스케쥴 자동 작성, 원자재 소요량과 재공 및 재고 예측, 설비 부하 분석, 생산 사이클 타임 분석 및 단축이다. 상기의 목표 달성을 위한 가공사 Delivery Scheduling 시스템은 계획용 로트 편성 모델, 실행용 로트 편성 모델, 그리고 가공사 생산 스케쥴 작성을 위한 Simulation 모델로 구성된다. 계획용 로트 편성 모델은 현행의 로트 편성 기준에 따라 미가공 생산의뢰서 전체 물량을 대상으로 로트를 편성하여 이 로트를 염색기에 할당하는 모델이며, 실행용 로트 편성 모델에서는 일일 원사재고, 염색기 고장 등과 같은 실제 조업여건을 고려하여, 작업지시서 발행이 가능한 생산의뢰서 물량에 대하여만 로트 편성을 행한다. 가공사 생산 스케쥴 작성을 위한 Simulation 모델은 계획용 혹은 실행용 로트 편성 모델로부터 얻어지는 로트 편성 결과 또는 로트 번호가 부여된 최종 로트 편성 결과 (재공 로트 포함)를 입력으로 하여 이들 로트가 가공사 생산공정에서 처리되는 상세한 조업을 모의 생산하는 모델이다. 본 시스템은 영업부 및 기획부와 가공부의 사용 목적에 따라 크게 두가지로 사용될 수 있다. 영업부 및 기획부에서는 계획용 로트 편성 모델과 Simulation 모델을 사용하여 수주 오더에 대한 납기 예측 및 원사 수급 계획의 작성에 의사결정 지원을 받을 수 있으며, 가공부에서는 실행용 로트 편성 모델 및 Simulation 모델을 사용하여 상세 가공사 생산 스케쥴의 작성 및 긴급 오더의 처리 등에 관한 의사결정 지원을 받을 수 있다. 본 프로젝트를 통한 효과로는 정확한 생산 스케쥴의 자동 작성 및 스케쥴 작성시간 단축, 납기 예측 및 납기 준수율 향상, 실적관리 향상, 그리고 설비 가동율 분석, 현장관리 등을 위한 기타 유용한 정보제공 등이다.

• 한국정보통신학회논문지
• /
• 제17권10호
• /
• pp.2337-2344
• /
• 2013

이동 에이전트는 이동성이 있어 다양한 분야에서 응용되는 기술이다. 특히 오픈네트워크에서의 이동 에이전트 실행은 보안을 통한 안전한 실행이 보장되어야 한다. 또한 에이전트는 에이전트 실행을 위해 에이전트의 작업량 분배가 이루어져야 한다. 이를 위해 본 논문에서는 신뢰모델 기반의 에이전트 실행 보안 메커니즘을 제안하였다. 제안된 메커니즘은 에이전트의 안전한 실행 보장과 기존 연구에서 고려되지 않았던 합리적인 에이전트 작업량 분배를 위한 로드 밸런싱으로 처리율을 향상되도록 하였다. 제안된 신뢰기반 에이전트 보안 메커니즘에 대한 보안 분석을 통해 이동 에이전트의 안전한 실행을 증명하였다.

• 정보보호학회지
• /
• 제10권4호
• /
• pp.69-82
• /
• 2000

자바기술은 플랫폼에 독립적인 프로그래밍 언어와 실행환경 특성으로 인터넷의 확산과 함께 활용분야를 넓혀가고 있다. 초기의 매우 엄격한 자비 보안모델은 네트워크 환경에서 유용한 기능을 수행하는 프로그램 개발에 장애가 되었으나, 현재는 보안정책에 기반한 유연한 접근통제기능을 제공하도록 수정, 보완되었다. 그러나 현재의 자바 보안모델이 코드 기반의 접근통제기능만을 제공하고 있어 네트워크 환경에서 여러 사용자에 의해 수행되는 응용 프로그램 실행환경에 적합하지 않은 문제점이 있다. 본 논문에서는 이와 같은 문제점을 해결하기 위해 자바 환경에 역할기반 접근통제모델을 적용하는 연구들에 대해 살펴보고 역할기반 접근통제모델이 적용된 자바 기술이 활용될 수 있는 분야에 대해 기술한다.

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

상태 기반 정형 기법이 가진 문제점 중 하나인 상태 폭발 문제를 해결하기 위해, 본 논문에서는 명세 모델과 실행 모델을 정의하고 각 모델에 적용되는 추상화를 정의한다. 명세 모델은 구문을 바탕으로만 추상화로 비논리 내부연산 추상화와 구조 추상화를, 실행 모델은 시간, 자료, 위치가 가진 의미를 통해 추상화하는 시간, 자료, 위치 공간 추상화를 수행한다. 예제에 추상화를 적용하여 상태 감소와, 계층성 생성, 복잡도 감소의 과정을 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• pp.836-838
• /
• 2003

이 논문에서는 SCORM을 지원하는 교육용 컨텐츠 저작 시스템을 설계하고 구현하였다. 이 시스템은 영역 모델, 항해 모델, 추상인터페이스 모델, 애셋 모델 등 4개의 모델로 구성하였으며, 컨텐츠의 구성을 다이어그램으로 표현할 수 있는 표기법을 지원한다. 이 시스템은 저작 모듈과 실행 모듈로 구성되어 있으며, 저작 모들에서 생성된 각 명세서는 국제적인 교육용 컨텐츠 표준인 ADL SCORM XML 코드를 자동으로 생성하고 실행 모듈과 웹 서버를 통해 서비스된다.