• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2010년도 춘계학술발표대회
• /
• pp.1074-1077
• /
• 2010

최근 인터넷을 이용한 대부분의 예약 시스템들은 예약 기능만을 중요시하고 있어서 한정된 예약자원을 효율적으로 관리하기에 많은 어려움이 있다. 또한, 한정된 예약 자원의 배정 및 관리방식이 중앙 집중식 관리로 처리되고 있기 때문에 고객들의 선호도를 고려하지 않고 예약이 이루어지고 있다. 예약 시스템의 효율적인 관리와 현대 서비스 산업에서 중요한 고객들의 예약 만족도를 향상시키는 것은 예약 시스템에서 가장 중요한 부분이다. 본 논문에서는 이러한 예약 시스템에서 일어날 수 있는 문제를 복합 스케줄링 기법에 적용하여 예약 시스템들의 문제점을 해결하고자 하였다. 고객중심의 도서관 좌석배정 예약시스템은 객체지향개념을 기반으로 고객들의 선호도를 고려하여 고객들이 가지고 있는 사건들을 주어진 제약들에 만족하도록 목표인 도서관 좌석배치도에 배정한다. 또한 고객들의 도서관 이용 정보를 통하여 더욱더 편리한 서비스를 제공하고자 한다. 고객들은 자신의 우선순위에 따라서 자원을 배정하고, 좌석 자원에 대한 고객의 선호도 차이를 가질 수 있게 하였다. 고객 클래스와 도서관 이용정보를 고려하여 우선순위를 가진 고객들은 제약을 만족하면서 최선의 좌석 슬롯을 선택하여 사건을 배정한다. 또한, 고객중심의 도서관 좌석배정 예약시스템을 모의 실험하여 고객들의 만족도를 살펴보았다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2017년도 학술발표회
• /
• pp.116-116
• /
• 2017

지하수 인공함양은 수자원확보 및 비상시 용수를 목적으로 세계적으로 연구 및 프로젝트가 진행되고 있다. 인공함양의 방법에는 여러 가지의 방식이 있지만 본 연구는 관정을 통해 주입하는 ASTR(Aquifer Storage Transfer and Recovery)방법을 이용하여 연구하였다. ASTR이란 지표수를 인공적인 방법으로 대수층에 주입시키고, 일정기간 저장시키거나 유하시킨 후 양수하는 방법이다. 염수로 포화된 피압대수층에 담수를 주입하여 염수를 치환할 수 있는 주입-양수 시스템을 연구하였다. 염수로 포화된 대수층에서 인공함양기술을 성공시키기 위해서는 양수정으로 유입되는 염수비율이 0%을 만족하며, 주입으로 인한 수위상승량은 지반변형을 일으키지 않는 최소한의 값을 가지는 것이다. 본 연구는 앞서 언급한 인공함양기술을 성공시키기 위해 지하수 흐름모델과 최적화 모델을 결합한 최적전산모델을 이용하여 모의하였다. 지하수 흐름모델은 경계면모델을, 최적화 기법은 GA(Genetic Algorithm)을 이용하였다. 구축된 목적함수로는 양수정의 담수비율 최대화, 주입정에서의 수위상승량 최소화 그리고 양수개시시간 최소화로 구성하였다. 제약조건으로는 총 주입량 및 양수량 그리고 주입 및 양수정 개수이다. 서술한 목적함수와 제약조건을 만족하는 주입/양수정의 위치 및 유량을 최적전산모델로부터 얻을 수 있다. 기존 지하수 인공함양 및 개발은 사례별 연구 또는 전문가의 주관적 판단에 의존하는 경향이 있었다. 본 연구는 최적화 기법을 통해 복수의 관정에서 정량적인 산정이 가능하다. 현재 모델링에 의존한 연구로써 한계가 있지만, 추후 실제현장에 적용하여 모델 검정을 통해 신뢰도를 높이며 지하수 인공함양 개발에 많은 공헌을 할 수 있을 것으로 예상한다.

• 스마트미디어저널
• /
• 제12권4호
• /
• pp.19-26
• /
• 2023

뉴로모픽 아키텍처 기반 하드웨어를 이용한 IoT 엣지 서비스는 단말 장치에서 지능형 처리를 수행할 수 있기 때문에 자율형 IoT 응용 지원에 적합하다. 그러나 IoT 개발자가 뉴로모픽 하드웨어에서 사용되는 SNN을 이해하기에는 어려움이 있다. 본 논문에서는 뉴로모픽 하드웨어의 제약조건을 고려하며 사용자의 요구 성능을 만족하는 SNN 모델 생성 기법을 제안한다. 제안 기법은 프로파일링된 데이터에서 최적의 SNN 모델 파라미터를 찾도록 전처리된 데이터로 사전 학습한 모델을 활용한다. 전체 탐색 기법과 비교 결과, 두 기법 모두 사용자 요구사항을 모두 만족하였지만, 제안 기법이 수행 시간 측면에서 더 좋은 성능을 보였다. 또한, 신규 하드웨어의 제약조건을 명확히 알지 못하더라도 새로운 하드웨어의 프로파일링된 데이터를 활용할 수 있으므로 높은 확장성을 제공할 수 있다.

• 정보과학회지
• /
• 제14권9호
• /
• pp.52-61
• /
• 1996

본 논문에서는 실시간 처리 디스크 스케쥴링 알고리즘에 대하여 살펴보았다. 이러한 실시간 처리 디스크 스케쥴링 알고리즘은 멀티미디어 서버에서 한정된 자원을 효과적으로 사용하면서 많은 사용자에게 실시간으로 비디오, 오디오 등의 데이터를 제공하기 위해서는 이러한 스케쥴링 기법의 도입이 필수적이며, 그 중 중요한 부분이 바로 직접 비디오, 오디오 등의 데이터를 읽고 쓰는 디스크이다. 요청된 데이터의 탐색 시간을 줄이면서 시간적인 제약조건을 만족시켜 주기 위한 연구가 많이 이루어져 왔다. 그러나 아직까지는 멀티미디어 서버의 성능에 대한 일관성이 없어서 각 스케쥴링 알고리즘들에 대한 가정이 많이 달라서 이들을 객관적으로 비교 평가하기 어려운 상황이며, 이를 위한 연구가 필요한 것으로 평가된다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권4호
• /
• pp.370-383
• /
• 2000

이 논문에서는 명세에 변경이 가해진 후에 병행 프로그램을 재검증하기 위해 사용하는 명세기반 회귀 테스팅이라는 새로운 기법에 대해 논의한다. 이러한 형태의 회귀 테스팅은 이벤트에 대해 선후 관계를 기술하는 순서 제약조건을 필요로 한다. 순서 제약조건을 자동으로 추출하기 위해서 우리는 메시지 순차도(MSC)를 사용한다. 메시지 순차 도를 통해 부분적이고 비결정적인 명세를 작성할 수 있다. 회귀 테스팅의 비용을 줄이기 위하여 처음부터 새로운 순서 제약조건을 생성하기보다는 명세에 가해진 변경에 의해 영향받는 순서 제약조건을 어떻게 파악하는 가에 대해 기술한다. 또한 각각의 영향받는 순서 제약조건들이 테스팅 될 프로그램에 의해 만족되는 가를 결정하는 방법에 대해서도 기술한다.

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

Linux는 페이지 기반의 가상 메모리 시스템이다. 따라서 메모리가 부족할 때에는 페이지 대치 알고리즘(page replacement algorithm)에 의해 선택된 페이지가 하드디스크로 대치되게 된다. 실시간 시스템에서 이와 같은 페이지 대치가 발생하면 실시간 제약조건을 만족하지 못할 가능성이 크므로 실시간 시스템에서는 이에 맞는 대치 알고리즘이 개발되어야 한다. 본 논문에서는 연성 실시간 시스템에 적합한 N-Chance 기법을 이용한 새로운 페이지 대치 알고리즘을 제안하고 성능을 평가하였다. 새로운 페이지 대치 알고리즘은 기존의 Linux에서 사용하는 second chance 알고리즘을 수정한 것이다. 기존의 알고리즘은 페이지를 대치함에 있어서 사용되지 않는 페이지에 2번의 기회를 준 후 하드디스크로 쫓아내는 방법인데 반하여 본 논문에서 제안하는 방법은 페이지를 사용하는 프로세스가 실시간 프로세스인지 아닌지에 따라서 기회를 주는 횟수를 달리하는 방법이다. N-chance 알고리즘을 사용했을 경우 실시간 제약 조건을 비교적 충족시키면서도 무조건적인 lock으로 인한 메모리 사용의 부담을 줄일 수 있다.

• 한국정보과학회논문지:데이타베이스
• /
• 제27권2호
• /
• pp.216-226
• /
• 2000

본 논문에서는 무결성 제약을 효율적으로 유지하기 위한 접근 경로인 Hashed B-트리를 제안하고, 기존의 B-트라와 성능을 비교한다. 무결성 제약을 만족시키기 위해 필요한 질의 패턴들이 종점 질의로 구성되어 있다는 점에 착안하여, Hashed B-트리는 키를 해슁을 통해 압축하여 저장한다. 따라서 트리의 높이가 줄어들게 되고 트리의 탐색이 빠르다. 이 기법은 기존의 B-트리와 유사하게 작동하기 때문에 기존 시스템에 많은 수정을 요하지 않고 병행성 제어나 회복 기법을 그대로 사용할 수 있는 장점이 있다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2015년도 제51차 동계학술대회논문집 23권1호
• /
• pp.195-196
• /
• 2015

최근 들어 웹기반 GIS 시스템에 대한 요구가 늘어나고 있다. 이를 만족시키기 위해 관련 시스템 개발에 대한 연구가 많이 진행되고 있다. 그러나 웹 기반이라는 제약 때문에 대용량 데이터를 이용한 GIS 표출은 한계에 다다르고 있다. 본 논문에서는 위치 정보를 압축하여 웹기반 GIS 시스템의 제약을 줄일 수 있는 알고리즘을 제안하려 한다. 제시된 기법은 웹기반 GIS 시스템은 물론 다양한 모바일 및 웹 그래픽스 분야에 응용될 것으로 예상된다.

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

컨테이너 터미널에서 효율적인 적하작업 계획을 자동으로 생성하는 알고리즘을 연구하였다. 실제 터미널에서 계획자들이 적하작업 계획시에 고려하는 제약소건 및 효율적인 계획을 위한 고려사항을 조사하였다. 이를 바탕으로 1단계에서는 개미시스템(ant system)이라는 인공지능기법을 적용하여 제약조건을 만족시키면서 원활한 적하작업이 진행될 수 있도록 컨테이너 크레인과 트랜스퍼 크레인의 이동순서와 위치를 결정하고, 2단계에서는 1단계에서의 결과를 바탕으로 빔탐색법(beam search)을 사용하여 컨테이너 개개의 작업순서를 결정하는 알고리즘을 개발하였다. 또한 개발된 시스템의 성능을 검증하기 위하여 최근의 대형선반에 대한 실제 현장자료를 바탕으로 실험을 수행하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 추계학술발표대회 및 정기총회
• /
• pp.1445-1448
• /
• 2005

실시간 시스템은 높은 수준의 안정성을 요구하는 시스템이다. 실시간 시스템에서 오류는 잘못된 응답 뿐만 아니라 시간적으로 늦은 응답도 오류를 발생 시킬 수 있다. 따라서 실시간 시스템의 안정성을 보장해 주기 위해서 실시간 태스크의 시간 제약에 대한 모니터링 및 오류발생 시에 오류를 처리해 줄 수 있는 기법이 필요하다. 본 논문은 Timed Conformance Monitor를 통해서 실시간 태스크가 시간의 제약을 만족하는지를 분석하고 또한 분석 결과에 따라 오류를 처리할 수 있는 Fault Handler를 추가하여 실시간 시스템에 대한 Fault Tolerance를 보장해 줄 수 있는 기법을 제시한다.